Universidad Central del Ecuador

Facultad de Ingenierı́a Ciencias Fı́sicas y Matemáticas

Carrera de Ingenierı́a Matemática
Analı́sis Funcional I

Darwin Cubi

19 de marzo del 2015

 Capitulo 3: Espacios con producto
interno y de Hilbert

Sección 3.3
Sec. 3.1 Ej. 8 Probar < x, y >= 14 (k x + y k2 + k x − y k2 )

1 1
(k x + y k2 − k x − y k2 ) = [< x + y, x + y > − < x − y, x − y >]
4 4
1
= [< x, x + y > + < y, x + y > −(< x, x − y > − < y, x − y >)]
4
1
= [< x, y > + < y, x > + < x, y > + < y, x >] X e.v.n. real
4
1
= [2 < x, y > +2 < y, x >]
4
= < x, y >

Sec. 3.2 Ej. 4 Demostrar que y⊥xn y xn → x juntos implican x⊥y

< x, y > = < lim xn , y >

n→+∞
= lim < xn , y > Por la continuidad del producto interno
n→+∞
= lim 0 Por hipotesis < xn , y >= 0 ∀n ∈ N
n→+∞
= 0

Por lo tanto x⊥y

Sec. 3.3 Ej. 10 Si M 6= ∅ es cualquier subconjunto de H espacio de Hilbert, mostrar que M ⊥⊥ es el subespacio cerrado mas
pequeño que contiene a M .
Sea Y subespacio cerrado de H tal que Y ⊃ M P.D.: M ⊥⊥ cerrado tal M ⊥⊥ ⊂ Y
M ⊂Y
Y ⊥ ⊂ M ⊥ como Y es cerrado entonces Y = Y ⊥⊥
M ⊥⊥ ⊂ Y ⊥⊥ = Y
M ⊥⊥ ⊂ Y
Ahora demostraremos que M ⊥⊥ es cerrado
Sea (xn ) un sucesión en M ⊥⊥ tal que xn → x P.D: x ∈ M ⊥⊥
z ∈ M ⊥ entonces
< xn , z >= 0 ∀z ∈ M ⊥
lim < xn , z > = 0 ∀z ∈ M ⊥
n→+∞
< lim xn , z > = 0 ∀z ∈ M ⊥
n→+∞
< x, z >= 0 ∀z ∈ M ⊥ Por lo tanto x ∈ (M ⊥ )⊥

1
Sec. 3.4 Ej. 3 Obtener la desigualdad de Schwarz desde 12*
n
X
|< x, ek >|2 ≤k x k2
k=0

De 12* podemos saber que

|< x, e >|2 ≤k x k2 para cualquier n ∈ N

y
Sabemos que la desiguladad de Schwarz se cumple para cualquier x, y 6= 0 , ahora tomemos e = kyk y reem-
plazamoz
y
|< x, >|2 ≤k x k2
kyk
ahora multiplicamos por k y k2
y
k y k2 |< x, >|2 ≤ k x k2 k y k2
kyk
ykyk 2
|< x, >| ≤ k x k2 k y k2
kyk
|< x, y >|2 ≤ k x k2 k y k2
P∞ P∞
Sec. 3.5 Ej. 1 Si x = k=1 αk ek , demostrar que k x k2 = k=1 | αk |2

Primero veamos que la norma de la suma

kSn k2 = kα1 e1 + . . . + αn en k2
= < α1 e1 + . . . + αn en , α1 e1 + . . . + αn en >

Como en es una sucesion ortonormal y usando la linealidad del producto interno en la primera componente
tenemos que

kSn k2 = < α1 e1 , α1 e1 > + . . . + < αn en , αn en >

= α1 α1 < e1 , e1 > + . . . + αn αn < en , en >
= | α1 |2 + . . . + | αn |2
Pn
Es decir que la suma n-ésima Rn = k=1 | αk |2 = kSn k2 , Ademas por teorema sabemos que si en un espacio
con producto interno xn −→ x y yn −→ y entonces < xn , yn >−→< x, y >. Por hipotesis Sn −→ x entonces

Rn = kSn k2 =< Sn, Sn > −→ < x, x >

Rn −→ kxk2
P∞
Por lo tanto k x k2 = k=1 | αk |2
Sec. 3.6 Ej. 2 Demostrar que si la dimensión ortogonal de un espacio de Hilbert H es finita,esta es igual a la dimensión de la
H, considerado como un espacio del vector; por el contrario, si el espacio es finito, demostrar que la dimension
ortogonal es la misma.

”⇒”

2
 Sea d.n(H) = n (dimensión ortogonal), entonces existe un conjunto E = {e1 , e2 , . . . , en } el cual es total ortonor-
mal. Ademas es linealmente independiente pues
α1 e1 + . . . + αn en = 0
< α1 e1 + . . . + αn en , e1 > = 0
< α1 e1 , e1 > + . . . + < αn en , e1 > = 0
α1 < e1 , e1 > + . . . + αn < en , e1 > = 0
α1 ∗ 1 + . . . + αn ∗ 0 = 0
α1 = 0
Similarmente para j = 1, 2, . . . , n, tenemos que αj = 0. Por lo tanto E es linealmente independiente. Como
spanE = H entonces E es una base para H, lo que significa que dim(H) = n
”⇐”
Ahora supongamos que la dim(H) = n por lo tanto existe una base para H, X = {x1 , x2 , . . . , xm }. Aplicando
el proceso de Gram-Schmidt obtenemos el siguiente conjunto = {e1 , e2 , . . . , en } el cual es ortonormal. Ademas
tenemos que spanE = spanX = H, finalmente como H es de dimension finita el span es un conjunto cerrado
por lo que spanE = spanE = H, por lo tanto E es un conjunto ortonormal total y la d.n(H) = n
Sec. 3.8 Ej. 9 Explicar la relación entre M a y M ⊥ en el caso de un subconjunto M 6= ∅ de un espacio de Hilbert H.

Definimos el conjunto
M a = {f |f es lineal acotado y f (x) = 0, ∀x ∈ M }
Por el teorema de Riesz sabemos que todo funcional lineal acotado sobre un espacio de Hilbert H se puede
representar de la siguiente forma

f (x) =< x, z > , ∀x ∈ H donde z esta unicamente determinado por f , asi

M a = {f |f es lineal acotado y f (x) =< x, zf >= 0, ∀x ∈ M }

Ahora ∀x ∈ M < x, zf >= 0 ssi zf ∈ M ⊥

Por lo tanto f ∈ M a ⇐⇒ zf ∈ M ⊥
Sec. 3.9 Ej. 7 Sean T1 y T2 operadores lineales acotados en un espacio de Hilbert complejo en si mismo. Si < T1 x, x >=<
T2 x, x > para todo x ∈ H, demostrar que T1 = T2

Por hipótesis sabemos < T1 x, x > − < T2 x, x >= 0, usando la linealidad del producto interno, entonces
< T1 x − T2 x, x >= 0, ademas como T1 y T2 son lineales
< (T1 − T2 )(x), x >= 0 ∀x ∈ H por teorema entonces
(T1 − T2 )(x) = T1 x − T2 x = 0 ∀x ∈ H
T1 x = T2 x ∀x ∈ H
Por lo tanto T1 = T2
Sec. 3.10 Ej. 2 ¿Como deberia usar el Teorema 3.10-3 para probar el Teorema 3.10-5 para un espacio de Hilbert H complejo?

Sea (Tn ) una sucesión de operadores lineales acotados auto-adjuntos, Tn : H → H en H espacio de Hilbert
complejo, tal que Tn → T . Debemos demostrar que T es un operador lineal acotado auto-adjunto en H.

< T x, x > = < lim Tn x, x >

n→+∞
= lim < Tn x, x >
n→+∞

como ∀n ∈ N, Tn es auto-adjunto entonces < Tn x, x >∈ R.

Por la completitud de R se tiene que < T x, x >= lim < Tn x, x > es real, usando el teorema 3.10-3 T es un
n→+∞
operador auto-adjunto.

3
Sec. 4.2 Ej. 3 Demostrar que p(x) = lim (ξn ) donde x = (ξn ) ∈ l∞ , ξn real, define un funcional sublineal en l∞ .
n→+∞

(a) Sea x = (ξn ), y = (ηn ) ∈ l∞ P.D.: p(x + y) ≤ p(x) + p(y)

p(x + y) = lim (ξn + ηn )

n→+∞
= lim sup ξn + ηn
n→+∞ k≥n

≤ lim (sup ξn + sup ηn )

n→+∞ k≥n k≥n
= lim sup ξn + lim sup ηn
n→+∞ k≥n n→+∞ k≥n

= lim ξn + lim η)
n→+∞ n→+∞
= p(x) + p(y)

Por lo tanto p(x + y) ≤ p(x) + p(y)

(b) Sea x = (ξn ) ∈ l∞ y α ≥ 0 ∈ R P.D.: p(αx) = αp(x)

p(αx) = lim (αξn )

n→+∞
= lim sup αξn
n→+∞ k≥n

= lim α sup ξn
n→+∞ k≥n
= α lim sup ξn
n→+∞ k≥n

= α lim (ξn )
n→+∞
= αp(x)

Por lo tanto p(x) es un funcional sublineal.

Sec. 4.3 Ej. 5 Si X en el teorema 4.3-1 es un espacio normado y p(x) ≤ k k x k para algun k > 0 , mostrar que k fe k≤ k

Sea X espacio vectorial normado y p(x) un funcional a valor real en X el cual es subaditivo es decir

∀x, y ∈ X p(x + y) ≤ p(x) + p(y)

para todo escalar, α p(αx) =| x | p(x)

Ademas , sea f un funcional lineal definido en un subespacio Z de X tal que

| f (x) |≤ p(x) ∀x ∈ Z

Entonces existe una extensión lineal de f , fg

(x) de Z a X tal

| fg
(x) |≤ p(x)

Por hipótesis tenemos que p(x) ≤ k k x k para algun k > 0, por lo que

| fg
(x) |≤ p(x) ≤ k k x k

|fg(x)| p(x)
kxk ≤ kxk ≤k

|fg(x)|
kxk ≤k

4
 | fg
(x) |
sup ≤ sup k
kxk
x∈X
x 6= 0

k fg
(x) k≤ k

Sec. 4.7 Ej. 5 Encontrar un subconjunto magro denso en R2

Sea Q2 = {(x, y)|x, y ∈ Q} ahora con la topologia inducida es por la metrica euclidida cada (x, y) es raro ademas
Q2 es la union contable de contables por lo tanto contable. Por tanto Q2 es magro. Ademas Q2 tambien es
denso en R2 (visto en clases).
w w
Sec. 4.8 Ej. 3 Si (xn ) y (yn ) son sucesiones en el mismo espacio normado X, mostrar que xn −→ x y yn −→ y implica
w w
xn + yn −→ x + y y αxn −→ αx, donde α es cualquier escalar.

w w w
(a) Sea xn −→ x y yn −→ y P.D: xn + yn −→ x + y ⇔ lim f (xn + yn ) = f (x + y)
n→+∞
Por hipótesis entonces
lim f (xn ) = f (x) ⇔ |f (xn ) − f (x)| → 0 cuando n → 0
n→+∞
lim f (yn ) = f (y) ⇔ |f (yn ) − f (y)| → 0 cuando n → 0
n→+∞
Ahora

|f (xn + yn ) − f (x + y)| = |f (xn ) + f (yn ) − f (x) − f (y)| Pues f es lineal acotado

= |(f (xn ) − f (x)) + (f (yn ) − f (y))|
≤ |(f (xn ) − f (x))| + |(f (yn ) − f (y))| Desigualdad triangular

Por lo tanto |f (xn + yn ) − f (x + y)| → 0 cuando n → 0 es decir lim f (xn + yn ) = f (x + y)

n→+∞
w w
(b) Sea xn −→ x y α cualquier escalar P.D: αxn −→ αx ⇔ lim f (αxn ) = f (αx)
n→+∞
Por hipótesis entonces
lim f (xn ) = f (x) ⇔ |f (xn ) − f (x)| → 0 cuando n → 0
n→+∞

|f (αxn ) − f (αx)| = |αf (xn ) − αf (x)| Pues f es lineal acotado

= |α||f (xn ) − f (x)| → 0 cuando n → 0

por lo tanto lim f (αxn ) = f (αx)

n→+∞

5
Chapter 1

LATEX