Análisis Funcional - Saúl Fernández

Anlisis Funcional
Curso 2014-2015
Sal Fernndez
ndice general
Captulo 1. Operadores y espacios normados. Primeras deniciones. 5
1.1. Primeras deniciones. 5
1.2. Espacio normado. 5
1.3. Continuidad en espacios normados. 6
1.4. Sucesiones en un espacio normado. 6
1.5. Espacio normado cociente. 6
1.6. Operador inyectivo asociado a uno dado. 7
1.7. El espacio L(E, F ). Operador conjugado a T. 7
EJERCICIOS 12
Captulo 2. Teoremas fundamentales del Anlisis Funcional. 19
2.1. Teoremas de Hahn-Banach en forma analtica. 19
2.2. Teoremas de Acotacin Uniforme. 21
2.3. Teorema de Aplicacin Abierta. 24
2.4. Teorema del Grafo Cerrado. 24
EJERCICIOS 26
Captulo 3. Espacios de Hilbert. 31
Preliminares. 31
3.1. Espacios pre-Hilbert. 31
3.2. Espacios de Hilbert. Mejor aproximacin. 33
3.3. Teorema de Representacin de Riesz. 35
3.4. Adjunto de un operador acotado. 37
3.5. Relaciones de dualidad entre T

y T . 40
EJERCICIOS. 43
Captulo 4. Operadores autoadjuntos y normales. 51
4.1. Operadores autoadjuntos. Primeras propiedades. 51
4.2. Propiedades espectrales de los autoadjuntos. 52
4.3. Proyeccin en un espacio de Hilbert. 56
4.4. Operadores normales y unitarios. 60
Captulo 5. Operadores compactos en espacios de Hilbert. 63
5.1. Sobre el captulo. 63
5.2. Demostraciones de (1), (2) y (3). 64
5.3. La alternativa de Fredholm. 65
Preliminares. 65
Demostraciones. 66
3
4 ndice general
5.4. Algunos resultados sobre operadores de Fredholm. 69

Captulo 1
Operadores y espacios normados. Primeras deniciones.

1.1. Primeras deniciones.
Se dice espacio vectorial topolgico al par (E, ), siendo E un espacio vectorial compatible, esto
es, compatible con las operaciones
+ : (x, y) E E x + y E, continua;
: (, x) R E x E, continua.
Se dice operador a una aplicacin lineal T : D(T ) E F , siendo E, F espacios vectoriales y su
dominio, D(T ), un subespacio vectorial de E.

Un operador se dice acotado cuando es continuo y D(T ) = E , y se dice que tiene dominio denso
si D(T ) = E .
Un operador se dice cerrado si su grafo ,
G(T ) := {(x, T x) : x D(T )},
es un subespacio cerrado de E F.
1.2. Espacio normado.
Es un par (E, k.k), donde E es un espacio vectorial y la norma k.k : E R es una aplicacin que
verica
(i).: kxk 0, x E,
(ii).: kxk = 0 x = 0, x E,
(iii).: kxk = ||kxk, R, x E,
(iv).: kx + yk kxk + kyk, x, y E .
Dos normas se dicen equivalentes si existen constantes , > 0 tales que
kxkA kxkB kxkA ,
para todo x E.
Ejemplos.: Todas las normas en Rn son equivalentes.
En cambio, considerado
C([0, 1]) := {f : [0, 1] R continua},
tenemos que las normas

1
kf k1 := |f (t)|dt; y kf k := max |f (t)|
0 t[0,1]
no son equivalentes.
5
6 1. OPERADORES Y ESPACIOS NORMADOS. PRIMERAS DEFINICIONES.
1.3. Continuidad en espacios normados.
f :EF es continua en aE si tal que kx ak < kf (x) f (a)k < .

Considerando el espacio E con dos normas diferentes, k.kp y k.kq , cabe preguntarse si la aplicacin
k.kp : (E, k.kq ) R
es continua. Sea > 0. Si las dos normas son equivalentes, y teniendo en cuenta que por la desigualdad
triangular se verica para cualquier norma que |kxk kyk| kx yk, se tiene que
|kxkp kakp | kx akp kx akq < , tomando = /,
de modo que k.kq es continua como aplicacin.
Ahora bien, si no son equivalentes, lo anterior no es necesariamente cierto. Basta ver el contraejemplo
k.k1 : (C([0, 1]), k.k ) R.
1.4. Sucesiones en un espacio normado.
Un espacio normado E se dice de Banach si es sucesionalmente completo (esto es, una sucesin es
convergente si y solo si es de Cauchy).
Es importante mecionar que, en espacios normados, completo equivale a sucesionalmente completo,
mientras que en espacios topolgicos, completo implica sucesionalmente completo (y no es necesario el
recproco).
Por ejemplo, C([0, 1]) es Banach con la norma k.k , si bien no con k.k1 .
Podemos aracterizar sucesionalmente (y de otros modos) la clausura de M E : dado x E, tenemos
que
xM B(x; ) M 6= > 0
suces. (xn )n M tal que xn
x
n
d(x, M ) := nf{kx mk : m M } = 0.
Ntese que
M cerrado toda suces. (xn )n M convergente tiene su lmite en M.
Por ejemplo, si T es un operador acotado, su ncleo, N (T ), es un subespacio cerrado. Esto es, si
(xn )n N (T ) (i.e., T xn = 0n), y xn

x E , entonces x D(T ) y T x = 0.
n
1.5. Espacio normado cociente.
Sea E un espacio normado y M un subespacio cerrado de E. Denimos:
k[x]k := d(x, M ) := nf{kx mk : m M }.
Se da que k[.]k dene una norma en el espacio cociente E/M , llamada norma cociente .
En efecto,
(i).: k[x]k 0, por denicin.

(ii).: k[x]k = 0 d(x, M ) = 0 x M = M (al ser M cerrado), de donde [x] = [0].
(iii).: k[x]k = d(x, M ). Ahora bien,
d(x, M ) := nf{kx mk : m M } = nf{kx mk : m M } = ||nf{kx mk : m M },

1.7. EL ESPACIO L(E, F ). OPERADOR CONJUGADO A T . 7
debindose la segunda igualdad al hecho de que M es un subespacio.

(iv).: k[x + y]k = d(x + y, M ) d(x, M ) + d(y, M ) = k[x]k + k[y]k, con un razonamiento similar al
anterior.
Veamos, adems, que k[x]k = nf{kzk : z [x]}. En efecto,
(a) : k[x]k kzk, z [x]:

Si z [x], por denicin z x M , de donde
k[x]k := d(x, M ) kx (x z)k = kzk.
(b) : > 0, a [x] tal que kak < k[x]k + :

Si > 0, por def. de d(x, M ), necesariamente m M tal que kx mk < k[x]k + . Basta
llamar a := x m. Efectivamente, a [x] (porque a x = m M ) y cumple lo requerido.
1.6. Operador inyectivo asociado a uno dado.
Siendo E, F espacios normados, y T :EF un operador acotado, se denen
N (T ) := {x E : T x = 0} = T 1 ({0}), el ncleo de T .
R(T ) := {T x : x E}, la imagen de T .
N (T ) es un cerrado. Adems, por ser T :EF un operador acotado, se tiene que
T : E/N (T ) F
[x] E/N (T ) 7 T [x] := T x F,
es un operador inyectivo, y se llama operador inyectivo asociado a T .
1.7. El espacio L(E, F ). Operador conjugado a T .
Siendo E, F espacios normados, se dene
L(E, F ) := {T : E F |T operador acotado}.
Se usan ciertas notaciones para casos especiales:
L(E) := L(E, E).

E 0 := L(E, K), siendo K = C R, el cuerpo de los escalares. E0 se llama dual topolgico y se
0
denotarn sus elementos de la forma x .
bidual
E 00 := (E 0 )0 = L(E 0 , K), el .
Estudiaremos en esta parte el operador conjugado asociado a T, que acta entre duales.
1.7.1. Normas en E F y en L(E, F ). Se considera en EF la norma producto :

k(x, y)kEF := kxkE + kykF .
Esto nos permite elaborar una denicin equivalente de operador cerrado : tenemos que T es cerrado
si y solo si G(T ) := {(x, T x) : x E} es un subespacio cerrado de E F. As,
T cerrado si y solo si para toda sucesin (xn )n D(T ) de modo que xn x E y T xn y F , se
tiene que x D(T ) y que T x = y .
En L(E, F ), podemos denir una norma si consideramos previamente este resultado:

Proposicin.: Dado un operador T : E F, son equivalentes: (i). T continuo; (ii).

T continuo en 0E ;
(iii). T *
transforma acotados en acotados ; (iv). > 0 tal que kT xk kxk, x E .
Demostracin .: (i) (ii). Es trivial. (ii) (iii). Sea A B(0E ; r). Por denicin de continuidad, si
= 1, existe > 0 tal que T (B(0E ; )) B(0F ; 1). Ahora bien, sea tal que r = . Por ser T
lineal, se tiene que
T (B(0E ; )) = T (B(0E ; )) B(0F ; 1) = B(0F ; ).
(iii) (iv). Consideramos la esfera unidad , que no es otra cosa que el conjunto acotado S :=
{x E : kxk = 1}. Su imagen est acotada por (iii), y, en particular, kT xk x S . En
x
particular, si 0 6= x E se tiene que S , de donde
kxk

kT xk x kT xk kxk.
= T
kxk kxk
(iv) (i). Sea > 0, y = / . Entonces,
kx x0 k kT x T x0 k = kT (x x0 )k kx x0 k = .
(En particular, hemos demostrado que T es uniformemente continuo).
Conviene observar que el resultado anterior sigue siendo vlido si el dominio de T es D(T ) ( E . No
obstante, el nombre acotado, como ya se vio, se conserva para operadores continuos con D(T ) = E .
Empleando este resultado, se puede establecer una norma en L(E, F ).
Si T L(E, F ), por lo anterior existe >0 tal que kT xk cuando kxk = 1. Denimos
kT k := sup{kT xkF : kxkE = 1}.

Ejercicio. Estudiar estas relaciones entre operador cerrado y continuo:
(i).: T operador acotado T cerrado.

(ii).: En general, T continuo; T cerrado. Dar contraejemplo.
(iii).: En general, T cerrado;T continuo. Dar contraejemplo.
En algunas ocasiones, se pueden dar condiciones sucientes para que cerradocontinuo.. Cual-
quier resultado que aporta estas condiciones sucientes se denomina un teorema del grafo
cerrado.
1.7.2. Anuladores. Sea E un espacio normado y E0 su dual. Sea M un subespacio de E y N un

0
subespacio de E . Se denen:
El anulador por la derecha ,

M 0 := {x0 E 0 : x0 (M ) = 0}.
El anulador por la izquierda ,

0N := {x E : N (x) = 0}.
Cabe preguntarse:
0
0 (M ) = M ?; (0 N )0 = N ?
*A E se dice acotado si A B(0E ; r) para algn r > 0.

Se ver que la respuesta es armativa en el primer caso y negativa, en general, en el segundo (salvo con
algunas condiciones que se verican en espacios de Hilbert).
Estos anuladores tienen bastante relacin con el espacio cociente:
Ejercicio. Sea E espacio normado y M E subespacio cerrado de E. Sea
V : (E/M )0 M 0
z0 7 V z0 M 0, def. por V z 0 (x) := z 0 ([x]).
(Ntese que si x M, Vz'(x)=0, luego V z 0 M 0 ).

Probar que V es un isomorsmo isomtrico .
a
aUn operador T se dice isomtrico si kT xk = kxk x.
Ejercicio. Si E, F son espacios normados, ya se ha visto que lo es L(E, F ). Probar que, si F es Banach,
lo es L(E, F ).
En particular, E 0 := L(E, K) siempre es Banach con independencia de E.

Se ver ms adelante (usando Hahn-Banach) que esta condicin es tambin necesaria.
1.7.3. Isometra natural. Espacio reexivo. Sea E un espacio normado. Consideramos E 00 , su
bidual (recurdese que es Banach). Sea
JE : E E 00
x 7 JE x E 00 ,
denida por:
JE x : E 0 K, operador acotado.
x0 7 JE x (x0 ) := x0 (x).
Se puede comrpobar que JE es un operador acotado. Mediante Hahn-Banach, se puede comprobar
adems que es una isometra (i.e., kJE xk = kxk).

**
En particular, es inyectivo , luego tiene inversa continua.
Ahora bien, en general no es sobreyectiva. Cuando s lo es, el espacio se dice reexivo .

1.7.4. Teorema de extensin por continuidad. Sean E, F espacios normados, F de Banach, y
T : D(T ) E F un operador continuo. Entonces, existe un nico
T : D(T ) E F,
operador continuo tal que T |D(T ) = T y kT k = kT k.

Demostracin.: Sea x D(T ). Entonces, existe una sucesin (xn )n D(T ) de modo que xn
x. Por
n
ser T continuo, se tiene que
kT xn T xm k = kT (xn xm )k kT kkxn xm k 0.
(porque (xn )es de Cauchy)
**Una isometra es inyectiva. En efecto, T x = T y 0 = kT x T yk = kx yk x y = 0.

As,(T xn )n es de Cauchy en F , de modo que es convergente por ser Banach.
Deno en D(T ) la aplicacin
T : x D(T ) 7 T x = lm T xn F,
n
donde (xn )n es cualquier sucesin en D(T ) que tiende a x.

Est T bien denida? En efecto:
Sean (xn )n , (yn )n sucesiones en D(T ) que tienden a x. Existen lmn T xn y lmn T yn , y
veamos que son iguales:
kT xn T yn k kT kkxn yn k
kT kkx xk = 0. Y como la norma es una aplicacin
n
continua, se tiene que
0 = lm kT xn T yn k = k lm(T xn T yn )k = k lm T xn lm T yn k,
n
de modo que son iguales.

Es continuo? En efecto,
kT xk = k lm T xn k = lm kT xn k lm kT kkxn k
n n n
= kT k lm kxn k = kT kkxk := kxk, con = kT k.
n
Adems, de aqu podemos deducir que kT k kT k .

Su restriccin a D(T ) es T . En efecto, si x D(T ), basta tomar (xn )n D(T ) con xn = x n.
kT k = kT k: ya hemos visto que kT k kT k. Adems, por tratarse de una restriccin, es trivial

que kT k kT k.
Unicidad : ejercicio.
1.7.5. Operador conjugado. Sean E, F espacios normados y T un operador de dominio denso,
i.e., T : D(T ) E F , con D(T ) = E .

En estas condiciones, vamos a denir el operador conjugado, T 0 .
Denotamos lo que ser su dominio:
D(T 0 ) := {y 0 F 0 : y 0 T D(T )0 } F 0 ,
esto es, si y 0 D(T 0 ), y 0 T es un operador continuo de de D(T ) en K. Adems, al ser K Banach,
puedo aplicar el resultado anterior, y tengo que:
Existe un nico operador continuo,
y 0 T : D(T ) K
(ntese D(T ) = E )
tal que y 0 T |D(T ) = y 0 T , con ky 0 T k = ky 0 T k.

Con esto, ya podemos denir el conjugado , T 0 :
T 0 : D(T 0 ) F 0 E 0
0
y0 7 T 0 y 0 := el nico y 0 T D(T ) = E 0 dado por el resultado anterior.
1.7.6. Caso particular: T acotado. Si T :EF es acotado (esto es, D(T ) = E ), entonces,
1. D(T 0 ) = F . En efecto, si y0 F 0, la composicin y0T lleva un elemento de D(T ) = E a un

T y0
elemento de K, as: E
F
K, de modo que y 0 T E 0 = D(T )0 .
2. Se tiene que
T 0 : F 0 E 0
y0 7 T 0 y 0 := y 0 T
(porque en este caso, D(T ) = E = D(T ), luego y 0 T = y 0 T ).

3. Adems, en este caso,
a) T0 es un operador acotado. En efecto, D(T 0 ) = F 0 , y basta ver que es continuo. Pero
kT 0 y 0 k = : ky 0 T k
ky 0 k kT k = ky 0 k, con = kT k.
(norma de composicin)
b ) Adems, por esto anterior es inmediato que kT 0 k kT k y veremos (por Hahn-Banach) que
hay igualdad.
Observacin.: Al ser T0 acotado en el caso particular anterior, podra denirse T 00 := (T 0 )0 , as:
T 00 : x00 E 00 7 T 00 x00 := x00 T 0 F 00 .
Notemos, no obstante que si T es acotado, entonces lo es T0 y esto nos garantiza la existencia de
T 00 , T 000 , ...
En cambio, T de dominio denso ; T0 dominio denso, aunque s se pueden dar ciertas condiciones
00
para que exista T .
Ejercicio. Dado el siguiente diagrama:
JE
E / E 00
T T 00

F / F 00
JF
demostrar la igualdad entre las composiciones
T 00 JE = JF T.
EJERCICIOS
Ejercicio 1.1. Ejercicio propuesto.
Probar que T acotado T cerrado, y que, en general, T cerrado ;T continuo.
Solucin: Sea (xn )n D(T ), convergente a xE y tal que (T xn )n y F . Es trivial que x D(T ) =
E (el total es cerrado respecto de s mismo). Por otra parte, por continuidad
T x = T (lm xn ) = lm T xn = y.
n n
En el otro caso, consideramos el contraejemplo siguiente: E = F = C([0, 1]), y sea D(T ) :=

C 1 ([0, 1]), el dominio del operador
T : x C 1 ([0, 1]) 7 x0 F,
u u
la funcin derivada. T es un operador cerrado: si xn
x, y x0n
y, se verica que x0 = y .
En cambio no es continuo porque no transfroma acotados en acotados: en efecto, sea el conjunto
acotado {xn (t) = tn }nN (ntese que kxn k = 1 n). Ahora bien, kT xn k = kntn1 k = n, n.
Ejercicio 1.2. Ejercicio 3, hoja 1.
Sea E un espacio normado. Probar que (i). E es Banach si y solo si (ii). la convergencia absoluta de series
implica la convergencia.
P
Solucin: Si E es Banach, sea an una serie que converge absolutamente, esto es, An := ka1 k + ka2 k +
... + kan k tiene lmite en R. Sea Sn := a1 + a2 + ... + an y veamos que tambin es una sucesin con
lmite en E .
Se tiene que la sucesin (An )n es de Cauchy, de modo que existe n0 tal que |An Am | < , si
n, m n0 . Ahora bien,
kSn Sm k = kan+1 + an+2 + ... + am k kan+1 k + kan+2 k + ... + kam k = |An Am | < ,
de modo que (Sn )n es de Cauchy en E y por tanto converge al ser E Banach.
Recprocamente, sea (an )n una sucesin de Cauchy en E y veamos que converge si se cumple
(ii). Para ver que converge una sucesin de Cauchy, basta hallarle una subsucesin convergente.
Ahora bien, para cada k existe nk tal que, si n, m nk , kxn xm k < 1/2k . En particular, para
cada k existe nk tal que
kxnk xnk+1 k < 1/2k .

1/2k , por el criterio
P P
Veamos que (xnk )k converge en E . Puesto que la serie k kxnk xnk+1 k < k
de comparacin, converge, de modo que aplicando (ii), tenemos que la serie
X
(xnk xnk+1 )
k
es convergente. Pero su sucesin de sumas parciales, que converge, es de la forma
Sk = (xn1
xn
2 ) + ( 2
xn xn
3 ) + ... + (
xn
k
xnk+1 ) = xn1 xnk+1 ,
de modo que existe lmk xnk = xn1 + lmk Sk , como queramos demostrar.
EJERCICIOS 13
SiE, F son espacios normados, ya se ha visto que lo es L(E, F ). Probar que, si F es Banach, lo es
L(E, F ).
En particular, E 0 := L(E, K) siempre es Banach con independencia de E.
Se ver ms adelante (usando Hahn-Banach) que esta condicin es tambin necesaria.
Solucin: Sea (Tn )n una sucesin de Cauchy en L(E, F ). Entonces, para cada x E , (Tn x)n es de Cauchy
(y por tanto converge) como sucesin en F . En efecto,
kTn x Tm xk kTn Tm kkxk < ,
si n, m son mayores que cierto n0 de manera que kTn Tm k < /kxk. Denamos entonces
T : x E T x := lm Tn x F.
n
T L(E, F ). En efecto, kT xk = k lmn Tn xk = lmn kTn xk lmn kTn kkxk = kxk, habi-
da cuenta de que la sucesin de las normas (kTn k)n converge en R, como se comprueba a
continuacin: supuesto, s.p.g., que kTn k kTm k,
|kTn k kTm k| = kTn k kTm k kTn Tm k < , n, m n0 .
Es de Cauchy y converge a algn nmero por ser R Banach.
lmn Tn = T , por ser T el lmite puntual de una sucesin de funciones que verican la condicin
de Cauchy: sea > 0, sea k tal que 1/k < . Se tiene que existe nk tal que kTm Tn k < 1/k ,
m, n nk . Entonces, en particular, jo n nk , para todo m > nk , y para todo x E de

norma 1,
kTm x Tn xk < 1/k kT x Tn xk < 1/k.

m
As, si n nk ,
kT Tn k = sup kT x Tn xk < ,
kxk=1
lo cual concluye la prueba.
Sean E Banach, y T L(E) con kT k < 1 X

(i). Probar, usando los ejercicios anteriores, que Tn es una serie convergente.
n
(ii). Probar que I T es un isomorsmo topolgico. (I =operador identidad).
n es convergente
P
Solucin: (i). Sabemos que L(E) = L(E, E) es Banach por serlo E , y que la serie n kT k
al ser kT k < 1. Pero adems
kT n k = kT T ... T k kT kkT k kT k = kT kn ,
n
P
de modo que por el criterio de comparacin, la serie n kT k tambin converge. Siendo L(E)
P n
Banach y aplicando el ejercicio 3, se tiene que n T es convergente en L(E).
(ii). Veamos que existe un inverso: sea S L(E) tal que S = lmn Sn , con Sn = I + T + T +
2
T 3 + ... + T n Se comprueba que
Sn (I T ) = (I T )Sn = (I T )(I + T + T 2 + + T n+1 ) = I T n+1 ,
de modo que cuando n , S(I T ) = (I T )S = I , y S es el inverso de I T.

E Banach. Siendo T L(E), se denen
El resolvente de T :
(T ) := { K : T := I T es isomorsmo topolgico}
El espectro de T :
(T ) := K\(T ).
Entonces: (1). Demostrar, como consecuencia del ejercicio 5, que si T, S L(E), S isomorsmo topolgico,
y kS T k < 1/kS 1 k, entonces T es un isomorsmo topolgico.
(2). Aplicando (1), demostrar que (T ) es cerrado y que (T ) { K : || kT k} (en particular es
cerrado y acotadoes compacto).
Solucin: (1). kS 1 (T S)k = kS 1 kkT Sk < 1. Por el ejercicio 5, I S 1 (T S) es un isomorsmo
topolgico, en cuyo caso
I S 1 (T S) = S 1 S S 1 (T S) = S 1 S S 1 T + S 1 S,
de donde S 1 T T = S (S 1 T ).
es un isomorsmo topolgico y lo habr de ser tambin
1
(2). (a) Veamos que (T ) es abierto. Sea (T ) y sea R := > 0. Entonces,
k( T )1 k
si B(, R), | | < R y una aplicacin directa de (1) me dice que T es isomorsmo
topolgico. De modo que B(; R) (T ), y en consecuencia (T ) es cerrado.
(b). Sea (T ). Veamos que || kT k. Basta ver que si || > kT k, entonces

/ (T ), esto es
T es isomorsmo topolgico. En efecto,
1 1
kT k = k T k = k( T ) k < || = 1
= ,
| | k(I)1 k
y aplicando directamente (1) obtengo el resultado.
Dado el siguiente diagrama:

JE
E / E 00
T T 00

F / F 00
JF
demostrar la igualdad entre las composiciones
T 00 JE = JF T.
Solucin:
J T 00
T 00 JE : E
E
E 00 F 00
x 7 JE x 7 T 00 (JE x) := JE xT 0 ,
que es un operador en F 00 denido por
T0 J x
JE xT 0 : y 0 F 0 T 0 y 0 := y 0 T E 0
E
JE x(y 0 T ) := y 0 T (x) = y 0 (T x) K.
EJERCICIOS 15
Por otra parte,

T J
JF T : E F F
F 00
x 7 T x 7 JF T x,
que es un operador en F 00 denido por
JF T x : y 0 F 0 JF T x(y 0 ) := y 0 (T x) K.
Sea E espacio normado y M E subespacio cerrado de E. Sea
V : (E/M )0 M 0
z0 7 V z0 M 0, def. por V z 0 (x) := z 0 [x].
(Ntese que si x M, Vz'(x)=0, luego V z 0 M 0 ).

Probar que V es un isomorsmo isomtrico.
Solucin:
Es un operador: V (y 0 + z 0 )(x) := (y 0 + z 0 )[x] = y 0 [x] + z 0 [x] = (V y 0 + V z 0 )[x].

Veamos que es isomtrico (esto nos da que es acotado y que es inyectivo):
Recordemos que
k[x]k := d(x, M ) := nf{kx mk : m M } = nf{kzk : z [x]}.
Y se tiene que k[x]k kzk z [x].

0 0 0 0 0 0 0
As, si kxk = 1, |V z (x)| = |z [x]| kz kk[x]k kz kkxk = kz k, de donde kV z k kz k.
0 0 0
Por otra parte, |z [x]| = |V z (y)| (y [x]) kV z kkyk(y [x]), de modo que |z [x]|
0
kV z 0 kk[x]k, que prueba la otra desigualdad.

Falta solo la biyectividad: sea
w0 M 0 := {x0 E 0 : x0 (M ) = 0}.
Deno z 0 : [x] E/M z 0 [x] = w0 (x). Est bien denido: si y [x], x y M y 0 = w0 (x y) =

w0 (x) w0 (y). Se comprueba con facilidad que es un operador acotado. Luego z 0 = (E/M )0 y es
0 0
inmediato que V z = w , por cmo est denido.
Sea A := (ai,j )i,jN matriz innita tal que

X
|ai,j |2 < .
i,jN
Probar que existe T : l2 l2 , operador acotado tal que T ej = (ai,j )iN , siendo ej := (0, 0, . . . , 0, 1 , 0 . . . ),
(j)
y
X
l2 := {x = (n )n : |n |2 es convergente},
1/2
|n |2
P
que es un espacio normado considerada la norma kxk := .
Notaciones: Una sucesin doble es una funcin de dominio N N, i.e., (xp,q )p,qN . Se dice que converge
a a si para cada existe N tal que kxp,q ak < cuando p, q N .
Una serie doble es de la forma

X XX
xp,q = xp,q .
p,q pN qN
La sucesin doble de sumas parciales es

p X
X q
Sp,q = xi,j ,
i=0 j=0
y se dice que la serie es convergente si converge esta sucesin.
Si adems se trata de una suma de trminos positivos, como es el caso del enunciado, es fcil ver
que la serie doble converge si y slo si el conjunto de las sumas parciales es acotado.
P
Se comprueba tambin que si la serie doble converge, la serie simple pN xp,q converge para cada
P
q jo y la sucesin de sus lmites, Sq , es convergente. Lo mismo, para p jo, con qN xp,q .
P
Sea T : x = (xn )n 7 jN kxj k(ai,j )iN = (yi )iN . Se verica que T ej = (ai,j )iN , y la imagen es
una sucesin, (yi )i , que debemos ver que est en l2 :

P
Cada trmino de esta sucesin es de la forma yi = jN kxj kai,j . Entonces,
X
|yi | kxj k|ai,j |, de donde
j
2
X X X XX
|yi |2 kxj k|ai,j | kxj k2 |ai,j |2
i i j i j
!
X X X X X
= kxj k2 |ai,j |2 = kxj k2 j kxj k2 j
j i j j j

X
= kxj k2 < ,
j
< para cada j , notando que j j = := i,j |ai,j |2 .

2
P P P
siendo j = i |ai,j |
2 2
P P
Adems, notando que kT xk = i |yi | y que kxk = j kxj k , hemos demostrado que kT xk kxk
y que se trata por tanto de un operador acotado.
Ejercicio 1.9. Tutora Grupal.

Recordando que, si [x] E/M , se tiene k[x]k := d(x, M ) = nf{kzk : z [x]}. Recordemos tambin la
denicin del operador
T : [x] D(T )/N (T ) 7 T [x] = T x F.
Sea T : D(T ) E F un operador.
1. Probar T acotado T acotado. En tal caso, kT k = kT k.

2. Ver que T cerrado T cerrado.
Solucin: 1. Si T es acotado, para cada [x], para cada y [x], kT [x]k = kT yk kT kkyk. Esto es cierto
para todo y [x], de donde
kT [x]k kT knf{kyk : y [x]} = kT kk[x]k.

EJERCICIOS 17
Notar que esto demuestra que kT k kT k.

Recprocamente, si T es acotado, kT xk = kT [x]k kT kk[x]k kT kkxk, lo cual demuestra que T
es acotado y tambin demuestra que kT k kT k, concluyendo la prueba.
2. Si T es cerrado, veamos que lo es T . Sea ([xn ])n una sucesin en D(T ) de modo que converge
a un elemento [x] y de modo que T [xn ] := yn y F veamos que [x] D(T ) y que T [x] = y .
Ahora bien, si [xn ] [x], se tiene que k[xn x]k = k[xn ] [x]k < si n n0 . Por denicin
0 0
de nmo, existe xn [xn ] tal que kxn xk < y podemos construir una sucesin en E , (xn )n ,
0
0 0
convergente a x, y de modo que T xn = T xn , de donde T xn y . Por ser T cerrado, x D(T ),
T x = y , y el resultado es imediato.
Recprocamente, si T es cerrado y (xn )n converge a x en E , y (T xn )n converge a y en F , se tiene
que
k[xn ] [x]k = k[xn x]k kxn xk < , (n n0 ),

y que T [xn ] = T xn y , de modo que por ser T cerrado, T x = T [x] = y .
E = C([0, 1]), T : f E T f E , denida por T f (t) := t2 f (0), t [0, 1]. Hallar kT k.
Solucin: Se comprueba que T est bien denido y es un operador acotado: se ve sin complicacin que
T f C([0, 1]) y que es lineal, y adems
kT f k := max |T f (t)| = max |t2 f (0)| = f (0) kf k .

t[0,1] t[0,1]
Respecto a su norma, ya hemos visto que kT k 1, y veamos que es, de hecho, 1. En efecto, sea
g(t) = 1 t y se tiene que Tg = t2 , de donde kgk = kT gk = 1.
1 = kT gk sup kT f k = kT k.
kf k=1
Sea T : l2 l2 un operador acotado, denido por la matriz

a1 a2 a3 . . .
a4 . . . , an = 1/2n , n N.

A = a2
a3
. ..

. .
.
Hallar la norma de T.
Solucin: Se emplea el problema 7 de la hoja 1 (ejercicio 1.8).

En primer lugar, se comprueba sin complicacin que
1 1
a1j = (j N), a2j = (j N), . . .
21+j1 22+j1
Ahora, jo i N, se tiene que
X X 1 1 1 X 1 1
|aij |2 = i1
j
= i1 j
= .
4 4 4 4 3 4i1
j j j
| {z }
=1/3
P 1 2
De manera similar, para j jo, i |ai,j |
. =
3 4j1
Por tanto,
X XX X1 1 4X 1 4
|ai,j |2 = |aij |2 = i1 = i
= .
3 4 3 4 9
i,j i j i i
El ejercicio antes mencionado nos da que kT k 2/3. Para la otra desigualdad,
2
x = (1, 1/2, 1/22 , ...) l2 , con kxk = ,
31/2
de modo que

3
z := x/kxk = (1, 1/2, 1/22 , ...) l2 ,
2 P
de norma 1 y siendo (i )i = T z , tenemos por el ejercicio anterior que i = j aij zj . Operando,

X 1 3 1 2 3
i = = i ,
2i+j1 2 2 j1 2 3
j
de donde kT zk = 2/3, luego 2/3 kT k.

Captulo 2
Teoremas fundamentales del Anlisis Funcional.

Estudiaremos cuatro tipos de teoremas:
1. De Hahn-Banach.
a ) En forma analtica. Se trata de extender formas lineales a todo el espacio. Son teoremas de
base algebraica.
b ) En forma geomtrica. No se usarn en este curso. Son de base algebraico-topolgica.
2. De acotacin uniforme. Resultados que dan condiciones sucientes para tener acotacin uni-
forme si hay acotacin puntual, esto es, si {Ti : i I} L(E, F ) tal que {Ti x : i I} es acotado
en F y se verican ciertas condiciones {Ti : i I} es acotado en L(E, F ).

Estos resultados emplean el Lema de Baire y son de base puramente topolgica.
3. De aplicacin abierta. Resultados que dan condiciones sucientes para que T, acotado, sea
abierto (i.e., transforme abiertos en abiertos). Igual que el anterior tipo de teoremas, se sustenta
en el Lema de Baire.
4. De grafo cerrado. Resultados que dan condiciones sucientes para que T cerrado (i.e., G(T )
subespacio cerrado de E F ), sea continuo. La base ser de nuevo el Lema de Baire.
Los teoremas de los tipos 2., 3. y 4. son equivalentes y se demuestran los unos a partir de los otros.
2.1. Teoremas de Hahn-Banach en forma analtica.
Van a ser consecuencia del siguiente resultado:
Teorema.: (De Hahn-Banach en forma algebraica). Sean E un espacio vectorial, M un subespacio

de E , y p : E R una seminorma
* y g : M K una aplicacin lineal tal que |g(m)|
p(m) m M .
Entonces existe alguna extensin de g , f : E K, lineal, con f |M = g , tal que |f (x)| p(x) x
E.
Veamos ahora teoremas de Hahn-Banach que se deducen directamente del anterior.
Tres teoremas de Hahn-Banach.
(HB1).: E espacio normado, M subespacio de E , m0 M 0 . Entonces, existe x0 E 0 tal que x0 |M = m0

y kx0 k = km0 k.
(HB2).: E espacio normado, M subespacio cerrado, x E\M . Entonces, existe x0 E 0 tal que x0 (x) 6= 0
0 0 0
(en particular, x (x) = d(x, M ), que es > 0 por ser M cerrado), con x (M ) = 0 y kx k = 1.
(HB3).: E espacio normado, 0 6= x E . Tomando M = {0}, el espacio nulo, una aplicacin directa de
(HB2) nos asegura que
x0 E 0 t.q. x0 (x) = d(x, 0) = kxk, kx0 k = 1.
*Se dene igual que la norma, pero cambiando

(ii).: kxk = 0 x = 0.
;
19
20 2. TEOREMAS FUNDAMENTALES DEL ANLISIS FUNCIONAL.
Demostracin.:
(HB1).: La aplicacin p : x E 7 p(x) := km0 kkxk es una seminorma tal que |m0 (m)|
km0 kkmk = p(m). As, por el teorema anterior, existe.
0
Esta aplicacin f es obviamente continua, por ser un operador y del hecho de que := km k
0 tal que kf (x)k kxk. De modo que f E 0 , y sea x0 := f .

0 0 0
Adems, km k kx k por ser x una extensin, y
kx0 k = sup{kx0 (x)k : kxk = 1} sup{km0 kkxk : kxk = 1} = km0 k.
(HB2).: Sea Z := [x] M ** y, siendo d := d(x, M ) > 0, deno
g:Z K
x + m 7 d
apliquemos (HB1) a g y a Z.
g es un operador, m M , g(m) = g(0x + m) = 0), y g(x) = g(1x + 0) = d.

g(M ) = 0 (si
Veamos que es acotado: en efecto, si 6= 0,

m
kx + mk = ||kx + k ||d := |g(x + m)|,

m
notando que d kx + k porque m/ M (al ser M un espacio vectorial). de aqu, |g(x +

m)| kx + mk, con = 1.
De lo anterior, adems, tengo que kgk = 1, y veamos que 1 kgk: en efecto,
d := nf{kx mk : m M } (mn )n M t.q. kx mn k

d.
n
Notando que si m M , g(x + m) = 1 d = d, tengo que g(x mn ) = d n. Luego
d = |d| = |g(x mn )| kgkkx mn k

kgkd d kgkd 1 kgk.
n
Estamos en las hiptesis de (HB1), luego existe x0 E 0 t.q. x0 |Z = g (luego x0 (x) = d 6=

0, x0 (M ) = 0,
kx0 k = kgk = 1.
y
Aplicaciones: (a): Sabemos que x0 E 0 con kx0 k = 1. En estos casos, |x0 (x)| kx0 kkxk = kxk. Pero
es que, adems,
sup{|x0 (x)| : x0 E 0 , kx0 k = 1} = kxk.
En efecto, kxk sup{|x0 (x)| : x0 E 0 , kx0 k = 1} porque para cada x0 de ese conjunto,
|x0 (x)| kxk, como ya sabemos.

0 0
Y adems, por (HB3), existe x E de norma 1 tal que
kxk = |x0 (x)| sup{|x0 (x)| : x0 E 0 , kx0 k = 1}.
(b): Se haba denido JE , la isometra natural, como
JE : x E 7 JE x E 00 , denida por JE x : x0 E 0 7 JE x(x0 ) := x0 (x).
Veamos que est bien denido, que es un operador acotado, y que es una isometra. En efecto,
**Donde [x] := {x : K} y zZ se expresa de forma nica como z = x + m.

2.2. TEOREMAS DE ACOTACIN UNIFORME. 21
Bien denido: veamos que x, JE x es un operador E0 K acotado:
|JE x(x0 )| = |x0 (x)| kx0 kkxk = kx0 k, con = kxk.
Notemos que esto signica que kJE xk = kxk, de donde:

JE es un operador acotado: basta tomar = 1, porque kJE xk kxk = kxk.
Es una isometra. Hemos de ver que kJE xk = kxk. Ya visto que kJE xk kxk. Adems,
por (a).,
kxk = sup{|x0 (x)| : x0 E, kx0 k = 1}

= sup{|JE x(x0 )| : x0 E, kx0 k = 1}
sup{|JE x(x0 )| : x0 E} = kJE xk.

(c): Complementacin topolgica. Siendo E esp. norm., M subespacio cerrado de E se dice
complementado topolgicamente si existe otro subesp. cerrado de E, N , tal que E = M N
(i.e. E = M +N y M N = {0}). Se puede comprobar con H-B que si M tiene dimensin
nita est complementado topolgicamente.
Demostracin: Sea B := {u1 , ..., ud } una base de M y para cada i = 1, ..., d, sea Mi =
hu1 , ..., ui1 , ui+1 , ..., ud i, el espacio vectorial generado por B\{ui }.
Por (HB2) existe para cada Mi (que son subespacios cerrados) una fi E de modo que
0
fi
fi (ui ) 6= 0, fi (Mi ) = 0. Deniendo x0i = 0
, se tiene que xi (uj ) = i,j = 1, si i = j , 0
fi (ui )
en otro caso.
Sea N := {x E : x0i (x) = 0 i}. Se comprueba que N es un subespacio cerrado de E .

P
Adems, M N = 0 porque si 0 6= m M , entonces m = i=1...d i ui con algn i 6= 0,
0
de donde xi (m) = i 6= 0, y m
/ N.
Xd
Por ltimo, E = M + N : si x E , basta ver que x x0i (x)ui N . Ahora bien, se
|i=1 {z }
M
j , x0j (x 0
P
comprueba sin dicultad que, para cada i xi (x)ui ) = 0.
2.2. Teoremas de Acotacin Uniforme.
(AU1).: Sean E Banach, F normado, y una familia {Ti : i I} L(E, F ) tal que, para cada x E ,
{Ti x : i I} es acotada en F .
Entonces, {Ti : i I} es acotada en L(E, F ).
(AU2).: (Corolario inmediato de AU1) Sean E espacio normado, 6= A E (subconjunto de E , no

0 0 0
neceariamente subespacio). Entonces, A es acotado si y slo si para cada x E , x (A) es
acotado en K.
Veamos, antes de proceder a la demostracin, unas deniciones y resultados auxiliares para demos-
trarlo:
Deniciones. Sean E espacio vectorial, =6 A E . A se dice:

Equilibrado si A A cuando || 1.
Ntese que en particular, | 1| 1, de donde A = A. Adems, |0E | 1, de donde 0 E A.
Convexo si A + A A, , 0 con + = 1 (, R).

Absolutamente convexo si es equilibrado y convexo.
Ntese esta equivalencia: A abs. convexoA + A A , K tales que || + || 1.
Lema. Sea E espacio normado, =
6 A E , 0 6= K. Entonces,
(i).: A = A; (A)i = Ai .
(ii).: Si A es aboslutamente convexo y tiene interior no vaco, es un entorno de 0E .
Demostracin.: (i). Veamos un caso, los dems son anlogos: x A. Veamos que x A o,
equivalentemente ya que 6= 0, que x/ A. Tomemos un > 0 y veamos que
B(x/, ) A 6= .
Puesto que || > 0, se tiene que B(x, ||) A 6= y sea z = a B(x, ||) A,
de modo que
1
kz xk = ka xk < || ka xk <
||
ka x/k <
a B(x/, ), y a A.
(ii). Sea z Ai . Si z = 0E , Ai es un abierto de A que contiene al 0, de donde A es
entorno de 0. Si z 6= 0E , se tiene que
1 1 1 i 1 1 1
0= z z A + (1) Ai = ( A)i + (1)( A)i
2 2 2 2 2 2
1 1 1 1 1 1
A + (1) A = A + (A) = A+ A
2 2 2 2 A equilibrado 2 2
A,
A convexo
1 1
( A)i + (1)( A)i es un abierto contenido en A en que est 0.
y
2 2
Lema de Baire. E espacio de Banach, (Mn )nN sucesin de subconjuntos no vacos y cerrados de E
[
tales que E =
i 6= , o sea, existe un elemento de la sucesin con
Mn . Entonces, existe un m tal que Mm
n
interior no vaco.
Demostracin.: Supongamos que no es as, y construyamos una sucesin de Cauchy (pn )n cuyo
lmite pE (que existe por ser E Banach) no est en ninguno de los Mn , llegando a contra-
diccin.
Por un lado, si (Mn )i = , tenemos que Mn 6= E n, ya que E = E i 6= . As, para cada n,

c
tenemos que Mn := E \ Mn es abierto y no vaco.
c c
Tomemos, pues, p1 M1 y 1 < 1/2, tales que B1 := B(p1 , 1 ) M1 .
Obviamente, M2 no contiene a B1 porque su interior es vaco, y en consecuencia M2 B1

c
c
es no vaco y adems abierto por ser interseccin de dos abiertos. Tomamos p2 M2 B1 ,
1
2 < 1 y B2 := B(p2 , 2 ) M2c B1 .
2
Reiterando, se obtiene por induccin una sucesin de bolas Bk := B(pk , k ) tales que
1 1 1
k < k1 < k ; Bk Mkc y Bk B(pk1 , k1 ) Bk1 .
2 2 2
2.2. TEOREMAS DE ACOTACIN UNIFORME. 23
La secuencia (pn )n es Cauchy, porque kpn pm k < 1/2m (suponiendo n m, de modo que
pn , pm Bm ). Por ser E Banach, se tiene que
pn
p E.
n
Ahora bien, jo m N, se tiene que, si n > m, Bn B(pm , m /2), de donde
kpm pk kpm pn k + kpn pk m /2 + kpn pk m /2.

n
Por tanto, p Bm , porque dista de pm menos de m y, como

c,
B m Mm tengo que p
/ Mm .
Como este razonamiento es vlido para todo m, se alcanza la siguiente contradiccin:
[
p
/ Mm = E.
mN

Con esto, se demuestran los teoremas:
Demostracin: (AU1). Para cada i I, n N, llamamos
Mi,n := {x E : kTi x n} = (k.k Ti )1 ((, n]),
cerrados por ser la antiimagen de un cerrado por una aplic. continua (composicin de continuas).
\
Entonces, Mn := Mi,n es cerrado y adems:
iI
Mn es absolutamente convexo. En efecto, cada Mi,n es equlibrado, porque si || 1, x Mi,n
se tiene que kTi (x)k = ||kTi (x)k ||n n, y es trivial que una interseccin de equilibrados
es un equilibrado. Por otra parte, cada Mi,n es convexo porque dados reales no negativos tales
que + = 1 y x, y Mi,n , se tiene que kTi (x + y)k kTi xk + kTi yk n + n = n,
y es trivial que una interseccin de convexos es un convexo.

[
E = Mn . En efecto, sea x E. Por hiptesis, {Ti x : i I} es acotado, de modo que
nN
existe > 0 tal que kTi xk i I . Tomando un
\ natural m , se tiene por tanto que
kTi xk m i I , de donde x Mi,m i. As, x Mi,m = Mm .

iI
Con esto, podemos aplicar el Lema de Baire y deducir que existe un Mm con interior no vaco.
Por tratarse adems de un absolutamente convexo, hemos visto que esto signica que es un
entorno del 0E , B(0; r) Mm E .

de modo que existe una bola cerrada
Si kxk = 1, se tienekrxk = r r , de donde rx B(0; r) Mm . Por denicin, kTi (rx)k
m i, de modo que kTi (x)k m/r i, x con kxk = 1.

De modo que kTi k m/r i.

Demostracin: (AU2). Es un corolario inmediato de (AU1). Sea {JE a : a A} L(E 0 , K) tal que
x0 E 0 , {JE a(x0 ) := x0 (a) : a A} = x0 (A) es acotado. Por (AU1), {JE a : a A} es acotado
0
en L(E , K), de modo que existe > 0 de modo que kJE ak a A. Ahora bien, JE es una
isometra, de modo que kak = kJE ak a, y A es acotado.
Corolario. Teorema de Banach-Steinhauss. Sean E un espacio de Banach, F un esp. norm. y
{Tn : n N} t.q. para cada x E existe lmn Tn x. Entonces,

T : x E 7 T x := lmn Tn x es un operador acotado.
Demostracin.: Ejercicio.
Aplicaciones: (a): Teora de holomorfa vectorial. f : A C E, A abierto, E Banach. Se trata
de estudiar funciones de variable compleja con valores en un espacio E , no necesariamente C, y

f (z) f (z0 )
generalizar resultados. Por ejemplo: f se dice fuertemente holomorfa si lmzz0 ,
|z z0 |
z, z0 E . Y dbilmente holomorfa si para todo x0 E 0 , x0 f : C E C es Cholomorfa.
Se comprueba que la holomorfa fuerte implica la dbil y adems se puede usar AU para ver
que el recproco es cierto si E es Banach.
(b): Mtodos de sumabilidad.

(c): Convergencia de mtodos de integracin numrica.
2.3. Teorema de Aplicacin Abierta.
Estudiaremos uno:
(AA): E, F Banach, T : E F acotado y suprayectivo. Entonces, T es abierto (i.e., transforma
abiertos en abiertos).
La demostracin se ver ms adelante. Resultados auxiliares que se emplean son el Lema de Baire, el
lema, ya visto, que dice A = A, (Aint ) = (A)int , y el siguiente lema, cuya demostracin se propone
como ejercicio.
Lema: E, F Banach, T :EF sobreyectiva, U entorno de 0E . Entonces, TU entono de 0F .
2.4. Teorema del Grafo Cerrado.
De nuevo veremos uno:
(GC): E, F Banach, T :EF operador cerrado (i.e. G(T ) subespacio cerrado de E F ). Entonces,
T es acotado.
Este teorema es equivalente al teorema de la aplicacin abierta anterior. En efecto,
Demostracin.: [(AA)(GC)]: Sea T :EF operador cerrado. Denimos
S : G(T ) E F E
(x, T x) 7 S(x, T x) := x.
S es continuo: kS(x, T x)k = kxk kxk + kT xk := k(x, T x)k = k(x, T x)k, con = 1.
Es obviamente biyectivo.
Entonces, por (AA), S es una aplicacin abierta. Por ser biyectiva, existe S 1 y por ser abierta,
S 1 es continua, luego
kT xk kxk + kT xk := k(x, T x)k = kS 1 (S(x, T x)) k

kS 1 k kS(x, T x)k kS 1 k kxk,
T es por tanto
y acotado.
[(GC)(AA)]: En el ejercicio 3, se demuestra que
E Banach La convergencia abosluta de series implica la convergencia.

2.4. TEOREMA DEL GRAFO CERRADO. 25
Sean E, F Banach, y T L(E, F ) suprayectivo. Veamos que T es abierto. Consideramos el
operador inyectivo asociado,
T : E/N (T ) F
[x] 7 T [x] := T x.
Entonces,
E/N (T ) es Banach. Esto se comprueba inmediatamente con el resultado del ejercicio 3. Hay
P P
que ver que, si k[xn ]k convergente, [xn ] es convergente.
Por ser T acotado, lo es T (ya visto ).
T es cerrado por ser acotado. Adems, es inyectivo, de modo que existe
T 1 : D(T 1 ) = R(T ) = R(T ) = F E/N (T ).
Es un operador cerrado (porque tiene el mismo grafo) entre espacios de Banach, y por (GC)
se tiene que T 1
es acotado. En particular es continuo, de modo que T es abierto (T (A) =
1 1
(T ) (A), abierto si lo es A).
Por ltimo, al ser
q T
T = T q : x E
[x] E/N (T )
T [x] = T x F,
basta ver, para concluir la prueba, que q es abierto y que la composicin de dos abiertos es
abierto (se comprueban ambas cosas sin dicultad).

EJERCICIOS
Probar que, si L(E, F ) Banach, entonces F Banach.
Solucin: Sea (yn )n F Cauchy, y veamos que existe lmite. Sea a E\{0}, de norma 1, y por (HB3)
tenemos que existe a
0 E 0 tal que a0 (a) = d(a, 0) = kak = 1. Se dene la sucesin de operadores
Tn : E F
x E 7 a0 (x) yn F
Veamos que son acotados:
kTn xk = ka0 (x) yn k (ka0 kkyn k)kxk,
y que (Tn )n es una sucesin de Cauchy en L(E, F ):
kTn Tm k = max kTn x Tm xk = max ka0 (x)(yn ym )k = ka0 kkyn ym k <

kxk=1 kxk=1
Entonces existe T = lmn Tn y en particular hay convergencia puntual, de modo que yn = Tn a

T a.
Ejercicio 2.2. Tutora Grupal.
1. Sea E de Banach. Probar:

a ) JE E subespacio cerrado.
0
b ) Si E reexivo, entonces E reexivo.
0
c ) Usando Hahn-Banach: Si E reexivo, entonces E reexivo.
2. M, N subespacios cerrados de E y E 0 respectivamente.

a ) Usando Hahn-Banach, probar M =0 (M ).
0
0 0
b ) Si E reexivo, JE (0 N ) = N , y N = (0 N ) .
3. A, B subespacios cerrados de E , Banach. Suponiendo cierto que, si E = A B , entonces E0 =

A0 B 0 , demostrar que, si E es reexivo, E 0 = A0 B 0 , entonces E = A B .
Solucin: 1. (a): JE E = {JE x : x E}. Sea (JE xn )n una sucesin en JE E que converge, y veamos que
00 00
su lmite, llmese x , est en JE E , esto es, JE x = x para algn x E . Ahora bien, por ser
convergente, en particular esa sucesin es de Cauchy, de donde, habida cuenta de que JE es
una isometra,
kxn xm k = kJE xn JE xm k < , (n, m N ).
La sucesin (xn )n es de Cauchy en E y por ser Banach, tiene un lmite, llmese x. Basta ver
que x
00 = JE x. Pero, en efecto,
x00 (x0 ) = lm JE xn (x0 ) := lm x0 (xn ) = x0 (lm xn ) = x0 (x) =: JE x(x0 ).

n n n
1. (b): Se tiene que JE E = E 00 . Veamos que adems JE 0 E 0 = E 000 . Sea x000 E 000 y hallemos
x0 E 0 tal que JE 0 x0 = x000 .

00
Ahora bien, como E = JE E , se tiene que cada x
00 E 00 es de la forma JE x para un x E.
EJERCICIOS 27
Entonces, deno x0 as:
x0 : E K
x 7 x0 (x) := x000 (JE x).
Es fcil comprobar que es acotado:
kx0 (x)k = kx000 (JE x)k kx000 kkJE xk = kx000 kkxk.
Basta ver que JE 0 x0 = x000 . Pero, en efecto, sea JE y = y 00 E 00 , y
JE 0 x0 (y 00 ) := y 00 (x0 ) = JE y(x0 ) := x0 (y) := x000 (JE y) = x000 (y 00 ).
1. (c): Sea E0 reexivo y supongamos que no lo es E. Al ser JE E cerrado, tomemos
x00 E 00 \LE E 6=
y lleguemos a contradiccin.
Por Hahn-Banach, existe x000 E 000 tal que x000 (x00 ) = d(x00 , JE E) > 0, con x000 (JE E) = 0 y
kx000 k = 1.
Notemos que por reexividad de E 0 , x000 = JE 0 x0 para algn x0 E 0 .
Pero entonces, para todo x E,
0 = x000 (JE x) = JE x0 (JE x) := JE x(x0 ) := x0 (x),
de donde x0 0, y x000 = JE 0 0 = 0, lo cual se contradice con que x000 (x00 ) 6= 0.

2. (a): Sea x 0 (M 0 ). Por H-B, si x / M , existe x0 E 0 de modo que x0 (x) 6= 0, y x0 (M ) = 0.
0 0 0
Pero entonces, x M y, dado que x 0 (M ), se debe dar la contradiccin de que x (x) = 0.
0
0
De modo que 0 (M ) M .
0 0
Recprocamente, si x M , se tiene que x (x) = 0, para cualquier x M . De modo que
0
x 0 (M 0 ).
2. (b): [JE (0 N ) = N 0 ]: Sea x00 JE (0 N ). Se da que x00 = JE x para algn x 0 N . Veamos que
x00 (N ) = 0. Si existe x0 N tal que x00 (x0 ) 6= 0, entonces
0 6= x00 (x0 ) = JE x(x0 ) := x0 (x),
que se contradice con que x 0 N . De modo que JE (0 N ) N 0 .

00 0
Recprocamente, sea x N . Por ser E reexivo, existe x E tal que JE x = x00 y basta ver
0 0
que x 0 N . En efecto, sea x N , y se tiene que
x0 (x) = JE x(x0 ) = x00 (x0 ) = 0.
[N = (0 N )0 ]: x0 N . Para cada x 0 N se tiene que x0 (x) = 0, de modo que x0 (0 N ) = 0

Sea
0
y por denicin x (0 N ) .
0
0 0
Recprocamente, sea x (0 N ) . Ahora bien, si x
0 / N , por Hahn-Banach, existe x00 E 00 tal
00 0 00
que x (x ) 6= 0, x (N ) = 0.
00 0 0
Pero por denicin se tiene que x N , y se ha probado que N = JE (0 N ), de modo que
00
existe x 0 N tal que JE x = x . Se alcanza la contraciccin siguiente:
0 6= x00 (x0 ) = JE x(x0 ) = x0 (x) = 0.

x0 N
3: A, B subespacios cerrados de E , Banach. Suponiendo cierto que, si E = A B , entonces

E 0 = A0 B 0 , demostrar que, si E es reexivo, y E 0 = A0 B 0 , entonces E = A B .
00
Por hiptesis, se verica E = A
00 B 00 . Adems E 00 = J E , y A00 = J ( (A0 )) = J A,
E E 0 E
00 0
B = JE (0 (B )) = JE B . Es decir,
JE E = JE A JE B,
y veamos que esto implica E = A B . Sea x E . Entonces JE x = JE a + JE b = JE (a + b)

para ciertos a A, b B . Y al ser JE un operador inyectivo, se tiene que x = a + b, como
queramos demostrar.
E e.n., M subespacio de E. Se dene
U : [x0 ] E 0 /M 0 7 U [x0 ] := x0 |M M 0 .
Probar que U es un isomorsmo isomtrico.

Solucin:
U est bien denido: si y 0 [x0 ], entonces y 0 = x0 + m0 , para algn m0 M 0 , de modo que
y 0 (m) = x0 (m) +
m0 (m)
= x0 (m), m M , y y 0 | = x0 | .
M M
0
Acotado: para todo y [x ],
0
kU [x0 ]k = ky 0 |M k = sup{y 0 (x) : kxk = 1, x M } sup{y 0 (x) : kxk = 1} = ky 0 k,
y como esto es cierto para todo y 0 [x0 ], se tiene que kU [x0 ]k nf{ky 0 k : y 0 [x0 ]} = k[x0 ]k.
0 0 0 0
Isomtrico: basta ver que k[x ]k kU [x ]k. Pero por (HB1), como x |M M , se tiene que existe
0 0 0 0 0 0
un z E con kz k = kx |M k de modo que z |M = x |M . Notemos que esto signica que z [x ],
0 0
0 0 0
de modo que k[x ]k kz k = kx |M k = kU [x ]k.
0
Isomorsmo. La inyectividad es consecuencia de ser isomtrico. Para la suprayectividad, sea m

0
M 0 y, por (HB1) existe z 0 E 0 con kz 0 k = km0 k de modo que z 0 |M = m0 . Pero entonces U [z 0 ] = m0 .

E, F espacios normados, T : D(T ) E F operador cerrado.
(i). Si 0 6= y F , ver que (0, y)

/ G(T ).
(ii). 0 6= y F . Probar que z 0 (E F )0 tal que z 0 (0, y) 6= 0, z 0 (G(T )) = 0.
0 0 0 0 0
(iii). D(T ) := {y F : y T D(T ) }. Probar que es total .
a
0
(iv). Si F es reexivo, D(T ) es denso (y podemos hablar de T ).
00
0 0 0 0 0
Recordar que T : y D(T ) T y = nica extensin de y T a todo E .
0
aN F 0 se dice conjunto total si para cada 0 6= y F existe y0 N tal que y0 (y) 6= 0.
Solucin: (i). Trivial: T (0) = 0. (ii). Del hecho de que G(T ) sea cerrado por hiptesis, aplicando directa-
mente (HB2).
(iii). Sea 0 6= y F y veamos que hay un y 0 D(T 0 ) tal que y 0 (y) 6= 0. El apartado (ii) nos garan-
0 0 0 0 0 0
tiza que hay un z (E F ) con z (0, y) 6= 0, z (G(T )) = 0. Sean x : x E 7 x (x) = z (x, 0),
0
y 0 : a F 7 y 0 (a) = z 0 (0, a). Se comprueba sin dicultad que ambos son operadores acotados de
EJERCICIOS 29
E0 y F0 respectivamente y obviamente y 0 (y) 6= 0. Falta ver y 0 D(T 0 ). Pero
0 = z 0 (x, T x) = x0 (x) + y 0 (T x),
de donde y 0 T = x0 en D(T ), luego y 0 T = x0 |D(T ) D(T )0 .

0 0
(iv). Veamos que si X reexivo y N subespacio total de X , entonces N es denso de X . En efecto,
0 0 00 00 00 0 00
suponiendo que no, sea z X \N , de donde existe, por H-B, un z X , z (z ) 6= 0, z (N ) = 0.
00
Ahora, z = JX z para algn z X , por reexividad, y
0 6= z 00 (z 0 ) = JX z(z 0 ) = z 0 (z).
Pero entonces z 6= 0 y 0 = z 00 (N ) = JX z(N ) = N (z), en contradiccin con que N sea total.

0
Este resultado aplicado a lo anterior y considerando que D(T ) es total, nos da lo que queramos
probar.
Observacin: Se puede comprobar que el recproco es cierto (en X reexivo, N denso de X 0 N
total de X 0 ).
E, F normados, T L(E, F ), T 0 : y 0 F 0 7 T 0 y 0 := y 0 T E 0 .
(i). Probar con Hahn-Banach que si T tiene inversa continua, T
0 es sobreyectiva.
(ii). Probar el recproco con el teorema de Acotacin Uniforme.
Solucin: (i). Sea x0 E 0 y busquemos y0 F 0 tal que T 0 y 0 = y 0 T = x0 . Consideremos x0 T 1 :

T 1 x0
x0 T 1 : R(T ) E K; x0 T 1 (R(T ))0 .
Por (HB1), existe y0 F 0 tal que y 0 |R(T ) = x0 T 1 , ky 0 k = kx0 T 1 k , y es trivial que es la y0 que
estbamos buscando.
(ii). SiT 0 es suprayectiva, R(T 0 ) = E 0 . Por denicin, N (T ) =0 (R(T 0 )) =0 E 0 . Pero entonces

N (T ) = 0, luego existe T 1 , y veamos que es continua. Basta ver que T 1 BR(T ) es acotado (BR(T )
0
es la bola unidad en R(T )). Basta aplicar (AU2) y probar que para cada x E , x (T
0 0 1 B
R(T ) )
0 0 0
es acotado. Por hiptesis, basta que para cada y F , T y (T
0 1 (BR(T ) )) lo sea. Y en efecto,
T 0 y 0 (T 1 (BR(T ) )) := y 0 T T 1 (BR(T ) ) = y 0 (BR(T ) ).
Pero ky 0 (BR(T ) )k ky 0 k.

Captulo 3
Espacios de Hilbert.
Preliminares.
Sean E, F espacios normados y T : D(T ) E F un operador. Se dene el espacio normado
DT := (D(T ), k.kT ),
donde k.kT es la norma del grafo , kxkT := kxk + kT xk. Se dene el operador acotado
T GT : x DT 7 T GT x := T x F.
Es acotado porque kT GT xk kT kkxk.

Se verica que si E, F son Banach, y T cerrado, entonces DT es Banach.
3.1. Espacios pre-Hilbert.
3.1.1. Denicin. Se dice espacio pre-Hilbert al par (E, h.i) donde E es un espacio vectorial y
h.i : E E K = R C es un producto escalar , una aplicacin que verica
(i). hx, xi 0 x E ; (ii). hx, xi = 0 x = 0; (iii). hx, yi = hy, xi (conjugacin compuesta); (iv).
hx + z, yi = hx, yi + hz, yi, x, y, z E; , K.
3.1.2. Relacin entre espacio normado y pre-Hilbert.
(1): En (E, h.i) se verica la desigualdad de Cauchy-Schwartz : |hx, yi|2 hx, xihy, yi. De esto es
inmediato que
p
kxkh.i := hx, xi
dene una norma en E, norma asociada al producto escalar h.i.
llamada
Esta norma verica la identidad del paralelogramo :
kx + yk2 + kx yk2 = 2kxk2 + 2kyk2 ; x, y E.
(2): Sea (E, k.k) un espacio normado tal que k.k verica la identidad del paralelogramo. Entonces se puede
denir un producto escalar mediante la llamada identidad de polarizacin :
1
kx + yk2 kx yk2 + ikx + iyk2 ikx iyk2 .

hx, yi :=
4
Adems, se comprueba sin dicultad que la norma asociada a este producto escalar es la propia
k.k.
Si no verica la identidad del paralelogramo, no es la norma asociada a un pre-Hilbert.
3.1.3. Ejemplos.
(1): Siendo 1 < p < , se dene

X
lp := {x = (n )n : |n |p converge},
nN
31
32 3. ESPACIOS DE HILBERT.
kxk = ( n |n |p )1/p .
P
que es un espacio normado con la norma
Se puede comprobar que el espacio lp verica la identidad del paralelogramo si y solo si p = 2.

Entonces l2 es pre-Hilbert, con el producto escalar
X
hx, yi = n n , donde x = (n )n , y = (n )n .
n
1/2
1 2 dt
(2): (C[0, 1], k.k), con la norma kf k := 0 |f (t)| , que verica la identidad del paralelogramo.
3.2. ESPACIOS DE HILBERT. MEJOR APROXIMACIN. 33
3.2. Espacios de Hilbert. Mejor aproximacin.
3.2.1. Denicin. Un espacio de Hilbert es un espacio pre-Hilbert (E, h.i) de modo que, con la
norma k.kh.i asociada al producto escalar, E es Banach.
3.2.2. Denicin. Siendo M un subespacio de E, Hilbert, se dene el ortogonal de M ,

M := {x E : hx, mi = 0, m M }.
Notar que es un subespacio cerrado de E porque el producto escalar es continuo.
3.2.3. Lema: a = b hx, ai = hx, bi x E .
Demostracin: Es consecuencia directa de que E = 0 (porque si x E , en particular hx, xi = 0).

Entonces, para todo x E , hx, a bi = ha b, xi = ha, xi hb, xi = 0, de donde a b E = 0.
3.2.4. Denicin: Mejor aproximacin. Siendo E un espacio normado, y M subespacio de E ,

sabemos que d(x, M ) := nf{kx mk : m M }. Si existe y M tal que kx yk = d(x, M ), este y se dice
que es la mejor aproximacin de x en M .
3.2.5. Proposicin. Si E es Hilbert y M un subespacio cerrado de E,

(i). Se alcanza la mejor aproximacin y es nica.
(ii). yM es la (nica) mejor aproximacin de x en M si y slo si x y M .
Demostracin: (i). Si x M, es la nica mejor aproximacin. Si x

/ M, por ser M cerrado,
0 < d := d(x, M ) = nf kx mk
mM
y entonces existe una sucesin (yn )n M tal que kx yn k

d. M
es Banach por ser un cerrado
n
en un Banach; veamos que (yn )n es Cauchy: aplicamos la identidad del paralelogramo a x yn y
x ym :
k2x (yn ym )k2 + kyn ym k2 = 2kx yn k2 + 2kx ym k2 ;
yn ym 2
kyn ym k2 = 2kx yn k2 + 2kx ym k2 4kx k
2 }
| {z
M
| {z }
d
2kx yn k2 + 2kx ym k2 4d2

2d2 + 2d2 4d2 = 0.
n
Sea entonces y = lmn yn . Se tiene que y M y, por continuidad de la norma, kx yk =

lmn kx yn k = d.
Respecto a la unicidad, si z M es kx yk = d = kx zk,
otra mejor aproximacin, esto es,
basta aplicar la identidad del paralelogramo a x z, x y para obtener inmediatamente que z = y .
(ii). Sea y la mejor aproximacin y 0 6= m M . Sea a := y + hx y, mi m M (es un elemento

de M porque y, m M y el producto es un escalar). Entonces, por denicin, se tiene que
d2 = kx yk2 kx ak2 = hx a, x ai = hx y hx y, mi m, x y hx y, mi mi
= kx yk2 hx y, mihm, x yi = kx yk2 |hx y, mi|2 ,
de donde hx y, mi = 0.

Recprocamente, si x y M , veamos kx yk = d(x, M ) =: d. Sea m M.
kx mk2 = kx y + y mk2 = h(x y) + (y m), (x y) + (y m)i

( (
= hx y, x yi + (
hx(
(y,(y(
(mi + (
hy(
(m,
(x(
(
yi + hy m, y mi
= kx yk2 + ky mk2 kx yk2 .
Entonces, kx yk nf mM kx mk. Pero, como y M, es de hecho igual.

3.3. TEOREMA DE REPRESENTACIN DE RIESZ. 35
3.3. Teorema de Representacin de Riesz.
3.3.1. Teorema de proyeccin. Siendo E Hilbert y M un subespacio cerrado de E. Podemos
denir
PM : x E PM x := la nica mejor aprox. de x en M.

2
Se tiene que: (i). PM es un operador acotado, idempotente ( proyeccin : PM = PM ) y de modo que
R(PM ) = M, N (PM ) = M . Se llama a PM proyeccin ortogonal sobre

M.

(ii). Se verica que E = M M .
Demostracin: (i). PM es operador: consideramos PM (x + y): se tiene que x PM x, y PM y M ,

de donde (x + y) (PM x + PM y) M y basta aplicar (ii). del resultado anterior.
Es acotado:
kxk2 = k(x PM x) + PM xk2 = h(x PM x) + PM x, (x PM x) + PM xi

| {z } | {z }
M M
= kx PM xk2 + kPM xk2 = d2 + kPM xk2 ,
de donde kPM xk kxk.

Es idempotente: PM (PM x) es la mejor aproximacin de PM x a M. Pero es que PM x M , o sea
que la mejor aproximacin es PM x.

Por ltimo: x N (PM ) x PM x = x 0 M ; y es trivial que R(PM ) = M (la imagen est
en M y cada elemento de M se tiene a s mismo de antiimagen).
(ii). Obviamente, M M = 0, y adems, para cada x E , x = (x PM x) + PM x M + M .
3.3.2. Teorema de Representacin de Riesz. Si E es Hilbert, y x0 E 0 , existe un nico zE

0
tal que x (x) = hx, zi, x E , y tal que kx0 k = kzk, llamado el representante de x0 .
Demostracin: Es una consecuencia del Teorema de Proyeccin. Si x0 0,

basta tomar z = 0. Supon-
0
gamos x
0
0 y tomo M := N (x ) ( E , que es un subespacio cerrado y propio de E . Tengo que
E = M M y, por ser M propio, existe a M de norma 1. Como x0 (a) 6= 0, para un x E
tomamos
x0 (x)
b := x a.
x0 (a)
Tenemos que x0 (b) = 0, de modo que b M, hb, ai = 0. As,
x0 (x) x0 (x)
0 = hb, ai = hx a, ai = hx, ai ha, ai;
x0 (a) x0 (a) | {z }
(=1)
x0 (x)
hx, ai = x0 (x) = x0 (a)hx, ai = hx, x0 (a) ai, x.
x0 (a) | {z }
:=z
Respecto a la unicidad, si x0 (x) = hx, yi para todo x, sea x := z y , de modo que hz y, zi =
hz y, yi, de donde 0 = hz y, zi hz y, yi = kz yk2 .
Por ltimo, si kxk = 1, por la desigualdad de Cauchy-Schwarz se tiene que |hx, zi| kxkkzk = kzk,
y entonces
kx0 k := sup |x0 (x)| = sup |hx, zi| kzk.

kxk=1 kxk=1
Recprocamente,
kzk2 = hz, zi = |x0 (z)| kx0 kkzk kzk kx0 k.
3.3.3. Aplicaciones.
1. Si E Hilbert, se puede denir un producto escalar en E 0 : hx0 , y 0 i0 := hy, xi, siendo x, y los repre-
0 0
sentantes respectivos de x , y . Entonces, E 0 es Hilbert.
00 00 0 0
2. Todo Hilbert es reexivo. En efecto, sea x E . Sea x su representante en E y x el representante
0 00 0 0
de E en E y veamos que JE x = x : si y E e y es su representante en E :
x00 (y 0 ) = hy 0 , x0 i0 = hx, yi; JE x(y 0 ) := y 0 (x) = hx, yi.
3.3.4. Aplicacin: Isometras de Riesz-Frechet. Si E Hilbert, se dene
FE : x E FE x := fx E 0 , def. por FE x(y) := hy, xi.
Verica que: FE a
semilineal : FE (x + y) = FE x + FE y, FE (x) = FE x; Adems, es biyectiva, continua y
con inversa continua, adems de isometra.
aNotar que esto signica que no es un operador, lo cual requiere linealidad.
Demostracin: Bien denida: es trivial que FE x = fx E 0 para todo x E .

Semilineal: del hecho de que ha, x + yi = ha, xi + ha, yi, y ha, xi = ha, xi.
Continua:
kFE x FE yk := sup |FE x(a) FE y(a)| = sup ha, x yi kx yk.

kak=1 kak=1
Adems, kFE xk kxk, y para ver que es isometra:
FE x(x) = hx, xi = kxk2 = |FE x(x)| kFE xkkxk kxk kFE xk.
La inyectividad viene dada por ser isometra, y para comprobar la suprayectividad, dado x0 E 0 ,
sea z su representante: para todo x E , x0 (x) = hx, zi =: FE z(x).
3.3.5. Aplicacin. E Hilbert, M, N subespacios de E y E0 respectivamente. Entonces,
M 0 := {x0 E 0 : x0 (m) = 0 m M } = {FE x : FE x(m) = 0 m M }

= {FE x : hm, xi = 0 m M } = FE M .
0N := {x E : x0 (x) = 0 x0 N } = {x E : FE a(x) = 0 = hx, ai a tal que F a N}

| {z E }
1 0 0
(a=FE x ,x N )
= {x E : hx, FE1 x0 i = 0 x0 N } = (FE1 N ) .

3.4. ADJUNTO DE UN OPERADOR ACOTADO. 37
3.4. Adjunto de un operador acotado.
3.4.1. Denicin. Sean E, F Hilbert y T L(E, F ). Para cada yF se dene
Fy : x E Fy (x) := hT x, yi.
Se comprueba que Fy E 0 . En efecto: Fy (x1 +x2 ) = Fy (x1 )+Fy (x2 ), por denicin, y, aplicando
Cauchy-Schwarz:
|Fy (x)| = |hT x, yi| kyk kT xk (kykkT k)kxk = kxk.

Por tanto, se puede aplicar el Teorema de Representacin de Riesz: existe nico zE tal que Fy (x) =
hx, zi, x E .
A partir de aqu puedo denir el operador adjunto de T :
T : y F T y := z (el nico representante de Fy ) E.
Ntese que hT x, yi =: Fy (x) = hx, zi =: hx, T yi.
3.4.2. Proposicin. Veamos que T L(F, E) y kT k = kT k.

Demostracin: En primer lugar, tengamos en cuenta este Lema: a = b hx, ai = hx, bi x E .
Ahora,
Si x E,
hx, T (y1 + y2 )i = hT x, y1 + y2 i = hT x, y1 i + hT x, y2 i
= hx, T y1 i + hx, T y2 i = hx, T y1 + T y2 i,
de donde, con el lema, T (y1 + y2 ) = T y1 + T y2 y T es operador.
Es acotado:
kT yk = krepres. Fy k = kFy k = sup |Fy (x)| sup kykkT kkxk = kykkT k.

kxk=1 kxk=1
Falta ver que kT k kT k (ya hemos visto la otra desigualdad). En efecto,
FT x (x) : = hT x, T xi = kT xk2 = |FT x (x)| kFT x kkxk = krepres. FT x kkxk

= kT T xkkxk kT kkT xkkxk kT xk kT kkxk.
3.4.3. Observacin. T es el nico operador que verica que hT x, yi = hx, T yi para todo x
E, y F .
3.4.4. Propiedades del adjunto de T L(E, F ).

(1): kT k = kT k = kT 0 k, donde T 0 : y 0 F 0 T 0 y 0 := y 0 T E 0 .
(2): T = T ; (T + S) = T + S ; (T + S)0 = T 0 + S 0 ; (T ) = T ; (T )0 = T 0 ;

Si T L(E, F ), S L(F, G): (ST ) = T S , (ST ) = T S .
0 0 0
(3): kT k2 = kT T k = kT T k
Demostracin:
kT xk2 = hT x, T xi = |hx, T T xi| kxkkT T xk

Desig. C-S
. En particular, si kxk = 1, kT xk2 kT T kkxk = kT T k, de donde
kT k2 kT T k kT kkT k = kT k2 .
T = T , kT k2 = kT k2 = kT T k.
Anlogamente, notando
(4): Deniendo U (x, y) := (y, x) y considerando el espacio E F , con E, F Hilbert y el producto escalar
h(a1 , b1 ), (a2 , b2 )iEF := ha1 , a2 iE + hb1 , b2 iF ,
se tiene que G(T ) = U {G(T ) } = U {G(T )} .

Demostracin.:
G(T ) = {(y, T y) : y F } = {(y, T y) : y F, hT x, yi = hx, T yi, x E}

= {(y, T y) : 0 = hU (x, T x), (y, T y)iF E , x E} = U {G(T )} .
Se comprueba fcilmente que U {G(T ) } = U {G(T )} .
3.4.5. Relaciones entre T y T 0. Sea T L(E, F ), con E, F Hilbert. Entonces:
(a). T = FE1 T 0 FF .
F T0 F ,1
Demostracin: Recordar que
F
F F 0 E 0 E E . Sea y F. Entonces, para ver que
T y = FE1 T 0 FF y
basta ver que, para todo x E,
hx, T yi = hx, FE1 T 0 FF yi.
Pero
hx, FE1 T 0 FF yi := FE FE1 T 0 FF y(x) = T 0 FF y (x) := y 0 T (x) = FF y(T x) := hT x, yi = hx, T yi.

|{z}
y0
(b). R(T 0 ) = FE R(T ).

Demostracin: De (a), FE T = T 0 FF , de donde
FE R(T ) = R(FE T ) = R(T 0 FF ) = T 0 R(FF ) = T 0 F 0 = R(T 0 ).

(i). (ii).
(i) Es porque R(FE T ) = {FE T y : y F } = {FE (T y) : T y R(T )} = FE R(T ); (ii) se
demuestra de manera anloga.
(c). N (T 0 ) = FF N (T ).
Demostracin: De (a), N (FE T ) = N (T 0 FF ). Adems, por inyectividad de FE , N (FE T ) = N (T ).
0 0
Por otro lado, si y N (T FF ), (de modo que T FF y = 0), entonces FF y R(FF ) N (T ) =
0
F 0 N (T 0 ) = N (T 0 ).
0 0
De donde: FF N (T ) = FF N (T FF ) = N (T ) R(FF ) = N (T ).
0
3.4.6. Relaciones entre el ortogonal y los anuladores. Sea E Hilbert (de modo que E0 es
Hilbert) y sean M, N 0
subespacios respectivos de E, E . Ya sabemos que (i). M0 = FE M , y que (ii).
0N = (FE1 N ) . Pero adems, se puede comprobar que
3.4. ADJUNTO DE UN OPERADOR ACOTADO. 39
(a). M = 0 (M 0 ) = M .
0
(b). N = (0 N ) = N
.
3.5. Relaciones de dualidad entre T y T .
3.5.1. (i). N (T ) = R(T ) . En efecto,
y N (T ) T y = 0 hx, T yi = 0 x E hT x, yi = 0 x E y R(T ) .
(ii). N (T ) = R(T ) . (Aplicando (i). a T , notando que T = T ).

(iii). N (T ) = R(T ). (Basta notar que R(T ) = R(T )).
(iv). N (T ) = R(T ). (dem ).
Nota. Si T no es acotado no es cierto que T = T , pero las igualdades anteriores siguen siendo ciertas.
Ejercicio: Comprobarlo.
3.5.2. Si T es biyectivo, entonces (T )1 es continuo.
Demostracin: Por biyectividad, D(T 1 ) = R(T ) = E .

(T )1 : E F . Adems, T es cerrado
As,
1 es un cerrad oque acta entre
por ser acotado, de modo que su grafo es cerrado. Entonces (T )
espacios de Banach. Por el Teorema del Grafo Cerrado, (T )

1 es continuo.
3.5.3. Si (T )1 existe y es continuo, R(T ) es cerrado.
Demostracin.: Sea x R(T ), de modo que existe una sucesin (yn )n F tal que T yn
x. Veamos
n
que x R(T ). Ahora bien,
kyn ym k = k(T )1 (T yn T ym )k k(T )1 kkT yn T ym k 0.
La sucesin (yn )n es de Cauchy en F , luego tiene un lmite y = lmn yn F basta ver que T y = x,
lo cual es inmediato por

continuidad de T .
3.5.4. R(T ) denso si y solo si T inyectivo.
Demostracin: E = R(T ) = N (T ) N (T ) = 0 T inyectivo.
3.5.5. T es suprayectivo si y slo si existe (T )1 continua.
Demostracin: Si T
es suprayectivo, T es inyectivo (N (T ) = R(T ) = F = 0), de modo que existe
(T )1 : R(T ) F . Supongamos que no es continua, esto es:
> 0, x R(T ), k(T )1 xk > kxk.
Notando que x = T y para algn y F, se puede construir una sucesin (yn )n F de modo que
kyn k = k(T )1 (T yn )k > nkT yn k.

yn n
Ahora, sea zn := n . Notemos que kzn k = n , mientras que kT zn k = kT yn k < 1.
kyn k kyn k
Busquemos una contradiccin:
3.5. RELACIONES DE DUALIDAD ENTRE T Y T . 41
En primer lugar, {y 0 (zn )}n y 0 F 0 . En efecto, por el Teorema de Repre-

es acotado para cualquier
sentacin de Riesz, y recordando la sobreyectividad de T , para todo n N, siendo z el representante

0
de y ,
|y 0 (zn )| = |hzn , zi| = |hzn , T ui| = |hT zn , ui|

(para algn u)

kT zn kkuk < kuk.
C-S
Entonces, por el Teorema de Acotacin Uniforme, llegamos a la contradiccin de que (zn )n es

acotada. Por tanto, (T )
1 continua.
1 continua, sea y F y hallemos a E tal que T a = y . Sabemos
Recprocamente, si existe (T )

por una relacin de dualidad anterior que R(T ) es cerrado: en particular es Hilbert. Sea
Gy : T z R(T ) 7 Gy (T z) := hz, yi K.
Veamos que Gy R(T )0 : en efecto, es operador lineal por denicin y es continuo porque
|Gy (T z)| = |hz, yi| kzkkyk = k(T )1 T zkkyk = (k(T )1 kkyk)kT zk := kT zk.
Ahora, aplicando Riesz, tenemos que
!T v R(T ) : Gy (T z) = hT z, T vi, z.
Tomando a := T v , es inmediato que y = T a.
3.5.6. (i). R(T ) cerrado si y solo si R(T ) cerrado.
Demostracin: Si R(T ) es cerrado, es Hilbert. Sea T1 : x E 7 T1 x := T x R(T ), que es un operador

suprayectivo de L(E, R(T )). Entonces T1 tiene inversa continua (por 3.5.5) y, por 3.5.3, R(T1 )

es cerrado. Basta ver que R(T1 ) = R(T ). En efecto,

Si a R(T ), hx, T1 ai = hT1 x, ai = hT x, ai = hx, T ai, x, de donde T1 a = T a. Entonces, si
x R(T1 ), x = T1 a = T a para algn a R(T ).

Recptrocamente, si x R(T ), entonces x = T y para algn y F y por el teorema de
proyeccin y el hecho de que R(T ) es cerrado se puede escribir
F = R(T ) R(T ) = R(T ) N (T )

y = u R(T ) + v N (T ),
luego existe un u tal que x = T y = T u + T v = T1 u + 0 = T1 u.

La otra implicacin es inmediata notando que T = T .

(ii). R(T ) cerrado R(T ) cerrado R(T ) = N (T ) R(T ) = N (T ) .

(1) (2)
Demostracin: (1) es del hecho de que R(T ) cerrado sii R(T ) = R(T ) = N (T ) , y (2) del hecho

de que T = T .
3.5.7. Relaciones de dualidad para T, T 0 . Son anlogas a las de T y T , si bien requeriran en
algunos casos nuevas demostraciones. Algunas de las ms signicativas son:
R(T ) =0 (R(T )0 ) =0 N (T 0 ).
N (T ) =0 R(T 0 ); esto es porque
0 R(T
0
) = (FE1 R(T 0 )) = (FE,1 FE R(T )) = R(T ) = N (T ).
R(T 0 ) = N (T )0 .
Nota: En un Hilbert (que en particular es reexivo) se cumple que 0 (M 0 ) = M, y no necesariamente en
cualquier espacio normado. Estas propiedades, al menos demostradas de manera anloga al caso
de T, T , solo valen en Hilbert.
3.5.8. Diagrama de estados. T L(E, F ), siendo E, F Hilbert, puede cumplir:
I)R(T ) = F; II)R(T ) = F; III)R(T ) 6= F,
1) T 1 continua; 2)T 1 no continua; 3)@T 1 .

Se suele decir que T est en el estado ij (i = I, II, III; j = 1, 2, 3).
Ejercicio: T tiene otros nueve estados. En total, el par T, T tiene 81 estados, pero la mayora de ellos
no son posibles. Decir cules.

EJERCICIOS. 43
EJERCICIOS.
(1). E Hilbert, M subespacio de E. Usando el Teorema de proyeccin, probar que M = M .

(2). Se denen
Tr : (x1 , x2 , ...) l2 (0, x1 , x2 , ...) l2

Tl : (x1 , x2 , ...) l2 (x2 , x3 , ...) l2
Hallar adjuntos de Tr y Tl , usando la denicin de T .
Solucin:
(1): El Teorema de Proyeccin nos da que E = M M .
Por otra parte, M es cerrado: en efecto, sea (xn )n M
tal que xn
xE y veamos que
n
x M . Por continuidad del producto escalar, si y M ,
hx, yi = lmhxn , yi = 0.
n
De modo que aplicando el Teorema de Proyeccin a M , se tiene que
E = M M ,
y basta ver que M = M . Para ello basta que M = M :

Si x M , y M , veamos si hx, yi = 0. Por continuidad: y M , existe una sucesin en M,
(yn )n
y , y se tiene que hx, yi = lmn hx, yn i = 0.
n
Recprocamente, si x M , y M , en particular y M , de modo que hx, yi = 0.

|n |2 es convergente}, que es un espacio normado considerada la norma
P
(2): l2 := {x = (n )n R :
1/2
|n |2
P
kxk := .
P
Si x = (n )n , y = (n )n , el producto hx, yi := n n dene un producto escalar en l2 . En efecto:
2
P
(i). hx, xi = |n | 0 x E ;
(ii). hx, xi = 0 n = 0n x = 0;
P P
(iii). hx, yi = n n = n n = hy, xi ;
(iv). hx + z, yi = hx, yi + hz, yi, x, y, z l2 ; , R, por linealidad.
P 0
As, Fy (x) := hTr x, yi = n=2 n1 n . Para cada y , Fy es un operador en (l2 ) y se dene Tr y := z
siendo z el representante de Fy .
Busquemos un z tal que Fy (x) = hx, zi para todo x. Se observa que:

X
Fy (x) := hTr x, yi = h(0, 1 , 2 , ...), yi = n1 n = hx, (2 , 3 , ...)i.
n=2
Basta tomar z = (2 , 3 , ...) = Tl y .

Por unicidad del representante, se tiene entonces que Tr y = Tl y para cada y l2 , de donde
Tr = Tl .
Adems, usando el hecho de que T = T , tambin se tiene que
Tl = Tr .
HOJA MEJOR APROXIMACIN
Ejercicio 3.2. Ejercicio 1.
Sea M un subespacio cerrado de un Hilbert, x H. Probar
d(x, M ) = sup{|hx, yi| : y M , kyk = 1}.

Solucin: Por ser M cerrado, se alcanza la mejor aproximacin de x en M y es nica, es decir, existe
m M , kxmk = d(x, M ). Adems, m M es la mejor aproximacin de x si y solo si xm M .
Sea y M
de norma 1. Entonces,
hx, yi = hx m + m, yi = hx m, yi +
hm,
yi.

Entonces,
|hx, yi| = |hx m, yi| kx mkkyk = kx mk = d(x, M ).

Ya hemos visto que es cota superior. Ahora veamos que se alcanza:
d(x, M )2 = kx mk2 = hx m, x mi = hx, x mi

hm,
x
mi.
xm xm
Notando que = tiene norma 1 y est en M , lo anterior nos dice que
kx mk d(x, M )
xm
d(x, M ) = hx, i = hx, yi para algn y M de norma 1.
kx mk
M subespacio de un Hilbert H. Probar que x M si y solo si kxk < kx yk para todo 0 6= y M .
Solucin: Si x M , sea 0 6= y M . Entonces,
kx yk2 = hx y, x yi = hx, xi
hx,yi + hy, yi = kxk2 + kyk2 > kxk2 .
hy,xi

Recprocamente, si se cumple lo segundo, sea 0 6= y M y veamos que hx, yi = 0. Primero,
0 < kxk < kx yk y M 0 < kxk d(x, M ).
De modo que x / M , y, de hecho, x

/ M (porque si x M , d(x, M ) = 0).
Y como x 6= 0, y H = M M necesariamente x M M .

M subespacio de dimensin nita de H, con una base ortonormal {u1 , ..., un }. Siendo x H, probar que
n
X
d(x, M ) = kx hx, uk iuk k.
k=1
Solucin.: M es cerrado por ser isomorfo a Kn , que es Banach, con el isomorsmo isomtrico:
: x = 1 u1 + ... + n un 7 (1 , ..., n ) Kn .
En efecto, por ser Kn Banach, si (xn ) es una sucesin de elementos de M que converge, se tiene
que en particular es Cauchy, y
k(xn ) (xm )k = kxn xm k < , m, n > n0 ,

EJERCICIOS. 45
de modo que lo es ((xn )) en Kn , y tiene un lmite, llmese , suya antiimagen est en M y es el
lmite de (xn )n .
Pn
Entonces, como M es cerrado, el enunciado es equivalente a que k=1 hx, uk iuk sea la mejor
aproximacin de x en M . O, equivalentemente, que
n
X
x hx, uk iuk M .
k=1
Pn
Y, en efecto, si y M, y = k=1 k uk , luego
n
X n
X n
X
h hx, uk iuk , yi = h hx, uk iuk , j uj i
k=1 k=1 j=1
XX XX
= j hx, uk ihuk , uj i = j hx, uk ijk
k j k j
X X
= k hx, uk i = hx, k uk i = hx, yi,
k k
Pn
de donde hx k=1 hx, uk iuk , yi = 0.
Calcular la proyeccin ortogonal en el subespacio M de l2 generado por v1 := (1, 1, 0, ...), v2 :=

(1, 0, 1, 0, ...), v3 := (1, 0, 0, 1, 0, ...).
Solucin: Los elementos de M son de la forma
1 v1 + 2 v2 + 3 v3 = (1 + 2 + 3 , 1 , 2 , 3 , 0, 0, ...).
La proyeccin ortogonal es la aplicacin
PM : x l2 PM x = mejor aproximacin de x en M.
Por el ejercicio anterior, siendo x = (n )n
PM x = hx, v1 iv1 + hx, v2 iv2 + hx, v3 iv3

= (1 + 2 )v1 + (1 + 3 )v2 + (1 + 4 )v3
= (31 + 2 + 3 , 1 + 2 , 1 + 3 , 1 + 4 , 0, 0, ...).
Sea M el subespacio de l2 de la forma (a1 , a1 , a1 , a4 , a5 , ...).

(i). Probar que es el ortogonal de B, el espacio generado por
u := (1, 1, 0, 0, 0, ...), v := (1, 0, 1, 0, ...).
(ii). Hallar PM x, x l2 .
Solucin: (i). Sea x = (a1 , a1 , a1 , a4 , a5 , ...) un elemento cualquiera de M. Claramente,
hx, ui = hx, vi = 0,
de modo que si y = 1 u + 2 v B , y M . Para el otro contenido, si hx, yi = 0 para todo x M ,

podemos tomar x = (1, 1, 1, 0, 0, ...), de modo que
0 = hx, yi = y1 + y2 + y3 .
Adems, para n > 3, sea x1 = (1, 1, 1, 0, ..., 0, 1 , 0, ...) M , y tenemos que 0 = hx1 , yi =
(n)
y1 + y2 + y3 + yn , de donde yn = 0.
De modo que y es de la forma y = (y2 y3 , y2 , y3 , 0, ..., 0, ...) = y2 u y3 v B .
(ii). La mejor aproximacin de x en M es el nico elemento PM x = m M tal que x m M

=
B . As, si x = (xn )n , m = (a1 , a1 , a1 , a4 , a5 , ...),
x m = (x1 a1 , x2 a1 , x3 a1 , x4 a4 , x5 a5 , ...) = (b + c, b, c, 0, 0, ...),
de donde an = xn , n > 3, a1 = x2 b = x3 c = x1 b c, y de aqu se despeja.
HOJA TEOREMA DE REPRESENTACIN DE RIESZ
Ejercicio 3.7. Ejercicio 1, Hoja Riesz.
(i). Para cada y = (bn )n l2 , se dene

X
Ty : x = (an )n l2 7 Ty x := an bn .
Probar que Ty l20 .

(ii). Sea T : y l2 7 T (y) := Ty l20 . Probar que es un isomorsmo topolgico.
desiguldad de Hlder: |an bn | ( |an |p )1/p ( |bn |q )1/q ,

P P P
Recordar, para este ejercicio, la si 1/p +
1/q = 1 (en partic., si p = q = 2).
P
Solucin: (i). Ya se ha visto que hx, yi := an bn es un producto escalar en l2 , y puesto que Ty x = hx, yi,
resulta que Ty es la aplicacin h, yi, que ya se ha visto que es operador acotado del dual.
(ii). T es operador por linealidad del producto escalar (notando que es un producto escalar real).
Por otra parte,
X X X 1/2 X 1/2
|Ty (x)| = | an bn | |an ||bn | |an |2 |bn |2 = kxkkyk,
Desig. Hlder
de donde kT yk kyk.
Podemos comprobar asimismo que es isometra:
X
Ty (y) = hy, yi = |bn |2 = kyk2 ,
de donde kyk2 = |Ty (y)| kTy kkyk kyk kT yk.

Falta ver (ya que la inyectividad viene dada por la isometra) que es sobreyectiva, lo cual es una
consecuencia directa de Riesz: si x0 l20 existe un representante z l2 de manera que x0 (x) =

hx, zi = Tz (x) x l2 .
Por ltimo, tiene inversa continua por ser isometra.
p
P
Observacin: Habamos visto que lp := {(n )n : n |n | convergente} es un espacio normado con
kxk := ( n |n |p )1/p .
P
Y se haba establecido que esta norma no verica la identidad del paralelo-
gramo, de modo que no da lugar a un producto escalar. En cambio, tomando q tal que 1/p+1/q = 1,
y siendo x lp .y lq , sepuede comprobar que
X
0
Ty : x = (n )n lp 7 Ty x := n n es un operador de lp , y
EJERCICIOS. 47
X
0
Sx : y = (n )n lq 7 Sx y = n n es un operador de lq .
La demostracin es fcil, usando Hlder.
Adems, deniendo T : y lq 7 T (y) := Ty lp0 , se puede comprobar sin dicultad que es
una isometra, y tambin que es sobreyectivo (aunque sin Riesz, la demostracin es mucho ms
laboriosa). O sea, que T es un isomorsmo topolgico isomtrico entre lq y lp .

0
Por el mismo razonamiento, S : x lp 7 S(x) := Sx lq0 es un isomorsmo topolgico entre lq y
lp0 .
Esto nos permite probar, sin dicultad, que lp es reexivo. En efecto, sea x00 lp00 . Tomamos
x= S 1 T 0 (x00 )
T0 S 1
lp00 lq0 lp ,
y vemos sin dicultad que Jx(x0 ) = x00 (x) :
X
x00 (x0 ) = x00 (T y) = T 0 x00 (y) = Sx(y) = n n ,
(para algn y ) n
X
Jx(x0 ) = x0 (x) = T y(x) = n n .
n
(i). Siendo H Hilbert, probar que lo es H 0, usando Riesz.
(ii). Con Riesz y el apartado (i), probar que H es reexivo.
Solucin: (i). Siendo x0 , y 0 H 0 , consideramos x, y H , sus respectivos representantes (existen y son
nicos, por Riesz) y denimos el producto escalar
hx0 , y 0 i := hy, xi.
Veamos que es un producto escalar. (a). hx0 , x0 i = hx, xi = kxk2 = kx0 k2 0, con igualdad sii
x0 = 0.
0 0 0 0 0 0 0
(b). hx + y , z i = hz, x + yi = hz, xi + hz, yi = hx , z i + hy , z i, a falta de ver que si x, y son los
0 0 0 0
representantes de x , y , entonces x + y es el de x + y , lo cual es consecuencia de que
(x0 + y 0 )(z) = x0 (z) + y 0 (z) = hz, xi + hz, yi = hz, x + yi, z H.
(c). hx0 , y 0 i = hy, xi = hy, xi = hx0 , y 0 i, a falta de ver que x es el representante de x0 , lo
cual es inmediato notando:
(x0 )(z) = (x0 (z)) = hz, xi = hz, xi.
Entonces, H0 es pre-Hilbert, y por ser Banach es Hilbert.
(ii). Un Hilbert siempre es reexivo: siendo x00 H 00 , por ser H0 Hilbert, admite un representante
x0 H 0 . A su vez, por ser H Hilbert, x0 admite un representante x H. Veamos JH x = x00 : sea
y 0 H 0 y sea y H su representante:
x00 (y 0 ) = hy 0 , x0 i = hx, yi = y 0 (x) = JH x(y 0 ).
SeaH Hilbert, M un subespacio cerrado de H , m0 M 0 . Sabemos (Hahn-Banach) que existe una extensin
x H 0 , de modo
0 que x0 |M = m0 y kx0 k = km0 k. Probar que dicha extensin es nica, usando Riesz.
Solucin: M es Hilbert por ser un subespacio cerrado de un Hilbert. Entonces, existen nicos x H ,
m M , representantes de x0 en H y de m0 en M , respectivamente. Ahora bien, veamos que x = m,
de donde la unicidad es inmediata.
Si y M , x0 (y) = m0 (y), de donde
0 = x0 (y) m0 (y) = hy, xi hy, mi = hy, x mi.
Y como esto es cierto y M , se tiene que x m M , de modo que m = PM x. Entonces,
x = m + x2 ,
con x2 M , y notando que kxk = kx0 k = km0 k = kmk,
kxk2 = km + x2 k2 = kmk2 + kx2 k2 = kxk2 + kx2 k2 ,
de donde x2 = 0.
HOJA OPERADOR ADJUNTO
Ejercicio 3.10. Ejercicio 2, hoja Operador Adjunto
Sean E, F Hilbert, T L(E, F ). Probar:

(i). N (T ) = N (T T ).
(ii). R(T ) = R(T T ).
(iii). Si uno de los cuatro espacios siguientes es cerrado: R(T ), R(T ), R(T T ), R(T T ), entonces lo son
los otros tres.
Solucin: (i). T x = 0 T (T x) = T (0) = 0, luego N (T ) N (T T ). Por otra parte, si T T x = 0,

entonces
0 = h0, xi = hT T x, xi = hT x, T xi = kT xk2 T x = 0 N (T T ) N (T ).
(ii). R(T ) = N (T ) = N (T T ) = R(T T ), notando que (T T ) = T T = T T .

(iii). Ya visto: R(T ) cerradoR(T ) cerrado. Ahora, si R(T ) es cerrado en Hilbert, lo es R(T )

y F = R(T ) R(T ) = R(T ) N (T ). As,
R(T ) = T F = T R(T ) + T N (T ) = T R(T ) = {T T x : x E} = R(T T ),
de modo que R(T T ) es cerrado. Recprocamente, si es cerrado R(T T ), entonces
R(T ) R(T ) = R(T T ) = R(T T ) R(T ).
Anlogo para R(T T ).

Ejercicio 3.11. Ejercicio 3, hoja Operador Adjunto
Probar de dos formas diferentes que si T L(E) (con E Hilbert) es normal (esto es, T T = T T ),
entonces N (T ) = N (T 2 ) = N (T ).
Solucin: (1).
T x = 0 hT x, T xi = 0 hT T x, xi = 0 hT T x, xi = 0 hT x, T xi = 0 T x = 0,
EJERCICIOS. 49
y por otra parte, N (T ) N (T 2 ), obviamente, y para el otro contenido si 0 = T 2 x = T (T x),

tenemos que
T x R(T ) N (T ) = R(T ) N (T ) = R(T ) R(T ) = {0}.
(2). Del hecho de que kT xk = kT xk, x E si T es normal se saca que N (T ) = N (T ). Adems,
kT 2 xk = kT (T x)k = kT T xkx,
de donde N (T 2 ) = N (T T ) = N (T ), segn el ejercicio 3.10.
Ejercicio 3.12. Tutora grupal.
1. Siendo E un Hilbert complejo, suponemos cierto lo siguiente:
hT x, xi = 0, x E T 0.
Probar, entonces:
a) T autoadjunto (i.e. T = T ) si y solo si hT x, xi R x E .

b ) T normal si y solo si kT xk = kT xk, x E .
2.

Si T es un isomorsmo topolgico, probar que lo son T , T T, T T .

3.
0
Probar que (T ) (T ) (T ) (con T L(E)).
2
Y que kT k = sup{|| : (T T )}.

4.
n
Si R(T ) cerrado para todo n, entonces asc(T ) = des(T ), y asc(T ) = des(T ).
5. Si T L(E), se puede descomponer de forma nica como T = A + iB , siendo A, B autoadjuntos.

2 2
Adems, T normal si y solo si AB = BA, y unitario si y solo si AB = BA y A + B = I .
Denicin: Si T L(E), N (T ) N (T 2 ) N (T 3 ) ... Si esta cadena de ncleos para

notemos que
n
en algn sitio, el menor n tal que N (T ) = N (T
n+1 ) se llama ascendente de T , asc(T ).
Del mismo modo R(T ) R(T ) R(T ) ... y, si para, se llama descendiente de T , des(T ),
2 3
m
al menor m tal que R(T ) = R(T
m+1 ).
Solucin: 1. (a). Una implicacin es trivial: si T es autoadjunto,
hT x, xi = hx, T xi = hx, T xi = hT x, xi hT x, xi R.
Recprocamente, si hT x, xi R para todo x, tenemos(
hT x, xi = hT x, xi = hx, T xi = hT x, xi,
luego h(T T )x, xi = 0 para todo x, y por la hiptesis T T 0.

(b). Si T es normal,
kT xk2 = hT x, T xi = hT T x, xi = hT T x, xi = hT x, T xi = kT xk2 .
Recprocamente, si se cumple lo segundo,
hT T x, xi = hT x, T xi = kT xk2 = kT xk2 = hT x, T xi = hT T x, xi,
de donde T T T T 0.
2. Si T es biyectivo, lo es T :
0 = N (T ) = R(T ) ,
de donde R(T ) = E , y adems R(T ) cerrado. Anlogamente,

N (T ) = R(T ) = {0}.
Adems tiene inversa continua por ser una biyeccin. TT y T T lo son por ser composicin de
dos isomorsmos topolgicos.
3. Si T es un isomorsmo topolgico lo es ( T )0 = T 0 y lo es ( T ) = T . Adems,

0
si lo es ( T ) , lo es T .
0
Basta probar T isom top T isom. top T isom. top T isom top.
0
Lo primero es el apartado anterior. Lo segundo es porque R(T ) = FE R(T ) = FE E = E ,
0
N (T 0 ) = FE N (T ) = FE {0} = {0}.
0
Lo tercero es porque, si T es isomorsmo topolgico, lo ser T
00 y entonces tambin lo ser
T = JE T 00 .

Por ltimo, del hecho de que (T T ) = T T , o sea, que T T es autoadjunto, tenemos que
kT k2 = kT T k = sup{|| : (T T )}.
4. Si R(T n ) es cerrado, y del hecho (T )n = (T n ) , tenemos que N ((T )n ) = R(T n ), de donde
el resultado es inmediato.
5. Si
T L(E), supongamos que T = A + iB para ciertos A, B autoadjuntos. Entonces, T =
A + iB = A iB . Tomando entonces

T + T T T T T
A= ,B = = ,
2 2i 2
notando que son autoadjuntos, ya tenemos una descomposicin. Y la unicidad es por construccin.
Ahora,
T T = (A + iB)(A iB) = A2 + iBA iAB + B 2 ,

T T = (A iB)(A + iB) = A2 iBA + iAB + B 2 ,
y ambas expresiones son iguales sii AB = BA. Adems, en ese caso T T = T T = A2 + B 2 ,
unitario sii A2 + B 2 = I .
Captulo 4
Operadores autoadjuntos y normales.

4.1. Operadores autoadjuntos. Primeras propiedades.
4.1.1. Observacin. Si T L(E, F ), donde E, F Hilbert sobre C, resulta que
kT k = sup{|hT x, yi| : kxk = kyk = 1}.
En efecto, recordemos que kT k = sup{kT xk : kxk = 1}. Si kxk = kyk = 1,
|hT x, yi| kT xkkyk kT kkxkkyk = kT k,

C-S
y por otra parte, si kxk = 1,

Tx
kT xk2 = hT x, T xi kT xk = |hT x, i| sup{hT x, yi : kxk = kyk = 1}.
kT xk
4.1.2. Deniciones. Sea E Hilbert. Entonces T L(E) se dice:
Autoadjunto si T = T . En este caso se denota T A(E).

Normal si T T = T T .
Unitario si T T = T T =I (donde I es el operador identidad).
4.1.3. Propiedades. (i). Si T A(E), hT x, xi R, x E , del hecho de que
hT x, xi = hx, T xi = hx, T xi = hT x, xi.
Esto nos permite denir los operadores positivos , aquellos autoadjuntos tales que hT x, xi 0, x. Se
denota T A+ (E) T 0. Tambin se puede denir en A(E) una relacin de orden parcial :
T S T S positivo.
(ii). Sean T, S A+ (E) tales que T S = ST . Entonces, T S A+ (E).

(iii). Sea (Tn )n A(E) creciente en el sentido de (i.e., Tn+1 Tn A+ (E) ) tal que est acotada
superiormente por S A(E) y con conmutatividad en todo ello (Ti Tj = Tj Ti , Ti S = STi ). Entonces existe
* s
un lmite fuerte o puntual , Tn T A(E).
n
(iv). Si T 0, existe S0 tal que S2 = T.
Nota: las demostraciones de (ii), (iii), (iv) estn esquematizadas en clase, pero no las transcribo aqu
porque no las entend muy bien y raro sera que entraran estando a medias.
*T x T x x
n
51
52 4. OPERADORES AUTOADJUNTOS Y NORMALES.
4.2. Propiedades espectrales de los autoadjuntos.
Recordemos que, si E Banach, siendo T L(E), se denen
El resolvente de T:
(T ) := { K : T := I T es isomorsmo topolgico}
El espectro de T:
(T ) := K\(T ).
Entendemos por T el operador I T : x 7 x T x.
Ahora, sea E un espacio de Hilbert complejo, y T A(E).
4.2.1. (i). (T ) = (T ), (T ) es el espectro puntual aproximado ,

donde

p (T ) i.e., T no es inyectiva.

(T )

( T )1 , pero no es continua.

(ii). Adems, (T ) R.
Demostracin: (i). Basta que (T ) = C\(T ). El primer contenido es obvio: si (T ), T es
isomorsmo: en particular es inyectivo y tiene inversa continua, luego

/ (T ).
Recprocamente, sea / (T ). Entonces, T tedr que ser inyectivo y con inversa continua.
Para ver que (T ), basta ver la sobreyectividad de T . Ahora bien: puesto que ( T )
1
continua, sabemos que R(T ) es cerrado. Adems, sabemos que N (T ) = {0} por inyectividad
y que
( T ) = T = T.
Entonces, notando que
R( T ) = R( T ) = N (( T ) ) = N ( T ) ,
basta probar que N ( T ) = N ( T ) = {0} para que la demostracin est completa. Y ,en efecto,
k( T )xk2 = h( T )x, ( T )xi = h( T )x, ( T )xi = k( T )xk2 ,

()
de donde ( T )x = 0 ( T )x = 0.
()
h( T )x, ( T )xi = hx, xi hx, T xi hT x, xi + hT x, T xi

= hx, xi hT x, xi hx, T xi + hT x, T xi
= h( T )x, ( T )xi.

(ii). Para ver que es subconjunto de R, basta ver que si = a + ib con b 6= 0, entonces
/ (T ),
o sea, que T es inyectiva y con inversa continua. En efecto:
Lema : S L(E) es inyectiva y con inversa continua si y solo si existe > 0, kxk kSxk,
x E:
Dem. () Existe > 0 tal que kxk = kS 1 Sxk kSxk y sea := 1/; () Si Sx = 0,
4.2. PROPIEDADES ESPECTRALES DE LOS AUTOADJUNTOS. 53
0 = kSxk kxk x = 0. S es inyectiva, luego tiene inversa. Adems, es continua porque

1
kS 1 (Sx)k = kxk kSxk.

Apliquemos este lema a T . Sea = |b| > 0. Entonces,
h( T )x, xi = hx, xi hT x, xi = (a + ib)hx, xi hT x, xi

h( T )x, xi = hx, xi hT x, xi = (a ib)hx, xi hT x, xi
Restando,
2i|b|hx, xi = 2i Im(h( T )x, xi),

de donde
|b|kxk2 = Im(h( T )x, xi) |h( T )x, xi| k( T )xkkxk.

C.-S.

m := nf{hT x, xi : kxk = 1}
T
4.2.2. (T ) [mT , MT ], donde
MT := sup{hT x, xi : kxk = 1}.
Demostracin: Sea (T ) R. Supongamos mT > , mT > 0 y lleguemos a la contradiccin de

que
/ (T ), i.e., que T tiene una inversa continua. En efecto, es inmediato al comprobar
que
(mT )kxk k( T )xk, x E,

x x
y aplicando el lema anterior con = mT > 0. Comprobmoslo: por denicin mT hT , ix,
kxk kxk
de donde mT kxk2 hT x, xix. As,
(mT )kxk2 = mT kxk2 kxk2 = mT hx, xi hx, xi

hT x, xi hx, xi = |h(T )x, xi| k( T )xkkxk.
La demostracin es anloga para ver que MT .
4.2.3. Adems, mT , MT (T ).
Demostracin: Usemos la Desigualdad de Cauchy-Schwarz Generalizada :
|hSx, yi|2 hSx, xi hSy, yi,
cuya prueba se deja como ejercicio.
Del hecho de que

x x
hT x, xi = kxk2 hT , i kxk2 mT = mT hx, xi,
kxk kxk
se tiene que h(T mT )x, xi 0, x, de modo que T mT A+ (E).
Por otra parte, por def. de nmo, existe una sucesin (xn )n E , kxn k = 1, tal que hT xn , xn i

n
mT .
Ahora, usando la desig. C-S generalizada,
|h(T mT )xn , (T mT )xn i|2 h(T mT )xn , xn i h(T mT )(T mT )xn , (T mT )xn i,
de donde
kT mT k4 h(T mT )xn , xn ikT mT k3 kT mT k h(T mT )xn , xn i.
Se dan dos casos: (1).kT mT k = 0. en este caso, sup{k(T mT )xk : kxk = 1} = 0 y (T mT )x 6=

0 x, de donde la aplicacin no es inyectiva y por tanto mT (T ) = (T ).
(2). kT mT k =
6 0 . En este caso, h(T mT )xn , xn i = hT xn , xn i mT hxn , xn i
mT mT = 0,
| {z } n
=1
luego kT mT k
0. Ahora bien, si T mT tiene inversa continua, existe > 0, kxk
n
k(T mT )xk para todo x E, lo cual es una obvia contradiccin. As que mT (T ) = (T ).
Se demuestra anlogamente para MT .
4.2.4. Adems, kT k = max{|| : (T )} = max{|mT |, |MT |}.

Demostracin:
Lema. kT k = sup{|hT x, xi| : kxk = kxk = 1}. (Luego lo vemos).
Por denicin de supremo existe una sucesin (xn )n , con kxn k = 1 n, de modo que hT xn , xn i

n
kT k. En particular, (|hT xn , xn i|)n es una sucesin acotada en R, de modo que tiene alguna subsu-
cesin convergente,
|hT an , an i|
||.
n
Claramente, por unicidad, || = kT k y basta ver que (T ) y que || es mximo.
(T ). Si no, existe ( T )
1 continua y existe entonces > 0, kxk k( T )xk, x E .
Particularizando para (an )n ,
k( T )an k, n.
Pero entonces,
k( T )an k2 = h( T )an , ( T )an i = 2 kan k2 han , T an i hT an , an i + kT an k2

= 2 2hT an , an i + kT an k2 2 2hT an , an i + kT k2 2 + kT k2 = 0,
n
que se contradice con k( T )an k, n. As, (T ).

Ahora, falta ver que || |0 |, 0 (T ) para ver que es mximo. Pero es inmediato del hecho,
ya visto, de que
(T ) {0 K : |0 | kT k = ||}.
De aqu, es inmediato que kT k = max{mT , MT }.
Demostracin del Lema: una de las desigualdades es inmediata puesto que, si kxk = 1,
|hT x, xi| kT xkkxk kT kkxk2
= kT k.
Por otra parte, sea := sup{|hT x, xi| : kxk = 1} y veamos que kT k . Sabemos que
kT k = sup{|hT x, yi| : kxk = kyk = 1}.
Ahora, sean x.y E . Tenemos que
hT (x + y), x + yi = hT x, xi + hT x, yi + hT y, xi + hT y, yi
4.2. PROPIEDADES ESPECTRALES DE LOS AUTOADJUNTOS. 55
hT (x y), x yi = hT x, xi hT x, yi hT y, xi hT y, yi
Restando,
hT (x + y), x + yi hT (x y), x yi = 2hT x, yi + 2hT y, xi

= 2hT x, yi + 2hy, T xi = 2hT x, yi + 2hT x, yi
= 4Re(hT x, yi).
(Rellenar esta demostracin cuando tenga un rato. Demasiado enrevesada para que entre).
4.3. Proyeccin en un espacio de Hilbert.
4.3.1. Denicin. Una proyeccin P es un operador autoadjunto P L(E) que verica P2 =

P = P .
Notar que una proyeccin es un operador positivo porque
hP x, xi = hP 2 x, xi = hP x, P xi = hP x, P xi = kP xk2 0.
4.3.2. Proposicin. (1). Siendo M un subespacio cerrado de E, la proyeccin ortogonal PM de-

2
nida en 3.3.1 es un operador autoadjunto y positivo tal que PM = PM , esto es, una proyeccin.
Demostracin: La idempotencia ya se vio en 3.3.1. Basta ver que es autoadjunto, i.e., hPM x, yi =
hx, PM yi, x, y E . En efecto, por el Teorema de Proyeccin se puede escribir
E = M M , x = x1 [ M ] + x2 [ M ], y = y1 [ M ] + y2 [ M ],
de donde
hPM x, yi = hPM (x1 + x2 ), y1 + y2 i = hx1 , y1 + y2 i = hx1 , y1 i + hx

1 , y2 i
= hx1 , y1 i,
| {z }
x1 M,y2 M
hx, PM yi = hx1 + x2 , PM (y1 + y2 )i = hx1 + x2 , y1 i = hx1 , y1 i.

(2). Recprocamente, cualquier proyeccin es proyeccin ortogonal de algn subespacio cerrado.
Demostracin: Sea P :EE tal que P 2 = P = P . Entonces, R(P ) es cerrado, porque
P 2 = P P 2 P = 0 P (I P ) = 0,
luego
y R(P ) y = P x, x E 0 = P (I P )x = P (x P x) = P (x y) = P x P y = y P y = (I P )y
y N (I P ),
yN (I P ) es cerrado por continuidad de I P. As, N (P ) = N (P ) = R(P ) , y P = PM donde
M = R(P ).
Observacin: Notar que P |R(P ) = IR(P ) , esto es, si y R(P ), entonces y = Px para algn x, luego
P y = P (P x) = P 2 x = P x = y.
4.3.3. Producto o composicin de proyecciones. Siendo E Hilbert, P1 , P2 L(E) proyec-

ciones, se tiene que P1 P2 es proyeccin si y solo si conmutan (i.e. P1 P2 = P2 P1 ). Adems, en este caso,
R(P1 P2 ) = R(P1 ) R(P2 ).
Demostracin: Si P1 P2 P1 P2 = (P1 P2 ) = P2 P1 = P2 P1 .
es proyeccin,
Recprocamente, si P1 P2 = P2 P1 , veamos que P := P1 P2 es una proyeccin. Es un operador
acotado por ser composicin de acotados. La idempotencia viene de que
(P1 P2 )2 = P1 P2 P1 P2 = P1 P1 P2 P2 = P12 P22 = P1 P2 .

| {z }
4.3. PROYECCIN EN UN ESPACIO DE HILBERT. 57
Y , nalmente, es autoadjunto:
hP x, yi = hP1 (P2 x), yi = hP2 x, P1 yi = hx, P2 (P1 y)i = hx, P1 P2 yi = hx, P yi.
Para probar lo ltimo, si y R(P1 P2 ), se tiene que
y = P1 P2 x = P1 (P2 x) R(P1 )
= P2 (P1 x) R(P2 ),
luego y R(P1 ) R(P2 ), y el otro contenido es trivial.
4.3.4. Suma de proyecciones. Sean P1 , P2 proyecciones. P1 +P2 es proyeccin si y slo si R(P1 )R(P2 ).
Adems en este caso R(P1 + P2 ) = R(P1 ) R(P2 ).
Demostracin: Si P := P1 + P2 es proyeccin,
0 k(P1 + P2 )xk2 = h(P1 + P2 )x, (P1 + P2 )xi = h(P1 + P2 )2 x, xi

= h(P1 + P2 )x, xi = |h(P1 + P2 )x, xi| k(P1 + P2 )xkkxk,
C.-S.
de donde k(P1 + P2 )xk kxk. Ahora, si x R(P1 ), sea yE tal que x = P1 y . Entonces,
kP1 yk2 + kP2 P1 yk2 = kP12 yk2 + kP2 (P1 y)k2 = kP1 xk2 + kP2 xk2
idemp. P1 (P1 y)=P1 x
= hP1 x, P1 xi + hP2 x, P2 xi = hP1 x, xi + hP2 x, xi = h(P1 + P2 )x, xi

= k(P1 + P2 )xk2 kxk2 = kP1 yk2 ,
de donde kP2 P1 yk = 0, y . De manera anloga se ve que kP1 P2 yk = 0, y . As, P1 P2 = P2 P1 = 0

y, por lo anterior,
0 = R(P1 P2 ) = R(P1 ) R(P2 ) R(P1 )R(P2 ).
Recprocamente, si R(P1 )R(P2 ), veamos que P1 + P2 es proyeccin: es operador acotado, por ser
suma de operadores acotados. Es idempotente, porque, puesto que R(P1 ) R(P2 ) = N (P2 ), se
tiene que P2 (P1 x) = 0, x y anlogamente P2 (P1 x) = 0, x, de donde
(P1 + P2 )2 x = P12 x + P1 P2 x + P2 P1 x + P22 x = P1 x + P2 x = (P1 + P2 )x.
Finalmente, es autoadjunto porque (P1 + P2 ) = P1 + P2 = P1 + P2 .
Para la ltima parte, notemos que R(P ) := R(P1 + P2 ) es cerrado y veamos que R(P ) := R(P1 )
R(P2 ): sea x = x1 + x2 R(P1 ) + R(P2 ), y sean y1 , y2 tales que P1 y1 = x1 , P2 y2 = x2 . Con
y := y1 + y2 ,
(P1 + P2 )y = P1 y + P2 y = P1 (y1 + y2 ) + P2 (y1 + y2 )

= P1 y1 +
P1
y
2 +
P2
y
1 + P2 y2 = x1 + x2 = x,
de donde x R(P ), y el otro contenido es trivial.

4.3.5. Diferencia de proyecciones. Siendo P1 , P2 proyecciones: P2 P1 es proyeccin si y slo si
R(P1 ) R(P2 ). Adems, en este caso, R(P2 ) = R(P1 ) R(P2 P1 ).

Demostracin: Si R(P1 ) R(P2 ), sea P := P2 P1 . En un operador acotado por ser suma de operadores
acotados. Es idempotente: notemos que
(P1 P2 )2 = P12 P2 P1 P1 P2 + P22 = P1 + P2 P2 P1 P1 P2 .
Ahora bien, si x E , P2 (P1 x) := P2 y = y = P1 x.** Entonces,
P2 P1 = P1 y P1 P2 = P1 P2 = (P2 P1 ) = P1 = P1 .
Total que lo anterior queda P1 + P2 P1 P1 = P2 P1 y la idempotencia queda demostrada.
Falta ver que es autoadjunto, lo cual es inmediato del hecho de que (P2 P1 ) = P2 P1 = P2 P1 .
Recprocamente, si P2 P1 es proyeccin:
En primer lugar
x E, 0 h(P2 P1 )x, xi = hP2 x, xi hP1 x, xi,
de donde P1 P2 . Adems, se comprueba con las mismas que kP1 xk kP2 xk.
Por otra parte, kP2 k = 1: en efecto, por ser E un hilbert, R(P2 ) cerrado, se tiene que
E = R(P2 ) R(P2 ) ,
de modo que si x E , x = y[ R(P2 )] + z[ R(P2 ) ], y
kP2 xk2 = kP2 (y + z)k2 kyk2 + kzk2 = kxk2 ,
siendo esta ltima igualdad porque
hy + z, y + zi = hy, yi +
hy,zi
+ hz,yi

+ hz, zi.
As,kP2 xk kxk y kP2 k 1. Recprocamente, si x R(P2 ), P2 x = P2 (P2 y) = P2 y = x, de
donde, si x R(P2 ) con kxk = 1, entonces kP2 xk = 1, luego kP2 k 1.
Por ltimo, R(P1 ) R(P2 ): sea y R(P1 ). Entonces y = P1 y , de donde
kyk = kP1 yk kP2 yk kP2 kkyk = kyk kyk = kP2 yk.
Adems, y = P2 y+yP2 y con P2 y R(P2 ) y yP2 y R(P2 ) dado que E = R(P2 )R(P2 ) .
De aqu se tiene
kyk2 = hy, yi = hP2 y + y P2 y, P2 y + y P2 yi = hP2 y, P2 yi + hy P2 y, y P2 yi

= kP2 yk2 + ky P2 yk2 = kyk2 + ky P2 yk2 ,
de donde y P2 y = 0 y por tanto y = P2 y R(P2 ).
Falta ver que R(P2 ) = R(P1 ) R(P2 P1 ). En efecto, si y R(P2 ), entonces y = P2 y =

P1 y + P2 y P1 y R(P1 ) + R(P2 P1 ).
Por otra parte, P := P2 P1 = P2 P2 P1 = P2 (I P1 ), luego R(P ) = R(P2 ) R(I P1 ) =
R(P2 ) R(P1 ) . De aqu,

R(P ) R(P1 ) = R(P2 ) R(P1 ) R(P1 ) = R(P2 ) {0} = {0}.
** Esto ltimo es porque y R(P1 ) R(P2 ), luego y = P2 z para algn z y P2 y = P2 (P2 z) = P2 z = y .
4.3. PROYECCIN EN UN ESPACIO DE HILBERT. 59
4.3.6. Lmite creciente de proyecciones. Sea (Pn )n una sucesin creciente (en el sentido de
para los operadores positivos) de proyecciones. Entonces,

s S T
(i). Pn P , proyeccin; (ii). R(P ) = n R(Pn ); (iii). N (P ) = n N (Pn ).
n
Demostracin: (i). (Pn )n es una sucesin creciente y acotada por la identidad. Ya sabemos que existe
un lmite, y que es un operador positivo y la idempotencia es por la continuidad del producto
(P P = lmn Pn Pn = lmn Pn = P ).
(ii) y (iii). No tienen dicultad.
4.4. Operadores normales y unitarios.
4.4.1. Proposicin. Siendo E Hilbert, T L(E) es unitario si y solo si es una isometra suprayec-
tiva.
Demostracin: Si T es unitario, es isometra porque
kT xk2 = hT x, T xi = hT T x, xi = hx, xi = kxk2 .
La sobreyectividad viene de que, x E , x = Ix = T (T x).

Recprocamente, si es isometra suprayectiva, en primer lugar para todo x E , kT xk2 = kxk2 ,
luego
hT T x, xi = hx, xi,
de donde T T = I . Por otra parte,
T T = T T I = (T T )(T T 1 ) = T (T T )T 1 = T T 1 = I.
Observacin: En particular, un operador unitario es biyectivo (isometra implica inyectivo).
4.4.2. Ejemplo de operador unitario: U : (x, y) E E 7 (y, x) E E es un operador
unitario pero no autoadjunto.
En efecto:
Isometra: kU (x, y)k = k(y, x)k = k yk + kxk = kyk + kxk = k(x, y)k.
Sobreyectivo: Obviamente, todo (x, y) E E tiene una antiimagen (y, x).

No es autoadjunto: por ser unitario, U = U
1 y la aplicacin inversa de U ya hemos visto que es
(x, y) 7 (y, x), que no es igual a U .
4.4.3. Ejemplo de operador unitario: la Transformada de Cayley. Dado un operador T

L(E) autoadjunto, se llama transformada de Cayley de T a
U := (T iI)(T + iI)1 ,
y es un operador unitario.
En efecto:
Es operador acotado, del hecho de que T iI y T + iI son isomorsmos topolgicos (por ser T
autoadjunto, i
/ R).
La suprayectividad viene dada del hecho de que T iI, T + iI sean sendos isomorsmos.
Para ver que es una isometra, notemos que k(T iI)yk2 = k(T + iI)yk2 :
h(T iI)y, (T iI)yi = hT y iy, T y iyi = hT y, T yi

ihTy,
yi

+
ihTy,
yi

+ hiy, iyi
= h(T + iI)y, (T + iI)yi.
Con esto, siendo y := (T + iI)1 x,
kU xk2 = k(T iI)(T + iI)1 xk2 = k(T iI)yk2 = k(T + iI)yk2 = kxk2 .
4.4.4. Propiedades espectrales de los operadores normales.
1. (T ) = (T ), aunque en general (T ) * R.
2. En general, hT x, xi
/ R.
3. kT k = RT := sup{|hT x, xi| : kxk = 1} (aqu hay que poner el mdulo atendiendo a que hT x, xi
C).
4.4. OPERADORES NORMALES Y UNITARIOS. 61
4. Adems, kT k = max{|| : (T )}.
Demostracin: (1), (4) se demuestran de manera idntica al caso autoadjunto, y (3) tiene ms chicha:
1. Si existe ( T )1 continua, para ver que es isomorsmo basta ver que T es suprayectiva:
ahora bien, N ( T ) = {0} y adems por ser ( 1
T ) continua tenemos que R( T ) es
cerrado. Basta entonces demostrar que N (( T ) ) = N ( T ), porque as
R( T ) = {0} R( T ) = E.
Y en efecto, notemos que T es normal:
( T )( T ) = T T + T T = ( T ) ( T ),
|{z}
=T T
y N (( T ) ) = N ( T ) es inmediato del hecho de que si S es normal kSxk2 = kS xk2 .

Un ejemplo de que el espectro no es real es U (x, y) = (y, x): notemos que
(i U )(x, y) = (ix, iy) (y, x) = (y + ix, x iy),
luego si (i U )(x, y) = (0, 0), necesariamente x = y = 0, as que iU es inyectiva, de donde
i p (U ).
2. Por ejemplo, tomando U (x, y) = (y, x), tenemos
hU (x, y), (x, y)i = h(y, x), (x, y)i = hy, xi + hx, yi = 2iImhx, yi.
3. Lema. Si T normal, (i). kT 2 k = kT T k = kT k2 (del hecho de que kT (T x)k = kT (T x)k por
ser T normal );
(ii). kT k 2RT , (iii). RT 2 (RT )2 . En efecto, por la identidad del paralelogramo, haciendo
cuentas:
kT xk2 + |hT 2 x, xi| 2RT kT xk, si kxk = 1,

de donde kT xk2 kT xk2RT kT xk 2RT , si kxk = 1, lo cual demuestra (ii)., y
(kT xk RT )2 RT2 2RT kT xk |hT 2 x, xi|
(kT xk RT )2 + |hT 2 x, xi| RT2 |hT 2 x, xi| RT2 si kxk = 1,

lo cual demuestra (iii).
n n
Visto el lema: se compruebapor induccin a partir de (i) que kT 2 k = kT k2 , de donde
2n /2n 2n 1/2n 1/2n 1/2n

kT k = kT k = kT k 2 (RT 2n )
1/2n 2n 1/2n 1/2n
= 2 (RT ) =2 RT , n,
de donde kT k RT y la otra desigualdad es inmediata por Cauchy-Schwarz.
4. Por ser (T ) compacto, |.| continua, basta ver
kT k = sup{|| : (T )}.
Ahora bien, (3) nos garantiza que existe (xn ), kxn k = 1, tal que |hT xn , xn i| RT = kT k.
Ahora, por ser (hT xn , xn i)n K una sucesin acotada, tiene una subsucesin convergente,
hT an , an i K. Obviamente || = kT k y basta ver que (T ) = (T ). Si no, existe
( T )1 continua, de donde
> 0, kxk k( T )xk, x E.

En particular, k( T )an k, de donde se llega a la contradiccin siguiente:
0 < k( T )an k2 = ||2 hT an , an i han , T an i + kT an k2 0.

Captulo 5
Operadores compactos en espacios de Hilbert.

5.1. Sobre el captulo.
5.1.1. Denicin. Siendo E, F Banach, T L(E, F ) se dice que es compacto y se denota T

Co(E, F ) si para cada sucesin (xn )n E acotada existe una subsucesin (ak )k (xn )n tal que (T ak )
converge en F.
Se denota por Co a la clase de todos los operadores compactos.
Este captulo se centrar en demostrar las siguientes propiedades sobre los operadores compactos.
5.1.2. Propiedades.
1. Co verica que:
a) Fi Co, siendo Fi (E, F ) := {T L(E, F ) : dim R(T ) < }.

b) S, T Co(E, F ) T + S Co(E, F ).
T S
c) E
F G, con T L(E, F ), S Co(F, G), T Co(E, F ), S L(F, G). Entonces,
ST Co(E, G).
En algunos textos por vericar lo anterior se dice que Co es un ideal de operadores en el
sentido de Piestch .
2. Es un ideal de operadores completamente simtrico, esto es, en Banach, T Co(E, F ) T 0
Co(F 0 , E 0 ), T Co(E, F ) T Co(F, E).
y en Hilbert
3. Es un ideal cerrado, esto es, si (Tn )n Co(E, F ) y Tn T , entonces T Co(E, F ).
4. Alternativa de Fredholm. Siendo T Co(E), K\{0}, se tiene que

a ) T es un operador de Fredholm , esto es:
1) dim N ( T ) < ,
2) R( T ) subespacio cerrado,
3) codimR( T ) := dim(E/R( T )) < ,
y de ndice 0, donde i( T ) := dim N ( T ) codimR( T ).
(Notar que en particular T inyectivo si y solo si sobreyectivo).
b ) Adems, asc( T ) = des( T ) < .
63
64 5. OPERADORES COMPACTOS EN ESPACIOS DE HILBERT.
5.2. Demostraciones de (1), (2) y (3).
Demostracin (1). (a). Propuesto como ejercicio.

(b). Si (xn )n es una sucesin acotada, sea (an ) San u F . Ahora bien,
su subsucesin tal que
(an )n es tambin acotada y sea (bn )n su subsucesin tal que T bn v F . Pero tambin Sbn u, y
(T + S)bn u + v .
(c). Si S Co(F, G), T L(E, F ), si (xn ) acotada, lo es (T xn )n F y existir (T an )n , una subsucesin
tal que ST an v G.
Y si S L(F, G), T Co(E, F ), dada (xn )n acotada, se toma (an ) tal que T an u F , de modo que
ST an Su G .
Demostracin (2). (i). Si E, F Hilbert, T Co(E, F ) si y solo si T Co(F, E).

En efecto, si T Co(E, F ), dada (yn )n F acotada, tenemos que (T yn )n E es acotada, luego existe

una subsucesin (T bn )n (T yn )n tal que T T bn converge. Ahora bien,
kT bn T bm k2 = |hT (bn bm ), T (bn bm )i| = |hT T (bn bm ), bn bm i

kT T (bn bm )kkbn bm k kT T bn T T bm k2 0,
luego T bn es convergente en F . El recproco es del hecho T = T .

(ii). Si E, F Banach, T Co(E, F ) si y solo si T 0 Co(F 0 , E 0 ). (No se ver la demostracin, pero
tambin es cierto).
Demostracin (3). Sea kxn k , y dado > 0, sea n0 tal que si m n0 , kT Tm k <
(xn )n acotada,
. Ahora, jo m, existe una subsucesin (an )n (xn )n de modo que Tm an u F . Veamos que T an u:
kT an uk kT an Tm an k + kTm an uk kT Tm kkan k + kTm an uk

kT Tm k + kTm an uk < + ,
tomando n grande.
(Tengo dudas respecto a esta demostracin, porque me da la impresin de que la subsucesin (an ) cambiara
a medida que variamos el ).
PRELIMINARES. 65
5.3. La alternativa de Fredholm.
En esta seccin demostraremos lo siguiente:
Alternativa de Fredholm. Siendo T Co(E), K\{0}, se tiene que

1. T es un operador de Fredholm , esto es:
a) dim N ( T ) < ,
b ) R( T ) subespacio cerrado,
c ) codimR( T ) := dim(E/R( T )) < ,
y de ndice 0, donde i( T ) := dim N ( T ) codimR( T ).
(Notar que en particular T inyectivo si y solo si sobreyectivo).
2. Adems, asc( T ) = des( T ) < .
5.3.1. Observacin. La alternativa de Fredholm se puede resscribir de esta manera: Una y slo
una de estas alternativas es cierta: (i). T suprayectiva, (ii). T no inyectiva. Y si es cierta (ii),
puesto que T inyectivo si y solo si sobreyectivo, y dim N ( T ) < , se tiene que el nmero de
soluciones linealmente independientes de ( T )x = 0 es nito.
Preliminares.
5.3.2. Lema de Riesz. Siendo X un espacio normado y =

6 M ( X un subespacio cerrado propio,
jado (0, 1), se tiene que existe un x X con kxk = 1 tal que kx mk , m M .
Demostracin.: Para u X\M , 0 < d := d(u, M ) = nf mM ku mk, de modo que por denicin de
u m0
nmo, si > 0, existe m0 M tal que ku m0 k < d + . Ahora, sea x := , de norma
ku m0 k
1, y tenemos que
u m0 mku m0 k d
kx mk = k k := (0, 1),
ku m0 k d+
habida cuenta que m0 mku m0 k M . Basta entonces tomar = d(1/ 1).
5.3.3. Aplicacin del Lema de Riesz: caracterizacin de los espacios de dimensin nita:
dim E < si y solo si B E (0; 1) es un compacto.
Demostracin.: Siendo {x1 , ..., xr } una base ortonormal de E, es inmediato ver que la aplicacin
r
X
T : (1 , ..., r ) Kr 7 i xi
i=1
es un isomorsmo topolgico. Tiene inversa y es continua, y por tanto existe tal que kk
kT k, Kr .
Ahora, sea x BE (0; 1). Por sobreyectividad, x = T para algn y por lo anterior sabemos que
kk 1/ , de donde

BE (0; 1) T BKr (0; 1/) ,
y este ltimo conjunto es la imagen de una aplicacin continua por un compacto, o sea, un com-
pacto. Entonces BE (0; 1) es compacto por ser un cerrado contenido en un compacto.
Recprocamente, si BE (0; 1) es compacto, supongamos dim E = . Entonces, sea x1 E con

kx1 k = 1 y llamamos M1 := [x1 ], el subespacio generado por x1 . Es un subespacio cerrado y es
propio, luego se aplica Riesz: existe x2 E , kx2 k = 1, kx2 x1 k 1/2.
Ahora, llamo M2 := [x1 , x2 ] y existe x3 E de norma 1 tal que kx3 x2 k 1/2, kx3 x1 k 1/2.
Por induccin obtengo (xn )n B(0; 1). Al ser un compacto, habrde tener una subsucesin con-
vergente, lo cual se contradice obviamente con el hecho de que kxn xm k 1/2 si n > m.
5.3.4. Observacin. Este resultado nos permite demostrar con facilidad que F i(E, F ) Co(E, F )
(ejercicio).
Demostraciones.
5.3.5. Demostracin: dim N ( T ) < . (En las hiptesis de Fredholm).

Veamos que B := BN (.T ) (0; 1) es compacta: sea una sucesin (xn )n B , esto es, kxn k 1, xn
T xn = 0. Por ser T compacto, tiene una subsucesin (an )n (xn )n tal que T an u E . Pero entonces
1
tambin an = T an u, de modo que an u. Y como (xn )n tiene una subsucesin convergente, B es

compacto y dim N ( T ) < .
(Observemos que esta demostracin no requiere que E , sea Hilbert, slo Banach).
5.3.6. Demostracin: R( T ) es un cerrado. (En las hiptesis de Fredholm).
Por ser N ( T ) un cerrado en un Hilbert, existe su complemento topolgico,
E = N ( T ) N ( T ) =: N ( T ) M.
Notar que M es cerrado y por tanto Hilbert.
Considero la restriccin ( T )|M : M E. Es un operador acotado entre espacios de Hilbert, y es por
construccin inyectivo. Adems,
((
((
R(( T )|M ) = R(( T )|M ) + R(( N (T ) ) = R( T ),
(T()|( (
(
de modo que basta, para que R( T ) sea cerrado, que la restriccin ( T )|M tenga inversa continua.
yn D ( T |M )1 tal que

Inversa tiene por inyectividad. Si no es continua, para cada n existe
kyn k > nk( T )|M yn k.

yn
Tomemos mn := , una sucesin de norma 1 que, de acuerdo con lo anterior, verica
kyn k
k( T )|M mn k < 1/n,
esto es, ( T )mn 0. Ahora bien, mn es una sucesin acotada por 1 y T es compacto, de modo que
existe (an )n (mn )n de modo que T an u E , y puesto que an T an 0, tambin an u E , de
modo que an u/. Pero entonces

(a ) M (cerrado) an u/ M
n
0 = lm( T )an = ( T )u/ u/ N ( T ) = M ,
de donde u/ = 0, en evidente contradiccin con que kan k = 1, an u/.

(Observar que slo hemos usado que E es Hilbert para demostrar que existe la complementacin
topolgica. En Banach, habra que ver de otra manera que existe el complemento del ncleo, si bien H-B
nos asegura que este espacio est complementado por ser de dimensin nita, as que vale).
5.3.7. Demostracin: codimR( T ) := dim E/R( T ) < .

DEMOSTRACIONES. 67
Por ser un cerrado, E = R( T ) R( T ) = R( T ) N ( T ), de modo que
dim (E/R( T )) = dim N ( T ) < , porque 6= 0, T compacto.
5.3.8. Demostracin: asc( T ) < , des( T ) < .

Veamos primero asc( T ): si T es inyectiva, entonces asc( T ) = 0. Si no, supongamos
que asc( T ) = . Esto signica que
N (( T )n ) ( N (( T )n+1 ), n.
En efecto, se prueba sin dicultad que si N (( T )n ) = N (( T )n+1 ),

entonces necesariamente
N (( T )n+1 )
= N (( T ) n+2 ), de modo que no puede haber ni una sola igualdad en la cadena
2
de ncleos N ( T ) ( N (( T ) ) ( ...
Entonces, por el Lema de Riesz, hallamos una sucesin:
x1 N ( T ), kx1 k = 1; x2 N (( T )2 ), kx2 k = 1, kx2 x1 k 1/2, ...
xn N (( T )n ), kxn k = 1, kxn xm k 1/2, si m < n.

Ahora, sea m < n. Podemos expresar
T xn T xm = xn xn + xm xm + T xm T xn
= xn (xm + ( T )xn ( T )xm ) .
Pero xm N ( T )m N ( T )n1 ,
y ( T )xn N ( T )n1 ,
y ( T )xm N ( T )m1 N ( T )n1 , de donde, aplicando el lema de Riesz,
1
kT xn T xm k = kxn (...) k || ,
|{z} 2
N (T )n1
de modo que se llega a la contradiccin de que @(an )n (xn )n tal que T an converja.
des( T ) < : si T es suprayectiva, es inmediato. Si no, notando que

n n n n n1 n
( T ) = + (T ) + ... + (T )n
0 1 n
es compacto por ser una composicin y suma de compactos, se tiene que R( T )n es cerrado para
todo ny se pude aplicar el Lema de Riesz: haciendo una reduccin al absurdo, suponiendo
R( T )n ) R( T )n+1 n,
la demostracin es calcada a la anterior.
5.3.9. Demostracin: dim N ( T ) = dim E/R( T ).

Sea m = dim N ( T ), n = dim E/R( T ).
Veamos primero que m = 0 n = 0 (equivalentemente, T inyectiva suprayectiva).
Sea T es suprayectiva. Si no es inyectiva, existe x1 6= 0 tal que ( T )x1 = 0. Ahora bien, por
sobreyectividad, existe x2 , que habr de ser no nulo, tal que x1 = ( T )x2 . Notemos que ( T )x2 =
x1 6= 0, pero ( T )2 x2 = ( T )x1 = 0, de modo que x2 N ( T )2 \N ( T ). Por induccin, hallamos

que
N ( T )n ( N ( T )n+1 , n,
en contradiccin con que asc( T ) < .
Recprocamente, si T es inyectiva, {0} = N ( T ), luego
E = N ( T ) = R( T ) = R( T ).
R(T ) cerr.
Entonces, T es suprayectiva, y por la anterior implicacin es inyectiva, y por esto mismo de aqu
arriba T es suprayectiva.
A partir de esto, veamos m = n.
Si m < n, sea {x1 , ..., xm } una base ortonormal de de N ( T ), y {y1 , ..., yn } una de R( T )

(habida cuenta de que dim R( T ) = dim E/R( T )). Consideremos las isometras de Riesz-Frechet,
y la familia
{FE x1 , FE x2 , ..., FE xm } (notar que FE xi (xj ) := hxi , xj i = i,j ),

y el operador
n
X
S : x E 7 T x + (FE xi (x)) yi ,
i=1
que es un operador compacto por ser una suma de compactos y adems S es inyectivo:
n
X
0 = Sx = x T x (FE xi (x)) yi
i=1
n
X
R( T ) 3 ( T )x = (FE xi (x)) yi R( T ) ( T )x = 0
i=1
Xm m
X
x N ( T ) x = i xi , pero FE xi (x) = 0 i = 0i.
i=1 i=1
Entonces, por lo anterior, S es suprayectivo y se alcanza la siguiente contradiccin:
m
X
a, ym+1 = ( S)a = ( T )a FE xi (a)yi .
i=1
Entonces,
m
!
X
1 = FE ym+1 (ym+1 ) = FE ym+1 ( T )a FE xi (a)yi
i=1
m
X
= hym+1 , ( T )ai hym+1 , FE xi (a)yi i = 0.
i=1
El primer sumando es 0 porque ym+1 R( T ) , y los siguientes sumandos son iguales a FE xi (a)
hym+1 , yi i = 0 (i 6= m + 1).
Suponiendo que n < m, llegamos a la misma contradiccin considerando el adjunto.
5.3.10. Nota. No demostraremos que asc( T ) = des( T ). Todo lo dems ya lo hemos demos-
trado.
5.4. ALGUNOS RESULTADOS SOBRE OPERADORES DE FREDHOLM. 69
5.4. Algunos resultados sobre operadores de Fredholm.
5.4.1. Denicin. Si E, F son espacios de Hilbert, un operador de Fredholm es T L(E, F )

que verica:
(i). R(T ) cerrado.

(ii). dim N (T ) < .
(iii). dim F/R(T ) < .
Si T es de Fredholm, se denota T (E, F )
5.4.2. Proposicin. Sean E, F Hilbert, T L(E, F ). Entonces,

(i). Si T (E, F ), existen S L(F, E), F1 Fi (E), F2 Fi (F ) tales que ST = I F1 , T S = I F2 .
(ii). Si existen A, B L(F, E), K1 Co(E), K2 Co(F ) tales que AT = I K1 , T B = I K2 , entonces
T (E, F ).
Demostracin.: (i). El ncleo es un cerrado en un Hilbert, de modo que se verica que E = N (T )
N (T ) , de modo que
x E x = x1 + x2 , x1 N (T ), x2 N (T ) .
Sea F1 : x = x1 + x2 E 7 x1 N (T ). F1 Fi (E) porque R(F1 ) = N (T ), que tiene dimensin
nita. Adems,
(I F1 )x = x x1 = x2 N (T ) .
Por otra parte, puesto que R(T ) es cerrado en un Hilbert, F = R(T ) R(T ) , de modo que
y F y = T x + y2 , x E, y2 R(T ) ,
y adems, puesto que x = x1 + x2 , con x1 N (T ),
y F y = T x2 + y2 , x2 N (T ) , y2 R(T ) .
Denimos el operador
S : y = T x2 + y2 F 7 x2 E.
Se comprueba sin dicultad que es acotado y por construccin verica ST = I F1 .
Por otro lado, T Sy = T S(T x2 + y2 ) = T x2 R(T ). Tomemos
F1 : y = T x2 + y2 7 y2 R(T ) .
Es claro que(IF2 )y = T x2 = T Sy , y bastara ver que F2 F i(F ), esto es, que R(F1 ) = R(T ) es

de dimensin nita. Ahora, por ser cerrado, F = R(T )R(T ) , luego dim R(T ) = dim F/R(T ) <
.
(ii). Por la Alternativa, AT = I K1 = 1 K1 , T B = I K2 = 1 K2 son operadores de
Fredholm.
Veamos primero que R(T ) es cerrado: primero, R(T B) R(T ) y R(T B) es cerrado, por ser TB
Fredholm. Adems, F = R(T B) R(T B) , y es claro que
R(T ) = R(T B) R(T ) R(T B) R(T ) := R(T B) M.
Ahora bien, M := R(T B) R(T ) R(T B) , y dim R(T B) < por ser TB de Fredholm, de
modo que M es cerrado y por tanto lo ser R(T ).

Ahora, el hecho de que dim N (T ) < nos lo da que N (T ) N (AT ), y por otra parte,
dim F/R(T ) = dim R(T ) = dim N (T ) dim N (B T ) = dim N ((T B) ) < .
5.4.3. Corolarios. (1). T (E, F ), A Co(E, F ) T + A (E, F ). Adems, el ndice de T

T + K.
coincide con el de
T S
(2). E
F
G, con S, T Fredholm. Entonces, ST Fredholm.
5.4.4. Espectro de Weyl. Siendo T L(E), E Hilbert, se llama espectro de Weyl a

\
w (T ) := (T + K).
KCo (E)
Se verica que
/ w (T ) T Fredholm de ndice 0.
5.4.5. Observaciones. (1). Si = 0, la alternativa de Fredholm no es necesariamente cierta.
Por ejemplo, si T F i(E), y E tiene dimensin innita, entonces 0T no es de Fredholm porque
dim E/R(T ) = .
(2). Si T Co(E), no es necesariamente cierto que R(T ) sea cerrado. De hecho, si T Co(E)\F i(E),
no es cerrado.
En efecto: suponiendo que sea cerrado, la restriccin
T1 : x E 7 T1 x := T x R(T )
es un operador compacto, de modo que tambin lo es T1 : R(T ) E . Ahora bien:
N (T1 ) = R(T1 ) = R(T ) = {0} (en el espacio R(T )),
de modo que T11 , y es continua por ser R(T1 ) cerrado. Entonces,
(T1 )1 T1 = continuo compacto = IR(T ) , compacto,
luego toda sucesin acotada en R(T ) tiene una subsucesin convergente, luego en particular BR(T ) (0; 1) es
compacto, luego dim R(T ) < , que es contradiccin.

Análisis Funcional - Saúl Fernández

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Análisis Funcional - Saúl Fernández

Загружено:

Авторское право:

Доступные форматы

Anlisis Funcional

1.1. Primeras deniciones. 5

1.2. Espacio normado. 5

1.3. Continuidad en espacios normados. 6

1.4. Sucesiones en un espacio normado. 6

1.5. Espacio normado cociente. 6

1.6. Operador inyectivo asociado a uno dado. 7

1.7. El espacio L(E, F ). Operador conjugado a T. 7

Captulo 2. Teoremas fundamentales del Anlisis Funcional. 19

2.1. Teoremas de Hahn-Banach en forma analtica. 19

2.2. Teoremas de Acotacin Uniforme. 21

2.3. Teorema de Aplicacin Abierta. 24

2.4. Teorema del Grafo Cerrado. 24

Captulo 3. Espacios de Hilbert. 31

3.1. Espacios pre-Hilbert. 31

3.2. Espacios de Hilbert. Mejor aproximacin. 33

3.3. Teorema de Representacin de Riesz. 35

3.4. Adjunto de un operador acotado. 37

3.5. Relaciones de dualidad entre T

Captulo 4. Operadores autoadjuntos y normales. 51

4.1. Operadores autoadjuntos. Primeras propiedades. 51

4.2. Propiedades espectrales de los autoadjuntos. 52

4.3. Proyeccin en un espacio de Hilbert. 56

4.4. Operadores normales y unitarios. 60

Captulo 5. Operadores compactos en espacios de Hilbert. 63

5.1. Sobre el captulo. 63

5.2. Demostraciones de (1), (2) y (3). 64

5.3. La alternativa de Fredholm. 65

5.4. Algunos resultados sobre operadores de Fredholm. 69

Operadores y espacios normados. Primeras deniciones.

Se dice operador a una aplicacin lineal T : D(T ) E F , siendo E, F espacios vectoriales y su

dominio, D(T ), un subespacio vectorial de E.

1.2. Espacio normado.

kxkA kxkB kxkA ,

C([0, 1]) := {f : [0, 1] R continua},

tenemos que las normas

1.3. Continuidad en espacios normados.

f :EF es continua en aE si tal que kx ak < kf (x) f (a)k < .

k.kp : (E, k.kq ) R

|kxkp kakp | kx akp kx akq < , tomando = /,

de modo que k.kq es continua como aplicacin.

k.k1 : (C([0, 1]), k.k ) R.

1.4. Sucesiones en un espacio normado.

convergente si y solo si es de Cauchy).

Es importante mecionar que, en espacios normados, completo equivale a sucesionalmente completo,

mientras que en espacios topolgicos, completo implica sucesionalmente completo (y no es necesario el

M cerrado toda suces. (xn )n M convergente tiene su lmite en M.

Por ejemplo, si T es un operador acotado, su ncleo, N (T ), es un subespacio cerrado. Esto es, si

(xn )n N (T ) (i.e., T xn = 0n), y xn

1.5. Espacio normado cociente.

Sea E un espacio normado y M un subespacio cerrado de E. Denimos:

k[x]k := d(x, M ) := nf{kx mk : m M }.

(i).: k[x]k 0, por denicin.

d(x, M ) := nf{kx mk : m M } = nf{kx mk : m M } = ||nf{kx mk : m M },

debindose la segunda igualdad al hecho de que M es un subespacio.

Veamos, adems, que k[x]k = nf{kzk : z [x]}. En efecto,

(a) : k[x]k kzk, z [x]:

k[x]k := d(x, M ) kx (x z)k = kzk.

(b) : > 0, a [x] tal que kak < k[x]k + :

llamar a := x m. Efectivamente, a [x] (porque a x = m M ) y cumple lo requerido.

1.6. Operador inyectivo asociado a uno dado.

Siendo E, F espacios normados, y T :EF un operador acotado, se denen

es un operador inyectivo, y se llama operador inyectivo asociado a T .

1.7. El espacio L(E, F ). Operador conjugado a T .

1.1. Primeras deniciones. 5

Operadores y espacios normados. Primeras deniciones.

Sea E un espacio normado y M un subespacio cerrado de E. Denimos:

(i).: k[x]k 0, por denicin.

Siendo E, F espacios normados, y T :EF un operador acotado, se denen

Siendo E, F espacios normados, se dene

En L(E, F ), podemos denir una norma si consideramos previamente este resultado:

algunas condiciones que se verican en espacios de Hilbert).

1.7.3. Isometra natural. Espacio reexivo. Sea E un espacio normado. Consideramos E 00 , su

Ahora bien, en general no es sobreyectiva. Cuando s lo es, el espacio se dice reexivo .

Deno en D(T ) la aplicacin

Observacin.: Al ser T0 acotado en el caso particular anterior, podra denirse T 00 := (T 0 )0 , as:

m, n nk . Entonces, en particular, jo n nk , para todo m > nk , y para todo x E de