BERNAL, DOMINGUEZ - Espacios Vectoriales Topologicos y Espacios Funcionales

UNIVERSIDAD DE SEVILLA
Espacios Vectoriales
Topologicos y Espacios
Funcionales
Luis Bernal Gonzalez
Tomas Domnguez Benavides
Departamento de Analisis Matematico
Lugar y A no: Sevilla, 2012
Disponible en: http://personal.us.es/lbernal/
Indice general
Prologo 3
1. Espacios de Banach y de Hilbert 7
1.1. Espacios normados y de Banach . . . . . . . . . . . . . . . . . 7
1.2. Espacios de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3. El teorema de Radon-Nikodym . . . . . . . . . . . . . . . . . 16
1.4. Bases de Schauder . . . . . . . . . . . . . . . . . . . . . . . . 19
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2. Espacios vectoriales topologicos 31
2.1. Topologas compatibles con la estructura lineal . . . . . . . . . 31
2.2. Conjuntos acotados . . . . . . . . . . . . . . . . . . . . . . . . 37
2.3. Ejemplos de espacios vectoriales topologicos . . . . . . . . . . 39
2.4. Aplicaciones lineales . . . . . . . . . . . . . . . . . . . . . . . 45
2.5. Espacios de dimension nita . . . . . . . . . . . . . . . . . . . 47
2.6. Seminormas y convexidad local . . . . . . . . . . . . . . . . . 50
2.7. Espacios normables . . . . . . . . . . . . . . . . . . . . . . . . 54
2.8. Espacios metrizables . . . . . . . . . . . . . . . . . . . . . . . 55
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3. Espacios funcionales 63
3.1. Teorema de aproximacion de Weierstrass . . . . . . . . . . . . 63
3.2. Familias relativamente compactas . . . . . . . . . . . . . . . . 66
1
2 Luis Bernal y Tomas Domnguez
3.3. Dual de los espacios de Lebesgue . . . . . . . . . . . . . . . . 69
3.4. Dual de C(S) . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.5. Teorema de aproximacion de Runge . . . . . . . . . . . . . . . 72
3.6. Redes en espacios topologicos . . . . . . . . . . . . . . . . . . 74
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4. Dualidad y Teoremas de HahnBanach 83
4.1. Aplicaciones lineales reales y complejas . . . . . . . . . . . . . 83
4.2. Teoremas de HahnBanach . . . . . . . . . . . . . . . . . . . . 84
4.3. Teoremas de HahnBanach y convexidad . . . . . . . . . . . . 87
4.4. Forma geometrica del teorema de HahnBanach . . . . . . . . 89
4.5. Topologa debil . . . . . . . . . . . . . . . . . . . . . . . . . . 92
4.6. Topologa debil- de un espacio dual . . . . . . . . . . . . . . 99
4.7. Bidual de un espacio normado. Reexividad . . . . . . . . . . 104
4.8. Trasposicion de operadores . . . . . . . . . . . . . . . . . . . . 106
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
5. Aplicaciones de la completitud y la convexidad 115
5.1. Equicontinuidad. Teorema de Banach-Steinhaus . . . . . . . . 115
5.2. Teorema de la Aplicacion Abierta . . . . . . . . . . . . . . . . 118
5.3. Teorema del Grafo Cerrado . . . . . . . . . . . . . . . . . . . 121
5.4. Teorema de Schauder . . . . . . . . . . . . . . . . . . . . . . . 123
5.5. Puntos extremales . . . . . . . . . . . . . . . . . . . . . . . . . 125
5.6. Teorema de KreinMilman . . . . . . . . . . . . . . . . . . . . 127
5.7. Teorema de StoneWeierstrass . . . . . . . . . . . . . . . . . . 130
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
Bibliografa 137
Lista de smbolos y abreviaturas 139
Indice alfabetico 142

Prologo
Bajo el estmulo de la amplia experiencia docente de los autores, estas
notas han sido concebidas para servir de base al estudiante que pretenda pro-
fundizar en los contenidos de analisis funcional que generalmente se imparten
en los estudios del Grado en Matematicas.
As pues, como prerrequisito para una lectura provechosa de esta obra,
se presupone al lector cierta familiaridad con nociones y resultados basicos
de analisis funcional, tales como espacios normados, de Banach y de Hilbert,
aplicaciones lineales y continuas entre ellos, espacio dual, teoremas de la
proyeccion y de representacion de Riesz en espacios de Hilbert, y teoremas de
HahnBanach, de la acotacion uniforme, de la aplicacion abierta y del grafo
cerrado en el contexto de los espacios normados. Asimismo, se asume que el
estudiante posee conocimientos basicos de algebra lineal, topologa general,
integracion de Riemann y de Lebesgue, teora de la medida, diferenciacion
de funciones de una y varias variables reales, y fundamentos de analisis de
variable compleja. No obstante, y con objeto de hacer estas notas lo mas
autocontenidas posible, se han incorporado, como recordatorio para el lector,
algunos conceptos y resultados adicionales.
El texto se ha dividido en cinco captulos. En el Captulo 1 se recopilan
los rudimentos de analisis funcional en espacios normados y de Hilbert, que
probablemente seran conocidos por el estudiante. Ademas, se introduce el
3
concepto de base de Schauder y se aplica el teorema de Riesz en espacios de
Hilbert para obtener el teorema de RadonNikodym.
Los principales objetos a estudiar son los espacios vectoriales topologicos
(y las aplicaciones, en especial las lineales y continuas, entre ellos), los cuales
constituyen una generalizacion de los espacios normados y prehilbertianos,
y a ellos se puede extender gran parte de los mas importantes teoremas
conocidos en estos. Introducimos los espacios vectoriales topologicos y sus
propiedades basicas en el Captulo 2.
Los ejemplos mas relevantes en los que se desarrolla la teora dada son
los espacios de funciones reales o complejas, incluyendo los espacios de suce-
siones. Un catalogo de estos espacios y algunas de sus propiedades de den-
sidad y dualidad se exponen en el Captulo 3. Como apendice, se expone
un resumen de la teora de redes en espacios topologicos. Se ha preferido el
concepto de red al concepto paralelo de ltro, por ser aquel mas sugestivo
que este.
En el Captulo 4 se desarrolla la teora de la dualidad, fundamentalmente
en espacios localmente convexos. Se estudia el teorema de HahnBanach en
sus diversas formas, as como sus consecuencias. Se introducen la topologa
debil en el espacio original y la -debil en el dual de un espacio normado, y
se presenta la aplicacion traspuesta de una dada.
Algunas aplicaciones de la completitud en F-espacios (como el principio
de la acotacion uniforme y otras consecuencias del teorema de Baire, y el
teorema de Schauder sobre aplicaciones compactas) y de la convexidad (como
los teoremas de KreinMilman y de StoneWeierstrass) se desarrollan en el
Captulo 5.
La obra contiene ejemplos que ilustran los conceptos y resultados que van
surgiendo. Ademas, al nal de cada captulo se propone una variada lista de
PR
OLOGO 5
ejercicios, en los que la teora dada o bien se aplica o bien se completa. En
algunos de ellos se adjuntan indicaciones o sugerencias utiles. Recomendamos
al estudiante que intente la resolucion de dichos ejercicios, pues ello constituye
un buen indicador del grado de asimilacion de la materia. Al nal del texto
se ofrece una bibliografa para que el lector interesado efect ue consultas y
ample conocimientos. Para una mayor comodidad de lectura, se incluye una
lista de abreviaturas y smbolos. El ndice alfabetico esta organizado de modo
que se indica la pagina o paginas donde aparece por primera vez la denicion
de un concepto o la formulacion de un resultado.
Para concluir, conamos en que estas notas sean de utilidad y provecho
tanto para el estudiante como para el profesor que imparta los contenidos de
las mismas.
Los autores
Captulo 1
Espacios de Banach y de
Hilbert
Comenzamos con una recapitulacion de los teoremas fundamentales del
analisis funcional en espacios normados, en especial en espacios de Banach y
de Hilbert. Dichos teoremas se imparten en cualquier curso elemental sobre
la materia, por lo que probablemente el lector ya tiene conocimiento de ellos.
Estos resultados son, en esencia, los siguientes: teorema de Hahn-Banach,
principio de acotacion uniforme, teorema de la aplicacion abierta, teorema
del grafo cerrado y, ya en el ambito especial de los espacios de Hilbert, teo-
rema de la proyeccion y teorema de representacion de Riesz. De este ultimo
surgira el teorema de Radon-Nikodym, que caracteriza las medidas absolu-
tamente continuas. En la seccion nal introduciremos y caracterizaremos el
concepto de base de Schauder de un espacio de Banach.
1.1. Espacios normados y de Banach
Como es usual, denotaremos por N el conjunto {1, 2, . . . } de los enteros
positivos, por R el cuerpo de los n umeros reales, y por C el cuerpo de los
7
n umeros complejos. Repasemos el concepto de norma sobre un espacio vec-
torial. Siempre supondremos que el cuerpo base K del espacio vectorial es R
o C. A partir de ahora, abreviaremos las expresiones espacio vectorial y
espacio topologico mediante sus iniciales EV y ET, respectivamente. Otras
expresiones que vayan apareciendo en estas notas tambien seran abreviadas.
Denicion 1.1.1. Sea X un EV. Decimos que una funcion : X
[0, +) es una norma sobre X si verica, para todos los vectores x, y X y
todo escalar K, las siguientes propiedades:
(a) x = 0 si y solo si x = 0.
(b) [Homogeneidad] x = ||x.
(c) [Desigualdad triangular] x + y x +y.
Llamaremos espacio normado (EN) a un EV dotado de una norma.
Todo EN es un espacio metrico: en efecto, la aplicacion d : X X
[0, +) dada por d(x, y) = x y es una distancia o metrica sobre X. Ya
que cada espacio metrico puede ser dotado de estructura de ET, obtenemos
que todo EN es un ET. Una base para su topologa viene dada por la familia
de bolas abiertas B(a, r) := {x X : x a < r} (a X, r > 0). Con
respecto a dicha topologa, es facil ver que las aplicaciones suma (x, y)
XX x+y X y producto (, x) KX x X son continuas. En
X X y en KX se han considerado las topologas producto respectivas.
Recordemos que un espacio metrico (X, d) es completo cuando cada suce-
sion (x
n
) X de Cauchy converge a alg un punto de X.
Denicion 1.1.2. Se llama espacio de Banach a un EN que es completo
para la distancia inducida por su norma.
Por ejemplo, para cada p [1, +) y cada N N, el EV K
N
dotado de
la norma x
p
=
_
N
i=1
|x
i
|
p
_
1/p
[donde x = (x
1
, . . . , x
N
)] es un espacio de
ESPACIOS DE BANACH Y DE HILBERT 9
Banach. Lo mismo ocurre si se le dota de la norma x
= max{|x
i
| : 1
i N}. Asimismo, son espacios de Banach:
El EV c
0
de las sucesiones (x
n
) K
N
tales que x
n
0, dotado de la
norma (x
n
)
= sup
n1
|x
n
|.
Los espacios vectoriales c y
de las sucesiones convergentes y de las

sucesiones acotadas, respectivamente, dotados de la misma norma.
El EV
p
(1 p < +) de las sucesiones (x
n
) K
N
tales que
n=1
|x
n
|
p
< +, dotado de la norma (x
n
)
p
=
_
n=1
|x
n
|
p
_
1/p
.
El EV L
p
() = L
p
(, ) (1 p < +) de las funciones medi-
bles f : K tales que
|f|
p
d < +, dotado de la norma
f
p
=
_
|f|
p
d
_
1/p
. Aqu es una medida denida sobre un espacio
medible (, M). Identicamos dos funciones medibles, f = g, cuando
son iguales -en casi todo , es decir, cuando ({x : f(x) =
g(x)}) = 0.
Sin embargo, el EV c
00
:= {x = (x
n
) : N = N(x) N tal que x
n
= 0 n >
N} de las sucesiones casi nulas, dotado de la norma del supremo, es un EN
que no es de Banach.
La caracterizacion de la continuidad de una aplicacion lineal entre dos
espacios normados X e Y es bien simple. Mientras no haya confusion,
denotara por igual la norma de X y la de Y . A veces usaremos la palabra
operador como sinonimo de aplicacion lineal.
Teorema 1.1.3. Sean X e Y espacios normados y T : X Y una apli-
caci on lineal. Las siguientes armaciones son equivalentes:
(a) T es continua en alg un punto x
0
X.
(b) T es continua.
(c) T es uniformemente continua.
(d) Existe M (0, +) tal que Tx Mx para todo x X.
Simbolizaremos por L(X, Y ) el EV de las aplicaciones lineales y continuas
de X en Y . El siguiente teorema muestra que este espacio puede normarse.
Teorema 1.1.4. Sean X e Y dos espacios normados. Para cada T
L(X, Y ), se dene T = sup {Tx/x : x X \ {0}} = sup{Tx :
x = 1}. Entonces es una norma sobre L(E, F).
En el caso Y = K, a los elementos de L(X, K) se les denomina for-
mas (o funcionales) lineales y continuas. Denotaremos X
= L(X, K) y
lo llamaremos el espacio dual de X. Por otra parte, si M es un subespacio
vectorial de un EN (X, ), entonces M es tambien un EN cuando es dotado
de la misma norma . Enunciamos a continuacion una de las formas del
Teorema de HahnBanach.
Teorema 1.1.5. Sean X un EN, M un subespacio de X y f M
. Entonces
f admite una extension lineal sobre X que conserva la norma, es decir, existe
g X
tal que g|
M
= f y g = f.
Corolario 1.1.6. (a) Sean X un EN, M un subespacio de X y x
0
M.
Entonces x
0
M si y solo si toda f M
con f|
M
0 cumple f(x
0
) = 0.
(b) Sean X un EN y x
0
X \ {0}. Entonces existe f X
con f = 1 tal
que f(x
0
) = x
0
.
Si X e Y son dos espacios normados, de modo que Y es de Banach,
entonces L(X, Y ) es un espacio de Banach. En particular, se tiene que X
es siempre un espacio de Banach. Por el corolario anterior, X
= {0} para
cualquier espacio normado X = {0}. De hecho, X
separa puntos de X, esto

es, dados x
1
, x
2
X con x
1
= x
2
, existe X
tales que (x
1
) = (x
2
)
[tomar x
0
= x
1
x
2
en la parte (b) del corolario].
El EN X puede considerarse como un subespacio del bidual X
:= (X
de X mediante la inclusion canonica : X X
dada por (x)() = (x).

Decimos que X es reexivo si es biyectiva. Una condicion necesaria de
reexividad es que X sea un espacio de Banach. Si es biyectiva, es facil
ver que es una isometra, y por tanto X X
[ denota isomorsmo entre

espacios normados].
Por ejemplo, si 1 < p < + y q es su exponente conjugado, es decir,
1/p +1/q = 1, entonces
p

q
, luego
p
es reexivo. Sin embargo, c
0

1
y
; como c
0
es separable y
no lo es, se tiene que c

0
no es reexivo.
Recordemos que un subconjunto A de un ET X se dice que es de primera
categora cuando es union numerable de subconjuntos cuya clausura tiene in-
terior vaco, que es de segunda categora cuando no es de primera categora, y
que es residual cuando su complemento es de primera categora. Recordemos
que un ET X se dice que es de Baire cuando la interseccion de una familia nu-
merable de abiertos densos en X es densa en X o, equivalentemente, cuando
todo abierto no vaco es de segunda categora. El Teorema de Baire asegura
que todo espacio metrico completo es de Baire. Es un teorema sumamente
util en analisis funcional, sobre todo para probar resultados de existencia. De
el se deduce el siguiente Teorema de BanachSteinhaus, conocido tambien
como Principio de acotacion uniforme.
Teorema 1.1.7. Supongamos que X e Y son espacios normados y que A
L(X, Y ). Consideremos las siguientes propiedades:
(a) La familia A es puntualmente acotada, es decir, sup
A
(x) < +
para cada x X.
(b) El conjunto {x X : sup
A
(x) < +} es de segunda categora.
(c) La familia A esta uniformemente acotada, esto es, sup
A
< +.
Entonces (b) implica (c), y (c) implica (a). Si, ademas, X es un espacio de
Banach, entonces las tres propiedades (a), (b) y (c) son equivalentes.
Corolario 1.1.8. Sean X e Y dos espacios normados, de modo que X es
de Banach. Sea
n
: X Y (n N) una sucesion de aplicaciones lineales
y continuas de modo que, para cada x X, la sucesion (
n
(x)) converge.
Entonces la aplicacion : X Y dada por (x) := lm
n

n
(x) es lineal
y continua.
A partir del teorema anterior se deducen el Teorema de la Aplicacion
Abierta o del Homomorsmo (Teorema 1.1.9) y el Teorema del Grafo Cerrado
(Teorema 1.1.11).
Teorema 1.1.9. Sean X e Y espacios de Banach y T : X Y una apli-
cacion lineal, continua y sobreyectiva. Entonces T es abierta, es decir, para
cada abierto U de X, el conjunto T(U) es abierto en Y .
Corolario 1.1.10. Sean X e Y espacios de Banach y T : X Y lineal,
continua y biyectiva. Entonces T
1
es continua. En otras palabras, T es un
isomorsmo topol ogico.
Teorema 1.1.11. Supongamos que X e Y son espacios de Banach y que
T : X Y es una aplicacion lineal cuyo grafo {(x, Tx) : x X} es
cerrado en X Y . Entonces T es continua.
Terminamos esta seccion recordando un importante resultado, debido a
Riesz, que caracteriza los espacios normados de dimension nita.
Teorema 1.1.12. Sea X un EN y B := {x : x 1} su bola unidad
cerrada. Entonces B es compacta si y solo si dim(X) < +.
1.2. Espacios de Hilbert
Algunos espacios presentan una estructura geometrica mas rica que los
espacios normados.
Denicion 1.2.1. Sea H un EV sobre K. Llamamos producto escalar sobre
H a una aplicacion (|) : H H K que cumple, para todos los vectores
x, y H y todo escalar K, las siguientes propiedades:
(1) (x|y) = (y|x).
(2) (x|y + z) = (x|y) + (x|z).
(3) (x|y) = (x|y).
(4) (x|x) 0.
(5) (x|x) = 0 si y solo si x = 0.
Un EV H dotado de un producto escalar se denomina espacio prehilbertiano
o espacio eucldeo.
Un producto escalar sobre un EV H induce una norma, a saber, x :=
(x|x)
1/2
. Se conoce como norma cuadratica. Una propiedad notable es la
desigualdad de Cauchy-Schwarz: |(x|y)| x y para todo x, y H. Si X
es un EV y es una norma sobre el, se verica que es inducida por
un producto escalar si y solo si verica la identidad del paralelogramo:
x + y
2
+x y
2
= 2(x
2
+y
2
) x, y X.
As que todo espacio prehilbertiano es normado, y por tanto es metrico y
topologico. Se llama espacio de Hilbert a un espacio prehilbertiano tal que la
metrica cuadratica inducida d(x, y) := xy hace de el un espacio metrico
completo. Por tanto todo espacio de Hilbert es de Banach.
Por ejemplo, el espacio de las sucesiones de cuadrado sumable
2
:=
{(x
n
) K
N
:
n=1
|x
n
|
2
< +} y el espacio L
2
([0, 1]) de las funciones
medibles-Lebesgue f : [0, 1] K de cuadrado integrable [con la identicacion
f = g si f(x) = g(x) en casi todo, donde es la medida de Lebesgue]
son espacios de Hilbert con los productos escalares respectivos ((x
n
)|(y
n
)) =
n=1
x
n
y
n
, (f|g) =
1
0
f(x)g(x) dx. Con el ultimo producto escalar, el espacio
C([0, 1]) = {f : [0, 1] K continuas} es prehilbertiano, pero no es completo.
Recordemos que un subconjunto C de un EV es convexo si, para todo par
de puntos x, y C y todo escalar [0, 1], se tiene que x + (1 )y C.
En espacios de Hilbert se tiene el siguiente importante resultado de exis-
tencia y unicidad, conocido como el Teorema del vector minimizante.
Teorema 1.2.2. Sea C un subconjunto convexo y cerrado de un espacio de
Hilbert H. Entonces C contiene un unico elemento de norma mnima. Como
consecuencia, para cada x H existe un unico y C que da la distancia
mnima, es decir, tal que x y x z para todo z C.
Decimos que dos vectores x e y de un espacio prehilbertiano H son or-
togonales si (x|y) = 0. Si A H, el conjunto ortogonal de A se dene como
A
:= {y H : (x|y) = 0 x A}. El conjunto A
es siempre un subespacio
vectorial cerrado de H. Enunciemos el Teorema de la Proyeccion.
Teorema 1.2.3. Sea M un subespacio cerrado de un espacio de Hilbert H.
Entonces existe un unico par de aplicaciones P : H M, Q : H M
tales
que x = Px + Qx para todo x H. Estas aplicaciones tienen las siguientes
propiedades:
(a) Si x M entonces Px = x y Qx = 0. Si x M
entonces Px = 0
y Qx = x.
(b) x Px = inf{x y : y M} para todo x H.
(c) x
2
= Px
2
+Qx
2
para todo x H.
(d) P y Q son lineales.
Las aplicaciones P y Q son las llamadas proyecciones ortogonales de H sobre
M y M
, respectivamente.
El siguiente teorema de representacion de Riesz establece una identi-
cacion isometrica entre un espacio de Hilbert y su dual. En particular, todo
espacio de Hilbert es reexivo.
Teorema 1.2.4. Supongamos que H es un espacio de Hilbert. Entonces para
cada T H
existe un unico vector y H tal que Tx = (x|y) para todo

x H.
Notemos que la identicacion H H
dada por y T en el teorema

anterior es lineal en el caso K = R y conjugada lineal en el caso K = C.
Denicion 1.2.5. Diremos que un conjunto de vectores {u
}
A
de un es-
pacio prehilbertiano H constituye un sistema ortogonal cuando (u
|u
) = 0
para todo par , A con = , y que forman un ortonormal (SON) si,
ademas, u
= 1 para todo A. Si {u
}
A
es un SON y x H, a los
n umeros (x|u
) se les llama coecientes de Fourier de x respecto del sistema

{u
}
A
. Si A = N y {u
n
}
n1
es un SON, la serie
n=1
(x|u
n
)u
n
se denomi-
na serie de Fourier asociada a x respecto de dicho SON. Un SON {u
n
}
n1
se dice que es completo cuando cada vector es la suma de su serie de Fourier,
es decir,
n=1
(x|u
n
)u
n
= x para todo x H.
La ultima expresion quiere decir que S
n
x 0 (n ), donde
S
n
=
n
k=1
(x|u
k
)u
k
. En el caso de un espacio de Hilbert, existen varias
caracterizaciones de la completitud de un SON.
Teorema 1.2.6. Supongamos que {u
n
}
n1
es un SON en un espacio de
Hilbert H. Son equivalentes las siguientes propiedades:
(a) El sistema {u
n
}
n1
es completo.
(b) El sistema {u
n
}
n1
, es total, es decir, span{u
n
}
n1
= H.
(c) Se cumple la identidad de Parseval:
x
2
=
n=1
|(x|u
n
)|
2
para todo x H.
(d) {u
n
}
n1
= {0}.
(e) El sistema {u
n
}
n1
es maximal, es decir, no esta contenido estrictamente
en ning un otro SON.
Un SON numerable {u
n
}
n1
en un espacio de Hilbert H se dice que es una
base ortonormal (BON) de H cuando cumple cualquiera de las propiedades
equivalentes (a)(e) del teorema anterior. Puesto que los vectores de un SON
son linealmente independientes, de (b) se deduce que si un espacio de Hilbert
posee una BON, entonces es separable e innito-dimensional. El proximo
teorema nos garantiza que el recproco es tambien cierto.
Teorema 1.2.7. Sea H un espacio de Hilbert separable con dim(H) = .
Entonces H admite una BON y es isometricamente isomorfo a
2
. De hecho,
si (u
n
) es una BON en H, entonces la aplicacion
: x H {(x|u
n
)}
n1

2
es lineal, biyectiva y cumple (x) = x para todo x H.
1.3. El teorema de Radon-Nikodym
Recordemos que, si es una medida (positiva) denida sobre un espacio
medible (X, M), decimos que es nita si (X) < +, y que es -nita
si existen X
n
M (n = 1, 2, . . . ) tales que (X
n
) < + y X =
n=1
X
n
.
Si y son dos medidas sobre un mismo espacio medible (X, M), se dice
que es absolutamente continua respecto de cuando:
A M y (A) = 0 = (A) = 0.
El siguiente resultado, de gran importancia en muchas ramas de la Ma-
tematica y conocido como Teorema de Radon-Nikodym, caracteriza las me-
didas absolutamente continuas. Aqu ofrecemos una prueba que es debida a
von Neumann y que resulta ser una bonita aplicacion del teorema de repre-
sentacion de Riesz en espacios de Hilbert.
Teorema 1.3.1. Sean y dos medidas sobre un mismo espacio medible
(X, M), de modo que es -nita y es nita. Entonces son equivalentes
las siguientes propiedades:
(a) es absolutamente continua respecto de .
(b) Existe F L
1
() tal que (A) =
A
F d para todo A M.
En tal caso Re F e ImF son no negativas -en casi todo, y F es unica
como elemento de L
1
().
Bajo las condiciones del teorema anterior, la funcion F obtenida, que
esta unvocamente determinada, se denomina la derivada de Radon-Nikodym
(o bien la funcion de densidad ) de respecto de , y se representa F =
d/d.
Demostracion del Teorema 1.3.1. Un razonamiento directo, considerando
Re F e ImF, muestra que podemos restringirnos al caso K = R. Probe-
mos primero la unicidad de F, suponiendo que exista. Si hubiese un par de
funciones F, G L
1
() que satisfacen (b), tendramos
A
(FG) d = 0 para
todo A M. Sustituyendo sucesivamente A por {x X : F(x) G(x)} y
{x X : F(x) < G(x)} y restando, obtenemos
X
|F G| d = 0, de donde
|F G| = 0 -ect, as que F = G como elementos de L
1
().
La implicacion (b) (a) es trivial, as que se ha de demostrar (a)
(b). Para ello, podemos suponer que es nita, ya que podemos escribir
X =
n=1
X
n
con (X
n
) < +(n 1) y los X
n
disjuntos entre s. Tras ello,
se consideraran los espacios medibles (X
n
, M|
X
n
) y las medidas |
X
n
, |
X
n
,
y se aplicara el resultado probado para el caso en que es nita. Al nal,
se pegaran las funciones obtenidas F
n
en una sola funcion F.
As pues, partimos de (a) con y nitas. Llamemos := + , que
es una medida nita sobre (X, M). Consideremos el espacio de Hilbert H =
L
2
(). Como , se obtiene por la desigualdad de Cauchy-Schwarz que
X
f d
X
|f| d
X
|f| d =
X
|f| 1 d
X
|f|
2
d
_
1/2
((X))
1/2
< +
para cada f L
2
(). Por tanto, la funcion : f L
2
()
X
f d R
esta bien denida y L
2
()
. Por el teorema de representacion de Riesz,

existe g L
2
() tal que (f) = (f|g) en L
2
(), es decir,
X
f d =
X
fg d (f L
2
()). (1)
Probemos que 0 g(x) 1 -ect x X. Si no fuese as, existira alg un
intervalo I = [ r, +r] R\ [0, 1] tal que (E) > 0, donde E := g
1
(I).
Eligiendo f =
E
(la funcion caracterstica de E), resulta (E) =
E
g d, y
como 0 , tenemos
1
(E)
E
g d [0, 1]. Pero entonces
1
(E)
E
g d
=
1
(E)
E
(g ) d
1
(E)
E
|g | d r,
luego
1
(E)
E
g d [ r, + r] R \ [0, 1], lo que es una contradiccion.
Podemos suponer pues que 0 g 1 en todo X sin que esto afecte a (1)
[ya que si (A) = 0 entonces (A) = 0]. Reescribimos (1) como
X
(1 g)f d =
X
fg d (f L
2
()). (2)
Llamemos B := {x X : g(x) = 1}. Haciendo f =
B
en (2) resulta que
(B) = 0, as que g(x) [0, 1) -ect x X (luego tambien -ect x X).
Llamemos F :=
g
1 g
, que es una funcion medible no negativa. Fijemos
A M, n N y f := (1 +g + + g
n
)
A
. Gracias a (2), obtenemos
A
(1 g
n+1
) d =
A
g(1 +g + + g
n
) d.
Como 1g
n+1
(x)
n
1 y g(x)(1+g(x)+ +g
n
(x))
n
F(x) en casi todo x
X (con respecto a y ) y en ambos casos de manera creciente, del teorema
de la convergencia monotona se deduce que F L
1
() y que (A) =
A
F d
para todo A M. Esto prueba el teorema. P
1.4. Bases de Schauder
La nocion de BON plantea el problema de si en cada espacio de Banach
separable de dimension innita se puede encontrar un sistema numerable
{u
n
}
n1
de modo que cada vector x tenga una expresion x =
n=1
n
(x)u
n
,
con
n
(x) K para todo n N. Esto conduce al concepto de base de
Schauder que estudiaremos a continuacion.
Sabemos que todo EV E tiene una base algebraica, llamada tambien base
de Hamel. Se denomina as a una familia de vectores {u
i
}
iI
E tal que
cada x E se puede escribir de manera unica como combinacion lineal nita
x =
N(x)
k=1

i
k
(x)u
i
k
=
iI

i
(x)u
i
de modo que, salvo para un n umero
nito de ndices i, se tiene que
i
(x) = 0. Sin embargo, en el caso de que
E posea alguna topologa (por ejemplo, si E es un espacio de Banach), esta
base algebraica tiene poco que ver con la topologa del espacio. En efecto, si
x
n
n
x en E, con x
n
=
iI

(n)
i
u
i
y x =
iI

i
u
i
, no tiene que vericarse
en general
(n)
i

n
i
para todo i I, o sea, la convergencia coordenada a
coordenada como sucede en K
N
. En el caso de un espacio de Hilbert separable
H con dim(H) = , vimos que existe una familia {e
n
}
1
tal que cada x H
puede expresarse en la forma x =
n=1
(x|e
n
)e
n
. En este caso s es cierto
que (x
k
|e
n
)
k
(x|e
n
) para todo n N si x
k
k
x, gracias a la continuidad del
producto escalar. Abstraigamos este concepto al ambito de los espacios de
Banach.
Denicion 1.4.1. Sea E un espacio de Banach. Una sucesion {x
n
}
1
se
denomina base de Schauder de E si para cada x E existe una unica sucesion
{
n
}
1
de escalares tal que x =
n=1
n
x
n
. Los escalares son llamados las
coordenadas de x respecto de la base {x
n
}
1
. Se dice que la base es norma-
lizada si x
n
= 1 para todo n N. Una sucesion {x
n
}
1
E se denomina
sucesion basica si es base de Schauder de span(x
n
).
Por supuesto, cada BON en un espacio de Hilbert es una base de Schauder,
y cada SON es una sucesion basica. Si p [1, ),
p
es un espacio de Banach
(que no es de Hilbert salvo en el caso p = 2) y en el el sistema {e
n
}
nN
dado
por e
n
= (0, 0, . . . , 0, 1, 0, 0, . . . ) [con el 1 en el n-esimo lugar] es una base
de Schauder. En efecto, dado x = (
n
)
p
se tiene que x =
n=1
n
e
n
,
ya que x
n
k=1
k
e
k
p
=
k=n+1
|
k
|
p
n
0 porque la serie
n=1
|
n
|
p
es
convergente. Ademas, la expresion x =
n=1
n
e
n
es unica porque si fuese
x =
n=1
n
e
n
, existira N N con
N
=
N
y
k
=
k
(k = 1, . . . , N 1).
Entonces para todo n > N tendramos |
N

N
|
p
x
n
k=1
k
e
k
p
, que
contradice el hecho de que la ultima expresion 0 cuando n . Un
razonamiento parecido muestra que (e
n
) es tambien una base de Schauder de
c
0
.
Es obvio que si (x
n
) es una base de Schauder de E, entonces (x
n
) es total,
es decir, E = span(x
n
). Pero el recproco es falso: por ejemplo, debido al
teorema de aproximacion de Weierstrass (ver Captulo 3), el sistema {x
x
n
}
n0
es total en C([0, 1]), pero no es una base de Schauder porque, si
lo fuese, toda funcion continua en [0, 1] sera analtica en (0, 1), lo que es
absurdo.
Por otra parte, es facil ver que si E es un espacio de Banach que ad-
mite una base de Schauder (x
n
) tiene dimension innita (pues los elementos
de la base son linealmente independientes) y es separable (porque las com-
binaciones lineales nitas de los vectores x
n
con coecientes en Q (el con-
junto de los n umeros racionales) o en Q + iQ forman un conjunto denso
en E. El problema inverso, mucho mas complicado, de saber si cada espa-
cio de Banach separable innito-dimensional admite una base de Schauder,
permanecio abierto mucho tiempo, hasta que Eno dio nalmente un con-
traejemplo en 1974.
Vamos a probar ahora una condicion equivalente a que una sucesion sea
basica. Necesitaremos el siguiente lema.
Lema 1.4.2. Sea (x
n
) una sucesion en un espacio de Banach E, de modo
que x
n
= 0 para todo n N. Sea F = {(a
n
) K
N
:
n=1
a
n
x
n
converge}
dotado de la norma
(a
n
)
F
= sup{
N
n=1
a
n
x
n
: N N}.
Entonces F es un espacio de Banach.
Demostracion. Probemos en primer lugar que
F
es una norma sobre F. Si
(a
n
) = (0), es obvio que (a
n
)
F
= 0. Inversamente, si (a
n
)
F
= 0, entonces
a
1
x
1
= 0, luego a
1
x
1
= 0; como x
1
= 0, resulta a
1
= 0. Por induccion, se
llega a que a
n
= 0 para todo n N. La igualdad (a
n
)
F
= || (a
n
)
F
resulta de la homogeneidad de , mientras que la desigualdad (a
n
+b
n
)
F

(a
n
)
F
+(b
n
)
F
se obtiene de la desigualdad triangular para y del hecho
de que, para cada par de conjuntos acotados {
i
}
iI
, {
i
}
iI
R, se tiene
que sup{
i
+
i
: i I} sup{
i
: i I} + sup{
i
: i I}.
Para ver que F es completo, jemos una sucesion {(a
(k)
n
)}
k1
de Cauchy
en F y un > 0. Existe k
0
N tal que (a
(k)
n
) (a
(j)
n
)
F
< si k, j k
0
.
Por tanto, para cada N N,
N
n=1
(a
(k)
n
a
(j)
n
)x
n
< . En particular, para
N = 1 obtenemos |a
(k)
1
a
(j)
1
| < /x
1
, luego (a
(k)
1
) es de Cauchy en K. Y
para m 2 tenemos que a
(k)
m
x
m
a
(j)
m
x
m
=
m
n=1
a
(k)
n
x
n
m
n=1
a
(j)
n
x
n
m1
n=1
a
(k)
n
x
n

m1
n=1
a
(j)
n
x
n
) < 2, de donde |a
(k)
m
a
(j)
m
| < 2/x
m
si
k, j k
0
. As que cada sucesion (a
(k)
m
)
k1
es de Cauchy en K, luego converge
a un escalar a
m
(m N).
Por otra parte, si en la desigualdad
N
n=1
(a
(k)
n
a
(j)
n
)x
n
< tomamos
lmites cuando j resulta
N
n=1
(a
(k)
n
a
n
)x
n
para todo N N y
todo k k
0
. De aqu obtenemos:

m
i=n
a
i
x
i

m
i=n
(a
(k
0
)
i
a
i
)x
i
+
m
i=n
a
(k
0
)
i
x
i
2 + = 3
si m n N
0
() para alg un N
0
() N adecuado. Se ha usado la
desigualdad triangular en el primer sumando del segundo miembro,
mientras que en el segundo sumando hemos usado la convergencia de
n=1
a
(k
0
)
n
x
n
.
Por la condicion de Cauchy de convergencia de series, tenemos que
n=1
a
n
x
n
converge, luego (a
n
) F. Para cada k k
0
, (a
(k)
n
)
(a
n
)
F
. Por tanto, (a
(k)
n
)
n1
k
(a
n
)
n1
en F. As que F es completo.
P
Ahora podemos establecer el siguiente Teorema de Nikolski de caracteri-
zacion de sucesiones basicas.
Teorema 1.4.3. Sea E un espacio de Banach. Una sucesion (x
n
) E \ {0}
es basica si y solo si existe una constante K (0, +) tal que, para cada
par p, q N con p q y cada eleccion de escalares a
1
, a
2
, . . . , a
q
, se tiene
p
n=1
a
n
x
n
K
q
n=1
a
n
x
n
.
La menor de las constantes K que verican esta condicion se llama la
constante basica de (x
n
). Si K = 1, la sucesion basica se dice monotona. Por
ejemplo, la base (e
n
) en
p
(1 p < +) o c
0
es monotona. Observemos
que, en general, la condicion dada en el teorema de Nikolski signica que
las proyecciones P
p,q
: span(x
1
, . . . , x
q
) span(x
1
, . . . , x
p
) tienen normas
uniformemente acotadas por K.
Demostracion del Teorema 1.4.3. Supongamos que (x
n
) es una sucesion basica.
Sean E
1
:= span(x
n
) y F como en el Lema 1.4.2. Cada vector x E
1
tiene
una expresion unica en la forma x =
n=1
a
n
x
n
. Denimos la aplicacion
T : (a
n
) F
n=1
a
n
x
n
E
1
.
Claramente, T es lineal. Ademas es continua pues
n=1
a
n
x
n
= lm
N
n=1
a
n
x
n
sup
NN
n=1
a
n
x
n
= (a
n
)
F
.
Por ser T sobreyectiva, del teorema de la aplicacion abierta se deduce que
T
1
es continua, o sea, existe K (0, +) tal que sup
NN
N
n=1
a
n
x
n

K
n=1
a
n
x
n
. En particular, aplicandolo para a
1
, . . . , a
p
, . . . , a
q
, 0, 0, . . .
con N = p se obtiene lo que se quera.
Recprocamente, supongamos que se verica la condicion del teorema, con
constante K. Fijemos x E
1
. Existe una sucesion (y
k
) span (x
n
) tal que
y
k
x. Cada y
k
se puede escribir en la forma y
k
=
N
k
l=0
(k)
l
x
l
. Si
n=1
a
n
x
n
converge, llamemos P
p
a la proyeccion P
p
(
n=1
a
n
x
n
) =
p
n=1
a
n
x
n
. Por la
condicion del teorema, sabemos que P
p
K. Por tanto, para cada p N
se tiene P
p
(y
k
y
l
) Ky
k
y
l
(k, l N). Puesto que (y
k
) es de Cauchy,
obtenemos que cada sucesion (P
p
y
k
)
k1
es de Cauchy. Sea X
p
el lmite de
(P
p
y
k
)
k1
, el cual existe por ser E completo. Si en la desigualdad anterior
tomamos sucesivamente p = 1, 2, . . . vemos que cada sucesion de coecientes
(
(k)
p
)
k1
es de Cauchy, luego
(k)
p

k
p
para ciertos
p
K. Por tanto
P
p
y
k
=
p
n=1
(k)
n
x
n
k
p
n=1
n
x
n
.
Por la unicidad del lmite, deducimos que X
p
=
p
n=1
n
x
n
. Por otra parte,
de la continuidad de la norma,
P
p
y
k
X
p
= P
p
y
k
lm
j
P
p
y
j
= lm
j
P
p
(y
k
y
j
)
K lm
j
y
k
y
j
= K y
k
x.
Fijemos > 0 y elijamos k
0
N tal que y
k
0
x < . Elijamos ahora p
0
N
de modo que P
p
y
k
0
= y
k
0
para todo p p
0
. Entonces
X
p
x X
p
P
p
y
k
0
+y
k
0
x < (1 + K)
para cada p p
0
. Por tanto X
p
x (p ). Pero X
p
=
p
n=1
n
x
n
,
luego x =
n=1
n
x
n
. La unicidad de esta expresion es evidente porque si
tambien fuese x =
n=1
n
x
n
entonces
n=1
(
n
n
)x
n
= 0, y debido a la
denicion de P
p
resulta
p
n=1
(
n
n
)x
n
= 0 para cada p N. Concluimos
que
j

j
= 0 para todo j N, que era lo deseado. P
0.2 0.4 0.6 0.8 1.0
1.0
0.5
0.0
0.5
1.0
0.2 0.4 0.6 0.8 1.0
1.0
0.5
0.0
0.5
1.0
0.2 0.4 0.6 0.8 1.0
1.0
0.5
0.0
0.5
1.0
Fig. 1. Sistema de Haar: funciones h
2
, h
3
y h
4
Si (x
n
) es una base de Schauder de E, entonces cada funcional de coor-
denada
n
: x =
j=1
j
x
j
X
n
K (n = 1, 2, . . . )
no solo esta bien denida y es lineal, sino que es continua, es decir, se com-
porta bien respecto de la topologa de E. En otras palabras,
n
E
para
todo n N. En efecto,
n
(x)x
n
= P
n
x P
n1
x P
n
x +P
n1
x 2Kx,
luego
n
2K/x
n
.
Como ejemplo vamos a construir una base de Schauder en C([0, 1]). Tal
base va a ser una transformacion del as denominado sistema de Haar
(h
n
)
n1
para el espacio L
1
([0, 1]) de las funciones [0, 1] R integrables
Lebesgue. Estas funciones h
n
: [0, 1] R (ver Fig. 1) se denen como
h
1
(t) 1 y, para k = 0, 1, 2, . . . y l = 1, 2, . . . , 2
k
,
h
2
k
+l
=
[
2l2
2
k+1
,
2l1
2
k+1
)
[
2l1
2
k+1
,
2l
2
k+1
]
.
As que son funciones que pueden toman los valores 0, 1, 1 en cada subin-
tervalo diadico de [0, 1]. Nuestra base de Schauder va a estar constituida por
las funciones g
n
: [0, 1] R (n 0) (ver Fig. 2) denidas por g
0
1 y
g
n
= u
n
/u
n
, donde u
n
(x) :=
x
0
h
n
(t) dt (n 1). En cada subintervalo
diadico, estas funciones valen 0 o 1, o bien son lineales anes con valores
extremos en {0, 1}. Observese que cada g
n
es una poligonal y que, si n > m,
entonces g
n
es nula en todos los extremos de la poligonal correspondiente a
g
m
. Vamos a probar:
(a) span{g
n
: n 0} = C([0, 1]).
(b) (g
n
) es una sucesion basica con constante = 1.
(a) Fijemos > 0 y f C([0, 1]). Debido a la continuidad uniforme,
existe N N tal que:
|u v| 1/2
N
= |f(u) f(v)| < .
Por otra parte, cualquier combinacion lineal de las funciones g
n
es una fun-
cion continua lineal a trozos. Dividamos [0, 1] en 2
N
partes iguales mediante
los puntos x
i
= i/2
N
(i = 0, 1, 2, . . . , 2
N
). Vamos a encontrar una combi-
nacion lineal g =
2
N
i=0
i
g
i
tal que g(x
i
) = f(x
i
) para todo i = 0, 1, . . . , 2
N
.
Para hacer esto, observemos que g
0
(0) = 1 y g
n
(0) = 0 para todo n 1.
As que debe ser
0
= f(0). Ademas g
0
(1) = 1 = g
1
(1) y g
n
(1) = 0 para
todo n 2. Luego debe ser
0
+
1
= f(1), y por tanto
1
= f(1) f(0).
As vamos determinando
i
(i = 0, 1, . . . , 2
N
). En cada punto t del intervalo
diadico [
i
2
N
,
i+1
2
N
] se tiene que g(t) esta comprendido entre f(
i
2
N
) y f(
i+1
2
N
).
Como |f(t) f(
i
2
N
)| < y |f(t) f(
i+1
2
N
)| < , resulta |g(t) f(t)| < en
cada subintervalo. En consecuencia, g f
< y obtenemos la densidad.

(b) Fijemos n umeros p, q N con p < q y escalares
0
,
1
, . . . ,
q
. En-
tonces
p
i=0
i
g
i
es el valor |
p
i=0
i
g
i
(x
0
)| para alg un x
0
diadico que es
el extremo de un intervalo diadico de los que aparecen en la denicion de las
funciones g
i
(i = 0, 1, . . . , p). Como las g
i
(i > p) son todas nulas en x
0
, se
tiene:
_
_
p
i=0
i
g
i
_
_
i=0
i
g
i
(x
0
)
i=0
i
g
i
(x
0
)
_
_
q
i=0
i
g
i
_
_
, lo cual
demuestra lo que queramos, sin mas que aplicar el Teorema 1.4.3.
0.2 0.4 0.6 0.8 1.0
0.0
0.2
0.4
0.6
0.8
1.0
0.2 0.4 0.6 0.8 1.0
0.0
0.2
0.4
0.6
0.8
1.0
0.2 0.4 0.6 0.8 1.0
0.0
0.2
0.4
0.6
0.8
1.0
Fig. 2. Funciones g
2
, g
3
y g
4
Ejercicios
1.- Sea c el espacio de Banach formado por las sucesiones (
k
) tales que existe
lim
k
k
=: K, con la norma del supremo. Consideremos la aplicacion
T : c c
0
dada por
T(
1
,
2
, . . . ) = (,
1
,
2
, . . . ).
Probar que T es un isomorsmo entre los espacios de Banach c y c
0
, y
calcular T y T
1
.
2.- Denotemos I = [0, 1] y supongamos que (f
n
) es una sucesion en L
p
(I), donde
p (1, +). Probar que se cumplen las siguientes implicaciones, y que las
recprocas son falsas: f
n
f uniformemente = f
n
f en la norma
p
= f
n
f en
1
.
3.- Sea :
2
R denida por (x) = 2x
1
si x = (x
n
). Calcular la distancia
del vector x = (2
n/2
) al n ucleo de .
4.- Consideremos el espacio c con la norma
. Para cada n N, sea e

n
la
sucesion (0, 0, . . . , 0, 1
[n]
, 0, 0, . . . ). Probar que (e
n
) es una sucesion basica en
c, pero no es base de Schauder de este espacio.
5.- Sea X un espacio de Banach de dimension innita y {e
i
}
iI
una base alge-
braica de X. Probar que solo puede existir un n umero nito de ndices j I
tales que la aplicacion lineal f
j
: X K dada por f
j
(
iI

i
e
i
) =
j
sea
continua.
Indicacion: Proceder por reduccion al absurdo considerando los subconjun-
tos f
1
j
({0}) (j J) y aplicar el teorema de Baire.
6.- Sea X un EN, Y un subespacio de X y x
0
X.
(a) Si B(x
0
, ) Y = , probar que existe f X
tal que f 1/,

f(x
0
) = 1 y f(y) = 0 para todo y Y .
Sugerencia: Aplicar el teorema de Hahn-Banach a una aplicacion ade-
cuada Y, x
0
K, donde Y, x
0
:= span (Y {x
0
}).
(b) Probar que d(x
0
, Y ) = sup{|(x
0
)| : X
, = 1, (y) = 0 para
todo y Y }.
(c) Sea X
con = 1 y sea Y = Ker(), el n ucleo de . Sea

a X \ Y . Probar que cada vector x X puede expresarse de manera
unica en la forma x = y +a con y Y y K. Sea
tal que
(y) = 0 para todo y Y . Probar que existe c K tal que
= c.
(d) Sea X
con = 1 e Y = Ker(). Probar que para cada x X

se tiene d(x, Y ) = |(x)|.
7.- (a) Sea X un espacio de Banach con base de Schauder (e
n
). Supongamos
que Y es otro espacio de Banach, isomorfo a X, y que T : X Y es
un isomorsmo. Probar que la sucesion (Te
n
) es una base de Schauder
de Y .
(b) Utilizar (a) y el Ejercicio 1 para construir una base de Schauder de c
y calcular su constante basica.
8.- (a) Sea X un espacio de Banach y F un subespacio cerrado de X. Decimos
que un subespacio G de X es un complemento topologico de F si X =
F + G, G es cerrado y F G = {0}. Probar que, en un espacio de
Hilbert, todo subespacio cerrado tiene un complemento topologico.
(b) Sea X un espacio de Banach y F, G subespacios cerrados de X, de
modo que F G = {0} y F + G es cerrado en X. Probar que existe
C (0, +) tales que para cada par de vectores y F, z G se tiene
y Cy +z y z Cy +z.
Sugerencia: Aplicar el teorema de la aplicacion abierta a una aplicacion
conveniente denida sobre F G.
9.- Sea X un espacio de Banach y (e
n
) una base de Schauder de X. Decimos
que (e
n
) es una base incondicional si existe una constante K [1, +) tal
que, si A y B son subconjuntos nitos de N con A B, entonces para cada
sucesion de escalares (a
n
) se verica
nA
a
n
e
n
K
nB
a
n
e
n
. La
menor constante K que verica esta propiedad se llama constante basica
incondicional.
(a) Probar que toda BON en un espacio de Hilbert es una base incondi-
cional y calcular su constante basica.
(b) Sea (u
n
) la base de Schauder de c dada por u
1
= (1, 1, 1, 1, . . . ),
u
n
= (0, 0, . . . , 0, 1
[n1]
, 0, 0, . . . ) (n 2). Probar que es una base in-
condicional y hallar su constante basica.
(c) Sea (e
n
) una base incondicional de X. Probar que si la serie
n=1
a
n
e
n
converge, entonces converge incondicionalmente, esto es, para toda per-
mutacion : N N, la serie
n=1
a
(n)
e
(n)
converge al mismo vector
suma.
10.- (a) Sea X el espacio C([0, 1]), dotado de la norma del supremo. Demostrar
que A := {f X :
1/2
0
f(t) dt
1
1/2
f(t) dt = 1} es un subconjunto
convexo cerrado de X que carece de vectores de norma mnima.
(b) Demostrar que M := {f L
1
([0, 1]) :
1
0
f(t) dt = 1} es un subcon-
junto convexo cerrado de L
1
([0, 1]) que contiene innitos vectores de
norma mnima.
11.- Sea (T
n
) una sucesion de operadores continuos entre dos espacios de Banach
X e Y . Probar que son equivalentes:
(a) (T
n
) converge puntualmente a un operador continuo T : X Y .
(b) La sucesion (T
n
) esta acotada y converge puntualmente en un
subconjunto denso de X.
12.- (a) Probar que si un espacio metrico X contiene una coleccion no numer-
able de bolas disjuntas dos a dos, entonces X no es separable.
(b) Si [a, b] R es un intervalo cerrado, se dice que una funcion f : [a, b]
R es de variacion acotada si V (f) := sup{
N
i=1
|f(t
i
) f(t
i1
)| : a =
t
0
< t
1
< < t
N
= b, N N} < +. Es facil ver que la familia X de
las funciones de variacion acotada en [a, b] es un EV y que la aplicacion
f := |f(a)| + V (f) es una norma sobre el. Demostrar que X no es
separable.
13.- Para cada sucesion a = (a
n
) de n umeros reales, se considera la aplicacion
diagonal T
a
que asigna a cada x = (x
n
)
2
la sucesion T
a
(x) = (a
n
x
n
).
(a) Para que sucesiones a la aplicacion T
a
dene un operador lineal y
continuo
2

2
?
(b) En tal caso, hallar T
a
. Se alcanza siempre dicha norma?
(c) En las condiciones de (a), para que sucesiones a es T
a
(
2
) un subes-
pacio cerrado de
2
?
14.- (a) Sea una norma en
que lo hace completo y tal que las aplicaciones
n
:
R dadas por
n
(x) =
n
, donde x = (
n
), son continuas.
Probar que esta norma es equivalente a la norma del supremo.
Sugerencia: Demostrar que la aplicacion identidad (
)
(
, ) tiene grafo cerrado.

(b) Sea | | la norma en
dada por |(
n
)| = sup
_
|
n
|
n
: n N
_
.
Probar que (
, | |) no es un espacio de Banach.
15.- Sea X un espacio de Banach que admite una base de Schauder (x
n
), y
supongamos que A es un subconjunto de X. Denotemos por
n
: X K
(n 1) las funcionales de coordenadas correspondientes a la base (x
n
).
Probar que son equivalentes:
(a) A es compacto.
(b) A es cerrado, acotado y lm
n
sup
__
_
i=n+1
i
(x)x
n
_
_
: x A
_
= 0.
Indicacion: Deducir del Lema 1.4.2 que la aplicacion
T : (a
n
) F
n=1
a
n
x
n
X
dada en el es un isomorsmo topologico, y usar este hecho para demostrar
a partir de (a) que el lmite de (b) es 0.
Captulo 2
Espacios vectoriales topologicos
Hemos visto que en cada EN (X, ) se puede denir una distancia
d(x, y) = x y, y por lo tanto X es EV y ET. Ademas su topologa es
compatible con la estructura lineal en el sentido de que la suma (x, y)
X X x + y X y el producto por escalares (, x) KX x X
son aplicaciones continuas. En este captulo vamos a estudiar otros tipos
de espacios vectoriales y topologicos en las que las operaciones de EV son
continuas para la topologa.
2.1. Topologas compatibles con la estructura
lineal
Antes de llevar a cabo el mencionado estudio, vamos a recordar un cono-
cido resultado topologico. En el se establece que podemos denir la topologa
a traves de una base de entornos de cada punto.
Teorema 2.1.1. Sea X un conjunto no vaco.
(1) Supongamos que para cada x
0
X existe una familia F
x
0
= de
subconjuntos de X que verica:
31
x
0
U para todo U F
x
0
, y
Para cada U, V F
x
0
y cada x U V , existe W F
x
tal que
W U V .
Sea := {G X : para todo x G existe U F
x
tal que x U G}.
Entonces es una topologa en X y, para cada x
0
X, la familia F
x
0
es una base de entornos de x
0
formada por abiertos de dicha topologa.
(2) Supongamos que para cada x
0
X existe una familia S
x
0
= de
subconjuntos de X que verica:
x
0
U para todo U S
x
0
, y
Para cada U S
x
0
y cada x U, existe W S
x
tal que W U.
Entonces existe una topologa sobre X tal que, para cada x
0
X, la
familia F
x
0
:= {intersecciones nitas de miembros de S
x
0
} es una base
de entornos de x
0
para formada por abiertos de dicha topologa.
Demos un ejemplo de topologizacion de un EV que no da lugar a un EN.
Sea C un abierto no vaco y consideremos el espacio vectorial
H() := {f : C : f es analtica en }.
Recordemos que una funcion f : C es analtica (es decir, desarrollable en
serie de potencias en un entorno de cada punto de ) si y solo si es holomorfa
(esto es, C-diferenciable en cada punto de ). Para cada compacto K ,
cada > 0 y cada f H(), consideremos el conjunto V (f, , K) := {g
H() : |g(z) f(z)| < z K}. Entonces, para cada f H(), la familia
F
f
:= {V (f, , K) : K compacto , > 0} es una base de entornos de
f para una topologa sobre . En efecto: cada V (f, , K) contiene a f
y, dada g V (f,
1
, K
1
) V (f,
2
, K
2
), entonces, como inmediatamente se
verica, V (g, , K
1
K
2
) V (f,
1
, K
1
) V (f,
2
, K
2
), donde := mn{
1
max
K
1
|g f|,
2
max
K
2
|g f|}. Basta aplicar ahora el Teorema 2.1.1.
ESPACIOS VECTORIALES TOPOL
OGICOS 33
A se le llama la topologa de la convergencia uniforme en compactos
o, mas sencillamente, la topologa de la convergencia compacta. El nombre se
justica porque, como es inmediato comprobar, se tiene que f
n
n
f si y solo
si f
n
n
f uniformemente en cada compacto K .
Veamos que, en H(), la suma y el producto por escalares son aplicaciones
continuas. Para cada par de subconjuntos A, B de un espacio vectorial X,
cada vector x X, cada escalar y cada subconjunto K, usamos las
notaciones A+B := {x +y : x A, y B}, A := {x : x A}, x +A :=
{x + u : u A} y A := {x : , x A}. La continuidad de las
operaciones mencionadas quedan patentes gracias a las siguientes inclusiones,
faciles de vericar:
V (f, /2, K) + V (g, /2, K) V (f + g, , K),
B(,

2(1 + max
K
|f|)
) V (f,

2(1 +||)
, K) V (f, , K).
Ademas H() es de dimension innita pues contiene todos los polinomios.
Finalmente, no proviene de una norma. En efecto, por reduccion al
absurdo, supongamos que hay una norma que dene la topologa de
H(). Sea B := {f H() : f 1} su bola unidad cerrada. Dado un
compacto K , consideremos el abierto V (0, 1, K), que es un entorno de la
funcion 0. Entonces debe existir > 0 tal que B V (0, 1, K). Esto signica
que |f(z)| 1/ para todo z K y para toda f B. As que la familia
B esta uniformemente acotada en cada subconjunto compacto de . Por el
Teorema de Montel (ver Captulo 3), B es compacta, luego, por el Teorema
de Riesz, dim(H()) < +, lo cual es una contradiccion.
Por tanto, necesitamos unas estructuras mas generales que los espacios
normados. Para satisfacer esta laguna de modo satisfactorio se introduce el
concepto de espacio vectorial topologico, que se debe a Kolmogoro (1934).
Denicion 2.1.2. Sea X un EV que es tambien un ET separado. Decimos
que X es un espacio vectorial topologico (EVT) si la suma y el producto por
escalares son aplicaciones continuas.
Observemos que si X es un EVT entonces las traslaciones x X
x + a X (a X) y las homotecias x X x X ( X) son
continuas. Considerando x x a y x
1
x, resulta que las traslaciones
son homeomorsmos, y las homotecias lo son si = 0.
Corolario 2.1.3. Sea X un EVT y x
0
X. Entonces un conjunto V X
es un entorno de x
0
si y solo si V x
0
es un entorno de 0. Por tanto los
entornos de 0 denen la topologa de un EVT.
Denotaremos por E(x
0
) la familia de los entornos de un punto x
0
X.
Denicion 2.1.4. Sea X un EV. Decimos que un conjunto A X es ab-
sorbente si para cada x X existe = (x) K tal que x A.
Proposicion 2.1.5. Sea X un EVT y V E(0). Se tiene:
(a) V es absorbente.
(b) Existe V
1
E(0) tal que V
1
+ V
1
V .
(c) Existe V
1
E(0) tal que V
1
V .
Demostracion. (a) Fijemos x V . Puesto que 0 x = 0 y la multiplicacion
es continua, podemos encontrar > 0 tal que X V si || < . As que
x (2/)V .
(b) Como 0 + 0 = 0 y la suma es continua, existen V
2
, V
3
E(0) tales que
V
2
+ V
3
V . Basta tomar V
1
:= V
2
V
3
.
(c) Tomemos V
1
como en (b), y sea x V
1
. Ya que V
1
E(0), se tiene
que x V
1
E(x), luego (x V
1
) V
1
= . Por tanto existen y, z V
1
con
x y = z. As que x = y + z V
1
+ V
1
V . En resumen, V
1
V .
OGICOS 35
Recordemos otro par de conceptos en los que no interviene la topologa
del espacio.
Denicion 2.1.6. Sea X un EV. Un conjunto C X es convexo si tC +
(1 t)C C para todo t [0, 1]. Se dice que C es equilibrado si C C
para todo K con || 1.
Proposicion 2.1.7. Sea X un EVT. Se verica:
(a) Si G X es abierto, entonces G + A es abierto para todo A X.
(b) Si A, B X y t K, entonces A + B A + B y tA = tA.
(c) Si C es convexo, tambien lo son C
0
y C.
(d) Si B X es equilibrado, tambien lo es B; si ademas 0 B
0
, entonces
B
0
es equilibrado.
(e) Si Y X es un EV, tambien lo es Y .
(f) Si A X, entonces A =
V E(0)
(A + V ).
Demostraci on. (a) Tenemos que G + A =
xA
(G + x), que es abierto por
ser union de abiertos.
(b) Sean a A, b B y w E(a + b). Existen W
1
E(a) y W
2
E(b) tales
que W
1
+ W
2
W. Ahora bien, podemos tomar x A W
1
e y B W
2
.
Entonces x + y (A + B) (W
1
+ W
2
), luego (A + B) W = , de donde
a + b A + B. As que A + B A + B.
En cuanto a la igualdad tA = tA, es trivialmente cierta si A = . Sea
pues A = . Si t = 0, hemos de probar que {0} = {0}, que es cierto porque
X es separado. Si t = 0, la igualdad se deduce del hecho de que la homotecia
x X tx X es un homeomorsmo.
(c) Partimos de que C es convexo. Para cada t (0, 1) tenemos que
tC + (1 t)C = tC + (1 t)C tC + (1 t)C C,
donde se ha usado (b) en la igualdad y en la primera inclusion. Por otra
parte, como C
0
C y C es convexo, se deduce que tC
0
+ (1 t)C
0
C.
Pero por (a) el conjunto tC
0
+ (1 t)C
0
es abierto, as que esta contenido
en C
0
.
(d) Supongamos que B es equilibrado y que || 1. Debido a (b) y a que
B B, tenemos B = B B. Luego B es equilibrado. Probemos que
B
0
tambien lo es si 0 B
0
. Sea K con || 1. Si = 0, tenemos que
B
0
es abierto y B
0
B B, luego B
0
B
0
. Si = 0, se tiene para
dicho que B
0
= {0} B
0
.
(e) Este apartado es similar a (c) considerando el conjunto Y + Y con
, K.
(f) Usamos que los entornos de un punto x tienen la forma x+V con V E(0),
y que V E(0) si y solo si V E(0). Tenemos: x A V E(0),
A (x V ) = V E(0) a A y v V tal que a = x v
V E(0) a A y v V tal que x = a + v V E(0), x A + V
x
V E(0)
(A + V ).
Con respecto al apartado (b) anterior, debe observarse que A + B no es
necesariamente cerrado, aunque lo sean A y B. Por ejemplo, sea X = R
2
y
consideremos los subconjuntos A = {(y, 0) : y 0} y B = {(x, 1/x) : x >
0}, que son cerrados. Entonces A + B = {(x + y, 1/x) : x > 0, y 0}, el
cual no es cerrado porque (0, 0) A + B \ (A + B).
Teorema 2.1.8. Sea X un EVT. Se verica:
(a) Todo entorno de 0 contiene un entorno equilibrado de 0.
(b) Todo entorno convexo de 0 contiene un entorno equilibrado y convexo
de 0.
OGICOS 37
Demostracion. (a) Sea U E(0). Gracias a la continuidad de la multipli-
cacion K X X en el origen, existen > 0 y V E(0) que satisfacen
{ : || < } V U, o lo que es lo mismo, V U si || < . Elegir
W :=
||<
V .
(b) Sea U E(0) convexo y A :=
||=1
U. Tomemos un entorno equilibra-
do W del origen tal que W U, que existe por (a). Como W es equilibrado,
se tiene que
1
W = W para todo con || = 1. Por tanto W U, luego
W A, as que A E(0). Es claro que A U (tomar = 1). Ademas A
es convexo por ser interseccion de convexos. Resta ver que A es equilibra-
do: jemos K con || 1; entonces = r con r [0, 1] y || = 1.
Se tiene: A = rA =
||=1
rU =
||=1
rU

||=1
U = A, luego
A A. Se ha usado que U es convexo y contiene al 0, lo que implica que
rU U.
2.2. Conjuntos acotados
La clase de los subconjuntos acotados es sumamente util para estudiar
propiedades de los espacios vectoriales topologicos.
Denicion 2.2.1. Sea X un EVT. Un subconjunto A X es acotado si
para cada U E(0) existe s > 0 tal que A tU para todo t > s.
Por ejemplo, en el caso de un espacio normado, es facil ver que un sub-
conjunto es acotado seg un la denicion anterior si y solo si es acotado en
norma. No obstante, debe observarse que, en el caso de un EVT metrizable,
con una metrica d, la denicion de ser A acotado no es equivalente en general
a que A este contenido en una d-bola. En efecto, la denicion dada aqu solo
depende de la topologa mientras que, como es facil probar, toda metrica d
es equivalente a una metrica acotada, como por ejemplo d/(1 + d).
Trivialmente, todo subconjunto de un conjunto acotado es acotado. Y es
facil ver que un conjunto nito y una union nita de conjuntos acotados son
asimismo acotados. Veamos que esta propiedad tambien se conserva al tomar
clausuras.
Proposicion 2.2.2. Sea X un EVT. Si A X es acotado, entonces A es
tambien acotado.
Demostraci on. Sea V E(0). Por la Proposicion 2.1.5(c), existe W E(0)
tal que W V . Como A es acotado, existe r > 0 tal que A tW para todo
t > r, luego A tW = tW tV para todo t > r.
Vamos a ver que en un EVT los conjuntos compactos son peque nos. De
hecho, tienen muchas propiedades en com un con los conjuntos nitos. Por
ejemplo, es facil probar que todo conjunto compacto de un ET separado es
cerrado.
Teorema 2.2.3. Todo subconjunto compacto de un EVT es acotado.
Demostracion. Fijemos un compacto K X, donde X es un EVT, as como
un V E(0). Tomemos W E(0) equilibrado tal que W U. Para cada
x K existe r(x) > 0 tal que x tW para todo t r(x), pues W es
absorbente. Entonces K

xK
r(x)W. Como W se puede elegir abierto,
resulta que cada r(x)W es abierto. Ya que K es compacto, existe un n umero
nito de vectores x
1
, . . . , x
N
K tal que K

N
i=1
r(x
i
)W. Como W es
equilibrado, resulta que W W si 0 < < . En consecuencia, K tW
para todo t > r
0
:= max{r(x
i
) : 1 i N}. Por tanto K tU para todo
t > r
0
. As que K es acotado.
OGICOS 39
2.3. Ejemplos de espacios vectoriales topo-
logicos
A continuacion, vamos a proporcionar algunos ejemplos de espacios
vectoriales topologicos que no son necesariamente normables, es decir, su
topologa no esta necesariamente denida por una norma. Comencemos con
el concepto de seminorma.
Denicion 2.3.1. Sea X un EV. Llamamos seminorma sobre X a una apli-
cacion p : X R que verica:
(1) es homogenea, es decir, p(x) = ||p(x) para todo par (, x) KX,
(2) es subaditiva, es decir, cumple la propiedad triangular, esto es,
p(x + y) p(x) + p(y) para todo x, y X.
Dado cualquier x X, se deduce que p(0) = p(0 x) = 0 p(x) = 0
y 0 = p(0) = p(x + (x)) p(x) + p(x) = p(x) + p(x) = 2p(x), luego
p(x) 0. En particular, toda norma es seminorma, pero no al reves; por
ejemplo, p(x
1
, x
2
) := |x
1
| es una seminorma sobre R
2
pero no es norma.
Sea ahora P una familia de seminormas sobre un EV X. Se supone que
P separa puntos, o es separante, es decir, dado x X \ {0}, existe p = p
x
P tal que p(x) > 0.
P es ltrante, esto es, dadas p
1
, p
2
P, existe p P tal que p
i
p
(i = 1, 2).
Para cada x
0
X, cada > 0 y cada p P, denotamos
V (x
0
, , p) := {x X : p(x x
0
) < }.
Entonces las familias F
x
0
:= {V (x
0
, , p) : > 0, p P} (x
0
X) denen
una topologa sobre X para la que cada F
x
0
es una base de entornos de
x
0
. En efecto, en primer lugar es evidente que x
0
V (x
0
, , p) para todos los
x
0
, , p. Ademas, dados U = V (x
0
, , p) y V = V (x
0
, , q), y dado y
0
U V ,
hemos de encontrar W F
y
0
tal que W U V . Por ltrancia, existe r P
tal que r p, q. Si := mn{ p(y
0
x
0
), q(y
0
x
0
)}, se ve usando la
desigualdad triangular que W U V , donde W := V (y
0
, , r). De acuerdo
con el Teorema 2.1.1, existe una topologa en las condiciones anteriores.
Esta topologa es separada. En efecto, supongamos que x = y. Entonces
xy = 0, luego existe p P con p(xy) > 0. Si := p(xy)/2, se obtiene
que los abiertos A := V (x, , p), B := V (y, , p) cumplen x A, y B,
A B = .
Por ultimo, hace de X un EVT. Esto se deduce del hecho de que, de
modo parecido al ejemplo de H() del principio del captulo, se tiene que
V (x
0
, /2, p) + V (y
0
, /2, p) V (x
0
+ y
0
, , p), y
B(
0
,

2(1 +p(x
0
))
) V (x
0
,

2(1 +|
0
|)
, p) V (
0
x
0
, , p),
lo cual da, respectivamente, la continuidad de la suma (x, y) x + y y del
producto por escalares (, x) x.
Un caso particular del ejemplo anterior viene dado por el EV C() de
las funciones continuas f : K, donde es un abierto no vaco de R
N
,
dotado de la familia de seminormas P = {p
K
: K compacto }, siendo
p
K
(f) := max{|f(x)| : x K}. En efecto, es facil ver que cada p
K
es
una seminorma. Ademas P separa puntos [dada f : K continua con
f = 0, existe x
0
tal que f(x
0
) = 0; entonces, si tomamos K = {x
0
},
resulta que p
K
(f) = |f(x
0
)| > 0] y es ltrante [dadas p
K
, p
L
P, se tiene
p
S
p
K
, p
L
, donde S = K L]. La topologa (P) que dene P usando el
procedimiento anterior es la de la convergencia uniforme en compactos. Mas
adelante veremos que (C(), (P)) es metrizable.
En el caso especial N = 2, K = C obtenemos que la restriccion de (P)
al subespacio H() es la topologa de la convergencia compacta en dicho
OGICOS 41
subespacio. Luego H() es tambien metrizable con esta topologa.
Sea de nuevo R
N
un abierto no vaco. Consideremos ahora el EV
C
() de las funciones innitamente diferenciables sobre , es decir,

C
() = {f : K : N
N
0
D
f en y es continua}.
Aqu N
0
= N {0} y los elementos = (
1
,
2
, . . . ,
N
) N
N
0
se llaman
multindices o N-tuplas. A cada multindice se le asocia el operador
diferencial D
:= (/x
1
)
1
(/x
N
)
N
, cuyo orden es || :=
1
+ +
N
.
Para cada f C
(), cada > 0, cada compacto K y cada k N

0
,
denimos V (f, , K, k) := {g C
() : |D
f(x) D
g(x)| < x
K y N
N
0
tal que || k}.
Con argumentos similares a los anteriores, se ve que la familia
{V (f, , K, k) : f C
(), > 0, K compacto , k N

0
}
es una base para una topologa sobre C
(), que es la de la convergencia

uniforme en compactos de las funciones y sus derivadas. Si jamos f y hace-
mos variar , K y k, obtenemos una base de entornos de f. Como antes, se
observa que dicha topologa es separada y de EVT.
Un subespacio destacado de C
() es D(K
0
), el EV de las funciones
f C
() con soporte en K
0
, donde K
0
es un subconjunto compacto de .
Esto signica que f(x) = 0 para todo x \ K
0
. Se tiene que D(K
0
) es
un subespacio cerrado de C
(). En efecto, sea f D(K

0
) y x \ K
0
;
entonces, para todo > 0, D(K
0
) V (f, , {x}, 0) = , luego existe g
C
() tal que g(x) = 0 y |f(x) g(x)| < , as que |f(x)| < para todo
> 0; por tanto f(x) = 0 para todo x \ K
0
, o lo que es lo mismo,
f D(K
0
).
En el Captulo 1 recordabamos los espacios de Banach L
p
, donde 1 p <
+. Si ahora 0 < p < 1, vamos a considerar el conjunto
L
p
= L
p
([0, 1]) := {f : [0, 1] K : f es medible y
1
0
|f(x)|
p
dx < +},
donde se identican dos funciones si son iguales en casi todo respecto de la
medida de Lebesgue en [0, 1]. Veamos que L
p
es un EV. Para ello, hemos de
probar antes que
(a + b)
p
a
p
+ b
p
para todo a, b 0. (1)
Si a = 0 es evidente. Si a > 0, (1) es equivalente a probar que (1+x)
p
1+x
p
[hacer x = b/a]. Sea : [0, +) R la funcion (x) = 1 + x
p
(1 + x)
p
.
Entonces (0) = 0 y
(x) = p(x
p1
(1 + x)
p1
) 0 [porque 1 + x x y
la exponencial de exponente negativo es decreciente]. Luego es creciente,
as que (x) (0) = 0 para todo x 0, que es justo lo que queremos.
Entonces, si R y f, g L
p
, resulta
1
0
|f + g|
p
1
0
(|f| + |g|)
p
1
0
(|f|
p
+ |g|
p
) =
1
0
|f|
p
+
1
0
|g|
p
< + y
1
0
|f|
p
=
1
0
|f|
p
< +. Se
deduce que L
p
es un EV. Pero ademas, de la misma desigualdad (1) se deduce
que la expresion
d(f, g) =
1
0
|f(t) g(t)|
p
dt
dene una distancia sobre L
p
. Las bolas B(f, ) = {g L
p
: d(f, g) < }
generan una topologa sobre L
p
, que es separada.
Demostremos que es una topologa de EVT. Fijemos f
0
, g
0
L
p
y > 0.
Si d(f, f
0
) < /2 y d(g, g
0
) < /2, se tiene que
d(f + g, f
0
+ g
0
) =
1
0
|f + g f
0
g
0
|
p
1
0
(|f f
0
|
p
+|g g
0
|
p
)
=
1
0
|f f
0
|
p
+
1
0
|g g
0
|
p
= d(f, f
0
) + d(g, g
0
) < ,
de donde se deduce la continuidad de la suma. Para ver que el producto por
escalares es tambien continuo, usamos sucesiones. Fijemos
0
K y f
0
L
p
,
as como dos sucesiones (
n
) K, (f
n
) L
p
tales que
n

0
y f
n
f
0
.
Resulta que
d(
n
f
n
,
0
f
0
) d(
n
f
n
,
n
f
0
) + d(
n
f
0
,
0
f
0
)
= |
n
|
p
d(f
n
, f
0
) +|
n
0
|
p
1
0
|f
0
|
p
n
0
OGICOS 43
porque d(f
n
, f
0
) 0 y (
n
) esta acotada. Luego
n
f
n

0
f
0
, como se
requera.
Vamos a demostrar que, en el caso 0 < p < 1, no existen abiertos convexos
en L
p
distintos de y L
p
. En efecto, sea V un abierto convexo no vaco en
L
p
. Por una traslacion, podemos suponer que V E(0). Luego existe r > 0
tal que B(0, r) V . Sea f L
p
arbitraria. Como p < 1, existe n N tal que
n
p1
1
0
|f|
p
< r. Por otra parte, de la continuidad de la funcion x [0, 1]
x
0
|f|
p
se inere la existencia de puntos x
0
= 0 < x
1
< x
2
< < x
n
= 1
de modo que
x
i
x
i1
|f|
p
=
1
n

1
0
|f|
p
(i = 1, . . . , n). Para cada i, denimos
g
i
= nf
[x
i1
,x
i
]
. Entonces
1
0
|g
i
|
p
= n
p1
1
0
|f|
p
< r, as que g
i
V para
todo i = 1, . . . , n. Como V es convexo, se tiene que f =
g
1
++g
n
n
V . En
consecuencia, V = L
p
, como se quera demostrar.
Ya tenemos un surtido suciente de ejemplos para justicar la siguiente
denicion.
Denicion 2.3.2. Sea X un EVT con topologa . Decimos que X es:
(1) localmente convexo (ELC) si existe una base de entornos de 0 formada
por conjuntos convexos,
(2) localmente compacto si existe un entorno de 0 compacto,
(3) localmente acotado si existe un entorno de 0 acotado,
(4) metrizable si existe una metrica que induce ,
(5) normable si existe una norma que induce ,
(6) un F-espacio si existe una metrica d invariante por traslaciones [es
decir, d(x +z, y +z) = d(x, y) para toda terna de vectores x, y, z X]
y completa que induce ,
(7) un espacio de Frechet si es un F-espacio localmente convexo.
Es evidente que todo espacio normable es metrizable, localmente acota-
do y localmente convexo, y que todo espacio de Banach es un espacio de
Frechet. Cada K
N
(N N) es localmente compacto. La nocion de ELC fue
introducida por Von Neumann (1935).
Como ejemplo, volvamos al espacio C(), donde R
N
es un abierto
no vaco. Fijemos una sucesion exhaustiva {K
n
: n 1} de subconjuntos
compactos de , es decir, cada K
n
es compacto, K
n
K
0
n+1
(n = 1, 2, . . . ) y
=
n=1
K
n
. Denimos p
n
(f) := max{|f(z)| : z K
n
} y
d(f, g) :=
n=1
1
2
n
p
n
(f g)
1 + p
n
(f g)
para cada par f, g C(). No es difcil probar que d es una distancia
completa e invariante por traslaciones que induce la topologa de C()
[recordar que, en , una base de entornos de cada f esta constituida por los
conjuntos V (f, , K) = {g C() : |g(z) f(z)| < z K}, con > 0
y K compacto]. Por otra parte, C() es localmente convexo porque
cada V (0, , K) es un entorno convexo de 0. As que C() es un espacio de
Frechet. Igual sucede, en el caso N = 2, K = C, con su subespacio cerrado
H(). Por otra parte, como cada conjunto V (0, , K, k) es convexo, se tiene
que C
() es tambien localmente convexo. Mas adelante hablaremos sobre

su metrizabilidad.
Nota 2.3.3. Ya vimos que L
p
([0, 1]) (0 < p < 1) es un EVT metrizable, de
modo que su topologa se dena a traves de la metrica d(f, g) =
1
0
|f g|
p
.
Como en el caso p 1, se prueba que dicha metrica es completa, por lo cual
L
p
es un F-espacio. Sin embargo, L
p
(0 < p < 1) no es un ELC (luego no es
un espacio de Frechet) pues vimos que en el no hay mas abiertos convexos
que y el propio L
p
.
OGICOS 45
2.4. Aplicaciones lineales
Pasemos ahora a estudiar la continuidad de las aplicaciones lineales
entre espacios vectoriales topologicos. Vamos a ver que, analogamente a lo que
sucede entre espacios normados, la continuidad de una de estas aplicaciones
equivale a su continuidad en el origen.
Teorema 2.4.1. Sean X e Y dos espacios vectoriales topologicos y : X
Y una aplicacion lineal, de modo que es continua en el 0. Entonces es
continua en X. De hecho, es uniformemente continua en el sentido de
que, para cada entorno W de 0 en Y existe un entorno V de 0 en X con
la propiedad:
y x V = y x W.
Demostracion. Fijemos W E(0) en Y . Por continuidad en el 0, existe
W E(0) (en X) tal que (V ) W. Por linealidad, si x X se tiene que
(x+V ) = x+(V ) x+W, luego (x+V ) x W. Si ahora x e y
son vectores tales que yx V , obtenemos y x+V , as que yx W,
c.q.d. P
En el caso de ser Y = K, podemos obtener mas analogas con el compor-
tamiento en los espacios normados de las aplicaciones lineales y continuas.
Si X es un EVT, se llama espacio dual de X, y se denota por X
, al EV
de las aplicaciones lineales y continuas X K. Para distinguirlo del dual
algebraico, a veces a X
se le llama tambien el dual topologico de X.

Teorema 2.4.2. Sea : X K una forma lineal, donde X es un EVT.
Las siguientes propiedades son equivalentes:
(a) X
.
(b) Ker() es cerrado.
(c) = 0 o bien Ker() no es denso en X.
(d) es acotada en alg un entorno de 0.
Demostracion. Las implicaciones (a) (b) (c) son obvias, ya que
Ker() =
1
({0}), con {0} cerrado, y un subconjunto denso y cerrado
debe ser todo el espacio.
Veamos que (c) (d). Si = 0, como Ker() no es denso, existen x X
y V E(0) tales que (x + V ) Ker() = . Por el Teorema 2.1.8, podemos
suponer que V es equilibrado. Entonces (V ) es acotado o (V ) = K. En
este ultimo caso existe y V tal que y = x, luego x + y Ker(), en
contradiccion con ser (x + V ) Ker() = . As que (V ) es acotado.
En cuanto a la implicacion (d) (a), partimos de que existe V E(0)
tal que es acotada en el. Entonces existe M (0, +) con |x| < M para
todo x V . Fijado > 0, consideremos W := (/M)V E(0). Resulta que
|x| < para todo x W, de donde se inere la continuidad de en el 0, y
por tanto en todo X.
Por ejemplo, sabemos (ver Captulo 3) que (L
= L
si 1 < +,
donde es el exponente conjugado de . Sin embargo, en el caso 0 < p < 1,
vamos a demostrar que el dual de L
p
es trivial, es decir, (L
p
)
= {0}. En
efecto, ya vimos que no existen abiertos convexos en L
p
distintos de y
L
p
. Observemos ahora que si : L
p
K es lineal y continua, entonces
1
(B(0, )) es un entorno de 0 abierto y convexo en L
p
, luego
1
(B(0, )) =
L
p
para todo > 0. As |f| < para toda f L
p
y todo > 0. Por tanto
0, es decir, (L
p
)
= {0}.
Una propiedad de las aplicaciones lineales continuas entre espacios nor-
mados es la de transformar conjuntos acotados en conjuntos acotados. De
hecho, dicha propiedad caracteriza la continuidad en este caso. Veremos que,
en el caso general de los espacios vectoriales topologicos, todava existe algu-
na relacion entre la continuidad y la conservacion de la acotacion.
Denicion 2.4.3. Sean X e Y espacios vectoriales topologicos y : X
OGICOS 47
Y lineal. Decimos que es acotada si transforma conjuntos acotados en
conjuntos acotados.
Teorema 2.4.4. Sean X e Y espacios vectoriales topologicos y : X Y
lineal. Si es continua, entonces es acotada.
Demostracion. Sean E acotado y W un entorno de 0 en Y . Por continuidad,
existe un entorno V de 0 en X tal que (V ) W. Como E es acotado, existe
r > 0 tal que E tV para todo t > r, luego (E) (tV ) = t(V ) tW
para todo t > r, as que (E) es acotado. P
Puede probarse que el recproco no es cierto en general, aunque s se
verica cuando X es metrizable.
2.5. Espacios de dimension nita
En las siguientes lneas vamos a probar que, al igual que sucede en los
espacios normados, dos espacios vectoriales topologicos de dimension nita,
de la misma dimension, son siempre homeomorfos, y que los espacios vectoria-
les topologicos localmente compactos son de dimension nita. Comenzamos
con un lema.
Lema 2.5.1. Sea Y un subespacio vectorial de un EVT X, de modo que Y
es localmente compacto. Entonces Y es un subespacio cerrado de X.
Demostracion. Por hipotesis, existe K E(0) en Y tal que K es compacto.
Ademas, existe U E(0) en X tal que U Y K. Tomemos V E(0) en X,
equilibrado, tal que V + V U. Veamos que, para cada x X, el conjunto
(x + V ) Y es compacto. Para ello, jemos y
0
(x + V ) Y . Para cada
y (x + V ) Y se verica que y y
0
= (y x) + (x y
0
) V + V U y,
por otra parte, y y
0
Y ; luego (x +V ) Y y
0
+K. Como (x +V ) Y
es cerrado en Y e y
0
+K es compacto, resulta que (x +V ) Y es compacto.
Sea ahora x Y . Para ver que Y es cerrado, se ha de probar que x Y .
Denotemos B = {W X : W es abierto, 0 W V } y asociemos a
cada W B el conjunto E
W
:= (x + W) Y , que es cerrado en Y . Ya
que E
W
(x + V ) Y , resulta que cada E
W
es compacto. Como x Y ,
tenemos E
W
= . Si jamos una familia nita {W
1
, . . . , W
n
} B, se tiene que
W
1
W
n
B, luego
n
i=1
E
W
i
E
W
1
W
n
= . Entonces {E
W
}
WB
es
una familia de compactos con la propiedad de la interseccion nita, de donde
inferimos que
WB
E
W
= . Sea z un vector que pertenezca a la ultima
interseccion. Entonces z x + W para todo W B. Pero B es una base
de entornos de 0 en X, luego z {x} = {x}, esto es, x = z. Como z Y ,
concluimos que x Y , c.q.d. P
Teorema 2.5.2. Sea X un EVT e Y un subespacio de dimension n < +.
Se verica:
(a) Todo isomorsmo algebraico de Y en K
n
es un homeomorsmo.
(b) Y es cerrado.
Demostracion. El apartado (b) sigue de (a) y del Lemma 2.5.1, ya que K
n
es localmente compacto.
La prueba de (a) se hara por induccion sobre n. Para n = 1, sea : K Y
lineal y biyectiva. Pongamos (1) =: u Y . Entonces () = u para todo
K. Por la continuidad del producto por escalares, es continua. Ademas,
la inversa
1
: Y K cumple Ker(
1
) = {0}, el cual es cerrado, luego
1
es continua gracias al Teorema 2.4.2.
Por induccion, supongamos que (a) es cierto para n1, y sea : K
n
Y
un isomorsmo algebraico, es decir, es lineal y biyectiva. Si {e
1
, . . . , e
n
} es
una base algebraica de K
n
, denotemos u
k
:= (e
k
) (k = 1, . . . , n). Entonces
(
1
, . . . ,
n
) =
n
k=1
k
u
k
debido a la linealidad de . Por la continuidad de
las operaciones de suma y producto por escalares, resulta que es continua.
OGICOS 49
Ademas, {u
1
, . . . , u
n
} es una base de Y . Cada x Y puede representarse de
manera unica en la forma x =
1
(x)u
1
+ +
n
(x)u
n
, donde las
i
: Y K
(i = 1, . . . , n) son lineales. Ya que
i
= 0, resulta que cada Ker(
i
) es un
subespacio de dimension n 1. Por la hipotesis de induccion y por el
hecho de que (b) deriva de (a), obtenemos que Ker(
i
) es cerrado. De nuevo
por el Teorema 2.4.2, tenemos que cada
i
es continua. Ahora bien,
1
(x) =
(
1
(x), . . . ,
n
(x)), luego
1
es continua, c.q.d. P
Corolario 2.5.3. Si X e Y son dos espacios vectoriales topologicos sobre el
mismo cuerpo K y dim(X) = dim(Y ) < +, entonces son homeomorfos.
De hecho, cada isomorsmo algebraico X Y es un isomorsmo topologico.
El siguiente teorema, debido a Riesz, nos dice que la compacidad local
restringe en gran medida la clase de los espacios vectoriales topologicos.
Teorema 2.5.4. Todo EVT localmente compacto tiene dimension nita.
Demostracion. Partimos de un EVT X localmente compacto, de modo que
existe V E(0) compacto. Veamos que {2
n
V }
n1
es una base de entornos
de 0. Para ello, jemos W E(0). Como V es acotado (Teorema 2.2.3),
existe t
0
> 0 tal que V sW para todo s > t
0
. Eligiendo n N con 2
n
> t
0
,
obtenemos 2
n
V W. As que (2
n
V ) es base de entornos de 0 en X.
Puesto que V es compacto, existen x
1
, . . . , x
m
X tales que V (x
1
+
1
2
V ) (x
m
+
1
2
V ). Sea Y := x
1
, . . . , x
m
, es decir, la variedad lineal
generada por x
1
, . . . , x
m
. Como dim(Y ) < +, resulta que Y es cerrado
(Teorema 2.5.2). Ya que V Y +
1
2
V y Y = Y (si = 0), se tiene que
1
2
V Y +
1
4
V , y por tanto V Y + Y +
1
4
V = Y +
1
4
V . Continuando este
proceso, obtenemos, usando la Proposicion 2.1.7(f) y el hecho de que (2
n
V )
es una base de entornos del origen, que
V
n=1
(Y + 2
n
V ) = Y = Y,
de donde X =
n=1
nV
n=1
nY = Y . En resumidas cuentas, X = Y . En
consecuencia, dim(X) = dim(Y ) < +. P
Por ejemplo, como dim(H()) = +, tenemos que H() no es local-
mente compacto. De hecho, ni siquiera es localmente acotado. En efecto, si
fuera localmente acotado, existira V E(0) acotado. Fijado un compacto
K , el conjunto U := {f H() : |f(z)| < 1 z K} es un entorno
del origen, luego existe > 0 tal que V U. Por tanto |f(z)| < para
todo z K y toda f V , es decir, V esta uniformemente acotado en ca-
da compacto K . Por el Teorema de Montel (ver Teorema 3.2.3) V es
relativamente compacto, as que V es un entorno compacto de 0, lo que es
absurdo debido al Teorema 2.5.4.
2.6. Seminormas y convexidad local
En los siguientes parrafos, vamos a profundizar en el estudio de los
espacios vectoriales topologicos que mas analogas presentan con los espacios
normados, a saber, los espacios localmente convexos. La estructura de un
ELC esta ntimamente conectada con el concepto de seminorma. Recordemos
que una seminorma sobre un EV X es una aplicacion p : X R subaditiva y
homogenea, y que de la denicion se deduce que p(0) = 0 y p(X) [0, +).
Notemos que si p es una seminorma sobre un EV X entonces cada p-bola
{x X : p(x) < } es convexa, equilibrada y absorbente. Por otra parte,
sea A X absorbente. Se dene el funcional de Minkowski de A por
A
(x) =nf{t > 0 : x tA} (x X).
Vemos que
A
(x) < + para todo x A por ser A absorbente. Recordemos,
por ultimo, que una familia separante de seminormas sobre un EV dene en
el una topologa de ELC.
OGICOS 51
Nuestro objetivo en esta seccion es doble, a saber:
Observar que las seminormas son exactamente los funcionales de Minkows-
ki de los conjuntos convexos, equilibrados y absorbentes.
Comprobar que, de hecho, en cada ELC puede encontrarse una familia
separante de seminormas que dene la topologa del espacio.
Proposicion 2.6.1. Sea p una seminorma sobre un EV X. Entonces:
(a) El conjunto {x X : p(x) = 0} es un subespacio de X.
(b) El conjunto B := {x X : p(x) < 1} es convexo, equilibrado y
absorbente, y p =
B
.
Demostracion. (a) Si p(x) = 0 = p(y) y , K, se tiene que 0 p(x +
y) ||p(x) +||p(y) = 0, luego p(x + y) = 0.
(b) Sea K con || 1. Si x B, tenemos que p(x) = ||p(x) < 1,
luego x B. As que B es equilibrado. Por otra parte, si x, y B y
t (0, 1), se verica que p(tx + (1 t)y) tp(x) + (1 t)p(y) < 1, luego
tx + (1 t)y B. Por tanto, B es convexo. Ademas, si x X y s > p(x),
resulta que p(x/s) = (1/s)p(x) < 1, luego x/s B, o bien x sB. As que
B es absorbente.
Por ultimo, observamos que
B
(x) = nf{t > 0 : x tB} = nf{t > 0 :
x/t B} = nf{t > 0 : p(x/t) < 1} = nf{t > 0 : p(x) < t} = p(x) para
todo x X. P
Proposicion 2.6.2. Sea A un subconjunto convexo y absorbente de un EV
X. Se verica:
(a)
A
(x + y)
A
(x) +
A
(y) para todo x, y X.
(b)
A
(tx) = t
A
(x) para todo x X y todo t 0.
(c) Si A es equilibrado, entonces
A
es una seminorma.
(d) Si B = {x X :
A
(x) < 1} y C = {x X :
A
(x) 1}, entonces
B A C y
A
=
B
=
C
.
Demostracion. Hagamos una notacion previa. A cada subconjunto absorbente
D X y cada x X, asociamos el conjunto H
D
(x) := {t > 0 : t
1
x D}.
Observemos que
D
(x) =nf H
D
(x) para todo x X.
(a) Supongamos que s > t H
A
(x). Como A es absorbente, tenemos 0 A,
y puesto que A es convexo, resulta
x
s
=
t
s

x
t
+ (1
t
s
) 0 A, luego
s H
A
(x). Por tanto H
A
(x) es una semirrecta cuyo extremo izquierdo es
A
(x). Supongamos ahora que
A
(x) < s y
A
(y) < t. Entonces x/s A e
y/t A, luego
s
s+t
x
s
+
t
s+t
y
t
A, as que
x+y
s+t
A, de donde
A
(x+y) s+t.
Haciendo s
A
(x) y t
A
(y), se obtiene
A
(x + y)
A
(x) +
A
(y).
(b) Usando que tx/s A x/(s/t) A y que s H
A
(tx) s/t H
A
(x),
deducimos que
A
(tx) =nf H
A
(tx) =nf(tH
A
(x)) = tnf H
A
(x) = t
A
(x).
(c) Supongamos ahora que A es equilibrado, convexo y absorbente. A la vista
de (a) y (b), basta probar que
A
(x) = ||
A
(x) si || = 1. Pero esto es
obvio, ya que, para s > 0, se tiene que x sA si y solo si x sA.
(d) Si x B entonces
A
(x) < 1, luego 1 H
A
(x) por ser este un intervalo
innito de extremo izquierdo
A
(x). As que x A, luego B A. Si x A,
entonces 1 H
A
(x), de donde deducimos que
A
(x) =nf H
A
(x) 1, y por
tanto x C. En resumen, B A C.
Ahora bien, las anteriores inclusiones implican H
B
(x) H
A
(x) H
C
(x),
de donde
C

A

B
. Para probar la igualdad, supongamos
C
(x) <
s < t. Entonces x/s C, luego
A
(x/s) 1, y as
A
(x/t) s/t < 1. Por
tanto x/t B, de donde
B
(x) t. Haciendo tender t a
C
(x), se obtiene
B
(x)
C
(x), luego
A
=
B
=
C
. P
Teorema 2.6.3. Sea B una base de entornos del origen en un ELC X, de
modo que B esta formado por conjuntos convexos y equilibrados. Asociemos
a cada V B su funcional de Minkowski
V
. Entonces {
V
: V B} es
una familia separante de seminormas continuas sobre X.
OGICOS 53
Demostracion. Como cada V B es convexo, equilibrado y absorbente, se
tiene por la proposicion anterior que cada
V
es una seminorma. Como X
es un ET separado resulta que, dado un vector x = 0, existe V B tal que
x / V . Luego
V
(x) 1, as que
V
(x) > 0 y nuestra familia separa puntos.
Probemos que
V
es continua. Si x V
0
, entonces tx V
0
V para
alg un t > 1, porque la aplicacion t tx es continua en t = 1 y V
0
es abierto.
As
V
< 1 en V
0
. Dado > 0, si x y V
0
, se tiene que
|
V
(x)
V
(y)|
V
(x y) < .
De aqu se inere la continuidad de
V
. P
Teorema 2.6.4. (A) Sea X un EV y P una familia separante de seminor-
mas sobre el. Entonces P induce sobre X una topologa de EVT que hace de
X un ELC, de modo que:
(a) Cada p P es continua en dicha topologa.
(b) Si E X, entonces E es acotado si y solo si cada p P es acotada
sobre E.
(B) Recprocamente, si X es un ELC, existe una familia separante y ltrante
P de seminormas sobre X que induce la topologa de X.
Demostracion. (A) Ya vimos como una familia separante y ltrante P de
seminormas generaba sobre X una estructura de ELC. Recordemos que una
base abierta de entornos de cada punto x
0
X estaba constituida por los
conjuntos V (x
0
, , p) := {x X : p(x x
0
) < } ( > 0, p P). Si
de P solo sabemos que es separante, una base abierta de entornos en cada
x
0
X estara constituida por las intersecciones nitas V (x
0
,
1
, p
N
)
V (x
0
,
N
, p
N
) de conjuntos del tipo anterior, de acuerdo con el Teorema 2.1.1
[de hecho, el cambio anterior es equivalente a sustituir P por la familia

P
cuyos elementos son de la forma max{p
1
, . . . , p
N
} (p
1
, . . . , p
N
P, N N);
esta

P es separante y ltrante, ver Ejercicio 1].
Ademas, cada p P es continua respecto de la topologa generada, gracias
a la Proposicion 2.6.1 y al Teorema 2.6.3, ya que p =
V
donde V = V (0, 1, p).
Finalmente, supongamos que E X es acotado. Como V (0, 1, p) es un
entorno del origen, existe (0, +) tal que E V (0, 1, p), luego p(x) <
para todo x E. Recprocamente, supongamos que E X es tal que
cada p P es acotada en E. Fijemos U E(0). Entonces existe un abierto
basico V (0, , p) con U V (0, , p). Por hipotesis, existe (0, +) tal que
p(x) < para todo x E. Entonces para todo t > / resulta que
E V (0, , p) =

V (0, , p) tV (0, , p) tU.

As que E es acotado.
(B) Partimos ahora de un ELC X. Consideremos la familia P := {
V
: V
B} del enunciado del Teorema 2.6.3. Entonces P es una familia separante
de seminormas que es ademas ltrante [porque si p, q P, se tiene que
p =
V
1
, q =
V
2
con V
1
, V
2
B; como V
1
V
2
E(0), existe V B tal
que V V
1
V
2
; as que
V
P y
V

V
1
,
V
2
]. La topologa generada
por P tiene en cada punto x
0
X una base de entornos constituida por los
conjuntos de la forma V (x
0
, ,
V
) = {x X :
V
(xx
0
) < }, donde V B
y > 0. Notemos que V (x
0
, ,
V
) = x
0
+ V (0, ,
V
). Por la Proposicion
2.6.2(d), resulta que
x
0
+ V (0, ,
V
) x
0
+ V x
0
+ V (0,
,
V
)
siempre que 0 < <
. De esta doble inclusion se inere que la topologa

generada por P coincide con la topologa original de X.
2.7. Espacios normables
Si podemos encontrar un entorno acotado y convexo del origen, la
topologa de un EVT puede denirse mediante una familia unitaria de semi-
OGICOS 55
normas.
Teorema 2.7.1. Un EVT X es normable si y solo si el origen tiene un
entorno convexo y acotado.
Demostracion. Si X es normable, la bola unidad es un entorno de 0 convexo
y acotado. Recprocamente, sea V E(0) convexo y acotado. Por el Teorema
2.1.8, podemos encontrar un W E(0) convexo y equilibrado tal que W V .
Por supuesto, W es tambien acotado. Fijemos un U E(0). Existe entonces
t > 0 con W tU, luego
1
t
W U. As la familia {rW : r > 0} es base de
entornos de 0. Si x = 0, existe r > 0 tal que x / rW, luego
W
(x/r) 1,
as que
W
(x) r. Luego
W
(x) > 0 y
W
es una norma. Por la Proposicion
2.6.2(c) y la prueba del Teorema 2.6.3 (tengase en cuenta que W puede
elegirse abierto) resulta que {x X :
W
(x) < 1} = W. Luego la norma
W
genera la topologa del espacio, es decir, X es normable.
2.8. Espacios metrizables
Ya vimos que el ELC C() es metrizable, y que su topologa poda
denirse a traves de una familia numerable de seminormas, a saber, p
n
(f) :=
sup
K
n
|f|, donde (K
n
) es una sucesion exhaustiva de subconjuntos compactos
de .
Tambien vimos que C
() es un ELC. Ademas, es facil demostrar que

su topologa puede generarse, al igual que en el caso anterior, mediante una
familia numerable de seminormas, a saber,
p
n
(f) := max{|D
f(x)| : x K
n
, || n} (n N),
donde (K
n
) es como antes. En efecto, cada conjunto {f : p
n
(f) < } es
un entorno de 0 y, recprocamente, dado un entorno basico de 0, de la for-
ma V (0, , K, k), basta elegir n N con n > k y K
n
K para obtener
V (0, , K, k) {f : p
n
(f) < }.
Observemos que, en los dos ejemplos anteriores, podemos obtener una
base local numerable de entornos del origen, a saber, B = {{f : p
n
(f) <
1/n} : n 1}. De hecho, esta propiedad garantiza la metrizabilidad, como
veremos mas adelante.
Vamos a estudiar los espacios vectoriales topologicos en los que existe
una metrica que dene su topologa, esto es, aquellos que son metrizables.
Un resultado muy general, conocido como Teorema de BirkhoKakutani,
el cual tiene una demostracion complicada, asegura que si existe una base
numerable de entornos del origen, entonces existe una metrica, la cual es
incluso invariante por traslaciones, que genera su topologa. El recproco es
evidente: basta tomar B = {V
n
}
n1
, donde V
n
= {x X : d(x, 0) < 1/n}.
Si X es un EVT y d
1
es una metrica, invariante por traslaciones, que
genera la topologa de X, podemos hablar de completitud. Pero este es un
concepto metrico, por lo cual nos podemos plantear si esta propiedad se
mantiene para otra metrica d
2
, tambien invariante por traslaciones, que
genere la topologa de X. El siguiente teorema resuelve el problema ar-
mativamente, ya que da una caracterizacion puramente topologica de las
sucesiones de Cauchy.
Teorema 2.8.1. Sea X un EVT y d una metrica invariante por traslaciones
que genera su topologa. Supongamos que (x
n
) es una sucesion de vectores de
X. Entonces (x
n
) es de Cauchy para d si y solo si, para cada V E(0),
existe n
0
= n
0
(V ) N tal que x
m
x
n
V para todo m, n n
0
.
Demostracion. Supongamos que (x
n
) es de Cauchy. Fijado V E(0), existe
> 0 tal que B(0, ) V . Ahora bien, podemos hallar n
0
N tal que
d(x
m
, x
n
) < para todo m, n n
0
. Luego d(x
m
x
n
, 0) < para tales m, n,
as que x
m
x
n
B(0, ) V para todo m, n n
0
. Recprocamente, si
jamos > 0 y se da la propiedad dada en el enunciado del teorema, podemos
OGICOS 57
encontrar V E(0) tal que V B(0, ). Entonces existe n
0
N con x
m
x
n

V B(0, ) para todo m, n n
0
, luego d(x
m
, x
n
) = d(x
m
x
n
, 0) < para
tales m, n, lo que nos dice que (x
n
) es de Cauchy para d.
Finalmente, vamos a proporcionar una util condicion suciente de metri-
zabilidad de espacios localmente convexos.
Teorema 2.8.2. Sea X un ELC cuya topologa viene denida por una fami-
lia numerable de seminormas. Entonces existe una distancia invariante por
traslaciones que dene su topologa.
Demostracion. Sea (p
n
) una sucesion separante de seminormas que genera la
topologa de X. Se dene
d(x, y) =
n=1
1
2
n

p
n
(x y)
1 + p
n
(x y)
(x, y X).
Usando que (p
n
) es separante, que cada p
n
es una seminorma, que la funcion
x [0, +)
x
1+x
R es creciente y que
a+b
1+a+b
=
a
1+a+b
+
b
1+a+b

a
1+a
+
b
1+b
(a, b 0), se comprueba con facilidad que d es una metrica. Claramente, d
es invariante por traslaciones. Veamos que d genera la topologa de X.
En primer lugar, la funcion distancia d : X X R es continua porque
la aplicacion (x, y) x y es continua, cada seminorma p
n
es continua y
la serie que dene d converge uniformemente (usar, por ejemplo, el criterio
mayorante de Weierstrass). Si W es un entorno de 0 para la topologa gene-
rada por d, existe r > 0 tal que W B(0, r). Pero B(0, r) =
1
((, r)),
donde (x) := d(x, 0). Como : X R es continua,
1
((, r)) es
abierto en X (para su topologa original), de donde W B(0, r) E(0).
Recprocamente, sea V E(0). Hemos de hallar un r > 0 tal que V B(0, r).
Se tiene que existen N N y
1
, . . . ,
N
(0, +) de modo que
V (0,
1
, p
1
) V (0,
N
, p
N
) V.
Elijamos r (0, mn{

i
2
i
(1+
i
)
: i = 1, . . . , N}). Si x B(0, r), resulta que
d(x, 0) < r, luego
p
i
(x)
(1+p
i
(x))2
i
< r (i = 1, . . . , N), de donde
p
i
(x)
1+p
i
(x)
<

i
1+
i
,
as que p
i
(x) <
i
, es decir, x V (0,
i
, p
i
) (i = 1, . . . , N). En consecuencia,
B(0, r)
N
i=1
V (0,
i
, p
i
) V , c.q.d.
Por ejemplo, los espacios C(), H() y C
() son metrizables. No es
difcil probar que C() es completo [la prueba se basa en demostrar primero
que una sucesion (f
n
) C() es de Cauchy si y solo si, para cada compacto
K y cada > 0, existe n
0
= n
0
(K, ) N tal que |f
m
(x) f
n
(x)| <
para todo x K y todo m, n n
0
; usar el Teorema 2.8.1, y aplicar des-
pues el criterio de Cauchy de convergencia uniforme]. Ya que, en el caso
N = 2 con K = C, H() es un subespacio cerrado de C() [por el teore-
ma de convergencia de Weierstrass, el cual asegura que si (f
n
) H() y
f
n
f uniformemente en cada compacto de entonces f H()], resul-
ta que H() es tambien completo. En cuanto a C
(), observemos que si

(f
n
) C
() es de Cauchy, para cada multindice se tiene que (D
f
n
) es
uniformemente de Cauchy en cada compacto, luego existe una funcion con-
tinua g
tal que D
f
n
g
uniformemente en compactos. Los teoremas de

convergencia y derivacion nos dicen que g
0
C
() y D
g
0
= g
. Por tanto
f
n
g
0
en C
(), luego este espacio tambien es completo. Se deduce que

C(), H() y C
() son espacios de Frechet.

Ejercicios
1.- Sea P una familia separante de seminormas sobre un EV X. Para cada
x
0
X, cada > 0 y cada p P, denotamos V (x
0
, , p) := {x X :
p(xx
0
) < }. Demostrar que existe una topologa T sobre X tal que, para
cada x
0
X, la familia S
x
0
de las intersecciones nitas de los conjuntos de
la forma V (x
0
, , p) es una base de entornos de x
0
para esta topologa. Si
OGICOS 59
P :=
_
max{p
1
, . . . , p
N
} : p
i
P, i {1, . . . , N}, N N
_
, demostrar que P
es una familia separante y ltrante de seminormas, y que (
P) = T, donde
(
P) es la topologa de EVT generada por

P.
2.- Sea R
N
un abierto no vaco. Consideremos el EV C() dotado de la
topologa de la convergencia compacta, es decir, la generada por las semi-
normas p
K
(f) := max{|f(z)| : z K} (K compacto ). Demostrar con
detalle que C() es un espacio de Frechet. Demostrar tambien que C()
no es normable, y que f
n
n
f en la mencionada topologa si y solo si f
n
n
f
uniformemente en cada subconjunto compacto de . Este hecho da nombre
a la topologa.
3.- Consideremos el EV C(R) de las funciones reales continuas de variable real,
con la topologa de la convergencia compacta.
(a) Construir una sucesion {f
n
}
n1
C(R) tal que f
n
(t) = 0 si t / (n, n+1).
(b) Deducir del apartado anterior que C(R) no es normable.
4.- Sea K
N
el EV de todas las sucesiones de escalares con la topologa de la
convergencia componente a componente, es decir, la topologa producto (ver
Seccion 4.6). Probar que K
N
es un espacio de Frechet.
5.- Sean X e Y espacios localmente convexos cuyas topologas vienen respecti-
vamente denidas por las familias ltrantes y separantes de seminormas P
y Q. Probar que una aplicacion lineal : X Y es continua si y solo si,
para cada q Q, existen p P y una constante M = M(p, q) (0, +) tal
que q((x)) Mp(x) para todo x X.
6.- Sea un abierto no vaco de R
N
y un multindice de orden N.
(a) Probar que la identidad i : C
() C() es continua y que el

operador derivada parcial D
: C
() C
() es continuo.
Indicacion: utilizar el ejercicio anterior.
(b) Demostrar con detalle que C
() es un espacio de Frechet.
7.- Sea X el EV de todas las funciones f : [0, 1] R. Consideremos la fa-
milia de seminormas P = {p
x
}
x[0,1]
donde p
x
(f) := |f(x)|. Vericar que
es separante. Por tanto, P dene en X una topologa de ELC, que se llama
topologa de la convergencia puntual. Probar que cada X
es de la forma
(f) =
n
i=1
c
i
f(x
i
) para ciertos x
1
, . . . , x
n
[0, 1] y c
1
, . . . , c
n
R.
Sugerencia: utilizar el Ejercicio 5 con Y = R.
8.- Sea X un EVT con una metrica d invariante por traslaciones que genera
su topologa. Probar lo siguiente:
(a) Si (x
n
) es una sucesion en X que tiende a 0, entonces existe una sucesion
(
n
) de escalares positivos tales que
n
n
y
n
x
n
n
0.
Indicacion: Existe una sucesion estrictamente creciente (n
k
) N tal que
d(x
n
, 0) < 1/k
2
para todo n n
k
. Ahora, cada
n
puede elegirse en N.
(b) Sea Y otro EVT y : X Y una aplicacion lineal que transforma
acotados en acotados. Entonces es continua.
9.- Sean X un EV y d una distancia en X invariante por traslaciones que
verica las siguientes propiedades:
(a) lm
n
d(x/n, 0) = 0 para cada x X.
(b) d(x, 0) d(x, 0) para cada x X y cada K con || < 1.
Probar que d induce una topologa de EVT en X.
Indicacion: Deducir de la invariancia por traslaciones la continuidad de la
suma. Para la continuidad del producto por escalares, establecer primero
que, para todo K y todo x X, se tiene d(x, 0) (1 +E(||))d(x, 0),
donde E(t) denota la parte entera de t. Seguidamente, usar (a) para probar
que si c
n
0 entonces d(c
n
x, 0) 0.
10.- En el EV X = C([0, 1]) se considera la expresion
d(f, g) =
1
0
|f(x) g(x)|
1 +|f(x) g(x)|
dx.
(a) Probar que d dene sobre X una distancia invariante por traslaciones.
OGICOS 61
(b) Sea la topologa generada por d, y llamemos a la topologa de
la convergencia puntual (ver Ejercicio 7). Probar que la identidad i :
(X, ) (X, ) transforma acotados en acotados pero no es continua.
(c) Probar que la aplicacion anterior es secuencialmente continua y que
(X, ) no es metrizable. Sugerencia: Para la continuidad secuencial,
usar el teorema de la convergencia dominada. Recordemos que una
aplicacion : X Y entre dos espacios topologicos X e Y se dice
secuencialmente continua cuando, para cada punto x
0
X y cada
sucesion (x
n
) X con x
n
x
0
, se tiene que f(x
n
) f(x
0
).
11.- Sea M un subespacio denso de un EVT X, Y un F-espacio y : M Y
lineal y continua. Probar que admite una extension lineal y continua

:
X Y .
Indicacion: Construir una sucesion {V
n
}
n1
de entornos equilibrados de 0
tales que V
n
+V
n
V
n1
y (V
n
M) B(0, 2
n
). Sea x
n
(x+V
n
) M.
Demostrar que {(x
n
)}
n1
es de Cauchy y denir

(x) = lm
n
(x
n
).
12.- Supongamos que X es un EVT y que A X. Demostrar que A es acotado
si y solo si cada subconjunto numerable de A es acotado.
13.- En este ejercicio vamos a estudiar el espacio cociente. Supongamos que X
es un EVT y que N es un subespacio cerrado de X. Se dene el espacio
cociente de X relativo a N como X/N := {x + N : x X}. Denotamos
por : X X/N la aplicacion sobreyectiva x x + N. Consideremos la
familia
N
:= {G X/N :
1
(G) }, donde es la topologa de X.
Dotamos a X/N de las operaciones
(x +N) + (y +N) = (x +y) +N, (x +N) = (x) +N.
Se pide demostrar:
(a) Las operaciones anteriores estan bien denidas y dotan a X/N de
estructura de espacio vectorial.
(b)
N
es una topologa sobre X/N.
(c) es continua y abierta.
(d)
N
es la topologa mas na sobre X/N que hace continua a .
(e) X/N es un EVT.
(f) Si B es una base local de entornos abiertos de 0 para , entonces
{(V ) : V B} lo es para
N
.
(g) Si X es un ELC, as es X/N.
(h) Si X es normable, tambien lo es X/N, con la norma
x +N =nf{y : y x +N}.
(i) Si X es un espacio de Banach, tambien lo es X/N.
14.- Denimos M := {x = (x
n
)
2
:
n=1
x
n
= 0}. Demostrar que M es un
subespacio vectorial denso de
2
.
Indicacion: considerar la aplicacion lineal x :=
n=1
x
n
sobre
2
.
15.- Sea X un ELC y A un subconjunto acotado. Demostrar que su envolvente
convexa co(A), es decir, la interseccion de todos los subconjuntos convexos
de X que contienen a A (ver Seccion 4.4), es tambien acotada.
16.- Sea S un subconjunto en un EVT. Demostrar que son equivalentes:
(a) S es acotado.
(b) Para toda sucesion (x
n
) S y toda sucesion de escalares (
n
)
convergente a 0, la sucesion producto (
n
x
n
) tambien tiende a 0.
(c) Para toda sucesion (x
n
) S se tiene que (n
1
x
n
) tiende a 0.
Captulo 3
Espacios funcionales
En este captulo vamos a analizar mas de cerca algunos espacios de fun-
ciones basicos. En concreto, se pretende caracterizar la compacidad relativa
de familias de funciones continuas u holomorfas, identicar algunos espacios
duales fundamentales y establecer propiedades de densidad. Como apendice,
introduciremos el concepto de red o sucesion generalizada en un ET, que es
una util herramienta, en especial cuando el espacio que estamos manejando
no es metrizable, en cuyo caso la continuidad no equivale a la continuidad
secuencial.
3.1. Teorema de aproximacion de Weierstrass
El Teorema de aproximacion de Weierstrass es un resultado clasico
que gura entre los mas importantes de la teora de funciones y del analisis
funcional. Arma que toda funcion continua en un intervalo compacto es
aproximable uniformemente por polinomios en dicho intervalo. Se conocen
muchas pruebas de este teorema. Aqu ofrecemos una relativamente corta y
directa, basada en productos de convolucion. Vamos a considerar el espacio
de Banach C([a, b]) de las funciones continuas f : [a, b] K, dotado de la
63
norma del supremo.
Teorema 3.1.1. El conjunto de los polinomios es denso en C([a, b]). Ex-
plcitamente, dados > 0 y una funcion continua f : [a, b] K, existe un
polinomio P tal que |f(x) P(x)| < para todo x [a, b].
Demostracion. Es claro que es suciente considerar el caso K = R. Considere-
mos la funcion campana de Gauss (u) :=
1
e
u
2
, la cual cumple (u) > 0
para todo u R y
1
=
(u) du = 1. Denimos
n
(u) := n(nu)
(n N). Fijemos f como en el enunciado, y prolonguemosla de forma con-
tinua a un intervalo [c, d] [a, b] de modo que f(c) = 0 = f(d). Despues, la
prolongamos a R deniendo f = 0 en R \ [c, d]. Notemos que f es uniforme-
mente continua en R.
Consideremos la sucesion de productos de convolucion f
n
:= f
n
, es
decir,
f
n
(x) =
f(t)
n
(x t) dt (x R, n N). (1)
Llamemos M := max
R
|f| < + y jemos n N. Se verica lo siguiente:
Para cada x R, la funcion t R f(t)
n
(x t) es continua, luego
medible.
Para cada t R, la funcion x R f(t)
n
(x t) es analtica en R,
con un desarrollo en serie de potencias convergente en todo x R, ya
que
n
admite un tal desarrollo, por tenerlo .
Para cada par t, x R se tiene |f(t)
n
(x t)| nM
[c,d]
(t), de modo
que la ultima funcion no depende de t y es integrable en R.
Se deduce que cada f
n
esta bien denida, es analtica en R y tiene un desa-
rrollo en serie de Taylor en torno al origen que es convergente en todo punto
de R.
ESPACIOS FUNCIONALES 65
Fijado > 0, de la continuidad uniforme deducimos la existencia de un
> 0 tal que
|f(x + u) f(x)| <

3
para todo x R y todo u (, ). (2)
Busquemos N N tal que
|f
N
(x) f(x)| <
2
3
para todo x R. (3)
Para ello, escojamos > 0 tal que
|u|>
(u) du <

1 + 6M
. (4)
Tomemos N N tal que N > /. Entonces |u/N| < siempre que u
[, ]. Gracias a (1), (2) y (4), se verica para todo x R que
|f
N
(x) f(x)| =
f(t)
N
(x t) dt f(x)
f(x t)
N
(t) dt f(x)
(u) du
f(x
u
N
)
N
(
u
N
)
du
N

f(x)(u) du
(f(x
u
N
) f(x))(u) du
|u|>
|f(x
u
N
) f(x)|(u) du +
|f(x
u
N
) f(x)|(u) du
< 2M

1 + 6M
+

3

(u) du <

3
+

3
=
2
3
. (5)
Por otra parte, existe un desarrollo f
N
(x) =
n=0
a
n
x
n
convergente uni-
formemente en cada compacto de R. En particular, podemos encontrar un
m N tal que
f
N
(x)
m
n=0
a
n
x
n
<

3
para todo x [a, b]. (6)
Llamando P(x) :=
m
n=0
a
n
x
n
y usando (5), (6) y la desigualdad triangular,
obtenemos que |f(x) P(x)| < para todo x [a, b], c.q.d.
3.2. Familias relativamente compactas
Recordemos que un subconjunto A de un ET X se llama relativamente
compacto cuando su clausura A es compacta. Si X es un espacio metrizable,
se tiene que A es relativamente compacto si y solo si cada sucesion (x
n
) A
contiene una subsucesion convergente en X.
El siguiente resultado de caracterizacion de familias relativamente com-
pactas en un espacio de funciones continuas, llamado Teorema de Arzelà
Ascoli, es probablemente bien conocido cuando las funciones estan denidas
sobre un intervalo cerrado [a, b] R. Aqu lo formulamos cuando lo estan
sobre un subconjunto abierto R
N
. Vamos a considerar el espacio de
Frechet C() = {f : K : f es continua} dotado de la topologa de la
convergencia compacta, ver Captulo 2. Debemos aclarar que, si K , una
familia A C() se dice que es equicontinua sobre K cuando, dado > 0,
existe > 0 tal que, si x, y K y |x y| < , entonces |f(x) f(y)| <
para toda f A.
Teorema 3.2.1. Para una familia A C(), son equivalentes:
(1) A es relativamente compacta.
(2) A es equicontinua sobre cada compacto de , y uniformemente acotada
sobre cada compacto de .
(3) A es equicontinua sobre cada compacto de , y puntualmente acotada
en el conjunto .
Demostracion. La implicacion (2) =(3) es trivial. Probemos que (1) implica
(2). Por hipotesis, el conjunto B := A es compacto en C(). Sea K un
subconjunto compacto de . Si B
K
(f, ) := {g C() : |g(x) f(x)| <
para todo x K}, entonces B

fB
B
K
(f, 1). Por compacidad, existe
un n umero nito de funciones f
1
, . . . , f
p
B tales que B

p
j=1
B
K
(f
j
, 1).
Entonces la constante M = M(K) := 1 + max
1jp
sup
K
|f
j
| es una cota
uniforme de la familia A en K. Para la equicontinuidad, dado > 0 y K
compacto, existen f
1
, . . . , f
p
C() tales que B

p
j=1
B
K
(f
j
, /3). Dada
una funcion f A, se tiene que f B, luego existe j
0
{1, . . . , p} tal que
|f
j
0
(x) f(x)| < /3 para todo x K. Como cada f
j
es uniformemente
continua en K, existe
j
> 0 tal que [x, x
K y |x x
| <
j
] implica
|f
j
(x) f
j
(x
)| < /3. Si := mn
1jp
j
, entonces [x, x
K y |x x
| < ]
implica
|f(x) f(x
)| |f(x) f
j
0
(x)| +|f
j
0
(x) f
j
0
(x
)| +|f
j
0
(x
) f(x
)|
< /3 + /3 + /3 = .
Notemos que el hallado no depende de f, ni de x, x
.
Demostremos ahora que (3) implica (1). Fijemos un compacto K
y una sucesion {x
k
}
1
densa en K, y sea {f
n
} A. Usando la acotacion
puntual en cada x
k
junto con el proceso de diagonalizacion de Cantor, obte-
nemos una subsucesion {g
j
}
1
de {f
n
}
1
convergente en cada x
k
. Sea > 0.
Usamos la equicontinuidad de A en K, y obtenemos de la denicion un > 0
correspondiente a /3. Cubramos K mediante un n umero nito de bolas de
radio /2, y seleccionemos un punto x
k
en cada una de ellas. Entonces existe
i
0
N tal que, si i, j > i
0
, entonces |g
i
(x
k
) g
j
(x
k
)| < /3 para este conjunto
nito de puntos x
k
. Dado x K, existe uno de estos x
k
tal que |x x
k
| < ,
luego
|g
i
(x) g
i
(x
k
)| < /3 y |g
j
(x) g
j
(x
k
)| < /3.
Por tanto |g
i
(x) g
j
(x)| < para cada x K y todo par i, j > i
0
. Del
criterio de Cauchy de convergencia uniforme, deducimos que la sucesion (g
j
)
converge uniformemente en K a cierta funcion continua en K. Esto puede
efectuarse tomando sucesivamente K = K
1
, K = K
2
, . . . , donde (K
n
) es una
sucesion exhaustiva de compactos de . Un nuevo proceso de diagonalizacion
nos suministra una subsucesion de (f
n
) uniformemente convergente en cada
compacto K
n
a una funcion continua en . Para nalizar, basta tener en
cuenta que cada subconjunto compacto de esta contenido en alg un K
n
.
Nota 3.2.2. En el caso de un intervalo compacto [a, b] R, la prueba se sim-
plica y el enunciado queda as: una familia A C([a, b]) es relativamente
compacta si y solo es equicontinua y puntualmente acotada en [a, b].
Como consecuencia, obtenemos el Teorema de Montel, que caracteriza la
compacidad relativa de familias de funciones holomorfas.
Teorema 3.2.3. Sea C un abierto no vaco y F H(). Entonces F
es relativamente compacta si y solo si F esta uniformemente acotada sobre
cada subconjunto compacto de .
Demostracion. Por el teorema de AscoliArzelà, es suciente demostrar que,
si F esta uniformemente acotada en cada compacto, entonces F es equicon-
tinua en un entorno de cada punto a . Para ello, sea r > 0 tal que
B(a, 2r) y sea la circunferencia, positivamente orientada, de centro a
y radio 2r. Al ser la trayectoria de un compacto, existe M (0, +)
tal que |f(w)| M para todo punto w y toda funcion f F. Fijemos
> 0 y sea := r/(2M). Aplicando la formula de la integral de Cauchy,
obtenemos
|f(z) f(z
)| =
1
2i
_
f(w)
w z
dw
1
2i
_
f(w)
w z
dw
1
2i
_
f(w)(z
z)
(w z)(w z
)
dw
M 4r
2r
2
|z z
|
=
2M
r
|z z
| <
para cualesquiera z, z
B(a, r) con |z z
| < y para cualquier funcion

f F. Esto prueba la equicontinuidad de F en B(a, r) y concluye la de-
mostracion.
3.3. Dual de los espacios de Lebesgue
En esta seccion suponemos al lector familiarizado con los espacios de
Lebesgue L
p
, as que solo recordaremos algunos conceptos y enunciaremos
el resultado que identica su dual. Suponemos aqu que es una medida
(positiva) denida sobre un espacio medible (X, M). Si p [1, +], de-
notamos por L
p
() el EV de las funciones medibles f : X K tales que
X
|f|
p
d < + (si p < +) o existe un conjunto de medida nula fuera
del cual f esta acotada (si p = +). Escribiremos simplemente L
p
cuan-
do se ha jado. En L
p
identicamos dos funciones si son iguales -en
casi todo, y por ello se admiten funciones que en algunos puntos tomen
valores (si K = R) o (si K = C). Sabemos que L
p
es un es-
pacio de Banach bajo la norma f
p
=
_
X
|f|
p
d
_
1/p
(si p < +) o
f
=nf{M [0, +) : |f| M -ect} (si p = +).

Sea p [1, +]. Sea q [1, +] el exponente conjugado de p, es decir,
1
p
+
1
q
= 1. Fijemos g L
q
. Gracias a la desigualdad de Holder, se tiene que
la aplicacion
g
: f L
p
X
fg d K
esta bien denida y, al ser lineal, es continua porque |
g
(f)| fg
1

f
p
g
q
. En otras palabras,
g
(L
p
)
. El resultado siguiente nos dice que,

si p es nito, las aplicaciones
g
son exactamente los elementos del dual.
Teorema 3.3.1. Con las notaciones anteriores, supongamos que p [1, +).
Entonces para cada (L
p
)
existe g L
q
tal que
g
= . Esta funcion g
es unica bajo esas condiciones, y cumple
g
= g
q
.
En el caso especial en que X = N y =
c
es la medida cardinal sobre
los subconjuntos de N, obtenemos los espacios de sucesiones L
p
(
c
) =
p
(1 p +). Por tanto
p

q
, donde p [1, +) y q es el exponente
conjugado de p. Tambien se tiene c
0

1
.
Finalizamos esta seccion recordando dos resultados de densidad en espa-
cios L
p
, uno general y otro particular. Se llama funcion escalonada a cada
funcion medible f : X K nula fuera de un alg un conjunto de medida nula
y tal que f(X) es un subconjunto nito de K. Pues bien, se verica que el
EV de las funciones escalonadas es denso en cada L
p
(1 p < +). En el
caso especial de la medida de Lebesgue N-dimensional
N
sobre un abierto
no vaco R
N
, se tiene que el EV de las funciones continuas f : K de
soporte compacto es denso en L
p
(,
N
) para todo p [1, +). Recordemos
que una funcion f : K se dice que tiene soporte compacto cuando existe
un compacto K tal que f(x) = 0 para todo x \ K.
3.4. Dual de C(S)
Supongamos que S es un ET separado y compacto. Queremos iden-
ticar el espacio dual del espacio de Banach C(S) := {f : S K : f es
continua}, dotado de la norma del supremo. A veces se usara la siguiente
notacion distintiva: seg un que K sea R o C, denotaremos C(S) por C(S, R)
o C(S, C), respectivamente.
Necesitamos cierta preparacion. Sean un conjunto no vaco, una -
algebra sobre y : K. Decimos que es una medida real (si K = R)
o medida compleja (si K = C, resp.) sobre el espacio medible (, ) cuando
k=1
E
k
_
=
k=1
(E
k
) para cualesquiera E
k
(k = 1, 2, ...) dos a
dos a disjuntos [notese que, en particular, () = 0]. En tal caso, se denomina
variacion total de a la aplicacion
|| : A sup
_

k=1
|(E
k
)| : E
k
dos a dos disjuntos, k N,
E =
k=1
E
k
_
[0, +].
Puede probarse que || es una medida positiva nita sobre (, ). Si es
un ET, se llama boreliano o conjunto de Borel de a cada miembro de la
menor -algebra B sobre que contiene a los abiertos de . Una medida de
Borel sobre es una medida (real o compleja) denida sobre B. Una medida
de Borel sobre se dice que es regular si, para cada A B, se tiene
||(A) = sup{||(K) : K es compacto y K A}.
Denotaremos por M(, K) el EV de las medidas (reales o complejas seg un
que, respectivamente, K = R o K = C) de Borel regulares sobre el ET
[si K esta determinado, escribiremos M(, K) = M()]. Es facil ver que
:= ||() es una norma sobre M().
Si S es un ET como al principio de la seccion y M(S), es facil ver
que la aplicacion : f C(S)
S
f d K esta en C(S)
. El siguiente
Teorema de representacion de Riesz establece que cada elemento del dual de
C(S) tiene exactamente la forma anterior. Ya que la demostracion es larga,
solo se daran algunas indicaciones de la misma.
Teorema 3.4.1. Sea S un ET separado y compacto. Entonces los espacios
normados C(S) y M(S) son isometricamente isomorfos. Especcamente,
la aplicacion : M(S)
C(S)
, donde
(f) :=
S
f d (f
C(S)), es lineal, biyectiva y satisface
= para toda M(S).

Demostracion. La parte esencial es la sobreyectividad de la aplicacion. Pode-
mos suponer K = R (considerar partes reales e imaginarias para el caso K =
C). Fijemos C(S, R)
. Hemos de encontrar una medida M(S, R) tal

que
= .
Supongamos primero que es positiva, es decir, cumple (f) 0 si
f 0. Para V abierto, se dene (V ) = sup{(f) : 0 f
V
} y, para
cualquier A B, se dene
(A) =nf{(V ) : A V, V es abierto}.
Entonces es una medida positiva y nita sobre B, la cual es regular y
cumple (f) =
S
f d para cada f C(S), es decir,
= .
Sea ahora cualquier C(S)
. Para f C(S) con f 0, se dene

(f) := sup{|(h)| : h C(S), |h| f}. Y si f C(S) es cualquiera,
descomponemos f = f
+
f
y denimos (f) := (f
+
) (f
). Resulta
que es un funcional lineal positivo sobre C(S) tal que |(f)| (|f|)
f
para toda f C(S).

Por la primera parte, existe una medida de Borel positiva y nita tal que
(f) =
S
f d para cada f C(S). Por tanto |(f)|
S
|f| d = f
1
en
C(S). Por el teorema de HahnBanach, podemos extender a un funcional
lineal y continuo sobre L
1
(), de norma 1. De acuerdo con el Teorema 3.3.1
(caso p = 1), existe g : S K medible con |g| 1 tal que (f) =
S
fg d
(f C(S)). Basta tomar ahora := gd, es decir, (A) =
A
g d para cada
A B.
3.5. Teorema de aproximacion de Runge
Vamos a establecer el que historicamente fue el primer teorema de
aproximacion en Variable Compleja, a saber, el Teorema de Runge (1885),
que establece la posibilidad de aproximar una funcion holomorfa en un abier-
to mediante funciones racionales o, en ciertos casos, mediante polinomios
holomorfos.
Nos seran utiles las dos siguientes observaciones:
(A) Si K es un compacto no vaco contenido en un abierto de C, entonces
existe un ciclo (o sea, una union nita de arcos cerrados recticables)
\ K tal que, para cada f H() y cada z K, se cumple la
formula de la integral de Cauchy f(z) =
1
2i
_
f()
z
d.
(B) Si C es un abierto, existe una sucesion {K
n
}
n1
de compactos tales
que =
n=1
K
n
, K
n
K
0
n+1
(n 1), cada subconjunto compacto de
esta contenido en alg un K
n
y, para todo n N, cada componente de
C
\ K
n
contiene alguna componente de C
\ .
Hemos denotado C
= C{0}, el plano complejo completado, que puede

identicarse con la esfera de Riemann S
2
= {(x
1
, x
2
, x
3
) R
3
: x
2
1
+ x
2
2
+
x
2
3
= 1}. Recordemos que un abierto de C se dice que es simplemente conexo
cuando no tiene agujeros, es decir, cuando C
\ es conexo.
Teorema 3.5.1. (a) Sean K un subconjunto compacto de un abierto
de C, > 0, f H() y A un conjunto constituido por un punto
de cada componente conexa de C
\ K. Entonces existe una funcion

racional R tal que {polos de R} A y |f(z) R(z)| < para todo
z K.
(b) Sean C un abierto, f H() y A un subconjunto constituido por
un punto de cada componente conexa de C
\ . Entonces existe una

sucesion de funciones racionales {R
n
}
n1
con polos solo en A tal que
R
n
n
f en H().
(c) Si C es un abierto simplemente conexo, entonces el conjunto de
los polinomios es denso en H().
Demostracion. La parte (c) es consecuencia de (b) tomando A = {}.
Probemos (b) partiendo de (a): elijamos para una sucesion de compactos
como en (B). Fijado un n N, cada componente conexa de C
\ K
n
con-
tiene alg un punto de A. Por (a), existe R
n
funcion racional tal que {polos
de R
n
} A y |R
n
(z) f(z)| < 1/n para todo z K
n
. Fijado un compacto
K , existe n
0
N tal que K K
n
para todo n n
0
. Esto implica
|R
n
(z) f(z)| < 1/n para cada z K y cada n n
0
, de donde R
n
n
f en
H().
Queda demostrar (a). Para ello jamos K, , f y A como en la hipotesis.
Denotemos por M el conjunto de todas las funciones racionales con polos
solo en A. Ya que la aproximacion que se pretende es en la norma de C(K),
por los teoremas de representacion de Riesz y de HahnBanach es suciente
probar que, si es una medida de Borel compleja sobre K tal que
K
Rd = 0 R M, (7)
entonces
K
f d = 0.
Denamos la funcion h(z) =
K
d()
z
H(C
\ K). Sea A y
V la componente conexa de C
\ K que contiene a . Si es nito,

existe r > 0 tal que B(, r) V . Fijado un z B(, r), se tiene que
1
z
= lm
n
n
k=0
(z)
k
()
k+1
uniformemente en K. Pero, gracias a (7),
n
k=0
(z)
k
()
k+1
d() = 0 para cada n, luego h 0 en B(, r), as que
h 0 en V . Si = , entonces existe r > 0 tal que V {z
C
: |z| > r} y se aplicara un razonamiento similar a la expresion

1
z
=
lm
n
n
k=0
z
k1
k
. En consecuencia, h 0 en C
\ K.
Elijamos ahora un ciclo \ K como el dado en la observacion
(A). Podemos usar el Teorema de Fubini, puesto que estamos tratando con
medidas de Borel y funciones continuas sobre conjuntos compactos. Resulta
as que
K
f d =
K
_
1
2i
_
f(w)
w z
dw
_
d(z)
=
1
2i
_
_
K
d(z)
z w
_
f(w) dw =
1
2i
_
h(w)f(w) dw = 0,
como queramos demostrar.
3.6. Redes en espacios topologicos
Un ET X se dice que es primer numerable cuando cada punto admite
una base de entornos numerable. Por ejemplo, cada espacio metrizable es
primer numerable pues, jado x
0
X, las bolas abiertas B(x
0
, 1/n) (n N)
constituyen una base de entornos de x
0
. Es bien sabido que en un ET primer
numerable, la topologa queda denida por las sucesiones convergentes, es
decir, si
1
,
2
son dos topologas sobre un mismo conjunto X que hacen de
el un ET primer numerable, entonces
1
=
2
si y solo si (X,
1
) y (X,
2
)
contienen las mismas sucesiones convergentes. Como consecuencia, si f :
X Y es una aplicacion entre espacios topologicos con X primer numerable,
entonces f es continua si y solo si es secuencialmente continua. As pues,
las sucesiones son un instrumento muy comodo para comparar topologas y
establecer continuidad en el caso anterior.
El problema es que existen importantes espacios topologicos y en par-
ticular, importantes espacios vectoriales topologicos que no disfrutan de la
propiedad anterior de poseer bases numerables de entornos. Las redes, de-
nominadas tambien sucesiones generalizadas o sucesiones de MooreSmith,
han venido a ser un muy util instrumento sustitutivo de las sucesiones, pues
comparten muchas propiedades de estas y son aplicables a todos los espacios
topologicos. Las demostraciones de buen n umero de resultados de topologa
y de analisis funcional pueden simplicarse bastante con el uso de las re-
des. Tras las deniciones, seleccionaremos las propiedades basicas, y con ello
concluiremos el captulo.
Recordemos que un orden parcial en un conjunto no vaco I es una
relacion binaria que es reexiva, antisimetrica y transitiva. Por denicion,
si , I, las notacion signica .
Denicion 3.6.1. (a) Sea I un conjunto no vaco al que se dota de un
orden parcial . Decimos que I es dirigido cuando, para cada dos
elementos , I, existe I tal que y .
(b) Un subconjunto dirigido J de un conjunto dirigido I se llama conal
cuando, para cada I existe J tal que .
(c) Sea X un conjunto no vaco. Una red en X es una familia (x
)
I
en
la que I es un conjunto dirigido y x
X para todo I.
(d) Si (x
)
I
es una red en X y J I es conal, decimos que la familia
(x
)
J
es una subred de (x
)
I
.
Nota 3.6.2. Observemos que las sucesiones en un conjunto X no son mas que
las redes (x
n
)
nN
donde N esta dotado del orden usual. Notemos tambien que
cada subconjunto conal de un conjunto dirigido es tambien dirigido, luego
una subred es tambien una red.
Denicion 3.6.3. Sean X un ET, x
0
X y (x
)
I
una red en X.
(a) Decimos que (x
)
I
converge a x
0
cuando, para cada entorno U de x
0
existe
0
=
0
(U) I tal que x
U para todo
0
. Denotaremos
este hecho por x

I
x
0
, o simplemente por x
x
0
cuando no haya
confusion con el conjunto de ndices I.
(b) Decimos que x
0
es un punto adherente de (x
)
I
cuando, para cada
entorno U de x
0
y cada I, existe con x
U. Equivalente-
mente, cuando existe alguna subred convergente a x
0
.
Es evidente que si una red converge a un punto x
0
entonces x
0
es un punto
adherente de la red y toda subred converge a x
0
.
Teorema 3.6.4. (a) Si
1
y
2
son dos topologas sobre un mismo con-
junto X, entonces
1

2
si y solo si, para cada x
0
X, cada red
1
-convergente a x
0
es tambien
2
-convergente a x
0
. Por tanto
1
=
2
es equivalente a la siguiente propiedad: para cada punto de X, las re-
des que
1
-convergen a el son las mismas que las que
2
-convergen al
mismo.
(b) Si X es un ET y A X, entonces x A si y solo si existe una red
de puntos de A que converge a x. Por tanto, A es cerrado si y solo si
A contiene todos los lmites de redes convergentes formadas por puntos
de A.
(c) Un ET X es separado si y solo cada red convergente converge a un
solo punto de X.
(d) Un ET X es compacto si y solo si cada red admite una subred conver-
gente, y si y solo si cada red tiene un punto adherente.
(e) Si f : X Y es una aplicacion entre dos espacios topologicos y x
0

X, entonces f es continua en x
0
si y solo si, para cada red (x
)
I
X
con x
x
0
en X, se tiene que f(x
f(x
0
) en Y .
Demostracion. (a) La necesidad es obvia porque cada
2
-entorno de x
0
es
tambien un
1
-entorno de x
0
. Supongamos ahora que se da esta condicion
para cada x
0
X. Por reduccion al absurdo, partimos de que existe un
2
-
entorno U de alg un punto x
0
U que no es
1
-entorno de x
0
. Consideremos
el conjunto I := {
1
-entornos de x
0
}, que es un conjunto dirigido con el orden
V W W V . Para cada V I, debe existir alg un punto x
V
V \ U
(de lo contrario U contendra alg un
1
-entorno de x
0
, y por tanto el propio U
sera un
1
-entorno de x
0
). Es facil ver ahora que la red (x
V
)
V I

1
-converge
a x
0
pero no converge a x
0
respecto de
2
. Esta es la contradiccion que se
buscaba.
(b) Supongamos que x A. Consideremos el conjunto I := {entornos de x},
que es un conjunto dirigido con el orden V W W V . Si para cada
V I seleccionamos un punto x
V
V A, es evidente que la red (x
V
)
V I
esta formada por puntos de A y converge a x. Recprocamente, supongamos
que existe una red (x
)
I
A que converge a x. Si U es un entorno de x,
existe I tal que x
U. As que x
U A, luego U A = . Por tanto

x A.
(c) Sea ahora X un ET separado. Por reduccion al absurdo, sea (x
)
I
una
red convergente a dos puntos distintos x e y de X. Tomemos dos abiertos U y
V con x U, y V y U V = . Por convergencia, existen
1
,
2
I tales
que x
U para todo
1
y x
V para todo
2
. Si elegimos I
con
1
,
2
, llegamos a que x
U V = , que es la contradiccion
deseada. Para el recproco, partimos, de nuevo por reduccion al absurdo, de
que las redes convergentes lo hacen a un unico punto y de que existen dos
puntos x = y en X para los que dos entornos respectivos siempre tienen
puntos comunes. Sea I := {(U, V ) : U es un entorno de x y V es un entorno
de y}, que es un conjunto dirigido con el orden (U, V ) (U
, V
) U
U
y V
V . Si para cada (U, V ) I tomamos x

(U,V )
U V , es evidente que
la red (x
(U,V )
)
(U,V )I
converge a x e y, y llegamos a un absurdo.
(d) Partimos de que X es compacto y de que, por va de la contradiccion,
existe una red (x
)
I
que carece de puntos adherentes. Entonces para cada
z X existe un abierto U
z
con la siguiente propiedad: z U
z
y existe
= (z) I tal que para todo se tiene x
/ U
z
. Consideremos la
familia {U
z
}
zX
, que es un recubrimiento abierto de X. Como X es compacto,
admite un subrecubrimiento nito, digamos U
z
1
, . . . , U
z
p
. Como I es dirigido,
existe I tal que (z
1
), . . . , (z
p
). Entonces x
/ U
z
j
(j = 1, ..., p),
luego x
/

p
j=1
U
z
j
= X, lo que es absurdo. Recprocamente, supongamos
que toda red en X admite un punto adherente y que, de nuevo por reduccion
al absurdo, X no es compacto. Entonces existira un recubrimiento abierto U
de X que no admite subrecubrimiento nito. Llamemos I al conjunto de todas
las uniones nitas de miembros de U. Entonces I es un conjunto dirigido si
se le dota del orden dado por la inclusion: V W V W. Gracias a
nuestra suposicion, para cada V I podemos elegir un punto x
V
X \ V .
Consideremos la red (x
V
)
V I
. Por hipotesis, admite alg un punto adherente,
sea x
0
X. Ahora bien, existe U U tal que x
0
U. Como U I, debe
existir V I con V U tal que x
V
U, lo cual es una contradiccion puesto
que x
V
X \ V X \ U.
(e) Partimos de que f es continua en x
0
y de que x
x
0
. Sea U un entorno
de f(x
0
) en Y . Entonces f
1
(U) es un entorno de x
0
en X, de donde existe
0
I con x
f
1
(U) si
0
. Por tanto f(x
) U para esos mismos ,

y as f(x
f(x
0
). Recprocamente, supongamos, por reduccion al absurdo,
que f transforma redes convergentes a x
0
en redes convergentes a f(x
0
) y
que existe un entorno U de f(x
0
) tal que f
1
(U) no es un entorno de x
0
.
Consideremos la familia I de los entornos de x
0
, que es un conjunto dirigido
bajo el orden V W W V . Puesto que cualquier superconjunto de un
entorno de x
0
sigue siendo un entorno de x
0
, para cada V I debe haber al
menos un punto x
V
V \ f
1
(U). Entonces la red (x
V
)
V I
converge a x
0
,
pero f(x
V
) / U para todo V I, luego la red (f(x
V
))
V I
no converge a
f(x
0
), y hemos llegado de nuevo a una contradiccion.
Ejercicios
1.- Sea f : [0, 1] R una funcion continua tal que
1
0
t
n
f(t) dt = 0 para todo
n N
0
. Demostrar que f 0. Indicacion: usar el teorema de aproximacion
de Weierstrass.
2.- Demostrar que el conjunto A := {f C([0, 1], R) : f es dos veces diferen-
ciable en [0, 1], f(0) = 0 = f
(0) y |f
(x)| 1 x [0, 1]} es relativamente

compacto en C([0, 1]).
3.- (a) Sea N N y consideremos el EV C
N
([a, b]) de las funciones f : [a, b]
K derivables con continuidad en [a, b] hasta orden N inclusive, dotado
de la norma f = max
0kN
sup
axb
|f
(k)
(x)|. Demostrar que el
conjunto de los polinomios es denso en C
N
([a, b]).
(b) Si R es un abierto no vaco, probar que el conjunto de los poli-
nomios es denso en el EVT C
() denido en el Captulo 2.
4.- Sea la campana de Gauss, es decir, la funcion (x) = e
x
2
. Si 1
p < +, demostrar que el conjunto {P : P es un polinomio} es un
subconjunto denso en L
p
(R). Razonar por que no lo es en L
(R).
5.- Sea un subconjunto abierto no vaco de C y consideremos la familia
F =
_
f H() :

|f(x +iy)| dxdy 1

_
.
Demostrar que F es relativamente compacta en H().
Indicacion: Fijar un punto z
0
y probar, utilizando el teorema de la
media para funciones analticas y usando un cambio a coordenadas polares,
que F esta uniformemente acotada en un entorno de z
0
.
6.- Hallar el sup
_
1
0
xf(x) dx : f : [0, 1] R es medible y
1
0
f(x)
4
dx 1
_
.
7.- Sobre el espacio de Banach C([0, 1], R) se dene la aplicacion
: f C([0, 1], R)
n=1
2
n
f(1/n) +
1/2
0
tf(t) dt R.
(a) Probar que esta bien denida, es lineal y continua, y calcular .
(b) Determinar la medida real de Borel que corresponde a por
el teorema de representacion de Riesz.
8.- Sea C una region simplemente conexa tal que 0 / . Se ja N N y se
dene P
N
como el conjunto de polinomios que tienen un cero en el origen
de multiplicidad al menos N. Demostrar que P
N
es denso en H().
9.- Sea X un EV al que se dota de una topologa . Probar que (X, ) es un
EVT si y solo si, dados dos vectores x, y X, dos escalares , K, y dos
redes (x
)
I
, (y
)
I
con el mismo conjunto de ndices I tales que x
x
e y
y (respecto de ), se tiene que x
+y
x +y.
10.- (a) Si (I, ) y (J, ) son dos conjuntos dirigidos, demostrar que el producto
I J es un conjunto dirigido bajo el orden denido as:
(i
1
, j
1
) (i
2
, j
2
) i
1
i
2
y j
1
j
2
.
(b) Usando redes, demostrar el apartado (b) de la Proposicion 2.1.7.
Indicacion: Aplicar el Teorema 3.6.4(b), el ejercicio anterior y el apartado
(a) de este ejercicio.
11.- Consideremos una familia {Y
i
}
iX
de conjuntos, cada uno de los cuales es un
ET, y su producto cartesiano
iX
Y
i
, dotado de la topologa producto (ir a
la Seccion 4.6 para recordar estos conceptos). Considerando las proyecciones
j
: f

iX
Y
i
f(j) Y
j
(j X) y utilizando redes, demostrar
el Teorema de Tychono, el cual arma que las siguientes propiedades son
equivalentes:
(a)
iX
Y
i
es compacto.
(b) Cada Y
i
es compacto.
12.- Demostrar que si (x
)
I
es una red convergente en un EVT entonces el
conjunto {x
: I} es acotado.
13.- Denotemos D = {z C : |z| < 1} y D = {z C : |z| 1}, es decir,
el disco unidad abierto y el disco unidad cerrado, respectivamente, de C.
Consideremos el espacio de Banach C(D) de las funciones continuas f :
D C dotado de la norma del supremo, as como el subespacio vectorial
A := {f C(D) : f H(D)}, denominado algebra del disco. Demostrar
que, bajo la misma norma, A es un espacio de Banach en el cual el conjunto
de los polinomios es denso.
14.- Sea C un abierto no vaco, y consideremos el operador de derivacion D :
f H() f
H(). Si P es el polinomio P(z) = a

0
+a
1
z + +a
N
z
N
,
se dene el operador P(D) por P(D) = a
0
I +a
1
D+ +a
N
D
N
. Demostrar
que cada operador P(D) esta bien denido y es lineal y continuo, y que, si
es simplemente conexo, es sobreyectivo salvo que P = 0.
Indicacion: comenzar con el caso P(D) = D aI (a C).
15.- (a) Vericar que la funcion : R R dada por (x) = e
1/x
2
(x = 0),
(0) = 0, pertenece a C
(R), y ademas f
(n)
(0) = 0 para todo n 0
y no es analtica en el origen.
(b) Demostrar que el conjunto M := {f C
(R) : f
(n)
(0) = 0 para
todo n 0} es un subespacio vectorial cerrado innito-dimensional de
C
(R).
16.- Si f : R R es una funcion continua, se llama soporte de f a la clausura del
conjunto de puntos donde f no se anula. Si K R es compacto, se denota
por D
K
el EV de las funciones de C
(R) cuyo soporte esta contenido en

K (ver Captulo 2). Y se denota por D el espacio de las funciones test,
es decir, el EV de las funciones de C
(R) de soporte compacto. As que

D =
{D
K
: K R compacto}.
(a) Para cada intervalo compacto [a, b] R, vericar que la funcion : R
R dada por
(x) =
_
_
_
0 si x a o x b
e
1
xb
1
xa
si x (a, b).
pertenece a D
[a,b]
.
(b) Denotemos por
K
la topologa que D
K
hereda de C
(R). Llamemos
a la familia de todos los subconjuntos V D tales que V D
K

K
para cada subconjunto compacto K . Demostrar que es una topologa
que hace de D un EVT localmente convexo.
(c) Se llama distribucion o funcion generalizada a cada elemento de D
, el
espacio dual de D. Si : D R es lineal, demostrar que D
si y solo
si, para cada compacto K R, existen M (0, +) y N N de modo que
|(f)| M sup
i=0,1,...,N
sup
xK
|f
(i)
(x)| para toda f D
K
.
Indicacion: usar el Ejercicio 5 del Captulo 2.
(d) Si g es una funcion localmente integrable en R, vericar que la aplicacion
: f D
n=0
f
(n)
(n) +
f(x)g(x) dx R
es una distribucion.
Captulo 4
Dualidad y Teoremas de
HahnBanach
En este captulo penetraremos en la estructura de los espacios duales
de los espacios topologicos, en especial de los espacios localmente convexos
y, en particular, de los espacios normados. Los teoremas de extension de
HahnBanach estan ntimamente conectados al dual de un EVT. Estudia-
remos la topologa debil en el espacio original y la topologa -debil en el
espacio dual, su relacion con las topologas originales, as como propiedades
como las de acotacion, compacidad, y convexidad combinada con clausura.
Tambien consideraremos el bidual de un EN y relacionaremos la reexividad
con la topologa debil. Finalmente, presentaremos el concepto de aplicacion
traspuesta a una dada y relacionaremos su continuidad a traves del teorema
de Schauder.
4.1. Aplicaciones lineales reales y complejas
Vamos a comenzar estudiando, en el ambito mas general de los espa-
cios vectoriales topologicos, teoremas de tipo HahnBanach similares a los
83
ya conocidos para espacios normados reales. Habitualmente, sucede que las
demostraciones de los teoremas del analisis funcional son igualmente validas
para K = R y K = C. Sin embargo, en este captulo tendremos que diferen-
ciar los dos casos. Debemos notar que todo EV sobre C lo es tambien sobre
R. Por tanto, al hablar de aplicaciones lineales, habra que especicar si son
lineales reales o lineales complejas. El siguiente hecho relaciona ambos tipos
de linealidad.
Proposicion 4.1.1. Sea X un EV complejo y : X C una aplicacion
lineal compleja. Entonces u := Re es lineal real. Ademas, (x) = u(x)
iu(ix) para todo x X. Recprocamente, si u : X R es lineal real, se tiene
que la aplicaci on (x) := u(x) iu(ix) es lineal compleja.
Demostracion. Dada como en la primera parte del enunciado, es obvio
que u es lineal real. Ahora bien, para cada z C se tiene que Imz =
Re(iz), luego (x) = Re(x) +iIm(x) = Re(x) iRe(i(x)) = Re(x)
iRe((ix)) = u(x) iu(ix) para todo x X.
Recprocamente, supongamos que u es lineal real, y consideremos (x) :=
u(x) iu(ix). La aditividad de es inmediata. En cuanto a la escalaridad,
jemos c = a + ib [con a, b R] y x X. Resulta que (cx) = u(cx)
iu(icx) = u(ax + ibx) iu(iax bx) = au(x) + bu(ix) iau(ix) + ibu(x) =
(a + ib)(u(x) iu(ix)) = c(x), c.q.d.
Vemos por tanto que hay una correspondencia uno a uno entre formas
lineales reales y complejas, y claramente tambien entre formas lineales con-
tinuas reales y complejas.
4.2. Teoremas de HahnBanach
El siguiente resultado se conoce de cursos introductorios al analisis fun-
cional, y de hecho es la forma mas abstracta del Teorema de HahnBanach.
DUALIDAD Y TEOREMAS DE HAHNBANACH 85
Teorema 4.2.1. Sean X un EV real y p : X R una subnorma en X,
es decir, p es subaditiva y homogenea para escalares positivos. Sean M un
subespacio vectorial de X y f : X R lineal tal que f(x) p(x) para todo
x M. Entonces existe una forma lineal : X R tal que |
M
= f y
(x) p(x) para todo x X.
De lo anterior podemos deducir otra version analtica del teorema de
HahnBanach, la cual se expone a continuacion.
Teorema 4.2.2. Sean M un subespacio de un EV X, p una seminorma en
X y f : X K lineal tal que |f(x)| p(x) para todo x M. Entonces
existe una forma lineal : X K tal que |
M
= f y |(x)| p(x) para
todo x X.
Demostracion. Si K = R, el resultado se deduce del Teorema 4.2.1, puesto
que, si es la extension obtenida, resulta que p(x) (x) = (x)
p(x), as que |(x)| p(x) para todo x X. Se ha usado que p(x) = p(x).
Si K = C, sea u = Ref. Entonces u p, luego existe U : X R lineal
tal que U|
M
= u y U p en X. Denimos (x) := U(x) iU(ix) (x X).
Entonces, por la Proposicion 4.1.1, es lineal compleja X C y |
M
= f.
Por ultimo, para cada x X, sea C con || = 1 tal que (x) = |(x)|.
Entonces |(x)| = (x) = U(x) p(x) = p(x), c.q.d.
Como se ve, el resultado anterior vale para espacios vectoriales tanto
reales como complejos. Vamos a dar un par de consecuencias directas. Pero
antes necesitamos un sencillo lema, que es un caso particular del Ejercicio 5
del Captulo 2.
Lema 4.2.3. Sea X un ELC y P una familia separante y ltrante de semi-
normas que dene la topologa de X. Supongamos que f : X K es lineal.
Entonces f es continua si y solo si existen p P y M (0, +) tales que
|f(x)| Mp(x) para todo x X.
Demostracion. Supongamos primero que existen p, M como en el enunciado.
Como f es lineal, para probar que es continua basta demostrar su continuidad
en el 0. Sea pues > 0. Como f(0) = 0, hemos de hallar V E(0) tal que
f(V ) (, ). Basta tomar V := {x X : p(x) < /M}.
Recprocamente, supongamos que f es continua. Entonces f
1
((1, 1))
E(0), luego existen p P y > 0 de modo que {x X : p(x) < }
f
1
((1, 1)). De otra forma, |f(y)| < 1 si p(y) < . Sean x X y > 0.
Entonces el vector y :=

+p(x)
x cumple p(y) < , luego |f(
x
+p(x)
)| < 1, y
por tanto |f(x)| Mp(x), donde M := 1/, tras hacer 0.
Corolario 4.2.4. Sean X un ELC, Y un subespacio de X y f : Y K una
forma lineal continua. Entonces existe una forma lineal continua : X K
que extiende a f, es decir, |
Y
= f.
Demostracion. Sea P una familia de seminormas como en el Lema 4.2.3.
Como f es continua en Y , existen p P y M > 0 tales que |f(x)| Mp(x)
para todo x Y . Por el Teorema 4.2.2, existe : X K lineal tal que
|(x)| Mp(x) para todo x X y |
Y
= f. Finalmente, y de nuevo por el
Lema 4.2.3, es continua.
Corolario 4.2.5. Sean X un EVT, x
0
X, K y p una seminorma
continua sobre X tal que p(x
0
) > 0. Entonces existe una forma lineal continua
: X K que verica (x
0
) = y |(x)|
||
p(x
0
)
p(x) para todo x X.
Demostracion. Sea M := x
0
. Entonces la aplicacion f : M K dada
por f(x
0
) = es lineal y verica |f(x
0
)| =
||
p(x
0
)
|p(x
0
)| =
||
p(x
0
)
p(x
0
),
luego |f(x)|
||
p(x
0
)
p(x) para todo x M. Por el Teorema 4.2.2, existe
una forma lineal : X K tal que |
M
= f y |(x)|
||
p(x
0
)
p(x) para
todo x X. En particular, (x
0
) = f(x
0
) = . Por ultimo, es continua
porque p es continua y |(x)| p(x), con := ||/p(x
0
). En efecto, basta
probar que es continua en el 0. Fijado > 0, se tiene que
1
((B(0, ))
p
1
(B(0, /)) E(0) porque p es continua. Luego
1
((B(0, )) E(0),
c.q.d.
4.3. Teoremas de HahnBanach y convexidad
Vamos a dar otra forma mas del teorema de HahnBanach, que involu-
cra conjuntos convexos. Una vez mas, necesitamos un sencillo lema.
Lema 4.3.1. Toda forma lineal no constante sobre un EVT es abierta.
Demostracion. Sea : X K una forma lineal no constante, lo que equivale
a decir que 0, donde X es un EVT. Fijemos x
0
X y un abierto U x
0
.
Sea := (x
0
). Como 0, existe x
1
X tal que (x
1
) = 1. Como X
es un EVT, existe > 0 de modo que x
0
+ tx
1
U si |t| < . Entonces
B(, ) (U), luego (U) es un entorno de , c.q.d.
Teorema 4.3.2. Sean X un EVT y A, B X dos subconjuntos convexos,
disjuntos y no vacos. Se tiene:
(a) Si A es abierto, existen X
y R tales que Re x < Re y

para todo x A y todo y B.
(b) Si A es compacto, B es cerrado y X es localmente convexo, existen
X
y
1
,
2
R tales que Re x <
1
<
2
< Re y para todo
x A y todo y B.
Demostraci on. Supongamos probado el teorema para el caso real. Entonces
existe u : X R lineal y continua de modo que (a) y (b) se cumplen.
Tomando (x) = u(x)iu(ix) se obtiene el caso complejo. Luego es suciente
demostrar el teorema si K = R.
(a) Sean a
0
A y b
0
B. Pongamos x
0
:= b
0
a
0
y C := AB+x
0
. Como
C es abierto y 0 C, se tiene que C es un entorno abierto y convexo de 0.
Sea p el funcional de Minkowski de C. Entonces p es una subnorma tal que
C = {x X : p(x) < 1}. Como A B = , resulta x
0
/ C, luego p(x
0
) 1.
Denamos f(tx
0
) = t sobre x
0
. Entonces f(tx
0
) = t tp(x
0
) = p(tx
0
) si
t > 0, y f(tx
0
) = t < 0 < p(tx
0
) si t < 0. As que f p. Luego existe
: X R lineal que extiende f y verica p. En particular, 1 sobre
C, y por tanto 1 sobre C. Por tanto || 1 sobre C (C) E(0).
Del Teorema 2.4.2 se deduce que X
.
Sean ahora a A y b B. Se tiene a b + 1 = (a b + x
0
)
p(a b + x
0
) < 1 porque a b + x
0
C. As a < b. Resulta que (A)
y (B) son dos subconjuntos convexos de R (luego son intervalos) con (A)
a la izquierda de (B), y (A) es abierto por el Lema 4.3.1. Basta tomar
:= sup (A).
(b) Sean A y B como en la hipotesis. Dado x A, se tiene que x / B, luego
existe V
x
E(0) abierto tal que (x+V
x
)B = . Tomamos U
x
E(0) abierto
y convexo tal que U
x
+U
x
V
x
. Como A es compacto y A
xA
(x +U
x
),
existe un n umero nito de puntos x
1
, . . . , x
n
A de modo que A (x
1
+
U
x
1
) (x
n
+ U
x
n
). Sea V :=
n
i=1
U
x
i
. Entonces V es abierto, V 0 y
(A+V )B = [pues si x A+V , existe i {1, . . . , n} con x x
i
+U
x
i
+V ,
luego x x
i
+ U
x
i
+ U
x
i
x
i
+ V
x
i
, as que x / B].
Por otra parte, A+V es abierto y convexo. En consecuencia, y de acuerdo
con (a), existe X
tal que (A+V ) y (B) son disjuntos, con (A+V )

intervalo abierto a la izquierda de (B). Como (A) es compacto, obtenemos
que (A) y (B) pueden separarse en el sentido de (b).
Corolario 4.3.3. Si X es un ELC, entonces X
separa puntos de X, es
decir, dados x
1
, x
2
X con x
1
= x
2
, existe X
tal que x
1
= x
2
.
Por tanto, la convexidad local nos asegura un gran surtido de formas
lineales continuas. No obstante, la condicion de convexidad local no puede
omitirse en el corolario anterior: recordemos, por ejemplo, que (L
p
)
= {0}
si 0 < p < 1. Concluimos esta seccion con otro resultado sobre existencia de
formas lineales continuas para espacios localmente convexos.
Teorema 4.3.4. Sean X un ELC, M un subespacio de X y x
0
X \ M.
Entonces existe X
tal que (x
0
) = 1 y |
M
0.
Demostracion. En el apartado (b) del Teorema 4.3.2, tomese A = {x
0
} y
B = M. Entonces (x
0
) / (M) y (M) es un subespacio propio de
K, luego (M) = {0} y (x
0
) = 0. La forma lineal /(x
0
) cumple las
condiciones requeridas.
4.4. Forma geometrica del teorema de Hahn
Banach
Profundizaremos ahora en los aspectos geometricos del teorema de
HahnBanach.
Supongamos que X es un EV. Si M es un subespacio de X y x
0
X,
entonces el conjunto x
0
+ M es llamado una variedad afn o subespacio
afn de X. Un subespacio M de X es maximal si M = X y ning un
subespacio propio de X contiene a M, salvo el mismo M. Es obvio que si M es
maximal y a / M entonces M, a (:= span (M{a})) = X. Recprocamente,
si M = X y existe a X tal que M, a = X, entonces M es maximal.
En efecto, si M
1
X es un subespacio vectorial tal que M
1
M, sea
x
1
= m + a M
1
\ M (con m M y K); esto implica que a M
1
,
luego M
1
= X. Cualquier trasladado x
0
+M de un subespacio maximal M se
llama hiperplano afn. Se llama hiperplano a cada subespacio vectorial
maximal M. Entonces x
0
+M se dice que es un hiperplano afn paralelo a
M.
En el proximo teorema, de caracter puramente algebraico, establecere-
mos la estructura de los hiperplanos y su relacion con las formas lineales.
Denotaremos por X
el dual algebraico de X, es decir, X
= {formas lineales
: X K}.
Teorema 4.4.1. Sea X un EV. Se tiene:
(a) Para cada X
\ {0}, el conjunto Ker es un hiperplano. Cada

hiperplano afn paralelo a Ker es de la forma {x X : (x) = }
para alg un K.
(b) Dado un hiperplano H de X, existe X
tal que H = Ker . Ademas,

si X
cumple Ker = Ker , entonces = c para alg un c

K\ {0}.
(c) Para cada hiperplano afn M con M 0, existe un unico X
tal
que M = {x X : (x) = 1}.
Demostracion. (a) Sea H = Ker . Como = 0, H es un subespacio de
X con H = X. Tomemos a X \ H. Entonces x
(x)
(a)
a H, de donde
x a + H. Se deduce que H, a = X, as que H es un hiperplano. Sea
ahora M un hiperplano afn paralelo a H, de modo que M = H + b con
b X. Si b H, basta tomar = 0. Si b / H, tomese = (b).
(b) Sea H un hiperplano de X. Tomemos a X \ H. Entonces X = H, a,
luego cada x X tiene una unica representacion x = h + a (con h H
y K). Denimos : X K por (x) = . Entonces Ker = H. Por
otra parte, si X
es tal que Ker = H, resulta que, para cada x X,

(x) = (h + a) = (a) = (a)(x).
(c) Sea M un hiperplano afn con M 0. Entonces M = a + H con a / H.
Por (b) existe X
tal que H = Ker . Sea :=

(a)
. Entonces (a) = 1 y
M = {x X : (x) = 1}. Si hubiese otro X
tal que M = {x : (x) =

1}, tendramos Ker = Ker y (a) = 1 = (a). De acuerdo con (b), esto
implica que = .
En el caso de un EVT, sabemos que la clausura de un subespacio vectorial
es tambien un subespacio vectorial. En consecuencia, por maximalidad, se
tiene que un hiperplano en un EVT es cerrado o denso. Si : X K es
una forma lineal sobre X, sabemos que Ker es cerrado si y solo si es
continua. En consecuencia, para un hiperplano H = Ker , se verica: H es
cerrado es continua; H es denso no es continua. Por otra
parte, si K = R y M = {x X : (x) = } es un hiperplano afn, entonces
M divide a X en dos semiespacios {x : (x) < } y {x : (x) > }, o
bien {x : (x) } y {x : (x) }. Si es continua, entonces los dos
primeros son abiertos y los otros dos son cerrados; el recproco es cierto.
A continuacion enunciamos la forma geometrica del Teorema de Hahn
Banach.
Teorema 4.4.2. Sean X un EVT, un abierto convexo no vaco X y M
un subespacio afn disjunto con . Entonces existe un hiperplano afn cerrado
H tal que H = y H M.
Demostracion. Apliquemos el Teorema 4.3.2 para A = y B = M. Entonces
existen X
y R tales que Re x < Re y para todo x y

todo y M. As (M) es un subespacio afn propio de K, luego se reduce a
un punto, digamos (M) = {}. Consideremos H :=
1
({}) = {x X :
x = }. Entonces H es un hiperplano afn cerrado y H M. Finalmente,
para cada x , se tiene Re x < Re , luego H = .
Si X es un EV y A X, se dene la envolvente convexa de A, co(A),
como la interseccion de todos los conjuntos convexos que contienen a A. Ya
que la interseccion de cualquier familia de conjuntos convexos es convexa,
deducimos que co(A) es el menor conjunto convexo que contiene a A. No es
difcil ver que
co(A) =
_
N
i=1
c
i
x
i
: x
1
, ..., x
N
A; c
1
, ..., c
N
[0, 1] con
N
i=1
c
i
= 1; N N
_
.
Si ahora X es un EVT, la envolvente cerrada convexa de A es co(A) := co(A).
Puede probarse que si B es convexo, entonces B es convexo, y que co(A)
es la interseccion de todos los subconjuntos cerrados y convexos de X que
contienen a A, siendo pues el menor de estos. Como veremos en el resultado
siguiente, podemos obtener co(A) como interseccion de semiespacios anes.
Teorema 4.4.3. Sean X un ELC real. Entonces la envolvente cerrada con-
vexa de un subconjunto no vaco S es la interseccion de todos los semiespacios
cerrados que lo contienen.
Demostraci on. Llamemos K = co(S) y L a la interseccion de todos los
semiespacios cerrados que contienen a S. Se tiene que L es cerrado y convexo
porque la interseccion de cerrados (de convexos) es cerrada (convexa, resp.)
y L S, luego L K. Probemos que L K, o lo que es lo mismo, que
X\K X\L. Fijemos un punto a X\K. Apliquemos el Teorema 4.3.2(b)
con A = {a} y B = K. Se deduce que existen X
y
1
,
2
R tales que
(a) <
1
<
2
< (y) para todo y K. Sea H := {x X : (x)
2
}.
Se tiene: H es un semiespacio cerrado, H K (luego H S) y a / H. Pero
H L, as que a X \ L.
4.5. Topologa debil
Nuestro siguiente objetivo es estudiar la as llamada topologa debil
de un EVT. Para ello, comenzamos considerando topologas generadas por
familias de funciones. Sea X un conjunto e Y una familia de aplicaciones
X Z, donde Z es un ET. Consideremos la topologa inicial inducida por
Y en X, es decir, la topologa menos na (esto es, la mas debil, es decir,
la que contiene menos abiertos) que hace continua cada aplicacion de Y .
Esta topologa debe contener {f
1
(G) : G abierto de Z, f Y }, as que
esta familia es una subbase para la topologa inicial (esto signica que las
intersecciones nitas de miembros de dicha familia constituyen una base para
la topologa inicial). Llamemos a esta topologa. Notese que si Z es separado
e Y separa puntos de X, entonces es separada. En efecto, si a, b X con
a = b, existe f Y tal que f(a) = f(b); entonces existen V
1
E(f(a)) y
V
2
E(f(b)) tales que V
1
V
2
= ; resulta pues que f
1
(V
1
) y f
1
(V
2
) son
entornos de a y b respectivamente, y son disjuntos.
En el proximo teorema, X va a ser un EV, Z = K e Y va a ser un
subconjunto del dual algebraico X
de X. Pero antes necesitamos un lema.

Lema 4.5.1. Sean X un EV y ,
1
, . . . ,
n
X
. Son equivalentes:
(a) es una combinacion lineal de
1
, . . . ,
n
.
(b) Ker
n
i=1
Ker
i
.
Demostracion. La implicacion (a) =(b) es obvia. Para el recproco, pode-
mos suponer que
1
, . . . ,
n
son linealmente independientes, pues si alguna
j
depende linealmente de las anteriores, podemos eliminar Ker
i
de la in-
terseccion.
Procedemos por induccion. Si n = 1, tenemos que Ker Ker
1
, luego
Ker = Ker
1
porque son hiperplanos. Por el Teorema 4.4.1(b), se tiene
que existe c K tales que = c
1
, as que
1
. La hipotesis de
induccion es que la implicacion (b) =(a) es cierta para n 1 elementos
de X
. Sean ahora ,
1
, . . . ,
n
X
tales que Ker

n
i=1
Ker
i
. Como
se comento anteriormente, podemos suponer que, para cada k {1, . . . , n},
k
/
1
, . . . ,
k1
,
k+1
, . . . ,
n
, luego existe x
k
X de modo que
k
(x
k
) =
1 y
j
(x
k
) = 0 si j = k; aqu se ha usado la hipotesis de induccion. Fijemos
x X y consideremos el vector
y := x
n
k=1
k
(x)x
k
.
Entonces
j
(y) =
j
(x)
n
k=1
k
(x)
j
(x
k
) =
j
(x)
j
(x) 1 = 0 para
cada j = 1, . . . , n, luego y

n
j=1
Ker
j
, as que (y) = 0. Pero (y) =
(x)
n
k=1
k
(x)(x
k
). Se deduce que =
n
k=1
c
k
k
[donde c
k
= (x
k
)],
luego tenemos (a).
Teorema 4.5.2. Sea X un EV, y sea Y un EV de formas lineales de X que
separa puntos. Dotemos a X de la topologa inicial (X, Y ) generada por la
familia Y . Entonces X es un ELC cuyo dual es Y .
Demostracion. Para cada Y , sea p
(x) := |(x)|. Entonces p
es una
seminorma sobre X y la familia P = {p
: Y } separa puntos de X. Por

tanto esta familia dene una topologa de ELC sobre X. Ademas, cada
Y es -continua pues existen p P y una constante C (0, +) tales que
|(x)| C |p(x)| para todo x X (tomar p = p
y C = 1). Por otra parte,

para cada y cada > 0 se tiene {x X : p
(x) < } =
1
(B(0, )), luego
los -entornos de 0 son (X, Y )-entornos de 0. Ya que, seg un se ve facilmente,
(X, Y ) es una topologa de EVT sobre X, se tiene que (X, Y ). Pero
(X, Y ) es la topologa inicial para Y , luego = (X, Y ). Por tanto X es
un ELC.
De nuevo por ser (X, Y ) topologa inicial, obtenemos que (X, (X, Y ))

Y . Recprocamente, sea : (X, (X, Y )) K lineal y continua. Ya que P
genera (X, Y ), existen
1
, . . . ,
n
Y y una constante M (0, +) de
modo que
|(x)| M max
i=1,...,n
p
i
(x) = M max
i=1,...,n
|
i
(x)| (x X).
De aqu se inere que Ker

n
i=1
Ker
i
. Gracias al Lema 4.5.1, es
combinacion lineal de
1
, . . . ,
n
, luego Y .
Denicion 4.5.3. Sea X un EVT cuyo dual topologico X
separa puntos.
Se llama topologa debil de X a (X, X
), es decir, a la topologa menos na

sobre X que hace continua cada funcional X
.
Por tanto, (X, X
) es una topologa de ELC sobre X, y es mas debil

que la original de X. Notemos que, si {x
n
}
n1
X, se verica: x
n
(X,X
n
0
(x
n
)
n
0 X
. Notemos tambien que (X, (X, X
))
= X
.
Por ejemplo, si X =
2
entonces X
=
2
, ya que
2
es un espacio de
Hilbert. Consideremos la sucesion (e
n
)
2
dada por
e
n
= (0, 0, . . . , 0, 1
[n]
, 0, 0, 0, . . . ) (n N).
Entonces e
n
n
0 debilmente porque, para cada y = (y
1
, y
2
, . . . )
2
, se tiene
(e
n
|y) = y
n
n
0, ya que
n
y
2
n
< +. Pero e
n
n
0 en la topologa de la
norma, ya que e
n
= 1 para todo n N. Lo mismo sucede en (c
0
, (c
0
,
1
)).
A veces escribiremos x
n
w
x con el mismo signicado que x
n
(X,X
)
x.
Notemos que x
n
w
0 si para todo > 0 y toda familia nita
1
, . . . ,
m
de
X
existe n
0
N tal que |
k
(x
n
)| < si k = 1, . . . , m y n n
0
. Esto
es equivalente a decir (x
n
)
n
0 para toda X
. Algo similar ocurre al

caracterizar los subconjuntos debilmente acotados, es decir, acotados en la
topologa debil.
Teorema 4.5.4. Sea X un EVT cuyo dual separa puntos, y E X. Se
verica:
(a) E es debilmente acotado si y solo si (E) es acotado en K para cada
X
.
(b) Si dim(X) = +, entonces (X, (X, X
)) no es localmente acotado
y, en particular, no es normable.
Demostracion. (a) Supongamos que E es debilmente acotado y que X
.
Entonces {x X : |(x)| < 1} es un entorno debil de 0, luego existe > 0
tal que E {x : |(x)| < 1}. Pero el ultimo conjunto es {x X :
|(x)| < }, as que |(x)| < para todo x E. En otras palabras, (E) es
acotado.
Recprocamente, supongamos que (E) es acotado en K para cada
X
, y jemos un entorno debil V de 0. Entonces existen

1
, . . . ,
n
X
y
> 0 tales que
V {x : |
1
(x)| < } {x : |
n
(x)| < }.
Por hipotesis, existen
1
, . . . ,
n
> 0 tales que |
i
(x)| <
i
para todo x E
y todo i = 1, . . . , n. Luego |
i
(x)| < para todo x

E y todo i = 1, . . . , n,
donde := max{
1
, . . . ,
n
}. Por tanto

E V . Como V puede tomarse

equilibrado, resulta de hecho que E tV para todo t >

, as que E es
debilmente acotado.
(b) Supongamos que dim(X) = + y que V es un entorno debil del origen.
Usamos el resultado de (a). Nuestro objetivo es probar que existe X
tal que (V ) no es acotado en K. Fijemos

1
, . . . ,
n
X
tales que V
{x X : |
i
(x)| < i = 1, . . . , n}. Entonces V

n
i=1
Ker(
i
) = Ker(),
donde : X K
n
viene dada por (x) = (
1
(x), . . . ,
n
(x)), que es una
aplicacion lineal. Como dim(X) = +, no puede ser inyectiva, as que
existe x
0
X \ {0} con (x
0
) = 0. Ya que X
separa puntos, existe X
tal que (x
0
) = 0. Pero entonces los vectores nx
0
(n 1) estan en Ker()
(luego en V ) y (nx
0
) = n(x
0
)
n
en K, de donde deducimos que (V )
no es acotado.
El resultado anterior implica que si X es un EN de dimension innita,
entonces la topologa de la norma y la debil son distintas. En cambio, si X es
cualquier EVT de dimension nita, entonces todas las topologas que hacen
de el un EVT coinciden; en particular, son iguales a la topologa debil.
Denotaremos por A
w
la clausura en la topologa debil de un subconjunto
A de un EVT X. El siguiente teorema es debido a Mazur.
Teorema 4.5.5. Sea X un ELC y A X. Se verica:
(a) co(A) = co(A)
w
.
(b) Si A es convexo, entonces A = A
w
.
(c) Los subconjuntos cerrados convexos son los mismos para las topologas
original y debil.
(d) Si Y es un subespacio vectorial de X, entonces Y = Y
w
.
Demostracion. Los apartados (b) y (c) se deducen de (a) y del hecho de que la
clausura de un conjunto convexo es convexa. El apartado (d) se deduce de (b).
Probemos (a). Es obvio que co(A) co(A)
w
. Para probar la inclusion inversa,
consideremos X
R
, el ELC X considerado como EV real. Por el Teorema
4.4.3, co(A) es la interseccion de los semiespacios cerrados que contienen a
A. Pero, por su propia denicion, estos son debilmente cerrados, luego co(A)
es debilmente cerrado, as que co(A) co(A)
w
.
Corolario 4.5.6. Sea X un ELC metrizable. Si x
n
w
x, existe una sucesion
(y
n
) X tal que:
(a) cada y
n
es una combinacion lineal convexa de una coleccion nita de
vectores x
m
, y
(b) y
n
x.
Demostracion. Por hipotesis, x {x
n
}
1
w
, luego x co{x
n
}
1
w
. Pero, por el
teorema anterior, x co{x
n
}
1
. De ser X metrizable se deduce la existencia
de la sucesion (y
n
) deseada.
Ilustremos lo anterior con un ejemplo. Sea S un ET separado y compacto,
y consideremos el EV C(S) de las funciones continuas S C dotado de la
norma del supremo, con lo que C(S) es un espacio de Banach. Supongamos
que (f
n
) C(S) es una sucesion uniformemente acotada tal que f
n
f
puntualmente en S, donde f C(S). Entonces existe una sucesion (g
n
)
co{f
n
}
n1
de modo que g
n
f uniformemente en S. En efecto, existe M
(0, +) tal que |f
n
(x)| M para todo x S y todo n N. Gracias a la
convergencia puntual y al teorema de la convergencia dominada de Lebesgue,
se deduce que
S
f
n
d
S
f d (n ) para toda medida compleja de
Borel regular en S (notemos que la funcion constante M es integrable para
cada una de estas ). Debido al teorema de representacion de Riesz (Teorema
3.4.1), se tiene que (f
n
) (f) para toda C(S)
, es decir, f
n
w
f. Del
corolario anterior se deduce el resultado.
A continuacion, estableceremos en el contexto de los espacios normados
un resultado, debido a Mackey, que nos dice que la familia de los conjuntos
acotados no aumenta cuando pasamos a la topologa debil.
Teorema 4.5.7. Sea X un EN. Entonces un subconjunto A de X es aco-
tado si y solo si es debilmente acotado.
Demostracion. Si A es acotado en X, es debilmente acotado porque (X, X
)
tiene menos abiertos que la topologa original. Recprocamente, supongamos
que A es w-acotado. Cada elemento x X puede ser entendido como un
elemento de X
, sin mas que denir x(x
) := x
(x) para todo x
.
Para cada x
, el conjunto {x
(x) : x A} es acotado. Pero {x
(x) :
x A} = {x(x
) : x A}. Esto nos dice que la familia A, considerada

como subconjunto de X
, es puntualmente acotada. Como X
es un espa-
cio de Banach [pues X
= L(X, K) y K es completo], por el teorema de

BanachSteinhaus resulta que A es uniformemente acotada en X
, es decir,
sup{x
X
: x A} < +. Pero la identicacion de X como subespacio de
X
es isometrica, es decir, x
X
= x. En consecuencia, A es acotado en
X.
Puede demostrarse (ver Ejercicio 3 del Captulo 5) que el resultado ante-
rior se mantiene en espacios localmente convexos.
Las topologas debiles pueden usarse para obtener un nuevo teorema de
separacion, similar al Teorema 4.3.2, pero que no requiere la convexidad local
del espacio. A cambio, a los conjuntos A y B que aparecen se les exige ahora
compacidad.
Teorema 4.5.8. Sea X un EVT cuyo dual X
separa puntos. Sean A, B X

no vacos, disjuntos, convexos y compactos. Entonces existe X
tal que
sup
xA
Re x < nf
yB
Re y.
Demostraci on. Para el ELC X
w
:= (X, (X, X
)), los conjuntos A y B son

cerrados ya que siguen siendo compactos, porque la topologa de X
w
es menos
na que la original de X. Por el Teorema 4.3.2, existe (X
w
)
que cumple
la propiedad del enunciado. Finalmente, por el Teorema 4.5.2, (X
w
)
= X
,
as que X
.
4.6. Topologa debil- de un espacio dual
Consideremos un EVT X cuyo dual X
separe puntos. Cada vector

x X induce un elemento del dual algebraico de X
, es decir, una forma

lineal
x
: X
K, la cual viene dada por

x
() = (x) para cada
X
. Notemos que X se identica con {

x
: x X}, pues la aplicacion
x
x
es biyectiva. Ademas, es obvio que la familia {
x
: x X} separa
puntos de X
. De acuerdo con el Teorema 4.5.2, podemos considerar en X
la
topologa inicial correspondiente a dicha familia, o sea, la topologa generada
por las seminormas p
x
(x X) dadas por p
x
() = |(x)|. Designaremos esta
topologa por (X
, X), la cual sera denominada la topologa debil- sobre

X
. Obtenemos as un ELC (X
, (X
, X)) cuyo dual es X. La convergencia

en la topologa debil- sera denotada por
w
.
Por ejemplo, si X = c
0
sabemos que podemos identicar X
=
1
.
As que la topologa debil- sobre
1
es (
1
, c
0
). Seg un el Teorema 4.5.2,
(
1
, (
1
, c
0
))
= c
0
. Notese la diferencia con la topologa de la norma en
1
, pues
1
=
. Por ejemplo, para la sucesion {e

1
= (1, 0, 0, ...), e
2
=
(0, 1, 0, 0, ...), . . . }
1
no es difcil ver que e
n
w
n
0 (ver Ejercicio 9 para
un resultado mas general). Sin embargo, e
n
w
n
0. En efecto, si conside-
ramos el funcional asociado al vector 1 = (1, 1, 1, ...)
, resulta que
1(e
n
) = 0 1 + + 0 1 + 1 1
..
[n]
+0 1 + 0 1 + = 1
n
0.
A continuacion, vamos a ver que la topologa debil- posee propiedades de
compacidad muy importantes. Pero antes debemos recordar algunos concep-
tos y resultados sobre topologas producto. La nocion de producto cartesiano
Y
1
Y
N
de un n umero nito de conjuntos Y
1
, . . . , Y
N
es bien conocida.
Asimismo, es bien conocida la topologa producto sobre dicho producto
cartesiano, donde esta vez Y
1
, . . . , Y
N
son espacios topologicos. Baste decir
que un subconjunto A Y
1
Y
N
es abierto para si y solo si A es
union de conjuntos de la forma A
1
A
N
, donde cada A
i
es abierto en
Y
i
(i = 1, ..., n). Vamos a generalizar estos conceptos al caso de cualquier
n umero de factores. Sea X un conjunto no vaco cualquiera e {Y
i
}
iX
una
familia de conjuntos, con ndices en X. Se llama producto cartesiano de la
familia {Y
i
}
iX
al conjunto
iX
Y
i
denido por
iX
Y
i
=
_
aplicaciones X
f
iX
Y
i
: f(i) Y
i
i X
_
.
Si j X, se llama proyeccion j-esima a la aplicacion
j
: f

iX
Y
i

f(j) Y
j
. Si cada Y
i
es un ET (con topologa
i
), se llama topologa producto
sobre el espacio producto
iX
Y
i
a la topologa inicial generada por la
familia de proyecciones {
i
}
iX
, es decir, esta constituida por las uniones
de conjuntos de la forma
1
i
1
(U
1
)
1
i
N
(U
N
) = {f

iX
Y
i
: f(i
j
)
U
j
j = 1, . . . , N} (U
1

i
1
, . . . , U
N

i
N
; i
1
, . . . , i
N
X; N N). Es facil
ver que se genera la misma topologa si U
1
B
i
1
, . . . , U
N
B
i
N
, donde B
i
es
una base de abiertos en cada Y
i
. Con la topologa producto sobre
iX
Y
i
,
cada proyeccion
j
:
iX
Y
i
Y
j
es continua. Un resultado de gran impor-
tancia en topologa general es el Teorema de Tychono, que arma que si
{Y
i
}
iX
es una familia de espacios topologicos y, para cada i X, K
i
es un
subconjunto compacto de Y
i
, entonces
iX
K
i
es un subconjunto compacto
de
iX
Y
i
(ver Ejercicio 11 del Captulo 3). En otras palabras, el producto
de espacios compactos es compacto.
Nota 4.6.1. En nuestro presente contexto, nos interesa el caso especial en
que todos los Y
i
coinciden con un mismo ET Y . En tal caso se denota
iX
Y
i
= Y
X
. Observemos que Y
X
= {aplicaciones X
f
Y }, y las proyec-
ciones son las aplicaciones
x
: f Y
X
f(x) Y . En el caso particular
Y = K, obtenemos K
X
, el espacio producto de K, X veces. Habida cuenta
de la topologa que lleva K, una base de entornos en K
X
de un elemento
f
0
K
X
esta formada por las intersecciones nitas de los conjuntos de la
forma
U(f
0
, x, ) := {f K
X
: |f(x) f
0
(x)| < } (x X, > 0).
Denicion 4.6.2. Sean X un EVT y A X. Se dene la polar de A como
el conjunto
A
= { X
: |(x)| 1 x A}.
Notemos que A
es convexo, equilibrado y -debilmente cerrado. Las tres

propiedades se deducen de la igualdad A
xA
1
x
(B(0, 1)), donde
x
es la aplicacion lineal asociada a x, es decir,
x
: X
(x) K.
Como ejemplo de polar, tenemos que si B
X
denota la bola cerrada unidad
de un EN X, entonces B
X
= B
X
. Establecemos seguidamente el Teorema
de AlaogluBourbaki.
Teorema 4.6.3. Si X es un EVT y V E(0), entonces su polar V
es
-debilmente compacta. En particular, la bola unidad cerrada B
X
del dual
de un EN X es -debilmente compacta.
Demostracion. Sabemos que, para cada x X, existe r(x) (0, +) tal
que x r(x)V . As, si V
se tiene |(
x
r(x)
)| 1, luego |(x)| r(x)
para todo x X y todo V
. Denotemos por D
x
la bola cerrada en K de
centro 0 y radio r(x). Consideremos el espacio K
X
con la topologa producto,
y sea P :=
xX
D
x
K
X
. Como cada D
x
es compacto, se tiene en virtud
del Teorema de Tychono que P es compacto en K
X
. Si V
entonces
X
y |(x)| r(x) para todo x X, luego V
P.
Por tanto, en V
podemos considerar la topologa heredada de X
[es
decir, (X
, X)] y la heredada de P. Si
0
V
, una base de (X
, X)-
entornos de
0
esta formada por los conjuntos de la forma
W
1
= { X
: |(x
i
)
0
(x
i
)| < , 1 i N},
mientras que una base de entornos de
0
para la topologa producto esta cons-
tituida por los conjuntos de la forma
W
2
= { P : |(x
i
)
0
(x
i
)| < , 1 i N}
( > 0; x
1
, ..., x
N
X; N N). Claramente W
1
V
= W
2
V
, luego ambas
topologas coinciden en V
. Supongamos probado que V
es cerrado en P.
Como P es compacto, V
sera compacto para la topologa producto, y por

tanto sera -debilmente compacto. As pues, basta probar que V
es cerrado
en P.
Para ello, jemos f
0
V
P. Sean x, y X, , K y > 0
arbitrarios. Sea U el entorno en P de f
0
dado por U = {g P : |g(x
i
)
f
0
(x
i
)| < /(1 +|| +||); i = 1, 2, 3}, donde x
1
= x, x
2
= y, x
3
= x + y.
Entonces existe f U V
. Para tal f se tiene que |f

0
(x+y) (f
0
(x) +
f
0
(y))| = |(f
0
f)(x + y) (f
0
f)(x) (f
0
f)(y)| < . Como
esto es cierto para cada > 0, resulta que f
0
es lineal. Por otra parte, si
x V y > 0, razonando como antes se tiene que existe f V
tal que
|f
0
(x) f(x)| < , luego |f
0
(x)| < 1 + ; pero esto vale para todo > 0,
as que |f
0
(x)| 1. Finalmente, f
0
es acotada en un entorno de 0 (en V ),
luego es continua. En resumen, f
0
X
y |f
0
(x)| 1 para todo x V , lo
que prueba que f
0
V
, y por tanto V
es cerrado en P.
A pesar de lo que arma el teorema anterior, no es cierto que B
X
sea
siempre debilmente compacta si X es un EN. Por ejemplo, si X = c
0
,
su bola unidad cerrada B = {x = (
k
) :
k
k
0, |
k
| 1 k N} no
es w-compacta. En efecto, se tiene que la sucesion {u
n
}
n1
, donde u
n
=
(1, 1, ..., 1, 1
[n]
, 0, 0, 0, ...) =
n
k=1
e
k
, esta contenida en B, pero carece de pun-
tos de w-acumulacion en B (luego B no es debilmente compacta). En efec-
to, razonando por reduccion al absurdo, supongamos que x = (
k
) c
0
es un punto de w-acumulacion de {u
n
}
n1
. Como x c
0
, existe k
0
N
tal que |
k
| < 1/2 para todo k > k
0
. Ya que e
k
0

1
y c
0
=
1
, se
tiene que para cada > 0 el vector e
k
0
genera el w-entorno de 0 dado por
V = {y = (
k
) c
0
: |
k
0
| < 1/2}. Pero para todo n > k
0
la componente
k
0
-esima de u
n
x tiene modulo |1
k
0
| > 1/2, luego u
n
x / V , o bien
u
n
/ x + V . Por otra parte, como la topologa debil es separada, para ca-
da k {1, ..., k
0
} con x = u
k
existe V
k
E(x) tal que u
k
/ V
k
. Por tanto
U := (x+V )
k
0
k=1
V
k
es un entorno de x tal que {u
n
: n N}(U\{x}) = ,
lo cual contradice la suposicion de que x era un punto de w-acumulacion de
la sucesion.
Se puede probar que si X es un EVT separable, entonces la polar V
de
cualquier entorno V de 0 es w
-metrizable (ver Ejercicio 8); por tanto, gra-

cias al teorema de AlaogluBourbaki, V
sera w
-secuencialmente compacta,
pues compacidad y compacidad secuencial coinciden en espacios metrizables.
Recordemos que un subconjunto A de un ET X se dice secuencialmente
compacto cuando cada sucesion (x
n
) A contiene alguna subsucesion con-
vergente a alg un punto de A. En particular, si X es un EN separable, la bola
B
X
es -debilmente secuencialmente compacta.
Para nalizar esta seccion, comentamos que se puede hablar de otras
topologas en X
, aparte de la debil-. Por ejemplo, tenemos la topologa

fuerte o topologa de la convergencia uniforme en subconjuntos acotados. Si
X es un EVT, denotemos por A la familia de sus subconjuntos acotados. Por
denicion, la topologa fuerte sobre X
es la topologa localmente convexa

generada por la familia de seminormas P = {p
A
: A A}, donde p
A
() :=
sup{|(x)| : x A}. En el caso de un EN, la topologa fuerte en X
coincide
con la topologa de la norma dual.
4.7. Bidual de un espacio normado. Reexi-
vidad
Sabemos que si X es un EN, su dual X
puede ser normado mediante

= sup{|(x)| : x = 1}, obteniendose un espacio de Banach (X
, )
cuyo dual X
:= (X
es llamado el bidual de X. Tambien sabemos que

la aplicacion i : X X
dada por i(x)() = (x) es una inyeccion

isometrica de X en X
. Si i es biyectiva, entonces X se llama reexivo.

Denotemos por B
X
la bola unidad cerrada de X. Por ser i una isometra, se
tiene que i(B
X
) B
X
, de modo que i(B
X
) = B
X
si y solo si X es ree-
xivo. Identicaremos a partir de ahora i(x) con x, con lo cual entendemos
que X X
y B
X
B
X
. Establecemos a continuacion una importante
propiedad de densidad, conocida como Teorema de Goldstine.
Teorema 4.7.1. Sea X un EN. Entonces B
X
(X
,X
)
= B
X
.
Para demostrarlo, necesitamos el siguiente resultado.
Lema 4.7.2. Sea A un subconjunto cerrado, convexo y equilibrado de un
ELC X. Si x
0
/ A, existe X
tal que |(x

0
)| > 1 y |(x)| < 1 para
todo x A.
Demostracion. Por el Teorema 4.3.2, existe X
, as como
1
,
2
R,
tales que Re (x) <
1
<
2
< Re (x
0
) para todo x A. Como Aes convexo
y equilibrado, as lo es (A). Por tanto (A) B(0,
1
) y |(x
0
)| >
2
. Basta
tomar ahora := /
1
.
Demostracion del Teorema 4.7.1. Sea A := B
X
(X
,X
)
. Entonces A es ce-
rrado, convexo y equilibrado en el ELC (X
, (X
, X
)). Supongamos que

f
0
/ A. Por el lema anterior, existe una funcional en el dual del espacio
anterior (es decir, X
) tal que |(f

0
)| > 1 y |(x)| < 1 para todo
x A. En particular, |(x)| < 1 para todo x B
X
, as que 1.
Pero |f
0
()| > 1, luego f
0
> 1, es decir, f
0
/ B
X
. Hemos probado que
B
X
A. Por otra parte, B
X
B
X
. Pero si Y es un EN, B
Y
es w
-
cerrado, por ser la polar de B
Y
. Aplicado a Y = X
, se tiene que B
X
es
(X
, X
)-cerrado, de donde, al tomar clausuras, obtenemos A B

X
. P
Combinando el teorema de Goldstine con el de AlaogluBourbaki, obte-
nemos la siguiente caracterizacion de la reexividad a traves de topologas
debiles.
Teorema 4.7.3. Sea X un EN. Entonces X es reexivo si y solo si B
X
es debilmente compacta.
Demostracion. Supongamos que X es reexivo. Con la identicacion via la
isometra, se tiene X = X
, luego el ET (X, (X, X
)) se identica con
el ET (X
, (X
, X
)), habida cuenta de la denicion de estas topologas

iniciales. Por el Teorema 4.6.3, B
X
es w
-compacta, luego B
X
(= B
X
) es
w-compacta. Recprocamente, supongamos que B
X
es w-compacta. Entonces
B
X
es (X
, X
)-compacta, ya que B
X
X
. Por tanto B
X
es (X
, X
)-
cerrada. Gracias al Teorema 4.7.1 se inere que B
X
= B
X
, de donde X =
X
, c.q.d.
Corolario 4.7.4. Si X es un EN reexivo e Y es un subespacio cerrado
de X, entonces Y es reexivo.
Demostracion. Tenemos que B
Y
es un subconjunto cerrado y convexo de
B
X
. Por el Teorema 4.5.5, B
Y
es debilmente cerrado. Pero B
X
es debilmente
compacto, as que B
Y
es tambien debilmente compacto. Del teorema anterior
se deduce la reexividad de Y .
4.8. Trasposicion de operadores
Supongamos ahora que X e Y son dos espacios vectoriales topologi-
cos. Recordemos que L(X, Y ) denotaba el EV de las aplicaciones lineales
y continuas T : X Y . El nombre de operador se suele reservar para
el caso Y = X, y L(X) denota el EV de los operadores sobre X, es decir,
L(X) = L(X, X). A partir de ahora, asumiremos en esta seccion que X e Y
son espacios localmente convexos, con el n de asegurar que X
e Y
no son
triviales.
Denicion 4.8.1. Sean X e Y dos espacios localmente convexos y T
L(X, Y ). Se dene la aplicacion traspuesta de T como la aplicacion
T
: y
T X
.
De la linealidad y continuidad de T y de cada y
se deduce que, en
efecto, cada y
T es lineal y continua, lo que conrma que T
esta bien deni-

da. Nuestro objetivo es obtener propiedades de T
a partir de propiedades
de T, y viceversa.
Antes necesitamos el concepto de anulador. Sean X un ELC, E un su-
bespacio vectorial de X y F un subespacio vectorial de X
. Los anuladores
E
de E y

F se denen respectivamente por E
= {x
: x
(x) =
0 x E} y

F = {x X : x
(x) = 0 x
F}.
Notemos que son subespacios vectoriales de X
y X respectivamente.
Notemos tambien que, por el Teorema de HahnBanach, E
= {0} si E no
es denso en X. Por el mismo motivo

F = {0} si F no es w
-denso, pues
(X
, (X
, X))
= X. Por otra parte, si para cada x X denotamos por

x
la aplicacion
x
: x
(x) K, se verica por denicion de E
que
E
xE
Ker(
x
). Ya que cada
x
es w
-continua, se deduce que E
es
un subespacio w
-cerrado de X
. Analogamente,

F =
F
Ker(x
), luego
F es un subespacio cerrado de X.
Nota 4.8.2. Notese que tenemos que diferenciar entre

F y F
; por ejemplo,
si X es normado, podra haber confusion entre

F X y F
, pues
X X
.
Pasemos ya al estudio de propiedades algebraicas y topologicas de las
aplicaciones traspuestas. La primera propiedad a estudiar es la continuidad.
No es difcil probar, sin mas que usar las familias de seminormas que denen
las respectivas topologas debiles, que cada T L(X, Y ) es debil-continua, es
decir, continua como aplicacion (X, (X, X
)) (Y, (Y, Y
)). Resulta que

la propiedad dual para T
es asimismo cierta. Es usual denotar la imagen

T(X) de cada T por Im(T).
Teorema 4.8.3. Sean X e Y dos espacios localmente convexos y T
L(X, Y ). Se tiene:
(a) T
: (Y
, (Y
, Y )) (X
, (X
, X)) es continua.
(b) Si X e Y son espacios normados, entonces T
: Y
(con X
e
Y
dotados de las normas duales) es continua y T
= T.
(c) Ker(T
) = Im(T)
. Por tanto T
es inyectiva si y solo si T tiene

imagen densa.
(d) Ker(T) =

Im(T
). Por tanto T es inyectiva si y solo si T
tiene
imagen (X
, X)-densa.
Demostracion. (a) Una familia de seminormas que dene la topologa de
(X
, (X
, X)) esta constituida por las aplicaciones q : X
[0, +) de la
forma q(x
) = max
1in
|x
(x
i
)|, donde n N y x
1
, . . . , x
n
X. Fijada q,
hemos de encontrar una seminorma p : Y
[0, +) de la correspondiente
familia que dene la topologa de (Y
, (Y
, Y )), as como una constante

M (0, +) tales que q(T
) M p(y
) para todo y
[ver Ejercicio
5 del Captulo 2]. Observando que y
T X
para todo y
, basta
escoger p(y
) := max
1in
|y
(Tx
i
)| y M = 1.
(b) Para cada y
, T
= sup
x1
|T
(x)| = sup
x1
|y
(Tx)|
y
T, as que T
es continua y T
T. Por otra parte, sea > 0.

Escojamos x X con x = 1 tal que Tx T . Por el teorema
de HahnBanach, existe y
tal que y
= 1 de modo que y
(Tx) =
Tx. As T
|T
(x)| = |y
(Tx)| = Tx T . Por tanto

T
T para todo > 0. Haciendo 0, resulta T
T. En
consecuencia, T
= T.
(c) Tenemos: y
Ker(T
) T
= 0 T
(x) = 0 x X
y
(Tx) = 0 x X y
Im(T)
.
(d) Recordando que, por el teorema de HahnBanach, Y
es separante, se
tiene, analogamente: x Ker(T) Tx = 0 y
(Tx) = 0 y
(T
)(x) = 0 y
(x) = 0 T
(Y
) x
Im(T
).
En el proximo captulo estudiaremos las as llamadas aplicaciones com-
pactas, as como sus traspuestas. Ambas aparecen con frecuencia en cues-
tiones de analisis funcional aplicado.
Ejercicios
1.- Sean X e Y dos espacios localmente convexos y T : X Y una apli-
cacion lineal y continua. Probar que T es continua de (X, (X, X
)) en
(Y, (Y, Y
)). Indicacion: puede hacerse directamente, o bien usando el Ejer-

cicio 5 del Captulo 2.
2.- Probar que una sucesion (x
n
)
p
(1 < p < +) converge debilmente a x
si y solo si se verican las siguientes condiciones:
(a) (x
n
) es acotada en la topologa original, es decir, existe una
constante M (0, +) tal que x
n
p
M para todo n N.
(b) Para cada k N, x
n
(k)
n
x(k).
Hemos usado la notacion x(k) = componente k-esima de x.
Indicacion: Para la necesidad, aplicar el Ejercicio 12 del Captulo 3, el Teo-
rema 4.5.7 y la identicacion
p

q
, donde q es el conjugado de p. Para la
suciencia, usar esta identicacion y la desigualdad de Holder.
3.- (a) Sea X un EVT cuyo dual separa puntos. Probar que (X
, (X
, X))
es metrizable si y solo si X posee una base de Hamel numerable.
Indicacion: Para la suciencia, jar una base numerable (U
n
) de en-
tornos de 0, y encontrar, para cada n, un
n
> 0 y un conjunto ni-
to F
n
X tales que {x
: |x
(x)| <
n
x F
n
} U
n
. Vericar
que la familia de seminormas {p
x
: x Y }, donde Y :=
n1
F
n
y
p
x
(x
) := |x
(x)|, dene (X
, X). Ahora, demostrar que Y es un

sistema de generadores del EV X
. Para ello, jar x

0
X y us-
ar la caracterizacion de la continuidad por seminormas de la apli-
cacion x
x
0
x
(x
0
) K (Lema 4.2.3) para deducir que existen
y
1
, ..., y
p
Y con
p
i=1
Ker y
i
Ker x
0
, y aplicar el Lema 4.5.1.
(b) Como aplicacion, probar que en
1
las topologas (
1
, c
0
) y (
1
, c
00
)
son diferentes, a pesar de que c
0
=
1
= c
00
[Ejercicio 5(b)].
4.- Sea X un ELC y denotemos por P una familia separante y ltrante de
seminormas que dene la topologa de X. Para cada (0, +) y cada
p P, denimos A
,p
:= {x
: |x
(x)| p(x) x X}.

(a) Demostrar que cada A
,p
es -debilmente cerrado.
(b) Probar que X
{A
,p
: > 0, p P}.
(c) Si X tiene dimension innita, probar que cada A
,p
tiene interior
vaco.
Indicacion: Por reduccion al absurdo, supongamos que su interior no
es . Entonces existen y
y un entorno -debil de 0, sea V , tales

que y
+ V A
,p
, luego existen x
1
, ..., x
N
X y > 0 tales que
{x
: |x
(x
i
)| < i {1, ..., N}} V . Tomar M := x
1
, . . . , x
M
y x
0
X \ M (por que existe x
0
?). Denir : M, x
0
K por
(m+x
0
) = y
(m)+(p(x
0
)+1). Probar que es lineal y continua
en M, x
0
y aplicar el teorema de extension de HahnBanach.
(d) Si X es un ELC metrizable, probar que su topologa esta denida por
una familia separante, ltrante y numerable de seminormas.
Indicacion: considerar las funcionales de Minkowski de una sucesion
adecuada de entornos del origen.
(e) Deducir que si X es un ELC metrizable de dimension innita, entonces
el espacio (X
, (X
, X)) es de primera categora.

5.- Sea X un espacio de Banach con dual X
.
(a) Probar que un subconjunto A de X
es acotado en norma si y solo si

es (X
, X)-acotado.
(b) Probar que c
00
=
1
y que existen subconjuntos (
1
, c
00
)-acotados de
1
que no son acotados en la norma de
1
[por tanto (a) puede no ser
cierto si X es un EN que no es completo].
(c) Probar que en
1
existen sucesiones (
1
, c
00
)-convergentes que no son
acotadas en la norma de
1
.
6.- (a) Sea p (0, 1). Demostrar que
p
dotado de la metrica d(x, y) :=
n=1
|x(n) y(n)|
p
[donde x(n) denota la componente n-esima del
vector x] es un F-espacio no localmente convexo.
Indicacion: Para la ultima propiedad, suponer que V es un entorno con-
vexo del origen con V B
d
(0, 1). Tomar s > 0 tal que B
d
(0, s
p
) V
y considerar, para cada n N, el vector x
n
=
n=1
s
n
e
k
.
(b) Probar que la aplicacion : x
p
, donde
x
(y) :=
n=1
x(n)y(n) para todo y
p
, es lineal y biyectiva.
(c) Demostrar que el conjunto B := {x
p
:
n=1
|x(n)| 1} es debil-
mente acotado pero no es acotado en la topologa original.
7.- Probar que en
1
una sucesion converge debilmente si y solo si converge en
norma. Signica esto que ambas topologas coinciden? Puede obtenerse
alguna conclusion respecto de la metrizabilidad de (
1
,
)?
Indicacion: Para la primera parte, suponer, por reduccion al absurdo, que
x
n
w
0 pero que x
n
0 en la norma
1
. Entonces existen una subsucesion
(y
n
) de (x
n
) y un d > 0 tales que y
n
1
> d para todo n. Elegir n
1
= 1
y proceder por induccion para obtener n umeros naturales n
1
< n
2
< y
k
1
< k
2
< tales que
k
m1
k=1
|y
(k)
n
m
| < d/2
m
y
k=k
m
+1
|y
(k)
n
m
| < d/2
m
para todo m [con la notacion x = (x
(1)
, x
(2)
, . . . ) para cada x
1
]. Tomar
ahora u
tal que u
(k)
= signo (y
(k)
n
m
) si k
m1
< k k
m
, y probar que
|u(y
n
m
)| d d/2
m2
para todo m.
8.- (a) Si
1
,
2
son dos topologas sobre un mismo conjunto S, de modo que
1
es separada y
2
es compacta, y
1

2
, entonces
1
=
2
.
Indicacion: Probar primero que un subconjunto compacto de un ET
separado es cerrado, y demostrar despues que la aplicacion identidad
i : (S,
2
) (S,
1
) es un homeomorsmo.
(b) Aqu y en el apartado siguiente, X es un EVT separable y K X
un subconjunto w
-compacto. Sea (x
n
) una sucesion densa en X y sea
f
n
: X
K dada por f
n
() =
(x
n
)
1+sup
K
|(x
n
)|
(n N). Probar que
cada f
n
es w
-continua y que la aplicacion

d : (,
) X
n=1
1
2
n
|f
n
() f
n
(
)| [0, +)
dene una distancia.
(c) Demostrar que d es continua en KK, con K dotado de la topologa
inducida por (X
, X), y deducir que la topologa generada por d en

K es menos na que (X
, X).
(d) Concluir de (a) que cada subconjunto w
-compacto del dual de un

EVT separable X es w
-metrizable. Deducir que la polar de cualquier

entorno de 0 en X es secuencialmente compacta para la topologa
-debil.
9.- Demostrar que una sucesion (x
n
)
1
acotada en norma cumple x
n
w
n
0
si y solo si
n,k
n
0 para todo k N, donde
n,k
denota la componente
k-esima de x
n
.
Indicacion: Recordar que cada x = (
1
,
2
, . . . )
1
se identica con un
elemento de c
0
va la expresion x(y) =
k=1
k
, donde y = (
1
,
2
, . . . )
c
0
. Para probar la suciencia, jar y = (
k
) c
0
, > 0 y M (0, +) tal
que x
n
M (n 1). Se ha de probar que x
n
(y) 0. Usar que
k
0
junto con la hipotesis para dividir la serie que dene x(y) en dos sumandos
peque nos.
10.- Un subconjunto de un EV X se dice absolutamente convexo si es equili-
brado y convexo. Si A X, se dene su envolvente absolutamente convexa
absco(A) como la interseccion de todos los subconjuntos absolutamente con-
vexos que contienen a A. Si X es un EVT, se dene la envolvente cerrada ab-
solutamente convexa absco(A) como la interseccion de todos los subconjun-
tos cerrados y absolutamente convexos que contienen a A. Por ultimo, se de-
ne la bipolar de A como el conjunto A
= {x X : |(x)| 1 A
}.
(a) Demostrar que absco(A) es el menor subconjunto equilibrado y abso-
lutamente convexo de X que contiene a A.
(b) Establecer la identidad absco(A) = {
N
i=1
i
x
i
:
N
i=1
|
i
| 1, x
i

A, i {1, ..., N}, N N}.
(c) Probar que absco(A) es el menor subconjunto cerrado, equilibrado y
absolutamente convexo de X que contiene a A.
(d) Vericar que absco(A) = absco(A).
(e) Demostrar el Teorema de las bipolares: si X es un ELC, entonces
A
= absco(A).
11.- Utilizando redes (ver Captulo 3), probar que si V es un entorno del origen
en un EVT, entonces su polar V
es cerrado en el espacio producto P que

aparece en la demostracion del teorema de AlaogluBourbaki. Esto simplica
la prueba de dicho teorema.
12.- Usando la identicacion
, describir la traspuesta de la aplicacion

T : x = (x
n
)
1
(x
n
/n)
1
.
13.- Sean X un EN con dual X
y M un subespacio de X. Probar que M
es
un subespacio cerrado de X
y que existe una biyeccion isometrica entre

M
y X
/M
.
14.- (a) Sea M un subconjunto de un EN X. Supongamos que (x
n
)
nN
es una
sucesion en M tal que x
n
y sea x un punto adherente [para
este concepto, remitimos a la Seccion 3.6] de (x
n
) para la topologa
debil. Probar que x .
(b) Sea X un espacio de Banach reexivo y C un conjunto convexo, cerrado
y acotado de X. Probar que existe un elemento en C de norma mnima.
Indicacion: usar (a), el Teorema 3.6.4(d) y algunos resultados de este
captulo.
(c) Sea A el subconjunto de c
0
denido de la siguiente forma: x = (
k
)
A si x c
00
, x 2, n = n(x) := max{k N :
k
= 0} > 1 y
k
(n + 1)/n para k {1, ..., n}. Probar que A es un subconjunto
convexo, cerrado y acotado de c
0
y que no existe ning un elemento en
A de norma mnima.
15.- (a) Probar directamente el siguiente hecho: dados > 0, una sucesion
(x
k
) R con |x
k
| 1 para todo k N y un n umero nito de se-
ries absolutamente convergentes
k=1
y
k,i
(i = 1, . . . , N) de n umeros
reales, existe una sucesion (z
k
) R tal que z
k
0, |z
k
| 1 para
todo k N y
k=1
y
k,i
(z
k
x
k
)
< (i = 1, . . . , N).
(b) Demostrarlo aplicando el teorema de Goldstine.
16.- Consideremos el subconjunto S = {e
m
+me
n
: 0 m < n, n N} del espa-
cio de Hilbert
2
, donde (e
n
)
n0
es la base canonica usual. Demostrar que
0 es un punto de acumulacion debil de S pero no existe ninguna sucesion
de puntos de S que tienda debilmente a 0.
Captulo 5
Aplicaciones de la completitud
y la convexidad
Nuestro objetivo en este captulo es obtener una serie de resultados
que se derivan o bien de la completitud del EVT subyacente supuesto
metrizable o bien de la estructura convexa local del mismo, si es el caso. En
la base del primer tipo de resultados se encuentra el teorema de Baire (ver
Captulo 1), el cual es de naturaleza puramente topologica. Para el segun-
do tipo de resultados, nos apoyaremos en las distintas versiones del teorema
de HahnBanach. El teorema de BanachSteinhaus y el teorema de Krein
Milman son los puntos de partida respectivos de las dos lneas de aplicaciones
que estudiaremos aqu.
5.1. Equicontinuidad. Teorema de Banach--
Steinhaus
Supongamos que M
1
y M
2
son espacios metricos, con metricas respec-
tivas d
1
y d
2
. Sea F una familia de aplicaciones de M
1
en M
2
. Decimos que
115
F es equicontinua cuando, para cada > 0, existe = () > 0 de modo
que, si x, y M
1
cumplen d
1
(x, y) < , entonces d
2
(f(x), f(y)) < para
toda f F (observar que este concepto generaliza el dado en el Captu-
lo 3). Recordemos que, en el contexto de los espacios normados, el teorema
de BanachSteinhaus armaba que si {
: I} es una familia de apli-

caciones lineales y continuas de un espacio de Banach X en un EN Y , y
para cada x X se tiene que {
(x) : I} es acotado en Y , entonces

M := sup{
: I} < +. Esto, en particular, implica que la familia

es equicontinua, pues
(x
1
)
(x
2
) =
(x
1
x
2
) M x
1
x
2
para todo x
1
, x
2
X y todo I. Vamos a estudiar un resultado analogo
para espacios vectoriales topologicos.
Denicion 5.1.1. Sean X e Y espacios vectoriales topologicos y una
familia de aplicaciones lineales de X en Y . Decimos que es equicontinua
si, para cada entorno W del origen en Y , existe un entorno V del origen en
X tal que (V ) W para todo .
Es evidente que cada miembro de una familia equicontinua es conti-
nua, es decir, L(X, Y ). Es facil probar que, entre espacios normados,
la equicontinuidad de es de hecho equivalente a sup{ : } <
+, lo cual signica que si E es acotado entonces
(E) es tambien
acotado. Veamos que este resultado es tambien cierto en espacios vectoriales
topologicos.
Proposicion 5.1.2. Sean X e Y espacios vectoriales topologicos, L(X, Y )
una familia equicontinua y E X acotado. Entonces existe F Y acota-
do tal que (E) F para todo o, equivalentemente,
(E) es
un subconjunto acotado de Y . En particular, toda familia equicontinua de
aplicaciones lineales es puntualmente acotada.
Demostracion. Llamemos F :=
(E) y jemos W E(0) en Y . Por

equicontinuidad, existe V E(0) en X tal que (V ) W para todo .
APLICACIONES DE LA COMPLETITUD Y LA CONVEXIDAD 117
Como E es acotado, existe t > 0 tal que E tV . Por tanto (E) t(V )
tW para todo , de donde deducimos que F tW. As que F es
acotado.
A continuacion, enunciamos el Teorema de BanachSteinhaus para espa-
cios vectoriales topologicos.
Teorema 5.1.3. Sean X e Y dos espacios vectoriales topologicos y
L(X, Y ). Sea B = {x X : (x) es acotado en Y }, donde (x) es la orbita
de x bajo , es decir, (x) = {(x) : x }. Si B es de segunda categora
en X, entonces B = X y es equicontinua.
Demostracion. Sea W E(0) en Y . Podemos escoger un entorno U E(0) en
Y , cerrado y equilibrado, tal que U U W. Pongamos E :=

1
(U).
Entonces E es cerrado. Ademas, si x B existe alg un n N tal que (x)
nU ya que (x) es acotado. Por tanto (x) nU para todo , de donde
x n
1
(U) para todo , as que B
n=1
nE. Como B es de segunda
categora y cada nE es cerrado, existe n N tal que (nE)
0
= , donde A
0
denota el interior de A. Pero (nE)
0
= nE
0
, luego E
0
= . Por tanto podemos
seleccionar un punto x
0
E
0
. Entonces V := x
0
E es un entorno del origen
en X que satisface: (V ) = (x
0
) (E) U U W para cada .
De aqu deducimos que es equicontinua. Pero ademas, por la Proposicion
5.1.2, es puntualmente acotada, y por tanto B = X.
Corolario 5.1.4. Sea una familia de aplicaciones lineales y continuas de
un F-espacio X en un EVT Y . Si es puntualmente acotada, entonces
es equicontinua.
Demostracion. Con la notacion del Teorema 5.1.3, se tiene que B = X. Como
X es un espacio metrico completo, es de segunda categora en s mismo por
el teorema de Baire. Por tanto es equicontinua.
Corolario 5.1.5. Sea (
n
) una sucesion de aplicaciones lineales y continuas
de un F-espacio X en un EVT Y . Si para cada x X existe lm
n

n
(x) =
(x) Y , entonces es continua.
Demostracion. En cualquier ET Z, si (z
n
) Z y z
n
n
z
0
Z, es facil ver
que el conjunto {z
0
} {z
n
: n 1} es compacto. Por el Teorema 2.2.3,
{z
0
}{z
n
: n 1} es acotado, luego la sucesion (z
n
) esta acotada, si Z es un
EVT. As que cada sucesion (
n
(x)) esta acotada. Por el Teorema 5.1.3, la
familia := {
n
: n N} es equicontinua. En consecuencia, dado V E(0)
en Y , existe U E(0) en X tal que
n
(U) V para todo n N. Fijemos
W E(0) en Y . Existe V E(0) cerrado con V W. Tomamos el U E(0)
que corresponde a este V . Como (x) {
n
(x) : n 1} para cada x X,
resulta que (U) V = V W. Ya que es lineal, se tiene que es
continua en X.
5.2. Teorema de la Aplicacion Abierta
A continuacion obtenemos resultados basicos para espacios vectoriales
topologicos metrizables completos, que extienden teoremas ya conocidos en
el contexto de espacios de Banach. Comenzamos por el Teorema de la Apli-
cacion Abierta, llamado tambien Teorema del Homomorsmo de Banach.
Teorema 5.2.1. Sean X un F-espacio, Y un EVT y L(X, Y ) tal que
(X) es de segunda categora en Y . Entonces (X) = Y y es abierta, es
decir, transforma abiertos de X en abiertos de Y .
Notemos que cualquier L(X, Y ) abierta entre dos espacios vectoriales
topologicos cualesquiera X e Y es sobreyectiva. En efecto, (X) sera un EV
y un entorno del origen, luego sera absorbente. As, dado y Y , existe t > 0
tal que y t (X) = (X).
Demostracion del Teorema 5.2.1. De acuerdo con el parrafo anterior, basta
probar que es abierta. Como es lineal, es suciente demostrar que la
imagen por de un entorno de 0 en X es un entorno de 0 en Y .
Fijemos pues un V E(0) en X. Sea r > 0 tal que B(0, r) V , donde
B(a, ) := {x X : d(x, a) < } y d es una distancia en X que dene
su topologa. Llamemos V
n
= B(0, r/2
n
) (n 1). Vamos a ver que existe
W E(0) en Y tal que
W (V
1
) (V ). (1)
Como V
1
V
2
V
2
, tenemos
(V
1
) (V
2
) (V
2
) (V
2
) (V
2
),
donde se ha usado la linealidad de y el hecho de que A B A B
para cualesquiera subconjuntos A y B de un EVT [Proposicion 2.1.7(b)]. Si
probamos que ((V
2
))
0
= , obtendramos la existencia de un punto x
0
X
y un entorno W de 0 con x
0
+ W (V
2
), luego
W W W = (x
0
+ W) (x
0
+ W) (V
2
) (V
2
) (V
1
),
y tendramos la primera inclusion de (1). Pues bien, tenemos que X =
n=1
nV
2
, ya que V es absorbente. Por tanto (X) =
n=1
n(V
2
). Co-
mo (X) es de segunda categora, existe n N tal que (n(V
2
))
0
= . Pero
(n(V
2
))
0
= n((V
2
))
0
= , as que ((V
2
))
0
= , como se requera.
Resta probar la segunda inclusion de (1). Para ello, tomemos y
1
(V
1
)
y elijamos inductivamente y
n
(V
n
) (n 2). Supongamos que y
n
ya ha
sido seleccionado. Igual que para el caso de V
1
, se tiene que (V
n
) contiene
un entorno del origen. Por tanto (V
n
) (y
n
(V
n+1
)) = , luego existe
x
n
V
n
tal que x
n
y
n
(V
n+1
). Pongamos y
n+1
:= y
n
x
n
(V
n+1
),
con lo cual (y
n
) queda bien denida. Consideremos la sucesion (S
n
) dada por
S
n
= x
1
+ x
2
+ + x
n
. Entonces (S
n
) es una sucesion de Cauchy en X.
En efecto, como d puede elegirse invariante por traslaciones (y completa),
se tiene, para todo m > n, que
d(S
m
, S
n
) = d(S
m
S
n
, 0) = d
_
m
k=n
x
k
, 0
_
d(0, x
n
) + d(x
n
, x
n+1
) + + d(x
m1
, x
m
)
< r2
n
+ r2
n+1
+ r2
n
+ + r2
m+2
< 5r 2
n
<
siempre que n n
0
= n
0
() con n
0
N sucientemente grande. Como d es
completa, resulta que existe x X tal que S
n
n
x. Ademas d(S
n
, 0)
n
k=1
d(x
k
, 0)

k=1
d(x
k
, 0) <
k=1
r
2
k
= r para todo n N, luego
d(x, 0) = d(lm
n
S
n
, 0) = lm
n
d(S
n
, 0) r, as que x B(0, r) V .
Por tanto x V .
Nos queda ver que x = y
1
. Para ello, recordemos que x
n
= y
n
y
n+1
.
Como es continua, obtenemos:
x = lm
n
S
n
= lm
n
n
k=1
x
k
= lm
n
n
k=1
(y
k
y
k+1
)
= lm
n
(y
1
y
n+1
) = y
1
lm
n
y
n
.
Por ultimo, dado U E(0) en Y , existe W E(0) cerrado con W U. Para
ese W, existe por continuidad de un n
0
N tal que (V
n
0
) W, as que
(V
n
) W para todo n n
0
. Se deduce que y
n
(V
n
) W U para
todo n n
0
, y por tanto y
n
n
0. En consecuencia, x = y
1
lm
n
y
n
= y
1
,
c.q.d. P
Corolario 5.2.2. Si X e Y son F-espacios y L(X, Y ), de modo que
es sobreyectiva, entonces es abierta. En particular, si es un isomorsmo
algebraico entre dos F-espacios, de modo que es continua, entonces es
un isomorsmo topologico.
Corolario 5.2.3. Si X es un EV y
1
,
2
son dos topologas que hacen de
X un F-espacio, de modo que
1

2
, entonces
1
=
2
.
Demostracion. Considerar la identidad (X,
2
)
i
(X,
1
) y aplicar el coro-
lario anterior.
5.3. Teorema del Grafo Cerrado
Sabemos que si X e Y son espacios topologicos, con Y separado, y
f : X Y es una aplicacion continua, entonces el grafo de f, denido como
G(f) = {(x, f(x)) X Y : x X}, es cerrado. Tambien sabemos que el
recproco es cierto si f es lineal y X e Y son espacios de Banach, lo cual
constituye el Teorema del Grafo Cerrado. Vamos a ver ahora una extension
de este resultado a F-espacios.
Teorema 5.3.1. Sean X e Y dos F-espacios, y sea : X Y lineal tal
que G(f) es cerrado en X Y . Entonces es continua.
Demostracion. Sean d
X
, d
Y
distancias completas e invariantes por trasla-
ciones, respectivamente, sobre X e Y . Entonces es facil ver que la aplicacion
d : (X Y ) (X Y ) R dada por
d((x
1
, y
1
), (x
2
, y
2
)) = d
X
(x
1
, x
2
) + d
Y
(y
1
, y
2
)
dene una distancia invariante y completa en X Y , y que d genera la
topologa producto. Como es lineal, se tiene que G := G() es un su-
bespacio de X Y . Ya que G es cerrado en X Y y este es completo,
resulta que G es un F-espacio. Sean
1
,
2
las proyecciones de X Y sobre
X e Y , respectivamente. Sabemos que
1
y
2
son continuas. Pero ademas,
al restringirnos a G, la aplicacion
1
: G X es inyectiva; en efecto, si
1
(x
1
, x
1
) =
1
(x
2
, x
2
) entonces x
1
= x
2
, as que (x
1
, x
1
) = (x
2
, x
2
).
Como ademas es sobreyectiva, se deduce que
1
|
G
es biyectiva. Por el Coro-
lario 5.2.2, inferimos que su inversa (
1
|
G
)
1
: x X (x, x) G es
continua. Ahora bien, =
2
(
1
|
G
)
1
. As que es continua.
Es facil ver que, al igual que ocurra en el caso de los espacios de Banach,
el hecho de que G() es cerrado (con : X Y lineal y X e Y F-espacios)
es equivalente a: si x
n
0 en X y x
n
y en Y , entonces y = 0. Por tanto
es continua si se cumple la condicion anterior.
Nota 5.3.2. Notemos que la tesis del teorema del grafo cerrado no se cumple
en general sin la completitud de ambos espacios. Por ejemplo, consideremos
los espacios vectoriales X = C
1
([0, 1]) e Y = C([0, 1]), ambos dotados de la
norma f = max
0t1
|f(t)|, as como la aplicacion lineal : f X f

Y . Observemos que Y no es completo. Entonces tiene grafo cerrado pues, si
f
n
n
f y f
n
g uniformemente en [0, 1] (con f
n
C
1
para todo n N), del
teorema fundamental de calculo y de la regla de Barrow se deduce facilmente
que f C
1
y f
= g, luego g = f. Sin embargo, no es continua. En

efecto, si elegimos por ejemplo f
n
(t) = t
n
, se tiene f
n
= 1 para todo n,
pero f
n
= t nt
n1
= n
n
+.
En conexion con la dualidad, no es difcil ver que si X e Y son espacios
localmente convexos y T : X Y es lineal y continua, entonces T es
debilmente continua, es decir, es continua como aplicacion (X, (X, X
)
T
(Y, (Y, Y
)) (Ejercicio 1 del Captulo 4). Vamos a ver que entre espacios de

Frechet el recproco es tambien cierto.
Teorema 5.3.3. Sean X e Y espacios de Frechet. Si T : X Y es lineal
y debilmente continua, entonces es continua.
Demostraci on. Basta aplicar el teorema del grafo cerrado. Si x
n
0 en X y
Tx
n
y en Y , se tiene que x
n
w
0 y Tx
n
w
y. Pero, por continuidad debil,
Tx
n
w
0. Por la unicidad del lmite en espacios separados, resulta que y = 0.
Como consecuencia, G(T) es cerrado, y por tanto T es continua.
5.4. Teorema de Schauder
A continuacion, vamos a establecer otra consecuencia de la completitud,
donde esta vez intervienen los espacios duales. Por B
X
denotaremos la bola
unidad cerrada de un EN X.
Denicion 5.4.1. Sean X e Y dos espacios normados y T : X Y lineal. Se
dice que T es compacta cuando se cumple cualquiera de las tres condiciones
equivalentes siguientes:
(a) T(B
X
) es un subconjunto relativamente compacto de Y .
(b) Para cada subconjunto acotado A X, T(A) es compacto.
(c) Si (x
n
) X es una sucesion acotada, (Tx
n
) posee alguna subsucesion
convergente en Y .
Ya que B
X
es acotado y cada conjunto A X acotado esta incluido en
B
X
para alg un > 0, y ya que en un espacio metrico la compacidad y
la compacidad secuencial coinciden, resulta evidente la equivalencia de (a),
(b) y (c) en la denicion anterior. Es claro que toda aplicacion compacta es
continua.
Queremos establecer la equivalencia de la compacidad de T y T
en espa-
cios de Banach. Este el contenido del Teorema de Schauder (Teorema 5.4.3).
Antes necesitamos la siguiente caracterizacion de la compacidad relativa, que
es una version del Teorema de ArzelàAscoli. Su prueba se omite por ser muy
similar a la del Teorema 3.2.1.
Teorema 5.4.2. Sea K un ET compacto. Consideremos el espacio de Ba-
nach C(K) de las funciones continuas K C dotado de la norma del supre-
mo f
= sup
xK
|f(x)|. Sea A un subconjunto puntualmente acotado y
equicontinuo, es decir:
Para cada x K, sup{|f(x)| : f A} < +.
Dados x K y > 0, existe un entorno V de x tal que |f(y)f(x)| <
para todo y V y toda f A.
Entonces A es relativamente compacto en C(K).
Teorema 5.4.3. Sean X e Y dos espacios normados, y T L(X, Y ). Con-
sideremos la aplicaci on traspuesta T
. Se verica:
(a) Si T es compacta, entonces T
es compacta.
(b) Si Y es de Banach y T
es compacta, entonces T es compacta.

Demostracion. (a) Se supone que T es compacta. Sea (
n
) B
Y
, la bola
unidad cerrada de Y
. Entonces |
n
(y)
n
(y
)| y y
para todo y, y

Y , luego (
n
) es una sucesion equicontinua de funciones. Como T(B
X
) es
compacto en Y , es acotado, luego existe M (0, +) tal que y M para
todo y T(B
X
), as que |
n
(y)| M para todo n 1 y todo y T(B
X
). Por
tanto (
n
) es equicontinua y puntualmente acotada en el compacto T(B
X
).
Por el Teorema 5.4.2, existe una subsucesion (
n
k
) de (
n
) uniformemente
convergente en T(B
X
). En particular, (
n
k
) es uniformemente de Cauchy en
T(B
X
), es decir, dado > 0 existe k
0
= k
0
() N tal que
sup{|
n
k
(Tx)
n
l
(Tx)| : x B
X
} < para todo k, l k
0
.
Pero el supremo anterior coincide con T
n
k
T
n
l
, luego (T
n
k
) es de
Cauchy en X
. Ahora bien, el dual X
es completo, as que (T
n
) tiene una
subsucesion convergente. En consecuencia, T
(B
Y
) es relativamente com-
pacto en X
, es decir, T
es compacta.
(b) Se supone ahora que Y es de Banach y que T
es compacta. Sean i :
X X
y j : Y Y
las inmersiones canonicas, dadas por

(i(x))() = (x), (j(y))() = (y) x X, y Y, X
y Y
.
De aqu y de la denicion de T
: X
se deduce que j T = T
i.
Ahora bien, puesto que i es una isometra, si x B
X
entonces i(x) B
X
.
Por tanto
(j T)(B
X
) T
(B
X
).
Por el apartado (a), T
es compacta, luego T
(B
X
) es relativamente com-
pacto en Y
, as que (j T)(B
X
) tambien lo es. Sea ahora (x
n
) B
X
.
Entonces existe una subsucesion (x
n
k
) tal que {(j T)(x
n
k
)}
k1
) converge
en Y
, y por tanto es de Cauchy. Como j es una isometra, (T(x

n
k
)) es de
Cauchy en Y y, puesto que Y es completo, (T(x
n
k
)) converge en Y . Hemos
demostrado que T(B
X
) es relativamente compacto en Y . En otras palabras,
la aplicacion T es compacta.
5.5. Puntos extremales
Pasamos ahora a estudiar consecuencias de la estructura convexa del
espacio. Antes de ello, necesitamos la importante nocion de punto extremal.
Recordemos que, si E es un EV y a, b E, el segmento cerrado y el
segmento abierto de extremos a y b se denen respectivamente por [a, b] =
{ta + (1 t)b : 0 t 1} y (a, b) = {ta + (1 t)b : 0 < t < 1}. Notemos
en particular que [a, a] = {a} = (a, a).
Denicion 5.5.1. Sea K un subconjunto de un EV X, y sea S K. Se dice
que S es un subconjunto extremal de K si cumple la siguiente propiedad:
a, b K y (a, b) S = = a, b S.
Un punto x
0
K es un punto extremal de K si {x
0
} es un subconjunto
extremal de K.
Denotaremos por Ext(K) el conjunto de los puntos extremales de K. Por
ejemplo, si X = R
2
, y K
1
y K
2
denotan respectivamente el cuadrado unidad
cerrado [0, 1] [0, 1] y el disco unidad cerrado {(x, y) R
2
: x
2
+ y
2
1},
entonces cada lado [0, 1] {0}, [0, 1] {1}, {0} [0, 1] y {1} [0, 1] es un
subconjunto extremal de K
1
, y cada arco de la circunferencia unidad es un
subconjunto extremal de K
2
. Ademas Ext(K
1
) = {(0, 0), (0, 1), (1, 0), (1, 1)}
y Ext(K
2
) = {(x, y) R
2
: x
2
+ y
2
= 1}.
Demos un ejemplo mas sosticado. Sea S un ET separado y compacto, y
consideremos la -algebra B de los subconjuntos borelianos de S, as como el
EV M(S) de todas las medidas reales regulares borelianas en S. Una medida
M(S) es de probabilidad si es positiva y (S) = 1. Denotemos por
M
P
el subconjunto de M(S) de las medidas de probabilidad. Consideremos
las medidas de Dirac
x
(x S), denidas como
x
(A) = 1 o 0 seg un que,
respectivamente, x A o x / A (A B). Nuestro objetivo es mostrar que
Ext(M
P
) = {
x
: x S}.
Para ello, probaremos primero que Ext(M
P
) = { M
P
: es {0, 1}valuada}
=: E y despues demostraremos que E = {
x
: x S}.
Para el primer paso, sea = t +(1t) E con 0 < t < 1 y , M
P
.
Fijemos A B. Como (A), (A) [0, 1], resulta:
(A) = 1 (A) = 1 = (A) y (A) = 0 (A) = 0 = (A).
Por tanto Ext(M
P
) y E Ext(M
P
). Recprocamente, sea Ext(M
P
).
Por reduccion al absurdo, supongamos que / E. Entonces existe A B tal
que 0 < t := (A) < 1. Denamos M(S) por
(B) = (1 t)(B A) t(B A
c
).
Entonces = 0 porque (A) = (1 t)t > 0. Veamos que +, M
P
:
(S) = (1t)(A)t(A
c
) = (1t)tt(1t) = 0, de donde (+)(S) =
1 = ( )(S).
+ y son positivas. En efecto, dado B B, tenemos que (+)(B) =
(BA) +(BA
c
) +(BA)(1 t) (BA
c
)t = (BA)(2 t)+
(B A
c
)(1 t) 0 y ( )(B) = (B A) + (B A
c
)
(B A)(1 t) + (B A
c
)t = (B A)t + (B A
c
)(1 + t) 0.
En consecuencia, M
P
, + = = y = (1/2)( + ) +
(1/2)( ), de donde / Ext(M
P
) y llegamos a contradiccion.
En cuanto al segundo paso, es claro que cada
x
E. Finalmente, jemos
E. Denotemos := {V S : V es abierto y (V ) = 0}. Como
se tiene que = . Sea Q :=
V
V , que es un abierto por ser union de
abiertos. Veamos que (Q) = 0. En efecto, si F Q es compacto, podemos
encontrar un n umero nito de abiertos V
1
, . . . , V
N
tales que F
N
i=1
V
i
,
luego (F)

N
i=1
(V
i
) = 0, as que (F) = 0. Por regularidad de ,
tenemos (Q) = sup{(F) : F compacto Q} = 0. Sea A
0
:= S \ Q.
Es evidente que A
0
es cerrado, (A
0
) = 1 y A
0
es minimal con estas dos
condiciones. Si probamos que A
0
es unitario, tendramos que A
0
= {x
0
} para
alg un x
0
S y =
x
0
, con lo que concluira la prueba. As pues, por
reduccion al absurdo, supongamos que existen x
1
, x
2
A
0
con x
1
= x
2
. Por
ser S separado, podemos encontrar dos abiertos U
1
, U
2
en S con U
1
U
2
= ,
x
1
U
1
y x
2
U
2
. Luego x
2
/ U
1
. Denotemos A
1
:= A
0
U
1
, A
2
:= A
0
U
c
1
.
Entonces A
1
y A
2
son cerrados, A
0
= A
1
A
2
, x
1
/ A
1
y x
2
/ A
2
. Por tanto
1 = (A
0
) (A
1
) + (A
2
), luego (A
1
) o (A
2
) es 1, siendo A
1
, A
2
A
0
,
lo que contradice la minimalidad de A
0
.
5.6. Teorema de KreinMilman
Enunciemos seguidamente el Teorema de KreinMilman, el cual nos
indica como reconstruir un conjunto compacto convexo a partir de sus puntos
extremales.
Teorema 5.6.1. Sea K un subconjunto compacto de un ELC X. Entonces
K esta contenido en la envolvente convexa y cerrada de sus puntos ex-
tremales. En particular, si K es compacto y convexo, entonces K = co (Ext(K)).
Demostracion. Sea P la coleccion de todos los subconjuntos compactos ex-
tremales de K. Como trivialmente K es un subconjunto extremal de K, se
tiene P = . Por otra parte, si S es una coleccion no vaca de elementos de P,
entonces L :=
SS
S pertenece a P o es . En efecto, L es un subconjunto
cerrado de un compacto, luego es compacto. Y si a, b K son tales que a
o b / L, debe existir S S tal que a o b / S, con lo cual (a, b) S = ,
luego (a, b) L = , as que L es o extremal. Vamos a probar la siguiente
propiedad:
(A) Sean S P, X
, = max{Re (x) : x S} y S
= {x S :
Re (x) = }. Entonces S
P.
En efecto, sea z = tx + (1 t)y S
con 0 < t < 1, x, y K. Como z S

y S es extremal, se tiene que x, y S. Por tanto Re x , Re y
y, como = Re z = (Re x)t + (Re y)(1 t), se deduce Re x = =
Re y, de donde x, y S
. Luego S
es extremal, y es compacto porque es

un subconjunto cerrado de un compacto, ya que S
= S (Re )
1
({}).
As que S
P.
Tomemos ahora S P y sea P
= {T P : T S}. Como S P
, se
tiene P
= . Ordenemos P
por inclusion y veamos que P
es inductivo. En
efecto, si es una cadena en P
y N =
T
T, entonces N es compacto y
no , ya que cada interseccion nita es no (al ser un miembro de la cadena)
y ser los T conjuntos compactos. Luego N P
es un elemento minimal de
la cadena, as que P
es inductivo. Por el Lema de Zorn, existe un elemento

M P
minimal para la inclusion. Por tanto, ning un subconjunto propio de

M pertenece a P, de donde, por (A) [aplicado a M] se deduce que Re es
constante en M, para todo X
. Por el Teorema 4.5.8, M consta de un

solo punto, que es por tanto extremal de K. Por tanto hemos probado que
cada subconjunto compacto extremal de K contiene alg un punto extremal.
Sea ahora H la envolvente convexa de Ext (K). Queremos probar que
K H. Por reduccion al absurdo, supongamos que existe x
0
K \ H. Por
el Teorema 4.3.2 existen X
y
1
,
2
R tales que
Re x <
1
<
2
< Re x
0
x H,
ya que {x
0
} y H son subconjuntos no vacos, cerrados y convexos y {x
0
}
es compacto. Sea
K
:= {y K : Re y = max
xK
Re x}.
De acuerdo con (A), K
es extremal. Como Re y Re x
0
para todo
y K
, se tiene que K
H = , lo que contradice la armacion del nal

del parrafo anterior, pues Ext (K) H H. Esta es la contradiccion que
buscabamos.
Por ejemplo, si X es un EN reexivo, como B
X
es debilmente compacto,
podemos aplicar el Teorema 5.6.1 a (X, (X, X
)). Esto sucede, por ejemplo,

en un espacio de Hilbert H, donde es facil probar que Ext(B
H
) = S
H
. Se
tiene que B
H
= co
(H,H
)
(Ext(B
H
)) = co
(H,H
)
(S
H
) = co (S
H
), como ya
sabamos. En el Ejercicio 14 de este captulo se da una aplicacion mas.
Volvamos al ejemplo de M(S) y M
P
dado en la Seccion 5.5. Si C(S) =
{f : S R : f es continua}, sabemos que C(S)
puede identicarse con

M(S), dotado este de la norma = ||(S) = la variacion total de en
S. Observemos que M
P
= { M(S) : = 1 y (S) = 1}. En efecto,
la inclusion es evidente. En cuanto a la recproca, supongamos, por
reduccion al absurdo, que esta en el conjunto de la derecha pero no esta en
M
P
. Como (S) = 1, debe ocurrir que no es positiva, es decir, existe un
boreliano A S tal que (A) < 0. Entonces 1 = (S) = (A) + (S \ A),
de donde (S \ A) > 1, que es una contradiccion porque = 1. Por
tanto M
P
= B
M(S)
H, donde H = { M(S) : (S) = 1} = {
M(S) :
S
1 d = 1} = { C(S)
: (f
0
) = 1} (donde f
0
es la funcion
constante 1), habida cuenta de la identicacion M(S) C(S)
. Luego H
es un hiperplano w
-cerrado. Por el teorema de AlaogluBourbaki, la bola

B
M(S)
es w
-compacta, luego M
P
es w
-compacto. Es facil ver que M

P
es
convexo. En consecuencia, por el Teorema 5.6.1, M
P
= co
w
(Ext (M
P
)), y
por tanto
M
P
= co
w
({
x
: x S}).
5.7. Teorema de StoneWeierstrass
El conocido teorema de aproximacion de Weierstrass (Captulo 3) garan-
tiza que toda funcion continua real o compleja en un intervalo compacto
[a, b] puede aproximarse uniformemente por polinomios. En otras palabras,
el conjunto de los polinomios es denso en C([a, b]) con la norma del supremo.
Utilizando los teoremas de KreinMilman, de HahnBanach y de Alaoglu
Bourbaki, se puede probar la siguiente version del teorema de aproximacion
de Weierstrass, la cual se conoce como Teorema de StoneWeierstrass. Recorde-
mos antes que una familia F de funciones sobre un conjunto S se dice que
es un algebra si es un EV y cumple: f, g F f g F.
Teorema 5.7.1. Sea S un ET separado y compacto, y consideremos el es-
pacio de Banach C(S) = {f : S C : f es continua} dotado de la norma
del supremo. Sea A un subconjunto de C(S) tal que:
A es cerrado,
A es un algebra,
A contiene las funciones constantes,
A separa puntos, es decir, dados x, y S con x = y, existe A con
(x) = (y), y
A es autoadjunto, esto es, si f A entonces f A, donde f(x) := f(x)
(x S).
Entonces A = C(S).
Demostraci on. Ya que A es autoadjunto y tambien un EV, se deduce que
Re f e Imf estan en A si f lo esta. As, las funciones reales de A separan
puntos de S. Recordemos que, si M(S) denota el EV de las medidas com-
plejas regulares sobre los borelianos de S, dotado de la norma = ||(S),
entonces C(S)
= M(S). Consideremos el anulador de A, es decir, A
=
{ C(S)
S
f d = 0 f A}. Procedamos por reduccion al absurdo.
Si fuese A = C(S), existira C(S)
tal que |
A
0 y = 0, luego
A
= {0}.
Consideremos el subconjunto K de C(S)
dado por K := { A
:
1} = A
B
C(S)
. Como A
y B
C(S)
son w
-cerrados, as es K.
Por el teorema de AlaogluBourbaki, B
C(S)
es w
-compacta, luego K es un
subconjunto convexo, no vaco y w
-compacto de C(S)
. Por el teorema de
KreinMilman, Ext (K) = . Escojamos un elemento Ext (K). Entonces
A
y 1. Pero debe ser = 1: en efecto, en otro caso existira

(0, 1) tal que (1), (1+) K, de donde = (1/2)(1)+(1/2)(1+)
y no sera extremal.
Sea E el soporte de , denido como
E = sop () = S \
{G S : G es abierto y ||(G) = 0}.

Se tiene que ||(E) = = 1. Sea f A con 0 < f(x) < 1 para todo
x S. Denamos las medidas , M(S) por d = fd, d = (1 f)d.
Por ser A un algebra se tiene que , A
. Si = mn f y = max f,
se tiene =
S
1 d|| =
S
f d|| ||(S) = > 0, y analogamente
> 0 (se ha usado que 0 < < 1). Ademas + =
E
f d|| +
E
(1 f) d|| = ||(E) = 1.
Por tanto = t

+ (1 t)

, donde 0 < t := < 1. As pues

es una combinacion lineal convexa de
1
:= /
1
:= /. Como
1
,
1
K y es extremal, resulta
1
= , luego f d = d, es decir,
L
(f ) d = 0 para todo subconjunto medible L sop (), de donde se
deduce (usar la continuidad de f ) que f = 0 en E. Por tanto
f es constante en E. Si ahora g A es real, y tomamos m < mn
S
g y
M > max
S
g, resulta que
1
Mm+1
<
gm+1
Mm+1
< 1 en S. Pero f :=
gm+1
Mm+1
A
debido a las hipotesis del teorema. Se deduce del razonamiento anterior que
f es constante en E, luego tambien g es constante en E. Como las funciones
reales de A separan puntos de S, E contiene un solo punto. Pero A
.
Como A {constantes}, resulta 0 =
S
1 d =
E
1 d = (E). Al constar
de un solo punto, ||(E) = |(E)| = 0, lo que contradice ||(E) = 1.
Ejercicios
1.- Sea X un ET separado y localmente compacto. Probar que X es un espacio
de Baire.
Indicacion: Fijar una sucesion {U
n
}
n1
de abiertos densos y un abierto
no vaco W. Por induccion, construir una sucesion {B
n
}
n1
de abiertos no
vacos de modo que cada B
n
es compacto y esta contenido en WB
n1
U
n
,
donde B
0
:= X.
2.- Se pide probar la siguiente version del teorema de BanachSteinhaus. Sean
X e Y espacios vectoriales topologicos, K X compacto y convexo y
una familia de aplicaciones lineales y continuas de X en Y . Si para todo
x K la orbita (x) = {(x) : } es acotada, probar que el conjunto
{(x) : , x K} es acotado.
Indicacion: Sea B el conjunto anterior. Fijar un entorno equilibrado W de
0, y otro U E(0) equilibrado con U+U W. Denotar E :=

1
(U)
y probar que K =
n=1
(KnE). Aplicar el ejercicio anterior para deducir
que existe alg un n tal que K nE posee alg un punto interior relativo
a K, sea x
0
. Deducir que existe un entorno equilibrado V de 0 tal que
K (x
0
+ V ) nE. Vericar que existe p > 1 tal que K x
0
+ pV .
Si x K, probar que z := (1 p
1
)x
0
+ p
1
x K y que z x
0
V .
Expresar x = pz (p 1)x
0
y usar la linealidad de cada para deducir
que B pnW.
3.- Se pretende generalizar el Teorema 4.5.7. En concreto, se pide probar que
en un ELC X un conjunto es acotado si y solo si es debilmente acotado.
Indicacion: Para la suciencia, sea E un conjunto debilmente acotado, U
un entorno original de 0 en X, y V un entorno original de 0, convexo,
cerrado y equilibrado, con V U. Sea K = V
, el conjunto polar de
V . Deducir del teorema de las bipolares (Ejercicio 10 del Captulo 4) que
V = {x X : |(x)| 1 para toda K}. Asignar a cada X
un
n umero () (0, +) tal que |(x)| () para todo x E. Aplicar
el teorema de AlaogluBourbaki y el ejercicio anterior (con X
en lugar de
X y K en lugar de Y ) para deducir que existe una constante (0, +)
tal que |(x)| (x E, K). Demostrar que
1
E V .
4.- Sean X un F-espacio, Y y Z espacios vectoriales topologicos, y B : XY
Z una aplicacion bilineal, es decir, lineal separadamente en cada componente.
Probar que si B es continua separadamente en cada componente, entonces
B es continua.
5.- Demostrar el as denominado Principio de condensaci on de singularidades:
Sean E y F espacios vectoriales topologicos, de modo que E es de Baire.
Sea {H
n
: n N} una sucesion de subconjuntos no puntualmente acotados
de L(E, F). Probar que el conjunto {x E : para todo n N, {h(x) F :
h H
n
} no es acotado} es de segunda categora. Indicacion: demostrar que
dicho conjunto es residual.
6.- Sea X un EVT con dual X
. Probar que todo subconjunto equicontinuo de

X
es relativamente compacto en la topologa (X
, X). Indicacion: usar el

teorema de AlaogluBourbaki.
7.- (a) Sea X un F-espacio e Y un espacio de Frechet. Supongamos que T :
X Y es lineal y que, cuando x
n
0, la sucesion (Tx
n
) tiende debilmente
a 0. Probar que la aplicacion T es continua.
(b) Deducir el Teorema de HellingerToeplitz : Sean H un espacio de Hilbert
y T : H H una aplicacion lineal. Se supone que T es simetrica, es decir,
(Tx|y) = (x|Ty) para todo x, y H. Entonces T es continua.
8.- Sea E un ELC. Decimos que A E es un tonel si A es convexo, cerrado,
equilibrado y absorbente. Y se dice que E es tonelado si cada tonel es un
entorno del origen. Se pide:
(a) Probar que todo ELC de Baire es tonelado.
(b) Sea X el EV C([0, 1]) dotado de la norma |||f||| =
1
0
|f(t)| dt. Probar
que (X, ||| |||) no es tonelado.
(c) Sean E y F espacios localmente convexos, con E tonelado. Sea F
L(E, F) una familia tal que, para todo x E, el conjunto {(x) :
F} es acotado. Probar que F es equicontinua.
9.- Sea X un ELC con dual X
. Sea A = {A X
: A es una familia
equicontinua}. Para cada A A, sea p
A
(x) = sup{|(x)| : A} (x X).
(a) Probar que cada p
A
es una seminorma en X.
(b) Sea P = {p
A
: A A}. Demostrar que P es una familia ltrante y
separante.
(c) Probar que la topologa denida por P coincide con la topologa ori-
ginal de X.
10.- Supongamos que X es un EN, y consideremos el EN L(X) = L(X, X) de los
operadores lineales y continuos sobre X, dotado de la norma de operadores.
(a) Demostrar que el operador identidad I : X X es compacto si y solo
si dim(X) < +.
(b) Denotemos por K(X) el subconjunto de L(X) formado por los opera-
dores compactos. Probar que K(X) es un subespacio vectorial de X.
Probar tambien que es un ideal, es decir, si T K(X) y S L(X),
entonces las composiciones TS y ST pertenecen a K(X).
(c) Si T L(X) tiene rango nito, es decir, si dim(T(X)) < +, entonces
T K(X).
(d) Si X es un espacio de Banach, probar que K(X) es cerrado en L(X).
11.- Consideremos el espacio X = C([0, 1]), dotado de la norma del supremo.
Demostrar que el operador de Volterra T : X X, dado por
(Tf)(x) =
x
0
f(t) dt (x [0, 1]),
es compacto.
12.- Sea X un EN. Se dice que X es uniformemente convexo si, para cada > 0,
existe un > 0 tal que las relaciones x = y = 1,
x+y
2
1 implican
xy . Decimos que X es estrictamente convexo cuando, para cada par
de vectores distintos x e y con x = 1 = y, se tiene
x+y
2
< 1. As pues,
todo EN uniformemente convexo es estrictamente convexo. Denotemos por
S
X
la supercie esferica unidad de X, es decir, S
X
:= {x X : x = 1}.
(a) Demostrar que, en cualquier EN X, se tiene Ext (B
X
) S
X
.
(b) Probar que X es estrictamente normado si y solo si Ext (B
X
) = S
X
.
(c) Demostrar que si X es uniformemente convexo, entonces Ext (B
X
) =
S
X
.
(d) Probar que todo espacio de Hilbert es uniformemente convexo.
(e) Demostrar que
1
y c
0
no son uniformemente convexos.
13.- (a) Sea X un EN uniformemente convexo, x
0
X con x
0
= 1, y X
tal que = (x
0
) = 1. Probar que para cada > 0 existe > 0 tal que,
si x = 1 y |(x x
0
)| < , entonces x x
0
< .
(b) Decimos que un EN X satisface la propiedad de Kadec si la topologa
debil y la de la norma coinciden si se restringen a la supercie esferica
unidad. Probar que todo EN uniformemente convexo satisface la propiedad
de Kadec.
14.- (a) Sea X un EN dual, es decir, existe un EN Y tal que X Y
. Aplicar
los teoremas de KreinMilman, de BanachAlaoglu y de Mazur (Teorema
4.5.5) para dar una expresion de la bola unidad cerrada B
X
en funcion de
Ext (B
X
).
(b) Demostrar que la bola unidad cerrada de (L
1
([0, 1]),
1
) carece de
puntos extremales.
(c) Probar que la bola unidad cerrada de (c
0
,
) carece asimismo de
puntos extremales.
(d) Demostrar que los unicos puntos extremales de bola unidad cerrada de
((C([0, 1]), R),
) son las constantes 1, 1.

(e) Deducir que los tres espacios normados anteriores no son duales.
15.- Si N N es jo, probar que el conjunto de los polinomios P : R C
tales que P
(j)
(0) = 0 (j = 1, . . . , N) es denso en el espacio C([0, 1]) = {f :
[0, 1] C continuas} dotado de la norma del supremo.
16.- Sea X = (c,
) el EN de las sucesiones convergentes, dotado de la norma

del supremo. Probar que, si B es su bola unidad cerrada, se verica Ext(B) =
{x = (x(n))
n1
: n
0
= n
0
(x) N tal que {x(n) : n n
0
} {1, 1}}. Es
B = co (Ext (B))? Se contradice el teorema de KreinMilman?
17.- Supongamos que X es un EN de dimension innita, y que T L(X) es
un operador para el que existe una constante C (0, +) que goza de la
siguiente propiedad: dados X
y x S
X
, existe y = y(, x) S
X
tal
que |(T(y))| C|(x)| (por S
X
entendemos la supercie esferica unidad
de X). Demostrar que T no es un operador compacto si T
tiene rango
cerrado.
Bibliografa
Existe una abundante bibliografa acerca de espacios vectoriales topologicos
y espacios funcionales. Los libros que a continuacion se enumeran constituyen solo
una peque na parte. Cada uno de ellos ha sido usado en la elaboracion de alguna o
algunas secciones de estas notas, pero hay que tener en cuenta que el enfoque de los
temas a tratar puede variar de libro a libro. Por supuesto, todos contienen mucho
mas material adicional, que puede ayudar al lector interesado tanto a profundizar
en la teora dada aqu como a introducirse en temas nuevos. Ademas, la mayora de
los textos sugeridos contienen listados de ejercicios y problemas sobre las materias
tratadas, y en algunos casos se dan sugerencias para resolverlos. Los libros de
Marrero y de Trenoguin et al. citados abajo estan completamente dedicados a la
resolucion de ejercicios.
G. Bachman y L. Narice, Analisis funcional, Tecnos, Madrid, 1981.
B. Beauzamy, Introduction to Banach spaces and their geometry, North Hol-
land, Amsterdam, 1985.
S.K. Berberian, Introduccion al espacio de Hilbert, Teide, Barcelona, 1977.
H. Brezis, Analisis funcional, Alianza, Madrid, 1984.
J.B. Conway, A course in functional analysis, Springer, New York, 1990.
J. Diestel, Sequences and series in Banach spaces, Springer-Verlag, New
York, 1984.
137
Y. Eidelman, V. Milmann and A. Tsolomitis, Functional analysis. An intro-
duction, Graduated Studies in Mathematics, Vol. 66, American Mathemati-
cal Society, Providence, 2004.
J. Horvath, Topological vector spaces and distributions, Addison-Wesley,
Reading, Massachusetts, 1966.
A.N.K. Kolmogorov y S.V. Fomin, Elementos de la teora de funciones y del
analisis funcional, Mir, Mosc u, 1975.
L. Lusternik et V. Sobolev, Precis danalyse fonctionelle, Mir, Moscou, 1989.
M.I. Marrero, Problemas de analisis real y funcional, Secretariado de Publi-
caciones de la Universidad de La Laguna, 1991.
R. Meise and D. Vogt, Introduction to functional analysis, Oxford Science
Publications, 1997.
W. Rudin, Analisis funcional, Reverte, 1979.
W. Rudin, Analisis real y complejo, Alhambra, Madrid, 1987.
K. Saxe, Beginning functional analysis, Springer, New York, 2002.
M. Schehter, Principles of functional analysis, Graduated Studies in Mathe-
matics, Vol. 36, American Mathematical Society, Providence, 2002.
C. Swartz, Elementary functional analysis, World Scientic, New Jersey,
2009.
A.E. Taylor and D.C. Lay, Introduction to functional analysis, John Wiley,
1980.
V.A. Trenoguin, B.M. Pisarievski y T.S. Soboleva, Problemas y ejercicios de
analisis funcional, Mir, Mosc u, 1987.
F. Trèves, Topological vector spaces, distributions and kernels, Academic
Press, New York, 1973.
Lista de smbolos y
abreviaturas
BON = base ortonormal
ELC = espacio localmente convexo
EN = espacio normado
ET = espacio topologico
EV = espacio vectorial
EVT = espacio vectorial topologico
SON = sistema ortornormal
w
convergencia en la topologa debil
w
convergencia en la topologa debil-
convergencia en la topologa
(x|y) = producto escalar de x e y
d(x, y) = distancia entre x e y
x = norma de x

p
= norma en el espacio
p
o L
p
()

= norma del supremo

C = conjunto de los n umeros complejos
K = el conjunto R o el conjunto C, indistintamente
N = conjunto de los n umeros naturales
N
0
= N {0}
139
Q = conjunto de los n umeros racionales
R = conjunto de los n umeros reales
A
0
= interior del conjunto A
A
= conjunto polar del conjunto A

A
= bipolar del conjunto A

A = clausura del conjunto A
A
= conjunto ortogonal de A, o anulador de A
A = anulador de A, donde A X
A = span (A) = variedad lineal generada por A

A + B = {x + y : x A, y B}
x + A = {x + u : u A}
A = {x : x A}
A = {x : , x A}
absco (A) = envolvente absolutamente convexa de A
absco (A) = envolvente absolutamente convexa cerrada de A
B(a, ) = bola abierta de centro a y radio
B(a, ) = bola cerrada de centro a y radio
B
X
= bola unidad cerrada del espacio normado X
c = espacio de las sucesiones convergentes
c
0
= espacio de las sucesiones nulas
c
00
= espacio de las sucesiones casi nulas
co (A) = envolvente convexa de A
co (A) = envolvente convexa cerrada de A
C(S) = espacio de las funciones continuas S K
C(S, R) = espacio de las funciones continuas S R
C(S, C) = espacio de las funciones continuas S C
C
N
() = espacio de las funciones diferenciables con continuidad
hasta orden N en
Lista de smbolos y abreviaturas 141
C
() = espacio de las funciones innitamente diferenciables en

D = espacio de las funciones innitamente diferenciables de soporte
compacto
D
= derivada de orden
D
= espacio de las distribuciones

D(K) = espacio de las funciones innitamente diferenciables con soporte
contenido en el compacto K
dim(X) = dimension algebraica de X
E(x
0
) = familia de los entornos del punto x
0
Ext (A) = conjunto de puntos extremales del conjunto A
f g = producto de convolucion de f y g
H() = espacio de las funciones holomorfas en
Im(T) = imagen de T
Ker () = n ucleo de la aplicacion lineal
K(X) = espacio de los operadores compactos sobre X
L(X) = espacio de los operadores sobre X
L(X, Y ) = espacio de las aplicaciones lineales y continuas de X en Y
p
= espacio de las sucesiones sumables de orden p
= espacio de las sucesiones acotadas

L
p
() = espacio de las funciones medibles que son integrables de orden
p respecto de la medida
L
() = espacio de las funciones medibles esencialmente acotadas

respecto de la medida
M(S) = espacio de las medidas de Borel regulares reales o complejas
sobre S
M(S, C) = espacio de las medidas complejas de Borel regulares sobre S
M(S, R) = espacio de las medidas reales de Borel regulares sobre S
|| = variacion total de la medida
A
= funcional de Minkowski de A
-ect = en casi todo respecto de la medida
sop f = soporte de la funcion f
sop () = soporte de la medida
S
X
= supercie esferica unidad del espacio normado X
(X, X
) = topologa debil sobre X

(X, X
) = topologa debil- sobre X
= aplicacion traspuesta de T
1

2
la topologa
1
es menos na que
2
(P) = topologa generada por la familia de seminormas P
V (f) = variacion de la funcion f
x

I
x
0
la red (x
)
I
converge a x
0
X
= dual topologico del EVT X

X
= bidual del EN X
X
= dual algebraico de X
X Y X es topologicamente isomorfo a Y
X/N = espacio cociente de X respecto del subespacio Y
Indice alfabetico
Algebra de funciones, 130
Algebra del disco, 81

Anulador, 107
Aplicacion
homogenea, 39
lineal continua, 9, 45
lineal uniformemente continua, 9, 45
secuencialmente continua, 61
subaditiva, 39
Base
algebraica, 19
de entornos, 31
de Hamel, 19
de Schauder, 19
normalizada, 19
incondicional, 28
ortonormal, 16
Bidual de un espacio normado, 10, 104
Bipolar de un conjunto, 113
Boreliano, 71
Coecientes de Fourier, 15
Complemento topologico, 28
Conjunto
conal, 75
de Borel, 71
dirigido, 75
ortogonal, 14
Constante basica, 22
incondicional, 28
Derivada de Radon-Nikodym, 17
Desigualdad
de Cauchy-Schwarz, 13
triangular, 8
Distribucion, 82
Dual
algebraico, 45, 90
de
p
, 11
de L
p
, 46
topologico, 45
Envolvente
absolutamente convexa, 113
cerrada absolutamente convexa, 113
cerrada convexa, 92
convexa, 62, 91
Esfera de Riemann, 73
Espacio
cociente, 61
de Baire, 11
de Banach, 8
de Frechet, 43
de funciones innitamente diferenciables
con soporte compacto, 41
de Hilbert, 13
de las funciones analticas, 32
de las funciones innitamente diferenciables,
41
dual, 10, 45
eucldeo, 13
normado, 8
de dimension nita, 12
estrictamente convexo, 135
reexivo, 11, 104
uniformemente convexo, 135
prehilbertiano, 13
primer numerable, 74
vectorial topologico, 34
143
localmente acotado, 43
localmente compacto, 43
localmente convexo, 43
metrizable, 43
normable, 43
tonelado, 134
F-espacio, 43
Familia
de seminormas, 39
ltrante, 39
separante, 39
equicontinua, 66, 116
puntualmente acotada, 11
uniformente acotada, 11
Forma lineal, 10
Formula de la integral de Cauchy, 68, 72
Funcion
de densidad, 17
de soporte compacto, 70
de variacion acotada, 29
escalonada, 70
generalizada, 82
test, 82
Funcional, 10
de coordenada, 24
de Minkowski, 50
Grafo, 12
Hiperplano, 89
afn, 89
Hiperplanos paralelos, 89
Homogeneidad, 8
Homotecia, 34
Identidad
de Parseval, 15
del paralelogramo, 13
Medida
-nita, 16
absolutamente continua, 16
compleja, 70
de Borel, 71
de Dirac, 126
nita, 16
real, 70
regular, 71
Norma, 8
de un operador lineal, 10
Operador, 9, 106
de derivacion, 81
de Volterra, 135
Orden parcial, 75
Plano complejo completado, 73
Polar de un conjunto, 101
Principio
de acotacion uniforme, 11
de condensacion de singularidades, 133
Producto
cartesiano, 81, 100
de convolucion, 64
escalar, 13
Propiedad de Kadec, 136
Proyecci on ortogonal, 14
Punto
adherente de una red, 76
extremal, 125
Red, 76
convergente, 76
Segmento
abierto, 125
cerrado, 125
Seminorma, 39
Serie de Fourier, 15
Sistema
de Haar, 25
ortogonal, 15
ortonormal, 15
ortonormal completo, 15
ortonormal maximal, 15
total, 15
Soporte
de una funcion, 82
Indice alfabetico 145

de una medida, 131
Subconjunto
absolutamente convexo, 113
absorbente, 34
acotado, 37
compacto, 38
convexo, 14, 35
debilmente acotado, 95
de primera categora, 11
de segunda categora, 11
equilibrado, 35
extremal, 125
relativamente compacto, 66
residual, 11
secuencialmente compacto, 104
Subespacio afn, 89
Subred, 76
Sucesion basica, 19
monotona, 22
Teorema
de AlaogluBourbaki, 102
de aproximaci on de Weierstrass, 20, 63
de ArzelàAscoli, 66, 123
de Baire, 11
de BanachSteinhaus, 11, 117
de BirkhoKakutani, 56
de convergencia de Weierstrass, 58
de Goldstine, 105
de HahnBanach, 10, 84
forma geometrica, 91
de HellingerToeplitz, 134
de la Aplicacion Abierta o del Homomorsmo,
12, 118
de la Proyeccion, 14
de las bipolares, 113
de Mackey, 98
de Mazur, 97
de Montel, 33, 50, 68
de Nikolski, 22
de Radon-Nikodym, 16
de representaci on de Riesz, 14, 71
de Riesz, 49
de Runge, 72
de Schauder, 123
de StoneWeierstrass, 130
de Tychono, 81, 101
del Grafo Cerrado, 12, 121
del vector minimizante, 14
Tonel, 134
Topologa
debil, 95
debil-, 100
de la convergencia compacta, 33
de la convergencia puntual, 60
fuerte, 104
producto, 81, 100
Traslacion, 34
Traspuesta de una aplicacion lineal, 106
Variacion total de una medida, 70
Variedad afn, 89
Vectores ortogonales, 14

BERNAL, DOMINGUEZ - Espacios Vectoriales Topologicos y Espacios Funcionales

Enviado por

Dados do documento

Descrição original:

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

BERNAL, DOMINGUEZ - Espacios Vectoriales Topologicos y Espacios Funcionales

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDAD DE SEVILLA

Indice alfabetico 142

de las sucesiones convergentes y de las

es siempre un espacio de Banach. Por el corolario anterior, X

separa puntos de X, esto

de X mediante la inclusion canonica : X X

dada por (x)() = (x).

[ denota isomorsmo entre

no lo es, se tiene que c

:= {y H : (x|y) = 0 x A}. El conjunto A

existe un unico vector y H tal que Tx = (x|y) para todo

dada por y T en el teorema

) se les llama coecientes de Fourier de x respecto del sistema

. Por el teorema de representacion de Riesz,

< y obtenemos la densidad.

. Para cada n N, sea e

tal que f 1/,

con = 1 y sea Y = Ker(), el n ucleo de . Sea

(y) = 0 para todo y Y . Probar que existe c K tal que

con = 1 e Y = Ker(). Probar que para cada x X

que lo hace completo y tal que las aplicaciones

, ) tiene grafo cerrado.

() de las funciones innitamente diferenciables sobre , es decir,

(), cada > 0, cada compacto K y cada k N

(), > 0, K compacto , k N

(), que es la de la convergencia

(). En efecto, sea f D(K

() es tambien localmente convexo. Mas adelante hablaremos sobre

se le llama tambien el dual topologico de X.

V (0, , p) tV (0, , p) tU.

. De esta doble inclusion se inere que la topologa

() es un ELC. Ademas, es facil demostrar que

(), observemos que si

() es de Cauchy, para cada multindice se tiene que (D

uniformemente en compactos. Los teoremas de

(), luego este espacio tambien es completo. Se deduce que

() son espacios de Frechet.

P) es la topologa de EVT generada por

() C() es continua y que el

| < y para cualquier funcion

=nf{M [0, +) : |f| M -ect} (si p = +).

. El resultado siguiente nos dice que,

= para toda M(S).

. Hemos de encontrar una medida M(S, R) tal

. Para f C(S) con f 0, se dene

para toda f C(S).

= C{0}, el plano complejo completado, que puede

\ K. Entonces existe una funcion

\ . Entonces existe una

\ K que contiene a . Si es nito,

: |z| > r} y se aplicara un razonamiento similar a la expresion

U A, luego U A = . Por tanto

V . Si para cada (U, V ) I tomamos x

) U para esos mismos ,

(x)| 1 x [0, 1]} es relativamente

|f(x +iy)| dxdy 1

y (respecto de ), se tiene que x

H(). Si P es el polinomio P(z) = a

(R) cuyo soporte esta contenido en

(R) de soporte compacto. As que

y R tales que Re x < Re y

tal que (A+V ) y (B) son disjuntos, con (A+V )

el dual algebraico de X, es decir, X