UNED

Facultad de Ciencias
Máster en Matemáticas Avanzadas
Trabajo de Fin de Máster

Algunos teoremas fundamentales de las

topologías débiles

Autor: Diego Antonio Charbonnier Tramuja

Tutor: Prof. Dr. José Leandro de María González

Barcelona, febrero de 2011

1
Contenidos

Introducción II
1. Espacios de Banach 1
1.1 Algunas consideraciones previas. . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. Teoremas fundamentales 12
2.1 Teorema de Hahn - Banach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2 Aplicaciones del Teorema de Hahn - Banach. . . . . . . . . . . . . . . . 15
2.3 Teorema de la Aplicación Abierta . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4 Teorema del Gráco Cerrado. . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.5 Teorema de la Acotación Uniforme . . . . . . . . . . . . . . . . . . . . . . . 23
3. Topologías débiles 25
3.1 Topología débil σ(E, E 0 ). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
0
3.2 Topología débil * σ(E , E) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
0
3.3 Topología débil * acotada bσ(E , E). . . . . . . . . . . . . . . . . . . . . . 35
3.4 Espacios reexivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.5 Espacios separables. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4. Teorema de Eberlein - S̆ mulian 46
4.1 Introducción. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.2 Teorema de Eberlein - S̆ mulian. . . . . . . . . . . . . . . . . . . . . . . . . .48
4.3 Operadores débilmente compactos. . . . . . . . . . . . . . . . . . . . . . . .54
5. Bibliografía consultada 59
6. Símbolos utilizados 61

i
Introducción

El presente documento lo entrego como trabajo nal en el Máster de

Matemáticas Avanzadas de la UNED, correspondiente a la opción Análisis
Matemático.
Cuando se da a conocer la oferta de posibles trabajos nales, veo como
continuación natural de los cursos de Análisis Funcional y de Operadores
en Espacios de Banach el tema propuesto por el Prof. Dr. José Leandro de
María.
Comienzo el trabajo con una introducción a los espacios de Banach y la
presentación de los teoremas básicos del análisis funcional. A continuación
me reero a la topología de la norma como la topología fuerte, en el sentido
de que, para que de toda sucesión acotada pueda extraerse una subsucesión
convergente es necesario y suciente que la dimensión del espacio sea nita.
Esta contrariedad origina el estudio de otras topologías que generen más
compactos, que evidentemente deberán ser menos nas que la de la norma.
Fundamentalmente en este trabajo haré referencia a la topología débil y a la
topología débil estrella. Es claro que si la dimensión del espacio es nita, las
topología fuerte, la débil y la débil estrella son equivalentes, por lo que en
adelante, para que sea de interés consideraré espacios de dimensión innita
La topología débil se puede denir en cualquier espacio vectorial norma-
do, resultando con esta topología un espacio vectorial localmente convexo y
Hausdor, pero si la dimensión del espacio no es nita, no será metrizable,
con lo que en estos casos, la topología fuerte es estrictamente más na que
la topología débil.
La topología débil estrella solo se dene para espacios duales, pero sor-
prendentemente con ella obtenemos el teorema de Alaoglu que nos permite
asegurar que la bola unitaria cerrada de dicho espacio es compacta con la
topología débil estrella. Otro resultado notable es el teorema de Goldstine,
que demuestra que si E es un espacio vectorial normado entonces E es denso
en E 00 con la topología débil estrella.
Probablemente el teorema de Eberlein-S̆ mulian sea el centro de este tra-
bajo, ya que nos permite asegurar que un conjunto es débilmente compacto
si y solo si es débilmente compacto por sucesiones. En los espacios métricos
es conocida la equivalencia entre los conceptos de compacidad y de sucesion-
almente compacto, pero lo sorprendente del teorema de Eberlein-S̆ mulian
es que esta equivalencia se hace sabiendo que el espacio en cuestión con la
topología débil no es metrizable.

ii
 Históricamente el desarollo de estos conceptos comienza a principios del
siglo veinte y es Hilbert, según Dieudonné en su History of functional ana-
lysis el que introduce el concepto de convergencia débil en 1906: For the
development of Functional Analysis, the most important concepts introduced
by Hilbert were what he calls "continuity" and "complete continuity", which
correspond to what will later be called the "strong" and "weak" topologies on
Hilbert space.
De igual manera los trabajos de S̆ mulian y de Eberlein tienen lugar en
períodos donde la noción de compacidad en los espacios topológicos tal cual la
utilizamos hoy en día, estaba en desarrollo. En 1940S̆ mulian establece que si
E es un espacio topológico dotado con la topología débil y A un subconjunto
de él, entonces A es relativamente numerablemente compacto si y solo si A es
relativamente secuencialmente compacto, luego en 1947, Eberlein prueba la
equivalencia entre relativamente compacto y relativamente numerablemente
compacto. En este trabajo se comentará directamente la equivalencia entre
relativamente compacto y secuencialmente compacto para un subconjunto A
de un espacio topológico E munido con la topología débil.
Finalmente como aplicación de los conceptos vistos anteriormente se pre-
sentan algunos resultados sobre operadores
débilmente compactos, especialmente la propiedad de factorización a través
de espacios reexivos.

Breve historia del Análisis Funcional Los espacios normados fueron

introducidos en la segunda decada del siglo XX. No fué un hecho aislado,
porque paralelamente se desarrollaban teorías más generales como eran los
espacios vectoriales topológicos y otras más concretas como la de los espacios
de Hilbert. Por supuesto unas y otras iban inuyendose entre sí, la teoría de
espacios de Hilbert fué una inagotable fuente de sugerencias y deniciones
que los espacios normados recogieron y ampliaron anándolas. Lógicamente
importantes matemáticos hacían artículos con repercusión en varias teorías
a la vez.
Ya desde el origen del Cálculo Innitesimal se vió la necesidad para el
tratamiento de algunos problemas el paso de lo nito a lo innito. El cálculo
en diferencias dio lugar a su paso a lo innito con el cálculo innitesimal. A
mediados del siglo XVIII las semejanzas entre el Álgebra Lineal y los prob-
lemas del Cálculo Diferencial se maniestan en el estudio de la ecuación de

iii
las cuerdas vibrantes. Daniel Bernoulli tiene dos ideas que serán reiterativas
en el tratamiento de los problemas funcionales con origen en la ecuación

∂ 2 u(x, t) 2
2 ∂ u(x, t)
= c
∂x2 ∂t2
La primera es considerar la oscilación de una cuerda como el limite de la
oscilación de n masas puntuales en la cuerda vibrante.
La segunda es que la oscilación general se puede descomponer como la
suma X
an ϕn (x, t)
de las oscilaciones propias ϕn (x, t).
Pero lo fundamental es que tanto las ecuaciones diferenciales, como las in-
tegrales

d2 d
L= 2
+ p(x) + q(x)
dx dx
y

ˆ b
J= K(x, y)u(x)dx
a
se empezaron a considerar como operadores denidos en espacios de fun-
ciones con valores en espacios de funciones. Muchos de ellos tenían propiedades
lineales con lo cual eran una generalización de las trasformaciones lineales.
Bernhard Riemann (1826-1866) en su tesis ya hablaba de colecciones de
funciones formando un conjunto conexo y cerrado.
Ascoli y Arzela intentaron extender la teoría de conjuntos de Cantor
a conjuntos de funciones que consideraban como puntos. Hadamard en el
Primer Congreso Internacional de Matemáticos de 1897 sugirió que se tratasen
como conjuntos de puntos ciertas colecciones de curvas a efectos de utilizarlas
como dominios de denición de los operadores para utlizar métodos análogos
al análisis matemático y del álgebra lineal.
El mayor esfuerzo por construir una teoría abstracta de los espacios de
funciones lo hizo Maurice Fréchet (1878-1973) en su tesis doctoral de 1906, en
la que introdujo los espacios métricos, asi como los operadores lineales y (esto
está relacionado con nuestro trabajo) denominó extremal a los conjuntos se-
cuencialmente compactos y compactos a los relativamente secuencialmente
compactos.

iv
 Las métricas en los espacios de funciones que hoy conocemos como norma
del supremo y de la integral también se denieron en los trabajos de Fréchet,
así como la métrica (denominada de Fréchet) en los espacios de sucesiones.
Otros de los logros de este matemático francés fué la denición de continuidad
y diferenciabilidad de un funcional, lo que hoy conocemos como derivada de
Fréchet.
En 1906 E.H.Moore comenzó a extraer de la teoría de las ecuaciones lin-
eales con un número nito de incognitas la teoría para innitas incognitas, y a
sus estudios los denominó Análisis General con una introducción axiomática.
Los estudios de Hilbert sobre las ecuaciones integrales se basaban en el
desarrollo de las funciones por su serie de Fourier, pero Hilbert no asoció los
coecientes de Fourier a puntos de un espacio innito dimensional. Quien lo
hizo fué Schmidt fundamentando desde el caso de dimensión nita al innito
las desigualdades de Bessel y la fórmula de Schwarz. En 1907 tanto Schmidt
2
como Fréchet anunciaron que la geometría del espacio L era identica a los
espacios de Hilbert. A partir de aquí ya se hace evidente el paralelismo entre
los espacios de Hilbert y los espacios de funciones. Hilbert en su espacio
axiomatizado se ve en la necesidad de introducir dos tipos de convergencia
distintos: los que corresponden a nuestra convergencia débil y fuerte.
Otra aproximación a los espacios abstractos la inició Riesz, aproximada-
mente en 1918, aunque la denición completa es de Banach que junto con
Hahn y Helly trabajaron sabiendo que las normas podrían no tener un pro-
ducto escalar asociado. La mayor generalidad llevaba a estudiar más espacios
pero se perdía la ortogonalidad y por tanto la posibilidad de asegurar la ex-
istencia y localización de puntos próximos.
Banach introdujo la denición de operador lineal continuo y estudio la
ecuación
x + hF (x) = y
donde x e y son funciones de un espacio, F un operador lineal continuo y h
un escalar. Encontró una solución

(−1)n hn F (n) (y)

P
x=y+

donde F (n) = F (F (n−1) ),generalizando el método de Volterra de resolución

de las ecuacioens integrales.
En 1927 Hahn enunció el Teorema de Hahn y en 1929 Banach independi-
ente lo enunció y demostró el teorema que pasó a llamarse de Hahn-Banach.
Entre ambos construyen toda la teoría de dualidad y de operadores y sus

v
traspuestos. Hubo muchas aportaciones de Helly y Minkowski. Steinhaus y
Saks se preocupan por las cuestiones de categoría lo quedesemboca en el
enunciado de los teoremas de Graco Cerrado y Babach-Steinhaus, dejando
construidas las bases que fundamentan la teoría.
Todos estos avances pudieron ser formalizados y estructurados por los
avances de la Topología General entre 1930 y 1940, anados por el uso de J.
von Neumann en 1935 de los espacios localmente convexos y de los conjun-
tos acotados, que consiguieron espectaculares resultados en los trabajos de
Mackey.
Una de las aplicaciones más potentes es la Teoría de Distribuciones de
Schwartz donde los espacios localemte convexos y sus duales es fundamental
en la resolución de ecuaciones funcionales.
Cada teorema siguiente tiene una historia de una investigación detrás y
eso superaría los límites de esta pequeña introducción.

vi
1. Espacios de Banach

1.1. Algunas consideraciones previas

Los espacios vectoriales considerados serán siempre sobre el cuerpo de los
reales o sobre el cuerpo de los complejos y representaremos por K a cualquiera
de ellos.

Denición Sea E un espacio vectorial sobre el cuerpo K, diremos que la

aplicación p : E → R+ es una seminorma sobre E si verica:
i) para todo x, y ∈ E p(x + y) ≤ p(x) + p(y)
ii) para todo x ∈ E y para todo λ ∈ K p(λx) = |λ| p(x)
Si además para todo x ∈ E con x 6= 0 se cumple que p(x) > 0 diremos
entonces que p es una norma sobre E .

Lema 1.1.1 Si p es una seminorma sobre E y x e y son dos vectores

cualesquiera de E , entonces |p(x) − p(y)| ≤ p(x − y)
La demostración surge en forma inmediata utilizando la propiedad i) de la
denición de seminorma.

Teorema 1.1.2 Una función p : E → R+ es una seminorma en E si y

p(λx) = |λ| p(x) para
sólo si todo x ∈ E y para todo λ ∈ K y el conjunto
{x ∈ E : p(x) ≤ 1} es convexo.

Demostración Cp = {x ∈ E : p(x) ≤ 1} sea convexo y

Supongamos que
sean x e y dos vectores cualesquiera de E consideremos los números a y b
ε ε
tales que a = p(x) + y b = p(y) + , con ε > 0 arbitrario. Consideremos
2 2
−1 −1
los vectores x1 = a x y y1 = b y , se cumple que p(x1 ) < 1 y p(y1 ) < 1
entonces
a b
z= x1 + y1
a+b a+b
pertenece a Cp , es decir que p(z) ≤ 1, pero entonces como puedo escribir
z = (a + b)−1 (x + y) deducimos que p(x + y) ≤ a + b. Finalmente obtenemos
p(x + y) ≤ p(x) + p(y) + ε
y recordando que el ε es arbitrario obtenemos

p(x + y) ≤ p(x) + p(y)

1
Lema 1.1.3 Si p y q son dos seminormas sobre E y ab dos números
y
reales positivos tales que p(x) < a implica q(x) ≤ b, entonces aq(x) ≤ bp(x)
para todo x ∈ E.

Demostración Supongamos que el lema es falso, entonces existe un w∈E

para el que se cumple
aq(w) > bp(w)
sea t>0 tal que
aq(w) > t > bp(w)
el vector ( abt )w cumple que

ab bw
p(( )w) = ap( ) < a
t t
y también
ab aw
q(( )w) = bq( ) > b
t t
lo cual es una contradicción.

Teorema 1.1.4 Sea E un espacio vectorial y sea A⊂E un subconjunto

absolutamente convexo y absorbente. Entonces existe una única seminorma
p tal que {x ∈ E : p(x) < 1} ⊂ A ⊂ {x ∈ E : p(x) ≤ 1}

Demostración La unicidad surge de aplicar el lema 1.1.3 ya que si suponemos

que existen dos normas p y q que cumplen

{x ∈ E : p(x) < 1} ⊂ A ⊂ {x ∈ E : p(x) ≤ 1}

y
{x ∈ E : q(x) < 1} ⊂ A ⊂ {x ∈ E : q(x) ≤ 1}
entonces para todo x tal que p(x) < 1 se cumple que x ∈ A que a su vez
signica que q(x) ≤ 1 con lo que debe ser q(z) ≤ p(z) para todo z ∈ E . De
igual manera se prueba que p(z) ≤ q(z) para todo z ∈ E , lo que nalmente
implica que p = q .
Para demostrar la última parte, consideremos como seminorma el fun-
cional de Minkowski (o calibrador) del conjunto A

pA (x) = inf {λ > 0 : x ∈ λA}

2
Como A es equilibrado, se tiene que para todo λ > 0 0 ∈ λA, lo que signica
que pA (0) = 0. Entonces si t = 0 resulta que pA (tx) = pA (0) = 0 = |t| pA (x).
λ λ
Si suponemos ahora que t 6= 0 entonces A para λ > 0 coincide con A por
t |t|
ser A equilibrado, por consiguiente se tiene que pA (tx) = inf {λ > 0 : tx ∈
λA} = inf {λ > 0 : x ∈ λt A} = inf {λ > 0 : x ∈ |t| λ λ
A} = |t| inf { |t| >0:
λ
x ∈ |t| A} = |t| pA (x).
Sean ahora x e y dos vectores cualesquiera de E y consideremos dos
números reales positivos λ y µ tales que x ∈ λA e y ∈ µA . Entonces

x + y ∈ λA + µA

y como A es convexo, se tiene

x + y ∈ (λ + µ)A

y por consiguiente
pA (x + y) ≤ λ + µ
de lo anterior sigue que

pA (x + y) ≤ inf {λ > 0 : x ∈ λA} + inf {µ > 0 : x ∈ µA} = pA (x) + pA (y)

Supongamos ahora que w ∈ E verica que pA (w) < 1 entonces existe un real
t tal que 0 < t < 1 para el que vale w ∈ tA pero como A es equilibrado,
resulta que tA ⊂ A , nalmente z ∈ A, luego vale

{x ∈ E : p(x) < 1} ⊂ A

Para probar la otra implicación, consideremos y ∈ A, de acuerdo a la deni-

ción de pA se tiene que pA (y) ≤ 1 y por tanto

A ⊂ {x ∈ E : p(x) ≤ 1}

Sea E un E.V.T.

Denición 1 Un subconjunto A de E se dice completo si y sólo si todo

ltro de Cauchy en A converge a un punto x de A.

3
Denición 2 Diremos que A ⊂ M es secuencialmente completo si y sólo
si cada sucesión de Cauchy en A converge a un límite en A.

Evidentemente si A⊂E es completo, entonces es secuencialmente com-

pleto, pero la proposición recíproca es en general falsa. Existe sin embargo
una importante clase de E.V.T., los llamados espacios metrizables para los
que sí vale el recíproco.

Denición 3 Un E.V.T. E se dice metrizable si su topología puede denirse

por una distancia.

Teorema 1.1.5 Sea E un E.V.T.metrizable y sea A un subconjunto se-

cuencialemente completo de E, entonces A es completo.

Demostración Como E es metrizable, existe una base numerable de

entornos del origen de sea {Un }n∈N dicha base. Debemos probar que
E,
cualquier ltro de Cauchy F en A, converge en A. Para cada n ∈ N ex-
iste Mn ∈ F tal que Mn − Mn ⊂ Un . Para cada n considero el conjunto
T T T
M1 M2 M3 . . . Mn que no es vacío porque los Mi ∈ F , por lo que
puedo elegir para cada n ∈ N un xn en dicho conjunto. Es obvio que la suce-
sión (xn )n∈N es de Cauchy y entonces converge a un punto x de A. Debemos
probar entonces que el ltro F converge a x. Dado Un , existe Uk tal que
Mk + Mk ⊂ Un , sea entonces h ∈ N con h ≥ k de forma que xh ∈ Uk + x.
Como xh ∈ Mk , vale

Mk − Mk ⊂ Uk entonces Mk − xk ⊂ Uk con lo que Mk ⊂ xh+ Uk

nalmente
Mk ⊂ x + Uk + Uk ⊂ x + Un

Denición 4 Un E.V.T. se dice de Banach si es normado y completo.

Es decir que si (E, k.k) es un E.V.T. normado, para probar que es un

espacio de Banach, debería probar que es completo, pero como todo espacio
normado es metrizable y teniendo en cuenta el teorema 1.1.5, es suciente
con probar que es secuencialmente completo.

4
Ejemplo 1 Sea E un E.V.T. normado y de dimensión nita. Sabemos
que todo E.V.T. Hausdor de dimensión nita es completo y como E es
normado,entonces es Hausdor. Es decir que si E es un E.V.T. normado y
de dimensión nita entonces es un espacio de Banach.

Comentario De acuerdo al Teorema de Riesz, estos son los únicos espacios

de Banach localmente compactos.

Ejemplo 2 Sea E el espacio de las funciones continuas en un compacto K,

al que notaremos por C(K). Dotemos a C(K) con la norma del supremo

para todo f ∈ C(K), kf k = sup |f (x)|

x∈K

Consideremos en C(K) la sucesión de Cauchy (fn )n∈N , se cumple que para

cada x∈K la sucesión (fn (x))n∈N es de Cauchy en C lo que signica que
tiene límite, al que llamaré f (x). De lo anterior se deduce que (fn )n∈N con-
verge puntualmente a una cierta función f en K . Probemos entonces que la
convergencia es uniforme.
Como para todo ε>0 existe N (ε) tal que para todo m, n ∈ N, m, n ≥
N (ε)
ε
kfn − fm k <
2
entonces
ε
sup |fn (x) − fm (x)| <
2
ε
para cada x ∈ K elijo rx ≥ N (ε) de forma que |fn (x) − frx (x)| < . Entonces
2
para cada n ≥ N (ε) y para cada x ∈ K se tiene que

|f (x) − fn (x)| ≤ |f (x) − frx (x)| + |frx (x) − fn (x)| < ε

entonces
sup |f (x) − fn (x)| < ε para todo n ≥ N (ε)
x∈K
lo que nalmente signica que para todo ε > 0 existe N (ε) de forma que
para todo n ∈ N, n ≥ N (ε)
|f − fn | ≤ ε
o sea que (fn )n∈N converge uniformemente a f , lo que implica la continuidad
de f , entonces f ∈ C(K) con lo que C(K) es sucesionalmente completo lo
que hace de C(K) un espacio de Banach.

5
Ejemplo 3 Sea E el espacio `p con 1 ≤ p < +∞. Sea xn = (xnm )m∈N una
∞ 1/p
kxkp = ( |xi |p ) . Entonces dado ε > 0
P
sucesión de Cauchy con la norma
i=1
existe N (ε) ∈ N tal que para todo n, k ∈ N, n, k ≥ N (ε) se tiene

∞
xm − xkm p < εp
X  n 
(1)
m=1

n k
 
de lo anterior se deduce que para todo n, k ≥ N (ε) se cumple xm − xm  < ε
n
lo que signica que cada sucesión (xm )n∈N es de Cauchy y como C es completo,
n
existe lı́m xm al que llamaremos xm . Parece entonces natural considerar
n→+∞
n
como candidato a lı́m x la sucesión x = (xm )m∈N .
Utilizando la expresión (1) obtenemos para cada q ∈ N y para n y k
sucientemente grandes

q
xm − xkm p < εp
X  n 

m=1
Pq n p
hagamos tender
P∞ m=1n |xm − xpm | <
k a innito con lo que εp y ahora ha-
p
ciendo que q → +∞ obtenemos que m=1 |xm − xm | < ε lo que signica
que a partir de un n conveniente se cumple
p
kxn − xkp < ε
entonces xn → x.
Finalmente queda por probar que x ∈ `p . Sabemos que para todo q∈N
se cumple

q q
X p X
|xm | = lı́m |xnm |p ≤ sup kxn kpp < M < +∞
n→+∞
m=1 m=1

con lo que x ∈ `p y nalmente se tiene que `p con 1 ≤ p < +∞ es un espacio

de Banach.

Ejemplo 4 Sea E el espacio `∞ consideremos como en el ejemplo anterior

una sucesión de Cauchy en `∞ , dotado con la norma kxk = sup{|xi | , i ∈ N}.
n n
Sea x = (xm )m∈N dicha sucesión, entonces dado ε > 0 existe N (ε) ∈ N tal
que para todo n, k ∈ N, n, k ≥ N (ε) se tiene
n  
x − xk = sup xnm − xkm  < ε
∞
m∈N

6
 n k
 
lo que signica que para cada m natural vale xm − xm  < ε para todo
n
n, k ≥ N (ε), entonces (xm )n∈N es de Cauchy en C, entonces converge. Sea
xm su límite, denamos x = (xm )m∈N y probemos que x ∈ `∞ . Como para
cada m natural vale

|xm | ≤ |xm − xnm | + |xnm | ≤ 1 + kxn k∞

n
y como x es de Cauchy, está acotada, por lo que existe M < +∞ tal que
n
kx k∞ < M , entonces |xm | < M + 1 < +∞, lo que signica que x ∈ `∞ .
n
Probemos ahora que x → x. Sabemos que dado ε > 0, existe N (ε) ∈ N
n k
 n k

tal que si n, k ∈ N, n, k ≥ N (ε) x − x < ε entonces xm − xm  <
∞
ε para todo m ∈ N, hagamos ahora tender k a más innito con lo que
obtenemos para todo m∈N y para todo n ≥ N (ε)

|xnm − xm | < ε

lo que en denitiva signica que kxn − xk∞ → 0.

Comentario Como un subconjunto cerrado de un E.V.T. completo es com-

pleto, entonces si probamos que los subespacios c y c0 son cerrados en `∞
entonces c y c0 son también espacios de Banach.

Ejemplo 5 Sea E p, y sea M

un espacio de Banach dotado con una norma
un subespacio vectorial cerrado de E , consideremos el espacio cociente E/M
y la aplicación canónica ϕ : E → E/M de forma que ϕ(x) = [x]; denamos
k.k0 : E/M → R de manera

k[x]k0 = inf {p(x)} = dist(x, M )

ϕ(x)=[x]

Probemos que k.k0 es una norma:

i) de acuerdo a la denición k[x]k0 ≥ 0 para todo [x] ∈ E/M .
ii) como p es una norma, vale que p(kx) = |k| p(x) para todo k ∈ K, x ∈
E , entonces kk [x]k0 = k[kx]k0 = inf {p(kx + m) : m ∈ M }. Supongamos
m
primero que k 6= 0, entonces inf {p(kx + m) : m ∈ M } = inf {p(k(x + )) :
k
0
m ∈ M } = |k| inf {p(x + m) : m ∈ M } = |k| k[x]k para todo k ∈ K, [x] ∈
E/M . Si k = 0 el resultado es evidente.
iii) Dados ahora [x] y [y], sea ε > 0 arbitrario, entonces de acuerdo con
0
la denición existien x e y ∈ E para los que vale que p(x) ≤ k[x]k + ε y que

7
p(y) ≤ k[y]k0 + ε y entonces

p(x + y) ≤ p(x) + p(y) ≤ k[x]k0 + k[y]k0 + 2ε

y como el ε es arbitrario, se tiene que

k[x] + [y]k0 = inf {p(x + y)} ≤ k[x]k0 + k[y]k0

iv) si [x] = 0 entonces x ∈ M = M , con lo que k[x]k0 = 0 y si k[x]k0 =

dist(x, M ) = 0 se tiene que x ∈ M = M .
Probemos ahora que E/M es completo. De lo visto arriba, deducimos
que E/M es metrizable, entonces por el teorema 1.1.5, alcanza con probar
que toda sucesión de Cauchy es convergente. Sea ([xn ])n∈N una sucesión de
Cauchy en E/M , entonces existe una subsucesión ([xnk ])k∈N para la que

  0 1
xn
k+1
− [xnk ] <
2k+1
para todo k∈N es decir que

xn − xn 0 <
  1
k+1 k
2k+1
 
para todo k∈N con lo que existirá ynk+1 ∈ xnk+1 − xnk de forma que

yn < xn − xn 0 + ε
 
k+1 k+1 k

lo que implica

yn < 1

k+1
2k
Probemos que a partir de lo anterior es posible construir inductivamente una
sucesión de representantes que sea de Cauchy. Elijamos z1 ∈ [xn1 ] en forma
Pr
arbitraria y sean zr = xn1 + ν=2 yν ∈ [xnr ] para todo r ≥ 2 con lo que
(zr )r∈N es de Cauchy en E por tanto debe converger a un z ∈ E . Como ϕ
es continua y (zr )r∈N ([xnk ])k∈N , que por hipótesis es
es una subsucesión de
de Cauchy, entonces ([xnk ])k∈N debe converger a [z] con lo que nalmente
([xn ])n∈N converge en E/M . De lo anterior resulta que si E es completo y M
0
es cerrado, entonces (E/M, k.k ) es un espacio de Banach.

8
Ejemplo 6 Probemos ahora que si E 0
un E.V.T. normado,entonces E dual
0
de E es un espacio de Banach. Supongo que E está dotado con la norma
k.k denida como

kx 0 k = ı́nf {C ∈ R+ : |x 0 (x)| ≤ C kxk}

x∈E

0
Al igual que en los ejemplos anteriores probemos que E es secuencialmente
0 0
completo. Sea (x n )n∈N una sucesión de Cauchy en E , entonces para todo
ε > 0 existe N (ε) ∈ N tal que para todo m, n ∈ N, m, n ≥ N (ε)

kx 0n − x 0m k < ε

pero como x 0n − x 0m ∈ E 0 entonces vale para todo x ∈ E y para todo

n, m ≥ N (ε)

|x 0n (x) − x 0m (x)| ≤ kx 0n − x 0m k kxk < ε kxk

lo que signica que la sucesión (x 0n (x))n∈N es de Cauchy en C y como C

es completo, esta sucesión converge a algún número complejo al que repre-
0
sentaremos por x (x).
0
Lo anterior dene una función x : E → C. Probaremos primero que dicha
0
función es lineal y luego que también es continua. Como x n converge puntual-
0
mente a x , es posible -dado x ∈ E y para un ε > 0 arbitrario- encontrar n1 ∈
 
N de forma que valga x 0n1 (x) − x 0 (x)< ε/3. De igual manera dado y ∈ E es
0 0
posible encontrar n2 ∈ N de forma que x n (y) − x (y) < ε/3. Finalmente sea
 0 2 
n3 ∈ N para el que se cumple x n3 (x + y) − x 0 (x + y) < ε/3. Tomemos ahora
n ∈ N tal que n = máx{n1 , n2 , n3 }, entonces |x 0 (x + y) − x 0 (x) − x 0 (y)| =

|x 0 (x + y) − x 0n (x + y) + x 0n (x + y) − x 0 (x) − x 0 (y)| ≤

|x 0 (x + y) − x 0n (x + y)| + |x 0n (x) − x 0 (x)| + |x 0n (y) − x 0 (y)| < ε

0 0
y como el ε
es arbitrario, concluimos que x (x + y) = x (x) + x 0 (y); con un
0 0
argumento similar se prueba que x (λx) = |λ| x (x) para todo x ∈ E y para
todo λ ∈ C.
Probemos ahora que x 0 es N (1) suciente-
continua. Elijamos un natural

0 0
mente grande tal que se cumpla que para todo n ≥ N (1), x n − x N (1) < 1

 
 0 0
lo que implica para todo x ∈ E, x n (x) − x N (1) (x) < kxk . Sean ahora


9
ε > 0 y x arbitrarios, sabemos que existe un natural n ≥ N (1) para el que
0 0
vale |x n (x) − x (x)| < ε, entonces

|x 0 (x)| < |x 0n (x)| + ε < x 0N (1) (x) + kxk + ε ≤ ( x 0N (1) + 1) kxk + ε

 

y como el ε es arbitrario concluimos

|x 0 (x)| ≤ ( x 0N (1) + 1) kxk

lo que implica la continuidad de x 0.

Compleción

Teorema 1.1.6 Sea (E, k.k) un E.V.T. normado,entonces existe E

b , E.V.T.
normado y completo y una aplicación lineal r : E → E
b de forma tal que se
cumplen:
i) kr(x)kEb = kxkE para todo x de E (r es una isometría).
ii) la imagen de E por r es densa b (r(E) = E)
en E b .

Demostración Sea P el espacio vectorial de las sucesiones de Cauchy en

E : P = {x = (xn )n∈N con xn ∈ E, (xn ) de Cauchy}.
Dotemos a P de una seminorma p denida de la siguiente manera: p(x) =
lı́m kxn k. Sea N = {x : p(x) = 0}, es decir que N es el subespacio de la
n→+∞
sucesiones que convergen a 0. Como N es cerrado entonces p dene una norma
pb sobre el espacio cociente E = P/N que resulta tener la misma expresión
b
que la norma p
pb([x]) = lı́m kxn k
n→+∞

para cualquier representante x de su clase de equivalencia [x] = x + N ∈

P/N . Entonces la aplicación lineal r la denimos como

r:E→E
b de forma que r(x) = [x]

donde x es la sucesión constante x = (x, x, . . . , x, . . .) que por supuesto es de

Cauchy y además p([x]) = kxk.
Probemos ahora que r(E) es denso en E b . Sea x = (xn ) ∈ P . Para todo
ε > 0, existe N (ε) ∈ N tal que kxn − xm k < ε para todo n, m ≥ N (ε).
Denamos xn = (xn , xn , . . . xn , . . .) como una sucesión constante, es decir

10
que r(xn ) = [xn ]. Deducimos entonces que para todo n ≥ N (ε) se cumple
que
p([x] − [xn ]) = p(x − xn ) ≤ ε
Para probar que E b es un espacio completo consideremos en él la sucesión de
 (n) 

Cauchy x . Sabemos que

x(n) − x(m) = p x(n) − x(m) → 0

   


p
para n, m → +∞. Tomemos una sucesión
de reales (εn )n∈N que tienda a
(n)
cero y xn ∈ E tal que p x − r(xn ) < εn cosa que siempre podemos hacer
porque acabamos de demostrar que r(E) es denso en E b . Entonces x0 = (xn )
es una sucesión de Cauchy en E porque

kxn − xm k = p(r(xn )−r(xm )) ≤ p(r(xn )−x(n) )+p(x(n) −x(m) )+p(x(m) −r(xm ))

n, m → +∞. Entonces
que tiende a cero para
 (n)  x0 = (xn ) es un elemento de
0
P y además se cumple que [x ] = lı́m x , porque
p x(0) − x(n) = p x(n) − x(0) ≤ p x(n) − r(xn ) + p r(xn ) − x(0)
   

que tiende a cero cuando n → +∞.

Comentario El Teorema que sigue nos permite asegurar que en cierto

sentido el espacio compleción E
b de E es único.

Teorema 1.1.7 E , X1 y X2 , E.V.T. normados y de forma queX1 y X2

Sean
son completos. Además sea Ti : E → Xi una isometría sobre un subespacio
−1
denso en Xi para i = 1, 2. Entonces la isometría natural T2 ◦T1 : T1 E → T2 E
puede extenderse a una isometría entre X1 y X2 .

Demostración Para cada y ∈ X1 consideremos la sucesión xn ∈ E tal que

T1 xn → y , esto es siempre posible porque T1 E es denso en X1 . Consideremos
la sucesión T2 xn ∈ X2 , que es una sucesión de Cauchy en X2 porque

kT2 xn − T2 xm k = kxn − xm k = kT1 xn − T1 xm k

Denamos ahora el operador T : X1 → X2 de forma que T y = z siendo
z = lı́mT2 xn . Veamos que el operador está bien denido porque si wn es otra
sucesión en E tal que T1 wn → y entonces T2 wn → z ya que

kT2 (wn − xn )k = kwn − xn k = kT1 wn − T1 xn k

11
y kT1 (wn − xn )k converge a cero porque kT1 (wn − xn )k ≤ kT1 wn − yk +
ky − T1 xn k.
Finalmente mostremos que Im(T ) = X2 . Por la continuidad de la norma
podemos escribir

kyk = lı́m kT1 xn k = lı́m kT2 xn k = kT yk

entonces si consideramos un z ∈ X2 podemos encontrar una sucesión xn ∈ E

de forma tal que lı́mT2 xn = z y considerar el elemento y ∈ X1 que cumple
y = lı́mT1 xn . Obviamente T y = z .

12
2. Teoremas fundamentales

2.1. Teorema de Hahn - Banach

El teorema de Hahn-Banach nos permite asegurar que cualquier funcional
denida en un subespacio de un E.V.T. y dominada por una seminorma,
puede extenderse a un funcional lineal denido en todo el E.V.T. y que
continúe dominada por la seminorma. Veamos primero el teorema para el
caso real y luego para el caso complejo.
En la demostración utilizaremos el conocido Lema de Zorn que enunciaré
a continuación:

Lema de Zorn Todo conjunto no vacío, ordenado e inductivo admite un

elemento maximal.

Teorema 2.1.1 (Hahn-Banach caso real) Sea E p:un E.V.T. real y

E→R una seminorma. Sea M E . Si f : M → R
un subespacio vectorial de
es un funcional lineal para el que se cumple que |f (x)| ≤ p(x) para todo x ∈
M , entonces f puede extenderse a F ∈ E 0 de forma que f (x) = F (x)
para todo x ∈ M y para el que |F (x)| ≤ p(x) para todo x ∈ E .

Demostración Consideremos el conjunto P = {g : g ∈ (D(g) 0 ) para algún

subespacio D(g) de E, con D(g) ⊃ M, g|M = f, |g(x)| 6 p(x) para todo
x ∈ D(g)}
Podemos asegurar que P no es vacío porque f ∈ P. Hagamos de P un
conjunto parcialmente ordenado deniendo un orden de la siguiente manera:
dados g1 y g2 diremos que g2  g1 cuando g2 sea una extensión de g1 , es decir

(g2  g1 ) ←→ (D(g2 ) ⊃ D(g1 ) y g2 extiende a g1 )

Por otra parte P es inductivo: sea Q ⊂ P un subconjunto totalmente

ordenado que lo representaremos por Q = (gi )i∈I . Denamos
[
D(g) = D(gi ) y g(x) = gi (x) si x ∈ D(gi )
i∈I

Se comprueba que g está bien denida, que g∈P y que es una cota superior
de Q. Aplicando el lema de Zorn podemos asegurar que existe un elemento

13
maximal en P , al que llamaremos F . Para probar el teorema deberíamos
probar que D(F ) = E . De no ser así, debería ser D(F ) 6= E con lo que
0
existiría un y ∈ E − D(F ). Denamos D(F1 ) = D(F ) + [y] y F1 ∈ D(F1 )
por F1 (x + ty) = F (x) + tα (t ∈ R) de forma tal que determinaremos la
constante α para que se cumpla que F1 ∈ P con lo que llegaríamos a una
contradicción. Entonces se debería cumplir

F (x) + tα ≤ p(x + ty) para todo x ∈ D(F ), para todo t∈R

que evidentemente se verica para t = 0; si t > 0, como p es una seminor-

ma y F es lineal y D(F ) es un subespacio vectorial , probar lo anterior es
equivalente a probar

x x
F ( ) + α ≤ p( + y) para todo x ∈ D(F )
t t
y en el caso t<0
x x
F ( ) − α ≤ p( − y) para todo x ∈ D(F )
t t
Resumiendo se debería cumplir
(
F (z) + α ≤ p(z + y) para todo z ∈ D(F )
F (z) − α ≤ p(z − y) para todo z ∈ D(F )

está claro entonces que debemos elegir α de forma tal que cumpla

sup {F (z) − p(z − y)} ≤ α ≤ inf {p(z + y) − F (z)}

z∈D(F ) z∈D(F )

Lo anterior es posible porque se cumple

F (x) + F (z) ≤ p(x + z) ≤ p(x) + p(z) para todo x, z ∈ E

entonces
F (z) − p(z − y) ≤ p(x + y) − F (x)
para todo x ∈ D(F ), para todo z ∈ D(F ).
Concluimos nalmente que F está mayorada por F1 ∈ P y que F 6= F1 lo
que contradice el hecho de que F era maximal. Entonces debe ser D(F ) = E .

Teorema 2.1.2 (Hahn-Banach caso complejo)

14
Sea E un E.V.T. complejo y p : E → R una seminorma. Sea M un subespacio
vectorial de E . Si f : M → R es un funcional lineal para el que se cumple
0
que |f (x)|≤ p(x) para todo x ∈ M , entonces f puede extenderse a F ∈ E
de forma que f (x) = F (x) para todo x ∈ M y para el que |F (x)| ≤ p(x)
para todo x ∈ E .

Previamente veamos el siguiente Lema.

Lema 2.1.3 Sea E un espacio vectorial sobre C. F =

Supongamos que
f + ig es un funcional lineal en E. Entonces para todo x ∈ E, F (x) =
f (x) − if (ix) y f : E → R es R − lineal. Recíprocamente, si f : E → R es
R-lineal, entonces F (x) = f (x) − if (ix) es un funcional C-lineal en E.

Demostración del Lema f y g son funcionales R-

Resulta evidente que
lineales. Por otro lado F (ix) = iF (x) implica que f (ix)+ig(ix) = if (x)−g(x)
con lo que f (ix) = −g(x) y entonces F (x) = f (x) − if (ix). Recíprocamente
2
vemos que F (ix) = f (ix) − if (i x) = f (ix) + if (x) = i(−if (ix) + f (x)) =
iF (x).

Demostración del Teorema 2.1.2 Supongamos que E es un espacio vec-

torial complejo. Sea g = Rf la parte real de f, entonces considerando a E
como un espacio vectorial real, g es un funcional lineal, con lo que se obtiene

|g(x)| ≤ |f (x)| ≤ p(x) para todo x∈M

Por el teorema 2.1.1 existe un funcional lineal real G en E que extiende a g

para el que se cumple |G(x)| ≤ p(x). Sea F (x) = G(x) − iG(ix) , entonces
iθ
F ∈ E 0 y extiende G y además se cumple, si escribimos F (x) = |F (x)| e
que

−iθ −iθ −iθ −iθ −iθ

|F (x)| = e F (x) = F (e x) = RF (e x) = G(e x) ≤ p(e x) = p(x)

con lo que nalmente queda probado el teorema.

Veamos ahora las formas geométricas del teorema de Hahn - Banach, espe-
cialmente útiles en la separación de convexos. Utilizaremos sin demostrarlos
el lema 2.1.3 y el teorema 2.1.4

15
Lema 2.1.3 un E.V.T. , C ⊂
Sea E E un abierto, convexo y no vacío y
x0 6∈ C .Entonces existe x 0 ∈ E 0 tal que hx 0 , xi < hx 0 , x0 i para todo x ∈ C .
Es decir que el hiperplano de ecuación hx 0 , xi = hx 0 , x0 isepara {x0 } de C en
sentido amplio.

Teorema 2.1.4 (primera forma geométrica del Teorema de Hahn -

Banach) Sea E un E.V.T. y sean A y B dos subconjuntos de E no vacíos,
convexos y disjuntos. Si A es abierto, entonces existe un hiperplano cerrado
que separa A y B en sentido amplio.

Teorema 2.1.5 (segunda forma geométrica del Teorema de Hahn -

Banach) Sea E un E.V.T. localmente convexo y sean A y B dos subcon-
juntos de E no vacíos, convexos y disjuntos. Si A es compacto y B es cerrado,
entonces existe un hiperplano cerrado que separa A y B en sentido estricto.

Demostración Como B es cerrado y A ⊂ E − B , entonces para cada

T
a∈A existe Ua , entorno del origen de E de manera que (a + Ua ) B = ∅
sea entonces Va entorno del origen de E tal que Va + Va ⊂ Ua y consid-
S
eremos el recubrimiento a∈A (a + Va ) de A. Como
Si=p
A es compacto, sean
a1 , a2 , . . . ap puntos de A de manera que A ⊂ i=1 (ai + Vai ) y denamos
V = i=p
T
i=1 Vai . Entonces si x ∈ (A + V ), debe existir un i talTque x ∈
ai + Vai + V ⊂ ai + Vai + Vai ⊂ ai + Uai ⊂ E − B , entonces (A + V ) B = ∅ y
como (A + V ) es un abierto, convexo y disjunto de B , por el teorema anterior
0 0
existe x ∈ E diferente de la idénticamente nula, para la que vale

hx 0 , ai + hx 0 , vi ≤ hx 0 , bi para todo a ∈ A, b ∈ B y v∈V

entonces existe v∈V para el que hx 0 , vi > 0, con lo que vale la tesis.

2.2. Aplicaciones del teorema de Hahn-Banach

Corolario 2.2.1 Sea E un E.V.T. normado y sea M un subespacio vectorial
de E. Si y 0 ∈ M 0, entonces existe x 0 ∈ E 0 tal que x 0 extiende y 0 y

kx 0 k = sup {|hx 0 , xi| : x ∈ E} = ky 0 k = sup {|hy 0 , xi| : x ∈ M }

kxk≤1 kxk≤1

es decir que la norma de la extensión es igual a la norma del funcional lineal

original.

16
Demostración Denamos una seminorma p en E de la siguiente manera
p(x) = kxk ky k. Entonces |hy 0 , xi| ≤ p(x) para todo x ∈ M . Por el teorema
0
0 0
de Hahn-Banach, existe un funcional lineal x que extiende y , de forma que
|hx 0 , xi| ≤ p(x) = kxk ky 0 k para todo x ∈ E lo que signica que kx 0 k ≤ ky 0 k.
0 0
Pero como obviamente ky k ≤ kx k, entonces vale la igualdad.

Corolario 2.2.2 E un E.V.T. normado y x0 ∈ E ,

Sea entonces existe
0 0
x ∈E tal que kx k = 1 tal que hx 0 , x0 i = kx0 k.
0

Demostración Si x0 = 0,
el teorema estaría probado. En cualquier otro
caso denimos un funcional lineal y 0 en el subespacio generado por x0 :
span(x0 ) = {λx0 , λ ∈ K} por hy 0 , λx0 i = λ kx0 k, con lo que podemos
0
escribir que para todo x ∈ span(x0 ) se tiene |hy , xi| = kxk, por el teorema
0
de Hahn-Banach podemos extender y a todo el espacio E , de manera que su
0 0
extensión x verique |hx , zi| ≤ kzk para todo z ∈ E . Este último resultado
0 0 0
implica que kx k ≤ 1 y como |hx , x0 i| = kx0 k debe ser kx k = 1.

Corolario 2.2.3 Sea E un espacio de Banach y M ⊂ E un subespacio

cerrado 6 / M , entonces existe f ∈ E 0 tal que kf k = 1, f (x) =
de E . Si x0 ∈
0 para todo x ∈ M y f (x0 ) = dist(x0 , M ).

Demostración SPongamos d = dist(x0 , M ) y sea Z el subespacio de E

generado por M {x0 }y denamos sobre Z el funcional lineal g de manera
que g(x + tx0 ) = t.d para todo x ∈ M y t ∈ K. Se tiene entonces que g|M = 0
y g(x0 ) = d. Consideremos ahora u = x + tx0 con x ∈ M y t un escalara
distinto de cero, entonces podemos escribir

|t| kuk d |t| kuk d

|g(u)| = |t| d = = =
kuk kx + tx0 k

kuk d kuk d
x0 − ( x ) ≤ d = kuk

t

lo que signica que g ∈ Z 0 y que kgk ≤ 1.

Por otra parte, existe (xn )n∈N ⊂ M tal que kxn − x0 k → d y si escribimos
d = |g(xn ) − g(x0 )| ≤ kgk kxn − x0 k y pasamos al límite cuando n → +∞
obtenemos que d ≤ kgk d de lo que se sigue que kgk = 1. Por el corolario
2.2.1 sea f la extensión de g en E con la misma norma.

17
Corolario 2.2.4 Sea F un subespacio de E, si F 6= E entonces existe
0
f ∈ E diferente de la idénticamente nula, para la que vale que f (x) = 0
para todo x ∈ F.

Demostración x0 ∈ E , tal que x0 6∈ F , utilizando el corolario anterior,

Sea
0
existe f ∈ E , tal que kf k = 1 lo que implica que f no es la idénticamente
nula (además f (x0 ) = dist(x0 , F ) 6= 0) y de forma que f (x) = 0 para todo
x ∈ F.

Los siguientes teoremas son fundamentales como herramientas básicas en

la teoría de espacios normados. Se han hecho generalizaciones en E.V.T. es-
tudiando las propiedades que tiene que tener el espacio para que se cumplan.
Así aparecen los espacios tonelados, bornologicos, etc...

2.3. Teorema de la aplicación abierta

Veamos primeramente algunos resultados que serán de utilidad en los
teoremas que siguen.
En contexto absolutamente topológico a principios del siglo XX surge la
necesidad de medir el tamaño de ciertos conjuntos, y hay intentos como los
que exponemos brevemente a continuación y otros que formalizan la teoría
de la medida de forma paralela. Matemáticos como Baire, Borel, Lebesgue,
entre otros se involucran en este proyecto que dio a lugar a varias lineas de
investigación y a descubrimientos como la teoría de la integral.

Denición Sea E un espacio topológico. Un subconjunto A⊂E se dice

denso en ninguna parte si su clausura tiene interior vacío.

Teorema 2.3.1 Sea E un espacio topológico, si A⊂E es denso en ninguna

parte, entonces para cada abierto
T B⊂E existe un abierto B1 ⊂ B de forma
tal que B1 A = ∅.

Demostración Como B es abierto entonces B − A 6= Ø porque de lo

contrario B ⊂ A y A contendría puntos interiores. El conjunto B−A es
abierto, por lo que existe un abierto
T B1 ⊂ B − A y de aquí se sigue que
B1 A = Ø.

18
Denición Un subconjunto A ⊂ E se dice de primera categoría si A es
unión contable de subconjuntos densos en ninguna parte. Un subconjunto
D⊂E es de segunda categoría si no es de primera categoría. Se dice que un
espacio topológico E es de Baire si cada abierto no vacío de E es de segunda
categoría.

Lema 2.3.2 Sea E un espacio métrico completo y A un abierto no vacío

de él. Si (An )n∈N es una sucesión de abiertos de E de forma que para todo
∞
T
n ∈ N An ⊂ A y An densos en A. Entonces An es denso en A.
n=1

Demostración
T
Como se trata de probar que An es denso en A, consi -
n=1
deremos un abierto cualquiera W de E incluido en A y tratemos de probar que
∞
T T
An W 6= ∅. Sea d la distancia denida en E y llamemos B0 (x, r) a la bola
n=1
abierta centrada en x y de radio r , es decir B0 (x, r) = {y ∈ E : d(x, y) < r}.
Entonces es claro que B0 (x, r) ⊂ B(x, r) = T {y ∈ E : d(x, y) ≤ r}.
Como A1 es denso en A, entonces A1 W es un abierto
T no vacío, con lo
que existen x1 ∈ A y 0 < r1 < 1 tales que B0 (x1 , r1 ) ⊂ A1 W . Supongamos
que hemos construido dos sucesiones x1 , . . . , xn en A y r1 , . . . , rn con 0 <
rk < k1 para k = 1, 2, . . . , n de manera que
\
B0 (xk , rk ) ⊂ Ak B0 (xk−1 , rk−1 ) para todo k = 2, . . . , n
T
Entonces An+1 B0 (xn , rn ) es un abierto no vacío ya que An+1 es denso y
entonces contiene a una bola B0 (xn+1 , rn+1 ) cuyo radio rn+1 puede elegirse
1
menor que .
n+1
Ahora es evidente que la sucesión (xn )n∈N es de Cauchy, ya que si i, j >
n ≥ 1, como tanto xi como xj pertenecen a la bola B0 (xn , rn ) que a su vez
está incluida en B0 (xn , n1 ), vale entonces que d(xi , xj ) ≤ n2 . Pero como E
es completo, la sucesión debe converger a un punto x, pero entonces como
{(xk )k≥n } ⊂ B0 (xn , rn ), x debe pertenecer a B0 (xn , rn ) para todo n con lo
que x pertenece a todos los An y también a W .

De lo anterior obtenemos una propiedad general de los espacios métricos

completos y en concreto de los espacios de Banach.

19
Teorema 2.3.3 Si E es un espacio métrico completo, entonces E es de
Baire.

Demostración Supongamos que el teorema es falso, entonces sea A ⊂

E un abierto no vacío que es de primera categoría, por lo que es posible
encontrar una sucesión (Bn )n∈N de subconjuntos densos en ninguna parte de
E de manera que
∞
[
A= Bn
n=1

Sea Bn la clausura de cada Bn para cada n ∈ N. Como por hipótesis

o
c T
Bn = Ø , si Dn = (B n ) entonces Dn A = An es un abierto de E denso en
o
A porque si z∈A y z ∈ Dn entonces z ∈ An lo que signica que z ∈ An ,
o

en el caso en el que z∈A

z 6∈ Dn entonces z ∈ B n pero como B n = Ø,
y
para todo entorno del origen U de E se cumple que (z + U ) 6⊂ B n lo que
T c T
signica que (z +U ) (B n ) 6= Ø o sea (z +U ) Dn 6= Ø y nalmente z ∈ An
con lo que An ⊃ A.
Por otro lado como
∞
[
A= Bn
n=1

se cumple que
∞
\
An = Ø
n=1

lo que contradice el lema anterior.

Sean E y F dos espacios de Banach y sea T :E→F un operador lineal
continuo y sobreyectivo, entonces T es abierto.

Teorema 2.3.4 (de la aplicación abierta) Sean E y F dos espacios de

Banach y T un operador lineal continuo y sobreyectivo, T : E → F . Entonces
existe una constante c>0 tal que

T (BE ) ⊃ cBF

Observación: Lo anterior implica que T transforma abiertos de E en abier-

tos de F, porque si suponemos que U es un abierto de E, sea y0 ∈ T (U ) con

20
lo que entonces existe x0 ∈ U tal que T (x0 ) = y0 . Como U es abierto, existe
r>0 tal que x0 + rBE ⊂ U entonces se tiene que

y0 + rT (BE ) ⊂ T (U )

entonces del Teorema de la aplicación abierta se deduce

rT (BE ) ⊃ rcBF

entonces
y0 + rcBF ⊂ T (U )
con lo que T (U ) es un abierto de F.

Lema previo 2.3.5 Sea T : E → F un operador lineal y sobreyectivo,

entonces existe una constante c > 0 tal que, T (B) ⊃ 2cB .

∞
Demostración del lema
S
Sea Xn = nT (B), como T es sobreyectivo Xn
n=1
o
= F , entonces por el lema de Baire existe n0 tal que X n0 6= Ø. De lo anterior
o

resulta que T (B) 6= Ø. Sean c>0 e y0 ∈ F tales que

B(y0, 4c) ⊂ T (B) (1)

o o

En particular y0 ∈ T (B), −y0 ∈ T (B). Sumando

y por simetría se tiene
(1) con esta última expresión resulta B(0, 4c) ⊂ T (B) + T (B). Finalmente
como T (B) es convexo, se tiene T (B) + T (B) = 2T (B) con lo que queda
demostrado el lema.

Demostración del teorema de la aplicación abierta Sea T :E→F

un operador lineal y continuo que verica

T (B) ⊃ 2cB (2)

para algún c > 0, probaré que entonces

T (B) ⊃ cB

21
con lo que habré probado que T es abierto.
Sea y∈F jo, con kyk < c. Para probarlo, hallaremos x∈E tal que

kxk < 1 y Tx = y

de (2) se sabe que

1
para todo ε>0 existe z ∈ E con kzk < y ky − T zk < ε
2
c 1
Tomando ε =
2
se obtiene z1 ∈ E con kz1 k <
2
y ky − T z1 k < 2c .
c
Aplicando el mismo procedimiento con y − T z1 (en lugar de y ) y con ε = , se
4
1 c
obtiene un z2 ∈ E tal que kz2 k < y k(y − T z1 ) − T z2 k < 4 . Continuan-
4
do este razonamiento se construye por inducción una sucesión (zn ) tal que
kzn k < 21n y k(y − T (z1 + z2 + . . . + zn k < 2cn para todo n ∈ N. Así la
sucesión (xn )n∈N con xn = z1 + z2 + . . . + zn es de Cauchy, entonces xn → x
con kxk < 1 e y = Tx ya que T es continuo.

Corolario 2.3.6 (Teorema de la aplicación inversa) Sean E y F dos

espacios de Banach y T : E →F un operador lineal continuo y biyectivo.
−1
Entonces T es continuo.

Demostración Del teorema de la aplicación abierta se deduce que si x∈E

y es tal que kT (x)k < c, entonces se verica que kxk < 1, por tanto utilizando
el lema 1.1.3 se tiene que
1
kxk ≤ kT (x)k
c
para todo x∈E lo que signica que T −1 es continua.

Corolario 2.3.7 Sea G un espacio de Banach con cada una de las dos
normas k.k1 y k.k2 . Supongamos además que existe una constante k≥0 tal
que
kxk2 ≤ k kxk1 para todo x∈G
Entonces existe una constante c>0 para la que

kxk1 ≤ c kxk2 para todo x∈G

o sea que las dos normas son equivalentes.

22
Demostración Llamemos E = (G, k.k1 ) y F = (G, k.k2 ) y sea T la identi-
dad, entonces utilizando el Corolario anterior se obtiene el resultado indicado.

Comentario Una anécdota es que muchos de los conjuntos con los que
tratamos de forma habitual en Análisis Matemático son muy pequeños
topológicamente.
Desde que Newton introdujo la diferenciabilidad en el siglo XVIII hasta
nales del siglo XIX los matemáticos pensaban que el que una función no
fuese derivable era extraño o anecdótico, a pesar de que Bolzano en 1834
había dado un ejemplo de una función real que no era diferenciable en ningún
punto. Fué considerado como una peculiaridad. En 1931 Banach probó que el
conjunto de las funciones que tenían derivada en algún punto era un conjunto
de primera categoría en las funciones continuas, o sea que era un conjunto
muy pequeño dentro del espacioC [0, 1].

2.4. Teorema del gráco cerrado

Teorema 2.4.1 (gráco cerrado) Sean E y F espacios de Banach. Sea
T : E → F un operador lineal. Supongamos que la gráca de T , G(T ), es
cerrada en E × F . Entonces T es continuo.

Comentario Naturalmente el recíproco es verdadero ya que toda apli-

cación continua (lineal o no) tiene gráca cerrada.

Demostración Consideremos en E dos normas k.k1 y k.k2 denidas de la

siguiente manera

kxk1 = kxkE + kT xkF y kxk2 = kxkE

Como E×F es completo y G(T ) ⊂ E × F es cerrado, entonces (E, k.k1 )

es un espacio de Banach, porque si (xn )n∈N es una sucesión de Cauchy en
(E, k.k1 ), entonces para todo ε > 0, existe N (ε) ∈ N tal que

kxn − xm k1 = kxn − xm kE + kT xn − T xm kF < ε para todo n, m ≥ N (ε)

de lo anterior se deduce que kxn − xm kE < ε y kT xn − T xm kF < ε y como

E y F son completos, debe existir x ∈ E e y ∈ F para los que xn → x e

23
T xn → y . Como G(T) es cerrado se deduce que y = T (x) y entonces

kxn − xk1 = kxn − xkE + kT xn − T xk < ε

para n sucientemente grande. Finalmente como (E, k.k1 ) y (E, k.k2 ) son es-
pacios de Banach y como obviamente kxk2 ≤ kxk1 , en consecuencia utilizan-
do el corolario 2.3.7 podemos asegurar que estas dos normas son equivalentes,
por lo que existe un c > 0 tal que kxk1 ≤ c kxk2 con lo que nalmente se
obtiene kT xkF ≤ c kxkE lo que implica la continuidad de T.

2.5. Teorema de la acotación uniforme.

Este teorema es esencial para el adecuado desarrollo de las topología
débiles, que tienen buenas propiedades gracias al resultado conocido como
teorema de Banach-Steinhaus o teorema de Acotación Uniforme, fué probado
por Hahn (1922), Banach (1922), Hildebrant (1923) y Banach y Steinhaus
(1927).

Teorema 2.5.1 Sean E y F dos espacios de Banach, y una familia de

operadores lineales y continuos = = {Ti : Ti ∈ L(E, F ), con i ∈ I}, si
para cada x ∈ E el conjunto {kTi xk ; i ∈ I} es acotado, entonces el conjunto
{kTi k ; i ∈ I} es también acotado.
Dicho de otro modo, existe una constante c tal que kTi xk ≤ c kxk para
todo x ∈ E y para todo i ∈ I .

Demostración Para cada entero n≥1 sea Xn = {x∈E : para todo i∈

I, kTi xk ≤ n} de forma que Xn es cerrado y se tiene
∞
[
Xn = E
n=1
o
resulta del lema de Baire que existe n0 ≥ 1 de forma que Xn0 6= Ø . Sean
x0 ∈ E y r>0 tales que B(x0 , r) ⊂ Xn0 . Se tiene entonces
kTi (x0 + rz)k ≤ n0 para todo i ∈ I, para todo z ∈ BE
de lo anterior resulta

r kTi kL(E,F ) ≤ n0 + kTi x0 k

con lo que se demuestra el teorema.

24
Corolario 2.5.2 G
un espacio de Banach y sea A un subconjunto de
Sea
G. Supongamos que para todo x 0 ∈ G 0 el conjunto x 0 (A) = {hx 0 , ai , a ∈ A}
es acotado en R. Entonces A es acotado.

Demostración Apliquemos el teorema anterior llamando E = G 0, F = R

e I = A. Entonces para cada a∈A ponemos

Ta (x 0 ) = hx 0 , ai x 0 ∈ E = G 0
de forma que como {hx 0 , ai , a ∈ A} es acotado, se cumple que

{|Ta (x 0 )| : a ∈ A}
0
es acotado para todox ∈ E entonces por el teorema anterior, existe una
constante c para la que
|hx 0 , ai| ≤ c kx 0 k
para todo x0 ∈ G0 y para todo a∈A lo que signica que

kak ≤ c para todo a∈A

25
3. Topologías débiles

La topología de la norma en E tiene una gran cantidad de abiertos y

eso es una ventaja porque supone que hay una gran cantidad de funciones
continuas denidas en el espacio. Pero como contrapartida tiene, lógicamente
pocos compactos, de hecho la bola cerrada unidad no es compacta salvo que
el espacio sea de dimensión nita. Por tanto el teroema de Heine-Borel no es
aplicable a las funciones reales continuas denidas en el espacio E.
Si dotamos a E de una topología más débil entonces conseguiríamos más
compactos pero perderíamos funciones continuas, pero si las funciones per-
didas no fuesen muy importantes y permaneciesen continuas, por ejemplo
los funcionales reales dado que muchas de las propiedades en el caso nito
se obtienen a través del dual, podríamos asegurar muchos de los resultados
para el caso innito.
Por tanto el esquema que vamos a seguir es el siguiente:
1. En E de Banach deniremos la topología inicial para los funcionales
reales continuos de E con la norma. Esto nos asegura que al menos los fun-
cionales lineales continuos para la norma son continuos para esta topología,
0
que denominamos débil σ(E, E ).
2. Estudiar que relación mantienen ambas topologías, indudablemente la
de la norma debería de tener más cerrados que la débil. En el caso de dimen-
sión nita son iguales y en el de innita la de la norma es estrictamente más
na. Pero los cerrados convexos son los mismos, entre otros los subespacios
vectoriales cerrados.
0
3. Los espacios duales E del espacio E con la norma y la débil coinciden
0
y le llamamos E .
0
4. En E podemos denir una topología fuerte, de la norma y otra a través
0 0 00
de E , que denominamos σ(E , E) o *-débil, además de la débil σ(E , E )
0
propiamente dicha obtenida como anteriormente se ha expuesto ya queE es
normado.
5. En E 00 repetimos el proceso, que en principio es indenido.
6. Estudiamos las propiedades de los conjuntos en las topologías que van
surgiendo.
Los resultados son espectaculares con lo cual la teoría de dualidad se ha
convertido en la herramienta básica de los espacios normados.

26
3.1. Topología débil σ(E, E 0)
Denición: Sea E un espacio de Banach. La topología débil en E se dene
como la topología menos na de E que hace continuas todas las aplicaciones
x 0 ∈ E 0 . Es decir que se trata de la topología engendrada por la familia
Λ = {x 0−1 (U ), x 0 ∈ E 0 y U abierto de K}, que no es otra que la formada
por uniones cualesquiera de intersecciones nitas de elementos de Λ. En otras
palabras, los abiertos de esta topología se obtienen al considerar
[ \
(x 0 )−1 (U )
arbitr nit

donde U es un abierto de K y x 0 ∈ E 0. La notaremos por σ(E, E 0 ).

Teorema 3.1.1 Sea x0 ∈ E , los conjuntos de la forma

V = {x ∈ E : |hx 0i , x − x0 i| < ε para todo i ∈ I}

con I nito y ε > 0 constituyen una base de entornos de x0 para la topología

σ(E, E 0 ).

Demostración Ui,ε = T(hx 0i , x0 i − ε, hx 0i , x0 i + ε) son evi-

Los conjuntos
dentemente abiertos de R y por tanto (x 0i )−1 (Ui,ε ) es un abierto para la
i∈I
0
T 0 −1
topología σ(E, E ), pero como V = (x i ) (Ui,ε ) resulta que los V son
i∈I
abiertos para la topología σ(E, E 0 ).
0
Recíprocamente sea B un entorno de x0 en σ(E,
T E ), entonces existe un
0 −1
entorno W de x0 , W ⊂ B de la forma W = (x i ) (Ui ) con I nito y
i∈I
Ui entornos en R de hx 0i , x0 i . Entonces existe ε > 0 tal que (hx 0i , x0 i −
ε, hx 0i , x0 i + ε) ⊂ Ui para todo i ∈ I , por consiguiente x0 ∈ V ⊂ W ⊂ B .

Notación Escribiremos Vε;x01 ,...,x0n (x0 ) = {x ∈ E : |hx 0i , x − x0 i| < ε i =

1, 2, . . . , n}.

Observación A pesar de que la topología débil es menos na que la

topología de la norma, produce los mismos funcionales lineales continuos.
Para verlo supongamos que E
es un espacio normado y que f es un funcional
0
lineal continuo para la topología σ(E, E ), entonces U = {x ∈ E : |hf, xi| <

27
1} es un entorno de 0 para la topología débil, se sigue entonces que U contiene
un entorno de la forma Vε;x0 ,...,x0 (0), como evidentemente se cumple
1 n

i=n
\
Ker(x 0i ) ⊂ Vε;x01 ,...,x0n (0)
i=1
Ti=n
y como f es lineal entonces si z∈ i=1 Ker(x 0i ) entonces z ∈ U, lo que se
traduce en que |hf, zi| < 1 de donde |hf, λzi| < 1 con λ tan grande como se
quiera, entonces hf, zi = 0.
De lo anterior se deduce entonces que

i=n
\
Ker(x 0i ) ⊂ Ker(f )
i=1

lo que nos permite asegurar que

1 f es combinación lineal de los x 01 , x 02 , . . . , x 0n
0
o sea que f ∈ E .

El siguiente teorema, aunque no explica la convergencia en toda su gener-

alidad, pues exigiría el uso de redes, es fundamental en la teoría de distribu-
ciones de Schwartz, y nos da el método operativo de las topologías débiles
para las aplicaciones a las ecuaciones de la Física. Los espacios de distribu-
ciones son duales de espacios LF, que se han estudiado en el curso de master
de espacios vectoriales topológicos, pero por las características de estos es-
pacios se reducen a la aplicación de un teorema de este tipo.

Teorema 3.1.2 Sea E un E.V.T. y (xn ) una sucesión en E. Entonces se

cumple
 que 
i) xn → 0 x ↔ (hx 0 , xn i → hx 0 , xi para todo x 0 ∈ E 0 )
σ(E,E ) 
ii) Si xn → 0 x entonces (kxn k) está acotada y kxk ≤ lı́m inf kxn k
 σ(E,E ) 
iii) Si xn → 0 x y si x 0n → x 0 entonces hx 0n , xn i → hx 0 , xi
σ(E,E ) k.kE 0

 
Demostración i) Si xn → x → (hx 0 , xn i → hx 0 , xi para todo x0 ∈
σ(E,E 0 )
E 0 ) porque por la denición de σ(E, E 0 ) todos los funcionales lineales x 0 son

1 se puede ver una demostración de esta armación en J. B. Conway (A.1.4, pág. 375)

28
 0 0
continuos. Recíprocamente si dado Vε,x0 ,x0 ,...x0 (x) para cada x i ∈ E con
1 2 p
0 0
i = 1, 2, . . . p se cumple que hx i , xn i → hx i , xi lo que signica que dado ε > 0
existe Ni (ε) tal que para todo n ≥ Ni (ε)

|hx 0i , xn − xi| < ε

tomemos ahora N (ε) = máx{Ni (ε)}, entonces para todo n ≥ N (ε), xn ∈

Vε,x01 ,x02 ,...x0p (x) lo que signica que xn → 0 x.
σ(E,E )
ii)Si utilizamos el corolario 2.5.2 del teorema de la acotación uniforme,
0 0 0
bastaría con probar que para todox ∈ E el conjunto {hx , xn i}n∈N está
0 0
acotado. Por la parte i) la sucesión hx , xn i → hx , xipor tanto está acotada,
con lo que entonces {xx }n∈N está acotado en E lo que signica que (kxn k)
está acotada en E.
0
Sea ahora x ∈ E0 entonces

|hx 0 , xn i| ≤ kx 0 k kxn k

y pasando al límite

|hx 0 , xi| ≤ kx 0 k lı́m inf kxn k

nalmente
kxk = sup |hx 0 , xi| ≤ lı́m inf kxn k
kx 0 k≤1

iii) Podemos escribir

|hx 0n , xn i − hx 0 , xi| ≤ |hx 0n − x 0 , xn i| + |hx 0 , xn − xi| ≤

kx 0n − x 0 k kxn k + |hx 0 , xn − xi|

y el resultado sigue de aplicar i) y ii).

Teorema 3.1.3 Sea E de dimensión nita, entonces la topología débil y la

topología de la norma coinciden.

Demostración Evidentemente la topología débil es menos na que la

topología usual. Deberíamos probar entonces que todo abierto en la topología
fuerte (de la norma) es abierto en la topología débil. Consideremos entonces
un vector x0 de E y sea U un entorno de x0 en la topología fuerte, debemos

29
construir un entorno V de x0 en la topología σ(E, E 0 ) de forma que V ⊂ U
0 0 0
. Eso es equivalente a hallar un subconjunto nito {x 1 , . . . , x p } de E y un
ε>0 de forma que

Vε;x01 ,...,x0p (x0 ) = {x ∈ E : |hx 0i , x − x0 i| < ε i = 1, 2, . . . , p} ⊂ U

Supongamos que B(x0 , r) = {x ∈ E : kx − x0 k < r} ⊂ U , como E es

de dimensión nita, puedo elegir una base {e1 , . . . , en } con kei k = 1, ∀i =
n
X
1, . . . , n. Entonces dado x ∈ E se tiene x = xi ei entonces los n funcionales
i=1
lineales e 0i de forma que he 0i , xi = xi E por tratarse de la
son continuos en
0 0
proyección de x sobre cada vector de la base, con lo que e i ∈ E i = 1, . . . n.
Se tiene entonces

n
X
kx − x0 k ≤ |he 0i , x − x0 i| < nε
i=1

para todo x ∈ V . Elijamos entonces los x 0i = e 0i y ε = r

n
para obtener
nalmente que V ⊂ U

El siguiente teorema, aplicación del teorema de separación de Hahn-

Banach nos facilita muchos resultados soslayando el uso de redes. Además nos
proporciona el anunciado resultado de la coincidencia de los cerrados convex-
os en ambas topologías, y también la equivalencia entre la continuidad débil
y en norma de los operadores lineales.

Teorema 3.1.4 Sea A un subconjunto convexo de un espacio vectorial

normado E , en el que están denidas dos topologías localmente convexas τ1
y τ2 . Si (E, τ1 ) 0 = (E, τ2 ) 0 entonces A es cerrado para la topología τ1 si y
solo si es cerrado para la topología τ2 .

Demostración Supongamos que A es cerrado para la topología τ1 y sea

x0 6∈ A, entonces si consideramos el compacto {x0 }, por el teorema 2.1.5

30
existe un funcional lineal x0 continuo para la topología τ1 y ε>0 de forma
que
hx 0 , x0 i > hx 0 , yi + ε para todo y∈A
Entonces ε < |hx 0 , x0 i − hx 0 , yi| para todo y ∈ A y como por hipótesis
x 0 es continua en (E, τ2 ), entonces U = {z ∈ E : |x 0 , z| < ε} es unTentorno
del origen para la topología τ2 . De lo anterior se deduce que (x0 +U ) A = ∅,
lo que signica que A es cerrado para la topologia τ2 . Repitiendo el razon-
amiento anterior, cambiando τ1 por τ2 y τ2 por τ1 queda demostrado el teo-
rema.

Corolario 3.1.5 Sea A un subconjunto convexo de un espacio vectorial

normado E, entonces la clausura de A en la topología de la norma coincide
con la clausura de A en la topología débil.

Demostación De acuerdo a la observación hecha al principio, la topología

débil produce los mismos funcionales lineales continuos que la topología
fuerte, entonces el corolario se demuestra por aplicación directa del teore-
ma 3.1.4.

Corolario 3.1.6 Si (xn )es una sucesión en el espacio de Banach E, para

la cual se cumple xn → 0 0, entonces existe una sucesión (yn ) formada por
σ(E,E )
combinaciones convexas de los términos de (xn ) de manera que lı́m kyn k = 0.

Demostración Sea K = hxn i la envoltura convexa de {xn }, con lo que

σ(E,E 0 )
estamos en la hipótesis del Teorema anterior. Como 0∈K entonces
k.k
0 ∈ K con lo que se cumple lı́m kyn k = 0.

Corolario 3.1.70 Si F es un subespacio vectorial del espacio de Banach E,

σ(E,E ) k.k
entonces F =F .

Demostración Es inmediato porque F es convexo.

Corolario 3.1.8 Si K es un subconjunto convexo de un espacio de Banach

E, entonces K es fuertemente cerrado si y solo si es débilmente cerrado.

31
Demostración Como la topología débil es menos na que la de la norma, si
K es cerrado para la topología débil, entonces lo es también para la topología
fuerte. Supongamos ahora que K es cerrado para la topología de la norma,
entonces
k.k σ(E,E 0 )
K=K =K
σ(E,E 0 )
entonces K =K lo que signica que K es cerrado para la topología
débil.

Lema 3.1.9 0 0
Supongamos que E es de dimensión innita y sea {x 1 , x 2 , . . . ,
0 0
x n } ∈ E , entonces es posible determinar un y0 ∈ E, con y0 6= 0 de forma
0
que hx i , y0 i = 0 para todo i = 1, 2, . . . , n.

Demostración n
Si un tal y0 no existiese la aplicación ψ : E → R denida
0
como ψ(z) = (hx i , zi)1≤i≤n sería inyectiva y ψ sería un isomorsmo de E
sobre ψ(E), lo que signicaría que la dim E ≤ n lo que es una contradicción.

Comentario Si E es de dimensión innita, entonces la topología σ(E, E 0 )

es estrictamente menos na que la topología inducida por la norma. Para
probarlo, veamos el siguiente ejemplo.

Ejemplo Sea S = {x ∈ E : kxk = 1}, probemos que

σ(E,E 0 )
S = {x ∈ E : kxk ≤ 1}

con lo que no es cerrado en la topología débil. Tomemos x0 ∈ E con

S
σ(E,E 0 )
kx0 k < 1, comprobemos que x0 ∈ S . Dado un entorno V de x0 en
σ(E, E 0 ),
T
probemos que entonces V S 6= ∅. Sea

Vε;x01 ,...,x0n (x0 ) = {x ∈ E : |hx0i , x − x0 i| < ε i = 1, 2, . . . , n}

con ε>0 y x 01 , x 02 , . . . , x 0n ∈ E 0
Fijemos y0 ∈ E, y0 6= 0 tal que

hx 0i , y0 i = 0 para todo i = 1, 2, . . . , n

La función g(t) = kx0 + ty0 k es continua en [0, +∞) con

g(0) < 1 y lı́m g(t) = +∞

t→+∞

32
con lo que existe t0
T > 0 tal que kx0 + t0 y0 k = 1. Por consiguiente x0 + t0 y0 ∈
V S, entonces

σ(E,E 0 )
S ⊂ {x ∈ E : kxk ≤ 1} ⊂ S

y como {x ∈ E : kxk ≤ 1} es cerrado en σ(E, E 0 ) por serlo en la topología

fuerte (corolario 3.1.8), queda probado que S no es cerrado.

Lema 3.1.10 Sean E espacios de Banach y sea una aplicación ϕ : E →

y F
0
F . Entonces ϕ es continua para la topología σ(F, F ) si y solo si para todo
y 0 ∈ F 0 , y 0o ϕ es continua en E.

Demostración Si ϕ E en (F, σ(F, F 0 ) como por denición

es continua de
0 0 0
todo y ∈ F es continuo para (F, σ(F, F ), entonces por composición para
0 0 0 0
todo y ∈ F , y o ϕ es continua en E . Recíprocamente supongamos que y o ϕ
0 0
es continua en E para todo y ∈ F , entonces debo probar que ϕ es continua
0 −1
de E en (F, σ(F, F ), o lo que es equivalente, probar que ϕ (U ) es un abierto
0
de E para todo abierto U de σ(F, F ), pero como sabemos que U es de la
forma [\
U= (y 0i )−1 (Wi )
j∈J i∈Ij
0 0
dónde cada Ij es nito, y ∈Fi Wi es un abierto de R.
y Se tiene entonces

[\
ϕ−1 (U ) = (y 0io ϕ)−1 (Wi )
j∈J i∈Ij

que evidentemente es un abierto porque cada y 0io ϕ es continua.

Teorema 3.1.11 Sean E y F dos espacios de Banach y T una aplicación

lineal de E en F . Entonces T es continua de (E, k.k) en (F, k.k) si y solo si
es continua de (E, σ(E, E 0 )) en (F, σ(F, F 0 )) .

Demostración Supongamos primero que T es continua de (E, k.k) en

(F, k.k). y 0 ∈ F 0 se tiene que y 0o T ∈ E 0 con lo que es con-
Para todo
0
tinua para la topología σ(E, E ). Utilizando el lema anterior obtenemos que
T es continua de (E, σ(E, E )) en (F, σ(F, F 0 )).
0
0
Recíprocamente, supongamos que T es continua de (E, σ(E, E )) en (F,
0
σ(F, F )) entonces T (BE ) es débilmente acotado en F . Consideremos ahora

33
 00
a T (BE )
como un subconjunto de F es decir trabajemos con J(T (BE )),
0 0 0
entonces para todo y ∈ F tendremos que J(T (BE ))(y ) es acotado para
cada x ∈ BE y entonces por el teorema de la acotación uniforme, tendremos
00
que J(T (BE )) es un subconjunto de F acotado en norma. Finalmente como
T (BE ) ⊂ F y la inyección J : F → F 00 es una isometría resulta que T (BE )
está acotado en norma en F , lo que signica que T es continua de (E, k.k)
en (F, k.k). Introducimos ahora una topología en el dual aún menor que la

débil, que denominamos débil estrella σ(E 0 , E) que se justica en el Teorema

de Alaoglu-Bourbaki que asegura que en ella la bola cerrada en el dual es
0 0
compacta. Además el dual de(E , σ(E , E)) es precisamente E .

3.2. Topología débil ? σ(E 0, E)

Sea E un espacio de Banach y sea E0 su dual, dotado con la norma

kx 0 k = sup {|hx 0 , xi|}

x∈E
kxk≤1

y sea E 00 su bidual, es decir el dual de E0 dotado con la norma

kξk = sup {|hξ, x 0 i|}

x 0 ∈E 0
kx 0 k≤1

Denición Podemos denir una inyección canónica J : E → E 00 denida

00
de la siguiente manera: a cada x de E le asignamos el funcional J(x) de E
denido por
J(x) : E 0 → K
de forma que asigna a cada x0 el elemento hJ(x), x 0 i = hx 0 , xi para cada
x ∈ E y para cada x 0 ∈ E 0 .
De la denición se deduce que J es lineal y que es una isometría. En efecto

kJ(x)k = sup {|hJ(x), x 0 i|} = sup {|hx 0 , xi|} = kxk

kx 0 k≤1 kx 0 k≤1

34
Puede ocurrir que J no sea sobreyectiva, en el caso en el que si lo sea, di-
remos que E es reexivo. Con la ayuda de J podemos identicar E con un
subespacio de E 00 .
0
Con lo visto hasta el momento podemos identicar sobre E dos topologías:
0
i) la topología fuerte, inducida por la norma de E
ii)la topología débil σ(E 0 , E 00 )
0
Denamos ahora una tercer topología en E : la topología débil ? que la
0
representaremos por σ(E , E).

Denición Para cada x ∈ E consideremos la aplicación ϕx : E → R

0
0 0 0
denida por x → ϕx (x ) = hx , xi. La topología débil ? es la topología
0
menos na sobre E que hace continuas a todas las aplicaciones (ϕx )x∈E .
00 0
Como E ⊂ E , resulta claro que la topología σ(E , E) es menos na que la
0 00 0
topología σ(E , E ). Presentando entonces las tres topologías vistas para E
0 0 00
diríamos que σ(E , E) es menos na que σ(E , E ) que a su vez es menos
na que la topología fuerte.

Teorema 3.2.1 Sea x 00 ∈ E 0 . La familia de conjuntos de la forma

V = {x 0 ∈ E 0 : |hx 0 − x 00 , xi i| < ε para todo i ∈ I}

conI nito y ε > 0 constituyen una base de entornos de x 00 para la topología

σ(E 0 , E).
En forma similar a lo hecho en la topología débil, la notación que utilizare-
mos será Vε;x1 ,...,xn (x 00 ) = {x 0 ∈ E 0 : |hx 0 − x 00 , xi| < ε i = 1, 2, . . . , n}.

Demostración Similar a la del Teorema 3.1.1

Teorema 3.2.2 (Alaoglu) Sea E un espacio normado, entonces el con-

junto BE 0 = {x 0 ∈ E 0 : kx 0 k ≤ 1} es compacto en la topología débil ?
0
σ(E , E).

Demostración Observemos primero que la bola unitaria BE 0 no es un en-

0
torno del origen en σ(E , E), porque de serlo existiría un entorno Vε;x1 ,x2 ,...,xn (0)
0
con los xi ∈ BE y con ε < 1, tal que x ∈ Vε;x1 ,x2 ,...,xn (0) ⊂ BE 0 como los xi
son nitos, existe z ∈ BE de forma tal que z 6= xi para todo i = 1, 2, . . . , n
0 0 0
y para el que |x (z)| > 1 + ε, entonces kx k > 1 con lo que x 6∈ BE 0 , se
0
concluye pues queBE 0 no es un entorno del origen para la topología σ(E , E).

35
 0 E
Identiquemos ahora E con un subconjunto del producto K asociando
0 0 0
a cada x ∈ E el conjunto de sus imágenes {x (x) : x ∈ E}. Podemos
0 E
identicar la topología σ(E , E) con la topología producto en K , es decir
0
que la bola unitaria de E será un subconjunto del producto
Y
I= {λ ∈ K : |λ| ≤ kxk}
x∈E

que es un producto de compactos y por tanto por el Teorema de Tychono

es compacto. Debemos probar ahora que BE 0 es cerrada enI .
Para x, y ∈ E y λ ∈ K, consideremos las funciones ϕx,y (ξ) = ξ(x)+ξ(y)−
ξ(x + y) y ψx,λ (ξ) = ξ(λx) − λξ(x) con ξ ∈ KE . Estas funciones son continuas
E E E
en K , ya que πz : K → K de forma que πz (ξ) = ξ(z) es continua en K por
tratarse de una proyección y puede escribirse ϕx,y (ξ) = πx (ξ)+πy (ξ)−πx+y (ξ)
y ψx,λ (ξ) = πλx (ξ) − λπx (ξ) , y

\ \ \
−1
BE 0 = ϕ−1
x,y ({0}) ψx,λ ({0})
x,y∈E x∈E
λ∈K

que es un subconjunto cerrado de I.

3.3. Topología débil ? acotada: bσ(E 0, E)

Denición Sea E un espacio de Banach, la topología débil estrella acotada2
se dene como la topología más na que coincide con la topología débil
0 0 0 0 0
estrella σ(E , E) en cada conjunto rBE 0 = {x : x ∈ E , kx k ≤ r}. Es decir
0 0
que un conjunto O ⊂ E es un abierto en la topología bσ(E , E) si y solo
rBE 0 es un subconjunto relativamente abierto de rBE 0 para σ(E 0 , E)
T
si O
0 0
para todo r ≥ 0 y un conjunto C ⊂ E es cerrado en la topología bσ(E , E)
rBE 0 es cerrado en σ(E 0 , E) para todo r ≥ 0.
T
si y solo si C

Teorema 3.3.1 Sea E un espacio de Banach y sea (xn )n∈N ⊂ E una suce-
sión tal que xn → 0. Un sistema fundamental de entornos del origen para la
topología bσ(E 0 , E) es el formado por los conjuntos

VA = {x 0 : |x 0 (x)| < 1, x ∈ A}

donde A = {xn : n ∈ N}.

2 en inglés: bounded weak ? topology

36
Demostración Sea BE 0 la bola unitaria en E0 y (xn )n∈N ⊂ E con xn → 0
y A = {xi }, entonces

\ \
{x 0 : |x 0 (x)| < 1, x ∈ A} rBE 0 = {x 0 : |x 0 (x)| < 1, x ∈ A1 } rBE 0

donde A1 es el conjunto nito de elementos de A para los cuales kxk ≥

1
. O sea que hemos encontrado un entorno del origen para la topología
r
σ(E 0 , E)que hace que VA rBE 0 sea relativamente abierto en rBE 0 .
T
0
Sea ahora U un entorno abierto del origen para la topología bσ(E , E),
entonces según la denición dada arriba, existe un conjunto nito A1 ⊂ E
3 0TB 0 ⊂ U
tal que A1 E
Supongamos que para cada entero n denimos un conjunto nito An ⊂ E
0
T
de forma tal que An nBE 0 ⊂ U . Mostremos entonces que existe un conjunto
nito Bn de E tal que cada elemento de él tiene norma menor o igual a 1/n
y tal que se cumple

[ \
(An Bn )0 (n + 1)BE 0 ⊂ U

Porque si así no fuera entonces para cualquier conjunto E y B nito de

tal que la norma de cada uno de sus elementos es menor o igual que /n se
1
S 0T
B) (n + 1)BE 0 U c tiene intersección nita
T
tendría que la familia (An
c 0 0
propia . Como U es bσ(E , E) cerrado, todos esos conjuntos son σ(E , E)
0
cerrados y como además (n + 1)BE 0 es σ(E , E) compacto por el Teorema de
0
T cT 0
Alaoglu, se sigue entonces que existe x ∈ (n + 1)BE 0 U An que cumple
0
que |x (x)| ≤ 1 para todo x ∈ E con kxk ≤ /n . De lo anterior se deduce
1
0 0
T 0T c
que kx k ≤ n lo que signica que x ∈ nBE 0 An U contradiciendo el
T 0 S
hecho de que nBE 0 An ⊂ U . Deniendo entonces An+1 = An Bn queda
establecida en forma inductiva una sucesión de conjuntos nitos An ⊂ E
0
T
para los que vale An
SnB E 0 ⊂ U y tal que cualquier sucesión construida con
∞
los elementos de A = i=1 An es una sucesión de elementos de E que tiende
a cero, de lo anterior deducimos que

{x 0 : x 0 ∈ E 0 , |x 0 (x)| < 1, x ∈ A}

es un conjunto de la forma indicada, contenido en U

3 Recordemos que si M ⊂ E , denimos el conjunto polar de M como M 0 = {x 0 ∈ E 0 :
0
|x (x)| ≤ 1, x ∈ M }

37
Notación Sea x 0 ∈ E 0, un entorno de x0 en la topología bσ(E 0 , E), lo
representaremos como

V(xn ) (x 0 ) = {z 0 ∈ E 0 : |(z 0 − x 0 )(xn )| < 1 para todo n ∈ N}

siendo (xn )n∈N ⊂ E y con xn → 0.

Corolario 3.3.2 Sea E un espacio de Banach, entonces E 0 con la topología

bσ(E 0 , E) es un E.V.T. localmente convexo.

Demostración Para probar que E0 dotado con la topología bσ(E 0 , E) es

un E.V.T. deberemos probar la continuidad para las funciones
(
+ : E 0 × E 0 → E 0 tal que (x 0 , y 0 ) → x 0 + y 0
. : K × E 0 → E 0 tal que (α, x 0 ) → α.x 0

Supongamos que U x 0 + y 0 entonces por el teorema anterior

es un entorno de
0 0
existe una sucesión (xn )n∈N ⊂ E y con xn → 0 tal que V(xn ) (x + y ) ⊂ U , de
la convergencia de xn a 0 se tiene que 2xn → 0 con lo que podemos considerar
los entornos

V(2xn ) (x 0 ) = {z 0 ∈ E 0 : |(z 0 − x 0 )(2xn )| < 1 para todo n ∈ N}

V(2xn ) (y 0 ) = {w 0 ∈ E 0 : |(w 0 − y 0 )(2xn )| < 1 para todo n ∈ N}

evidentemente se cumple

V(2xn ) (x 0 ) + V(2xn ) (y 0 ) ⊂ V(xn ) (x 0 + y 0 )

ya que si z 0 ∈ V(2xn ) (x 0 ) y w 0 ∈ V(2xn ) (y 0 ) se tiene que

1 1
|(z 0 + w 0 − x 0 − y 0 )(xn )| ≤ |(z 0 − x 0 )(xn )| + |(w 0 − y 0 )(xn )| < + =1
2 2
lo que signica que z 0 + w 0 ∈ V(xn ) (x 0 + y 0 ). Hagamos algo similar para el
0 0 0
producto, sea W un entorno de α.x con α ∈ K y x ∈ E entonces existe
0
una sucesión (xn )n∈N ⊂ E y con xn → 0 tal que V(xn ) (α.x ) ⊂ W , interesa

38
determinar un entornoE(α, ε) ⊂ K de α y un entorno V(an ) (x 0 ) ⊂ E 0 de x 0
0 0
de forma que para todo r ∈ E(α, ε) y para todo w ∈ V(an ) (x ) se tenga que
r.w 0 ∈ V(xn ) (α.x 0 ), para ello deberá cumplirse |(r.w 0 − α.x 0 )(xn )| < 1 pero

|(r.w 0 − α.x 0 )(xn )| = |α(w 0 − x 0 )(xn ) + (r.w 0 − α.w 0 )(xn )| ≤

|α| |(w 0 − x 0 )(xn )| + |r − α| |w 0 (xn )|

1
y alcanzaría con que cada uno de los términos fuese menor que . Pongamos
2
entonces an = 2. |α| .xn que evidentemente converge a cero. Se tiene entonces
0 0 1
que como w ∈ V(2|α|xn ) (x ) entonces el primer término es menor que . Como
2
0
w (xn ) → 0 entonces está acotada, con lo que existe M ∈ K para el que vale
|w 0 (xn )| < M para todo n ∈ N, elijamos ahora ε de manera que ε < 2M 1
,
entonces se cumple que

1
|r − α| |w 0 (xn )| < ε.M =
2
lo que demuestra que r.w 0 ∈ V(xn ) (α.x 0 ).
Se trata ahora de probar que los entornos del origen denidos en el teo-
rema anterior son convexos.
Dado V(xn ) (0) (xn )n∈N ⊂ E y xn → 0, consideremos en él, dos ele-
con
mentos cualesquiera x 0 y z 0 y un escalar α tal que 0 ≤ α ≤ 1, se trata de
0 0 0 0 0
probar que el elemento w ∈ E denido como w = αx + (1 − α)z también
pertenece al entorno V(xn ) (0). En efecto, como

|w 0 (xn )| = |(αx 0 + (1 − α)z 0 ) (xn )| ≤ |αx 0 (xn )| + |(1 − α)z 0 (xn )| =

α |x 0 (xn )| + (1 − α) |z 0 (xn )| < 1

entonces w 0 ∈ V(xn ) (0).

Teorema 3.3.3 Sea E un espacio de Banach, entonces un funcional lineal

en E0 0
es continuo para la topología σ(E , E) si y solo si es continuo para la
0 0
topología bσ(E , E). Es decir que el dual de E respecto de la topología débil
estrella es el mismo que respecto de la topología débil estrella acotada.

Demostración bσ(E 0 , E) es más na que

Como por denición la topología
0 0
la topología σ(E , E) entonces todo funcional lineal en E continuo para esta
última lo será también para la primera.

39
 0
Recíprocamente supongamos que f : E → K es un funcional lineal
0
bσ(E , E)-continuo, lo que signica que debe existir una sucesión en (xn ) ⊂ E
que tienda a cero de manera que

|f (x 0 )| < 1 para todo x0 ∈ E 0 con |x 0 (xn )| < 1 para todo n∈N

Denamos T : E 0 → c0 de manera que T (x 0 ) = (x 0 (xn )) claramente es lineal

0
y acotado. Denamos ahora el funcional h : T (E ) → K, de la siguiente
0 0
manera: h(T (x )) = f (x ), evidentemente es lineal y acotado. Probemos que
0
el funcional h está bien denido. Es claro que si x (xn ) = 0 para todo n ∈ N
0 0
entonces f (x ) = 0, porque también valdría que dado k ∈ N x (kxn ) = 0
0
para todo n ∈ N se cumpliría entonces en particular que |x (kxn )| < 1 para
todo n∈N lo que implica que

|f (kx 0 )| < 1 implica que |f (x 0 )| = 0

Entonces si T (x 0 ) = T (y 0 ) 0 0
debería ser x (xn ) = y (xn ) para todo n ∈ N
0 0
que lo podríamos escribir como (x − y )(xn ) = 0 para todo n ∈ N entonces
f (x − y ) = 0 para obtener nalmente f (x 0 ) = f (y 0 ).
0 0
0
Por el corolario 2.2.1 del teorema de Hahn - Banach existe g ∈ c0 de
0
manera que su restricción a T (E ) coincide con h. Sea (αn )n∈N el elemento
0 0 0
de `1 = c0 representante de g , entonces para cada x ∈ E se tiene que

∞ ∞
!
X X
f (x 0 ) = h(T (x 0 )) = g(x 0 (xn )) = αi x 0 (xi ) = x 0 αi xi
i=1 i=1

donde la convergencia de la serie está asegurada porque E es completo. Se

sigue entonces que f tiene la forma

∞
X
0 0
f (x ) = x (x) con x= αi xi ∈ E
i=1

Entonces f está en la imagen de E en E 00 por la inyección natural J , con lo

que es σ(E 0 , E)-continuo.

Corolario 3.3.4 0
un espacio de Banach y sea f : E → K, entonces
Sea E
f es continuo para la topología σ(E 0 , E) si y solo si la restricción de f a BE 0
0
es continua con respecto a la topología inducida por σ(E , E) en BE 0 .

40
Demostración Si f σ(E 0 , E), entonces su re-
es continuo para la topología
0
stricción a BE 0 es continua con respecto a la topología inducida por σ(E , E)
en BE 0 . Recíprocamente supongamos que la restricción de f a BE 0 es contin-
0
ua con respecto a la topología inducida por σ(E , E) en BE 0 . Como BE 0 es
0 0
T
cerrado para la topología σ(E , E) en E también lo es ker f BE 0 para la
0
T
topología inducida por σ(E , E) en BE 0 entonces ker f BE 0 es cerrado para
0
σ(E , E) . Entonces para todo r > 0 se tiene que
\ \
ker f rBE 0 = r(ker f BE 0 )

0
que es cerrado para la topologia σ(E , E) y esto signica que ker f es cer-
0
rado para la topología bσ(E , E) por tanto f es continuo para la topología
débil estrella acotada y por el teorema anterior es continuo para la topología
σ(E 0 , E).

Teorema 3.3.5 (Krein-Smulian) Sea B K un

un espacio de Banach y
0 0
subconjunto convexo de E , entonces K es cerrado para la topología σ(E , E)
0
si y solo si es cerrado para la topología bσ(E , E).

Demostración Por el teorema 3.3.3 (E 0 , σ(E 0 , E)) y (E 0 , bσ(E 0 , E) de-

nen los mismos funcionales lineales continuos, entonces por el teorema 3.1.4
los conjuntos convexos serán cerrados para la primera si y solo si los son para
la segunda.

3.4. Espacios reexivos

Denición Sea E un espacio de Banach y sea J la inyección canónica de
E en E 00 . Diremos que E es reexivo si J(E) = E 00 . Cuando E es reexivo
00
con ayuda del isomorsmo J podemos identicar implícitamente E con E .

Teorema 3.4.1 Sea E un espacio de Banach. Entonces E es reexivo si y

sólo si BE es compacto en la topología σ(E, E 0 ).

Demostración Si suponemos que E es reexivo, entonces de acuerdo con

la denición
J(BE ) = BE 00

41
 0
y como sabemos que J : E → E es un homeomorsmo entonces BE con la
0 00 0
topología σ(E, E ) es homeomorfo a BE 00 con la topología σ(E , E ) y como
00 0
por el teorema de Alaoglu BE 00 es un compacto para la topología σ(E , E ),
0
se concluye queBE es compacto con la topología σ(E, E ).
Para probar el recíproco, veamos primero el siguiente teorema

Teorema 3.4.2 (Goldstine) Sea E un espacio de Banach, J(BE ) es denso

00 0
en BE 00 en la topología σ(E , E )

σ(E 00 ,E 0 )
Demostración Consideremos x 00 ∈ E 00 x 00 6∈ J(BE )
de forma que ,
00 0
entonces como J(BE ) es convexo y cerrado para la topología σ(E , E ),
0 0
existe x ∈ E (recordemos que E 0 es el dual de E 00 para la topología
00 0
σ(E , E )), de forma tal que se verica
σ(E 00 ,E 0 )
sup{hx 0 , y 00 i : y 00 ∈ J(BE ) } < hx 0 , x 00 i

como podemos suponer que kx 0 k = 1 = sup {|x 0 (y 00 )|}, entonces

σ(E 00 ,E 0 )
y 00 ∈J(BE )
la expresión de la izquierda es al menos 1, lo que obliga a que

kx 00 k > 1
σ(E 00 ,E 0 )
De lo anterior se sigue que BE 00 ⊂ J(BE ) .

Estamos en condiciones ahora de probar la suciencia del teorema 3.3.1,

supongamos ahora que BE es compacto en la topología σ(E, E 0 ), entonces
J(BE ) es compacto en la topología σ(E 00 , E 0 ) y aplicando el teorema de
Goldstine, se tiene que J(BE ) = J(BE ) = BE 00 .

Teorema 3.4.3 Sea E un espacio de Banach reexivo y sea M ⊂ E un

subespacio vectorial cerrado. Entonces M dotado de la norma inducida por
E es reexivo.

Demostración Por el corolario 3.1.6 deducimos que M es cerrado tam-

0
bién para σ(E, E ), entonces BM es cerrado para la topología inducida por
σ(E, E 0 ) en M que por otra parte coincide con la topología σ(M, M 0 ), en-
0
tonces BM es compacto para la topología σ(E, E ) o sea que es compacto
0
para σ(M, M ), con lo que M es reexivo.

42
Corolario 3.4.4 Sea E un espacio de Banach. Se cumple que E es reexivo
0
si y solo si E es reexivo.

Demostración Si E E 0 , σ(E 0 , E) y σ(E 0 ,

es reexivo las topologías sobre
E 00 ) coinciden , entonces como por el teorema de Alaoglu BE 0 es compacta
0
para la topología σ(E , E), entonces se tiene que BE 0 es compacta para la
0 00
topología σ(E , E ) lo que se traduce -utilizando el teorema 3.4.1- en que
E 0 es reexivo.
0
Si suponemos ahora que E es reexivo, de la parte anterior deducimos
00 00
entonces que E es reexivo y como J(E) es un subespacio cerrado de E ,
del teorema 3.4.3 deducimos que J(E) es reexivo, por consiguiente E es
reexivo.

Otra herramienta imprescindible en el estudio de los espacios de Banach es

la separabilidad, pues muchos de los espacios habituales lo son. Además esta
propiedad está relacionada con la metrizabilidad de la bola cerrada unidad
0 0
de E con la topología σ(E , E).

3.5. Espacios separables

Denición Sea E un espacio métrico. Se dice que E es separable si existe
un subconjunto H⊂E numerable y denso.

Teorema 3.5.1 Sea E un espacio métrico separable y sea F un subconjunto

de E . Entonces F es separable.

Demostración Sea una sucesión densa en E y sea ( )m∈N . Deno

(zn )n∈N 1
m
1
T
um,n como un elemento cualquiera de B(zn , m ) F cuando esta intersección
1
T
es distinta del conjunto vacío y sea um,n = 0 cuando B(zn ,
m
) F = ∅.
La sucesión doble (um,n )m,n∈N es numerable y densa en F , con lo que F es
separable.

43
Teorema 3.5.2 Sea E un espacio de Banach tal que E0 es separable. En-
tonces E es separable.

Demostración Sea (x 0n )n∈N una sucesión numerable y densa en E 0 . Como

kx 0n k = sup hx 0n , xi
x∈BE

entonces para cada n existe xn ∈ E con kxn k = 1 y para el que se cumple

hx 0n , xn i ≥ 12 kx 0n k.
Sea L0 el espacio vectorial sobre Q generado por los {xn , n ∈ N}. Sea
ahora L es espacio vectorial real generado por los mismos puntos, entonces
como L0 es un subconjunto denso de L, bastaría con probar que L es denso
en E.
Tomemos un funcional x 0 ∈ E 0 tal que hx 0 , xi = 0 para todo x ∈ L,
0
demostremos entonces que x es idénticamente nulo. Como por hipótesis
(x n )n∈N es densa en E , dado ε > 0, existe n ∈ N de forma que kx 0 − x 0n k <
0 0

ε, entonces
1 0
kx k ≤ hx 0n , xn i = hx 0n − x 0 , xn i + hx 0 , xn i ≤ ε
2 n
Se tiene entonces
kx 0 k ≤ kx 0 − x 0n k + kx 0n k < 3ε
con lo que x0 = 0 y entonces L es denso en E.
Nota: La inversa no es cierta, por ejemplo co y l∞ .

Corolario 3.5.3 Sea E un espacio de Banach. Entonces E es reexivo y

0
separable si y solo si E es reexivo y separable.

Demostración Del corolario 3.4.4 y del teorema anterior podemos asegu-

rar que si E0 es reexivo y separable, entonces E
es reexivo y separable.
00
Recíprocamente, si E es reexivo y separable, entonces E = J(E) es reexi-
0
vo y separable, de donde E es reexivo y separable.

Teorema 3.5.4 E
un espacio de Banach separable. Entonces BE 0 es
Sea
0
metrizable para la topología σ(E , E). Recíprocamente, si BE 0 es metrizable
0
para la topología σ(E , E), entonces E es separable.

44
Demostración Sea (xn )n∈N una sucesión en BE de forma que {xn , n ∈ N}
sea denso en BE (cosa que siempre es posible por el teorema 3.5.1).
Para todo par x 0 , y 0 ∈ BE 0 , denimos
∞
0 0
X 1
d(x , y ) = n
|hx 0 − y 0 , xn i|
n=1
2

Evidentemente d
es una métrica. Habría que probar ahora que sobre BE 0 , la
0
topología asociada a d coincide con la topología σ(E , E). Probemos primero
0
que la topología asociada a d es más na que la topología σ(E , E). Sea
0 0 0 0
entonces x 0 ∈ BE 0 y sea Vε;y1 ,y2 ,...,yk (x 0 ) un entorno de x 0 en σ(E , E). Hay
que probar entonces que existe un r>0 de forma tal que

U = {x 0 ∈ BE 0 : d(x 0 , x 00 ) < r} ⊂ Vε;y1 ,y2 ,...,yk (x 00 )

Podemos suponer que en la denición de

Vε;y1 ,y2 ,...,yk (x 00 ) = {x 0 ∈ BE 0 : |hx 0 − x 00 , yi i| < ε para todo i = 1, 2, . . . k}

los yi E para todo i = 1, 2, . . . k . Entonces

pertenecen a la bola unitaria de
como la sucesión (xn )n∈N BE , para cada i se puede encontrar un
es densa en
ε n ε
natural ni de manera que kyi − xni k < . Fijemos r > 0 tal que 2 i r <
4 2
0
para todo i = 1, 2, . . . , k y demostremos que U ⊂ V . Si x ∈ U entonces
0 0
d(x , x 0 ) < r, se tiene entonces
1
|hx 0 − x 00 , xni i| < r para todo i = 1, 2, . . . , k
2ni
y entonces

ε ε
|hx 0 − x 00 , yi i| = |hx 0 − x 00 , yi − xni i + hx 0 − x 00 , xni i| < +
2 2
para todo i = 1, 2, . . . , k , porque

ε
|hx 0 − x 00 , yi − xni i| ≤ kx 0 − x 00 k kyi − xni k < 2.
4
entonces x0 ∈ V .
0
Probemos ahora que la topología σ(E , E) es más na que la generada
0 0
por d. Como antes sea x 0 ∈ BE 0 y sea U un entorno de x 0 para la topología

45
generada por d. Se trata de probar que existe Vε;y1 ,y2 ,...,yk (x 00 ) entorno de x 00
0
para σ(E , E), en BE 0 de forma que

Vε;y1 ,y2 ,...,yk (x 00 ) ⊂ U = {x 0 ∈ BE 0 : d(x 0 , x 00 ) < r}

Elijamos V de la forma

Vε;y1 ,y2 ,...,yk (x 00 ) = {x 0 ∈ BE 0 : |hx 0 − x 00 , xi i| < ε para todo i = 1, 2, . . . k}

0
y determinemos k y ε para que V ⊂ U . Sea por tanto x ∈ V , se tiene entonces
n=k ∞ ∞
d(x 0 , x 00 ) = 0 0 0 0
P 1 P 1 P 1
2n
|hx − x 0 , xn i| + 2n
|hx − x 0 , x n i| < ε + 2 2n
=
n=1 n=k+1 n=k+1
1 r
ε + 2k−1 , se trata entonces de elegir ε <
2
y k sucientemente grande para
1 r
que k−1 < .
2 2
0
Recíprocamente, supongamos que BE 0 es metrizable para σ(E , E), de-
 0 0 1

mostremos que entonces E es separable. Sea Un = x ∈ BE 0 : d(x , 0) <
n
0
y sea Vn un entorno de 0 en σ(E , E), de forma tal que se cumpla Vn ⊂ Un
para todo n∈N con Vn de la forma

Vn = Vεn ;In (0) = {x 0 ∈ BE 0 : |hx 0 , xi| < εn , para todo x ∈ In }

∞
S
con In un subconjunto nito de E. Sea F = In , que es numerable. Por
n=1
otro lado se cumple

∞
\
Vn = 0 entonces hx 0 , xi = 0 ∀x ∈ F → x 0 = 0
n=1

con lo que F es denso en E y el espacio E es separable.

46
47
4. Teorema de Eberlein-S̆mulian

4.1. Introducción
Del Teorema de Alaoglu sabemos que en un espacio vectorial normado
(E, k.k) todo subconjunto cerrado para la topología σ(E 0 , E) y acotado de
E es compacto para la topología débil estrella.
Intentemos ahora caracterizar los subconjuntos compactos de E para la
topología σ(E, E 0 ). Sea K ⊂ E un subconjunto compacto para la topología
0 0 0 0
débil y sea x ∈ E , sabemos que x es débilmente continuo, entonces x (K)
0
es un compacto en el cuerpo de escalares. Se sigue entonces que x (K) está
0 0
acotado y como esto vale para todo x ∈ E , por el Teorema de la acotación
uniforme, entonces K es un subconjunto acotado de E. Además como K es
débilmente compacto, entonces es débilmente cerrado y por tanto es cerrado
en norma. Es decir que los subconjuntos de E débilmente compactos son
cerrados en norma y acotados en norma.
Veamos que el recíproco no es cierto, con lo que la condición anterior
no caracteriza a los compactos de la topología débil de un espacio vectorial
normado.

Ejemplo Consideremos Bc0 , si fuera débilmente compacto, cada sucesión

en Bc0 debería tener un punto de aglomeración en Bc0 para la topología
σ(E, E 0 ). Consideremos la sucesión γn denida por γn = e1 + . . . + en donde
ek es el k -ésimo vector unitario en c0 . La norma del supremo en c0 nos da que
kγn k = 1 para todo n ∈ N. ¾Cuáles son los posibles puntos de aglomeración
0
para la topología σ(E, E ) de la sucesión (γn )? Supongamos que λ ∈ Bc0
es un punto de aglomeración de (γn ) para la topología débil. Entonces para
0 0 0 0
cada x ∈ c0 , (x (γn )) tiene a x (λ) como un punto de aglomeración; esto es
0 0
que los valores de x (γn ) están tan cerca de x (λ) como uno quiera. Tomemos
0 0
como funcional lineal, la proyección k -ésima ek . Notemos que ek (γn ) = 1
0
para todo n ≥ k , entonces ek (λ) = 1. Lo anterior vale para todo k ∈ N,
entonces λ = (1, 1, . . . , 1, . . .) 6∈ c0 por lo tanto Bc0 no es compacto para la
0
topología σ(E, E ).

Ejercicio previo (Von Neumann) La topología débil no tiene por qué

ser secuencial.
Sea A el subconjunto de `2 que consiste en el conjunto de vectores de

48
la forma {xmn /1 ≤ m < n < +∞} cuya m-ésima coordenada es uno y la
n-ésima coordenada es m, siendo ceros las otras coordenadas. Mostrar que
el origen pertenece a la clausura de A para la topología débil, pero ninguna
sucesión de elementos de A converge débilmente a cero.
Podemos representar un elemento genérico de A como

m n
(0, . . . , 0, 1, 0, . . . , 0, m, 0, . . .)
σ(`2 ,`02 )
. Para probar que 0∈A debemos probar que para todo entorno de cero
0
V ε,x01 ,x02 ,...,x0p (0) en la topología σ(`2 , `2 ) se cumple que

\
Vε,x01 ,x02 ,...,x0p (0) A 6= ∅

Sabemos que para todo x 0i ∈ `02 (i = 1, . . . , p) existe ai = (aik )k∈N ∈ `02 de

forma que para todo x = (xk )k∈N ∈ `2 se tiene
∞
X
x 0i (x) xk aik = x, ai


= para todo i = 1, . . . , p
k=1

Entonces para un elemento genérico de A se tiene

|x 0i (em + men )| = aim + main  ≤ aim  + m ain 

     

y como se tiene que lı́m aik = 0 para todo i = 1, . . . , p es posible entonces

k→+∞
elegir primero m = mε ∈ N de forma tal que

 i  ε
am  < para todo i = 1, . . . , p
ε
2
a continuación es posible elegir n = nε ∈ N con nε > mε de forma que

  ε
mε ainε  < para todo i = 1, . . . , p
2
De lo anterior se deduce entonces que

\
xmε nε ∈ Vε,x01 ,x02 ,...,x0p (0) A

σ(`2 ,`02 )
entonces 0∈A . Probemos ahora que ninguna sucesión incluida en A
converge débilmente a 0. Supongamos por el contrario que (xk )k∈N ⊂ A es

49
una sucesión tal que xk → 0 siendo xk = emk + mk enk , 1 ≤ m < n < +∞
σ(`2 ,`02 )
para todo k ∈ N, entonces (xk )k∈N es una sucesión acotada, lo que signica
que también (mk )k∈N es acotada, que a su vez se traduce en la existencia de
una subsucesión convergente: (mkt )kt ∈N , pero entonces existe t0 ∈ N tal que
para todo natural t ≥ t0 debe ser mkt = M ∈ N constante. Como xkt →0 0
σ(`2 ,`2 )
0 0
debe ser x (xkt ) → 0 para todo x ∈ `02 en particular para 0
x = eM , pero en
cambio resulta que



heM , xkt i = eM , emkt + mkt enkt = heM , eM i + M eM , enkt = 1

para todo t ≥ t0 lo que es una contradicción.

Aunque la topología débil de un E.V.T. de Banach E de dimensión in-

nita no es metrizable , el siguiente teorema permite, para los subconjuntos
débilmente compactos de E , observar propiedades similares a las de los com-
pactos de los espacios metrizables.
Previamente recordemos algunas deniciones:
i) A ⊂ E es relativamente compacto si A es compacto.
ii) A ⊂ E es secuencialmente compacto si cada sucesión en A tiene una
subsucesión convergente en A.
iii) A ⊂ E es relativamente secuencialmente compacto si cada sucesión
en A tiene una subsucesión convergente en E .

4.2. Teorema de Eberlein-S̆mulian

Ejemplo previo: Sea A = Bc0 ⊂ c0 ,
de acuerdo a lo visto en el primer
n
ejemplo, A no es débilmente compacto. Sea an = (1, 1, . . . , 1, 0, . . .) evidente-
 
 (i) 
mente an ∈ A porque kan k = sup{an  : i ∈ N} = 1. Sean F = (1, 1, . . .) ∈
n
`∞ = c000 , (gn )n∈N con gn = (0, 0, . . . , 1, 0, . . .), gn ∈ `1 para todo n ∈ N y
∞  
P  (i) 
kgn k = gn  = 1 y además dist(F, J(c0 ) = 1. De lo anterior se cumple
i=1
i) F (gn ) = 1
ii) gn (aj ) = 0 si j < n
iii) gn (aj ) = 1 si j ≥ n
mostremos que entonces (an ) no puede tener una subsucesión débilmente
convergente.

50
 Si (ank ) fuese una subsucesión débilmente convergente a a entonces exi-
stiría una sucesión de combinaciones convexas de forma que convergería en
norma a a con lo que es posible encontrar un término de la sucesión que diste
de a en norma menor que 1/4 por ejemplo, es decir

q
X 1
αk ank − a <

4


k=p

Pq
para algún α ank , pero si n > nq utilizando la parte ii) se tiene que
 P k=p k P 
q   q
gn ( k=p αk ank ) =  k=p αk gn (ank ) = 0 . De lo anterior se deduce entonces
 
que
 q
!  q
!
 X   X 
|gn (a)| ≤ gn a − αk ank  + gn αk ank  ≤
   
   
k=p k=p
q

X 1
kgn k a − αk ank + 0 <


k=p
4

Pero por iii) gn (ank ) = 1 para todo nk > n con lo que pasando al límite
gn ( lı́m ank ) = 1 con lo que gn (a) = 1 para todo n ∈ N con lo que obtenemos
k→+∞
una contradicción.
Entonces suponiendo que A es relativamente secuencialmente compacto
para la topología débil, es posible construír una sucesión para la que ninguna
subsucesión sea débilmente convergente. Contradicción.

Lema previo 4.2.1 Un subconjunto A⊂E es relativamente débilmente

σ(E 00 ,E 0 )
compacto si y solo si es acotado y J(A) ⊂ J(E).

Demostración Como J : E → E 00 es un homeomorsmo entre E y J(E)

cuando consideramos a E con la topología σ(E, E 0 ) y E 00 con la topología
σ(E 00 , E 0 ), se tiene
σ(E,E 0 ) σ(E 00 ,E 0 ) \
J(A ) = J(A) J(E)

y entonces si suponemos que A es relativamente débilmente compacto en-

σ(E,E 0 )
tonces J(A ) es un compacto para la topología σ(E 00 , E 0 ) que contiene

51
a J(A) entonces vale

σ(E 00 ,E 0 )
σ(E 00 ,E 0 ) σ(E,E 0 ) σ(E,E 0 )
J(A) ⊂ J(A ) = J(A ) ⊂ J(E)

con lo que se tiene

σ(E 00 ,E 0 )
J(A) ⊂ J(E)
σ(E,E 0 )
Para demostrar la acotación de A, veamos que si A es compacto para
σ(E,E 0 )
la topología débil, entonces A es acotado, con lo que también lo será
A.
σ(E 00 ,E 0 )
Recíprocamente si suponemos ahora que J(A) ⊂ J(E), como A es
σ(E 00 ,E 0 )
acotado entonces J(A) lo es y también J(A)
y utilizando el teorema
00 0
de Alaoglu, tenemos que BE 00 es compacto para la topología σ(E , E ) y
σ(E 00 ,E 0 ) σ(E 00 ,E 0 )
como J(A) es cerrado para esa topología, deducimos que J(A)
00 0
es compacto para la topología σ(E , E ) o sea que J(A) es relativamente
00 0
compacto para la topología σ(E , E ), lo que nos permite asegurar que A es
relativamente compacto para la topología débil.

Teorema 4.2.2 (Eberlein-S̆mulian) Sea E un espacio de Banach y sea A

un subconjunto de E . Entonces A es relativamente débilmente compacto si y
solo si es relativamente secuencialmente compacto para la topología débil. En
particular un subconjunto de un espacio de Banach es débilmente compacto
si y solo si es débilmente secuencialmente compacto.

Demostración Sea A⊂E relativamente compacto para la topología σ(E,

0
E ) en E y consideremos una sucesión (an )n∈N ⊂ A (supongo que ap 6=
aq si p 6= q ). Sea V = span{an } la clausura del subespacio real generado por
el conjunto {an : n ∈ N} es decir el conjunto de las combinaciones lineales
nitas de elementos de la sucesión (an )n∈N con coecientes reales. Veamos
que V es un espacio separable de E . En efecto podemos considerar V0 =
spanQ {an }, el espacio vectorial generado por los elemento de (an )n∈N pero
con coecientes racionales, evidentemente V0 es numerable y denso en V , con
lo que efectivamente V es separable.
0 0
Determinemos ahora una sucesión (x n )n∈N ⊂ E de forma tal que si
x ∈ V y x n (x) = 0 para todo n ∈ N entonces x = 0, o sea que {x 0n }n∈N
0

es un conjunto total. Para hacerlo podemos considerar en V una sucesión

densa, sea (vn )n∈N dicha sucesión y usando el teorema de Hahn - Banach

52
 0 0 0
(teorema 2.2.2) podemos obtener x n ∈ E de forma tal que kx n k = 1 y
0
que x n (vn ) = kvn k. Para probar que el conjunto de los funcionales lineales
x 0n ∈ E 0 así obtenidos, forman un conjunto total, supongamos que para
x ∈ V se cumple que x 0n (x) = 0, entonces como (vn ) es denso en V , existe
n0 ∈ N tal que kvn0 − xk < 2ε y como por construcción
ε
kvn0 k = x 0n0 (vn0 ) = x 0n0 (vn0 − x) + x 0n0 (x) ≤ x 0n0 kvn0 − xk <

2
0
0

porque x n (x) = 0 y x n = 1. Entonces
0 0

ε ε
kxk ≤ kvn0 − xk + kvn0 k < +
2 2
entonces kxk < ε y como el ε es arbitrario, kxk = 0 lo que implica que x = 0
0
lo que prueba nalmente que {x n }n∈N es total.
Veamos ahora que es posible extraer de la sucesión (an )n∈N una subsuce-
0
sión, a la representaremos como (ank )k∈N para la que el lı́m x n (ank ) exista
k→+∞
para cada n ∈ N. Como A es acotado entonces {an }n∈N ⊂ A es acotado, con
0 (1)
lo que también {x 1 (an )}n∈N es acotado en K, entonces existe (an ) tal que
(1)
(an ) ⊂ (an ) y para la que se cumple que existe
lı́m x 01 (a(1)
n )
n→+∞
n o
(1)
De igual manera, el conjunto x 02 (an ) es acotado, con lo que existe una
(2) (1) (2)
subsucesión (an ) tal que (an ) ⊃ (an ) ⊃ (an ) para la que también existe

lı́m x 02 (a(2)
n )
n→+∞

continuando con este razonamiento obtenemos

(an ) ⊃ (a(1) (2) (j)

n ) ⊃ (an ) ⊃ . . . ⊃ (an ) ⊃ . . .

cumpliéndose que para todo j∈N existe

lı́m x 0j (a(j)
n )
n→+∞

(i)
Construyamos la sucesión diagonal (ai ) a la que por ser una subsucesión de
(an ) llamaré (ank ), entonces se cumple que

lı́m x 0n (ank ) existe para todo n∈N

k→+∞

53
Como es relativamente débilmente compacto, la sucesión (ank ) tiene al
A
0
menos un punto de acumulación para la topología σ(E, E ) en E al que
llamaremos y , entonces se cumple que

x 0n (y) = lı́m x 0n (ank )

k→+∞

Ahora bien, como V es cerrado en norma, entonces es débilmente cerrado con

lo que y ∈ V lo que lo hace único, ya que si z fuese otro punto de acumulación
0 0 0 0
de (ank ) para el que x n (z) = lı́m x n (ank ) entonces x n (y) = x n (z) para todo
k→+∞
n∈N y como {x 0n : n ∈ N}es total en V, se tiene que z = y.
Quedaría por probar que entonces que

ank → y
σ(E,E 0 )

0 0
lo que es equivalente a probar (teorema 3.1.2) que x (ank ) → x (y) para todo
x 0 ∈ E 0 . Si así no fuera entonces existiría x 00 ∈ E 0 para el que

x 00 (anks ) → α 6= x 00 (y)

entonces existiría un punto de acumulación de la sucesión (anks )s∈N que tam-

bién sería de acumulación para (ank )k∈N en la topología débil, diferente de y,
lo que sería una contradicción, por tanto se cumple

(ank ) → y
σ(E,E 0 )

Para probar la condición suciente supongamos que A ⊂ E es relativamente

secuencialmente compacto para la topología σ(E, E 0 ) pero no es relativa-
mente débilmente compacto entonces por el lema anterior o A no es acotado
σ(E 00 ,E 0 )
o J(A) 6⊂ J(E). El primer caso no puede darse porque si A no es
acotado, como los acotados en norma coinciden con los débilmente acotados,
tampoco lo sería en la topología débil, pero esto último signica que existe
0 0 0
un x ∈ E para el que x (A) no está acotado, con lo que puedo determinar
una sucesión (an )n∈N ∈ A para la que

|x 0 (an )| ≥ n para todo n∈N

pero como A es relativamente secuencialmente compacto para la topología

σ(E, E 0 ) puedo extraer de (an ) una subsucesión (ank ) convergente, pero en-
0
tonces también lo sería x (ank ) con lo que obtenemos una contradicción. Para

54
la segunda posibilidad, tratemos de construir una sucesión (an )n∈N para la
que ninguna subsucesión sea débilmente convergente.
σ(E 00 ,E 0 )
Usando el lema anterior, existe F ∈ J(A) − J(E) y entonces
sea θ = dist(F, J(E)) > 0. Construyamos las sucesiones (an )n∈N ⊂ A y
(gn )n∈N ⊂ BE 0 de forma tal que veriquen las siguientes condiciones:

i) F (gn ) > 34 θ para todo n∈N

ii) |gn (aj )| < 41 θ si j < n, j ∈ N

iii) gn (aj ) > 43 θ si j ≥ n, j ∈ N

Mostremos que bajo estas condiciones, (an )n∈N no puede tener una subsuce-
sión débilmente convergente, porque si por el contrario existiera (ank )k∈N
vericando que (ank ) → a por el corolario 3.1.6 existiría una sucesión de
σ(E,E 0 )
combinaciones convexas de {ank } de forma que convergería a a en norma,
1
con lo que entonces existe un elemento de ella que dista de a menos que θ ,
4
es decir que existe

q
q
X X 1
αk ank tal que αk ank − a < θ

4


k=p k=p

Tomemos n > nq entonces por ii) se tiene que |gn (ank )| < 41 θ si n > nk , con
lo que vale
 q
  q  q
 X  X  X 1 1
 gn ( αk ank ) =  αk gn (ank ) < |αk | θ = θ
   

k=p
 
k=p

k=p
4 4

Las expresiones anteriores nos permitirán probar que |gn (a)| < 21 θ, porque
podemos escribir
 q
!  q
!
 X   X 
|gn (a)| ≤ gn a − αk ank  + gn αk ank  ≤
   
   
k=p k=p
q

X 1 1
kgn k a − α k an k + θ < θ

4 2
k=p

55
Por otro lado como por iii) gn (ank ) > 34 θ para todo nk > n, entonces pasan-
do al límite
3
gn (lı́m ank ) ≥ θ
4
o sea que tenemos
3
gn (a) ≥ θ para todo n∈N
4
lo que es una contradicción con la acotación obtenida arriba para |gn (a)|.

Proceso de construcción de las sucesiones (an ) y (gn ). Como θ se denió

como la distancia de F a J(E) se cumple entonces que kF k ≥ θ y co-
0
mo kF k = sup |F (x )| entonces debe existir g1 ∈ BE 0 de forma tal que
x0 ∈BE 0
3
cumpla que F (g1 ) > 4
θ, la condición i) para n = 1. Además como F ∈
σ(E 00 ,E 0 )
J(A) se tiene que prejado ε es posible encontrar a1 ∈ A de forma tal
que |F (g1 ) − Ja1 (g1 )| < ε o sea que |F (g1 ) − g1 (a1 )| < ε de donde se obtiene
que |g1 (a1 )| > |F (g1 )| − ε lo que signica que si al principio elegimos conve-
3
nientemente el ε se puede encontrar a1 ∈ A que haga |g1 (a1 )| > θ o sea que
4
se cumple la condición iii) para j = n = 1.
Supongamos ahora que hemos encontrado los conjuntos {ai : i = 1, . . . , n}
y {gi : i = 1, . . . , n} que verican las condiciones i), ii), y iii), entonces por
el corolario 2.2.3 del Teorema de Hahn - Banach podemos determinar un
000
funcional lineal ϕ con ϕ ∈ E que verique que ϕ(ai ) = 0 para i = 1, . . . , n
3
y que ϕ(F ) > θ y kϕk = 1. Entonces utilizando el teorema 3.3.2 (Goldstine)
4
podemos hallar gn+1 ∈ BE 0 de forma que cumpla con las condiciones i) y ii)
a continuación elegimos an+1 ∈ A que aproxime F por g1 , . . . , gn+1 que haga
que se cumpla también la condición iii). Veamos esto con más detalle.
El teorema de Goldstine aplicado a la bola unitaria BE 0 nos asegura que
ella es densa en la bola unitaria BE 000 o sea que se cumple

σ(E 000 ,E 00 )
J(BE 0 ) ⊃ BE 000
entonces como ϕ ∈ BE 000 se cumple que para todo entorno de ϕ para la
000 00
topología σ(E , E ), su intersección con J(BE 0 ) no es vacía.
000
Tomemos en particular el entorno Vε,a1 ,a2 ,...,an ,F (ϕ) = {ξ ∈ E : |(ϕ − ξ)(a1 )|
< ε, |(ϕ − ξ)(a2 )| < ε, . . . |(ϕ − ξ)(an )| < ε, |(ϕ − ξ)(F )| < ε}
entonces debe existir gn+1 ∈ BE 0 de forma que Jgn+1 ∈ Vε,a1 ,a2 ,...,an ,F (ϕ) lo
que equivale a armar que para todo i = 1, 2, . . . , n se cumple que
 
ϕ(Ja ) − Jgn+1 (Ja ) < ε
i i

56
y como por construcción ϕ(Jai ) = 0 i = 1, 2, . . . , n
para todo se obtiene que

 
|gn+1 (ai )| = |Jai (gn+1 )| = Jgn+1 (Jai ) < ε

además debe cumplirse que

 
(ϕ − Jgn+1 )(F ) < ε

entonces
|F (gn+1 )| > |ϕ(F )| − ε
nalmente eligiendo ε de forma que ε < mı́n{ 4θ , 21 (|ϕ(F )| − 43 θ)} se verican
las siguientes condiciones

θ
|gn+1 (ai )| < para todo i = 1, 2, . . . , n
4
y
3
|F (gn+1 )| > θ
4
lo que se traduce en el hecho de que se cumplen las condiciones i) y ii).
σ(E 00 ,E 0 )
Finalmente puedo determinar an+1 recordando que F ∈ J(A) en-
tonces \
Vε,g1 ,g2 ,...,gn+1 (F ) J(A) 6= ∅
con lo que existe
  an+1 ∈ A de forma tal que Jan+1 ∈ J(A) cumple que
(F − Jan+1 )(gi ) < ε para todo i = 1, 2, . . . , n + 1 que a su vez se puede
escribir como
|F (gi ) − gi (an+1 )| < ε
para todo i = 1, 2, . . . , n + 1 y operando

|gi (an+1 )| > |F (gi )| − ε

y de nuevo eligiendo convenientemente ε se puede lograr que

3
|gi (an+1 )| > θ
4
para todo i = 1, 2, . . . , n + 1, con lo que también se cumple la condición iii).

57
4.3. Operadores débilmente compactos
Como aplicación del Teorema de Eberlein - S̆ mulian, a los operadores
débilmente compacto veremos en particular que en un espacio reexivo es
posible factorizarlos y a partir de ahí estudiaremos algunas propiedades.

Denición Dado el operador T :E →F se dice que es débilmente com-

pacto si el conjunto T (BE ) es relativamente débilmente compacto. Del Teore-
ma de Eberlein- S̆ mulian se deduce que lo anterior es equivalente a que para
toda sucesión (xn )n∈N ⊂ BE la sucesión (T (xn ))n∈N tiene una subsucesión
débilmente convergente.
Supongamos que E es un espacio de Banach reexivo, entonces por el
teorema 3.4.1 deberá ser BE compacto en la topología débil y como T es
continuo, entonces T (BE ) será débilmente compacto. Supongamos ahora que
F es reexivo, entonces BF será débilmente compacto, por otro lado como
BE es cerrado en norma será también cerrado para la topología σ(E, E 0 ) ,
con lo que T (BE ) es débilmente cerrado y acotado con lo que será compacto
0
para la topología σ(F, F ). En conclusión si E o F es reexivo, entonces T
es un operador débilmente compacto.

La intensión es ahora probar que un operador débilmente compacto puede

factorizarse a través de un espacio reexivo, previamente veamos dos lemas
que nos serán útiles para demostrarlo.

Lema 4.3.1 Sea F un espacio de Banach y sea W ⊂ F un subconjunto

acotado y absolutamente convexo. Para n≥1 denamos

Un = 2n W + 2−n BF

y sea entonces pn el funcional de Minkowski asociado a Un . Entonces pn es

una norma equivalente a k.k.

Demostración Es evidente que

2−n BF ⊂ Un
−n
con lo que si consideramos un y ∈ F tal que kyk ≤ 1 entonces 2 y ∈ Un
n n
entonces pn (y) ≤ 2 y aplicando el lema 1.1.3 se tiene que pn (y) ≤ 2 kyk. Por
otro lado como W es acotado entonces Un también debe serlo, sea entonces

58
M > sup{kyk : y ∈ Un }, entonces si pn (y) < 1 se tiene que y ∈ Un de dónde
kyk < M y entonces valdrá que kyk ≤ M pn (y). En resumen, se tiene que

M −1 kyk ≤ pn (y) ≤ 2n kyk

lo que signica que pn es una norma equivalente a k.k.

Lema 4.3.2 Sea F W, Un y pn como en el

un espacio de Banach y sean
2 1/2
y ∈ F denamos |||y||| = ( ∞
P
lema anterior.Para cada n=1 pn (y) ) y sea
entonces R = {y ∈ F : |||y||| < +∞}. Entonces se cumple que
a) W ⊂ BR = {y ∈ R : |||y||| ≤ 1}
b) (R, |||.|||) es un espacio de Banach y la inclusión canónica j : R → F es
continua.
c) j : R → F 00 es inyectiva y (j 00 )−1 (F ) = R
00 00

d) R es reexivo si y solo si W es débilmente compacta.

Demostración a) Sea w ∈ W , entonces 2 W

n
⊂ Un . Se cumple entonces
que
n
1 ≥ pn (2 w) = n
2 pn (w), con lo que pn (w) ≤ 2−n , de esto último deduci-
mos que
∞
X
2
|||w||| ≤ (2−n )2 < 1 implica que w ∈ BR
n=1

b) Sea Fn = (F, pn ), Fn P
entonces de acuerdo al Lema anterior
es un espacio
(F, k.k) para cada n ∈ N. Sea Z = ( ∞ 4
de Banach isomorfo a n=1 Fn )2 y
denamos ϕ : R → Z como ϕ(y) = (j(y), j(y), . . .), entonces ϕ es una
isometría, que evidentemente no es sobreyectiva ya que la imagen de ϕ será
ϕ(R) = {z ∈ Z : z = (zn )n∈N , con zn = z1 para todo n ∈ N} que es un
subespacio cerrado del espacio de Banach Z , con lo que ϕ(R) es de Banach
y nalmente el propio R por ser isométrico a un espacio de Banach, también
lo será.
Sea ahora π1 la proyección de Z sobre su primer coordenada, entonces
podemos escribir la inclusión canónica j : R → F como la composición de
ϕ con π1 , j = π1 .ϕ y como tanto ϕ como π1 son continuos, resulta que j es
continuo.
4 Representaremos como (
P∞
Fn )2 el espacio vectorial normado de las sucesiones z =
n=1
P 1/2
(zn )n∈N , zn ∈ Fn tales que (pn (zn )) < +∞, con la norma kzk = .
P 2 2
(pn (zn ))

59
 (( ∞ 00
P∞ 00 00
∈ R 00 ,
P
c) Como n=1 Fn )2 ) = ( n=1 Fn )2 se P
tiene entonces que si y
00 00 00 00 00 00 ∞ 00
vale que ϕ (y ) = (j (y ), j (y ), . . .) ∈ ( n=1 Fn )2 por lo que podemos
00
escribir ϕ : R 00 → Z 00 . Como ϕ es una isometría y además Im(ϕ) es un
00 00
conjunto cerrado, entonces ϕ es inyectiva de dónde se deduce que j es
00 00 −1 00 00
inyectiva. Si ahora y ∈ (j ) (JF (F )), entonces j (y ) ∈ JF (F ) así que
ϕ 00 (y 00 ) = (j 00 (y 00 ), j 00 (y 00 ), . . .) ∈ ϕ(R) ⊂ Z sea entonces ϕ 00 (y 00 ) = x0 .
00
Ahora tomemos una red (yi )i en R tal que kyi k ≤ ky k para todo i y de
00
modo que J(yi ) → y cosa que es posible por el teorema de Goldstine, pero
σ(R00 ,R0 )
entonces ϕ (J(yi )) → ϕ 00 (y 00 ),
00
pero también observemos que ϕ 00 (yi ) = ϕ(yi )
σ(Z 00 ,Z 0 )
para cada i y que como ϕ 00 (y 00 ) = x0 entonces ϕ(yi ) → x0 y como la Im(ϕ) es
σ(Z,Z 0 )
cerrada entonces x0 ∈ Im(ϕ) Tomemos ahora y ∈ R con ϕ(y) = x0 entonces
ϕ 00 (y 00 − y) = 0 y como ϕ 00 es inyectiva, y 00 = y ∈ R.
d) Con un argumento similar al utilizado en la demostración del teorema
00 σ(F 00 ,F 0 )
de Alaoglu, se tiene que j (BR00 ) = j(BR ) . Pongamos C = j(BR ) y
supongamos que es débilmente compacta. Entonces para todo n ∈ N , cada
W
uno de los conjuntos 2n W + 2−n BF 00 contiene a BR y cada uno es cerrado
00 0
para la topología σ(F , F ), lo que signica que cada uno debe contener
σ(F 00 ,F 0 ) 00
BR , es decir cada uno contiene a j (BR00 ), pero ahora

∞
\ ∞
\
00 −n
j (BR00 ) ⊂ n
(2 W + 2 BF 00 ) ⊂ (2n F + 2−n BF 00 ) = F
n=1 n=1

y por la parte anteriorR 00 ⊂ (j 00 )−1 (F ) = R , con lo que R es reexivo.

Recíprocamente, sea R reexivo, entonces BR es débilmente compacta, lo
que signica que j(BR ) es débilmente compacta en F y entonces por la parte
a) W es débilmente compacto.

Teorema 4.3.3 Si E y F son espacios de Banach, un operador T :E→F

es débilmente compacto si y solo si T puede factorizarse a través de un espacio
reexivo, es decir existe un espacio reexivo R y dos operadores α y β, con
α:E→R y β:R→F de forma que T = βα.

Demostración Como la condición necesaria es evidente, pasemos a probar

la condición suciente, para ello supongamos que T es débilmente compacto,
y sea W = T (BE ) y denamos R como en el lema anterior y por la parte d)

60
R es reexivo y sea también β : R → F la inclusión canónica. Evidentemente
n
si x ∈ BE entonces T (x) ∈ W , con lo que 2 T (x) ∈ Un , entonces 1 ≥
pn (2n T (x)) = 2n pn (T (x)) de lo que se deduce que pn (T (x)) ≤ 2−n para todo
2
P∈
x
∞
BE . Es decir queP
2
si consideramos x ∈ E tal que kxk ≤ 1, |||T (x)||| =
∞ −n
n=1 (pn (T (x))) ≤ n=1 4 = 1/3, entonces α : E → R denido por
α(x) = T (x) es un operador acotado con kαk ≤ 2 y claramente T = βα.

Teorema 4.3.4 Si E y F son espacios de Banach y T : E → F, entonces

las siguientes armaciones son equivalentes
a) T es débilmente compacto.
b) T 00 (E 00 ) ⊂ F .
c) T 0 es débilmente compacto.

Demostración a) → b): De acuerdo al Teorema anterior, sea R reexivo,

β : R → F y α : E → R de manera que T = βα. Entonces T 00 = β 00 α 00 ,
00 00 00 00
pero β : R → F , entonces β = β , eso implica que T = βα 00 y entonces
Im(T 00 ) ⊂ Im(β) ⊂ F .
b) → a): Por el Teorema de Alaoglu y por la continuidad de T 00 con las
00
topologías débiles estrella se tiene que T (BE 00 ) es compacto para la topología
σ(F 00 , F 0 ). De acuerdo a nuestra hipótesis se tiene que T 00 (BE 00 ) es com-
0 00
pacto para la topología σ(F, F ) con lo que T (BE ) ⊂ T (BE 00 ) y debe tener
clausura débilmente compacta.
c) → a): Sea L un espacio reexivo, C : F 0 → L, y D : L → E 0 de forma
0 00
que T = DC , entonces T = C 0 D 0 , con D 0 = E 00 → L 0 y C 0 = L 0 → F 00 .
0
Pongamos R = D 0 (E) y α = D |E , entonces α : E → R y R es reexivo.
0 00
Sea ahora β = C |R, entonces β : R → F , pero entonces si x ∈ E ,
βα(x) = C 0 D 0 (x) = T 00 (x) = T (x) ∈ F , entonces β : R → F y claramente
T = βα.
a) → c) Si T es débilmente compacto entonces existen R reexivo, β : R → F
0 0 0 0
y α : E → R de manera que T = βα. Pero entonces como T = α β y R es
0
reexivo (corolario 3.3.4) por el teorema 4.3.3 resulta que T es débilmente
compacto.

61
5. Bibliografía consultada

Beauzamy, B.: Introduction to Banach spaces and their geometry. North-

Holland, Amsterdam, 1982.
Beauzamy, B.: Introduction to operator theory and invariant subspaces.
North-Holland, Amsterdam, 1988.
Brézis, H.: Análisis funcional, teoría y aplicaciones. Alianza Editorial, Madrid,
1984.
Bourbaki, N.: Espaces vectoriels topologiques. Springer-Verlag, Berlin, 2007.
Conway, J.: A course in functional analysis. Springer-Verlag, New York,
1973.
Day, M. M.: Normed Linear Spaces, third edition; Springer-Verlag, Berlin,
1973.
Diestel, J.: Sequences and series in Banach spaces. Springer-Verlag, New
York, 1984.
Diestel, J.: Geometry of Banach spaces. Springer-Verlag, Heidelberg, 1975.
Dieudonné, J.: History of functional analysis. North-Holland, Amsterdam,
1981.
Dunford, N., Schwartz, J.: Linear Operators, part I : General theory. In-
terscience, New York, 1958.
Eberlein, W.F.: On weak compactness of sets in normed linear spaces I.
Proc. Nat. Acad. Sci. USA 33 (1947), 51-53.
Edwards, R. E.: Functional Analysis, theory and applications. Holt, Rine-
hart and Winston, New York, 1965.
Floret, K.: Weakly compact sets. Springer-Verlag, Berlin, 1980.
Horvath, J.: Topological vector spaces and distributions. Addison-Wesley,
1966.
Kolmogorov, A. N. y Fomin, S. V.: Elementos de la teoría de funciones
y del análisis funcional. Mir, Moscú, 1972.
Köthe, G.: Topological vector spaces I. Springer-Verlag, Berlin, 1983.
Lindenstrauss, J. and Tzafriri, L.: Classical Banach spaces I. Springer-
Verlag, New York, 1977.
Megginson, R.: An introduction to Banach space theory. Springer-Verlag,
New York, 1998.
Morrison, T.: Functional analysis, an introduction to Banach space theory.
Wiley-Interscience Publication, New York, 2001.
Rudin, W.: Functional analysis. McGraw-Hill, New York, 1973.
Schaefer, H. H.: Topological vector sapaces. Macmillan, New York, 1966.

62
Swartz, C.: An introduction to functional analysis. Marcel Dekker, New
York, 1992.
Trèves, F.: Topological vector spaces, distributions and kernels. Academics
Press, New York, 1967.
Valdivia, M.: Análisis matemático V. UNED, Madrid, 1988.
Wilansky, A.: Modern methods in topological vector spaces. McGraw-Hill,
New York, 1978.
Whitley,R.: An elementary proof of the Eberlein-S̆ mulian theorem, Math.
Annalen 172 (1967), 116-118
Wojtaszczyk, P.: Banach spaces for analysts. Cambridge University Press,
Cambridge, 1991.
Yosida, K.: Functional analysis. Springer-Verlag, Berlin, 1980.

63
6. Símbolos utilizados

E0 dual topológico de E
E 00 bidual de E
σ topología débil denida en E : σ(E, E 0 )
σ∗ topología débil estrella denida en E 0 : σ(E 0 , E)
[x] clase de equivalencia del elemento x
k.k norma denida en un espacio vectorial
hx0 , xi x0 (x)
span(A) subespacio vectorial generado por el conjunto A
A clausura del conjunto A
τ
A clausura del conjunto A en la topología τ
 orden parcial
Rf parte real de la función f
◦
A interior del conjunto A
Ac conjunto complementario del A
BE bola unitaria cerrada de E
B0 (x, r) bola abierta centrada en x y de radio r
bσ∗ topología débil estrella acotada: bσ(E 0 , E)
M0 conjunto polar de M
T0 traspuesto del operador T
E/M espacio cociente del espacio vectorial E módulo el
subespacio M
L(E, F ) espacio de las aplicaciones continuas de E en F
E.V.T. espacio vectorial topológico
`∞ espacio de las sucesiones acotadas
c espacio de las sucesiones convergentes
c0 espacio de las sucesiones que convergen a 0
`p espacio de las sucesiones (xn )n∈N que satisfacen
|xi |p )1/p < +∞ con 1 ≤ p < +∞
+∞P
(
i=1

J inyección canónica de E en E 00

64