Anlisis Funcional

lvaro Rovella Andrs Sambarino

31 de agosto de 2005
ndice general
1. Espacios vectoriales topolgicos 2
1.1. Espacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Convexidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Topologas lineales . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2. Topologas dbiles 14
2.1. Construccin de topologas localmente convexas . . . . . . . . . . 14
2.2. Topologas dbil y dbil estrella . . . . . . . . . . . . . . . . . . . 16
2.3. Convexos compactos . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.4. Teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . 22
3. Espacios de Hilbert 24
3.1. Teora Bsica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2. El operador adjunto . . . . . . . . . . . . . . . . . . . . . . . . . 29
4. Operadores 31
4.1. Acotacin uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.2. Aplicacin abierta . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3. Grco cerrado . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
5. Fredholm y operadores compactos 37
5.1. Operadores compactos . . . . . . . . . . . . . . . . . . . . . . . . 37
5.2. Perturbados compactos de la identidad . . . . . . . . . . . . . . . 39
5.3. El lgebra de Calkin . . . . . . . . . . . . . . . . . . . . . . . . . 41
6. Teorema Espectral 44
6.1. Operadores normales y autoadjuntos . . . . . . . . . . . . . . . . 44
6.2. Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . 46
7. Teorema de Lomonosov 49
7.1. Teorema de Schauder . . . . . . . . . . . . . . . . . . . . . . . . . 49
7.2. Subespacios invariantes . . . . . . . . . . . . . . . . . . . . . . . 50
A. Teorema de von-Neumann 53
1
Captulo 1
Espacios vectoriales
topolgicos
1.1. Espacios vectoriales
Un espacio vectorial es un grupo abeliano sobre el cual acta un cuerpo.
Bsicamente tenemos un conjunto X, un cuerpo K y dos operaciones, suma,
+ : X X X, y producto por escalares, : K X X que verican
ciertas propiedades.
Si tenemos un subconjunto, x
i

i I
, de un espacio vectorial X el espacio
generado por l es
x
i

iI
) =
_
_
_

jJ
a
j
x
j
: a
j
K y J I nito
_
_
_
En pocas palabras, el espacio generado por x
i
es el conjunto de todas las
combinaciones lineales nitas de elementos de x
i
con escalares en K. Una base
algebraica, o de Hamel, de un espacio vectorial es un subconjunto linealmente
independiente, que genera todo el espacio. El siguiente teorema se prueba a
partir del lema de Zorn.
Teorema 1.1. Todo espacio vectorial tiene una base y dado cualquier subcon-
junto L.i. hay una base que lo contiene.
Denicin 1.1. Sea X un espacio vectorial, la dimensin de X es el nmero
de elementos de una base y la notamos dimX.
A partir de ahora siempre nos referiremos a K como R o C, y a X como
un espacio vectorial, o sea, siempre estaremos asumiendo que X es un espacio
vectorial sobre el cuerpo de los reales o de los complejos.
2
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 3
Denicin 1.2. Sea X un espacio vectorial. X

, el dual algebraico, es el con-

junto de todas las funcionales lineales en X, o sea
X

= : X K lineal
Obviamente es tambin un espacio vectorial de modo que podemos llamar
X

, el bidual algebraico de X, al dual algebraico de X

.
Ejercicio. Sea J : X X

dada por J(x)() = (x), probar que J es lineal

e inyectiva y es sobreyectiva si y solo si X tiene dimension nita.
Dada una base algebraica x

I
de un espacio vectorial X, y dado un
conjunto b

I
K existe una nica funcional lineal tal que (x

) = b

I. El conjunto dual de una base x

I
es

I
tal que

(x

) =

=
_
1 si =
0 en otro caso

es claramente L.i. pero si X tiene dimensin innita no genera X

.
Un espacio vectorial topolgico es un espacio vectorial dotado de una topologa
T
1
de forma que las operaciones suma y producto por escalares sean funciones
continuas. Por ejemplo, si tenemos un espacio vectorial X normado, esto es
dotado de una funcin | | : X R tal que:
1. |x| 0 x X
2. |x +y| |x| +|y| x, y X
3. |x| = [[|x| K y x X
4. |x| = 0 x = 0,
tenemos un espacio vectorial topolgico ya que la norma induce una distancia
como d(x, y) = |xy| y esta una topologa que obviamente hace continuas a las
operaciones + y (R C con la topologa usual). Vale observar que la distancia
inducida por una norma es invariante por traslaciones.
Denicin 1.3. Decimos que un espacio vectorial normado es de Banach si es
completo con la mtrica inducida por la norma.
Supongamos que tenemos dos normas en un mismo espacio vectorial X, | |
1
y | |
2
. Decimos que son equivalentes si existen constantes c
1
y c
2
tales que
(1.) |x|
1
c
2
|x|
2
y (2.) |x|
2
c
1
|x|
1
La condicin (1.) dice que | |
2
domina a | |
1
, o sea que la topologa que dene
| |
2
es mas fuerte que la que dene | |
1
, o sea que tiene mas abiertos.
Teorema 1.2. Dos normas son equivalentes si y solo si inducen la misma
topologa.
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 4
Supongamos que tenemos un operador, i.e. una transformacin lineal, entre
espacios normados, A : X Y . Decimos que A est acotado si existe k > 0
tal que |A(x)| k x tal que |x| 1.
Proposicin 1.3. Un operador entre espacios normados es acotado si y solo si
es continuo si y solo si es uniformemente continuo.
Si X e Y son espacios vectoriales normados notamos B(X, Y ) al espacio de
los operadores acotados de X en Y , este es un espacio vectorial sobre el mismo
cuerpo que Y , si para A B(X, Y ) denimos
|A| = sup|Ax| : |x| 1
tenemos que B(X, Y ) es normado. Se deja como ejercicio probar que si A
n
A
con esta norma entonces A
n
converge uniformemente a A en cualquier bola de
X.
Teorema 1.4. B(X, Y ) es un espacio de Banach si Y lo es.
Denicin 1.4. El dual de un espacio normado X, X

, es B(X, K), o sea, el

conjunto de las funcionales lineales y continuas.
Ejemplos. Veamos dos ejemplos de funcionales lineales no continuos.
i) Tomemos X = C([0, 1]) = f : [0, 1] C continuas con la norma 1, o
sea,
|f|
1
=
_
[f[
El funcional (f) = f(0) es obviamente lineal pero no acotado. Observe-
mos que ker = f C([0, 1]) : f(0) = 0 es denso en este espacio con
| |
1
.
ii) Sea

(N) = x : N C : acotadas tomamos X como aquellas suce-

siones de

(N) que convergen y ponemos

|x| =

n
[x
n
[
2
n
Consideramos ahora el funcional (x) = lmx y la sucesin de elementos
de X, x
(n)
= (0, . . . , 0, 1, 1, . . .) donde el primer 1 ocurre en el lugar n,
entonces (x
(n)
) = 1 n, pero es claro que x
(n)
0, por tanto no es
continuo.
Sea c
0
= ker = x : N C : x
n
0. Este conjunto es denso
en X ya que dada y = (y
1
, . . . , y
n
, . . . ) X y > 0 tomamos x =
(y
1
, . . . , y
N
, 0, 0, . . . ) c
0
y tenemos que
|x y| =

N
[y
n
[
2
n
< .
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 5
Sea X

el bidual de X, o sea, el dual de X

. Hay una forma natural de en-

cajar X en su bidual, consideramos J : X X

como J(x)() = (x), o sea,

las evaluaciones. J es lineal y es una isometra (esto se deducir del teorema de
Hahn-Banach), si es sobreyectiva decimos que X es reexivo. Notemos que para
que un espacio sea reexivo pedimos que J, el encaje natural, sea sobreyectivo.
Hay ejemplos de espacios isomorfos a su bidual que no son reexivos.
Denicin 1.5. Sean X e Y espacios normados y A B(X, Y ), decimos que
A es un isomorsmo si es biyectiva y tiene inversa continua. Dos espacios son
isomorfos si existe un isomorsmo entre ellos y son isomtricamente isomorfos
si existe un isomorsmo que es adems una isometra, i.e. un operador que
preserva la norma.
Observemos que si dos espacios son isomorfos y uno de ellos es completo
entonces el otro tambin lo es, por lo tanto hay espacios vectoriales que no son
isomorfos a un dual ya que ste siempre es un espacio de Banach.
Ejercicios.
1. X es un espacio de Banach si y solo si dada x
n
X tal que

|x
n
| <
entonces

x
n
converge en X.
2. Sea T B(X) con X Banach. Si |T| < 1 entonces T I tiene inversa
continua, su inversa ser

n
(T I)
n
.
3. Sean A, B B(X) con X Banach. Si B tiene inversa continua y |A| <
1/|B
1
| entonces A+B tiene inversa continua.
S es un subespacio de codimension 1 si existe v XS tal que S, v) = X.
El ncleo o kernel de un operador A es ker A = A
1
(0).
Observacin. Dado un subespacio de codimension 1, S, existe X

tal que
ker() = S, recprocamente, dada X

ker() es un subespacio de codimen-

sion 1.
Demostracin. La primer armacin es trivial, para la otra supongamos que
(x
0
) ,= 0, entonces dado x X escribimos
x = x
(x)
(x
0
)
x
0
+
(x)
(x
0
)
x
0
y tenemos que

_
x
(x)
(x
0
)
x
0
_
= 0
O sea que X = ker(), x
0
).
La continuidad de un funcional lineal queda determinada a partir de su
ncleo, por ejemplo, ambos funcionales no continuos que vimos en el ejemplo
anterior tienen ncleo denso.
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 6
Teorema 1.5. Sea X un espacio normado y un funcional lineal no nulo,
entonces es continua si y solo si su ncleo no es denso si y solo si su ncleo
es cerrado.
Demostracin. Es claro que si es continua su ncleo no es denso ya que es un
cerrado de codimensin 1. Supongamos que ker() no es denso, entonces existe
x
0
tal que (x) ,= 0 x tal que |x x
0
| < , o sea que (y) ,= (x
0
) y
B(0, ). Ahora, si z (B(0, )) entonces todo el segmento [0, z] est contenido
en (B(0, )), adems, si [[ = 1 entonces z (B(0, )) ya que si (x) = z
entonces x B(0, ) y (x) = z. O sea que la imagen de una bola, por
un funcional lineal, es una bola de K. Como (x
0
) / (B(0, )) tenemos que
C ,= (B(0, )) o sea que existe k > 0 tal que |(x)| k |x| , o sea, es
un funcional acotado.
Corolario 1.6. Todo subespacio de codimension 1 en un espacio normado es
cerrado o denso.
Teorema 1.7. Dos espacios normados de dimensin n son isomorfos.
Demostracin. Sea : K
n
X tal que
(a
1
, . . . , a
n
) =
n

i=1
a
i
x
i
donde x
1
, . . . , x
n
es una base de X. Claramente es biyectiva lineal y con-
tinua. Sea S la esfera en K
n
, entonces existe tal que B(0, ) (S) = , pero

1
(B(0, )) es un convexo que contiene al 0 y no intersecta a S, de modo que

1
(B(0, )) B(0, 1), por tanto,
1
es continua.
Corolario 1.8.
i) En espacios de dimensin nita todas las normas con equivalentes.
ii) Todo espacio normado de dimensin nita es de Banach.
iii) Todo subespacio de dimensin nita es cerrado.
Teorema 1.9. Un espacio normado X es de dimensin nita si y solo si la
clausura de la bola unidad es compacta.
La demonstracin se deduce a partir del siguiente lema.
Lema 1.10 (Riesz). Sea X un espacio normado e Y un subespacio cerrado,
entonces dado > 0 existe x de norma 1 tal que d(x, Y ) 1 .
Demostracin. Existe x

tal que d(x

, Y ) = d > 0, dado d

> d x
0
Y tal que
|x

x
0
| < d

, tomando
x =
x

x
0
|x

x
0
|
y eligiendo d

convenientemente queda concluida la prueba.

CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 7
1.2. Convexidad
Decimos que un conjunto K es convexo si para todo par x, y K el segmento
[x, y] = ty + (1 t)x : t [0, 1] est totalmente contenido en K. Dados
x
1
, . . . , x
n
X una combinacin lineal convexa es un elemento x X tal que
x =
n

i=1
t
i
x
i
donde 0 t
i
1 i = 1 . . . n y t
1
+ . . . + t
n
= 1. Dado A X se dene
co A, la envolvente convexa de A, como el conjunto de todas las combinaciones
lineales convexas de elementos de A, equivalentemente co A es la interseccin de
todos los convexos que contienen a A. Mas adelante veremos que bajo ciertas
condiciones podremos recuperar un convexo a partir de ciertos puntos, ver el
teorema 2.9.
Denicin 1.6. Sea A un subconjunto de un espacio vectorial X. Decimos que
a es un punto algebraicamente interior o que pertenece al interior algebraico de
A si dado x X > 0 tal que (1 t)a +tx : t (0, ) est contenido en A.
Al interior algebraico de A lo notamos por ia A.
Los conjuntos algebraicamente abiertos no son necesariamente topolgica-
mente abiertos. Consideremos P = (x, x
2
) : x > 0, entonces A = CP es
algebraicamente abierto, porque 0 pertenece al interior algebraico de A pero no
es abierto.
Un conjunto A se dice absorbente si para cada x X existe > 0 tal que

1
x A, para que un convexo sea absorbente es necesario y suciente que el
cero este en su interior algebraico.
Una funcional real q : X R es subaditiva si q(x +y) q(x) +q(y), q es
una funcional sublineal si adems verica que q(ax) = aq(x) a > 0. La relacin
entre convexos y funcionales sublineales viene dada por la siguiente proposicin.
Proposicin 1.11. Sea K un convexo absorbente entonces
q
K
(x) =nf
_
t > 0 :
x
t
K
_
es una funcional sublineal no negativa tal que q
K
(x) < 1 x ia K. Recproca-
mente, si q es una funcional sublineal no negativa entonces K = x : q(x) < 1
es un convexo absorbente algebraicamente abierto y q = q
K
.
Demostracin. Probemos que q
K
(x + y) q
K
(x) + q
K
(y). Sean a > q
K
(x) y
b > q
K
(y) x/a e y/b son elementos de K, entonces
ax/a +by/b
a +b
es una combinacin convexa de x/a e y/b por tanto pertenece a K, de donde
a +b q
K
(x +y), conlcuimos de aqui que q
K
(x +y) q
K
(x) +q
K
(y).
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 8
Denicin 1.7. Una funcional como en la proposicin anterior se llama fun-
cional de Minkowski para el convexo K.
Teorema 1.12 (Hahn-Banach). Sea f una funcional lineal real en un sube-
spacio M X y q una funcional sublineal tal que f(x) q(x) x M, entonces
existe una extensin lineal, f, de f a todo X tal que f(x) q(x) x X.
Demostracin. Sea F = g : H R funcionales lineales extensiones de f
donde H es un subespacio tales que g(x) q(x) x H. En F ponemos el
orden g < h si h es extensin de g, obviamente toda cadena tiene una cota
as que tenemos un elemento maximal f
0
: M
0
R, tenemos que probar que
M
0
= X. Basta probar que si v XM
0
podemos extender f
0
a M
0
, v) pero
eso lo hacemos de la siguiente manera, necesitamos denir f
0
(v) de forma que
para todo , R
+
y x, y M
0
se cumpla que
f
0
(x) +f
0
(v) q(x +v)
f
0
(y) f
0
(v) q(y v)
o sea que
f
0
(v)
1

(q(x +v) f
0
(x)) > 0 x M
0
y
f
0
(v)
1

(f
0
(y) q(y v)) > 0 y M
0
Basta observar que
sup
yM0 >0
_
1

(f
0
(y) q(y v))
_
nf
xM >0
_
1

(q(x +v) f
0
(x))
_
Corolario 1.13. Sea p una seminorma en X y f una funcional lineal denida
en un subespacio M de X que cumple [f(x)[ < p(x) x M. Entonces existe
una funcional lineal, f, que extiende a f y cumple que [f(x)[ p(x) x X.
Demostracin. Como una seminorma es un funcional sublineal el corolario es
obvio para funcionales reales sustituyendo x por x. Si X es un espacio vectorial
sobre C entonces alcanza con extender g = Re f a una g tal que g(x) p(x) y
despus tomar f(x) = g(x) ig(ix) ya que, como existe C de mdulo 1 tal
que [f(x)[ = f(x) tenemos que
[f(x)[ = f(x) = g(x) p(x) = [[p(x) = p(x)
Corolario 1.14. Sea X un espacio normado y f una funcional denida en un
subespacio M, lineal y continua. Entonces f tiene una extensin f a X que
verica |f| = |f|.
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 9
Corolario 1.15. Sea X un espacio normado y x
0
,= 0, entonces existe f X

tal que f(x

0
) = |x
0
| y |f| = 1.
El corolario anterior podra reformularse de esta manera mas general.
Corolario 1.16. Si q es un funcional sublineal positiva y q(x
0
) ,= 0 entonces
existe una funcional lineal real f tal que f(x
0
) = q(x
0
) y f(x) q(x) x X.
Cualquiera de los corolarios anteriores merece el nombre de teorema de Hahn-
Banach. Consideremos el operador J : X X

tal que J(x)() = (x), es

consecuencia inmediata del corolario 1.15 que J es una isometra.
Decimos que H es un hiperplano si S = v

: v

, v

H es un sube-
spacio de codimensin 1. Cualquier hiperplano podemos escribirlo como S + v
donde S es un subespacio de codimension 1.
Sea H = S+v un hiperplano del espacio vectorial X sobre R, tomamos tal
que ker = S entonces H =
1
((v)). Denimos H
+
= x : (x) > (v)
y por analoga denimos H

. H
+
y H

son los semiespacios determinados por

H, son algebraicamente abiertos pero no son necesariamente topolgicamente
abiertos, para ver esto basta tomar S denso. Se deja como ejercicio probar que
la particin X = H
+
H H

no depende de la elegida.
La clausura algebraica de H
+
es ca(H
+
) = H
+
H. Decimos que H separa
los conjuntos A y B si A H
+
y B ca(H

) o viceversa.
Teorema 1.17 (Hahn-Banach). Sea X un e.v. real, A convexo algebraica-
mente abierto y B convexo disjunto de A entonces existe un hiperplano H que
separa A y B.
Demostracin. Tomamos x
0
A e y
0
B y denimos Z = A B + z
0
donde
z
0
= y
0
x
0
. Entonces Z es un convexo algebraicamente abierto y 0 Z,
tomamos q la funcional de Minkowski para Z, entonces, por el corolario 1.16
existe una funcional lineal tal que (z
0
) = q(z
0
) 1 (z
0
/ Z). Para x A e
y B tenemos que
(x) (y) +(z
0
) q(x y +z
0
) < 1
entonces (x) (y) < 1 (z
0
) 0
= sup(x) : x A nf(y) : y B
como A es algebraicamente abierto (x) < x A, entonces el hiperplano
H =
1
() separa A y B.
Corolario 1.18. Todo convexo algebraicamente abierto es la interseccin de
todos los semiespacios que lo contienen.
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 10
1.3. Topologas lineales
Ya hablamos de espacios vectoriales topolgicos al principio del captulo, va-
mos ahora a dar una denicin formal de topologa lineal y estudiar los espacios
vectoriales topolgicos.
Denicin 1.8. Sea X un espacio vectorial, una topologa en X es una topologa
vectorial , o lineal, si la aplicacin + : XX X, (x, y) x+y, es continua,
el mapa : KX X, (k, x) kx es continuo y la topologa es T
1
. Un espacio
vectorial con una topologa lineal es un espacio vectorial topolgico (e.v.t.).
Denicin 1.9. Si X es un e.v.t. denimos el dual de X, X

, como el conjunto
de todas las funcionales lineales y continuas.
Ejercicio. Es la topologa de los algebraicamente abiertos una topologa lineal?.
Ejemplos.
1. Cualquier subespacio de un e.v.t. es un e.v.t..
2. Las topologa discreta e indiscreta no son lineales ya que una no hace
continuo al producto por escalares y la otra no es T
1
.
3. Sea S un conjunto arbitrario y K = R C, entonces la topologa producto
en K
S
es lineal y corresponde, como es sabido, a la convergencia puntual.
Consideremos el subespacio (K
S
)
0
= : sop es nito o sea, aquellas
que se anulan salvo en una cantidad nita de puntos. (K
S
)
0
hereda una
topologa vectorial de K
S
.
Deducimos de aqu que todo espacio vectorial puede ser dotado de una
topologa lineal, basta observar que si es una base de X entonces X es
isomorfo, como e.v., a (K

)
0
.
4. Todo espacio vectorial normado es un e.v.t.. Esto no es necesariamente
cierto cuando tenemos una mtrica, incluso si es invariante por trasla-
ciones, basta tomar la mtrica discreta.
Ejercicios.
1. Toda topologa lineal es Hausdor.
2. Basta conocer una base de entornos de 0 para conocer la topologa.
3. Para que una mtrica invariante por traslaciones induzca un topologa
lineal es suciente que
n
0
n
x 0 x X
n
K.
Denicin 1.10. Un e.v.t. X es metrizable si existe una mtrica invariante por
traslaciones que induce su topologa.
Si en e.v.t. es metrizable y es completo decimos que es un espacio de Frechet.
Observar que la completitud no depende de la mtrica ya que podemos expre-
sarla en trminos de la topologa vectorial: x
n
es de Cauchy si dado U entorno
de 0 existe n
0
tal que si n, m n
0
entonces x
n
x
m
U adems, x
n
x si
x
n
x U para todo n n
0
.
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 11
Teorema 1.19 (Birkho-Kakutani). Un espacio vectorial topolgico es me-
trizable sii satisface el primer axioma de numerabilidad.
Convexidad local
Denicin 1.11. Un espacio vectorial topolgico es localmente convexo si el
cero tiene una base de entornos convexos.
Como en un espacio vectorial topolgico X el interior de un conjunto es-
t contenido en su interior algebraico, resulta bien denida la funcional de
Minkowski para un entorno convexo del 0. A partir de este hecho comienza
la construccin de funcionales lineales y continuos en espacios localmente con-
vexos. Agregando hiptesis la funcional de Minkowski podra llegar a ser una
seminorma, o una norma. El siguiente ejemplo nos muestra que la convexidad
local es una hiptesis mnima para asegurarnos una cantidad suciente de fun-
cionales lineales y continuas.
Ejemplo. Para p (0, 1) se dene L
p
() = f :
_
[f[
p
< . Vamos a tomar
como la medida de Lebesgue en el [0, 1]. Se verica fcilmente que
(a +b)
p
a
p
+b
p
p (0, 1)
por lo tanto deniendo d(f, g) =
_
[f g[
p
obtenemos una mtrica en L
p
invari-
ante por traslaciones que induce una topologa lineal, adems, L
p
es completo
con esta distancia. Es claro que esta mtrica no proviene de una norma ya que
d(f, 0) = [[
p
d(f, 0), se podra tratar de arreglar este inconveniente elevando
todo a 1/p (como en el caso p 1) pero como p (0, 1) perderamos la de-
sigualdad triangular. Veamos que hay solo dos convexos abiertos: L
p
y .
Sea V un convexo abierto y f L
p
, podemos suponer que 0 V as que
B(0, r) V . Sea n > 0 tal que
n
p1
_
[f[
p
< r
Existe una particin del [0, 1] 0 = x
0
< x
1
< . . . < x
n
= 1 tales que
_
xi
xi1
[f[
p
=
_
[f[
p
n
Denimos g
i
= nA
(xi1,xi]
f, cada g
i
V porque
_
[g
i
[
p
< r, pero como
f =
1
n
n

i=1
g
i
deducimos que f V , por tanto V = L
p
.
Sea : L
p
K una funcional lineal y continua, entonces si D denota el
disco unidad en K tenemos que
1
(D) es un abierto convexo que contiene al
cero, por tanto
1
(D) = L
p
, por tanto 0. O sea, (L
p
)

= 0.
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 12
Denicin 1.12. Sea X un e.v.t., A X se dice acotado si U entorno del
cero
0
tal que A U para todo
0
. Si 0 tiene un entorno acotado se
dice que X es localmente acotado.
Denicin 1.13. A X se dice equilibrado o balanceado si A A [[ 1.
Ejercicios.
1. Si U es un entorno acotado balanceado de 0 entonces U/n
nN
es una
base decreciente de entornos de 0.
2. Metrizable no implica localmente acotado.
Lema 1.20. Sea X un e.v.t., entonces 0 tiene una base de entornos equilibrados,
si adems X es localmente convexo el cero tiene una base de entornos convexos
y equilibrados.
Demostracin. Sea U = U entornos del 0 y sea U U . Como la multipli-
cacin por escalares es continua existen > 0 y V U tales que si [[ < y
v V v U, o sea, V U. Entonces
W =
_
||<
V U
es un entorno equilibrado del cero. Supongamos ahora que U es un entorno
convexo y tomemos W como recin, tomando la envolvente convexa de W,
co W, obtenemos un entorno convexo y equilibrado de 0 contenido en U.
Proposicin 1.21. Sean X, Y un espacios vectoriales topolgicos y sea A :
X Y un operador. Si existe un entorno U del origen tal que A(U) es aco-
tado entonces es continua. El recproco es cierto agregando la hiptesis de Y
localmente acotado.
Corolario 1.22. Seam X un e.v.t. y : X K lineal, entonces es continua
sii su ncleo no es denso sii su ncleo es cerrado sii est acotada en algn
entorno de 0.
Corolario 1.23. Un funcional no continuo es sobreyectivo en cualquier abierto
de X.
Decimos que una familia de funciones F denidas en algn espacio Y , sep-
ara puntos si dados x, y Y existe f F tal que f(x) ,= f(y). Si la familia F
consiste de transformaciones lineales entonces es equivalente que separe puntos
a que si x
0
,= 0 entonces f F tal que f(x
0
) ,= 0.
Corolario 1.24. Si X es un e.v.t. localmente convexo entonces X

separa pun-
tos.
CAPTULO 1. ESPACIOS VECTORIALES TOPOLGICOS 13
Demostracin. Hay que probar que si x
0
,= 0 entonces existe X

tal que
(x
0
) ,= 0. Existe un entorno convexo del 0, U, tal que x
0
/ U, como 0 pertenece
al interior algebraico de U la funcional de Minkowski para U, q
U
, es una funcional
sublineal tal que q
U
(x) 1. Por el corolario 1.16 existe X

tal que (x)

q
U
(x) y (x
0
) = q
U
(x
0
). Entonces (x) 1 en U. Como no es sobreyectiva
en U tendr que ser continua.
Teorema 1.25 (Kolmogorov). Un e.v.t. X es normable si y solo si el local-
mente convexo y localmente acotado.
Demostracin. Si X es localmente acotado y localmente convexo existe un
abierto acotado V que contiene al origen. Por el lema 1.20 existe un entorno
U V , convexo equilibrado y obviamente acotado, del cero. Sea q la funcional
de Minkowski de U, como 0 es interior a U es interior algebraico de U, por tanto
vale que: q(x +y) q(x) +q(y) x, y X y q(tx) = tq(x) si t > 0. Veamos que
q(x) = [[q(x) x X y K0.
q(x) =nf
_
t > 0 :
x
t
U
_
=nf
_
t > 0 :
[[
t
x
[[

U
_
Ahora, como [[/U = U porque U es equilibrado tenemos que q(x) =
q([[x) = [[q(x). Esto prueba que q es una seminorma en X, y por tanto induce
una topologa

. Una base de entornos del origen es U

n
= x : q(x) < 1/n.
Veamos que al topologa

es la topologa del espacio.

x U
n
q(x) < 1/n q(nx) < 1 nx U x 1/nU, y como U
es acotado y balanceado 1/nU es una base de entornos decrecientes. Probamos
entonces que hay un nico punto donde q se anula. Por tanto es una norma y
su topologa inducida queda determniada por la base de entornos decrecientes
encontrada.
Teorema 1.26. Si X es un espacio vectorial topolgico de dimensin nita
sobre K entonces X es isomorfo a K
n
.
La prueba de este teorema es muy similar a la vista en espacios normados,
por lo que ser omitida.
Corolario 1.27. En K
n
hay una nica topologa vectorial.
Captulo 2
Topologas dbiles
Informalmente, si tenemos un espacio vectorial topolgico X, y notamos X

por su dual, vamos a denir la topologa dbil en X como la topologa ms

dbil en X que nos da el mismo dual, o sea, si notamos por

a la topologa
dbil entonces tenemos que (X,

= X

. La topologa dbil siempre va a ser

localmente convexa, esto nos va a permitir usar muchos resultados del captulo
anterior. Lo interesante es que el estudio de sta topologa nos va dar resultados
sobre la topologa original.
2.1. Construccin de topologas localmente con-
vexas
Sea X un espacio vectorial y P una familia de seminormas que separa
puntos, i.e. dado x ,= 0 p P tal que p(x) ,= 0. Para p P y n N
denimos
U(p, n) =
_
x X : p(x) <
1
n
_
Sea la familia de intersecciones nitas de conjuntos U(p, n).
Proposicin 2.1. es base de una topologa en X lineal y localmente con-
vexa, adems es la mnima topologa que hace continuos a todos los elementos
de P. Si P = p
n
es numerable entonces es metrizable y viene dada por la
mtrica
d(x, y) =

n
1
2
n
p
n
(x y)
1 +p
n
(x y)
Demostracin. Un conjunto A es abierto segn si para todo x
0
A existen
p
1
, . . . , p
k
P y n
1
, . . . , n
k
N tales que
x
0
+

j
U(p
j
, n
j
) A
14
CAPTULO 2. TOPOLOGAS DBILES 15
Observemos que
x
0
+

j
U(p
j
, n
j
) = x : p
j
(x x
0
) < 1/n
j
j = 1 . . . k
Se deja como ejercicio probar que las operaciones son continuas. Que la topologa
es T
1
se deduce inmediatamente del hecho de que P separa puntos, si p(x) ,= 0
entonces U(p, p(x)/2) es un entorno del origen que no contiene a x.
Como P es una familia de seminormas U(p, n) es convexo y la interseccin
de convexos es convexa, as que es localmente convexa. Obviamente cada
p P es continua, sea

otra topologa que verica esta misma condicin,

para cada p P y n N existe un entorno del origen V segn

tal que
x V p(x) < 1/n V U(p, n), por lo tanto,

.
Vale un recproco de la proposicin anterior, si tenemos una topologa vecto-
rial localmente convexa, tomamos una base de entornos convexos y equilibra-
dos del origen y formamos la familia de seminormas P = p
U
: U donde
p
U
es la funcional de Minkowski para U, entonces P separa puntos y si notamos
por
P
la topologa inducida por P entonces
P
es la topologa original.
Observacin. Un conjunto es acotado con la topologa inducida por una familia
de seminormas si y solo si toda seminorma de la familia est acotada en ese
conjunto:
Si toda p est acotada en A entonces dado V entorno del origen existen n
i
y p
i
tales que x : p
i
(x) < 1/n
i
V , si p
i
(A) M
i
tomando M > M
i
n
i
i = 1 . . . n
se tendr que A MV.
Veamos dos ejemplos. Sea un abierto de R
n
y C() = f :
C continuas y sea K
n
una sucesin de compactos crecientes a . Sea p
n
(f) =
sup[f(x)[ : x K
n
. sta es una familia de seminormas que separa puntos y
por tanto genera una topologa localmente convexa y metrizable que viene dada
por
d(f, g) =

n
1
2
n
p
n
(f g)
1 +p
n
(f g)
(C(), d) es completo porque cada C(K
n
) lo es, adems no es localmente aco-
tado:
Sea U un entorno del cero, U= f : p
n
(f) < , si x
0
K
n
existe
f
M
C() tal que f
M
(x
0
) = M y f
M
[
Kn
= 0. Si x
0
K
j
y V = f : p
j
(f) <
entonces como f
M
U para todo M > 0 podemos tomar M para que
f
M
(x
0
)/t = M/t o sea f
M
/t / V , por tanto U no est acotado. Concluimos
que metrizable no implica localmente acotado y aplicando el teorema de Kol-
mogorov tenemos que C() no es normable. Observar que la topologa inducida
es la topologa de convergencia uniforme sobre compactos.
Supongamos ahora un abierto de R
2
y consideremos H() las funciones
holomorfas denidas en , con la topologa relativa a C(). Sea A H()
acotado, esto signica que dado n existe M
n
tal que p
n
(f) M
n
f A, o sea
CAPTULO 2. TOPOLOGAS DBILES 16
que [f(z)[ M
n
z y para toda f A, o sea que A es una familia uniformemente
acotada sobre compactos, aplicando el teorema de Montel tenemos que toda
sucesin tiene una subsucesin convergente, o sea, A es compacto. Por lo tanto
H() no es localmente acotado, si lo fuera H() sera localmente compacto y
por tanto de dimensin nita.
2.2. Topologas dbil y dbil estrella
Lema 2.2. Sean
1
, . . . ,
n
, funcionales lineales en un espacio vectorial X,
entonces son equivalentes
1. Dado > 0 existen constantes k
1
, . . . , k
n
tales que [
i
(x)[ < k
i
implica
[(x)[ < ,
2. es combinacin lineal de
1
, . . . ,
n
,
3. ker

ker
i
.
Demostracin. Es claro que 1) implica 3) y que 2) implica 1). Probemos en-
tonces que 3) implica 2).
Podemos suponer que para todo j 1 . . . n se tiene que

k=j
ker
k

k
ker
k
, aquella
j
que no lo verica tendr coeciente 0 en la combinacin
lineal que encontremos. Tenemos entonces que para cada j existe x
j
tal que

k
(x
j
) = 0 si k ,= j y
j
(x
j
) = 1. Dado x X escribimos
y = x
n

j=1

j
(x)x
j
entonces
j
(y) = 0 j = 1 . . . n por tanto y

k
ker
k
y ker entonces
0 = (x)
n

j=1
(x
j
)
j
(x)
de donde es combinacin lineal de
1
, . . . ,
n
.
Proposicin 2.3. Sea X un espacio vectorial y un subespacio de X

, el
dual algebraico de X, que separa puntos. La mnima topologa lineal que hace
continuos a todos los elementos de es una topologa localmente convexa y su
dual es .
Demostracin. Consideremos la siguiente familia de seminormas
P = [[ :
sta familia separa puntos de X, por la proposicin 2.1 P induce una topologa
lineal localmente convexa, resta ver que es su dual. Obviamente cualquier
CAPTULO 2. TOPOLOGAS DBILES 17
elemento de va a ser un operador continuo, sea ahora X

continuo, o sea
que dado > 0 existen k
1
, . . . , k
n
K y
1
, . . . ,
n
tales que [
i
(x)[ < 1/k
i
implica [(x)[ < , entonces es una combinacin lineal de
1
, . . . ,
n
y por
tanto un elemento de .
Denicin 2.1. Sea (X, ) un e.v.t. tal que X

separa puntos, la topologa de

la proposicin anterior para X

se llama topologa dbil de (X, ) y la denotamos

por

o simplemente .
Si (X, ) es de dimensin nita entonces =

porque hay una nica

topologa vectorial. ste es raramente el caso, si X es normable y de dimensin
innita siempre la topologa dbil es estrictamente mas dbil que la topologa
original. Un conjunto A es -acotado si (A) est acotado para toda X

.
Si U es un entorno de 0 entonces U contiene un conjunto de la forma
V =

x : [
i
(x)[ <
i

donde
i
X

y
i
> 0, si toda X

est acotada en V entonces toda

es combinacin lineal de
1
, . . . ,
n
o sea que X

es de dimensin nita. Con-

cluimos que (X,

) no es localmente acotado, mas an, el conjunto V contiene

un subespacio de codimension nita,

ker
i
.
Ejemplo. Sea
1
= x : N C :

[x
n
[ < con la norma |x| =

[x
n
[.
Entonces un sucesin converge dbilmente si y solo si lo hace con la norma, por
tanto (
1
,

) no es primer axioma y por tanto no es metrizable.

Consideremos J : X (X

dada por J(x)() = (x) donde X

.
J(X) es un subespacio de (X

que separa puntos, aplicando la proposicin

2.3 obtenemos una topologa lineal localmente convexa en X

.
Denicin 2.2. La topologa inducida por J(X) en X

es llamada topologa
dbil estrella y denotada

es la mnima topologa vectorial que hace continuas a todas las eval-

uaciones, adems se deduce que el dual es J(X). Observemos que X

es un
subconjunto de K
X
y que la topologa

es la topologa relativa del producto

ya que un

-entorno del origen es de la forma

X

: [(x
i
)[ <
i
i = 1 . . . n
donde x
1
, . . . , x
n
X. O sea, la topologa dbil estrella es la de la convergencia
puntual.
Teorema 2.4 (Banach-Alaoglu). Sea X un espacio vectorial topolgico, U
entorno del 0 entonces
C = X

: [(x)[ 1 x U
es dbil -compacto
CAPTULO 2. TOPOLOGAS DBILES 18
Demostracin. Por ser U entorno del cero existe (x) tal que x (x)U o sea
que [(x)[ (x) si C por tanto
C K
X
: [(x)[ (x) x X =

xX
D(0, (x))
que es compacto, donde D(0, (x)) es el disco de centro 0 y radio (x) en K.
Falta probar que C es cerrado. Sea
0
en la clausura de C, con la topologa
producto, x, y X, K y > 0, un entorno de
0
es
: [(
0
)(x)[ < , [(
0
)(y)[ < y [(
0
)(x +y)[ <
Tomamos en ese entorno y en C, como es lineal tenemos que [
0
(x+y)

0
(x)
0
(y)[ = [(
0
)(x+y)(
0
)(x)(
0
)(y)[ ++[[ =
(2 +[[), por tanto
0
es lineal. Sea x U y > 0, un entorno de
0
es
: [(x)
0
(x)[ <
si C es ese entorno entonces [
0
(x)[ [(x)[ + 1 + , por tanto
[
0
(x)[ 1. Concluimos que C = C, como la topologa dbil estrella en C es la
relativa de la producto tenemos que C es

-compacto.
Lema 2.5. Sean

dos topologas en un conjunto Z, si

, (Z,

) es
Hausdor y (Z,

) es compacto entonces

.
Corolario 2.6. Sea X es un e.v.t. separable entonces todo subconjunto de X

-compacto es metrizable.
Demostracin. La prueba se deduce inmediatamente del hecho que si la familia
de seminormas es numerable entonces la topologa que inducen es metrizable, y
del lema anterior.
Por ejemplo, si X es normado entonces B

= X

: || 1 es

-compacto, por tanto no es un entorno dbil del origen, salvo en dimen-

sin nita. Si adems X es separable entonces B

es metrizable, sin embargo

(X

) no tiene que ser metrizable para esto.

Medidas invariantes
Sea S un espacio topolgico localmente compacto y Hausdorff, denotamos
por C
0
(S) a aquellas funciones continuas de S C cuyo mdulo es pequeo
fuera de un compacto.
Teorema 2.7 (Riesz). Si dotamos a C
0
(S) con la norma del supremo entonces
C
0
(S)

es isomtricamente isomorfo a
M = medidas complejas regulares de Borel
con la norma || = [[(S) donde [[ denota la variacin total de . Si S es
compacto y C
0
(S)

= C(S)

es tal que (f) 0 si f 0 y (1) = 1

entonces la medida asociada es una medida de probabilidad.
CAPTULO 2. TOPOLOGAS DBILES 19
El isomorsmo del teorema de Riesz viene dado por donde (f) =
_
fd.
Al identicar C
0
(S)

con M tenemos una topologa dbil estrella en M, a

saber,
n
en

si
_
fd
n

_
fd f C
0
(S). Aplicando el teorema de
Banach-Alaoglu tenemos que B

= M : || 1 es

-compacto. Adems
las medida de probabilidad son un

-cerrado de B

, de donde concluimos que

M
P
= M : 0 y (S) = 1
es

-compacto.
Supondremos de ahora en ms que S es un espacio compacto y Hausdorff.
Denicin 2.3. Sea F : S S una funcin continua, decimos que una
medida de probabilidad es invariante para F si (A) = (F
1
(A)) para todo
A Boreliano.
Una medida es invariante para F si y solo si
_
hd =
_
h Fd
para toda h C(S). El conjunto de las medidas invariantes para F es un con-
vexo

-compacto, vamos a mostrar que es no vaco.

Para x S denimos

n
=
1
n
n1

i=0

F
i
(x)
donde
x
(A) = 0 si x / A y
x
(A) = 1 si x A. Como cada
n
es de probabilidad
tenemos una subsucesin convergente en

,
n
k
. Sea f C(S), entonces
_
fd
n
k
=
1
n
k
n
k
1

i=0
f(F
i
(x)) y
_
f Fd
n
k
=
1
n
k
n
k
1

i=0
f(F
i+1
(x))
entonces
_
fd
n
k

_
f Fd
n
k
=
1
n
k
(f(x) f(F
n
k
(x))) 0
porque f est acotada, por lo tanto
_
fd =
_
f Fd.
Concluimos que si F : S S es continua entonces el conjunto de las
medidas de probabilidad invariantes sobre F es un compacto convexo no vaco.
A continuacin estudiamos convexos compactos.
CAPTULO 2. TOPOLOGAS DBILES 20
2.3. Convexos compactos
En esta seccin probaremos el teorema de Krein-Milman que enuncia que
podemos recuperar cualquier compacto convexo como la clausura de la envol-
vente de sus puntos extremales.
Teorema 2.8. Sean A y B convexos disjuntos no vacos de un espacio vectorial
topolgico X.
i) Si A abierto entonces existe X

y R tal que
Re (x) < Re (y) x A y B
ii) Si A es compacto, B es cerrado y X es localmente convexo entonces existen
X

1
y
2
R tales que
Re (x)
1
<
2
Re (y) x A y B
iii) Si X

separa puntos, A y B son convexos compactos entonces existe

X

tal que
sup
xA
Re (x) < nf
yB
Re (y)
Demostracin. La primer parte es un leve renamiento del teorema de Hahn-
Banach ( 1.17). Para la segunda parte usamos el siguiente hecho, vlido en
cualquier e.v.t.: Si A es un compacto y B es cerrado entonces existe V entorno de
0 tal que (A+V )B = , si X es localmente convexo podemos tomar V convexo
y por tanto A+V es convexo. Aplicando la parte i) y usando el hecho de que A
es compacto obtenemos el resultado. Para la ltima parte tomamos la topologa
dbil en X, sta es localmente convexa, aplicando la parte ii) obtenemos una
(X, )

que satisface la tesis, como la topologa dbil no aumenta el dual

tenemos que X

.
Denicin 2.4. Sea K un subconjunto de X, un punto x K es extremal si
cada vez que escribimos x = ty
0
+(1t)y
1
con y
0
,= y
1
K y t [0, 1] entonces
t = 0 o t = 1.
Un punto x es extremal de K si cada vez que hay un segmento contenido en
K que lo contiene, l es extremo del segmento. Si K es convexo es equivalente
decir que x es extremal a decir que Kx continua siendo convexo. Notamos
por ext(K) al conjunto de los puntos extremales de K.
Ejemplos.
1. El conjunto de los puntos extremales no es necesariamente cerrado, mismo
en dimensin nita, basta tomar un crculo en el plano z = 0 y un segmento
vertical en R
3
que intersecta al crculo en un punto. ste punto no es
extremal.
2. En C([0, 1], R) la bola unidad B = |f|

1 tiene solo dos puntos

extremales f = 1 y f = 1.
CAPTULO 2. TOPOLOGAS DBILES 21
3. La envolvente convexa de un cerrado puede no ser cerrada, tomar (x, x
2
) :
x 0.
4. Existen ejemplos de compactos convexos en espacios vectoriales topolgi-
cos que no tienen puntos extremales.
Una variedad afn A es un subespacio corrido del origen. Es decir, para todo
v A se tiene que A v es un subespacio de X. Si A es una variedad afn
entonces S = v

: v

, v

A es un subespacio de X. Una variedad se dice

extremal respecto de K X si A K ,= y siempre que un segmento de K
tiene un punto interior en A el segmento est totalmente contenido en A.
Observacin. La interseccin decreciente de variedades anes extremales cer-
radas respecto de un compacto K es no vaca, ya que, como cada una intersecta
a K tenemos una sucesin decreciente de compactos contenidos en K y la in-
terseccin de compactos decrecientes es no vaca.
Teorema 2.9 (Krein-Milman). Sea X un espacio vectorial topolgico tal que
X

separa puntos y K X un compacto convexo, entonces K es la clausura de

la envolvente convexa de sus puntos extremales, o sea,
K = co(ext K)
Demostracin. Sea C = co(ext K). Es obvio que C K, supongamos que
hay un punto z KC. Por el teorema 2.8 existe una funcional lineal real
y continua tal que (z) > (x) x C. Sea = max(y) : y K y
H =
1
(), obviamente este hiperplano no contiene puntos de C, y por tanto
no tiene puntos extremales de K. Ahora, H es una variedad afn extremal ya
que si un segmento s K tiene un punto interior en H entonces restringimos
a s y tenemos una funcin lineal afn de [0, 1] R que toma su mximo en
su interior, por lo tanto es contante, o sea s H.
Por el lema de Zorn tenemos una variedad extremal afn minimal M H.
sta M es no vaca por la observacin anterior y no podr contener a ms de
un punto, de no ser as habr una X

real no constante en M porque X

separa puntos. Luego si = max(y) : y K M entonces

1
() es una
variedad afn extremal estrictamente contenida en M.
Como M = x
0
ste deber ser un punto extremal de K, esto contradice el
hecho de que en H no haba puntos extremales de K, por tanto K C entonces
K = C.
Corolario 2.10. Si X es localmente convexo y K X es compacto entonces
K co(ext K).
Para probar este corolario hay que observar que en la prueba del teorema
anterior el nico momento donde usamos la convexidad de K era en el hecho
de que co(ext K) K. Ahora esto no es necesariamente cierto ya que K no
es convexo. Pero la demostracin sigue as: si x KC tenemos que C es un
convexo cerrado y x es convexo compacto, la hiptesis de convexidad local
nos permite usar el item ii) del teorema 2.8. A partir de aqu la prueba sigue
CAPTULO 2. TOPOLOGAS DBILES 22
igual.
Sea F : S S una funcin continua de un espacio topolgico Hausdor y
compacto. Ya vimos que el conjunto de las medidas invariantes sobre F es un
convexo compacto no vaco. Veamos ahora que los puntos extremales de este
conjunto son medidas ergdicas.
Denicin 2.5. Una medida invariante sobre F es ergdica si cada vez que
F
1
(A) = A tenemos que (A) = 0 (A) = 1. La ergodicidad de una medida
mide cuan bien distribuye F los puntos de S.
Supongamos que es un punto extremal de las medida invariantes sobre F,
si no es ergdica entonces existe A invariante por F tal que (A) (0, 1),
tomamos

0
(E) =
(E A)
(A)
y
1
(E) =
(E A
c
)
(A
c
)
entonces = (A)
0
+ (A
c
)
1
, sta es una combinacin lineal convexa de ,
por tanto no es extremal.
2.4. Teorema de Stone-Weierstrass
Culminamos el captulo con la prueba del teorema de Stone-Weierstrass.
Weierstrass prob algunos casos particulares y Stone prob nalmente la versin
general. Vamos con algunos preliminares.
Sea X un espacio vectorial topolgico y A X un subespacio. Denimos el
anulador de A como
A

= X

: [
A
0
Por el teorema de Hahn-Banach tenemos que si A

= 0 entonces A es denso
en X.
Denicin 2.6. Un lgebra es un espacio vectorial X dotado de un producto
: XX X asociativo y distributivo respecto de la suma. Obviamente una
subalgebra es un subespacio que continua siendo un lgebra.
Un lgebra es normada si X es un espacio normado y |xy| |x||y|. Sea
X un espacio de Banach, si es adems un lgebra normada decimos que X es
un lgebra de Banach.
Si S es compacto y Hausdor entonces C
0
(S) = C(S) es un lgebra de
Banach con el producto punto a punto. Abusaremos notacin y escribiremos
C(S)

= M segn el teorema de Riesz ( 2.7).

Denicin 2.7. Sea una medida. El soporte de es el complemento de
aquellos puntos que tienen un entorno que mide 0 segn [[. O sea
sop = x : U entorno de x /[[(U) = 0

Obviamente sop es cerrado.

CAPTULO 2. TOPOLOGAS DBILES 23
Lema 2.11. Sea A una subalgebra cerrada de C(S) y un punto extremal de
K = A

: || 1. Si f A verica que 0 f 1 entonces f es

constante en el soporte de .
Demostracin. Sean las medidas
(E) =
_
E
fd y (E) =
_
E
(1 f)d
Vamos a probar que = /|| = /||. Como es extremal de K tenemos
que || = 1. Ahora, /|| K ya que si g A entonces
_
S
gd =
_
S
gfd = 0
porque gf A, de la misma forma /|| K. Escribimos = ||/|| +
||/|| sta es una combinacin convexa porque ||+|| = || = 1, como
es extremal tenemos que = /|| = /||. Supongamos que = /||,
la otra opcin es totalmente anloga, y tomemos un Boreliano E, entonces
_
E
fd = (E) = ||(E) =
_
E
||d
por lo tanto f = || c.t.p., como f es continua tendr que coincidir con || en
todo punto de sop.
Teorema 2.12 (Stone-Weierstrass). Sea A una sublgebra cerrada de C(S)
que contiene a las constantes y es cerrada por conjugaciones. Si A separa puntos
de S entonces A = C(S)
Demostracin. Sea K = A

: || 1. K es un convexo

-cerrado, por
Banach-Alaoglu es

-compacto y no vaco (0 K). Aplicamos Krein-Milman

y obtenemos un punto extremal de K, . Sea t
0
sop, entonces dado s S
tomamos f A tal que 0 f 1 y f(s) ,= f(t
0
) (para esto usamos todas
las propiedades de A), aplicando el lema tenemos que s / sop, por tanto
sop = t
0
entonces =
t0
con C y [[ = 1. Como A

tenemos
que
=
_
1d = 0
por tanto = 0. Concluimos que 0 es el nico punto extremal de K, as
A

= 0 y por tanto A es denso en C(S), como A es cerrado tenemos que

A = C(S).
Captulo 3
Espacios de Hilbert
3.1. Teora Bsica
Un producto interno (p.i.) en un espacio vectorial H es un mapa , ) ; H
H C que verica:
1. x +y, z) = x, z) + y, z) x, y, z H y , C.
2. x, y) = y, x) x, y H y C.
3. x, x) 0 y es nulo sii x = 0.
Si H es un espacio vectorial dotado de un producto interno decimos que es
un espacio pre-Hilbertiano. Todo producto interno induce una norma en H de la
forma |x| =
_
x, x). Si (H, | |) es un espacio de Banach decimos que (H, , ))
es un espacio de Hilbert .
Observacin.
1. En un espacio pre-Hilbertiano se verica la desigualdad de Schwartz i.e.:
[ x, y) [ |x||y| y [ x, y) [ = |x||y| implica x = y.
Demostracin.
0 x +y, x +y) = |x|
2
+[[
2
|y|
2
+ 2 Re y, x)
Elegimos = x, y) /|y|
2
entonces
0 |x|
2
+
[ x, y) [
2
|y|
2
2
[ x, y) [
2
|y|
2
2. Hay una condicin necesaria y suciente para que una norma sea prove-
niente de un producto interno: La ley del paralelogramo:
|x +y|
2
2
+
|x y|
2
2
= |x|
2
+|y|
2
24
CAPTULO 3. ESPACIOS DE HILBERT 25
Denicin 3.1. Dados x e y en un espacio pre-Hilbertiano decimos que x es
ortogonal a y si x, y) = 0 y lo notamos x y. Un conjunto es ortogonal si
todos sus elementos son ortogonales dos a dos, y es ortonormal si adems todos
tienen norma 1.
Observacin. (Teorema de Pitgoras) Si x y entonces |xy|
2
= |x|
2
+|y|
2
.
Teorema 3.1 (Gram-Schmidt). Si x
1
, . . . , x
n
es linealmente independiente
entonces existe e
1
, . . . , e
n
ortonormal tal que e
i

i=1...k
) = x
i

i=1...k
) k =
1 . . . n.
Proposicin 3.2. Sea H un espacio pre-Hilbertiano y sea e
1
, . . . , e
n
un con-
junto ortonormal. Escribimos V = e
i

n
i=1
), entonces dado x H existe
un nico P
V
(x) V que verica |x P
V
(x)| |x y| y V. Adems
|x|
2
|P
V
(x)|
2
.
Demostracin. Tal P
V
(x) tendr que escribirse de la forma
1
e
1
+ +
n
e
n
y
x P
V
(x) ser ortonormal a todos los e
i
entonces
0 =
_
x
n

i
e
i
, e
j
_
= x, e
j
)
j
e
j
, e
j
)
As obtenemos nuestro candidato, P
V
(x) =

n
i=1
x, e
i
) e
i
. Sea y V , por
Pitgoras tenemos que
|x P
V
(x)|
2
+|P
V
(x) y|
2
= |x y|
2
Por tanto |x P
V
(x)| |x y| y la igualdad es vlida solamente cuando
P
V
(x) = y. Es claro que x P
V
(x) P
V
(x), as, nuevamente por Pitgoras,
|x|
2
= |P
V
(x)|
2
|x P
V
(x)|
2
.
Como corolario obtenemos la desigualdad de Bessel.
Corolario 3.3 (Desigualdad de Bessel). Sea e

I
un conjunto ortonor-
mal, entonces
sup
FI nito

iF
[ x, e
i
) [
2
|x|
2
Sean I un conjunto arbitrario y x
i

iI
X espacio vectorial topolgico.
Denimos el conjunto dirigido D = F I : F nito ordenado con la inclusin.
Si la red S : D X denida por
S(F) =

iF
x
i
es convergente denotamos su limite como

iI
x
i
Ejemplos.
CAPTULO 3. ESPACIOS DE HILBERT 26
Si X = R y x
i
no negativos entonces S converge si y solo si
sup
FI:F nito

iF
x
i
<
y el lmite es el mismo.
X = R y x
i
cualesquiera entonces S converge los x
i
son nulos salvo
una cantidad numerable y la serie de los x
i
s converge absolutamente.
En el caso X = C o R podemos pensar que en I consideramos la medida
del conteo y

I
x
i
=
_
I
x donde x : I X est denido por x(i) = x
i
.
Hechas estas consideraciones observemos lo siguiente. Supongamos que ten-
emos un conjunto ortonormal e
i

iI
y para cada x consideramos el mapa
x : I C denido por x(i) = x, e
i
). Si dotamos I con la medida del conteo
la desigualdad de Bessel dice que
_
I
[ x[
2
=

I
[ x(i)[
2
=

I
[ x, e
i
) [
2
|x|
2
<
As tenemos que x L
2
(I, conteo). La pregunta es que condiciones hay que
pedirle al conjunto ortonormal e
i
y al espacio H para que la aplicacin x x
sea un isomorsmo lineal.
Proposicin 3.4. Sea e
i

iI
un conjunto ortonormal en un espacio de Hilbert
H, entonces

x, e
i
) e
i
converge en H.
Demostracin. Por la desigualdad de Bessel, solo una cantidad numerables de
x, e
i
) son no nulos, por ejemplo x, e
n
) n N. Solo resta ver que S
N
=

N
n=1
x, e
n
) e
n
es de Cauchy. Ahora
|S
N
S
M
|
2
=
N

n=M+1
[ x, e
n
) [
2
0
por la desigualdad de Bessel.
El siguiente teorema clasica los espacios de Hilbert.
Teorema 3.5. Sea H un espacio de Hilbert y e
i
un conjunto ortonormal, las
siguientes armaciones son equivalentes.
1. e
i

iI
) = H.
2. e
i

iI
es ortonormal maximal.
3. x H se tiene que x =

x, e
i
) e
i
.
4. |x|
2
=

[ x, e
i
) [
2
.
5. H es isomorfo a L
2
(I), I con la medida del conteo.
CAPTULO 3. ESPACIOS DE HILBERT 27
Demostracin. 1) implica 2). Sea x H ortogonal a todos los e
i
s, sabemos que
dado > 0 existe k N tal que |x

k
1

n
e
n
| < . Entonces
|x|
2
= [
_
x, x

n
e
n
_
[ |x||x
k

n
e
n
|
As |x| < . Concluimos entonces que x = 0 y por tanto e
i
es ortonormal
maximal.
2) implica 3). Sabemos que dicha suma converge por la proposicin 3.4,
pongamos y =

x, e
i
) e
i
, es una simple cuenta vericar que x y e
i
para
todo i I. 2) implica que x y = 0 y por tanto 3).
3) implica 4). Fcil.
4) implica 5). Para x H denimos x : I C dado por x(i) = x, e
i
)
entonces x L
2
(I) y |x| = | x|. Tenemos que : H L
2
(I) donde (x) = x
es una isometra lineal, resta ver al sobreyectividad. Sea y L
2
(I), la suma

y(i)e
i
es convergente en H, es claro entonces que si denimos x =

y(i)e
i
tenemos (x) = y.
5) implica 1). Basta probar que el espacio generado por los elementos e
i

es denso en L
2
(I). Observemos que e
i
(j) =
ij
. Tomemos x L
2
(I) entonces
x(i) = 0 salvo para una cantidad numerable de i

s pongamos i
1
, . . . , i
n
, . . .
entonces
|x
n

j=1
x(i
J
) e
ij
| =

j=n
|x(i
j
)|
2
0
Tenemos entonces un todo espacio de Hilbert podemos recuperarlo a partir
de un conjunto ortonormal maximal, por esto decimos que un conjunto ortonor-
mal maximal es una base de Hilbert.
Teorema 3.6. Dos bases de Hilbert tienen el mismo cardinal.
Demostracin. Sean A y B dos bases de Hilbert de H, ambas de cardinal in-
nito. Para cada b B denimos
A
b
= a A : a, b) , = 0
este conjunto es numerable ya que son los coecientes de b en la base A. Ahora,
como B es base tenemos que A =

b
A
b
, luego #(A) #(B). repitiendo el
razonamiento para B obtenemos que #(B) #(A).
Teorema 3.7. La completacin de un espacio pre-Hilbertiano es un espacio de
Hilbert.
CAPTULO 3. ESPACIOS DE HILBERT 28
Teorema 3.8. H es un espacio de Hilbert separable H tiene una base de
Hilbert numerable.
Demostracin. Si e
n

nN
es una base de Hilbert entonces el conjunto de las
combinaciones nitas de coecientes racionales de e
n
es un subconjunto denso
numerable.
Si no tuviramos una base de Hilbert numerable consideremos la siguiente
base, e

() =

. e

: I C y |e

|
2
= |e

|
2
+ |e

|
2
= 2 entonces
B(e

,
1

2
)
I
es una familia no numerable de abiertos disjuntos.
Sea H un espacio de Hilbert e y H. Denimos
y
(x) = x, y), es claro
que
y
es lineal y la continuidad se deduce inmediatamente de la desigualdad
de Schwartz, adems [
y
(y/|y|)[ = |y| as |
y
| = |y|. El siguiente teorema
nos dice que todo funcional en un espacio de Hilbert es de esta forma.
Teorema 3.9 (De representacin de Riesz). El mapa : H H

denido por (y) =

y
es una isometra sobreyectiva.
Demostracin. Sea H

0, ker es un hiperplano cerrado por tanto existe

y
0
H ortogonal a ker . Buscamos C para que (x) = x, y
0
), si la
igualdad fuera cierta entonces (y
0
) = |y
0
|
2
, escribimos entonces
=
(y
0
)
|y
0
|
2
Para vericar la igualdad en todos los puntos basta escribir x = m + ay
0
con
m ker . Esto prueba la existencia de algn y tal que (x) = x, y). Para la
unicidad tenemos que si x, y) = x, y

) x entonces x, y y

) = 0 x y por
tanto y y

= 0.
Observemos que el mapa no es una isomorsmo porque no es lineal,
(y) = (y). De todos modos, si dotamos a H

del siguiente producto

interno:
y
,
z
) = z, y), tenemos que todo espacio de Hilbert es isomorfo a su
dual ya que si e
i
es una base de Hilbert de H entonces
ei
es una base de
Hilbert de H

.
Tenemos tambin que todo espacio de Hilbert es reexivo, aunque esto no
es consecuencia de lo dicho en el prrafo anterior.
El teorema 3.5 nos dice quienes son todos los espacios de Hilbert, aunque esto
puede resultar en cierta perdida de informacin. Consideremos L
2
(S
1
, m), donde
m denota la medida de Lebesgue, con el producto interno f, g) =
_
S
1
fgd m.
Este es un espacio de Hilbert y el teorema de Fejer acierta que z
n
: n Z
es una base de Hilbert de L
2
(S
1
) (tambin podemos observar esto a partir del
teorema de Stone-Weierstrass). Por tanto tenemos un isomorsmo L
2
(S
1
)

=

2
(N). De aqu nace la teora de las series de Fourier.
CAPTULO 3. ESPACIOS DE HILBERT 29
3.2. El operador adjunto
Sean H y G dos espacios de Hilbert y T B(H, G). Fijado y G consider-
amos el operador x Tx, y), este es un operador acotado ya que [ Tx, y) [
|T||x||y|. Tenemos que jado y G, Tx, y) H

o sea que existe un nico

z H tal que Tx, y) = x, z) (teorema 3.9).
Denimos entonces el operador adjunto de T, T

: G H, de forma que
T

(y) = z. En particular se verica la siguiente relacin para cualesquiera x H

e y G :
Tx, y) = x, T

y) (3.1)
Proposicin 3.10. T

: G H es lineal y continua. Adems se verica:

1. (T +S)

= T

+S

.
2. (T)

= T

.
3. (TS)

= S

.
4. (T

= T.
5. |T| = |T

|.
Demostracin. Toda la prueba se basa en la ecuacin 3.1. Probemos algunas
de las propiedades enunciadas anteriormente, por ejemplo, (T

= T.
x, (T

y) = T

x, y) = y, T

x) = Ty, x) = x, Ty)
como la anterior se verica para todos x, y tenemos que T = (T

. Probemos
ahora que |T

| = |T|.
|T

y|
2
= [ T

y, T
y
) [ = [ TT

y, y) [ |T||T

y||y|
Entonces |T

| |T|, por tanto T

es continua, como adems T

= T tenemos
que |T| |T

|.
Observacin. Puede denirse algo similar al operador adjunto entre espacios
normados. Dado T B(X, Y ) con X e Y normados el conjugado de T es
T

B(Y

, X

) dado por T

()(x) = T(x). Valen muchas de las propiedades

enunciadas para el operador adjunto, en particular, como consecuencia de Hahn-
Banach vale que |T| = |T

|. En espacios de Hilbert la nica relacin entre el

operador conjugado y el operador adjunto es la conmutatividad del siguiente
diagrama:
H G
H

donde denota la isometra natural entre un espacio de Hilbert y su dual.

CAPTULO 3. ESPACIOS DE HILBERT 30
Ejemplo. En C
n
notamos por e
1
, . . . , e
n
la base cannica de C
n
y f
1
, . . . , f
n

su base dual. Si T es un operador de C

n
en si mismo y A es su matriz asociada a
la base cannica entonces su traspuesta es la matriz asociada a T

en f
1
, . . . , f
n

y A traspuesta conjugada es la matriz asociada a T

en e
1
, . . . , e
n
.
Denicin 3.2. Un operador entre espacios normados es una isometra si
preserva la norma.
En espacios de Hilbert las isometras preservan el producto interno ya que
|x|
2
+|y|
2
+ 2 Re x, y) = |x +y|
2
= T(x +y), T(x +y)) =
= |Tx|
2
+|Ty|
2
+ 2 Re Tx, Ty) = |x|
2
+|y|
2
+ 2 Re Tx, Ty)
Para la parte imaginaria hacemos la cuenta con y

= iy.
Observacin. T B(H, G) es una isometra sii T

T = Id.
Una isometra no es necesariamente sobreyectiva, basta considerar el shift
en
2
(N), s(x
1
, . . . , x
n
, . . . ) = (0, x
1
, . . . , x
n
, . . . ), igual se verica que s

s = Id.
Denicin 3.3. Un operador es unitario si es una isometra sobreyectiva.
Proposicin 3.11. T B(H, G) es unitario sii T es invertible y T
1
= T

.
Captulo 4
Operadores
4.1. Acotacin uniforme
Teorema 4.1 (De acotacin uniforme). Sea X un espacio de Frechet y
p

: I una familia de seminormas continuas tales que

p(x) = sup
I
p

(x) <
Entonces p es una seminorma continua.
Observacin. Si tenemos una familia de funciones continuas f

: Y R donde
Y es una espacio topolgico, entonces el mapa f : Y R denido por
f(x) = supf

(x) se semicontinuo inferiormente, i.e. x : f(x) > a es abierto

para todo a R. La demostracin es inmediata.
Demostracin. Sea A
n
= x : p

(x) n I, es claro que A

n
es cerrado ya
que cada p

es continua. Adems

A
n
= X, por el teorema de Baire obtenemos
que algn A
n
tiene interior no vaco, por tanto p est acotada en algn abierto
no vaco, entonces p es continua.
Veamos dos enunciados que son consecuencia del teorema [Link] prueba
del primero es simple.
Teorema 4.2. Sean X de Banach e Y normado y A

B(X, Y ) con I.
Si sup

|A

x| < x X entonces sup

|A

| < .
Teorema 4.3. Sean X Banach e Y normado y A

B(X, Y ), entonces o bien

1. sup

|A

x| = en un residual de X
2. sup

|A

| < .
Demostracin. Sea V
n
= x : sup

|A

x| > n, este conjunto es abierto por

una observacin hecha anteriormente. Si algn V
n
no fuera denso entonces existe
31
CAPTULO 4. OPERADORES 32
algn abierto U tal que U V
n
= por tanto |A

x| n en U, de aqu
concluimos (2). Si todo V
n
es denso la interseccin es el residual que buscamos
y concluimos (1).
Ejemplos.
1 Sea X un espacio normado y x
n

x, queremos probar que x

n
est
acotada en norma. Consideremos Jx
n
: X

C, como x
n
tiende dbil-
mente a x tenemos que Jx
n
() Jx() para toda X

, por tanto
sup
n
[Jx
N
()[ < . Por el teorema de acotacin uniforme concluimos
que sup
n
|Jx
n
| < pero |Jx
n
| = |x
n
|.
Corolario 4.4. Sea N) denso en X

donde X es un espacio de Banach.

Entonces x
n

x x
n
est acotada en norma y x
n
x N.
2 Sea x : N C una sucesin de complejos que verica lo siguiente: para
toda y
p
(1 p < )

x
n
y
n
converge. Entonces x
q
donde
1/p + 1/q = 1.
Demostracin. Observemos primero que la hiptesis implica que

[x
n
y
n
[ <
para toda y
p
ya que si y
p
denimos
y

(n) =
_
0 si x
n
y
n
= 0
|xnyn|
xnyn
y
n
en otro caso
Como y

p
tenemos que

[x
n
y
n
[ =

x
n
y

n
< .
Sea
N
(y) =

N
1
x
n
y
n
, es claro que cada
N
es un operador lineal y
continuo. Ahora, [
N
(y)[

[x
n
y
n
[ < y, entonces sup
N
[
N
(y)[ <
, por tanto sup
N
|
N
| < , como |
N
|
q
=

N
1
[x
n
[
q
obtenemos que
x
q
.
Nuestro objetivo en lo que sigue es probar el siguiente teorema.
Teorema 4.5. Existe un residual G C(S
1
) tal que para toda f G existe un
residual R
f
S
1
tal que S(n, x) f(x) para todo x R
f
.
Informalmente, para casi toda f C(S
1
) su serie de Fourier no converge en
casi todo punto. Aqu casi todo es en un sentido topolgico, casi todo en el
sentido de medida y en el sentido topolgico no son equivalentes, hay residuales
en el [0, 1] de medida nula.
Sea S
1
= e
it
: t [, ]. Ya observamos que e
int
: n Z es una
base de Hilbert de L
2
(S
1
, m) donde m denota la media de Lebesgue en [, ]
normalizada. Dada f L
2
(S
1
) denimos la reducida n-esima de la serie de
Fourier como la proyeccin de f sobre el espacio generado por e
n
, . . . , e
n
, o
sea,
S
n
(f, x) =
n

f, e
int
_
e
int
CAPTULO 4. OPERADORES 33
Siempre hay convergencia en L
2
de la serie, Carlesson prob adems que hay
convergencia c.t.p., esto no contradice lo que queremos demostrar.
Sale de la denicin que S
n
(f, x) = f D
n
(x) donde D
n
denota el nsimo
ncleo de Dirichlet denido por
D
n
(t) =
n

n
e
int
Para facilitar las siguientes cuentas jamos x = 0, el resultado no va a depender
de esta eleccin.
S
n
(f, 0) =
1
2
_

f(t)D
n
(t)dt =
1
2
_

f(t)D
n
(t)dt
Consideramos el operador A
n
: C(S
1
) C denido por A
n
(f) = S
n
(f, 0),
por la cuenta de arriba |A
n
(f)| |f|

|D
n
|
1
, por tanto A
n
es un operador
acotado. Se deja como ejercicio vericar que |A
n
| = |D
n
|
1
. Por una de
las versiones del teorema de acotacin uniforme tenemos que existe un residual
G
0
C(S
1
) tal que sup
n
|A
n
(f)| = f G
0
. Obtuvimos entonces que para
cada punto x S
1
existe un residual G
x
C(S
1
) tal que sup
n
[S
n
(f, x)[ =
f G
x
.
Consideremos un conjunto denso x
n

nN
en el crculo y el conjunto G =

n
G
xn
, este es un residual de C(S
1
). Sea f G, entonces
x : sup
n
[S
n
(f, x)[ = =

k
x : S
n
(f, x) k
Ahora, cada conjunto x : S
n
(f, x) n es abierto y es denso porque contiene
a x
n
, por tanto para cada f G hay un residual del crculo R
f
tal que
sup
n
[S
n
(f, x)[ = x R
f
.
4.2. Aplicacin abierta
Decimos que un subconjunto de un espacio topolgico es de primera categora
si se puede escribir como union numerable de conjuntos cuyas clausuras tienen
interior vaco. Un conjunto es de segunda categora si no es de primera categora.
Por ejemplo, en un espacio de Banach cualquier subespacio de dimensin de
Hamel numerable ser de primera categora ya que los subespacios de dimensin
nita son cerrados con interior vaco.
Teorema 4.6 (Aplicacin abierta). Sea T B(X, Y ), X de Banach e Y
normado. Si T(X) es de segunda categora en Y entonces T es abierta, sobreyec-
tiva e Y es de Banach.
Observacin. Si T(B(0, 1)) contiene un abierto, T es abierta.
CAPTULO 4. OPERADORES 34
Demostracin. Probamos primero que T(B(0, 1)) contiene un entorno del ori-
gen. Supongamos que T(B(0, 1)) U abierto de Y entonces existe una bola
B(Tx
0
, ) T(B(0, 1)) entonces T(B(x
0
, 1)) B(0, ) T(B(0, 1+|x
0
|))
B(0, ) entonces T(B(0, 1)) B(0, /(1 +|x
0
|)).
Ahora, dado A abierto tomamos B(x
0
, r) A entonces, como T(B(0, 1))
B(0, ), T(B(0, r)) B(0, r) T(B(x
0
, r)) B(Tx
0
, r), por tanto T(A) es
abierto.
Demostracin del teorema. Por la observacin anterior resta probar que la im-
agen por T de alguna bola contiene un abierto.
T(X) =

T(B(0, n)). Como T(X) es de segunda categora en Y , T(B(0, n))

tiene interior para algn n o, lo que es lo mismo, T(B(0, 1)) B(0, ). Es-
to implica que T(B(0, 1/2
n
)) B(0, /2
n
), llamemos a esta propiedad [P
n
].
Armamos que T(B(0, 1)) B(0, /2).
Sea y B(0, /2). Por [P
1
] existe x
1
con |x
1
| < 1/2 tal que |yTx
1
| < /4.
Por [P
2
] existe |x
2
| < 1/4 tal que |y Tx
1
Tx
2
| < /8. Por induccin
construimos x
n
tal que |x
n
| < 1/2
n
y
|y Tx
1
Tx
n
| < /2
n+1
Como X es Banach y

|x
n
| < 1 tenemos que x =

x
n
X y |x| < 1.
Adems Tx = T(

x
n
) =

Tx
n
= y porque T es continua.
Corolario 4.7. T B(X, Y ) con X e Y Banach.
1. Si T es sobre entonces T es abierta.
2. Si T es biyectiva entonces T
1
es continua. Esto implica que existen con-
stantes c
1
y c
2
tales que c
1
|x| |Tx| c
2
|x|.
Un enunciado levemente mas general del teorema de la aplicacin abierta
es intercambiar X de Banach por X de Frechet e Y por un espacio vectorial
topolgico.
4.3. Grco cerrado
Sean X e Y espacios normados si dotamos a XY de las operaciones obvias
y de la norma |(x, y)| = |x| + |y| obtenemos que el producto de espacios
normados es normado y es de Banach si y solo si X e Y son de Banach.
Denicin 4.1. Dado un operador T : X Y denimos el grco de T como
G
T
= (x, Tx) : x X X Y
Es claro que si f : X Y es una funcin continua entre espacios topolgi-
cos Hausdor entonces su grco es cerrado. Para operadores entre espacios de
Banach el recproco es valido.
CAPTULO 4. OPERADORES 35
Teorema 4.8 (Grco cerrado). Sea T un operador entre espacios de Ba-
nach. Entonces T B(X, Y ) G
T
es cerrado.
Demostracin. Sean
1
y
2
las proyecciones de XY sobre X e Y respectiva-
mente. Como G
T
es un subespacio cerrado de X Y , es un espacio de Banach.
Ahora,
1
: G
T
X es un operador continuo y biyectivo, por el teorema de
la aplicacin abierta el operador x (x, Tx) es continuo, como T =
2
(x, Tx)
concluimos que T es continuo.
Si eliminamos la hiptesis de X Banach hay un contraejemplo para el teore-
ma. Consideremos X = C
1
([0, 1]) e Y = C([0, 1]) ambos con la norma del supre-
mo. Sea T : X Y el operador derivada, Tf = f

, y sea (f
n
, f

n
) (f, g).
Como f
n
converge uniformemente a f converge en un punto, como adems
f

n
g tenemos que f

= g, por tanto G
T
es cerrado pero T no es aco-
tado, basta observar que T(sen(nx)) = ncos(nx) 1 = | sen(nx)|

pero
|T(sen(nx))|

= n.
Observacin. El teorema del grco cerrado nos dice que al tratar de probar la
continuidad de cierto operador alcanza con ver que si x
n
x y Tx
n
y
entonces Tx = y.
Ejemplo. Ya se vio en el practico que si dotamos a c = x : N C convergentes
con la topologa de

, podemos ver a toda funcional : c C como un pro-

ducto de vectores innitos. O sea, existe un nico a
1
(N) tal que
(x) =

n=1
a
n
x
n
=
_
a
1
. . . a
n
. . .
_
_
_
_
_
_
_
x
1
.
.
.
x
n
.
.
.
_
_
_
_
_
_
Adems || = |a|
1
. En (

hay funcionales que no son multiplicar por un

vector innito, por esto (

,=
1
.
Sea (
ij
) una matriz innita (i, j N). Supongamos que para todo x c,

j=1

ij
x
j
converge a y
i
i 0 y que y = y
i

. Vamos a probar dos

cosas:
1. sup
i

j=1
[
ij
[ <
2. El operador A : c

dado por A(x) = y es lineal y continuo.

Sabemos que x X,

j=1

ij
x
j
converge, de donde deducimos que
ij

jN

1
, adems, por lo dicho anteriormente el funcional
i
(x) =

j=1

ij
x
j
es aco-
tado y |
i
| = |
ij

jN
|
1
. O sea que para todo i N k
i
tal que

j=1
[
ij
[ < k
i
CAPTULO 4. OPERADORES 36
Para todo x c [
i
(x)[ sup
i
[y
i
[ porque y

, por acotacin uniforme

deducimos que sup
i
|
i
| < . Esto es lo que queramos probar. Resta ver la
continuidad de A. Para esto usamos el grco cerrado (ejercicio).
Ejercicio. Sean X, Y espacios de Banach entonces T B(X, Y ) T
X

T : (X, ) (Y, ) es continua.

Captulo 5
Fredholm y operadores
compactos
Decimos que un operador A : X Y entre espacios vectoriales es de
Fredholm si la dimensin del kernel y la dimensin de cokernel son nitas. El
cokernel de un operador A se dene como el cociente entre Y y el rango de A,
coker(A) = Y/
Ran(A)
. El ndice de un operador de Fredholm es
indA = dimker Adimcoker A.
Se verica que indAB = indA + indB. El objetivo de este captulo es probar
que los operadores de Fredholm de rango cerrado son los elementos invertibles
del lgebra de Calkin.
Durante todo el captulo utilizaremos la letra H para denotar un espacio de
Hilbert y X e Y denotan espacios de Banach.
5.1. Operadores compactos
Denicin 5.1. Sea T un operador acotado de X a Y . Decimos que T es
compacto si T(B) es compacto, donde B denota la bola unidad de X.
Cualquier operador acotado de rango nito es obviamente compacto, el
recproco no es necesariamente cierto. Sea c
0
= x : N C / x
n
0,
consideramos el shift con pesos, s :
2
(N)
2
(N) dado por
s(x
1
, . . . , x
n
, . . . ) = (0,
1
x
1
, . . . ,
n
x
n
, . . . )
Este es un operador compacto de rango no nito, esto se podr probar mas
adelante.
Proposicin 5.1. Sea T B(X, Y ). Las siguientes armaciones son todas
equivalentes.
37
CAPTULO 5. FREDHOLM Y OPERADORES COMPACTOS 38
1. T es compacto.
2. T(A) es compacto para todo A acotado de X.
3. Si x
n
es una sucesin acotada en X entonces Tx
n
tiene una subsuce-
sin convergente.
4. T lleva acotados en totalmente acotados.
La prueba de esta proposicin es simple por lo que ser omitida. Las propiedades
siguientes de los compactos se deducen inmediatamente de 5.1.
Propiedades 1.
a) T, S compactos, C entonces T +S es compacto.
b) T es compacto y S acotado entonces TS y ST son compactos.
c) Si T
n
son compactos y T
n
T entonces T es compacto.
d) Si T B(H) entonces T es compacto si y solo si es lmite de operadores
de rango nito.
Demostracin. Probemos c) y d). Sea x
n
una sucesin acotada. Por un pro-
ceso diagonal obtenemos una subsucesin x

n
tal que T
k
(x

n
) es convergente
para todo k. Ahora,
|Tx

n
Tx

m
| |(T T
k
)(x

n
)| +|T
k
(x

n
x

m
)| +|(T T
k
)x

m
|
Como x

n
est acotada podemos hacer todos los trminos arbitrariamente
pequeos y obtenemos as que Tx

n
es de Cauchy y por tanto convergente.
Para probar d), sea e
i

iI
una base de ortonormal. Para cada subconjunto
nito F I consideramos P
F
(x) =

iF
x, e
i
) e
i
, obviamente P
F
tiene rango
nito. El conjunto D de todos los subconjuntos nitos de I es un conjunto
dirigido con el orden F
1
F
2
si F
1
F
2
.
Para cada x H la red P
F
x converge puntualmente a x. Supongamos que
|P
F
T T| no tiende a 0, entonces existe > 0 y D

D tal que para todo

F D

existe |x
F
| = 1 tal que |P
F
Tx
F
Tx
F
| . Como T es compacto
y |x
F
| = 1 tenemos que Tx
F
tiene una subred convergente, abusando de
notacin escribimos Tx
F
y. Escribimos entonces
|P
F
Tx
F
Tx
F
| |P
F
Tx
F
P
F
y| +|P
F
y y| |Tx
F
y| 0
Teorema 5.2. T B(H) es compacto si y solo si T

es compacto.
Demostracin. Basta probar que si T es de rango nito entonces T

tambin
ya que el mapa : B(H) B(H) es continuo. Sea v
1
, . . . , v
n
una base
ortonormal del rango de T, o sea, Tx =

i
Tx, v
i
) v
i
. Ahora
Tx, y) =
_
n

i
Tx, v
i
) v
i
, y
_
=
n

i
Tx, v
i
) v
i
, y) =
CAPTULO 5. FREDHOLM Y OPERADORES COMPACTOS 39
n

i
x, y, v
i
) T

v
i
) =
_
x,
n

i
y, v
i
) T

v
i
_
Por tanto T

y =

n
i
y, v
i
) T

v
i
, o sea, de rango nito. Como T

= T
tenemos probado el recproco.
Teorema 5.3. T es un operador compacto si y solo si T : (B, ) (H, | |)
es continuo, donde B denota la bola unidad en un espacio de Hilbert H.
Queda como ejercicio la demostracin.
5.2. Perturbados compactos de la identidad
Cualquier operador invertible es un operador de Fredholm, esto es claro ya
que dimker A = dimcoker A = 0. Adems si A es invertible y |T| < 1/|A
1
|
entonces A T es invertible. O sea que perturbados sucientemente pequeos
de invertibles son invertibles. La pregunta es cuanto podemos perturbar un op-
erador invertible y que continue siendo de Fredholm.
De aqu en mas notaremos por B
0
(X) a todos los operadores compactos de
X en si msmo e I denota el operador identidad.
Teorema 5.4. Sea T B
0
(X), entonces
1. dimker(T I) < .
2. Ran(T I) es cerrado.
Demostracin. Sea X

= ker(TI), entonces T[
X
= Id[
X
. Como X

es cerrado
es de Banach y, por ser T compacto en B(X), T es compacto en B(X

). Ahora,
como T[
X
= Id[
X
, Id[
X
es compacto y por tanto X

es de dimensin nita.
Como ker(T I) es de dimensin nita, tenemos un subespacio cerrado M
tal que X = ker(T I) M, llamemosle S = (T I)[
M
. As S : M X
es continuo e inyectivo, si probamos que la inversa es continua obtenemos que
Ran(T I) = S(M) es cerrado. Para esto basta ver que existe > 0 tal que
|Sx| |x| x M, si esto no fuera cierto existira una sucesin x
n
tal que
Sx
n
0 y |x
n
| = 1. Como T es compacto Tx
n
es convergente, tomando una
subsucesin si es necesario, pongamos Tx
n
y. Ahora, x
n
= Tx
n
Sx
n
y,
pero como S es continua Sx
n
Sy entonces Sy = 0, por tanto y = 0 lo que
contradice el hecho de que |x
n
| = 1.
Proposicin 5.5. Sea T un operador acotado de H en si mismo, entonces se
cumple que:
a) (ker T)

= RanT

.
b) (RanT)

= ker T

.
CAPTULO 5. FREDHOLM Y OPERADORES COMPACTOS 40
Demostracin. Empecemos por b). y (RanT)

Tx, y) = 0 x H
x, T

y) = 0 x H T

y = 0 y ker T

. Aplicando b) a T

tenemos que
(RanT

= ker T RanT

= (ker T)

.
Denicin 5.2. Decimos que la sucesin de subespacios de H, H
n
, se esta-
biliza si existe n N tal que H
n
= H
n+1
.
Observacin. Sea A B(H). Si ker A
n
= ker A
n+1
entonces
1. ker A
m
= ker A
n
m n.
2. A[
Ran A
n es inyectiva.
3. ker A
n
RanA
n
= 0
Teorema 5.6. Si T B
0
(X), con X Banach, entonces ker(TI)
n
se estabiliza.
Demostracin. Escribamos A = T I, supongamos que no se estabiliza, o sea,
ker A
0
ker A
1
ker A
n
.
Tomamos, por el lema de Riesz ( 1.10), una sucesin x
n+1
ker A
n+1
tal que
|x
n
| 2 y |x
n+1
x| 1 x ker A
n
(Si X es de Hilbert se toma simplemente
x
n+1
ker A
n+1
de norma 1 ortogonal a ker A
n
). Queremos ver que Tx
n
no
tiene subsucesiones convergentes. Tomamos m < n y calculamos |Tx
n
Tx
m
|.
Tx
n
Tx
m
= Ax
n
+x
n
Ax
m
x
m
Como x
n
ker A
n
, Ax
n
ker A
n1
. A su vez, x
m
ker A
m
Ax
m

ker A
m1
ker A
n1
porque m < n. Adems x
m
ker A
m
ker A
n1
. En-
tonces Tx
n
Tx
m
= x
n
+ y con y ker A
n1
por tanto |Tx
n
Tx
m
| 1 de
donde T no es compacto.
Corolario 5.7. Si T B
0
(H) y Ran(T I) = H entonces ker(T I) = 0.
Demostracin. Si Ran(T I) = H entonces Ran(T I)
n
= H para cualquier
n N, en particular aquel n para el cual ker(T I)
n
se estabiliza. Entonces
T I[
Ran(TI)
n es inyectiva, pero Ran(T I)
n
= H, de aqu obtenemos el
resultado.
Corolario 5.8. Si T B
0
(H) y ker T I = 0 entonces Ran(T I) = H.
Demostracin. Si ker(T I) = 0 entonces Ran(T I)

= (ker(T I))

= H.
Como T

es compacto T

I tiene rango cerrado as que Ran(T

I) = H,
por el corolario anterior 0 = ker(T

I) = Ran(T I)

.
Corolario 5.9. Si T B
0
(H) entonces Ran(T I)
m
se estabiliza en el
mismo n donde se estabiliza ker(T I)
m
.
CAPTULO 5. FREDHOLM Y OPERADORES COMPACTOS 41
Demostracin. Como T es compacto (T I)
n
es tambin un perturbado com-
pacto de la identidad lo cual implica que (T I)
n
tiene rango cerrado y por
tanto completo. Adems T I[
Ran(TI)
n es inyectiva. Como
T I : Ran(T I)
n
Ran(T I)
n+1
es inyectiva tenemos que, por el corolario anterior, Ran(T I[
Ran(TI)
n) =
Ran(T I)
n
de donde Ran(T I)
n+1
= (T I)(Ran(T I)
n
) = Ran(T I)
n
Corolario 5.10. Sea T B
0
(H) entonces
H = Ran(T I)
n
ker(T I)
n
donde n estabiliza ker(T I)
m
.
Demostracin. Escribamos A = TI para aliviar notacin. Por una observacin
hecha anteriormente resta ver que para todo x H existen y RanA
n
tal que
xy ker A
n
. Como RanA
n
se estabiliza en n tenemos que RanA
n
= RanA
2n
,
o sea que para todo x H A
n
x RanA
2n
, esto implica que existe z H tal
que A
n
x = A
2n
z de donde A
n
(x A
n
z) = 0 o sea que x A
n
z ker A
n
.
El siguiente teorema es principal en el desarrollo de la siguiente seccin.
Teorema 5.11. Sea T un operador compacto de un espacio de Hilbert H en si
mismo. Entonces T I es un operador de Fredholm de rango cerrado e ndice
0.
Observacin. Si H = M M

y A B(H) es un operador de Fredholm que

deja invariantes M y M

entonces indA = indA[

M
+ indA[
M
.
Demostracin. Pongamos A = T I. Se deduce inmediatamente del teorema
5.4 y de la proposicin 5.5 que A es de Fredholm.
Para calcular el ndice descomponemos H en al forma RanA
n
ker A
n
.
Sabemos que A[
Ran A
n es biyectiva. Resta ver que indA[
ker A
n = 0. Para esto
razonamos de la siguiente forma. Como A es Fredholm A
n
es Fredholm porque
(T I)
n
= T

I con T

B
0
(H). Luego, ker A
n
tiene dimensin nita y por
tanto A[
ker A
n tiene ndice 0.
5.3. El lgebra de Calkin
Sea H un espacio de Hilbert. Consideremos en B(H) la estructura de lge-
bra de Banach con el producto como composicin. Por propiedades enunciadas
anteriormente sabemos que B
0
(H) es un ideal cerrado de B(H). El cociente
B(H)/B
0
(H)
es tambin un lgebra de Banach llamada lgebra de Calkin. Denotamos por G
al grupo de los invertibles del lgebra de Calkin, y dado A B(H) notamos
[A] = A+T : T B
0
(H) su clase de equivalencia en B(H)/B
0
(H).
CAPTULO 5. FREDHOLM Y OPERADORES COMPACTOS 42
Lema 5.12. Sean X Banach, Y subespacio cerrado y Z subespacio de dimensin
nita. Entonces Y +Z es cerrado.
Demostracin. Basta considerar : X X/Y ya que
1
((Z)) = Y +Z.
Teorema 5.13. A es un operador de Fredholm de rango cerrado si y solo si
[A] G.
Demostracin. Si [A] G entonces existe B B(H) tal que BA = I + T
1
y
AB = I + T
2
con T
1
, T
2
B
0
(H). Tenemos que probar que dimker A < ,
dimcoker A < y que A(H) es cerrado.
RanA = A(H) A(B(H)) = RanAB = Ran(I + T
2
). Como I + T
2
es
Fredholm su rango tiene codimension nita, por tanto la codimension de RanA
es nita de donde dimcoker A < . ker A ker BA = ker(I + T
1
) que tiene
dimensin nita. Tenemos probado que A, y anlogamente B, es de Fredholm,
hay que probar que su rango es cerrado. Armamos que AB(H) = A(B(H)):
Sea y A(B(H)), luego existe z B(H) tal que Az = y. Como z B(H)
tomamos x
n
B(H) tal que |Bx
n
z| < 1/n.
|ABx
n
y| |A||Bx
n
z| 0
Como AB es un perturbado compacto de la identidad tenemos que RanAB
es cerrado, por tanto y RanAB. Como AB(H) A(B(H)) tenemos que
AB(H) = A(B(H)).
Para ver que A(H) es cerrado escribimos H = B(H) B(H)

entonces
A(H) = A(B(H)) + A(B(H)

), por la armado A(B(H)) es cerrado y, como

B es Fredholm, A(B(H)

) tiene dimensin nita, por el lema anterior A(H) es

cerrado.
Veamos ahora la prueba del directo. Sea A un operador de Fredholm de rango
cerrado. A[
ker A
: ker A

RanA es biyectivo, como RanA es cerrado, S, la

inversa de A[
ker A
, es continua. Tomamos el siguiente operador acotado
Bx =
_
Sx si x RanA
0 si x (RanA)

Escribimos H = ker A (ker A)

entonces dado z escribimos z = x + y

donde x ker A e y (ker A)

, entonces BAz = BAx + BAy = y o sea que

BA = P
(ker A)
. Anlogamente, escribiendo H = RanARanA

tenemos que
AB = P
Ran A
.
Concluimos entonces que BA = I P
ker A
y que AB = I P
(Ran A)
. O sea
que [AB] = [I] = [BA] ya que P
ker A
y P
Ran A
son compactos por tener rango
nito. Probamos entonces que [A] G, lo que culmina la prueba.
CAPTULO 5. FREDHOLM Y OPERADORES COMPACTOS 43
Teorema 5.14. Sea A un operador de Fredholm de rango cerrado e ndice n y
T un operador compacto. Entonces A+T es un Fredholm de ndice n. En otras
palabras, el ndice es constante en clases de equivalencia.
Demostracin. Sabemos que [A] = [A+T] G. Tomamos entonces B B(H)
tal que [A][B] = [I] BA = I + T
1
con T
1
B
0
(H), como ind(I + T
1
) = 0
tenemos que indB+indA = 0, pero [B][A+T] = [I] de donde indB+ind(A+
T) = 0.
Teorema 5.15. El mapa ind es continuo, es decir, si A es un Fredholm de
ndice n entonces existe > 0 tal que si |A

| < entonces A +A

tiene ndice
n.
Demostracin. Sea B B(H) tal que BA = I + T con T B
0
(H). Ahora,
B(A + A

) = BA + BA

= (I + BA

) + T. Tomando < 1/|B| y A

tal que
|A

| < tenemos que

|I (I +BA

)| |B||A

| < 1
por tanto I +BA

es invertible por tanto 0 = ind(I +BA

+T) = indB+ind(A+
A

). Pero tambin tenemos que 0 = indB + indA porque [A][B] = [I].

Como corolario tenemos que el mapa ind : G Z es un homomorsmo
de grupos continuo y sobreyectivo, para ver la sobreyectividad basta tomar una
base de Hilbert y considerar e shift en un subconjunto numerable de esa base
dejando el resto de as coordenadas jas. Notemos por G
0
a la componente
conexa de [I]. Asumiendo que GL(H) = invertibles de B(H) es conexo se
puede probar que ker ind = G
0
de donde se deduce que
G/ G
0

= Z
Captulo 6
Teorema Espectral
Si H es un espacio de Hilbert sobre C vale el siguiente teorema que es falso
en espacios sore R.
Teorema 6.1. Sea T B(H), H sobre C. Entonces Tx, x) = 0 x H
T = 0.
Demostracin. T(x +y), x +y) = Tx, y)+Ty, x) = 0 para cualquier eleccin
de x, y H, en particular vale para iy, o sea, i Tx, y)+i Ty, x) = 0, entonces
2i Tx, y) = i(Tx, y) +Ty, x)) i Tx, y) +i Ty, x) = 0 x, y H
de donde T = 0.
6.1. Operadores normales y autoadjuntos
Denicin 6.1. Un operador T B(H) se dice normal si conmuta con su
adjunta, o sea, T

T = TT

. Un operador acotado se dice autoadjunto si T = T

.
Consideremos, para T B(H), el conjunto
(T) = C : T I no es invertible
Este conjunto se llama el espectro de T. Que un operador sea no invertible no
implica que este no sea inyectivo, consideramos entonces el siguiente conjunto

p
(T) = C : ker(T I) ,= 0
ste se denomina espectro puntual de T. Obviamente
p
(T) (T). Si
p
(T)
decimos que es un autovalor de T y si x ,= 0 es tal que x ker(T I) decimos
que x es un autovector asociado a .
Observacin. Sea T un operador compacto. Si ,= 0 entonces T I es un
operador de Fredholm porque escribimos (T/I). O sea que si ,= 0 entonces
dimker T I < .
44
CAPTULO 6. TEOREMA ESPECTRAL 45
Veremos mas adelante que el shift en
2
(Z), s(e
n
) = e
n+1
, no pose espectro
puntual, pero (s) = S
1
. Sin embargo, los operadores compactos se comportan
de forma mas agradable con su espectro. Si T B
0
(H) entonces (T)
p
(T)
0 ya que si 0 ,= (T)
p
(T) tenemos que T I es un operador de
Fredholm de rango cerrado e ndice 0. Como /
p
(T) tenemos que dimker T
I = 0 de donde dimcoker T I = 0. Por tanto T I es sobreyectiva, esto
contradice el hecho de que (T).
Proposicin 6.2. Sea T un operador acotado.
1. T es normal entonces |Tx| = |T

x| x H. El recproco es cierto si H
es sobre C.
2. Si T es normal y
p
(T) entonces
p
(T

).
3. Si T es normal, ,
p
(T), ,= , entonces ker(T ) ker(T I).
Demostracin. Si |Tx| = |T

x| para todo x H entonces Tx, Tx) = x, T

Tx).
Ahora, T

x, T

x) = x, TT

x), de donde
x, T

Tx) = x, TT

x) x H
Por el teorema 6.1 tenemos que TT

= T

T. Probemos 3). Sean x ker T I

e y ker T I.
x, y) = x, y) = Tx, y) = x, T

y) = x, y) = x, y)
Como ,= , x, y) = 0.
Observacin. A B(H) es autoadjunta entonces Ax, x) R x H. El
recproco vale si H es sobre C.
Demostracin. El directo es claro ya que Ax, x) = x, Ax). Para el recproco
utilizamos el teorema 6.1.
Proposicin 6.3. Sea A un operador autoadjunto.
1. Si x H vale que [ Ax, x) [ |x|
2
entonces |A| 1.
2. sup
x=1
[ Ax, x) [ = |A|.
Demostracin. Consideramos |x| = |y| = 1.
A(x +y), x +y) |x +y|
2
A(x y), x y) |x y|
2
Sumando y aplicando la ley del paralelogramo obtenemos que
4 Re Ax, y) |x +y|
2
+|x y|
2
2(|x|
2
+|y|
2
) = 4
CAPTULO 6. TEOREMA ESPECTRAL 46
O sea que Re Ax, y) 1. Como esto vale para cualquier par |x| = |y| = 1
tenemos que [ Ax, y) [ 1 x, y de norma 1, de donde |A| 1.
Escribimos = sup
x=1
[ Ax, x) [. Para cualquier x H consideramos

_
A
x
|x|
,
x
|x|
_

[(A/)x, x)[ |x|

2
.
Aplicando la parte anterior tenemos que |A/| 1 de donde |A| .
Proposicin 6.4. Sea A un operador compacto y autoadjunto. Entonces existe

p
(T) tal que [[ = |A|.
Demostracin. Como A es compacto tenemos que A : (B, ) (H, | |) es
continuo, donde B denota la bola unitaria de H. El mapa x Ax, x) R
de la bola con la topologa dbil a R es continuo. Por Banach-Alaoglu B es
-compacto de donde existe x
0
B tal que
|A| = [ Ax
0
, x
0
) [ |A||x
0
|
2
|A|
Entonces la desigualdad de Schwartz para [ Ax
0
, x
0
) [ es una igualdad, por tanto
Ax
0
= x
0
. Es inmediato, a partir de ahora, que [[ = |A|.
Observacin. La proposicin anterior es vlida para operadores compactos y
normales admitiendo que H sea un C-espacio vectorial.
Lema 6.5. Sean > 0 y T un operador compacto. Entonces C : [[ >

p
(T) es nito.
Demostracin. De no ser as consideramos un conjunto ortonormal e
n
de au-
tovectores asociados a autovalores diferentes de mdulo mayor que . La sucesin
Te
n
=
n
e
n
no tiene subsucesiones convergentes ya que, por el teorema de
Pitgoras |Te
n
Te
m
|
2
= |
n
e
n

m
e
m
|
2
= [
n
[
2
+[
m
[
2
2.
Un corolario inmediato de este lema es que si T es un operador compacto
entonces
p
(T) es numerable, y, si es innito, acumula en 0.
6.2. Teorema Espectral
Denicin 6.2. Sea H
n
una sucesin de subespacios cerrados en H ortogonales
2 a 2. Denimos la suma directa como

nN
H
n
=
_
_
H
n
_
Lema 6.6.

H
n
= x H : x =

x
n
con x
n
H
n
y

|x
n
|
2
< .
Adems

P
Hn
converge puntualmente a P
Hn
.
CAPTULO 6. TEOREMA ESPECTRAL 47
Observacin. Sea T un operador normal y compacto y sea
H

np(T){0}
ker(T
n
I)
entonces TH

y T

.
Demostracin. ker T I es Tinvariante si
p
(T). Adems ker T I =
ker T

I que es T

invariante.
Teorema 6.7 (Espectral). Sea T un operador compacto y autoadjunto de un
espacio de Hilbert H en si mismo. Sea
H

np(T){0}
ker(T
n
I)
Entonces H = ker T H

y
T =

np(T)

n
P
n
donde P
n
es la proyeccin ortogonal sobre ker(T
n
I), la suma denota con-
vergencia en norma.
Demostracin. Por la observacin anterior TH

y T

, entonces
TH

y T

. Adems T[H

es autoadjunta, si H

,= ker T
entonces existira una autovalor de T[H

de norma no nula, esto es absurdo.

Sea |x| = 1 entonces x = x
0
+

x
n
con x
n
ker T
n
I entonces Tx =

n
x
n
entonces
|Tx
N

n=1

n
P
n
x|
2
= |

N+1

n
x
n
|
max
nN+1
[
n
[

N+1
|x
n
|
2
max
nN+1
[
n
[ 0
Observacin. Si H es sobre C el teorema espectral es vlido para operadores
compactos y normales.
Ejemplo. Consideremos en
2
(Z) el shift dado por s(e
n
) = e
n+1
, no es compacto
porque es invertible pero es normal, su adjunta es su inversa s

(e
n
) = e
n1
.
Supongamos que s x = x entonces x
n
= x
n+1
, entonces x
0
= x
1
=
n
x
n
entonces x
n
= x
0
/
n
. Si [[ > 1 entonces x
n
si n por tanto
x /
2
(Z). Si [[ < 1 tambin concluimos un absurdo pues x
n
si n .
Si [[ = 1 entonces

|x
n
|
2
=

|x
0
|
2
= de donde x /
2
(Z). Esto prueba
CAPTULO 6. TEOREMA ESPECTRAL 48
que
p
(s) = .
Vamos a probar ahora que (s) = S
1
= z C : [z[ = 1. Supongamos que
[[ > 1, entonces | s /| < 1 entonces s / I es invertible, de donde s I es
invertible , (s). Si [[ < 1 entonces |I| < 1 = 1/| s
1
| entonces s I
es invertible y por tanto , (s). Concluimos que (s) S
1
.
Sea [[ = 1. Queremos ver que s I no es sobreyectiva. Sea y Ran(s I),
entonces y
n
= x
n1
x
n
, entonces x
n1
= y
n
+ x
n
. O sea, x
0
= x
1
+ y
1
,
x
1
= x
2
+y
2
x
0
= y
1
+y
2
+
2
x
2
. En general
x
n
=
n
x
0
+
n

i=1

in1
y
i
Consideremos la sucesin y
n
=
1n
/n con y
0
= 0, como [[ = 1y
n

2
(Z). Si y
n
Ran(s I) entonces
x
n
=
n
x
0
+
n
n

i=1
1
i

concluimos entonces que y
n
/ Ran(s I), y por lo tanto (s).
Podemos usar esto para demostrar que [s] ,= [I] en el lgebra de Calkin.
s I es un operador normal, porque s lo es. Si [s] = [I] entonces s I es un
operador compacto. Ahora, s I I = s (1 + )I, deducimos entonces que

p
(s I) + 1
p
(s) = , esto contradice el teorema espectral ya que
supusimos que s I era compacto.
Captulo 7
Teorema de Lomonosov
7.1. Teorema de Schauder
Sea B R
n
la bola unidad cerrada. El teorema de Brouwer arma que
cualquier aplicacin continua f : B B tiene un punto jo. La prueba de
este teorema se basa en herramientas de topologa diferencial por lo que la
omitiremos. Este teorema tiene una generalizacin inmediata que es la siguiente.
Corolario 7.1. Sea E R
n
un conjunto compacto convexo y f : E E una
funcin continua, entonces f tiene un punto jo.
Demostracin. Sea B una bola cerrada de R
n
que contiene a E. Dado x B
existe y E tal que d(x, y) = d(x, E), como E es convexo este y es el nico
que verica esta propiedad. Extendemos f a todo B de la siguiente forma: para
x B tomamos y E a menor distancia de x y denimos f(x) = f(y). Tenemos
entonces que f : B E B es continua, por el teorema de Brouwer hay un
punto jo x = f(x), pero f(B) E por tanto x E y es un punto jo de
f : E E.
Schauder generaliza este resultado a espacios de Banach con un leve cambio
en las hiptesis. Necesitamos de un lema que nos permitir pasar del problema
en dimensin innita a uno de dimensin nita para aplicar el corolario anterior.
Sea K un subconjunto de un espacio de Banach X. Supongamos que para
> 0 jo existe A = a
1
, . . . , a
n
X tal que K

n
1
B(a
i
, ). Para x X
denimos m
ai
(x) = max0, |x a
i
|. Obviamente m
ai
es nula fuera de
B(a
i
, ) y si x K existe j tal que m
aj
(x) ,= 0. Denimos
A
: K X dada
por

A
(x) =

m
ai
(x)a
i

m
ai
(x)
Vale observar que
A
(x) es una combinacin convexa de a
1
, . . . , a
n
.
Lema 7.2.
A
: K X es una funcin continua y |
A
(x) x| < .
49
CAPTULO 7. TEOREMA DE LOMONOSOV 50
La prueba de este el lema es simple y queda como ejercicio.
Teorema 7.3 (Schauder). Sea E un subconjunto convexo cerrado y acotado
de un espacio de Banach X. Sea f : E E una funcin continua tal que f(E)
es compacto, entonces f tiene un punto jo.
Demostracin. Sea K = f(E). Para cada n tomamos A
n
K nito tal que
K

aAn
B(a, 1/n). Tomamos
An
como en el lema anterior. Como
An
es
una combinacin convexa de los elementos de A
n
tenemos que
An
(K) E.
Sea f
n
=
An
f : E E, del lema deducimos que
|f
n
(x) f(x)| < 1/n x E (7.1)
Tomamos X
n
= A
n
) y E
n
= EX
n
, entonces E
n
es compacto y convexo y f
n
:
E
n
E
n
es continua. Como X
n
es de dimensin nita, aplicando el corolario
existe x
n
E
n
tal que f
n
(x
n
) = x
n
. Es fcil ver que la sucesin f(x
n
) K
tiene una subsucesin convergente a un punto de K por ser compacto, digamos
f(x
n
k
) x
0
, entonces, por la ecuacin 7.1 tenemos
|x
n
k
x
0
| |f
n
k
(x
n
k
) f(x
n
k
)| +|f(x
n
k
) x
0
| 0
Luego, como f es continua f(x
n
k
) f(x
0
) pero f(x
n
k
) x
0
de donde
f(x
0
) = x
0
.
Teorema 7.4 (Markov-Kakutani). Sea X un espacio normado y K X
compacto y convexo. Sea A
i

iI
una familia de mapas continuos anes de K
en K que conmutan dos a dos. Entonces existe x K tal que A
i
x = x i I.
La demostracin queda como ejercicio.
7.2. Subespacios invariantes
Sea A un operador acotado no escalar (A ,= I) de un espacio de Banach
X en si mismo. El problema que discutiremos en esta seccin es la existencia
de subespacios cerrados invariantes no triviales para A. La respuesta a esta
pregunta en espacios de Banach es negativa como mostr Read en 1984 con
un contraejemplo. En espacios de Hilbert tomamos x
0
tal que Ax
0
,= 0, el
subespacio A
n
x
0
: n 0) es cerrado e invariante, si H es no separable esta
es una solucin. Para espacios de Hilbert de dimensin numerable el problema
continua abierto. Otras condiciones que implican la existencia de subespacios
cerrados invariantes no triviales son las siguientes:

p
(A) ,= . En efecto, ker A I es invariante distinto de H. Si H es de
dimensin nita sobre C entonces
p
(A) ,= .
Si RanA no es denso entonces RanA es invariante no trivial.
CAPTULO 7. TEOREMA DE LOMONOSOV 51
El problema se torna mas interesante al notar que aquellos operadores con
espectro puntual distinto del vaci forman un conjunto denso en B(H).
Un subespacio cerrado M no trivial es hiperinvariante para A B(X) si es
invariante para cualquier operador acotado que conmuta con A.
Denicin 7.1. Una sublgebra A de B(H) es irreducible si no existe sube-
spacio cerrado invariante no trivial para todo A de A.
Si
p
(A) entonces ker(A I) es un subespacio invariante para la sub-
lgebra A = A

B(H) : A

A = AA

, o sea, ker(A I) es hiperinvariante

para A.
Lema 7.5. Sea A una sublgebra irreducible que contiene un compacto no nulo
T. Entonces existe B A compacto tal que 1
p
(B).
Demostracin. Podemos suponer que |T| = 1. Sea x
0
tal que |x
0
| > 1 y
|Tx
0
| > 1, entonces 0 / Q = T(B(x
0
, 1)), adems Q es compacto. Armamos
que existen A
1
, . . . , A
n
A tal que Q

n
1
A
1
i
(B(x
0
, 1)).
Para cada y H H
y
= Ay : A A es un subespacio invariante para todo
elemento de A, por ser A una sublgebra. H
y
,= 0 ya que de no ser as el sube-
spacio unidimensional generado por y sera invariante para todo A A. Esto
no es posible por ser A irreducible. Por el mismo argumento deducimos que H
y
es denso en X. Entonces para todo y Q existe A A tal que |Ay x
0
| < 1,
o sea, Ay B(x
0
, 1) entonces y A
1
(B(x
0
, 1)). Como Q es compacto existen
A
1
, . . . , A
n
A tal que Q

n
1
A
1
i
(B(x
0
, 1)) como habamos armado.
Sean m(t) = max0, 1 t y
(x) =
n

j=1
m(|A
j
x x
0
|)

m(|A
j
x x
0
|)
A
j
x
entonces (Q) B(x
0
, 1). Componemos con T, entonces T : B(x
0
, 1)
B(x
0
, 1), adems T(B(x
0
, 1)) es compacto porque T es compacto y es con-
tinua. Aplicamos el teorema de Schauder y obtenemos un punto jo z = Tz.
El problema es que T no es lineal, para esto consideramos
Bx =
n

j=1
m(|A
j
Tz x
0
|)

m(|A
j
Tz x
0
)
A
j
Tx
entonces B A porque es combinacin lineal de A
j
T y, por la misma razn, B
es compacto. Adems Bz = Tz = z, de donde 1
p
(B).
Teorema 7.6 (Lomonosov). Sea X un espacio de Banach y A B(X) un
operador no escalar. Si A conmuta con un operador compacto entonces A tiene
un subespacio cerrado hiperinvariante no trivial.
CAPTULO 7. TEOREMA DE LOMONOSOV 52
Demostracin. Sea A = A

B(X) : AA

= A

A la sublgebra de los
operadores que conmutan con A. Por hiptesis contiene un compacto. Si fuera
irreducible aplicamos el lema y obtenemos que existe B A compacto tal que
1
p
(B). ker B I es A invariante porque BA = AB, como B es compacto
B I es Fredholm entonces dimker B I < , por tanto A[ ker(B I) tiene
un autovalor . ker(AI) es un subespacio hiperinvariante no trivial.
Apndice A
Teorema de von-Neumann
Sea G un semigrupo (i.e. hay un producto : G G G asociativo)
denimos

(G, R) = x : G R : [x(g)[ acotado. Bsicamente es poner en

G la medida del conteo. Una media invariante a izquierda en G es una funcional
lineal m :

(G, R) R que verica:

m es no negativa, o sea, m(f) 0 si f 0.
m(f
t
) = m(f) donde f
t
(s) = f(ts) f

(G, R) t, s G.
m(1) = 1 donde 1 es la funcin constante 1.
Se deduce inmediatamente de las propiedades que m(nf f) m(f) m(supf)
de donde m es un funcional acotado y |m| = 1 porque m(1) = 1.
Denicin A.1. Si un semigrupo G admite un media invariante a izquierda
decimos que G es promediable.
En un grupo una media invariante a izquierda induce una media invariante
a derecha: basta poner m

(f) = m(f

) donde f

(s) = f(s
1
).
Teorema A.1 (von-Neumann). Todo grupo abeliano es promediable.
Demostracin. Sea X =

(G, R). El conjunto

B = X

: (1) = 1, || 1 = X

: (1) = 1, 0
es

-compacto y convexo. Para cada t G denimos A

t
()(f) = (f
t
). Clara-
mente A
t
es lineal y

-continua. Por ser G abeliano A

t
A
s
= A
st
= A
ts
= A
s
A
t
,
o sea, las A
t
conmutan. Adems A
t
(B) B, aplicando el teorema de Markov-
Kakutani ( 7.4) tenemos que hay un punto jo m B para toda A
t
. m es la
media invariante a izquierda que buscamos.
53
ndice alfabtico
absorbente, 7
acotado, 12
algebra, 22
de Banach, 22
de Calkin, 41
irreducible, 51
anulador, 22
autovalor, 44
autovector, 44
base
algebraica, 2
de Hamel, 2
de Hilbert, 27
cokernel, 37
convexo, 7
envolvente, 7
local, 11
desigualdad de Bessel, 25
desigualdad de Schwartz, 24
dual, 10
algebraico, 3
equilibrado, 12
espacio
de Banach, 3
de Frechet, 10
Hilbert, 24
vectorial, 2
vectorial normado, 3
vectorial topolgico, 10
espectro, 44
espectro puntual, 44
estabiliza, 40
extremal, 20
funcional
de Minkowski, 8
sublineal, 7
hiperinvariante, 51
hiperplano, 9
indice, 37
interior algebraico, 7
isometra, 5, 30
isomorsmo, 5
lema
Riesz, 6
media invariante a izquierda, 53
medida
ergdica, 22
invariante, 19
metrizable, 10
norma, 3
operador, 4
acotado, 4
adjunto, 29
autoadjunto, 44
compacto, 37
conjugado, 29
de Fredholm, 37
normal, 44
ortogonal, 25
ortonormal, 25
primera categora, 33
producto interno, 24
promediable, 53
54
NDICE ALFABTICO 55
semiespacio, 9
Teorema
acotacin uniforme, 31
aplicacin abierta, 33
Banach-Alaoglu, 17
Birkho-Kakutani, 11
espectral, 47
Hahn-Banach, 8, 9
Kolmogorov, 13
Krein-Milman, 21
Lomonosov, 51
Markov-Kakutani, 50
representacin de Riesz, 28
Riesz, 18
Schauder, 50
Stone-Weierstrass, 23
von-Neumann, 53
topologa
dbil, 17
dbil estrella, 17
vectorial, 10
unitario, 30