Professional Documents
Culture Documents
Curso 2014-2015
Sal Fernndez
ndice general
Captulo 1. Operadores y espacios normados. Primeras deniciones. 5
EJERCICIOS 12
EJERCICIOS 26
Preliminares. 31
EJERCICIOS. 43
Preliminares. 65
Demostraciones. 66
3
4 ndice general
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.
es un subespacio cerrado de E F.
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
para todo x E.
Ejemplos.: Todas las normas en Rn son equivalentes.
En cambio, considerado
no son equivalentes.
5
6 1. OPERADORES Y ESPACIOS NORMADOS. PRIMERAS DEFINICIONES.
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
Ahora bien, si no son equivalentes, lo anterior no es necesariamente cierto. Basta ver el contraejemplo
Un espacio normado E se dice de Banach si es sucesionalmente completo (esto es, una sucesin es
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
Se da que k[.]k dene una norma en el espacio cociente E/M , llamada norma cociente .
En efecto,
anterior.
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,
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.
Esto nos permite elaborar una denicin equivalente de operador cerrado : tenemos que T es cerrado
= 1, existe > 0 tal que T (B(0E ; )) B(0F ; 1). Ahora bien, sea tal que r = . Por ser T
(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 = .
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
quier resultado que aporta estas condiciones sucientes se denomina un teorema del grafo
cerrado.
Cabe preguntarse:
0
0 (M ) = M ?; (0 N )0 = N ?
Se ver que la respuesta es armativa en el primer caso y negativa, en general, en el segundo (salvo con
V : (E/M )0 M 0
z0 7 V z0 M 0, def. por V z 0 (x) := z 0 ([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 ).
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
T : D(T ) E F,
kT xn T xm k = kT (xn xm )k kT kkxn xm k 0.
(porque (xn )es de Cauchy)
T : x D(T ) 7 T x = lm T xn F,
n
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
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
Unicidad : ejercicio.
D(T 0 ) := {y 0 F 0 : y 0 T D(T )0 } F 0 ,
y 0 T : D(T ) K
(ntese D(T ) = E )
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.7. EL ESPACIO L(E, F ). OPERADOR CONJUGADO A T . 11
T 0 : F 0 E 0
y0 7 T 0 y 0 := y 0 T
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.
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 .
JE
E / E 00
T T 00
F / F 00
JF
T 00 JE = JF T.
12 1. OPERADORES Y ESPACIOS NORMADOS. PRIMERAS DEFINICIONES.
EJERCICIOS
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
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.
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 | < ,
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
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,
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
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 ,
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
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,
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
T T 00
F / F 00
JF
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
JF T x : y 0 F 0 JF T x(y 0 ) := y 0 (T x) K.
V : (E/M )0 M 0
z0 7 V z0 M 0, def. por V z 0 (x) := z 0 [x].
Recordemos que
w0 M 0 := {x0 E 0 : x0 (M ) = 0}.
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 .
16 1. OPERADORES Y ESPACIOS NORMADOS. PRIMERAS DEFINICIONES.
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
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
Solucin: 1. Si T es acotado, para cada [x], para cada y [x], kT [x]k = kT yk kT kkyk. Esto es cierto
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
Solucin: Se comprueba que T est bien denido y es un operador acotado: se ve sin complicacin que
Respecto a su norma, ya hemos visto que kT k 1, y veamos que es, de hecho, 1. En efecto, sea
1 = kT gk sup kT f k = kT k.
kf k=1
Hallar la norma de T.
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
18 1. OPERADORES Y ESPACIOS NORMADOS. PRIMERAS DEFINICIONES.
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
1. De Hahn-Banach.
a ) En forma analtica. Se trata de extender formas lineales a todo el espacio. Son teoremas de
base algebraica.
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
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.
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.
(HB3).: E espacio normado, 0 6= x E . Tomando M = {0}, el espacio nulo, una aplicacin directa de
(HB2) nos asegura que
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
g:Z K
x + m 7 d
apliquemos (HB1) a g y a Z.
Aplicaciones: (a): Sabemos que x0 E 0 con kx0 k = 1. En estos casos, |x0 (x)| kx0 kkxk = kxk. Pero
es que, adems,
En efecto, kxk sup{|x0 (x)| : x0 E 0 , kx0 k = 1} porque para cada x0 de ese conjunto,
Veamos que est bien denido, que es un operador acotado, y que es una isometra. En efecto,
por (a).,
(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
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.
(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 ).
acotado en K.
Veamos, antes de proceder a la demostracin, unas deniciones y resultados auxiliares para demos-
trarlo:
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.
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.
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
p E.
n
Con esto, se demuestran los teoremas:
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
Por tratarse adems de un absolutamente convexo, hemos visto que esto signica que es un
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
Estudiaremos uno:
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.
(GC): E, F Banach, T :EF operador cerrado (i.e. G(T ) subespacio cerrado de E F ). Entonces,
T es acotado.
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
T es por tanto
y acotado.
[(GC)(AA)]: En el ejercicio 3, se demuestra que
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.
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
EJERCICIOS
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
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
una isometra,
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,
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 K
x 7 x0 (x) := x000 (JE x).
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,
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
JE E = JE A JE B,
U : [x0 ] E 0 /M 0 7 U [x0 ] := x0 |M M 0 .
y 0 (m) = x0 (m) +
m0 (m)
= x0 (m), m M , y y 0 | = x0 | .
M M
0
Acotado: para todo y [x ],
0
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
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
0 6= z 00 (z 0 ) = JX z(z 0 ) = z 0 (z).
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.
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.
Espacios de Hilbert.
Preliminares.
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.
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).
(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
(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.
kxk = ( n |n |p )1/p .
P
que es un espacio normado con la norma
3.2.1. Denicin. Un espacio de Hilbert es un espacio pre-Hilbert (E, h.i) de modo que, con la
0 < d := d(x, M ) = nf kx mk
mM
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
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 ,
34 3. ESPACIOS DE HILBERT.
de donde hx y, mi = 0.
Recprocamente, si x y M , veamos kx yk = d(x, M ) =: d. Sea m M.
denir
Es acotado:
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
Recprocamente,
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 :
Verica que: FE a
semilineal : FE (x + y) = FE x + FE y, FE (x) = FE x; Adems, es biyectiva, continua y
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).
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:
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,
Es acotado:
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): kT k2 = kT T k = kT T k
Demostracin:
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
(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
Pero
(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
.
40 3. ESPACIOS DE HILBERT.
y N (T ) T y = 0 hx, T yi = 0 x E hT x, yi = 0 x E y R(T ) .
Nota. Si T no es acotado no es cierto que T = T , pero las igualdades anteriores siguen siendo ciertas.
Ejercicio: Comprobarlo.
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,
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 .
Demostracin: Si T
es suprayectivo, T es inyectivo (N (T ) = R(T ) = F = 0), de modo que existe
Notando que x = T y para algn y F, se puede construir una sucesin (yn )n F de modo que
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.
!T v R(T ) : Gy (T z) = hT z, T vi, z.
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 .
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 ).
42 3. ESPACIOS DE HILBERT.
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
EJERCICIOS.
hx, yi = lmhxn , yi = 0.
n
E = M M ,
X
Fy (x) := hTr x, yi = h(0, 1 , 2 , ...), yi = n1 n = hx, (2 , 3 , ...)i.
n=2
Tr = Tl .
Tl = Tr .
44 3. ESPACIOS DE HILBERT.
hx, yi = hx m + m, yi = hx m, yi +
hm,
yi.
Entonces,
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
kx yk2 = hx y, x yi = hx, xi
hx,yi + hy, yi = kxk2 + kyk2 > kxk2 .
hy,xi
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
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.
1 v1 + 2 v2 + 3 v3 = (1 + 2 + 3 , 1 , 2 , 3 , 0, 0, ...).
PM : x l2 PM x = mejor aproximacin de x en M.
(ii). Hallar PM x, x l2 .
hx, ui = hx, vi = 0,
46 3. ESPACIOS DE HILBERT.
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). T es operador por linealidad del producto escalar (notando que es un producto escalar real).
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 ,
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 .
una isometra, y tambin que es sobreyectivo (aunque sin Riesz, la demostracin es mucho ms
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
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
(ii). Un Hilbert siempre es reexivo: siendo x00 H 00 , por ser H0 Hilbert, admite un representante
y 0 H 0 y sea y H su representante:
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.
48 3. ESPACIOS DE HILBERT.
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.
x = m + x2 ,
de donde x2 = 0.
HOJA OPERADOR ADJUNTO
(iii). Si uno de los cuatro espacios siguientes es cerrado: R(T ), R(T ), R(T T ), R(T T ), entonces lo son
0 = h0, xi = hT T x, xi = hT x, T xi = kT xk2 T x = 0 N (T T ) 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
kT 2 xk = kT (T x)k = kT T xkx,
hT x, xi = 0, x E T 0.
Probar, entonces:
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 ).
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 ).
hT x, xi = hx, T xi = hx, T xi = hT x, xi hT x, xi R.
hT x, xi = hT x, xi = hx, T xi = hT x, xi,
kT xk2 = hT x, T xi = hT T x, xi = hT T x, xi = hT x, T xi = kT xk2 .
de donde T T T T 0.
2. Si T es biyectivo, lo es T :
0 = N (T ) = R(T ) ,
50 3. ESPACIOS DE HILBERT.
N (T ) = R(T ) = {0}.
Adems tiene inversa continua por ser una biyeccin. TT y T T lo son por ser composicin de
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 )}.
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,
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.
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.
El resolvente de T:
(T ) := { K : T := I T es isomorsmo topolgico}
El espectro de T:
(T ) := K\(T ).
(ii). Adems, (T ) R.
Demostracin: (i). Basta que (T ) = C\(T ). El primer contenido es obvio: si (T ), T es
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,
de donde ( T )x = 0 ( T )x = 0.
()
(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
Restando,
m := nf{hT x, xi : kxk = 1}
T
4.2.2. (T ) [mT , MT ], donde
MT := sup{hT x, xi : kxk = 1}.
4.2.3. Adems, mT , MT (T ).
Demostracin: Usemos la Desigualdad de Cauchy-Schwarz Generalizada :
|hSx, yi|2 hSx, xi hSy, yi,
|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,
54 4. OPERADORES AUTOADJUNTOS Y NORMALES.
de donde
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 .
k( T )an k, n.
Pero entonces,
ya visto, de que
(T ) {0 K : |0 | kT k = ||}.
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
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,
(Rellenar esta demostracin cuando tenga un rato. Demasiado enrevesada para que entre).
56 4. OPERADORES AUTOADJUNTOS Y NORMALES.
hP x, xi = hP 2 x, xi = hP x, P xi = hP x, P xi = kP xk2 0.
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
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 ),
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.
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.
y = P1 P2 x = P1 (P2 x) R(P1 )
= P2 (P1 x) R(P2 ),
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,
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
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
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 ,
P2 P1 = P1 y P1 P2 = P1 P2 = (P2 P1 ) = P1 = P1 .
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
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 ) ,
hy + z, y + zi = hy, yi +
hy,zi
+ hz,yi
+ hz, zi.
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
4.3.6. Lmite creciente de proyecciones. Sea (Pn )n una sucesin creciente (en el sentido de
(P P = lmn Pn Pn = lmn Pn = P ).
(ii) y (iii). No tienen dicultad.
60 4. OPERADORES AUTOADJUNTOS Y NORMALES.
4.4.1. Proposicin. Siendo E Hilbert, T L(E) es unitario si y solo si es una isometra suprayec-
tiva.
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.
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
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 :
kU xk2 = k(T iI)(T + iI)1 xk2 = k(T iI)yk2 = k(T + iI)yk2 = kxk2 .
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
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.
( T )( T ) = T T + T T = ( T ) ( T ),
|{z}
=T T
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.
ser T normal );
(ii). kT k 2RT , (iii). RT 2 (RT )2 . En efecto, por la identidad del paralelogramo, haciendo
cuentas:
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
Este captulo se centrar en demostrar las siguientes propiedades sobre los operadores compactos.
5.1.2. Propiedades.
1. Co verica que:
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
1) dim N ( T ) < ,
2) R( T ) subespacio cerrado,
63
64 5. OPERADORES COMPACTOS EN ESPACIOS DE HILBERT.
(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 .
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:
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
a) dim N ( T ) < ,
b ) R( T ) subespacio cerrado,
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
Preliminares.
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-
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.
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).
E = N ( T ) N ( T ) =: N ( T ) M.
((
((
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
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
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).
N (( T )n ) ( N (( T )n+1 ), n.
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 ) ) ( ...
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.
todo ny se pude aplicar el Lema de Riesz: haciendo una reduccin al absurdo, suponiendo
R( T )n ) R( T )n+1 n,
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 =
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.
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
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
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 ) .
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 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 ) <
.
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
Ahora bien, M := R(T B) R(T ) R(T B) , y dim R(T B) < por ser TB de Fredholm, de
Ahora, el hecho de que dim N (T ) < nos lo da que N (T ) N (AT ), y por otra parte,
Se verica que
/ w (T ) T Fredholm de ndice 0.
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.
T1 : x E 7 T1 x := T x R(T )
luego toda sucesin acotada en R(T ) tiene una subsucesin convergente, luego en particular BR(T ) (0; 1) es