Professional Documents
Culture Documents
Compleja
ndice general
Introduccin
37
49
103
119
135
149
171
219
221
223
225
227
229
Bibliografa
231
Introduccin
0.1. El Anlisis Funcional. El Anlisis Funcional como tal fue
surgiendo a principios del siglo XX como el marco abstracto adecuado
para solucionar una serie de problemas del Anlisis muy importantes
en esos momentos.
Desde entonces ha experimentado un gran desarrollo y en este momento es una herramienta muy sofisticada til para abordar una amplia
variedad de problemas. En [11] se puede ver un descripcin del proceso histrico que desemboc en la aparicin del Anlisis Funcional.
Incluimos aqu tan slo una breve descripcin de este proceso que nos
permita ubicar nuestra materia en el seno de la matemtica.
Desde el desarrollo del Clculo Diferencial, al considerar las soluciones de una ecuacin diferencial, se vio que en ocasiones era necesario considerar propiedades del espacio (o conjunto) de soluciones de
la ecuacin, pero no estaba claro cul era la estructura que posea dicho
espacio de soluciones. Los trabajos de D. Bernouilli, Lagrange y sobre
todo Fourier acerca de la resolucin de ecuaciones diferenciales se empiezan a enfrentar a problemas que anticipan lo que ser el desarrollo
posterior del Anlisis Funcional. Una de las caractersticas comunes a
varios de estos procesos era el paso de un problema finito, por ejemplo la solucin de un sistema finito de ecuaciones lineales, a la versin
infinita del problema, lo que les fuerza a enfrentarse a problemas de
convergencia que en esa poca no eran entendidos.
Merece tambin la pena mencionar los trabajos de Sturm (1836)
y Liouville (1837) sobre la solucin de ecuaciones diferenciales de la
forma
y 00 q(x)y + y = 0
con ciertas condiciones de contorno, que influyeron notablemente en el
desarrollo de la Teora Espectral.
Con el desarrollo del Clculo de Variaciones aparece ya explcitamente la nocin de campo funcional y de distancia entre funciones y
aparecen de forma implcita algunos de los problemas provocados por la
3
INTRODUCCIN
INTRODUCCIN
CAPTULO 1
1 = mn{
, }, 2 = mn{
, }
3kxk 3
3|k| 3
se tiene que, para todos B(k, 1 ) z B(x, 2 ),
kz kxk = k(k + k)(x + z x) kxk .
De aqu se sigue que la topologa definida por la norma viene caracterizada por los entornos del origen.
Ejemplo 1.2.
1. Ya se han estudiado en cursos anteriores
normas en espacios finito dimensionales. En particular se sabe
que
`ni := (Kn , k ki )
es un espacio de Banach para i = 1, 2, con las definiciones
habituales. Mas adelante veremos que se sigue de la desigualdad de Minkowsky que `np es un espacio de Banach para todo
1 p .
2. Dado un conjunto T , podemos definir B(T ) como el espacio
de las funciones escalares acotadas definidas sobre T . Se ve
fcilmente que la norma del supremo k k definida como
kf k = sup |f (x)|
xT
10
Por ser la sucesin (fn ) de Cauchy en la norma del supremo, se tiene que la sucesin est uniformemente acotada, y por
tanto f est acotada. Slo nos falta ver que fn tiende a f en la
norma del supremo. Sea > 0. Entonces existe n0 N tal que
para todos n, m n0 kfn fm k < . Sea ahora x T . Sabemos
que existe m n0 tal que |f (x) fm (x)| < . Entonces
|f (x) fn0 (x)| |f (x) fm (x)| + |fm (x) fn0 (x)| 2.
Ntese que para cada x T m puede variar, pero siempre
existe algn m n0 para el que se tiene el resultado, y por
tanto
lm kf fn k = 0.
n
11
12
1
k[xn1 ] [xn2 ]k = k[xn1 xn2 ]k < ,
2
se tiene que existe yn2 Y tal que
1
kxn1 (xn2 + yn2 )k < .
2
A continuacin, puesto que
1
k[xn2 ] [xn3 ]k = k[xn2 xn3 ]k < ,
4
13
yY
14
15
P
Se tiene que kxk k = ni=1 |xik | = 1 y por tanto para todo 1 i n
la sucesin (xik )kN est acotada. Podemos entonces, tomando subsucesiones repetidas veces, extraer una sucesin de ndices (kl )lN de manera
que para todo 1 i n la sucesin (xikl )lN converge a xi . Entonces
lm
n
X
|xikl xi | = 0
i=1
Adems, puesto que xkl S(X,kk1 ) para todo l, se tiene que x S(X,kk1 ) ,
de donde se concluye que efectivamente S(X,kk1 ) es compacto.
Corolario 1.9. Si X es un espacio normado e Y X es un
subespacio de dimensin finita, entonces Y est cerrado en X
Demostracin. Y es un espacio de dimensin finita (digamos n)
con la norma heredada de X. Por el teorema anterior esta norma es
equivalente a, por ejemplo, la norma del supremo, de manera que Y
es (isomorfo a) `n . Sabemos que este espacio es completo (esto est
sugerido como ejercicio). La completitud no se conserva por homeomorfismos, pero s se mantiene por homeomorfismos uniformemente
continuos. Se ver al principio del siguiente captulo (y de hecho es un
ejercicio muy simple) que las aplicaciones lineales continuas son uniformemente continuas. Por tanto Y X es completo y se tiene que Y
debe ser cerrado en X.
El Teorema de Heine-Borel nos dice que los subconjuntos cerrados
y acotados de Kn (con cualquiera de sus normas equivalentes) son compactos. Para probar la falsedad de este resultado en el caso de espacios
de dimensin infinita necesitamos un resultado interesante en s mismo.
Teorema 1.10 (Lema de Riesz, F. Riesz 1918). Sea X un espacio
normado y sea Y X un subespacio vectorial cerrado propio. Entonces
para todo 0 r < 1 existe xr SX tal que
r < dist(xr , Y ) 1.
Demostracin. Sea [z] X/Y tal que 1 > k[z]k > r. Sea ahora
un z [z] (es decir, un representante de [z]) tal que kzk 1 y sea
z
xr = kzk
. Entonces se tiene que
dist(xr , Y ) =
dist(z, Y )
k[z]k
=
k[z]k > r.
kzk
kzk
16
X
n=1
xn = lm
m
X
xn ,
n=1
al igual que hacamos con las series numricas. Si ese lmite existe
y
Pvale x, decimos que la serie es convergente. Decimos que
Pla serie
x
es
absolutamente
convergente
si
la
serie
numrica
n n
n=1 kxn k
converge. Parece obvio que la convergencia absoluta debera implicar
17
kxn k < .
n=p
Pm
n=1 xn , tenemos
q
q
X
X
kxn k < .
xn
ksp sq k =
n=p+1
n=p+1
Es decir, (sm )mN es una sucesin de Cauchy y por tanto (sm ) converge
a x X, ya que X es un espacio de Banach.
Recprocamente, supongamos que toda serie absolutamente convergente es convergente, y sea (xn ) X una sucesin de Cauchy. Veamos
que (xn ) tiene una subsucesin convergente. Empezamos construyendo
inductivamente una subsucesin (xnm )m (xn )n : Sea n1 N tal que,
para todo n n1 ,
kxn1 xn k 21 .
Supuestos ya elegidos n1 < n2 < < nm1 , elegimos nm de manera
que nm > nm1 y tal que, para todo n nm ,
kxn xnm k 2m .
Definimos adems xn0 = 0 y definimos ahora la sucesin (yi )iN como
yi = xni xni1 .
Entonces
xnm =
m
X
yi
i=1
y
kyi k = kxni xni1 k 2(i1) .
P
Por tanto la serie i yiP
es absolutamente convergente y, por hiptesis,
convergente.
Es
decir
i yi converge a x X. Puesto que xnm =
Pm
y
,
tenemos
que
x
nm converge a x y, por ser (xn ) de Cauchy, de
i=1 i
aqu se sigue que xn converge a x, y por tanto X es completo.
18
La construccin de los `p
Los espacios de Banach clsicos son los `p , los Lp y los espacios
C(K). Vamos a ver que los `p son espacios de Banach. Los espacios
C(K) ya estn estudiados en el ejemplo 1.2 y el estudio de los Lp lo
haremos si los alumnos ya saben teora de la medida, o si finalmente les
enseamos la integral de Lebesgue. Para definir los espacios `p y comprobar que son espacios normados necesitamos primeramente estudiar
las desigualdades de Hlder y de Minkowski.
Primeramente necesitamos un lema.
Lema 1.13. Sean a 0, b 0, p, q (1, ) tales que p1 + 1q = 1.
Entonces
ap b q
ab
+ .
p
q
Demostracin. Sea b > 0 y definamos la funcin
ap b q
(a) =
+ ab
p
q
0
q1
Es fcil ver que (a) > 0 si a > b
y que 0 (a) < 0 si 0 < a < bq1 .
Por tanto alcanza su mnimo en a = bq1 y (bq1 ) = 0. De ah se
sigue que
(a) =
ap b q
+ ab 0 para todo a 0
p
q
y por lo tanto
ab
ap b q
+ .
p
q
m
Teorema 1.14 (Desigualdad de Hlder). Sean (ak )m
k=1 , (bk )k=1
R, dos sucesiones finitas de trminos positivos, y sean p, q (1, ) dos
nmeros tales que p1 + 1q = 1. Entonces
! p1
! 1q
m
m
m
X
X
X
ak b k
apk
bqk
.
k=1
k=1
k=1
bk
p1 y Bk = P
m
p
j=1 aj
p
j=1 bj
p1
19
y observamos que
m
X
Apk =
k=1
m
X
Bkp = 1
k=1
Apk Bkq
+
p
q
1X p 1X q 1 1
Ak Bk
Ak +
Bk = + = 1,
p
q
p q
k=1
k=1
k=1
y por tanto
m
X
k=1
ak
P
m
j=1
bk
p1 P
m
p
p
j=1 bj
aj
p1 1
apk
+
bpk
(ak + bk )p
k=1
k=1
k=1
(ak + bk ) =
k=1
n
X
k=1
(ak + bk )p1 ak +
k=1
n
X
n
X
(ak + bk )p1 bk
k=1
n
X
! 1q
(ak + bk )(p1)q
X
apk
X
bpk
p1
k=1
n
X
k=1
! 1q
(ak + bk )(p1)q
p1
20
n
X
! 1q
p
(ak + bk )
X
apk
p1
k=1
n
X
! 1q
p
(ak + bk )
X
bpk
p1
k=1
1
P
Dividiendo todo por ( nk=1 (ak + bk )p ) q , tenemos que
! p1
!1 1q
n
n
X p1 X p1
X
X
p
p
=
apk +
bpk
(ak + bk )
(ak + bk )
k=1
k=1
kxkp =
n
X
! p1
|xi |p
i=1
En los ejercicios veremos que los espacios normados finito dimensionales son completos, por lo que en particular `np es un espacio de
Banach para todo 1 p y para todo n N.
Anlogamente podemos definir los espacios `p (1 p ).
21
X
k(xi )kp =
|xi |p
.
i=1
! p1
|xi + yi |p
n
X
! p1
|xi |p
i=1
i=1
m
X
! p1
|yi |p
i=1
! p1
|xi |p
n
X
m
X
! p1
|yi |p
i=1
i=1
22
X
p
kxn xm k < , es decir
|xni xm
< .
i |
i=1
X
|xni |p C.
i=1
|xni |p C.
i=1
|xi |p C,
i=1
|xi |p C
i=1
y por tanto x `p .
Veamos finalmente que xn tiende a x en kkp . Sea > 0. Sea n0 N
tal que, para todo n, m n0 ,
kxn xm kp < .
Entonces, para todo j N tenemos que
j
X
23
! p1
p
|xni xm
i |
< .
i=1
! p1
|xni xi |p
i=1
! p1
|xni xi |p
i=1
24
Por tanto (ln )n es una sucesin de Cauchy y existe l K tal que (ln )
tiende a l. Veamos que lmi xi = l: sea > 0. Existe n0 N tal que
para todo n n0
kxn xk < y |ln l| < .
Adems existe j N tal que para todo i j
|xni 0 ln0 | < .
Entonces, para todo i j
|xi l| |xi xni 0 | + |xni 0 ln0 | + |ln0 l| 3
y por tanto xi tiende a l y x c.
entonces A \ B F, y si (An )
n=1 F entonces tambin n=1 An F.
Se puede demostrar que dada T P() una familia de subconjuntos de , existe una -lgebra mnima (en el sentido de la inclusin) que
contiene a T . A esta -lgebra la denominamos la -lgebra generada
por T , y la escribimos (T ).
No pretendemos desarrollar una Teora de la Medida abstracta, sino
simplemente definir y justificar parcialmente los resultados principales
de la Teora de la Medida de Lebesgue. Por lo tanto, de ahora en
adelante consideraremos = [0, 1] (todo es totalmente anlogo para
cualquier otro intervalo cerrado y acotado [a, b] R) y la -lgebra que
25
26
sn =
n2
X
i1
i=1
2n
En,i + nFn .
Si bien slo vamos a utilizar la medida de Lebesgue, damos la definicin general de medida (positiva contablemente aditiva)
Definicin 1.31. Dado un espacio de medida (, F), una medida
sobre dicho espacio es una funcin
m : F [0, ]
tal que
1. m() = 0
2. Para toda sucesin de conjuntos medibles (An )nN dos a dos
disjuntos (esto es, An Am = para todo m 6= n) se tiene
!
[
X
m
An =
m(An ).
n=1
n=1
27
Ntese que para todo medida positiva m se tiene que si A, B son dos
conjuntos medibles con A B entonces m(A) m(B). La siguiente
proposicin (que tampoco probamos) nos dice que podemos aproximar
(en el sentido de la medida de Lebesgue) cualquier conjunto medible
desde dentro por compactos y desde fuera por abiertos.
Proposicin 1.33. La medida de Lebesgue es regular en el siguiente sentido: para todo A [0, 1] y para todo > 0 existe un conjunto
cerrado (equivalentemente compacto) F A y un conjunto abierto
G A tales que
(G) (A) (F ) + ,
equivalentemente
(A \ F ) y (G \ A)
Necesitamos ahora definir integracin respecto de la medida de
Lebesgue. Comenzamos definiendo la integral de las funciones simples
de la nica forma razonable y la vamos extendiendo a las funciones
medibles ganando generalidad. No es difcil ver que cada una de las
definiciones va siendo coherente con las anteriores.
P
Definicin 1.34. Si s = ni=1 ai Ai : [0, 1] R es una funcin
simple y E B es un conjunto medible, se define la integral de s en E
respecto de como
Z
n
X
sd =
ai (Ai E).
E
i=1
donde el supremo se toma sobre todas las funciones simples s tales que
s f.
Ntese que la integral as definida puede valer .
Definicin 1.36. Si f : [0, 1] R es una funcin medible, se
definen f + y f como
f + = max{f, 0} y f = mn{f, 0}.
De la Proposicin 1.28 se sigue que tanto f + como f son medibles
(y claramente positivas). Entonces, dado un conjunto medible E B
consideramos las dos integrales
28
f d.
f d y
E
Finalmente,
Definicin 1.37. Si f : [0, 1] C es una funcin compleja medible y f = g + h, con g, h : [0, 1] R medibles, dado un conjunto
medible E B se define la integral de f en E respecto de como
Z
Z
Z
f d =
gd + hd
E
29
Este ltimo resultado hace que, si lo que nos interesa de las funciones sea su integral, parezca que tenga sentido considerar la siguiente
relacin de equivalencia. Dadas dos funciones medibles
f, g : [0, 1] K
decimos que f g si
({x [0, 1] tales que f (x) 6= g(x)}) = 0.
Es claro que es una relacin de equivalencia y que si f g entonces
para todo E B
Z
Z
f d =
gd.
E
30
Entonces
Z
lm
fn d =
E
f d.
E
lm
fn d =
E
f d.
E
Z
f gd
E
p1 Z
1q
q
f d
g d .
p
31
+
(f + g) d
f d
g d .
E
f (x) kf k c.t.p.
Ya podemos definir los espacios Lp .
Definicin 1.47. Sea 1 p . Se define el espacio vectorial
Lp [0, 1] como
Lp [0, 1] = {f : [0, 1] K medibles tales que kf kp < }.
Quisiramos ver ahora que el espacio Lp [0, 1] con la norma p es
un espacio de Banach. Lamentablemente la norma p no es una norma
en Lp [0, 1]. Lo nico que falla es que f puede ser distinta de 0 (en el
32
y
g(t) =
j=0
33
j=0
Como
fn (t) =
n1
X
j=0
se tiene que
lm fn (t) = f (t)
n
y
|fn (t)|
n1
X
j=0
[
n=1
An
[
n,m=1
!
Bn,m
34
35
kxn kp < }
n=1
! p1
kxn kp
n=1
36
Demostrar que C
(n)
CAPTULO 2
38
(i)
(ii)
(iii)
(iv)
T es continuo.
T es continuo en el origen.
Existe C > 0 tal que kT (x)k Ckxk para todo x X
T es Lipschitziana, es decir, existe C > 0 tal que
kT (x) T (y)k Ckx yk
para todos x, y X.
(v) T (BX ) est acotado en Y .
(vi) ker(T ) es un subespacio cerrado y la aplicacin lineal T :
X/ ker(T ) Y definida como
T ([x]) = T (x)
es continua.
Demostracin. Claramente (i) implica (ii).
Para ver que (ii) implica (iii), si T es continuo en el origen, entonces,
dado > 0 existe > 0 tal que, siempre que kxk se tiene
kT (x)k .
Entonces, para todo 0 6= x X se tiene que
kxk x
x
kxk
.
kT (x)k =
T
=
T
kxk
kxk
Como
x
kxk
=
entonces
kT (x)k
yC=
kxk
verifica (iii).
39
kx + zk kxk
zker(T )
40
41
Se distingue entonces a menudo entre la Teora Isomtrica, ms preocupada de problemas de Geometra de Espacios de Banach, y la Teora
Isomrfica, ms preocupada de problemas que se suelen denominar estructurales.
A continuacin damos algunos ejemplos de aplicaciones lineales y
continuas (operadores de ahora en adelante) o no continuas entre espacios normados.
Ejemplo 2.6. Sea A = (ai,j )i,jN una matriz infinita y sea 1 p <
.
P
Si p = 1, supongamos que (j) =
i=1 |ai,j | < para todo j N
y que (j) 0 cuando j .
Si 1 < p < y p1 + 1q = 1, supongamos que
! pq p1
X
X
p =
|ai,j |q < .
i=1
j=1
Entonces el operador
TA : `p `p
dado por
TA (x) =
!
ai,j xj
j=1
XX
j
|ai,j ||xj |
i 1
|xj |
i=1
j=1
|ai,j | =
42
! 1q
! p1
X
X
q
p
=
|a
|
|x
|
i,j
j
j=1
j=1
i p
! 1q
X
q
= kxkp p ,
|a
|
= kxkp
i,j
j=1
i p
y por lo tanto
Z
kTk (x)kq =
|Tk (x)(s)|q ds
1q
0
1
Z
1
q
kxkp
0
1q
= kxkp kkkq
43
y por tanto kT k I.
44
Ya hemos visto que L(X; Y ) con la norma de operadores es un
espacio normado. Veamos adems que es un espacio de Banach si Y lo
es
Proposicin 2.12. Dados dos espacios normados X e Y , si Y
es un espacio de Banach entonces L(X; Y ) tambin es un espacio de
Banach.
Demostracin. La demostracin es esencialmente la misma de
siempre: consideramos una sucesin de Cauchy, le buscamos un candidato al lmite y finalmente verificamos que dicho candidato es efectivamente un elemento del espacio y que la sucesin converge a l.
Sea (Tn )nN L(X; Y ) una sucesin de Cauchy. Es fcil ver que,
para todo x X, (Tn (x))n es una sucesin de Cauchy en Y . Por tanto,
puesto que Y es completo, existe y Y tal que (Tn (x))n tiende a y.
Consideramos la aplicacin T : X Y definida por
T (x) = lm Tn (x).
n
Para ver que T es continuo, por ser (Tn ) una sucesin de Cauchy, para
todo > 0 existe n0 tal que para todo n, m 0, kTn Tm k < .
Entonces, por la continuidad de la norma, para todo m n0
(1)
45
46
47
48
para f = 1, x, x entonces
lm Fn (f ) = f
n
CAPTULO 3
Teoremas de Hahn-Banach
El Teorema de Hahn-Banach (o ms bien los Teoremas de HahnBanach) juegan un papel fundamental en la teora de Espacios Normados, as como en la teora de Espacios Localmente Convexos. En su
forma analtica, el Teorema de Hahn-Banach nos permite extender formas lineales definidas sobre subespacios y dominadas por funcionales
sublineales o seminormas. Esto nos garantiza que los espacios duales
son, en primer lugar, no vacos, y en segundo lugar, suficientemente ricos como para determinar importante informacin estructural acerca de
los espacios. En su forma geomtrica, el Teorema de Hahn-Banach nos
permite separar por medio de hiperplanos determinados pares de conjuntos del espacio y esto tiene una importancia fundamental, como se
ver en las aplicaciones. Las dos formas del teorema estn relacionadas
ya que, como vimos en el captulo anterior, hay una estrecha relacin
entre formas lineales e hiperplanos. Nosotros demostraremos en primer
lugar la forma analtica, y de ah deduciremos la forma geomtrica. El
lector interesado en leer una presentacin de estos teoremas en otro
orden puede consultar por ejemplo [44], [26] o [31].
La demostracin de la versin analtica del Teorema que presentamos es la ms habitual, y creemos que tambin la ms elegante. En
todo el captulo hay que distinguir entre el caso real y el caso complejo,
y as lo hacemos. Como consecuencia de la forma analtica del teorema
obtenemos la existencia de formas normantes
Antes de la presentacin de las formas geomtricas del teorema,
hemos incluido una breve presentacin de los Espacios Localmente
Convexos y de los Espacios Vectoriales Topolgicos. No es estrictamente necesario hacerlo as, y de hecho en este curso slo utilizamos
una versin del Teorema de separacin de Hahn-Banach en Espacios
Localmente Convexos en la demostracin del Teorema de Goldstine en
el Captulo 8, demostracin que no es indispensable para la asignatura
como comentaremos en su momento.
49
50
3. TEOREMAS DE HAHN-BANACH
El motivo de que hayamos incluido esa pequea seccin sobre Espacios Localmente Convexos es doble: por un lado nos permite presentar
el Teorema de separacin de Hahn-Banach en su contexto ms general, y por otro lado nos sirve de excusa para informarle al alumno
de la existencia de tales espacios y que no todo espacio funcional es
normable. De todas formas, podemos prescindir de esa seccin y hacer
una presentacin algo menos general de los Teoremas de separacin de
Hahn-Banach tal y como se hace por ejemplo en [24] o [31].
As como el Teorema de extensin de Hahn-Banach es esencialmente
nico en su enunciado, existen numerosas versiones ms o menos generales o especializadas del Teorema de separacin. La aparentemente
ms general y de la que se siguen muchas de las otras es nuestro Teorema 3.22, debido a Mazur. A continuacin hemos presentado algunos
de sus corolarios ms tiles, pero hay muchas otras versiones posibles
algunas de las cuales se pueden sugerir como ejercicios.
Seguimos con un estudio de la reflexividad en espacios normados y
el estudio del dual del espacio cociente.
En este captulo comienzan a ser muy relevantes las aplicaciones.
Las de los Teoremas de Hahn-Banach son muy numerosas. Hemos incluido algunas de las clsicas, pero se podran aadir muchas otras.
Debido simplemente a nuestro inters personal en este momento hemos
hecho una pequea resea de algunas aplicaciones a la Teora Econmica de estos teoremas, pero probablemente no seran las ms adecuadas
para contar en clase dado que requieren bastantes definiciones adicionales.
Para la presentacin del Teorema de extensin de Hahn-Banach
hemos seguido principalmente [8]. La breve introduccin a los Espacios Localmente Convexos sigue [13] aunque tambin nos hemos servido de [44] y [26]. Seguimos de nuevo [8] para introducir las versiones
geomtricas del Teorema de Hahn-Banach. El lector interesado esencialmente en versiones geomtricas del teorema para espacios normados
puede consultar [24, Ejercicios al final del Captulo 2].
3. TEOREMAS DE HAHN-BANACH
51
52
3. TEOREMAS DE HAHN-BANACH
para todo y G.
Sabemos por hiptesis que (2) es cierta para = 0. Para > 0,
dividiendo por , la ecuacin (2) se puede escribir como
x
x
f
+cp
+e
es decir
c nf {p(x1 + e) f (x1 )}
x1 M
con x2 =
x
,
3. TEOREMAS DE HAHN-BANACH
53
x2 M
H = i Hi
fH (x) = fHi (x)
si x Hi
54
3. TEOREMAS DE HAHN-BANACH
Observacin 3.5. Merece la pena hacer aqu un par de observaciones. En primer lugar que en la demostracin del Teorema no hemos
usado ninguna topologa, por lo que en particular f no tiene por qu ser
continua ni F tiene por qu ser cerrado en X (puesto que ni siquiera
hemos definido ninguna topologa en X)
En segundo lugar mencionar que este Teorema, con toda su potencia que tendremos ocasin de aplicar ms adelante, tiene tambin una
limitacin que no conviene olvidar. El procedimiento de obtencin de f
es no constructivo, y adems f no es nica, ni tenemos forma de elegir
bien una extensin entre todas las posibles (en particular no podemos
en general seleccionar linealmente una extensin). Cuando veamos las
versiones geomtricas del teorema, ser natural plantearse la relacin
entre la unicidad de la extensin y la geometra del espacio. Hay varios
resultados en esta direccin. Un ejemplo de lo que se puede esperar es el
Teorema de Taylor-Foguel que nos dice que, dado un espacio de Banach
X, para todo Y X y para todo y Y y tiene una extensin de
Hahn-Banach nica si
y slo
si X es estrictamente convexo, es decir,
2
< 1.
si dados f1 , f2 SX ,
f1 +f
2
Hemos seguido la presentacin ms habitual del Teorema. Para ciertas aplicaciones puede ser interesante observar que el Teorema, con
(esencialmente) la misma demostracin, sigue siendo cierto si a p le
pedimos tan slo que sea convexa ([1]). Es fcil ver que todo funcional
sublineal es convexo.
Damos a continuacin como corolario la versin compleja del teorema.
Teorema 3.6 (Hahn-Banach). Sea X un espacio vectorial real o
complejo, p : X [0, +) una seminorma, M un subespacio vectorial de X y f : M K (con K = R C segn X sea real o complejo)
una forma lineal dominada por p en mdulo, es decir, para todo x M ,
|f (x)| p(x).
Entonces existe una extensin f : X K de f tambin dominada
por p en mdulo.
Demostracin. Supongamos primero que X es un espacio vectorial real. Puesto que las seminormas son funcionales sublineales, el
teorema anterior nos dice que existe una extensin de f , f : X R
tal que f(x) p(x) para todo x X. Entonces, cambiando x por x
se tiene que
f(x) p(x)
3. TEOREMAS DE HAHN-BANACH
55
es decir
f(x) p(x)
y por tanto
|f(x)| p(x)
para todo x X.
Si X es un espacio vectorial complejo, tambin lo es real, de manera
que si f : M C es una forma lineal, podemos definir la forma real
g(x) := <(f )(x) : M R
que podemos extender a g con |g(x)| p(x) para todo x X por los
razonamientos anteriores.
Ahora, la linealidad compleja de f nos dice que si f (x) = +
entonces
f (x) = + ,
es decir, que para todo x M ,
=(f )(x) = g(x) = <(f )(x)
Por tanto, la forma
f(x) := g(x)
g (x) : X C
extiende a f . Para ver que f est dominada en mdulo por p, dado
x X, sea = arg f(x). Entonces
|f(x)| = e f(x) = f(e x) = <f(e x) =
= g(e x) p(e x) = p(x)
lo que demuestra el teorema.
El teorema de Hahn-Banach tiene muchsimas consecuencias y aplicaciones en al Anlisis Funcional. La primera de ellas es que, puesto
que los espacios de dimensin finita tienen funcionales controlados por
la norma, todo espacio normado (y tambin todo espacio localmente
convexo) tiene dual topolgico no vaco. El siguiente corolario nos dice
que no slo el dual es no vaco, sino que hay suficientes elementos para
normar cada vector de X. Enunciamos y demostramos el resultado en
el caso ms general de seminormas.
Corolario 3.7. Sea X un espacio vectorial real o complejo, p una
seminorma en X y x X. Entonces existe una forma lineal f : X
K tal que, para todo y X,
|f (y)| p(y)
56
3. TEOREMAS DE HAHN-BANACH
y tal que
f (x) = p(x).
En particular, si X es un espacio normado entonces dado x X
existe una forma lineal y continua f de norma 1 tal que
f (x) = kxk
Demostracin. Tomamos M = [x] y definimos f : M K
como
f (x) = p(x)
para todo K. Entonces el Teorema 3.6 nos dice que existe f :
X K que cumple lo pedido.
El siguiente resultado tambin es una consecuencia del teorema.
Nos proporciona una dualidad entre la norma de los elementos de X
y los de X .
Corolario 3.8. Sea X un espacio normado. Entonces, para todo
x X,
kxk = sup |f (x)|
f BX
Demostracin. En efecto,
|f (x)| kf kkxk
y por tanto
sup |f (x)| kxk
f BX
Espacios Localmente Convexos
El contexto natural para las versiones geomtricas de los teoremas
de Hahn-Banach es el de los espacios localmente convexos. Por ello
antes de enunciar y probar dichas versiones geomtricas dedicaremos
esta seccin a la definicin y breve estudio de los Espacios Localmente
Convexos (ELC) en particular.
Los espacios vectoriales topolgicos (EVT) son la generalizacin
natural de los espacios normados en el siguiente sentido: a menudo es
3. TEOREMAS DE HAHN-BANACH
57
necesario estudiar un espacio vectorial con una topologa bien relacionada con la estructura lineal (en el sentido que vamos a precisar
a continuacin) pero dicho espacio no es normado. Buena parte -pero
no toda- de la teora (y de la intuicin) de espacios normados se puede
trasladar sin excesiva dificultad a este nuevo contexto
Empezamos con una definicin.
Definicin 3.9. Un espacio vectorial topolgico X es un espacio
vectorial en el que se ha definido una topologa que hace que
1. La aplicacin suma + : X X X es continua.
2. La aplicacin producto : K X X es continua.
Ejercicio 3.1. Sea X un EVT, y sea x X. Probar que la aplicacin Tx : X X dada por
Tx (y) = x y
es un homeomorfismo (es decir, es biyectiva y continua en ambos sentidos).
Ya hemos visto que los espacios normados son EVTs.
No vamos a estudiar en esta memoria los EVTs en general, puesto
que entendemos que dicho estudio es excesivamente especializado y que
probablemente sea mejor que el contacto inicial de los alumnos con el
Anlisis Funcional ocurra en el contexto ms razonable de los espacios de Banach. S queremos en esta seccin estudiar sucintamente un
tipo especial de EVTs, los Espacios Localmente Convexos (ELC), ya
que son el contexto natural para los Teoremas geomtricos de HahnBanach. Adems, dado un espacio de Banach X, tanto (X, w) como
(X , w ), que estudiaremos ms adelante, son ELCs. Por ello definimos a continuacin Espacios Localmente Convexos, y a continuacin
probamos algunas propiedades bsicas de los ELC que usamos ms
adelante. Cuando estas propiedades lo sean de todos los EVT, no pediremos la convexidad en el enunciado.
Los ELCs son aquellos EVT en los que cada punto posee una base
de entornos formada por conjuntos convexos. Veremos ms adelante
cmo a partir de un conjunto convexo se puede definir su funcional
de Minkowski que ser una seminorma, de manera que probaremos la
equivalencia entre tener una base de entornos convexos y tener una
topologa definida por seminormas. Elegimos de momento esta ltima
como la definicin de ELC, por parecernos ms intuitiva inicialmente.
58
3. TEOREMAS DE HAHN-BANACH
i ai A.
i=1
3. TEOREMAS DE HAHN-BANACH
59
n
X
i ai ; n N, a1 , . . . , an A, 1 , . . . , n [0, 1]}.
i=1
60
3. TEOREMAS DE HAHN-BANACH
t
t
= nf{t 0; x A} = nf{t 0; x
A} =
||
t
t
= ||nf{
0; x
A} = ||p(x).
||
||
Para terminar de comprobar que p es una seminorma nos resta ver
la propiedad triangular. Observemos como paso previo que si , 0
y a, b A entonces
a + b = ( + )
a+
b ( + )A
+
+
por la convexidad de A. Ahora, sean x, y X con p(x) = y p(y) = .
Sea > 0. Por definicin de p,
x ( + )A
e
y ( + )A.
Por tanto
x + y ( + )A + ( + )A = ( + + 2)A
y de aqu se sigue que
p(x + y) + + 2 = p(x) + p(y) + 2.
Puesto que esto es cierto para todo > 0 se tiene la desigualdad triangular.
Veamos ahora que
A = {x X tales que p(x) < 1}.
Si p(x) = < 1 entonces para todo < < 1 se tiene que x A A
(la ltima inclusin se sigue de que A es equilibrado). Por tanto
{x X tales que p(x) < 1} A.
3. TEOREMAS DE HAHN-BANACH
61
1
1
p(y)
< 1.
1+
1+
q
=
< 1.
+
+
x
Por tanto +
A y de aqu se sigue que
x
p(x)
=p
< 1.
+
+
Por tanto
p(x) < + = q(x) + .
Puesto que esto se tiene para todo > 0, se sigue que p q.
El resultado anterior nos invita a formular una definicin. Ntese
previamente que slo hemos usado que A fuera absorbente en cada punto para obtener el menor estricto en la relacin A = {x
X tales que p(x) < 1}. En particular ntese que p tambin es una
seminorma si slo le pedimos a A que sea absorbente, equilibradoy
convexo.
Definicin 3.16. Sea A X un conjunto convexo, absorbente y
equilibrado. Entonces podemos definir el funcional de Minkowski de A,
que a menudo llamaremos j, como la funcin j : X [0, ) dada
por
j(x) = nf{ tales que 0 y x A}.
Del resultado anterior se sigue que en ese caso el funcional de
Minkowski es una seminorma.
Lema 3.17. Si X es un EVT y A X es un abierto entonces A es
absorbente en todos sus puntos.
Demostracin. Para todo a A, se tiene que A a es entorno
de 0, y por tanto es absorbente.
62
3. TEOREMAS DE HAHN-BANACH
f es continua.
f es continua en algn punto.
f es continua en el origen.
ker f es cerrado.
3. TEOREMAS DE HAHN-BANACH
63
y observemos que para todo se tiene que y ker f . Adems claramente y u. Por ser ker f cerrado se tiene que u ker f en contradiccin con que f (u) = 1. Por tanto se ha de tener que f (x ) 0,
lo que nos dice que f es continua en el origen.
Como ya vimos en la forma analtica del Teorema de Hahn-Banach,
las seminormas y los funcionales sublineales juegan un papel destacado
en su enunciado y demostracin. Ya hemos visto que dado un EVT,
las seminormas estn asociadas a los conjuntos convexos, absorbentes
y equilibrados. El siguiente resultado, cuya demostracin no incluimos
por ser totalmente anloga a la de la Proposicin 3.15 nos dice que si
no le pedimos al conjunto que sea equilibrado lo que obtenemos no es
una seminorma sino un funcional sublineal. Recurdese que ya hemos
visto que los conjuntos abiertos son absorbentes.
Proposicin 3.21. Sea X un EVT y sea A X un subconjunto abierto y convexo que contiene al origen. Entonces el funcional de
Minkowski de A, jA : X [0, ) definido como
jA (x) = nf{ tales que 0 y x A}
es un funcional sublineal, y A = {x X tales que jA (x) < 1}.
Antes de enunciar el teorema de Hahn-Banach en forma geomtrica, debemos comprobar que los resultados bsicos referidos a hiperplanos que probamos para espacios normados siguen siendo ciertos en
el contexto de EVTs. En particular se prueba anlogamente al caso
de espacios normados que si X es un EVT y H X es un hiperplano
entonces H es cerrado o denso. Que un hiperplano es el ncleo de una
forma lineal sigue siendo obviamente cierto puesto que ah los nicos
razonamientos involucrados eran algebraicos, no topolgicos. Por ltimo necesitaremos que si H es un hiperplano ncleo de una forma lineal
f entonces H es cerrado si y slo si f es continua. Esto ya lo hemos
probado en la Proposicin 3.20.
Teoremas de separacin de Hahn-Banach
El siguiente resultado se debe a Mazur.
Teorema 3.22 (Hahn-Banach, forma geomtrica). Sea X un espacio vectorial topolgico (real o complejo), A X un conjunto convexo
abierto no vaco, L un subespacio afn de X que no interseca a A.
Entonces existe un hiperplano afn cerrado H que contiene a L y no
interseca a A.
64
3. TEOREMAS DE HAHN-BANACH
3. TEOREMAS DE HAHN-BANACH
65
66
3. TEOREMAS DE HAHN-BANACH
pero ahora, como A es abierto, se tiene que f (x) < para todo x A,
ya que si no fuera as, existira x0 A tal que f (x0 ) = . Supongamos
por ejemplo que > 0. Por la continuidad del producto, existira > 0
tal que (1 + )x0 A, y tendramos que f ((1 + )x0 ) . Si < 0 se
razona anlogamente.
El mismo corolario admite una versin compleja
Corolario 3.24. Sea X un EVT complejo, A X un subconjunto
abierto convexo y equilibrado y B X un subconjunto convexo no
vaco tal que A B = . Entonces existe una forma (compleja) lineal
y continua f X y un > 0 tales que, para todos x A, y B,
|f (x)| < |f (y)|,
es decir, existe un hiperplano cerrado afn (f 1 ({})) que separa A y
B.
Demostracin. [8, Corollary 4, p. 32]
yB
3. TEOREMAS DE HAHN-BANACH
67
Reflexividad
Notemos que si tenemos un espacio normado X podemos definir
una aplicacin cannica
J : X X
dada por la relacin
J(x)(x ) = x (x)
para todos x X, x X . Es un sencillo ejercicio comprobar que J
est bien definida (es decir, que para todo x X la aplicacin J(x) :
X K es lineal y continua). Adems, del Teorema de Hahn-Banach
se sigue que
kJ(x)k = sup |J(x)(x )| = sup |x (x)| = kxk
x BX
x BX
68
3. TEOREMAS DE HAHN-BANACH
(J(x
n )) (y)
y tambin
(J(x
n )) x1
3. TEOREMAS DE HAHN-BANACH
69
70
3. TEOREMAS DE HAHN-BANACH
y ([x]) = m (x).
y est bien definida, es lineal, y es continua porque, para todo m M ,
|y ([x])| = |m (x)| = |m (x + m)| km kkx + mk
y por tanto, tomando nfimos en m, se tiene que
|y (x)| km kk[x]k.
Por tanto y (X/M ) , y claramente (y ) = m , lo que termina la
demostracin.
Aplicaciones
Las aplicaciones de los Teoremas de Hahn-Banach tanto a problemas del Anlisis Funcional como a problemas ms aplicados son
demasiado numerosos para incluir en esta memoria ni siquiera una
cantidad significativa de ellos. Nos limitaremos a mencionar algunas
de estas aplicaciones.
Lmites de Banach: Demostrar que existe un funcional lineal L
definido sobre ` tal que
kLk = 1
Si x = (xn ) c entonces L(x) = lmn xn
Si x = (xn ) ` y xn 0 para todo n N entonces L(x) 0.
Si x = (xn ) ` y llamamos x0 = (x2 , x3 , . . .) entonces
L(x0 ) = L(x)
3. TEOREMAS DE HAHN-BANACH
71
Esta es una de las aplicaciones ms clsicas del Teorema de HahnBanach y se puede consultar en muchos libros. Dos presentaciones adecuadas para este curso pueden ser las de [13, p. 82] o [24, Ejercicio 19,
p.39].
Existencia de medidas sobre el crculo unidad invariantes
por rotaciones: S. Banach estaba intentando resolver este problema
cuando prob el Teorema de Hahn-Banach (y a continuacin lo aplic
para resolver el problema). Se puede ver una presentacin por ejemplo
en [22].
Sea T = {z C tales que |z| = 1}. Entonces se tiene.
Teorema 3.29. Existe una medida finitamente aditiva invariante
por rotaciones definida sobre la -lgebra de todas las partes de T. Es
decir, existe una funcin
m : P(T) [0, 1]
tal que
m(T) = 1.
Para todos S, T P(T) con S T = se tiene
m(S T ) = m(S) + m(T ).
Para toda rotacin f : T T (dada por f (z) = ze ) y para
todo S P(T) se tiene
m(f (S)) = m(S).
Aplicaciones Econmicas Aunque probablemente no se puedan
desarrollar en clase porque nos separara excesivamente del ncleo de
la asignatura, si los alumnos mostraran inters en ello se podran comentar aqu algunas aplicaciones de los Teoremas de Hahn-Banach a la
Matemtica Econmica. Hay una gran cantidad de tales aplicaciones,
mencionaremos aqu brevemente las dos que consideramos principales.
La primera son los Teoremas del Estado del Bienestar, o Teoremas de
Arrow-Debreu, demostrados en 1954 ([3] que merecieron un Premio Nobel y que forman la base de la Teora Econmica moderna. La segunda
es el llamado Teorema Fundamental de la Valoracin de Activos, uno
de los pilares de la Matemtica Financiera, y pieza clave en los trabajos
sobre la valoracin de opciones de Black y Scholes [9, 10] y [34], que
tambin resultaron premiados con un Premio Nobel.
72
3. TEOREMAS DE HAHN-BANACH
3. TEOREMAS DE HAHN-BANACH
73
Entonces, sustituyendo x por x se tiene que existe > 0 tal que, para
todo a A,
<x (a) < 1 < 1 + < <x (x0 ).
Si a A y x (a) = |x (a)|e entonces e a A (por ser A equilibrado) y por tanto
|x (a)| = <x (e a) < 1 < 1 + < <x (x0 ).
Puesto que eso ocurre para todo a A, se sigue que x A0 . Notemos
que M A. Por tanto A0 M 0 , as que x M 0 . Pero esto implica que
x0 6 M 00 . Es decir, hemos probado que el complementario de A est
contenido en el complementario de M 00 , es decir, que M 00 A.
74
3. TEOREMAS DE HAHN-BANACH
Prcticas sugeridas
Ejercicio 3.8. Comprobar que todo ELC es un EVT.
Ejercicio 3.9. Sea X un EVT y x0 X. Entonces la aplicacin
tx0 : X X dada por tx0 (x) = x + x0 es biyectiva, continua y de
inversa continua (es decir, es un homeomorfismo). Como consecuencia,
los trasladados de una base de entornos del origen forman una base de
entornos de cualquier punto. Anlogamente, para todo 0 6= K la
aplicacin h : X X definida por h (x) = x tambin es un
homeomorfismo.
Ejercicio 3.10. Sea X un espacio vectorial complejo. Si F1 : X
R es una forma lineal considerando X como espacio vectorial real, demostrar que F : X C definida como
F (x) = F1 (x) F1 (x)
es una forma lineal sobre X considerado como espacio vectorial complejo.
Ejercicio 3.11. Si X es un espacio de Banach de dimensin infinita, demostrar que existen conjuntos convexos C1 y C2 tales que
C1 C2 = X, C1 C2 = y tanto C1 como C2 son densos en X. Sugerencia: Considrese una forma lineal no continua y los dos semiespacios en que divide a X.
Ejercicio 3.12. Demostrar que un espacio de Banach X es reflexivo si y slo si X es reflexivo.
Ejercicio 3.13. Demostrar que si un espacio de Banach X es reflexivo entonces todo subespacio cerrado Y X tambin es reflexivo.
CAPTULO 4
75
76
(
fn (t) =
n2 t ,
1
t
si 0 t
si
1
n
77
1
n
<t1
Teorema 4.3 (Ascoli-Arzela). Sea T un espacio compacto metrizable y sea E C(T ). Supongamos que E es un conjunto acotado y
equicontinuo en t para todo t T . Entonces E C(T ) es precompacto
(en particular E est acotado en la norma del supremo, es decir E est
uniformemente acotado). Por tanto, toda sucesin de E contiene una
subsucesin uniformemente convergente.
Demostracin. Tenemos que probar que E es precompacto. Sea
> 0. Por ser E equicontinuo en todo punto, para todo t T existe
t > 0 tal que para todo f E y para todo s B(t, t )
|f (s) f (t)| < .
El conjunto {B(t, t ); t T } es un recubrimiento abierto de T y
por ser T compacto existen t1 , . . . , tn T tales que, llamando i = ti ,
T = ni=1 B(ti , i ).
Por ser E acotado en todo punto, existen 1 , . . . , n > 0 tales que
|f (ti )| i para todo f E, y para todo 1 i n.
78
79
T T ,xBX
80
kT (x)k = sup kT k
xBX ,T T
T T
2m0
.
r
81
entonces
(i) (Teorema de Banach Steinhaus, 1927) T L(X; Y ) y
kT k sup kTn k < .
n
Observacin 4.8. Observemos en primer lugar con un ejemplo
que no podemos prescindir de la hiptesis de la completitud de X ni
en el Principio de Acotacin Uniforme ni en el Teorema de BanachSteinhaus. Consideremos X = c00 con la norma del supremo (en ese
caso su completado es c0 ) y para todo n N sea, para todo x c00
Tn (x) =
n
X
j=1
x(j)
82
x(j)
j=1
83
1
x
si x 6= 0
0,
si x = 0
84
x
T 1 BY .
n
2
Adems, existe n1 N tal que, para todo n n1 ,
x0
T 1 BY
n
2
(esto simplemente porque T (x0 ) Y )
Sea entonces n2 = max{n0 , n1 } y sea = n2 . Entonces para todo
y BY se tiene
n2 y + x0 x0
n2 y + x0 x0
y=
=
.
n2
n2
n2
(4)
85
i
X
xj (
j=1
2i+1
)BX ,
y por tanto,
x
i
X
xj T 1
j=1
B y
2i Y
B
.
X
2i+1
P
Entonces T (xi )
por tanto la sucesin zn = ni=1 T (xi ) es
una sucesin de Cauchy que converge a un punto z Y . Puesto que
zn BY para todo
z BY .
Pn n, se tiene que
Adems x j=1 xj ( 2n+1 )BX 2n+1
BX (porque () < ) y
Pn
por tanto la sucesin tn = j=1 xj converge a x. Puesto que T (tn ) =
86
87
1
0
cumple lo pedido.
Para la otra implicacin, supongamos que
BY T (BX )
y sea G X un abierto. Veamos que T (G) es un abierto.
Sea a G. Por ser G abierto existe > 0 tal que
a + BX G.
Entonces
T (a + BX ) = T (a) + T (BX ) T (G)
y por lo tanto
T (a) + BY T (G)
por lo que T (G) es un abierto.
88
89
Definicin 4.18. Sea X un espacio normado e Y X un subespacio vectorial cerrado. Y se dice complementado en X si existe una
proyeccin de X sobre Y .
Ejercicio 4.2. Sea X un espacio normado, Y X un subespacio
vectorial cerrado y P : X X un operador (lineal y continuo).
Probar que P es una proyeccin si y slo si P 2 = P , P (x) Y para
todo x X y P : X Y es sobreyectiva.
Proposicin 4.19. Sea X un espacio de Banach e Y X un
subespacio vectorial cerrado. Y est complementado en X si y slo si
existe un subespacio vectorial cerrado Z X tal que X = Y Z en el
sentido algebraico, es decir, X = Y + Z e Y Z = {0}. En ese caso
se dice que Z es un complementario de Y en X.
Demostracin. Supongamos que existe Z como en el enunciado.
Tanto Y como Z son espacios de Banach y por tanto (Y Z, k k1 ) es
un espacio de Banach, donde
k(y, z)k1 = kyk + kzk.
Definimos
: Y Z X
como
(y, z) = y + z.
es claramente lineal. Tambin es continua (considerando la norma 1
en Y Z) ya que
k(y, z)k = ky + zk kyk + kzk = k(y, z)k1 .
Adems es inyectiva: (y, z) = 0 implica y + z = 0 lo que a su vez
implica que y = z = 0 por ser X = Y Z.
Tambin es sobreyectiva: para todo x X, x se puede escribir
como x = y + z (de forma nica) y (y, z) = x.
Por los Teoremas de la Grfica Cerrada (o de la Aplicacin abierta)
sabemos que 1 es continua. De hecho se tiene, aunque no lo usamos
explcitamente, que X es isomorfo a (Y Z, k k1 ); es un ejercicio comprobar que podemos sustituir la norma 1 por, por ejemplo, cualquier
norma p.
Notemos adems que la aplicacin 1 : Y Z Y Z dada por
1 (y, z) = y es claramente una proyeccin.
Definimos entonces la aplicacin
P = 1 1 : X Y Z y Z X
Es ahora muy fcil comprobar que P es una proyeccin sobre Y .
90
91
Veamos que los cocientes por subespacios complementados son exactamente lo que esperaramos que fueran.
Proposicin 4.22. Sea X un espacio de Banach, Y X un subespacio complementado de manera que X = Y Z. Entonces (X/Y ) =
Z, donde la igualdad quiere decir que ambos espacios son isomorfos
(pero no necesariamente isomtricos).
Demostracin. Sea : Z X/Y dada por (z) = [z]. Fcilmente se ve que es lineal y continua. Es inyectiva porque si [z] = 0
entonces z Y , y puesto que Y Z = {0}, se sigue que z = 0. Es
sobreyectiva porque si [x] X/Y y x = y + z, con y Y y z Z, entonces (z) = [x]. Por tanto es biyectiva. Los Teoremas de este captulo
nos dicen ahora que es un homeomorfismo lineal
Veamos ahora que los subespacios finito dimensionales estn siempre complementados. Aprovechamos la ocasin para definir las Bases
de Auerbach.
Definicin 4.23. Dado un espacio de Banach Y con dim Y = n <
una base de Auerbach de Y es un sistema {e1 , . . . , en }, {e1 , . . . , en }
tal que {e1 , . . . , en } es una base de Y , {e1 , . . . , en } Y , para todos
1 i, j n
ei (ej ) = ij
y, para todos 1 i, j n,
kei k = kej k = 1.
(Obsrvese que de aqu se sigue en particular que {e1 , . . . , en } son linealmente independientes, y por tanto una base de Y , ya que si
X
i ei = 0
i
i ei (ej ) = j = 0.
92
93
(5)
Definamos
94
y puesto que esto se puede hacer para todo > 0 se sigue que f A.
Necesitamos un lema ms. Previamente recordemos que si A es
un lgebra entonces decimos que A0 A si A0 con las operaciones
inducidas tambin es un lgebra. Obviamente, al igual que ocurra con
subespacios vectoriales, basta con que sea cerrada para las operaciones
del lgebra.
Lema 4.26. Sea A C(K, R) una sublgebra cerrada (en el sentido
topolgico). Entonces A es un conjunto reticulado.
Demostracin. Observando que
f + g + |f g|
2
sup(f, g) =
y
f + g |f g|
2
queda claro que basta demostrar que si f A entonces |f | A
Para ello vamos
|f | es el lmite uniforme de polinomios
Pma ver que
n
en f de la forma n=1 an f .
Es fcil ver que podemos suponer sin perdida de generalidad que
kf k 1.
Notemos que para todo > 0 y para todo x R, se tiene
nf(f, g) =
0 (x2 + 2 ) 2 |x|
Por otro lado, para todo x [1, 1] se tiene
x2 + 2 = 1 + 2 + (x2 1) = (1 + 2 )(1 + u),
donde
x2 1
.
1 + 2
Adems, para todo x [1, 1]
u=
|u| <
1
< 1.
1 + 2
1
|(x2 + 2 ) 2 P (x)| .
En particular se tiene que
|P (0)| 2.
95
= ag(s) + bg 2 (s)
= ag(t) + bg 2 (t)
96
97
Existencia de solucin de ecuaciones diferenciales: Una aplicacin del Teorema de Ascoli-Arzela que se puede ver en [22, p. 30] es
el siguiente teorema.
Teorema 4.33. Sea f : R2 R una funcin continua en un
abierto D. Entonces, para todo (x0 , y0 ) D la ecuacin diferencial
y 0 = f (x, y)
admite una solucin local (no necesariamente nica) que pasa por el
punto (x0 , y0 ).
Divergencia de la serie de Fourier de funciones continuas:
Se tiene el siguiente resultado.
Teorema 4.34. Existe un conjunto denso E C[, ] tal que
para toda f E la serie de Fourier de f diverge en el 0.
Es bastante frecuente encontrar esta aplicacin en los libros. Una
buena referencia para este curso puede ser [31, p. 144] o [24, ej 39 p.
59].
En [22, p. 78] se puede ver una aplicacin similar a la divergencia
de polinomios interpoladores.
Mtodos de Integracin: En [31, p. 146] se puede ver una aplicacin de los resultados de este captulo a la convergencia de mtodos
de integracin.
Condensacin de singularidades: La idea general de un principio de condensacin de singularidades es ver condiciones bajo las cuales
se puede garantizar que, si para todo punto t0 en un conjunto denso
existe una funcin f0 en un conjunto dado de funciones F que tiene
una singularidad en t = t0 entonces existe f F tal que f tiene una
singularidad en todo t S. En el caso particular de operadores entre
espacios de Banach se tiene el siguiente resultado.
Teorema 4.35. Sea X un espacio de Banach y sea Y un espacio
normado. Sea (Tnm )n,mN L(X; Y ) una sucesin (indexada por n y
m) tal que para todo m N existe xm X tal que
lm sup kTnm (xm )k = +.
n
98
T (x) = y
99
perturbamos el trmino independiente levemente (de y a yn ) y obtenemos una solucin aproximada xn que est suficientemente cerca de x
(en cierta norma) si yn est suficientemente cerca de y (en otra cierta
norma).
Vemoslo con un ejemplo. Sea la ecuacin diferencial lineal de orden
m con coeficientes variables dada por
(7)
xn x0 ,
kk
x0n x00
100
..
.
kk
(m)
x0
x(m)
n
Prcticas sugeridas
Ejercicio 4.5. Sea X un espacio de Banach. Entonces una base
algebraica suya tiene cardinal finito o no contable.
Solucin: Supongamos que X admitiera una base contable (ei )iN .
Para cada n N sea Fn el subespacio generado por {e1 , . . . , en }. Fn
es cerrado por ser de dimensin finita y puesto que (ei )iN es una base
algebraica, se tiene que X = nN Fn . Por el Teorema de Baire tiene
que existir n0 N tal que Fn0 tiene interior no vaco. Pero si Fn0
contiene una bola abierta entonces contiene tambin una bola abierta
centrada en el origen de manera que Fn0 es un entorno del origen, lo
que implica que X = Fn0 , una contradiccin con que la dimensin de
X sea infinita.
Ejercicio 4.6. Sean X, Y, Z espacios normados, con X o Y espacio de Banach. Sea
F : X Y Z
una aplicacin bilineal separadamente continua (esto es, para cada x
X la aplicacin lineal Fx : Y Z dada por
Fx (y) = F (x, y)
es continua, y anlogamente en la segunda variable. Entonces F es
continua, es decir existe > 0 tal que para todo (x, y) X Y
kF (x, y)k kxkkyk
Ejercicio 4.7. Los Teoremas de la Aplicacin Abierta y de la Grfica Cerrada fallan si no hay completitud. [31, Example 10.7, p.177]
Ejercicio 4.8. Sea X un espacio normado en el que consideramos
dos normas k k1 y k k2 . Si X es un espacio de Banach con ambas y
si existe C R+ tal que k k1 Ck k2 entonces las dos normas son
equivalentes.
Ejercicio 4.9. Sean X, Y espacios de Banach, T : X Y
un operador sobreyectivo. Entonces Y es isomorfo a un cociente de
X, en concreto a X/ ker T . Sugerencia Considerar el operador :
X/ ker T Y dado por ([x]) = T (x) y verificar que es biyectivo y
continuo. A continuacin aplicar el Teorema de la Aplicacin Abierta.
101
CAPTULO 5
104
n
n
x (vm ) = x
e
en =
e
x (en ) =
|xn | kx k.
n=1
n=1
n=1
105
Por tanto
n=1 |xn | existe y es menor o igual que kx k. Esto prueba
que est bien definido y puesto que claramente es lineal, los razonamientos anteriores tambin prueban que es continuo y kk 1.
Vamos a usar ahora que el completado de (c00 , k k ) es c0 , por lo
que para todo x c0 , se tiene que kx k = supxBc00 x (x).
Dado x c0 , para todo x Bc00 , suponiendo xj = 0 para todo
j m, se tiene
!
m
m
m
X
X
X
|xn |
xn en =
xn xn kxk
x (x) = x
n=1
m
X
|xn |
n=1
n=1
n=1
|xn | = k(x )k
n=1
x (x) =
an x n
n=1
n=1
n=1
an xn es absolutamente
n=1
por lo que est bien definido y, puesto que es claramente lineal, tambin es continuo.
106
k(x )k
m
X
n=1
|xn | k(x )k
n=1
n=1
|xn | k(x )k
n=1
por lo que kx k k(x )k y es una isometra. Slo resta comprobar que es sobre.
Sea a = (an ) ` . Consideramos la forma x `1 dada por
x (x) =
an x n
n=1
n=1
n=1
an xn es absolutamente
n=1
1
p
1
q
= 1.
m
X
m
X
|xn |q =
n=1
= x
n=1
m
X
m
X
107
n=1
!
|xn |q1 en en
= x (vm ) kx kkvm kp =
n=1
m
X
= kx k
! p1
|xn |p(q1)
= kx k
n=1
m
X
! p1
|xn |q
n=1
m
X
|xn |q kx k
n=1
! p1
|xn |q
n=1
! 1q
|xn |q
n=1
m
X
!1 p1
|xn |q
kx k.
n=1
n=1
x (x) =
an x n
n=1
n=1
108
El dual de C[0, 1]
Vamos a describir el dual de C[0, 1] como cierto subconjunto de
las funciones de variacin acotada, utilizando la Integral de RiemannStieltjes, que quizs nuestros alumnos ya conozcan. Si no la conocen,
esta puede ser una buena oportunidad para presentarla y que se familiaricen con sus propiedades bsicas.
Comenzamos definiendo funciones de variacin acotada.
Definicin 5.6. Una funcin g : [0, 1] R se llama de variacin
acotada si su variacin V (g) es finita, es decir, si
( n
)
X
V (g) :=
sup
|g(xi ) g(xi1 )| < .
0<x0 ...<xn =1
i=1
n
X
f (i )(g(xi ) g(xi1 ))
i=1
109
f dg
Tg (f ) =
0
Z
c
f dg
f dg +
f dg =
hdg
f dg +
f d(g + h) =
f dg kf k kgkv
110
|g(xi ) g(xi1 )| =
i=1
=T
n
X
i=1
n
X
i (g(xi ) g(xi1 )) =
i=1
n
X
i xi xi1
kT k
i xi xi1
=
i=1
n
X
= kT k
i (xi1 ,xi ]
= kT k,
!
i=1
111
f
n
n
n
0
k=1
En consecuencia
Z
T (f ) =
f dg,
0
y anlogamente g(c ).
Demostracin. Sea g tal que Tg = 0 y sea c (0, 1). Para cada
h > 0 tal que c + h 1 definimos
1
0
fh (t) =
y lineal en el resto
si 0 t c
si c + h t 1
Entonces
Z
Z
fh dg = g(c) g(0) +
Tg (fh ) = 0 =
0
c+h
fh dg
c
112
g(c) =
0
g(1) g(0)
g(c+ ) g(0)
si c = 0
si c = 1
si c (0, 1)
Veamos que g cumple lo pedido. Sea c (0, 1). Sea > 0. Existe
> 0 tal que si c < s < c + entonces
113
|g(c+ ) g(s)| .
Por lo tanto, tomando (tn ) (s, c + ) una sucesin decreciente que
converge a s (esto lo escribimos (tn ) & s) y dejando que n tienda a
infinito se tiene que, para todo s (c, c + ),
|g(c+ ) g(s+ )| .
De aqu se sigue que
lm g(sn ) = g(c)
sn &c
i=1
de donde
V (
g ) V (g)
y se concluye la demostracin.
Finalmente podemos enunciar
Teorema 5.12 (Representacin de Riesz). C[0, 1] = N BV [0, 1].
Demostracin. Sea
: N BV [0, 1] C[0, 1]
la aplicacin definida como
(g) = Tg .
Ya hemos visto que es lineal, continua y que
k(g)k = kTg k kgkv .
114
Por otro lado, si T C[0, 1] hemos visto que existe g BV [0, 1] tal
que Tg = T y que existe una nica g N BV [0, 1] tal que Tgg = 0, es
decir Tg = Tg = T . Por lo tanto es sobreyectiva y una isometra ya
que
kT k = k(
g )k k
g kv kgkv = kT k.
Los duales de los Lp [0, 1]
Utilizamos en esta seccin nuestros conocimientos de la Teora Integral de Lebesgue para estudiar los duales de Lp [0, 1].
Teorema 5.13. Sea 1 p, q con p1 + 1q = 1. Dado g Lq [0, 1]
sea Tg : Lp [0, 1] K la aplicacin definida como
Z 1
Tg (f ) =
f gd para todo f Lp [0, 1].
0
115
116
sup kT (y )(x)k =
y BY
1
p
+ 1q = 1 entonces
117
CAPTULO 6
119
120
121
dimensin infinita entonces por el comentario anterior existira un subespacio no trivial dentro de UX , algo claramente imposible.
Recprocamente, supongamos que dim X = n < . Puesto que ya
hemos visto que en dimensin finita todas las normas son equivalentes,
X es isomorfo a `n . Veamos ahora que la topologa dbil y la topologa
de la norma coinciden sobre X.
Si U X es un abierto dbil, ya hemos visto que U es abierto en
la topologa de la norma.
Por otro lado, si U X es un abierto en la topologa de la norma,
entonces tambin U `n es abierto (en la topologa de la norma ).
Sea x0 U . Existe r > 0 tal que B(x0 , r) U . Pero
B(x0 , r) = W (x0 ; e1 , . . . , en ; r)
y por tanto U es un abierto dbil. (Ntese que estamos usando implcitamente que puesto que X es isomorfo a `n , se tiene que ei X
(1 i n).
De hecho podemos probar an ms, que la topologa dbil es metrizable si y slo si X tiene dimensin finita. Para ello necesitamos previamente un lema algebraico que tendremos ocasin de utilizar en ms
de una ocasin.
Lema 6.3. Sea X un espacio vectorial y sean f, g1 , . . . , gn formas
lineales sobre X tales que
ni=1 ker gi ker f
Entonces f es una combinacin lineal de los gi s.
Demostracin. Razonamos por induccin sobre n. Para n = 1 el
lema es fcil y ya lo probamos en el Captulo 4. Supongamos que ya lo
hemos probado para k n 1. Entonces dados f, g1 , . . . , gn como en
el enunciado del teorema aplicamos la hiptesis de induccin a
f|ker gn , g1|ker gn , . . . , gn1|ker gn
y deducimos que, sobre el ker gn ,
f=
n1
X
ai gi
i=1
Por tanto f
Pn1
i=1
i=1
122
n1
X
ai gi = an gn
i=1
123
Proposicin 6.6. Sea X un espacio normado y x : X K una
forma lineal. Entonces x es continua para la topologa de la norma de
X si y slo si x es continua para la topologa dbil de X.
Demostracin. Las bases de entornos utilizadas para definir la
topologa dbil son abiertos en la topologa de la norma (porque son
ni=1 (xi )1 (A) con A abierto y xi norma-continuos) y de ah se sigue
que los conjuntos abiertos en la topologa dbil son k kabiertos, es
decir, la topologa de la norma es ms fuerte (tiene ms abiertos) que
la topologa dbil (y de ah el nombre). Por tanto si x : X K es
continuo para la topologa dbil, tambin lo es para la topologa de la
norma.
Recprocamente, si x X , para todo > 0 el conjunto (x )1 (, )
es un abierto dbil, y por tanto x es dbilmente continua.
Una vez probado esto podemos probar el siguiente teorema
Teorema 6.7. Sea T : X Y una aplicacin entre dos espacios
normados X e Y . Entonces T es norma-norma continua si y slo si T
es dbil-dbil continua.
Demostracin. Supongamos que T es norma-norma continua.
Entonces para todo y Y se tiene que y T : X K es norma continua; por tanto y T X y del resultado anterior se sigue
que y T es dbil continua, y de aqu se sigue que T es dbil-dbil
continua.
Recprocamente, si T es dbil-dbil continua, entonces para todo
y Y se tiene que y T es dbil continua. Por tanto y T es
124
kk
x0 K \ K
kk
kk
kk
Pero puesto que x0 K , se tiene que existe una red (xi )iI K
tal que
x0 = lm xi
i
El siguiente corolario, til en ocasiones, se puede proponer como
ejercicio
Corolario 6.9. Sea (xn ) X una sucesin que tiende dbilmente
a 0. Entonces existe una sucesin (n ) de combinaciones convexas de
los (xn ) tal que (n ) tiende en norma a 0.
Aunque la topologa dbil no se puede caracterizar en general por
sucesiones, muchas de las aplicaciones de la topologa dbil vendrn
125
precisamente a travs del estudio de la convergencia dbil de sucesiones. Puesto que la topologa de la norma es mas fuerte, es ms fcil
para una sucesin converger en la topologa dbil, y la mayora de las
aplicaciones de la topologa dbil vendrn precisamente de conseguir
que una sucesin que no converge en norma s lo haga dbilmente, y
buscar las consecuencias que se puedan extraer de eso.
Veamos esto con un poco de detalle
kk
Puede ocurrir en cambio que en un espacio normado X la convergencia dbil de sucesiones coincida con la convergencia en norma de
sucesiones. Schur prob que este es el caso si X = `1 por lo que a los
espacios que verifican esta propiedad se les llama espacios de Schur.
Teorema 6.10 (Schur). En `1 una sucesin (xn )n tiende dbilmente a x si y slo si (xn ) tiende en norma a x.
Demostracin. Hacemos la demostracin en el caso real. Se adapta al caso complejo de forma estandar y dejamos esto como ejercicio.
Veamos primero que si xn tiende dbilmente a 0 entonces tambin
converge a 0 en norma. Si no fuera as, tomando subsucesiones podemos
suponer la existencia de > 0 tal que para todo n N,
kxn k =
|xin | > .
i=1
X
i=N1
|xi1 | < .
5
+1
126
Entonces
N1
X
|xi1 |
4
,
5
i1 xi1
4
,
5
i=1
y por tanto
N1
X
i=1
1
X
X
X
i i
i
i
1 x 1 +
i x 1
i x 1 =
i=1
i=1
i=N1 +1
N
1
X
X
4
3
i1 xi1
|xi1 |
= .
5
5
5
i=1
i=N +1
1
X
|xin2 | < .
5
i=N +1
2
Entonces
N2
X
|xin2 |
i=1
4
,
5
1 +1
2
y por tanto, dados los signos N1 +1 = sgn(xN
), ,N2 = sgn(xN
n2
n2 )
tenemos que
N2
X
i xin2
i=N1 +1
N2
X
|xin2 |
i=N1 +1
N2
X
|xin2 |
i=1
N1
X
i=1
|xin2 |
3
4
= .
5
5
5
2
X
X
X
X
i
i
i
i
i xn2 +
i x 1
i xn2 =
i xn2
i=1
i=N1 +1
i=1
i=N2 +1
127
N
N
1
2
X
X
X
i
i
i
i x 1
i xn2
i xn2
i=1
i=N2 +1
i=N1 +1
N
N
1
2
X
X
X
i
i
|xn2 |
|xi1 |
i xn2
i=1
i=N1 +1
i=N2 +1
3
=
5
5 5
5
Continuando la construccin por induccin, obtenemos dos sucesiones
1 < n2 < n3 < y N1 < N2 < N3 < y un vector = (i ) `
definido como
i = sgn(xink ) si Nk1 < i Nk
de manera que, para todo k N,
(xnk )
5
en contradiccin con el hecho de que xn tienda dbilmente a 0.
128
(x y )(x) > 0,
y ahora podemos razonar como lo hacamos en el caso de la topologa
dbil.
De nuevo es fcil ver que la topologa dbil es una topologa vectorial.
Siguiendo exactamente la misma demostracin que para el caso de la
topologa dbil, mutatis mutandi se demuestra que una red (o sucesin)
(xi )iI X tiende dbil a x0 X si y slo si para todo x X
lm J(x)(xi ) lm xi (x) = x0 (x)
i
129
lm xi (x)
i
sup
y BX
130
por lo que
x (x ) > 1,
luego kx k > 1 y por lo tanto
BX BX
.
X
|x (xn ) y (xn )|
d(x , y ) =
.
2n
n=1
Claramente la serie es siempre convergente y por tanto d est bien
definida. Es fcil ver que d es una distancia en BX . Veamos entonces
que la aplicacin identidad
Id : (BX , w ) (BX , d)
es un homeomorfismo, lo que automticamente implicar que (BX , w )
es metrizable.
Sea x0 BX y sea
U = {x BX tales que d(x , x0 ) < }
un entorno abierto de x0 (BX , d). Sea n0
X
1
1
=
<
n
n
0 i
2 0
2
i=1
131
X
|x0 (xn ) x (xn )|
d(x , x0 ) =
=
2n
n=1
=
n0
X
|x (xn ) x (xn )|
0
n=1
2n
X
|x0 (xn ) x (xn )|
+
2n
n=n +1
0
1
+
< ,
n
0
2 n=1 2 n+1
132
sm (t) =
n ent
n=m
y sea
Pm1
am =
j=0
sj
.
m
Sea 1 < q tal que la sucesin (am ) Lq [, ] es acotada.
Entonces existe y Lq [, ] tal que para todo n Z
Z
1
y(t)ent dt,
n =
2
es decir
n ent
n=
es la serie de Fourier de y.
Demostracin. Recordemos la notacin: Para todo x L1 [, ]
y n Z, definimos el n-simo coeficiente de Fourier de x como
Z
1
x(n) =
x(t)ent dt.
2
Resulta claro de las definiciones que para todo n Z y para todo
m > |n| se tiene
m |n|
a
m (n) =
n .
m
Sea q como en la hiptesis y sea 1 p < de manera que p1 + 1q = 1.
Puesto que por hiptesis (am )m Lq = (Lp ) es una sucesin acotada, podemos aplicar el Corolario 6.17 y obtenemos una subsucesin
nt
(amj ) dbil convergente a y Lq . Para todo n Z sea xn (t) = e 2 .
Entonces para todos m, n
am (xn ) = a
m (n),
y(xn ) = y(n)
y por tanto
y(n) = lm a
mj (n) = lm
j
mj |n|
n = n .
mj
133
CAPTULO 7
Operadores compactos
En el estudio de las aplicaciones lineales entre espacios de Banach
(o simplemente normados) pronto se ve que muchos problemas que en
el caso de espacios finito-dimensionales tienen solucin resultan muy
difciles, o imposibles, de solucionar. Con frecuencia el problema es
esencialmente la no compacidad de la bola unidad. Buena parte de las
tcnicas del Anlisis Funcional van dirigidas a solucionar este problema.
Una de las formas de abordarlo es transformar la bola unidad mediante
un operador en un conjunto relativamente compacto. A los operadores
que cumplen esa condicin les llamamos operadores compactos.
Es claro que los operadores de rango finito son compactos. Adems
a menudo los operadores compactos son precisamente la clausura en el
espacio normado de los operadores de los operadores de rango finito.
Vemos tambin la propiedad de ideal de los operadores compactos,
as como el fundamental Teorema de Schauder, cuya demostracin constituye una bonita aplicacin del Teorema de Ascoli-Arzela.
Para terminar el captulo, estudiamos la relacin de los operadores
compactos con los operadores completamente continuos.
Hemos basado la preparacin de este captulo en [31], [24] y [13].
Operadores compactos
Empezamos definiendo los operadores compactos.
Definicin 7.1. Sean X e Y espacios normados. Un operador
T : X Y se dice compacto si T (BX ) es un conjunto compacto.
Denotaremos por K(X; Y ) al espacios de los operadores compactos de
X en Y con la norma heredada de L(X; Y ). Si X = Y escribiremos
K(X) en lugar de K(X; X).
Definicin 7.2. Sean X e Y espacios normados. Un operador T :
X Y se dice de rango finito si dim(Im(T )) < . Denotaremos
por F(X; Y ) al espacios de los operadores de rango finito de X en Y
con la norma heredada de L(X; Y ). Si X = Y escribiremos F(X) en
lugar de F(X; X).
135
136
7. OPERADORES COMPACTOS
1
n
7. OPERADORES COMPACTOS
137
Por hiptesis existe una subsucesin (xnj )j (xn )n tal que T (xnj )j
converge a y Y . De ah se sigue con facilidad que la subsucesin
(ynj )j (yn )n tambin converge a y, y por tanto y T (BX ). Lo que
prueba que T (BX ) es compacto.
(ii) Si T es compacto, entonces T (BX ) es precompacto, y por tanto
T (BX ) tambin lo es.
Recprocamente, si Y es Banach y T (BX ) es precompacto, entonces
T (BX ) es precompacto y completo, y por tanto compacto.
Probemos (iii): Si T es de rango finito entonces Im(T ) es cerrado
en Y por ser un espacio de dimensin finita. Entonces T (BX ) Im(T )
y T (BX ) es un conjunto cerrado y acotado en un espacio de dimensin
finita, luego es compacto.
Recprocamente, sean X e Y espacios de Banach, T : X Y
compacto tal que T (X) es cerrado. Por ser T compacto, es continuo.
Adems T (X) es un espacio de Banach y T : X T (X) es un
operador sobre. Por el Teorema de la Aplicacin Abierta, T (UX ) es un
abierto en T (X). Por tanto existe > 0 tal que
E := {y T (X) tales que kyk < } T (BX )
y puesto que T (X) es cerrado, tenemos que
E = {y T (X) tales que kyk } T (BX ) T (X)
Puesto que T (BX ) es compacto, tenemos que la bola cerrada de centro 0 y radio de T (X) es compacta. Y esto implica que dim(T (X)) <
.
Veamos a continuacin que los operadores compactos forman un
ideal de operadores cerrado en la norma usual de operadores
Teorema 7.5. Sean X, Y espacios normados. Entonces
1. Para todos T, S K(X; Y ), para todos , K, el operador
T + S : X Y
es compacto.
2. (Propiedad de ideal de operadores) Si E, F son espacios normados R : E X, S : Y F son operadores y T
K(X; Y ) entonces
S T R : E F
es compacto.
138
7. OPERADORES COMPACTOS
7. OPERADORES COMPACTOS
139
|(yn i
xBX
yn j (y)|
140
7. OPERADORES COMPACTOS
n
X
xi ei = (x1 , . . . , xn , 0, 0, . . .).
i=1
7. OPERADORES COMPACTOS
141
|2n xn f |2 < 2
n=1
Entonces
n0
2
x 2
x
X
X
xn
n
n
2
k n f k2 =
n fn +
n < 2 + 2 = 22
2 n
2
2
n=1
n=n +1
0
! pq p1
X
X
p =
|ai,j |q < .
i=1
j=1
Entonces el operador
TA : `p `p
dado por
TA (x) =
!
ai,j xj
j=1
XX
X
kTA (x)k1 =
a
x
=
a
x
|ai,j xj | =
i,j j
i,j j
j=1
XX
j
|ai,j ||xj |
i 1
X
j
|xj |
i=1
X
i
j=1
|ai,j | =
X
j
142
7. OPERADORES COMPACTOS
X
kTn T k = sup k(Tn T )(x)k = sup
ai,j xj
=
xB`1
xB`1
j=n+1
i
1
X
X
= sup
ai,j xj sup
|ai,j xj | =
xB`1
xB`1
i=1 j=n+1
= sup
xB`1
= sup
xB`1
X
X
j=n+1
X
j=n+1
i=1 j=n+1
X
j=n+1
|xj |
|ai,j | =
xB`1
j>n
7. OPERADORES COMPACTOS
143
! 1q
! p1
X
X
q
p
=
|a
|
|x
|
i,j
j
j=1
j=1
i p
! 1q
X
q
= kxkp p .
|ai,j |
= kxkp
j=1
i p
Ya hemos visto que TA es continuo. Veamos que es incluso compacto. Podemos de nuevo considerar las matrices An y sus operadores
de rango finito asociados Tn = T n . De nuevo slo necesitamos comprobar que Tn tiende a T en la norma de operadores.
kTn TA k = sup k(Tn TA )(x)kp = sup
xB`p
xB`p
!
ai,j xj
j=n+1
i
X
sup
|a
x
|
i,j
j
xB`p
j=n+1
i p
! 1q
! p1
X
X
q
p
=
sup
|a
|
|x
|
i,j
j
xB`p
j=n+1
j=n+1
i p
! 1q
X
q
0.
= sup kxkp
|a
|
i,j
xB`p
j=n+1
i p
144
7. OPERADORES COMPACTOS
7. OPERADORES COMPACTOS
145
Veamos que otras situaciones en las que podemos probar con facilidad la compacidad de Tk : X Y . Sea 1 < p , sea X = Lp [0, 1],
sea Y = Lq [0, 1] con p1 + 1q = 1 y supongamos que k Lq ([0, 1] [0, 1]).
Entonces, para todo x X y s [0, 1] usando la desigualdad de Hlder
anlogamente a como lo hicimos en el Ejemplo 7.10 tenemos
1q
Z 1
Z 1
|Tk (x)(s)|
|k(s, t)||x(t)|dt kxkp
|k(s, t)|q dt
0
y por lo tanto
Z
1q
1
q
|Tk (x)(s)| ds
kTk (x)kq =
Z
1q
kxkp
= kxkp kkkq
sup
k(Tk Tn )(x)kq =
xBLp [0,1]
Z
=
sup
xBLp [0,1]
Z
sup
xBLp [0,1]
kxkp
1q
|(Tk Tn )(x)(s)|q ds
1
q
1q
= kk kn kq 0.
146
7. OPERADORES COMPACTOS
A menudo el inters de los operadores compactos radica en su capacidad de mejorar la convergencia. Para estudiar esto necesitamos
previamente una definicin.
Definicin 7.12. Sean X, Y espacios de Banach. Un operador T :
X Y se dice completamente continuo si transforma sucesiones
dbilmente convergentes en sucesiones convergentes en norma, es decir,
si para todo sucesin (xn )n X tal que xn tiende dbilmente a x X
se tiene que T (xn ) converge en norma a T (x).
Teorema 7.13. Sean X, Y espacios de Banach. Entonces si T es
compacto T es completamente continuo. Recprocamente, si X es reflexivo y T : X Y es completamente continuo entonces T es compacto
(de hecho basta pedir X 6 `1 , pero esto se sigue de un resultado muy
profundo de Rosenthal).
Demostracin. Supongamos que T es compacto y xn tiende dbilmente a x. (xn ) X es dbilmente acotada, y por tanto acotada
por el Teorema 4.9. Si T (xn ) 6 T (x) podemos suponer, pasando a una
subsucesin, que existe > 0 tal que
kT (xn ) T (x)k
(10)
7. OPERADORES COMPACTOS
147
Prcticas sugeridas
Ejercicio 7.1. Sea X un espacio de Banach y sea T K(X) \
F (X). Demostrar que 0 T (SX ). Sugerencia: Utilizar el Teorema de
la Aplicacin Abierta.
Ejercicio 7.2. Sea C (1) [0, 1] el espacio de las funciones con derivada primera continua con la norma kf k = kf k + kf 0 k . Demostrar
que la inclusin formal
i : C (1) [0, 1] C[0, 1]
es un operador compacto. Sugerencia: Utilizar el Teorema de AscoliArzela.
Ejercicio 7.3. Sea 1 < p < y sea T : c0 `p un operador
continuo. Demostrar que T es compacto.
CAPTULO 8
150
(I T )
T n,
n=0
X
n=0
kT k
X
n=0
kT kn =
1
.
1 kT k
151
P
n
Es decir, la serie
convergente en el espacio
n=0 T es absolutamente
P
n
de Banach L(X) y por tanto la serie
T
converge en L(X). Por
n=0
tanto
(I T )
T n = (I T ) + (T T 2 ) + (T 2 T 3 ) + = I
n=0
!
T n (I T ) = (I T ) + (T T 2 ) + (T 2 T 3 ) + = I
n=0
Lema 8.5. Sea X un espacio de Banach y T L(X) un operador
tal que existe p N de manera que
kT p k < 1.
Entonces el operador (I T ) L(X) es inversible y adems
(I T )1 =
T n,
n=0
1 + kT k + + kT p1 k
.
1 kT p k
kT k =
n=0
X
n=0
X
n=0
pn
kT k +
kT
pn+1
k + +
n=0
kT p kn (1 + kT k + kT p1 k) =
kT pn+p1 k
n=0
1 + kT k + + kT p1 k
1 kT p k
152
X
n
(S T )T 1 ,
S 1 = T 1
n=0
kS 1 k
kT 1 k
1 k(S T )T 1 k
y
kS 1 T 1 k
kT 1 k2 kS T k
1 k(S T )T 1 k
1 1
(T S)T 1
n
n=0
=T
(ST
1 1
=T
(T S)T 1 )n .
n=0
1
X
kT 1 k
1
1
kS kT k
k(T S)T 1 kn =
.
1 k
1
k(T
S)T
n=0
Adems, como
(S 1 T 1 ) = S 1 T T 1 S 1 ST 1 = S 1 (T S)T 1
tenemos que
kS 1 T 1 k kS 1 kk(T S)T 1 k
kT 1 k2 kS T k
.
1 k(S T )T 1 k
Corolario 8.7. Sea X un espacio de Banach. Entonces el conjunto C de operadores inversibles en X es un conjunto abierto de L(X) y
la aplicacin T 7 T 1 es un homeomorfismo de C en s mismo.
153
1
kT 1 k
y por tanto
kT 1 (S T )k kT 1 kkS T k < 1
y el lema anterior nos dice que S es inversible. Por tanto C es abierto.
Sea ahora (Tn )n C una sucesin de operadores inversibles tales
que Tn T C. Entonces a partir de cierto n0 se tiene que
1
kTn T k <
kT 1 k
y de nuevo por el lema anterior tenemos que
kTn1 T 1 k
kT 1 k2 kTn T k
1 k(Tn T )T 1 k
154
155
uy
.
k
Entonces
T (x) = T
uy
k
=
ku
= u = kx + y,
k
es decir
(T kI)(x) = y
y por tanto T kI es sobreyectiva, y ahora terminamos con el Teorema
de la Aplicacin Abierta.
En cambio no es difcil dar ejemplos de operadores para los que
e (T ) 6= a (T ) y a (T ) 6= (T ) ([31, 12.7]).
Empecemos a estudiar el espectro de un operador
Teorema 8.11. Sea X un espacio de Banach y T L(X). Entonces
1. Sea k K tal que |k|m > kT m k para algn m N. Entonces
k 6 (T ) y
1
(T kI)
X
Tn
=
.
n+1
k
n=0
|k| nf kT n k n kT k.
n
2. (T ) K es un conjunto compacto
3. Si X tiene dimensin infinita y T K(X) entonces 0 (T ).
Demostracin. 1. Notemos que k 6= 0 y que
T
T kI = k I
.
k
El Lema 8.5 nos dice que T kI es inversible y que
1
X
1
T
1 X Tn
Tn
1
(T kI) =
I
=
=
k
k
k n=0 k n
k n+1
n=0
El resto es fcil
156
s,t
luego
kT k kkk .
En ese caso decimos que T es un operador integral de Fredholm con
ncleo continuo k(, ).
Si S es otro operador integral de Fredholm con ncleo continuo
h(, ), es fcil ver que T S es tambin un operador integral de Fredholm con ncleo continuo k h, donde para todos 0 s, t 1,
Z 1
k h(s, t) =
k(s, u)h(u, t)du
0
y
kT Sk kkk khk .
Haciendo T = S (es decir, h = k) y aplicando induccin tenemos que
para todo n N T n es un operador integral de Fredholm con ncleo
157
continuo
k
(n)
(s, t) =
0
(11) (I T ) (f )(s) =
T (f )(s) = f (s) +
n=0
Z
X
n=1
Observemos que la serie n=1 k (n) (s, t) converge uniforme y absolutamente en (s, t) [0, 1][0, 1] (ya que para todo n N kk (n) k kkkn )
y por tanto
h(s, t) :=
k (n) (s, t)
n=0
es decir
(I T )1 = I + B,
donde B es otro operador integral de Fredholm con ncleo continuo.
Si x es un autovector del autovalor k de T entonces se tiene que
T (span[x]) span[x]. Decimos entonces que span[x] es invariante por
T . En general un subespacio V X se dice invariante si por T si
T (V ) V . Claramente {0} y X son subespacios invariantes para todo
T L(X). Durante un largo tiempo no se supo si exista algn espacio
de Banach X y algn operador definido en l T que no tuviera ningn
subespacio invariante no trivial (esto es, distinto de {0} y X); recientemente P. Enflo ([18]) encontr tales X y T . An no se sabe si dado un
espacio de Hilbert H existe T L(H) sin subespacios invariantes no
triviales. En cambio, recientemente Lomonosov ha probado que todo
operador compacto entre espacios de Hilbert admite subespacios invariantes no triviales. Una exposicin de estos problemas se puede ver en
[20] y la bibliografa all citada.
En relacin a esto, veamos a continuacin un ejemplo de un operador entre espacios de Hilbert sin autovalores.
158
,
f =
0 ,
si t [, + ]
si t 6 [, + ]
I)(f )k22
Z
=
0
2
1
( t)2 dt = =
3
159
como
wf (z) = f ((T zI)1 ).
Sabemos que (T ) C es un abierto (porque (T ) es cerrado). Veamos
que wf es analtica en (T ): sea z0 (T ). Entonces
(T z0 I) (T zI) = (z z0 )I
y por tanto, componiendo por la derecha con (T zI)1 y por la
izquierda con (T z0 I)1 tenemos
(T zI)1 (T z0 I)1 = (z z0 )(T z0 I)1 (T zI)1
y por lo tanto
(T zI)1 (T z0 I)1
z z0
1
1
= f ((T z0 I)1 )
= lm f (T z0 I) (T zI)
wf (z) wf (z0 )
= lm f
lm
zz0
zz0
z z0
=
zz0
y a continuacin demostrar la
160
Proposicin 8.15 (Frmula del Radio Espectral). Si X es un espacio de Banach complejo y T L(X) entonces
1
r (T ) = nf kT n k n = lm kT n k n .
nN
Lema 8.18. Sea X un espacio de Banach, T K(X). Entonces
Im(I T ) es cerrado y tiene codimensin finita.
Demostracin. Veamos en primer lugar que Im(I T ) es cerrado. Sea q : X X/ ker(I T ) la aplicacin cociente. Entonces
sabemos que I T factoriza como
I T = (I^
T) q
donde
I^
T : X/ ker(I T ) X
161
(13)
y por tanto
y T (y) = lm xnj T (xnj ) = y y = 0,
j
162
1=
nf
yker(IT )n
kxn yk kxn k 2
163
por lo que
(I T )(xn ) + xm (I T )(xm ) ker(I T )n
y por tanto
kT (xn ) T (xm )k = kxn ((I T )(xn ) + xm (I T )(xm )k 1
por (15).
Por tanto la sucesin (T (xn ))n no puede tener subsucesiones convergentes, en contradiccin con el hecho de que T sea compacto.
Lema 8.20. Sea X un espacio de Banach y T K(X). Entonces
existe n N tal que los subespacios cerrados N := ker(I T )n y
R := Im(I T )n verifican
1. codimR <
2. N R = X
3. (I T )(N ) N
4. (I T )(R) R
5. (I T )R := (I T )|R L(R) es invertible
6. (I T )N := (I T )|N L(N ) es nilpotente, en concreto
(I T )nN = 0
Demostracin. Aplicando el Lema 8.19 a (I T ), a (I T ) =
I T y a (I T ) = I T tenemos que existe n N tal que, para
todo m n,
ker(I T )n = ker(I T )m ,
ker(I T )n = ker(I T )m ,
ker(I T )n = ker(I T )m .
Usando que Im(I T )m es cerrado para todo m N, ya hemos
visto en la demostracin del Lema 8.18 que
Im(I T )m = (ker(I T )m ) .
Por tanto, para todo m n se tiene
Im(I T )n = (ker(I T )n ) = (ker(I T )m ) = Im(I T )m .
Sean entonces N y R como en el enunciado. Ambos son cerrados y
dim N < y codimR < (esto ya est probado en el Lema 8.18).
Adems
(I T )(N ) = (I T )(ker(I T )n+1 ) ker(I T )n = N
y
164
165
Proposicin 8.21. Sea X un espacio de Banach de dimensin infinita y sea T K(X). Entonces, para todo k (T ) \ {0} existen
dos subespacios de X topolgicamente complementarios Nk y Rk invariantes por kI T y que verifican
1. (kI T )|Rk es un isomorfismo de Rk en s mismo.
2. Existe nk N tal que
(kI T )n|Nk 0,
k
T )n|Nk
k
es decir, (kI
es nilpotente.
3. {0} =
6 ker(kI T ) Nk y dim Nk < .
Demostracin. Puesto que k1 T es compacto para todo k 6= 0,
podemos aplicar la Proposicin 8.20 a (I k1 T ) = k1 (kI T ) para
obtener nk , Nk , Rk , (I T )Nk e (I T )Rk con las propiedades all establecidas. Entonces Rk y Nk son topolgicamente complementarios y
(1) y (2) quedan probados.
Puesto que (kI T )|Rk es un isomorfismo (esto es (1)) y dado que
X = Nk Rk , si Nk fuera {0}, tendramos que (kI T ) sera inversible,
en contradiccin con que k (T ). Por tanto Nk 6= {0}. Ahora, dado
que (kI T )|Nk es nilpotente, no puede ser inyectivo, por lo que existe
0 6= x0 Nk tal que (kI T )(x0 ) = 0, es decir
x0 ker(kI T )
lo que prueba que ker(kI T ) 6= {0}.
Puesto que Nk = ker(kI T )nk (ver Lema 8.20), est claro que
ker(kI T ) ker(kI T )nk , y que
dim Nk <
se sigue del Lema 8.20.
166
167
Como corolario resaltamos de forma explcita la llamada Alternativa de Fredholm, que enunciamos ms abajo. Antes de enunciarla,
intentaremos motivarla brevemente.
Pensemos en el sistema de n ecuaciones lineales con n incgnitas
Ax = y
t
168
X
X
p
|ai,j |q
< .
q
i=1
j=1
Entonces
1. Se tiene una de las dos alternativas siguientes
a) O bien para todo y `p existe un nico x `p tal que
(1 a1,1 )x1 a1,2 x2 a1,3 x3 = y1
a2,1 x1 + (1 a2,2 )x2 a2,3 x3 = y2
a3,1 x1 a3,2 x2 + (1 a3,3 )x3 = y3
..
..
..
.
.
.
b) O bien existe 0 6= x `p tal que
(16)
(17)
(18)
(19)
169
En este caso no pueden existir un nmero infinito de vectores x `p linealmente independientes que verifiquen
(16)
2. El mximo nmero de vectores x `p linealmente independientes que verifiquen (16) es igual al mximo nmero de vectores x `q linealmente independientes que verifiquen el sistema traspuesto
(1 a1,1 )x1 = a2,1 x2 + a3,1 x3 +
(1 a2,2 )x2 = a1,2 x1 + a3,2 x3 +
(1 a3,3 )x3 = a1,3 x1 + a2,3 x2 +
..
..
..
.
.
.
Demostracin. Ya hemos visto en el Ejemplo 7.10 que la matriz
A define un operador compacto T : `p `p . Es un ejercicio comprobar
que At define precisamente el operador traspuesto T : `q `q . Por
lo tanto no hay ms que aplicar la alternativa de Fredholm.
Veamos el anlogo continuo del ejemplo de arriba, lo que se conoce
como ecuacin integral de Fredholm de segunda clase.
Teorema 8.26. Sea k(, ) L2 ([0, 1] [0, 1]). Entonces
1. Se tiene una y slo una de las dos siguientes alternativas
a) O bien para todo y L2 [0, 1] existe un nico x L2 [0, 1]
tal que para casi todo s [0, 1]
Z 1
x(s)
k(s, t)x(t)dt = y(s)
0
Z
(20)
k(s, t)x(t)dy
x(s) =
0
170
Demostracin. Ya hemos visto en el Ejemplo 7.11 que el operador T : L2 [0, 1] [0, 1] dado por
Z 1
k(s, t)x(t)dt
T (x)(s) =
0
CAPTULO 9
Espacios de Hilbert
Los espacios hoy conocidos como espacios de Hilbert estuvieron
histricamente entre los primeros espacios de Banach estudiados y
pronto se comprendi que ocupan un lugar destacado entre todos ellos. La diferencia radical entre un espacio de Hilbert y un espacio de
Banach cualquiera es que en un espacio de Hilbert tenemos un gran
conocimiento de la geometra del espacio, y adems esta geometra
coincide con nuestra intuicin geomtrica finito dimensional. Esto se
traduce en una serie de teoremas como el Teorema de Representacin
de Riesz, el Teorema de la Proyeccin Ortogonal y otros que permiten
que trabajar en un espacio de Hilbert sea en general mucho ms cmodo que trabajar en otro espacio de Banach. Una de las consecuencias
de esta facilidad en el estudio de los espacios de Hilbert es que muchos
de los grandes teoremas del Anlisis Funcional se pueden probar de
manera mucho ms sencilla en el caso de los espacios de Hilbert. Hemos
incluido algn ejemplo de esta situacin en el desarrollo del captulo y
planteamos otros ejemplos de esto como ejercicios.
Comenzamos estudiando el producto escalar, a continuacin la Desigualdad de Schwartz y la definicin de norma asociada a un producto
escalar, lo que nos lleva a la definicin de espacio de Hilbert. Seguidamente vemos la Identidad de Polarizacin, que nos muestra como la
norma caracteriza al producto escalar, la crucial nocin de ortogonalidad y el Teorema de Pitgoras y la Ley del Paralelogramo, todas ellas
herramientas sencillas de probar pero imprescindibles en la Teora de
espacios de Hilbert.
A continuacin probamos el primero de los resultados grandes del
captulo, probando que la distancia de un punto a un convexo cerrado
en un espacio de Hilbert se alcanza en un nico punto. De ah deducimos
el Teorema de la Proyeccin Ortogonal, lo que nos lleva a estudiar la
complementacin en espacios de Hilbert.
Seguidamente comenzamos el estudio de los conjuntos ortogonales,
lo que nos lleva a probar la Desigualdad de Bessel y el Teorema de
Riesz-Fischer, a definir Bases Hilbertianas y a presentar seguidamente
171
172
9. ESPACIOS DE HILBERT
9. ESPACIOS DE HILBERT
173
zi wi
i=1
174
9. ESPACIOS DE HILBERT
dada por
Z
hf, gi =
f (t)g(t)dt
0
9. ESPACIOS DE HILBERT
175
Probamos a continuacin la Identidad de Polarizacin para el producto escalar. Dicha identidad es cierta en el contexto ms general de
las formas sesquilineales si los espacios son complejos y en de las formas bilineales simtricas si los espacios son reales, y as lo podemos
mencionar a los alumnos, pero puesto que no la usaremos ms que en
el producto escalar, slo la probamos en ese caso.
Lema 9.5 (Identidad de Polarizacin). Sea H un espacio vectorial
complejo con un producto escalar definido en l. Entonces
1
hx, yi =
kx + yk2 kx yk2 + kx + yk2 kx yk2
4
y
1
kx + yk2 kxk2 kyk2
<hx, yi =
2
por lo que en el caso real
1
kx + yk2 kxk2 kyk2
2
Demostracin. Inmediata.
hx, yi =
Obsrvese que hx, yi = 0 para todo y H si y slo si x = 0; claramente, si x = 0 entonces hx, yi = 0 para todo y H. Recprocamente,
si hx, yi = 0 para todo y H en particular hx, xi = 0 lo que implica
que x = 0.
176
9. ESPACIOS DE HILBERT
i=1
Demostracin. Aplicando induccin, es fcil ver que slo es necesario probar el caso n = 2. Supongamos que x1 x2 . Entonces
kx1 +x2 k2 = hx1 +x2 , x1 +x2 i = hx1 , x1 i+hx2 , x2 i+hx1 , x2 i+hx2 , x1 i =
hx1 , x1 i + hx2 , x2 i = kx1 k2 + kx2 k2 .
Proposicin 9.8 (Ley del Paralelogramo). Sea H un espacio de
Hilbert, x, y H. Entonces
kx + yk2 + kx yk2 = 2 kxk2 + kyk2
Demostracin. Dados x, y se sigue de la identidad de polarizacin que
kx + yk2 = kxk2 + kyk2 + 2<hx, yi
y
kx yk2 = kxk2 + kyk2 2<hx, yi.
Ahora se suman las dos ecuaciones.
9. ESPACIOS DE HILBERT
177
Sea d = dist(0, K). Por definicin existe una sucesin (kn ) K tal
que kkn k d. De la Ley del Paralelogramo se sigue que
(21)
kn km
2 1
kn + km
2
2
2
= (kkn k + kkm k )
.
2
2
2
m
Puesto que K es convexo, kn +k
K y por tanto
2
kn + km
2
d2 .
2
Sea > 0. Entonces existe N N tal que para todo n N kkn k2 <
d2 + 41 2 . Por tanto, para todos m, n N se sigue de (21) que
kn km
2 1 2 1 2
< (2d + ) d2 = 1 2 .
2
2
2
4
Por tanto (kn )n es una sucesin de Cauchy y puesto que H es completo y K es cerrado sabemos que existe k0 K tal que kn k0 .
Adems
d kk0 k = kk0 kn + kn k kk0 kn k + kkn k d
y por tanto
kk0 k = d.
178
9. ESPACIOS DE HILBERT
2<hx y0 , yi kyk2
9. ESPACIOS DE HILBERT
179
para todo y M .
Queremos probar que hx y0 , yi = 0. Fijemos y M y llamemos
hx y0 , yi = re , con r 0, [0, 2). Consideremos para cada
t R+ el vector te y M . La ecuacin (22) aplicada a este vector nos
dice que
2<(te re ) t2 kyk2
es decir
2tr t2 kyk2 .
Puesto que esto ocurre para todo t R+ se sigue que r = 0, de
donde
hx y0 , yi = 0
como queramos probar.
Recprocamente, sea y0 M tal que x y0 M . Entonces, para
todo y M , tambin y y0 M y por tanto
x y0 y y0
y de ah se sigue, por el Teorema de Pitgoras, que
kx yk2 = k(x y0 ) + (y0 y)k2 =
= kx y0 k2 + ky0 yk2 kx y0 k2
y por tanto
kx y0 k = dist(y, M ).
El Teorema anterior no es el fin de la historia. Vemos que dado un
subespacio vectorial M de H existe una aplicacin bien definida
P : H M
que lleva x a y0 , donde y0 es el nico elemento de M tal que kx y0 k =
dist(x, M ) y simultneamente es el nico elemento de M tal que
x y0 M.
Por supuesto, dado que estamos trabajando con espacios normados, nos gustara que esta aplicacin fuera lineal y continua. Este es el
contenido principal del siguiente teorema, que en realidad es una continuacin del anterior. Necesitamos previamente un concepto nuevo.
180
9. ESPACIOS DE HILBERT
9. ESPACIOS DE HILBERT
181
182
9. ESPACIOS DE HILBERT
Z
E(f |G) =
(23)
G
f d
G
La interpretacin probabilstica que se suele hacer de esto es la siguiente. La -lgebra G (o ms bien las funciones G-medibles) representa
lo que sabemos, o ms correctamente los observables en unas circunstancias dadas, o un instante dado. Entonces E(f |G) representa lo
mejor que podemos decir acerca de una funcin f con los conocimientos representados en G.
La construccin de la Esperanza Condicional se hace habitualmente
utilizando el Teorema de Radon-Nikodym. Vamos a ver una construccin elemental.
Consideramos primeramente el caso p = 2. En ese caso, es un ejercicio ver que la proyeccin ortogonal es una proyeccin que verifica
(23).
Recordemos que si p q, Lp [0, 1] Lq [0, 1]. Por tanto para todo
p > 2 podemos definir el operador esperanza condicional simplemente
restringiendo la esperanza condicional en L2 . De nuevo es fcil ver que
el operador as definido termina en Lp ([0, 1], G, ) y verifica (23).
El problema viene cuando tratamos de extender la esperanza condicional a todo L1 . No incluimos todos los detalles, que requieren de un
uso ms o menos cuidadoso de tcnicas estandar de Teora de la Medida. El lector interesado puede consultar por ejemplo [35].
Quizs sea interesante mencionar que siguiendo en esta direccin se
puede, a partir de esta definicin de esperanza condicional y utilizando
un teorema de convergencia de martingalas, demostrar el Teorema de
9. ESPACIOS DE HILBERT
183
i xi = 0.
i=1
i=1
184
9. ESPACIOS DE HILBERT
Puesto que los sistemas ortonormales son linealmente independientes, dado un sistema ortonormal podemos, utilizando el lgebra Lineal, extender dicho sistema a una base de Hamel de H. Sin embargo
habitualmente las bases de Hamel no son un objeto de trabajo interesante en la Teora de Espacios Normados, y en particular en la Teora
de Espacios de Hilbert, puesto que no sacan partido de la estructura
topolgica y esto las hace ser demasiado grandes: ya vimos en el Ejercicio 4.5 que los espacios de Banach infinito dimensionales no pueden
tener bases de Hamel numerables.
En la Teora de Espacios Normados de dimensin Infinita el objeto interesante son las bases de Schauder, y en la Teora de Espacios
de Hilbert son las bases ortonormales que iremos construyendo en los
resultados siguientes.
Vamos a empezar viendo el proceso de ortogonalizacin de GramSchmidt que nos dice que, dado un conjunto contable linealmente independiente de H podemos construir inductivamente un conjunto ortonormal que genera el mismo subespacio vectorial en cada paso.
Teorema 9.18 (Proceso de Ortonormalizacin de Gram-Schmidt).
Sea H un espacio de Hilbert y {xn ; n N} H un subconjunto linealmente independiente. Entonces existe un conjunto ortonormal {en ; n
N} tal que, para todo n N,
span[e1 , . . . , en ] = span[x1 , . . . , xn ]
Demostracin. Definimos inductivamente la sucesin (en )n . En
realidad vamos definiendo una sucesin ortogonal (yn ) y a continuacin
la normalizamos. En primer lugar,
y1 = x1
y
e1 =
y1
.
ky1 k
yn
.
kyn k
Todo es como en el caso finito dimensional que ya conocen as que
dejamos como ejercicio la conclusin de la demostracin.
en =
9. ESPACIOS DE HILBERT
185
Ejemplo 9.19.
1. En `2 , la base cannica (en ) es ortonormal.
2. Si en `2 ortonormalizamos la base sumante (xn )n con xn =
(1, (n)
, 1, 0, 0, . . .) obtenemos la base cannica.
3. Si ortonormalizamos la sucesin 1, x, x2 , . . . , en L2 [0, 1] obtenemos la sucesin
r
2n + 1
en =
Pn (x)
2
donde los polinomios
1 dn 2
(x 1)
2n n! dxn
son los Polinomios de Legendre.
Pn (x) =
n=1
hx, en ien .
n=1
P
Demostracin. Fijemos n N y sea xn = x nk=1 hx, ek iek . De
la ortogonalidad de los (en ) se sigue que para todo n N y para todo
1 k n,
xn ek .
Pn
Puesto que x = xn + k=1 hx, ek iek , del teorema de Pitgoras se
tiene que
2
kxk = kxn k +
n
X
k=1
k=1
n
X
|hx, ek i|2
186
9. ESPACIOS DE HILBERT
n
X
Recprocamente, si x =
la igualdad buscada.
hx, ek iek =
k=1
hx, ek iek
k=1
P
Estudiamos ahora la convergencia de las series n kn en donde los
kn son escalares y {en ; n N} forman un sistema ortonormal.
Teorema 9.23 (Riesz-Fischer). Sea H un espacio de Hilbert,
P sea
{en ; n N} H un sistema ortonormal y sea (kn )nN K. Si n kn en
converge a x H entonces, para todo n N,
hx, en i = kn
y
X
|kn |2 < .
Recprocamente, si
9. ESPACIOS DE HILBERT
187
converge en H.
P
Demostracin. Si x = n kn en entonces de la ortogonalidad de
los (en ) se sigue que hx, en i = kn para todo n N y la desigualdad de
Bessel implica que
X
|kn |2 < .
n
Por tanto, si
n=1 |kn | < se sigue que la sucesin (xm )m es de
Cauchy y por tanto convergente.
Con la desigualdad de Bessel y el Teorema de Riesz-Fischer estamos
ya bastante cerca de la nocin de base Hilbertiana o base ortonormal.
Definicin 9.24. Un sistema ortonormal E H es una base
ortonormal, o base Hilbertiana, si es un sistema ortonormal maximal para el orden dado por la inclusin. Es decir, si existe un sistema
ortonormal E 0 tal que E E 0 entonces E = E 0 .
Podemos garantizar la existencia de bases ortonormales mediante
el Lema de Zorn (3.3).
Proposicin 9.25. Sea H 6= {0} un espacio de Hilbert. Entonces
existe una base ortonormal en H. De hecho, dado un sistema ortonormal E 0 H, E 0 se puede ampliar a una base ortonormal E.
Demostracin. Notemos en primer lugar que si 0 6= x H,
x
el sistema { kxk
} es trivialmente ortonormal. Veamos que un sistema
0
ortonormal E se puede extender a una base ortonormal. Sea E el conjunto de todos los sistemas ortonormales de H que contienen a E 0 . Este
es un conjunto dirigido por la inclusin conjuntista. Si consideramos un
subconjunto totalmente ordenado (una cadena) es fcil ver que la unin
de todos los elementos de la cadena es una cota superior de esta. Por
188
9. ESPACIOS DE HILBERT
Adems
hx, en ien
*
X
+
hx, en ien , e
9. ESPACIOS DE HILBERT
189
hx, en ien
y adems
x yE.
Si y 6= x, sea
xy
.
kx yk
Entonces kek = 1 y eE por lo que E {e} es un sistema ortonormal,
en contradiccin con que E sea maximal. Por tanto
X
x=y=
hx, e ie
e=
y (2) es cierto.
La equivalencia de (2) y (3) se sigue de la condicin descrita para
la igualdad en la desigualdad de Bessel (Teorema 9.20).
Fcilmente (2) implica (4), ya que
Pm
span[E].
190
9. ESPACIOS DE HILBERT
Para ver que (4) implica (5), sea x H tal que hx, e i = 0 para
todo A, y sea (xn )nN span[E] una sucesin tal que xn x.
Entonces hxn , xi = 0 para todo n y por tanto
0 = hxn , xi hx, xi
de donde se sigue que x = 0
Finalmente, para ver que (5) implica (1), sea E 0 H un sistema
ortonormal tal que E E 0 . Sea e E 0 \ E. De la ortogonalidad de E 0
se sigue que he, e i = 0 para todo A. De (5) se sigue que e = 0, una
contradiccin puesto que si E 0 es ortonormal y por tanto kek = 1.
Podemos ahora definir un concepto de dimensin Hilbertiana, de
forma anloga a la definicin de la dimensin algebraica.
Proposicin 9.28. Si H es un espacio de Hilbert, todas sus bases
ortonormales tienen el mismo cardinal.
Demostracin. Sean E y F dos bases ortonormales de H, sean
= card(E), = card(F ). Si o son finitos, entonces = , usando
razonamientos totalmente anlogos a los finito-dimensionales. Supongamos entonces que ambos son infinitos. Dado e E, sea
Fe := {f F tales que he, f i =
6 0}.
Ya hemos visto que Fe es contable. Adems todo f F debe de
pertenecer al menos a uno de los Fe , puesto que si no he, f i = 0 para
todo e E y de la condicin (5) del Teorema 9.27 se seguira que f = 0.
Por tanto
F = eE Fe
y por tanto
0 =
Anlogamente se puede ver que
0 =
de donde se sigue que = .
9. ESPACIOS DE HILBERT
191
es denso en H.
Recprocamente, sea E una base ortonormal de H. Ya vimos que
para todo e1 , e2 E
ke1 e2 k2 = ke1 k2 + ke2 k2 = 2.
Por tanto, el conjunto
{Be, 1 ; e E}
2
192
9. ESPACIOS DE HILBERT
9. ESPACIOS DE HILBERT
193
La linealidad de T est clara. De la desigualdad de Bessel, o del Teorema de Parseval, se sigue que T est bien definido y que es una isometra.
Para ver que es sobre, si (ae )eE `2 (E), entonces del Teorema de de
Riez-Fischer (9.23) se sigue que la serie
X
ae e
eE
194
9. ESPACIOS DE HILBERT
Por este motivo a estos polinomios se les llama polinomios trigonomtricos. Veamos ahora que el conjunto
n
e
; n Z L2 [0, 2]
2
es una base ortonormal de L2 [0, 2].
Es un ejercicio elemental de variable compleja verificar que dicho
sistema es ortonormal.
Para verificar que es una base hay al menos dos posibilidades, ambas
no triviales. Una es seguir por ejemplo [13, Theorem 5.7] y probarlo
utilizando que C[0, 2] es denso en L2 [0, 2] y a continuacin utilizar
la caracterizacin, no probada pero fcilmente probable como ejercicio
que dice que un sistema ortonormal E H es una base ortonormal
si y slo si la clausura topolgica de span[E] = H. La otra opcin es
seguir [31, p. 392], pero para esto es necesario utilizar el Teorema de
Fejer, lo cual quiz nos lleve demasiado
lejos.
n n
o
e
Una vez que sabemos que 2 ; n Z es una base ortonormal
podemos asignar a cada funcin f L2 [0, 2] sus coordenadas respecto
de dicha base.
Definicin 9.37. Sea f L2 [0, 2]. Definimos su n-simo coeficiente de Fourier como
Z 2
en
1
f (n) = hf, i =
f (t)ent dt.
2
2 0
Por los resultados anteriores, lo que hemos probado es que
+
1 X
f (n)en ,
f=
2 n=
9. ESPACIOS DE HILBERT
195
f (z)z
.
hz, zi
hx, zi
hz, zi
196
9. ESPACIOS DE HILBERT
y por tanto
hx, zi
f (x) = f (w) + kf (z) = kf (z) =
f (z) =
hz, zi
f (z)
x,
z
hz, zi
y por tanto
y=
f (z)
z
hz, zi
cumple lo pedido.
Para ver la unicidad de y, sea y 0 H otro vector de H tal que
f (x) = hx, y 0 i.
Entonces considerando x = y y 0 tenemos que
hy y 0 , yi = f (y y 0 ) = hy y 0 , y 0 i
y por tanto
hy y 0 , y y 0 i = 0,
es decir, y = y 0 .
9. ESPACIOS DE HILBERT
197
hyf , yf i
kyf k2
=
= kyf k.
kyf k
kyf k
Demostracin. Trivial.
198
9. ESPACIOS DE HILBERT
Aplicaciones.
Teorema Isoperimtrico: Como consecuencia de la Frmula de
Parseval para el sistema trigonomtrico real se tiene
Teorema 9.43. De todas las curvas simples, cerradas y diferenciables a trozos de longitud L en el plano, el crculo es la que encierra
mayor rea.
Una demostracin de este resultado se puede ver en [22, p. 178].
Teorema de Mntz: En [22, p. 181] se puede ver una demostracin
del siguiente hecho
9. ESPACIOS DE HILBERT
199
X
1
= .
ni
i=1
Prcticas sugeridas.
Ejercicio 9.1. Si queremos enfatizar la relacin entre el Anlisis
Funcional y la Variable compleja podemos proponer el siguiente ejercicio [13, Prop. 1.13, p. 6].
Sea G C un abierto y sea L2a (G) el espacio de las funciones
analticas f : G C tales que
Z Z
|f (x + y)|2 dxdy <
G
Verificar que es un espacio de Hilbert con el producto escalar heredado. La nica dificultad reside en verificar que L2a (G) es un subespacio
cerrado de L2 (G, ) donde es la medida de Lebesgue en C.
Ejercicio 9.2. Demostrar que la Ley del Paralelogramo caracteriza
a los espacios de Hilbert, es decir, probar que si k k es una norma en
un espacio de Banach X que satisface la identidad del paralelogramo,
esto es, para todos x, y X
kx + yk2 + kx yk2 = 2 kxk2 + kyk2
entonces dicha norma proviene de un producto escalar, y por tanto X
es un espacio de Hilbert. Sugerencia. Definir
1
hx, yi = (kx + yk2 kx yk2 + kx + yk2 kx yk2 ).
4
An es necesario dar alguna sugerencia ms para acabar el ejercicio.
Ejercicio 9.3. Utilizando la Ley del paralelogramo, probar que `p
o Lp es un espacio de Hilbert si y slo si p = 2.
Ejercicio 9.4. Sea {e1 , . . . , en } H un sistema ortonormal y sea
M = span[e1 , . . . , en ]. Si P : H M es la proyeccin ortogonal
entonces para todo h H
n
X
P (h) =
hh, ek iek .
k=1
Ejercicio 9.5. Sea f L2 [0, 1] y sea n N. Demostrar que existe un nico polinomio de grado menor o igual que n que es la mejor
aproximacin polinmica de orden n en el sentido de L2 .
200
9. ESPACIOS DE HILBERT
la distancia
kx
ai x i k 2
Ejercicio 9.8. Se puede probar el Teorema de Eberlein para espacios de Hilbert: Sea (xn ) H una sucesin en un espacio de Hilbert.
Entonces (xn ) tiene una subsucesin dbilmente convergente.
Ejercicio 9.9. Tambin se puede probar directamente una de las
consecuencias del PAU: Sea H un espacio de Hilbert y B H. Entonces B es acotado si y slo si B es dbilmente acotado, es decir, si
para todo x H , x (B) est acotado.
CAPTULO 10
202
(y lo relacionamos con el traspuesto que hemos venido utilizando hasta ahora. Tambin hacemos un estudio de los operadores normales y
autoadjuntos, y sus espectros.
Al final del captulo se puede estudiar como aplicacin uno de los
problemas que motivaron el comienzo del desarrollo de la Teora Espectral, los llamados problemas de Sturm-Liouville, aunque su estudio
requiere un cierto tiempo.
Operadores normales y autoadjuntos
Definicin 10.1. Sean H, K dos espacios de Hilbert y sea T :
H K un operador. Se define su adjunto en el sentido de espacio de
Hilbert, al que llamaremos T , como el nico operador T : K H
que verifica que para todos x H, y K,
hx, T (y)i = hT (x), yi.
Es necesario ver que T est bien definido y es lineal y continuo.
Para ver que est bien definido ntese que, dado y K, la aplicacin
x : X K dada por
x = hT (x), yi
est bien definida, es lineal y continua. Por tanto x H . Por el
Teorema de Representacin de Riesz sabemos que existe z H tal que
x (x) = hx, zi para todo x H. Definimos entonces T (y) = z. Ahora
es un ejercicio ver que T es lineal y continuo y que es nico. Tambin
es un ejercicio comprobar que para todos x, y H se tiene
hy, T (x)i = hT (y), xi.
Se puede sugerir como ejercicio clarificar la relacin entre este traspuesto en el sentido de operador hilbertiano y el traspuesto habitual
que habamos definido anteriormente. No hay ms que utilizar el teorema de Representacin de Riesz y dibujar un diagrama para comprobar
que ambos traspuestos son (esencialmente) el mismo.
Ejercicio 10.1. Sean K, H espacios de Hilbert, T : H K un
operador. Sea T B : K H su traspuesto en el sentido de espacios
de Banach y sea T : K H su adjunto en el sentido de espacios de
Hilbert. Sean adems RH : H H y RK : K K las isometras
dadas por el Teorema de Representacin de Riesz. Comprobar que T B
RK = RH T .
En todo este captulo entenderemos por T el adjunto en el sentido
de espacios de Hilbert.
203
(S + T ) = S + T
(T ) = T
(ST ) = T S
(T ) = T
T es inversible si y slo si T es inversible, y en ese caso
(T )1 = (T 1 )
Todo es fcil de probar, y adems son esencialmente las mismas cuentas que ya hemos hecho para los adjuntos en el sentido anterior. Otra
posibilidad es considerar los resultados conocidos para los adjuntos anteriores y hacer el diagrama conmutativo. Ntese que la aparicin del
conjugado de en el punto 2 est relacionada con el hecho de que la
isometra que aparece en el Teorema de Representacin de Riesz no es
lineal sino conjugada-lineal.
Proposicin 10.2. Si T L(H) entonces
kT k = kT k y kT T k = kT T k = (kT k)2 .
Demostracin. Se deja como ejercicio probar que kT k = kT k.
Para todos x, y H se tiene
kT (x)k2 = hT (x), T (x)i = hx, T T (x)i kT T kkxk2 .
Tomando supremos en x BH se tiene
kT k2 kT T k.
Como adems
kT T k kT kkT k = kT k2
se tiene la igualdad kT k2 = kT T k. La otra igualdad se prueba anlogamente.
Veamos algunos ejemplos de operadores adjuntos.
Ejemplo 10.3. Si Tk : L2 [0, 1] L2 [0, 1] un operador integral de
Fredholm con ncleo k(, ) : [0, 1] [0, 1] K como en el Ejemplo
7.11. Entonces (Tk ) es un operador integral de Fredholm con ncleo
k (x, y) = k(y, x). De nuevo ntese la necesidad de tomar el conjugado
complejo.
204
S (x1 , x2 , . . .) = (x2 , x3 , . . .)
Ejercicio 10.3. Si T L(H) entonces
ker(T ) = (Im(T )) y ker(T ) = (Im(T ))
donde M es el ortogonal de M en el sentido hilbertiano.
En general la composicin de operadores no es conmutativa. Veamos
que los operadores con cierto grado de conmutatividad van a ser precisamente aquellos para los que podemos dar una descomposicin espectral.
Definicin 10.5. Sea T L(H). Entonces
1. T se dice normal si T T = T T .
2. T se dice unitario si T T = T T = I, es decir, si T = T 1
3. T se dice autoadjunto si T = T .
Claramente los operadores autoadjuntos o unitarios son normales.
En cambio un operador normal no tiene por qu ser unitario ni autoadjunto. Por ejemplo, sea H = C2 y sea
T (x) = (x1 x2 , x1 + x2 )
Entonces
T (x) = (x1 + x2 , x1 + x2 )
y es un ejercicio ver que T no es unitario ni autoadjunto.
Observacin 10.6. Si T es normal y S es tal que S S = I (para
esto S no tiene por qu ser necesariamente unitario, pinsese en el
operador desplazamiento a la derecha del Ejemplo 10.4) entonces U =
ST S es normal. En efecto, en ese caso U = ST S y por tanto
U U = ST S ST S = ST T S = ST T S = ST S ST S = U U.
Proposicin 10.7. Sea T L(H). Entonces
1. T es normal si y slo si para todos x, y H
hT (x), T (y)i = hT (x), T (y)i
2. T es unitario si y slo si para todos x, y H
hT (x), T (y)i = hx, yi = hT (x), T (y)i
205
f gh =
0
y por lo tanto
T (g) = f g para todo g H.
Entonces
T T (g) = |f |2 g = T T (g)
y por tanto T es normal. En cierto sentido, todo operador normal es
as (factorizndolo va una isometra adecuada), aunque esto no es
nada obvio y es una consecuencia (o ms bien una reformulacin) del
Teorema Espectral. El lector interesado en este resultado y en general
en el Teorema Espectral debera consultar [25].
206
X
X
T (x) =
ai,j xj ei .
i=1
j=1
X
X
aj,i xj ei .
T (x) =
i=1
j=1
(De nuevo la razn de que aparezca el conjugado complejo es que estamos considerando el adjunto hilbertiano de T ).
t
Entonces resulta claro que T es autoadjunto si y slo si A = A , es
decir, si A es conjugada-simtrica.
Adems T T viene representado por
X
t
AA=
kn,i kn,j
n
X
n
kn,i kn,j =
207
208
209
210
Con estos conocimientos previos acerca de operadores autoadjuntos y normales a nuestra disposicin, podemos desarrollar la Teora
Espectral de operadores normales compactos.
Lema 10.15. Sea H un espacio de Hilbert complejo y sea T L(H).
Entonces (T ) si y slo si (T ).
Si adems T es normal, entonces para todo C se tiene que
ker(T I) = ker(T I) = ker(T I)
Demostracin. La Proposicin 8.3 nos dice que un operador es
inversible si y slo si su adjunto lo es. Por lo tanto T I es inversible
si y slo si (T I) = T I es inversible. A partir de ah el primer
enunciado se sigue inmediatamente.
Supongamos ahora que T es normal. Entonces es fcil ver que T I
tambin es normal. Por lo tanto, la Proposicin 10.12 nos dice que para
todo x H
k(T I)(x)k = k(T I) (x)k,
y de ah se sigue que ker(T I) = ker(T I)
211
212
luego + e (T )
Finalmente, si R = 0, entonces S 6= 0 y por tanto el Teorema 10.16
nos dice que S tiene un autovalor 6= 0. Entonces es autovalor de
T = S.
Ya vimos en la Proposicin 8.19 que si T es compacto entonces para
todo K existe n0 N tal que para todo n n0
ker(T I)n = ker(T I)n0 .
Dado un autovalor definimos entonces su ndice () como el
primer n0 N para el que ocurre eso, es decir () es el nico natural
tal que
ker(T I)n ( ker(T I)n+1 para todo 0 n < ()
y
ker(T I)n = ker(T I)n+1 para todo n ()
Proposicin 10.18. Si T L(H) es normal entonces para todo
e (T ) se tiene que () = 1.
Demostracin. Sea e (T ) y sea x ker(T I)2 . Slo hay
que ver que x ker(T I).
Puesto que T I es normal, aplicando la Proposicin 10.12 se
tiene que
k(T I)(T I)(x)k = k(T I)(T I)(x)k = 0.
Por lo tanto
k(T I)(x)k2 = h(T I)(x), (T I)(x)i =
= h(T I)(T I)(x), xi = 0
lo que implica que x ker(T I) y termina la demostracin.
213
T (x) =
n hx, en ien
214
bien entendido que esta ordenacin no tiene por qu ser nica ya que
pueden existir autovalores distintos con el mismo mdulo. Para todo n,
sea m(n) la multiplicidad (algebraica o geomtrica) de n . Sea entonces
(n ) la sucesin (finita o infinita) formada por m(1) copias de 1 , a
continuacin m(2) copias de 2 , etc. Est claro que (n ) es infinita si y
slo si (n ) es infinita, y que en ese caso tambin n 0. Para todo n
sea N (n) = ker(T n I). Por definicin de multiplicidad dim N (n) =
m(n). Para cada n, sea
{en,1 , en,2 , . . . , en,m(n) } H
una base ortonormal de N (n). Sea entonces (en ) H la sucesin (finita
o infinita) formada por
(e1,1 , e1,2 , . . . , e1,m(1) , e2,1 , e2,2 , . . . , e2,m(2) ,
Por la construccin de (en ) y (n ) queda claro que para todo n
T (en ) = n en .
Adems, puesto que para todo j 6= i se tiene que N (j)N (i) (Proposicin 10.21) se sigue que la familia (en ) es ortonormal.
Consideramos ahora el operador T0 : H H dado por
X
T0 (x) =
n hx, en ien para todo x H.
n
215
Por lo tanto T0 = T0 P y de ah T P = T0 .
Adems, como P T (x) M para todo x H y como (en ) es una
base ortonormal de M (entendindola como base hilbertiana si es una
coleccin infinita), se tiene
X
X
P T (x) =
hP T (x), en ien =
hx, T P (en )ien .
n
n he, en ien = 0
y de ah
T (e) = (T T0 )e = e.
216
(26)
T (x) =
n hx, en ifn
Aplicaciones
Una aplicacin clsica de la Teora espectral de operadores compactos en espacios de Hilbert es la resolucin de los llamados Problemas
de Sturm-Liouville. En los libros de nuestra bibliografa, se pueden ver
presentaciones de esta aplicacin en [31, Apendix C] o en [13, Section
II.6].
Prcticas sugeridas.
217
Ejercicio 10.4.
1. Si S, T son autoadjuntos entonces S + T
es autoadjunto. Adems ST es autoadjunto si y slo si S y T
conmutan.
2. Si S, T son unitarios entonces ST es unitario. Buscar alguna
condicin necesaria y suficiente sobre S y T para que S + T
sea unitario.
3. Si S y T son normales y adems S conmuta con T y T conmuta con S entonces S + T y ST son normales.
Ejercicio 10.5. Si (Tn ) L(H) es una sucesin de operadores
autoadjuntos (resp. unitarios, normales) tal que Tn T entonces T es
autoadjunto (resp. unitario, normal). Sugerencia: Si Tn T entonces
Tn T .
Ejercicio 10.6 (Operador de Volterra). Sea k : [0, 1] [0, 1] R
la funcin caracterstica del conjunto {(x, y) [0, 1][0, 1] tales que y <
x}. Sea V : L2 L2 el operador integral dado por
Z 1
f (t)k(s, t)dt.
V (f )(s) =
0
Rs
Ntese que V (f )(s) = 0 f (t)dt. Se pide
1. Calcular V
2. Demostrar que V no tiene autovalores.
3. Demostrar que V es compacto.
Ejercicio 10.7. Si S : `2 `2 calcular S , SS y S S. Adems
demostrar
1. e (S ) = {z C; |z| < 1}
2. e (S) =
3. (S) = (S ) = {z C; |z| 1}
Ejercicio 10.8. Sea D : `2 `2 el operador diagonal dado por
D(a) = (dn an )n
n
CAPTULO 11
Requisitos
219
CAPTULO 12
Funciones holomorfas
Definicin 12.1. Sea A C un conjunto abierto. Una funcin
f : A C
se dice derivable en un punto z0 A si el siguiente lmite existe
f (z) f (z0 )
.
zz0
z z0
En ese caso, a dicho lmite se le denomina la derivada de f en z0
y se denota por f 0 (z0 ).
Si f es derivable en todo punto z A, se dice que f es holomorfa en
A. Si existe un entorno de z0 tal que f es holomorfa en dicho entorno,
se dice que f es holomorfa en z0 .
lm
222
=
x
x
x
y
y
y
Proposicin 12.4. PROPIEDADES BSICAS DE LAS FUNCIONES HOLOMORFAS (MAR)
CAPTULO 13
Funciones meromorfas
223
CAPTULO 14
225
CAPTULO 15
Topologa compacto-abierta
227
CAPTULO 16
Funciones Armnicas
229
Bibliografa
[1] C. D. Aliprantis and K. C. Border, Infinite Dimensional Analysis. A Hitchhiker guide, Springer 1999.
[2] T. M. Apostol, Anlisis Matemtico Revert 1991.
[3] K. Arrow and G. Debreu, Existence of an equilibrium for a competitive economy, Econometrica 22 (1954), 265290.
[4] P. Artzner, F. Delbaen, J.M. Eber, D. Heath, Coherent measures of risk,
Math. Finance 9 (1999), 203228.
[5] G. Bachman y L. Narichi, Functional Analysis, Academic Press, 1966.
[6] S. Banach, Sur les oprations dans les ensembles abstraits et leurs applications
aux quations intgrales, Fundamenta Math., 3 (1922) 131-181.
[7] S. Banach, Theorie des oprations linaires, Warszawa, 1932.
[8] B. Beauzamy, Introduction to Banach spaces and their geometry, NorthHolland, 1985.
[9] F. Black and M. Scholes, The valuation of option contracts and a test of
market efficiency, J. Finance 27 (1972), 399417.
[10] F. Black and M. Scholes, The pricing of options and corporate liability, J.
Political Economy, 81 (1973), 637659.
[11] F. Bombal, Anlisis Funcional: una perspectiva histrica, Proceedings of the
Seminar of Mathematical Analysis 2002-2003, Secretariado de Publicaciones,
Universidad de Sevilla (2993) 81117.
[12] G. Choquet, Cours dAnalyse. Tome II. Topologie., Masson et Cie , Paris,
1964.
[13] J. B. Conway, A Course in Functional Analysis Springer 1990.
[14] F. Delbaen y W. Schachermayer, The fundamental theorem of asset pricing
for unbounded stochastic processes, Math. Ann. 312 (1998) 215250.
[15] J. Diestel, Sequences and series in Banach Spaces, Springer-Verlag 1984.
[16] J. Diestel, H. Jarchow and A. Tonge, Absolutely Summing Operators, Cambridge Stud. Adv. Math. 43, Cambridge Univ. Press, Cambridge 1995.
[17] D. Duffie, Security Markets. Stochastic models Academic Press 1988.
[18] P. Enflo, On the invariant subspace problem for Banach spaces, Acta Math
158 (1987) 213313.
[19] P. Enflo, A counterexample to the Approximation problem for Banach spaces,
Acta Math 130 (1973) 309317.
[20] P. Enflo y V. Lomonosov, Some aspects of the invariant subspace problem.
Handbook of the geometry of Banach spaces, Vol. I, 533559, North-Holland,
Amsterdam, 2001.
[21] M. Fabian, P. Habala, P. Hajek, V. Montesinos Santalucia, J. Pelant, V. Zizler,
Functional Analysis and infinite dimensional geometry, Springer, 2001.
231
232
BIBLIOGRAFA
[22] C. Goffman and G. Pedrick, First Course in Functional Analysis, PrenticeHall 1965.
[23] A. Grothendieck, Rsum de la thorie mtrique des produits tensoriels
topologiques, Bol. Soc. Mat. So Paulo 8 (1953) 179.
[24] P. Habala, P. Hajek, V. Zizler, Introduction to Banach Spaces I, Matfyzpress
Univerzity Karlovy, Prague, 1996.
[25] P. R. Halmos, What does the spectral theorem say?, Amer. Math. Monthly
70 (1963) 241247.
[26] J. Horvath, Topological Vector Spaces and Distributions, Addison-Wesley
Publishing Company 1966.
[27] R. C. James, A non-reflexive Banach space isometric with its second conjugate
space, Proc. Nat. Acad. Sci. USA, 37 (1951) 174177.
[28] P. E. Kopp, Martingales and stochastic integrals, Cambridge University Press
1984.
[29] S. Lang, Real and Functional Analysis, Springer-Verlag 1993.
[30] R. Larsen, Functional Analysis: An Introduction, Marcel Dekker, New York
1973.
[31] B. V. Limaye, Functional Analysis, Wiley Eastern Ltd., 1981.
[32] J. Lindenstrauss y L. Tzafriri, On the complemented subspace problem, Israel
J. Math 9 (1971) 263269.
[33] R. Meise y D. Vogt, Introduction to Functional Analysis, Oxford Science Publications, 1997.
[34] R. Merton, The theory of rational option pricing, Bell. J. Econ. Manage. Sci.,
4 (1973), 141183.
[35] J. Neveu, Discrete parameter martingales, North-Holland 1975.
[36] R. I. Ovsepian y A. Peczyski, On the existence of a fundamental total and
bounded biorthogonal sequence in every separable Banach space, and related
constructions of uniformly bounded orthonormal systems in L2 , Studia Math.
54 (1975), no. 2, 149159.
[37] G. K. Pedersen, Analysis Now, Springer-Verlag 1989.
[38] A. M. Plichko y D. Yost, Complemented and uncomplemented subspaces of
Banach spaces. III Congress on Banach Spaces (Jarandilla de la Vera, 1998).
Extracta Math. 15 (2000), 335371.
[39] J. R. Ringrose, Compact Non-Self-Adjoint Operators Van Nostrand Reinhold
Company, London, 1971.
[40] W. Rudin, Principios de Anlisis Matemtico, McGraw-Hill 1978.
[41] W. Rudin, Functional Analysis, McGraw-Hill 1973.
[42] W. Rudin, Real and Complex Analysis, McGraw-Hill 1966.
[43] W. Shachermayer, A Hilbert space proof of the fundamental theorem of asset
pricing in finite discrete time, Insurance Math. Econ. 11 (1992) 249257.
[44] H. H. Schaefer, Topological Vector Spaces, Springer-Verlag 1971.