El Teorema de Hahn-Banach

U NIVERSIDAD DE L A L AGUNA
FACULTAD DE C IENCIAS S ECCIN DE M ATEMTICAS
El teorema de Hahn-Banach
Memoria que presenta la alumna
Remedios Marina Daz Gil

bajo la direccin de
M. Isabel Marrero Rodrguez

para optar al ttulo de
Graduada en Matemticas
L A L AGUNA , JULIO 2015
M. ISABEL MARRERO RODRGUEZ, profesora titular de Anlisis Matemtico adscrita al

Departamento de Anlisis Matemtico de la Universidad de La Laguna,
HAGO CONSTAR:
Que la presente Memoria, titulada El teorema de Hahn-Banach, ha sido desarrollada bajo
mi direccin por la alumna D. Remedios Marina Daz Gil (DNI 42412082J) y constituye su
Trabajo de Fin de Grado para optar al ttulo de Graduada en Matemticas por la Universidad
de La Laguna.
La Laguna, a 15 de julio de 2015.
Fdo.: M. Isabel Marrero Rodrguez
Agradecimientos
Agradecer a mi tutora Mara Isabel Marrero Rodrguez por dedicarme semanalmente parte de
su tiempo a lo largo del curso 2014/2015 para poder realizar este trabajo. Adems de apoyarme y
ayudarme en todo momento.
VI
Agradecimientos
Abstract
The theorem that we nowadays call of Hahn-Banach is located at the base of the duality
theory and therefore constitutes a cornerstone of linear functional analysis. The impact of this
important result reaches other areas of mathematics, such as approximation theory, optimization,
complex analysis, partial differential equations or ergodic theory and even other disciplines,
including finance, thermodynamics or fluid mechanics.
In the mathematical literature, it is common to find three variants of the Hahn-Banach
theorem, two of them corresponding to the analytical version (dominated extension theorem
in linear spaces and continuous extension theorem in normed spaces), and the third one to the
geometric version (the separation theorem, both in linear and normed spaces), but many other
versions have been formulated in several environments: topological vector spaces, vector lattices,
modules, Boolean algebras, groups, semigroups, and so on.
The objective of this work is to state and prove rigorously the three more common versions
of the theorem and discuss some variants, special cases, consequences and applications of these
results.
VII
VIII
Abstract
Prlogo
Recogemos en este prlogo los antecedentes, objetivos y plan de trabajo desarrollado en la

memoria.
El teorema que hoy en da llamamos de Hahn-Banach se encuentra en la base de la teora
de la dualidad y constituye, por tanto, una pieza clave del anlisis funcional lineal. No obstante,
el impacto de este importante resultado se extiende a otras reas de las matemticas, tales como
la teora de la aproximacin, la optimizacin, el anlisis complejo, las ecuaciones en derivadas
parciales o la teora ergdica; e, incluso, a otras disciplinas, entre las que cabe citar las finanzas,
la termodinmica o la mecnica de fluidos.
En la literatura matemtica es habitual encontrar tres variantes del teorema de Hahn-Banach,
correspondiendo dos de ellas a la forma analtica (teoremas de extensin mayorada en espacios
vectoriales y de extensin equinrmica o continua en espacios normados), y la tercera a la forma
geomtrica (teorema de separacin en espacios vectoriales y en espacios normados), pero se
han formulado muchas otras versiones en diversos ambientes: espacios vectoriales topolgicos,
retculos vectoriales, mdulos, lgebras de Boole, grupos, semigrupos, etc..
El objetivo de este trabajo es enunciar y demostrar rigurosamente las tres versiones ms comunes del teorema y discutir algunas variantes, casos particulares, consecuencias y aplicaciones
de estos resultados.
Concretamente, el captulo 1 est dedicado a las formas analticas del teorema de HahnBanach. En l se recogen el teorema de extensin mayorada (Teorema 1.3.2) y el teorema de
extensin equinrmica o continua (Teorema 1.4.1), junto con sendas aplicaciones de ste a
la teora de operadores (Corolario 1.4.10) y a la existencia de subespacios complementarios
(Corolario 1.4.12). A lo largo del captulo, otros corolarios de los resultados principales, al margen
de su inters intrnseco, sirven como motivacin para los teoremas de separacin que se estudian
en el captulo siguiente.
El captulo 2 se focaliza en la versin geomtrica del teorema de Hahn-Banach. Tras unos
preliminares en los que se abunda en la relacin entre hiperplanos y funcionales lineales (Proposiciones 2.2.2 y 2.2.4), se aborda el teorema general de separacin de conjuntos convexos por
IX
Prlogo
hiperplanos en espacios vectoriales (Teorema 2.4.2), estudiando con este motivo la definicin y
propiedades del funcional de Minkowski (Proposicin 2.4.4). Tras obtener algunas consecuencias
importantes para el caso particular en que el espacio vectorial est provisto de una norma
(Corolarios 2.5.2, 2.5.3 y 2.5.4), el captulo concluye con la constatacin de que en espacios de
dimensin finita no es necesaria ninguna hiptesis restrictiva para llevar a cabo la separacin
(Corolario 2.6.1).
El captulo 3 est dedicado a mostrar cmo el teorema de Hahn-Banach permite profundizar
en el estudio de la dualidad en espacios normados. Tras identificar el dual de un subespacio
(Corolario 3.2.1), se transcribe este resultado en trminos de mejor aproximacin en el espacio
dual (Corolario 3.2.3) y se da una til caracterizacin dual de la clausura de un subespacio
(Corolario 3.2.5). Cierran el captulo la introduccin y primeras propiedades de las topologas
dbil y dbil*, incluyendo el importante teorema de Banach-Alaoglu-Bourbaki (Teorema 3.3.23).
El ltimo captulo 4 resume las conclusiones y la prospectiva del trabajo.
La memoria se complementa con el preceptivo pster como apndice y concluye con un
ndice analtico y la relacin de la bibliografa consultada. Para su redaccin hemos seguido
estrechamente las referencias [1] y, sobre todo, [5], complementndolas con [3, 6, 7].
ndice general
Agradecimientos
Abstract
VII
Prlogo
IX
ndice general
XI
1 Versin analtica
1.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Extensin mayorada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Extensin continua . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.1 Extensin equinrmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.2 Aplicaciones de la extensin equinrmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2 Versin geomtrica
13
2.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
2.2 Espacios cociente, hiperplanos y funcionales lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
2.3 Motivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
2.4 Espacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
2.4.1 Separacin en espacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
2.4.2 Funcional de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
2.5 Espacios normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
2.5.1 Separacin en espacios normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
2.5.2 Funcionales y puntos de soporte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
2.5.3 Separacin fuerte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
2.6 Espacios de dimensin finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
3 Dualidad en espacios normados
27
3.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
3.2 Algunos resultados sobre aproximacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
3.2.1 Dual de un subespacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
3.2.2 Mejor aproximacin en un espacio dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
XI
ndice general
XII
3.2.3 Caracterizacin dual de la clausura de un subespacio . . . . . . . . . . . . . . . . . . . . . . . .
29
3.2.4 Dual de un cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
3.3 Topologas dbil y dbil* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
3.3.1 Repaso sobre la topologa menos fina que hace continuas a todas las aplicaciones de una
familia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
3.3.2 Definicin y propiedades elementales de la topologa dbil (X , X ) . . . . . . . . . . . . . . .
32
3.3.3 Topologa dbil, conjuntos convexos y operadores lineales . . . . . . . . . . . . . . . . . . . . .
36
3.3.4 La topologa dbil* (X , X ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
4 Conclusiones y prospectiva
43
4.1 Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
4.2 Prospectiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
Apndice: Pster
45
ndice alfabtico
49
Bibliografa
51
CAPTULO 1
Versin analtica
1.1. Introduccin
En este captulo se enuncian y demuestran rigurosamente las dos versiones analticas ms
comunes del teorema de Hahn-Banach. Nos referimos al teorema de extensin mayorada, que
se corresponde con el Teorema 1.3.2, y al teorema de extensin equinrmica o continua, que se
recoge como Teorema 1.4.1. Ambos hacen referencia a la extensin de un funcional lineal definido
sobre un subespacio de un espacio vectorial (en el segundo caso, normado) a un funcional
lineal definido sobre todo el espacio. Tambin se discutirn otros resultados que constituyen
variantes, casos particulares, consecuencias y aplicaciones de dichos teoremas. Algunos de ellos
se interpretarn en trminos de separacin de conjuntos por funcionales lineales y, en parte,
motivarn la versin geomtrica del teorema de Hahn-Banach, que ser objeto de estudio en el
prximo captulo.
1.2. Preliminares
En lo que sigue, K denotar un cuerpo de escalares (R C).
Definicin 1.2.1. Un espacio vectorial X sobre el cuerpo K se dice que es un espacio vectorial
normado si a cada x X hay asociado un nmero real no negativo kxk, llamado la norma de
x, tal que:
(i) kxk = 0 implica x = 0;
(ii) kxk = || kxk ( K, x X );
1
Captulo 1. Versin analtica
(iii) (desigualdad triangular) x + y kxk + y x, y X .
Definicin 1.2.2. Un funcional lineal en un espacio vectorial es una aplicacin lineal de dicho
espacio en el cuerpo K sobre el que est construido.
Definicin 1.2.3. El dual de un espacio normado X es el espacio vectorial X cuyos elementos son
los funcionales lineales continuos sobre X .
Con la suma y la multiplicacin por escalares definidas punto a punto, X es un espacio
vectorial. La aplicacin

f = sup f (x) : x X , kxk 1
( f X )
define una norma sobre X .

El teorema de Hahn-Banach asegura la existencia de un nmero suficiente de funcionales
lineales continuos en espacios normados no triviales y contribuye al desarrollo de una teora de
la dualidad satisfactoria.
1.3. Extensin mayorada

Recordemos la siguiente definicin.
Definicin 1.3.1. Una seminorma en un espacio vectorial X sobre el cuerpo K es una funcin :
X R, cumpliendo:
(i) (x) = || (x) ( K, x X );
(ii) (desigualdad triangular) x + y (x) + y x, y X .

Teorema 1.3.2 (Hahn 1927, Banach 1929). Sea X un espacio vectorial, provisto de una funcin
: X R que verifica las siguientes condiciones:
(x + y) (x) + (y) (x, y X );
(1.1)
(r x) = r (x) (r R+ , x X ).
(1.2)
Sean M un subespacio vectorial de X y g un funcional lineal en M , satisfaciendo:

g (m) (m) (m M ).
(1.3)
Entonces existe un funcional lineal f en X que extiende a g , es decir, f (m) = g (m) (m M ), y sigue
satisfaciendo que
f (x) (x) (x X ).
Si es una seminorma se tiene, de hecho,
f (x) (x) (x X ).
D EMOSTRACIN . Distinguiremos tres casos.
Caso real: primera extensin.
Consideramos en primer lugar el caso K = R y extendemos el
funcional g al subespacio obtenido al sumar una recta a M .

Sea x X \ M , y pongamos
Y = M span {x} = M {x : R} .
Para definir un funcional lineal h en Y que extienda a g y siga dominado por , escribimos:
h(m + x) = g (m) + (m M , R),
siendo , es decir, el valor de h(x), una constante a determinar, de forma que se tenga
g (m) + (m + x) (m M , R).
Fijemos m M y R. Si > 0, dividimos por la expresin
g (m) + (m + x)
y usamos la linealidad de g , junto con la segunda propiedad de , (1.2), para obtener:
g
+ =
1
1
[g (m) + ] (m + x) =
+x .
Considerando u = m/, que es un vector de M tan arbitrario como m, deducimos que debe
cumplir:
g (u) + (u + x) (u M ),
de donde
(u + x) g (u) (u M ).
Si < 0, dividimos por la expresin
g (m) + (m + x)
(1.4)
para obtener:
1
1
[g (m) + ] (m + x).
La linealidad de g y la propiedad (1.2) conducen a

m
m
g
x .
Considerando ahora w = m/, que es un vector de M tan arbitrario como m, obtenemos la otra
condicin que debe cumplir :
g (w) (w x) (w M ),
de donde
g (w) (w x) (w M ).
(1.5)
Ntese finalmente que cuando = 0, la desigualdad

g (m) + (m + x)
no aporta ninguna informacin sobre , pues se reduce a la condicin
g (m) (m) (m M ),
que es la hiptesis (1.3).
Debemos entonces encontrar R que verifique simultneamente (1.4) y (1.5), es decir,
g (w) (w x) (u + x) g (u) (w, u M ).
Para cualesquiera w, u M tenemos, usando (1.3) y la desigualdad triangular (1.1) que verifica :
g (u) + g (w) = g (u + w) (u + w) (u + x) + (w x);
equivalentemente:
g (w) (w x) (u + x) g (u) (w, u M ),
obtenindose as:
sup g (w) (w x) : w M nf (u + x) g (u) : u M .
De esta manera, podemos tomar como cualquier nmero real comprendido entre el supremo
y el nfimo anteriores, ambos inclusive. Si la ltima desigualdad es una igualdad, slo cabe una
eleccin posible de .
Caso real: extensin definitiva.
Para finalizar la demostracin en el caso K = R, iteramos la
extensin realizada en la primera etapa, aumentando en cada paso una dimensin al subespacio
obtenido en la etapa anterior, hasta llegar a X . Como el nmero de etapas puede ser infinito,
formalizamos esta induccin trasfinita usando el Lema de Zorn. Recordemos que un conjunto
inductivo es un conjunto ordenado en el que todo subconjunto totalmente ordenado admite
un mayorante, y que el Lema de Zorn afirma que todo conjunto inductivo tiene al menos un
elemento maximal (cf. [1, Lema I.1] y las referencias que all se citan).
El conjunto F al que le aplicaremos el Lema de Zorn va a estar formado por todos los pares de
la forma (Y , h), siendo Y un subespacio de X que contiene a M y h un funcional lineal sobre Y
que extiende a g y est dominado por . Si M = X no hay nada que probar, por lo que podemos
suponer que M ( X , y en tal caso la primera parte de la demostracin asegura que F no es vaco.
Definimos un orden en F a partir de la siguiente condicin: (Y , h) (Z , k) cuando Y Z y el
funcional k extiende al funcional h. No es difcil verificar que es efectivamente una relacin
de orden en F . Comprobaremos que, con esta relacin de orden, F es un conjunto inductivo.
Sea F 0 = (Y j , h j ) : j J un subconjunto totalmente ordenado de F ; debemos ver que

S
F 0 admite un mayorante. Para ello, tomamos Y = j J Y j y observamos que, como F 0 est
totalmente ordenado, Y es un subespacio vectorial de X , que contiene a Y j para todo j J y, por
tanto, tambin contiene a M . Ahora definimos un funcional h sobre Y como sigue. Dado y Y ,
elegimos j J de forma que y Y j , y escribimos h(y) = h j (y). Al estar F 0 totalmente ordenado,
el valor de h(y) no depende del ndice j J que usemos para definirlo, y h es un funcional lineal
sobre Y , que est dominado por y extiende a h j para todo j J , por lo que tambin extiende a g .
De esta manera (Y , h) F y (Y j , h j ) (Y , h) para todo j J , probando que (Y , h) es el mayorante
de F 0 que necesitbamos.
El Lema de Zorn nos proporciona ahora un elemento maximal de F , digamos (Z , f ), y
slo nos queda comprobar que Z = X , pues entonces f ser el funcional lineal en X cuya
existencia asegura el teorema. Pero, en efecto, si Z ( X , podramos aplicar la primera etapa
de la demostracin para obtener un par estrictamente mayor que (Z , f ), contradiciendo la
maximalidad de este elemento.
Fin de la demostracin: caso complejo y mayoracin por seminormas.
Para completar la
demostracin del teorema debemos considerar el caso complejo y verificar que si es una
seminorma, se tiene f (x) (x) (x X ).
Resolveremos el caso complejo reducindolo al caso real. A tal fin, observamos que todo
espacio vectorial complejo Z proporciona un espacio vectorial real, que denotamos por ZR , sin
ms que restringir a R Z el producto por escalares definido en C Z . Para cada funcional lineal
en Z , tenemos que es un funcional lineal en ZR . Adems, queda unvocamente determinado
por su parte real, pues (z) = (i z) para todo z Z . Recprocamente, si u es un funcional
lineal en ZR , definiendo (z) = u(z) i u(i z) para todo z Z obtenemos un funcional lineal en
Z tal que = u. En otras palabras, los funcionales lineales en ZR son las partes reales de los
funcionales lineales en Z .
Ahora podemos resolver el caso complejo. Sea X un espacio vectorial complejo y consideremos el correspondiente espacio vectorial real X R . Anlogamente, si M es un subespacio vectorial
de X consideramos M R , que es un subespacio de X R . Supongamos que g es un funcional lineal
en M que verifica g . Denotando u = g , encontramos que u es un funcional lineal en M R
verificando u . Como tenemos resuelta la extensin en el caso real, existir un funcional lineal
U en X R que extiende a u y sigue dominado por ; de manera que U es la parte real de un funcional
lineal en X , al que denotamos f . Tenemos as que f (x) = U (x) (x) para todo x X . Adems,
f extiende a g , pues para cada m M se cumple f (m) = U (m) = u(m) = g (m), y ya que tanto
g como la restriccin de f a M estn unvocamente determinados por su parte real, se concluye
que f (m) = g (m) para todo m M .
Por ltimo, vamos a probar que si es una seminorma se tiene f (x) (x) (x X ). Si es
una seminorma y sabemos que f , fijado x X ponemos f (x) = f (x) con K, || = 1,
obteniendo:
f (x) = f (x) = f (x) = f (x) (x) = || (x) = (x).
Para la tercera de las igualdades hemos usado que f (x) R, y para la penltima, que es una
seminorma.
1.4. Extensin continua

1.4.1. Extensin equinrmica
Teorema 1.4.1 (Extensin equinrmica). Sean X un espacio normado, M un subespacio de X y

g M . Entonces existe f X tal que f extiende a g y f = g .
D EMOSTRACIN . Por hiptesis tenemos que

g (m) g kmk
(m M ).
Tomamos

(x) = g kxk
(x X ).
Entonces es una seminorma en X , y si aplicamos el Teorema 1.3.2, obtenemos un funcional

lineal f : X K que satisface

f (x) g kxk
(x X ).

En particular, f X y f g . Como la norma de un funcional no puede disminuir al

extenderlo, necesariamente f = g .
El hecho de que un funcional lineal continuo en un subespacio M de un espacio normado

X se extienda a un funcional lineal continuo en todo el espacio X es importante, pues nos
garantiza, por ejemplo, la abundancia de funciones lineales continuos no nulos en cualquier
espacio normado X 6= {0}, ya que siempre podemos tomar como M un subespacio de dimensin
finita de X , en el que disponemos de abundantes funcionales lineales continuos. Al hacer una
extensin, en general la norma del funcional aumenta, pero el Teorema 1.4.1 nos dice que
podemos hacer la extensin sin que aumente.
Corolario 1.4.2. Dados un subespacio cerrado M de un espacio normado X y un punto x 0 X \ M ,
existe f X tal que f (M ) = {0} mientras que f (x 0 ) = kx 0 k 6= 0.
D EMOSTRACIN . Sea
M 0 = M span {x 0 } = M {x 0 : K} .
La aplicacin
f :
M 0 = M span {x 0 }
y = x + x 0
f (y) = kx 0 k
es un funcional lineal y continuo sobre M 0 que satisface las condiciones requeridas.

Se tiene que el funcional f es lineal. En efecto, si K y si y = x +x 0 M 0 , con K y x M ,
se verifica:
y = x + x 0 ,
por lo que

f y = kx 0 k = f y .
Si, adems, consideramos z = t + x 0 M 0 , con K y t M , se verifica:
y + z = (x + t ) + + x 0 ,
por lo que

f y + z = + kx 0 k = kx 0 k + kx 0 k = f y + f (z) .
Finalmente, el funcional f es continuo. Para comprobarlo, recordemos que, siendo lineal, f es

continuo si, y slo si, f es acotado, lo que ocurre si, y slo si,

f y
sup : y M 0 \ {0} < .
y
Ahora bien,
f y
|| kx 0 k
: x M , K \ {0}
sup : y M 0 \ {0}
= sup
y
kx + x 0 k
(
kx 0 k
: x M , K \ {0}
= sup x
+ x0
1
= kx 0 k sup
:xM
kx 0 xk
=
kx 0 k
nf {kx x 0 k : x M }
kx 0 k
,
d (x 0 , M )
con d (x 0 , M ) > 0. Adems, claramente
f (M ) = f (x) : x M = {0} ,
mientras que
f (x 0 ) = kx 0 k 6= 0.
Ahora, basta aplicar el teorema de extensin equinrmica (Teorema 1.4.1).
Observacin 1.4.3. En el Corolario 1.4.2 se tiene que x 0 M y f (x 0 ) f (M ). Esta situacin se

resume diciendo que el funcional f separa el punto x 0 del subespacio M .
Observacin 1.4.4. Una consecuencia interesante del Corolario 1.4.2 es que cualquier espacio
normado no trivial tiene dual no trivial.
Corolario 1.4.5. Dados un espacio normado X y puntos x, y X con x 6= y, existe f X tal que
f (x) 6= f (y).
D EMOSTRACIN . Para demostrar este corolario es equivalente demostrar que si x X \ {0},
entonces existe f X tal que f (x) 6= 0. Pues si asumimos este ltimo resultado como cierto, para
cualesquiera x, y X con x 6= y se tendr x y 6= 0, por lo que existir f X tal que f (x y) 6= 0,
es decir, f (x) f (y) 6= 0, o bien f (x) 6= f (y).
Comprobemos entonces el enunciado equivalente. Sea x X \{0}, de manera que x 0 = kxk1 x

satisface kx 0 k = 1. Por el Corolario 1.4.2, existe f X tal que
x
1
f (x) = f
= f (x 0 ) = kx 0 k = 1.
kxk
kxk
Se concluye que f (x) = kxk 6= 0.
Observacin 1.4.6. El Corolario 1.4.5 se resume diciendo que el funcional f separa x de y, o

tambin que X separa los puntos de X .

Corolario 1.4.7. Para cualquier punto x 0 de un espacio normado X , existe f X tal que f = 1
y f (x 0 ) = kx 0 k. En particular, si U es la bola unidad abierta (respectivamente, B es la bola unidad

cerrada) de X y x 0 X \ U (respectivamente, x 0 X \ B ), existe f X tal que f = 1 y f (x 0 ) =
kx 0 k 1 (respectivamente, f (x 0 ) = kx 0 k > 1).
D EMOSTRACIN . Fijado x 0 X , consideramos M = span {x 0 } = {x 0 : K} y definimos un
funcional lineal continuo f sobre M mediante
f :
M
x 0
7 kx 0 k .
Es un funcional lineal, ya que
f (x 0 ) + x 0
=

f + x 0
= + kx 0 k
= kx 0 k + kx 0 k
= f (x 0 ) + f x 0
, , , K .
Adems es un funcional continuo, con

f (x 0 )
|| kx 0 k
f = sup
: 6= 0 = sup
: 6= 0 = 1.
kx 0 k
|| kx 0 k
Por ltimo, es claro que f (x 0 ) = kx 0 k. Ahora basta aplicar el Teorema 1.4.1.

Cuando x 0 X \ U (respectivamente, x 0 X \ B ), resulta obvio que f (x 0 ) = kx 0 k 1
(respectivamente, f (x 0 ) = kx 0 k > 1).
Observacin 1.4.8. Como consecuencia del Corolario 1.4.7 obtenemos, de nuevo, un resultado de
separacin: si x 0 U (respectivamente, x 0 B ), entonces f (x 0 ) f (U ) (respectivamente, f (x 0 )
f (B )).
El Corolario 1.4.7 permite obtener la siguiente expresin dual de la norma de un vector.
10
Corolario 1.4.9. Sea X un espacio normado. Para todo x X se tiene
kxk = sup f (x) : f X , f 1 = max f (x) : f X , f 1 .
D EMOSTRACIN . Fijemos x X . Si f X con k f k 1, entonces
f (x) k f kkxk kxk,
as que
sup f (x) : f X , f 1 kxk.
La conclusin deseada sigue del Corolario 1.4.7.
1.4.2. Aplicaciones de la extensin equinrmica

A continuacin recogemos otras dos consecuencias interesantes del Teorema 1.4.1.
La primera se deduce del hecho de que X 6= {0} para cualquier espacio normado X 6= {0}
(Observacin 1.4.4). Esto nos permite definir operadores lineales continuos no nulos de X en
cualquier otro espacio normado Y 6= {0} sin ms que fijar f 0 X \ {0}, y 0 Y \ {0}, y poner T x =

f 0 (x)y 0 para todo x X . Es claro que T L(X , Y ) e, incluso, que kT k = f 0 y 0 . Utilizaremos
esta idea en la prueba del resultado siguiente.
Corolario 1.4.10. Sean X 6= {0} e Y espacios normados. Si el espacio de operadores L(X , Y ) es
completo, entonces Y es completo.

D EMOSTRACIN . Dada una sucesin de Cauchy y n en Y , fijamos f X \ {0} y definimos
Tn x = f (x)y n
(x X , n N).
La sucesin {Tn } tambin es de Cauchy en L(X , Y ), pues

kTn Tm k = f y n y m
(n, m N).
Por ser L(X , Y ) completo, la sucesin {Tn } converger en L(X , Y ) a un operador T . Como
kTn x T xk kTn T k kxk
(x X , n N),
deducimos que la sucesin {Tn x} = f (x)y n converge en Y para todo x X . Para completar la
prueba basta elegir x X tal que f (x) = 1.
Nuestra segunda aplicacin del Teorema 1.4.1 se refiere a la existencia de subespacios

complementarios.
11
Definicin 1.4.11. Sea M un subespacio cerrado de un espacio normado X . Se dice que M admite
complementario, o que es un subespacio complementado, en X cuando existe otro subespacio
cerrado V de X tal que X = M V , esto es, X = M + V y M V = {0}.
Corolario 1.4.12. Si M es un subespacio de dimensin finita de un espacio normado X , entonces
M est complementado en X .
D EMOSTRACIN . Sea {u 1 , u 2 , . . . , u N } una base de M . Las coordenadas de cada vector m M
dependen linealmente de m, es decir, existen funcionales lineales g 1 , g 2 , . . . , g N sobre M , tales
que
m=
N
X
g k (m)u k
k=1
es la nica expresin de cada m M como combinacin lineal de los elementos de la base. Puesto
que M es un espacio normado de dimensin finita, para k = 1, 2, . . . , N tenemos que g k M [6,
Lema 1.20 y Teorema 1.21], y el Teorema 1.4.1 nos proporciona f k X que extiende a g k . Como
fj x
N
X
f k (x)u k = f j (x)
f k (x) f j (u k ) = f j (x) f j (x) = 0 (x X , j = 1, . . . , N ),
k=1
k=1
el subespacio cerrado V =
N
X
TN
k=1
Ker( f k ) complementa a M .
12
CAPTULO 2
Versin geomtrica
2.1. Introduccin
En este captulo nos centraremos en la interpretacin geomtrica del teorema de HahnBanach, que consistir en encontrar condiciones suficientes para separar dos subconjuntos
de un espacio vectorial. Comenzaremos aclarando en qu consiste esta separacin y qu tipo
de resultados podemos esperar. Obtendremos un teorema general de separacin de conjuntos
convexos en espacios vectoriales. Por ltimo, deduciremos consecuencias interesantes para
espacios normados.
2.2. Espacios cociente, hiperplanos y funcionales lineales

Sean X un espacio vectorial cualquiera y M un subespacio de X . El espacio vectorial cociente
X /M es el conjunto de todas las clases de equivalencia de X mdulo M , es decir, la coleccin de
todos los subconjuntos de X de la forma
x + M = {x + m : m M }
(x X ).
La aplicacin lineal : X X /M definida por (x) = x + M se denomina proyeccin cannica

cociente.
13
14
Captulo 2. Versin geomtrica
Si X es un espacio normado cualquiera y M un subespacio cerrado de X , para cada una de las

clases de equivalencia x + M definimos
kx + M k = nf {kx + mk : m M } = nf {kx mk : m M } = d (x, M ) (x X ).
Se comprueba que de esta forma obtenemos una norma en X /M , a la que llamamos norma
cociente. Conviene observar que de la condicin kx + M k = d (x, M ) = 0 se deduce que x M = M
y, por tanto, x + M = 0, razonamiento que exige que M sea cerrado en X . La omisin de este
requisito proporcionara una seminorma en X /M , pero no una norma.
Definicin 2.2.1. Un hiperplano en un espacio vectorial X es un subespacio propio maximal de X .
Proposicin 2.2.2. Sea X un espacio vectorial.
(i) Si H es un hiperplano y v X \ H entonces X = H span {v}.
(ii) La condicin necesaria y suficiente para que H sea un hiperplano es que tenga codimensin
1 (por definicin, la codimensin de H es la dimensin de X /H ).
(iii) H es un hiperplano si, y slo si, H = Ker( f ) para cierto funcional lineal f 6= 0 sobre X . En tal
caso, se dice que f = 0 es la ecuacin de H .

D EMOSTRACIN . Si H es un hiperplano en X y v X \ H , el subespacio generado por H y v
contiene estrictamente a H , as que
X = {h + v : h H , K} .
(2.1)
Ahora, si h 1 + 1 v = h 2 + 2 v (h 1 , h 2 H , 1 , 2 K), la igualdad (1 2 )v = h 2 h 1 obliga a que

1 = 2 y h 1 = h 2 . Esto prueba (i).
Sean H y v como en (i), y sea : X X /H la proyeccin cannica cociente. Escribiendo x X
en la forma x = h + v, con h H y K, encontramos que (x) = (v), con (v) 6= 0, de modo
que X /H = span {(v)}. Recprocamente, si H es un subespacio y v X es tal que (v) genera
X /H entonces se verifica (2.1), y cualquier otro subespacio M de X que contenga a H coincide
con X o con H segn que M contenga o no al vector v. Queda as probado (ii).
Por ltimo, supongamos que H = Ker( f ) para cierto funcional lineal f 6= 0 sobre X ; como
todo funcional no idnticamente nulo es suprayectivo, se tiene que dim X / Ker( f ) = dim K = 1.
Recprocamente, si H es un hiperplano se ha de verificar (2.1) para algn v X \ H , y basta definir
el funcional lineal f sobre X por f (h + v) = para establecer (iii) y completar la prueba.
Definicin 2.2.3. Sea X un espacio vectorial. El trasladado de un hiperplano se denomina
hiperplano afn. Si H = x 0 + H0 , con x 0 X , es un hiperplano afn, si f = 0 es la ecuacin del
hiperplano H0 , y si f (x 0 ) = , entonces H = x X : f (x) = , y se dice que H tiene ecuacin
f = .
15
2.3. Motivacin
Proposicin 2.2.4. Sean X un espacio normado y H un hiperplano afn de ecuacin f = .
(i) Si H no es denso en X , entonces es cerrado en X .

(ii) El hiperplano H es cerrado en X si, y solamente si, el funcional lineal f es continuo.
D EMOSTRACIN . Si H es un hiperplano, para probar (i) basta tener en cuenta que la clausura de
H es un subespacio de X que contiene a H y usar la maximalidad de H . El caso general en que H
es un hiperplano afn sigue del hecho de que la topologa de un espacio normado es invariante
por traslaciones [6, Proposicin 1.7].
Estableceremos ahora (ii). Si f es continua, entonces H (la antiimagen del cerrado {} mediante f ) es tambin cerrado. Recprocamente, asumamos que H es cerrado. El complementario
X \ H de H es abierto y no vaco, pues f 6= 0. Sea x 0 X \ H y supongamos, para fijar ideas, que
f (x 0 ) < . Existe r > 0 tal que U (x 0 , r ) X \ H , donde
U (x 0 , r ) = {x X : kx x 0 k < r } .
Afirmamos que
f (x) <
(x U (x 0 , r )) .
(2.2)
En efecto, supongamos que f (x 1 ) > para algn x 1 U (x 0 , r ). El segmento

{x t = (1 t )x 0 + t x 1 : t [0, 1]}
est contenido en U (x 0 , r ) y, siendo esta bola un subconjunto de X \ H , necesariamente f (x t ) 6=
(t [0, 1]); pero f (x t ) = para
t=
f (x 1 )
,
f (x 1 ) f (x 0 )
contradiccin que prueba (2.2). De (2.2) resulta que

f (x 0 + r z) <
(z U (0, 1)) .
Por tanto, f es continuo, con

1
f f (x 0 ) .
r
2.3. Motivacin
En general, el estudio de la dualidad pretende obtener informacin sobre un espacio a partir
de su dual. Un ejemplo: dado un espacio normado X y puntos x, y X , con x 6= y, existe f X tal
16
que f (x) 6= f (y); decimos que el funcional f separa x de y, o tambin que X separa los puntos
de X (Corolario 1.4.5 y Observacin 1.4.6). Otro ejemplo: dado un subespacio cerrado M de X y
un punto x 0 X \M , existe f X tal que f (M ) = {0} mientras que f (x 0 ) 6= 0; tambin en este caso
decimos que el funcional f separa el punto x 0 del subespacio M (Corolario 1.4.2 y Observacin
1.4.3).
Sea X un espacio vectorial real en el que no consideramos ninguna norma. Dados dos
subconjuntos A, B X , no vacos y disjuntos, nos podemos preguntar si los funcionales lineales
en X son capaces de separar o distinguir A de B , es decir, si podemos encontrar un funcional
lineal f en X verificando que f (A) f (B ) = ;.
Concretamos mejor nuestra pregunta para el caso particular X = R2 . En efecto, a poco que A
y B sean conexos, la continuidad de f hace que los conjuntos f (A) y f (B ) sean intervalos en R,
y slo podrn ser disjuntos cuando se tenga f (a) < f (b), o la desigualdad contraria f (b) < f (a),
para cualesquiera a A y b B ; desigualdad contraria que se convierte en la misma cambiando
f por f , esto es: f (a) < f (b) (a A, b B ). Deducimos que
sup f (A) nf f (B ).
(2.3)
Aunque esta desigualdad no garantiza que los intervalos f (A) y f (B ) sean disjuntos, en principio
consideramos un funcional lineal que verifique (2.3), exigiendo, para evitar trivialidades, que f 6=
0. Tomando de forma que sup f (A) nf f (B ), la desigualdad (2.3) equivale a
f (a) nf f (b) (a A, b B ).
(2.4)
La interpretacin geomtrica es la siguiente: la recta (hiperplano, posiblemente afn) de ecuacin
f = deja el conjunto A a un lado y el conjunto B al otro. Entenderemos que el funcional f 6= 0

separa los conjuntos A y B cuando se cumple que (2.3) o, equivalentemente, cuando existe R
verificando (2.4). Buscamos entonces condiciones sobre los conjuntos A y B que nos permitan
separarlos. Ejemplos muy sencillos muestran que debemos suponer que A y B sean convexos.
En cuanto al caso general, si A y B son dos subconjuntos convexos, no vacos y disjuntos
de un espacio vectorial real X , nos planteamos si podemos separar A y B , esto es, si existe un
funcional lineal f 6= 0 en X que satisface (2.3), o de forma equivalente, (2.4) para algn R.
Geomtricamente, esta situacin se interpreta como sigue: el hiperplano (afn) de ecuacin
f = coloca el conjunto A a un lado y el conjunto B a otro.

Es importante discutir tambin el caso complejo. Si X es un espacio vectorial complejo,
podemos considerar el espacio real subyacente X R y contemplar A y B como subconjuntos
convexos de X R . Si pudisemos separarlos en X R , al ser los funcionales lineales en X R las partes
reales de los funcionales lineales en X , tendramos un funcional lineal f 6= 0 en X verificando que
17
2.4. Espacios vectoriales
sup f (A) nf f (B ), o de forma equivalente,

f (a) f (b) (a A, b B )
para algn R. Para la interpretacin geomtrica podemos pensar que el funcional f : X C
nos proporciona una imagen de X en el plano, estando los conjuntos f (A) y f (B ) a distinto lado
de una recta vertical. Por tanto, en el caso complejo nuestro problema tiene sentido, quedando
su discusin reducida al caso real.
Vamos a ver con un ejemplo que, sin embargo, no siempre podemos separar dos conjuntos
convexos disjuntos. Consideremos el espacio vectorial real X = c 00 de las sucesiones reales de
soporte finito, y sea A el subconjunto de X formado por las sucesiones en las que su ltimo
trmino no nulo es estrictamente positivo. A partir de la sucesin de vectores unidad {e n }, el
conjunto A es:
(
A=
N
X
k e k : 1 , 2 , . . . , N R, N > 0 (N N) .
k=1
El otro conjunto convexo es B = {0}. Comprobaremos que no es posible separar A y B ;

equivalentemente, que todo funcional lineal no nulo f en X toma en A valores estrictamente
positivos y estrictamente negativos. Por ser f 6= 0, va a existir un n N tal que f (e n ) 6= 0 y,
cambiando f por f en caso necesario, es posible suponer que f (e n ) > 0. Luego, eligiendo > 0
suficientemente grande, tenemos f (e n+1 ) f (e n ) < 0. Hemos encontrado as dos puntos de A,
e n y e n + e n+1 , en los que f toma valores de distinto signo.
El espacio vectorial X del contraejemplo anterior tiene dimensin infinita: veremos ms
adelante que en dimensin finita siempre podemos separar dos conjuntos convexos disjuntos
(Corolario 2.6.1). Por otra parte, la versin analtica del teorema de Hahn-Banach nos va a dar
una condicin suficiente para separar dos subconjuntos convexos, no vacos y disjuntos de un
espacio vectorial cualquiera, bajo una condicin poco restrictiva sobre uno de ellos (Teorema
2.4.2).

2.4.1. Separacin en espacios vectoriales
Para entender la hiptesis que nos va a permitir obtener un teorema de separacin de
conjuntos convexos, necesitamos introducir el siguiente concepto.
Definicin 2.4.1. Se dice que un subconjunto U de un espacio vectorial X es absorbente cuando
para cada vector x X existe > 0 tal que x U .
18
Si U es absorbente entonces 0 U , y U debe contener un punto en cada direccin del espacio:

para cada x X tenemos un > 0 tal que 1 x U . Si U es, adems, un conjunto convexo,
el segmento de extremos 0 y 1 x estar contenido en U , luego U contendr un segmento no
trivial en todas las direcciones del espacio X , cuya longitud depender de la direccin. Por tanto,
podemos contemplar 0 como una especie de punto interior de U .
Cualquier entorno de cero en un espacio normado proporciona un ejemplo de conjunto
absorbente, pero no son los nicos: el subconjunto de R2 formado por la unin de sendos discos
cerrados de radio 1 con centros en los puntos (1, 0) y (0, 1), junto con el segmento que une (0, 1)
con (0, 1), es un conjunto absorbente que no es entorno de cero.
Teorema 2.4.2 (Separacin de convexos en espacios vectoriales). Sean X un espacio vectorial y
A, B subconjuntos no vacos, convexos y disjuntos de X . Supongamos que existe un punto a 0 A tal
que A a 0 es absorbente. Entonces existe un funcional lineal no nulo f en X que separa A y B , es
decir,
sup f (A) nf f (B ).
D EMOSTRACIN . Basta considerar el caso real, ya que en el caso complejo se recurre al espacio
real subyacente.
Separar A y B es lo mismo que separar A B y {0}, donde A B es convexo y 0 A B , ya
que A B = ;. Por tanto, separar dos conjuntos convexos es lo mismo que separar un conjunto
convexo de un punto. Tambin haremos una traslacin del problema: junto con el punto a 0 A
que por hiptesis hace que A a 0 sea absorbente, fijamos un b 0 B arbitrario y consideramos
U = (A a 0 ) (B b 0 ). Se tiene que U es un subconjunto convexo de X , y tambin es absorbente
ya que A a 0 U . Poniendo x 0 = b 0 a 0 , la condicin A B = ; nos indica que x 0 U , y nuestro
problema se reduce a separar U del punto x 0 .
El Corolario 1.4.7 puede servir para entender mejor el razonamiento que sigue. En dicho
corolario, la existencia de f se obtuvo de la versin analtica del teorema de Hahn-Banach usando
la norma del espacio. Para resolver nuestro caso, mucho ms general, nos damos cuenta de que
la norma del espacio X est determinada por la bola unidad abierta U mediante la siguiente
igualdad:
kxk = nf > 0 : x U
(x X ).
El segundo miembro de esta igualdad tiene sentido en cualquier espacio vectorial X siempre
que U sea un conjunto absorbente, y define una aplicacin de X en R que, en general, no ser
una norma en X , pero que puede ser utilizada como funcional mayorante para aplicar la versin
analtica del teorema de Hahn-Banach.
Retomamos ya el hilo de la demostracin. De acuerdo con lo anterior, y teniendo en cuenta
que nuestro conjunto U es absorbente, definimos una funcin : X R, que recibe el nombre de
19
funcional de Minkowski de U , de la siguiente manera:
(x) = nf > 0 : x U
(x X ).
Es claro que (x) 1 para todo x U . Como x 0 U deducimos que (x 0 ) 1, ya que si fuese
(x 0 ) < 1 resultara que x 0 U para algn con 0 < < 1, y utilizando que U es convexo con
0 U obtendramos que x 0 U U + (1 )U = U .
En la Proposicin 2.4.4 comprobaremos que verifica las condiciones que nos permiten
usarla como funcional mayorante en la versin analtica del teorema de Hahn-Banach: la
homogeneidad positiva
(r x) = r (x) (r R+ , x X )
y la desigualdad triangular
(x + y) (x) + (y) (x, y X ).
Ahora, consideramos el subespacio span {x 0 } de X y el funcional lineal g definido en dicho
subespacio por g (x 0 ) = (x 0 ) ( R). Observamos que g est dominado por , pues para > 0
tenemos g (x 0 ) = (x 0 ), mientras que para 0 es g (x 0 ) 0 (x 0 ). La versin analtica del
teorema de Hahn-Banach (Teorema 1.3.2) proporciona un funcional lineal f en X que extiende a
g y sigue dominado por .
Comprobemos que f es el funcional que buscamos. Por una parte, f (x 0 ) = (x 0 ) 1,
en particular f 6= 0, mientras que para cualquier x U ser f (x) (x) 1. Luego, f
separa el conjunto U del punto x 0 . Finalmente, para todo a A y todo b B , usando que
a b + x 0 = (a a 0 )(b b 0 ) U obtenemos f (a) f (b)+ f (x 0 ) 1 f (x 0 ), de donde f (a) f (b).
As pues, f separa los conjuntos A y B , como queramos demostrar.
2.4.2. Funcional de Minkowski

El funcional de Minkowski, introducido en la demostracin del Teorema 2.4.2, desempea un
papel fundamental en el estudio de las topologas vectoriales localmente convexas. Aunque un
tal estudio excede el alcance de este trabajo, la relevancia de ese papel justifica que dediquemos
la presente seccin a formalizar la definicin y propiedades de dicho funcional.
Definicin 2.4.3. Sean X un espacio vectorial y A X un conjunto absorbente. Para todo x X se
define:
(x) = A (x) = nf { > 0 : x A} .
Se dice que es el funcional de Minkowski de A.
Proposicin 2.4.4. En las condiciones de la Definicin 2.4.3, se verifica:
20
(i) (r x) = r (x) (r R+ , x X ).
(ii) Si A es convexo, entonces (x + y) (x) + (y) (x, y X ).
(iii) Si A es convexo y equilibrado (esto es, si A A para todo escalar con || 1), entonces
es una seminorma.
(iv) Si A es convexo y ponemos B = {x X : (x) < 1}, C = {x X : (x) 1}, entonces B A C y
B = = C .
Supongamos adicionalmente que el espacio X es normado.
(v) Si A es abierto, entonces existe M > 0 tal que
0 (x) M kxk
(x X ).
(2.5)
(vi) Si A es convexo y abierto, entonces A = {x X : (x) < 1}.

D EMOSTRACIN . En primer lugar, la homogeneidad positiva
(r x) = r (x) (r R+ , x X )
se infiere de la definicin de . En segundo lugar, la desigualdad triangular se deduce de la
convexidad de A. Para probarla, dados x, y X consideramos , > 0 tales que x A, y A.
Obtenemos entonces:
x + y A + A = ( + )
A+
A = ( + )A,
+
+
donde para la ltima igualdad se tiene en cuenta que A es convexo. Consecuentemente (x + y)

+ , y la arbitrariedad de y nos permite tomar nfimos y concluir que
(x + y) (x) + (y) (x, y X ),
como queramos.
Si A es equilibrado, para K \ {0} podemos escribir:
(
)
n
o
(x) = nf > 0 : x A = nf > 0 : x

A
||2
= nf > 0 : x
A = ||nf > 0 : x A
||
= ||(x) (x X ).
Hemos usado que cuando || = 1 se tiene A = (1 )A A A, as que A = A.
21
2.5. Espacios normados
En cuanto a (iv), es obvio que A C . Por otra parte, ya que A es absorbente, 0 A. Si A es
convexo, x X con (x) < 1, y elegimos 0 < < 1 con 1 x A, entonces x = 1 x + (1 ) 0

A, de modo que B A. Ahora, las inclusiones B A C muestran que C B . Para probar
la igualdad, fijemos x X y elijamos s, t tales que C (x) < s < t . Por (i) y (ii), C es convexo y 0 C .
Se desprende que x/s C , (x/s) 1, (x/t ) s/t < 1; luego, x/t B , de donde B (x) t . La
arbitrariedad de t > C (x) permite concluir que B (x) C (x).
En lo que resta de demostracin, supondremos adicionalmente que X es un espacio normado
y que A es abierto en X . Como 0 A, existe r > 0 tal que B (0, r ) A. Entonces (x) r 1 kxk
(x X ), y se satisface (2.5) con M = r 1 .
Para completar la prueba, asumamos que x A. Puesto que (1 + )x A para > 0
suficientemente pequeo, encontramos que
(x)
1
< 1.
1+
Apelando a (iv) ya resulta (vi).

En esta seccin vamos a obtener consecuencias y aplicaciones importantes del teorema
general de separacin de conjuntos convexos (Teorema 2.4.2) para el caso en el que disponemos
de una norma en nuestro espacio vectorial X .
2.5.1. Separacin en espacios normados

Si A es un subconjunto de X y a 0 es un punto interior de A, entonces A a 0 es absorbente
por ser entorno de cero. De esta manera, la hiptesis del teorema de separacin queda asegurada
suponiendo que uno de los conjuntos convexos que queremos separar tiene interior no vaco.
Esta hiptesis es un poco ms restrictiva de lo necesario, ya que, como hemos visto, un conjunto
absorbente no tiene por qu ser entorno de cero, pero a cambio de imponer esta restriccin
obtenemos importantes mejoras en las conclusiones (Corolario 2.5.2).
Denotaremos por int(A) el interior del conjunto A y probaremos un resultado preliminar.
Lema 2.5.1. Sean X un espacio normado y C un subconjunto convexo de X con int(C ) 6= ;.
Entonces C int(C ) y, consecuentemente, C = int(C ).
D EMOSTRACIN . Sea z int(C ), y sea x C \ int(C ); en particular, kz xk > 0. Afirmamos que
V = {z + (1 )x : 0 < 1} int(C ).
(2.6)
22
Admitiendo esta inclusin como cierta, sean 0 < r kz xk y

0<<
r
1.
kz xk
Entonces
k[z + (1 )x] xk = kz xk < r,
probando que se tiene
; 6= U (x, r ) V U (x, r ) int(C )
y, en particular, que x int(C ). Como, trivialmente, int(C ) int(C ), de la arbitrariedad de x se
infiere que
C = [C \ int(C )] int(C ) int(C ).
As pues, C int(C ). La inclusin int(C ) C es obvia, y se concluye que C = int(C ), como se
pretenda.
Ahora slo resta establecer (2.6). Ya que z int(C ), existe > 0 tal que U (z, ) C . Fijado 0 <
1, pongamos y = z +(1)x; bastar demostrar que U y, C . En efecto, sea w U y,

y consideremos
v=
w (1 )x
.
Se cumple:
w (1 )x
1

1
kv zk =
= kw [z + (1 )x]k = w y <
z
= ,
as que v C . Puesto que w = v + (1 )x, con v, x C , y C es convexo, necesariamente w C ,
completando la prueba.
Corolario 2.5.2 (Separacin de convexos en espacios normados). Sean X un espacio normado y

A, B subconjuntos convexos de X . Supongamos que B 6= ;, int(A) 6= ; e int(A) B = ;. Entonces
existen f X \ {0} y R tales que
f (a) f (b) (a A, b B ).
De hecho, se tiene
f (a) < (a int(A)).
D EMOSTRACIN . Antes de proceder con la demostracin propiamente dicha, vamos a comparar
este resultado con el Teorema 2.4.2. Ahora tenemos una norma en X (lo cual no supone ninguna
restriccin) y, a cambio de fortalecer un poco la hiptesis sobre A exigiendo que int(A) 6= ;,
debilitamos la hiptesis de que A y B sean disjuntos requiriendo slo que int(A) B = ;. La
23
conclusin es que conseguimos separar A y B mediante un funcional lineal continuo y que

separamos estrictamente int(A) y B , pues los conjuntos f (int(A)) y f (B ) son disjuntos.
Para probar este corolario aplicaremos el teorema general de separacin, junto con algunas
observaciones sobre subconjuntos convexos de un espacio normado. Como habitualmente,
bastar probar el caso real.
Es claro que para cualquier punto a 0 int(A), el conjunto int(A) a 0 es absorbente. Se tiene
adems que, en cualquier espacio normado, el interior de un conjunto convexo es tambin
convexo [6, Teorema 1.13]. Por tanto, podemos aplicar el teorema de separacin a los conjuntos
convexos, no vacos y disjuntos int(A) y B , con lo que obtenemos un funcional lineal no nulo f
en X y un R, satisfaciendo
f (a) f (b) (a int(A), b B ).
Necesitamos que la primera desigualdad sea estricta, pero esto es consecuencia del hecho de
que, en cualquier espacio normado, todo funcional lineal no idnticamente nulo es abierto [3,
Problema 10.24]. En efecto, se infiere de este hecho que f (int (A)) es un subconjunto abierto de R
que no puede tener mximo, as que f (a) < para todo a int(A).
Para ver que f es continuo, observamos que el hiperplano de ecuacin f = no es denso
en X , porque no corta al abierto no vaco int(A); pero entonces es cerrado en X , probando la

continuidad de f (Proposicin 2.2.4).
Para completar la demostracin hemos de ver que f separa tambin los conjuntos A y B ,
pues de momento slo sabemos que f separa int(A) y B . La desigualdad f (a) < (a int(A)),
junto con la continuidad de f , implica que f (x) (x int(A)). La prueba finalizar tan pronto
se establezca que A int(A), y esto es precisamente lo que afirma el Lema 2.5.1.
2.5.2. Funcionales y puntos de soporte

Vamos a interpretar geomtricamente un interesante caso particular del Corolario 2.5.2. Sean
X un espacio normado y A un subconjunto convexo de X con interior no vaco. Dado un punto
x 0 en la frontera de A podemos aplicar el Corolario 2.5.2 tomando B = {x 0 }, y obtenemos un
funcional lineal continuo f en X que verifica:
f (a) f (x 0 ) (a A).
La interpretacin geomtrica de esta desigualdad es la siguiente: el hiperplano afn real de
ecuacin f = f (x 0 ) pasa por el punto x 0 y deja el conjunto A a un lado. Dicho hiperplano

soporta al conjunto A en el punto x 0 . Como consecuencia decimos que f es un funcional de
24
soporte del conjunto A, y tambin que x 0 es un punto de soporte de A. Hemos probado as el

siguiente:
Corolario 2.5.3 (Abundancia de puntos de soporte). Si X es un espacio normado y A un
subconjunto convexo de X con interior no vaco, entonces todo punto de la frontera de A es un
punto de soporte de A.
Un caso particular de este corolario es el siguiente: si A es la bola unidad (abierta o cerrada)

de X y tomamos x 0 X con kx 0 k = 1, existe f X tal que f = 1 = f (x 0 ) (cf. Corolario 1.4.7).
Este f es un funcional de soporte de la bola unidad en el punto x 0 .
2.5.3. Separacin fuerte

En algunos casos es posible cuantificar la separacin entre subconjuntos de un espacio
normado X . Supongamos que dos subconjuntos convexos no vacos A y B de X , no slo son
disjuntos, sino que estn a distancia positiva, esto es:
d (A, B ) = nf {ka bk : a A, b B } = > 0.
Si U es la bola unidad abierta de X , podemos separar los conjuntos A + U y B , los cuales son
convexos, no vacos y disjuntos, con A + U abierto. Aplicando el Corolario 2.5.2 obtenemos
un f X \ {0} verificando que sup f (A + U ) nf f (B ). Esta desigualdad no se altera si la

dividimos por f , as que podemos suponer que f = 1; pero entonces f (U ) =] 1, 1[, con lo
que sup f (A + U ) = sup f (A) + . Poniendo = sup f (A), hemos demostrado:
Corolario 2.5.4 (Separacin fuerte de convexos en espacios normados). Sean A y B subconjuntos
convexos no vacos de un espacio normado X y supongamos que d (A, B ) = > 0. Entonces existen

f X , con f = 1, y R tales que
f (a) + f (b) (a A, b B ).
Observacin 2.5.5. La tesis del Corolario 2.5.4 se resume diciendo que el funcional f separa
fuertemente los conjuntos A y B . Tenemos dos hiperplanos reales y afines, los de ecuaciones { f = }
y { f = + }, tales que el conjunto A queda a un lado de ambos y B al otro. Adems, la distancia
entre estos hiperplanos es , que es la mxima posible.
Observacin 2.5.6. Un caso particular del Corolario 2.5.4 es el siguiente, que se recoger en el
Corolario 3.2.5 (donde se obtendr por una va alternativa): si como conjunto A elegimos un
subespacio M del espacio normado X y tomamos B = {x 0 } con d (x 0 , M ) > 0, entonces existe

f X tal que f (M ) = {0}, f = 1 y f (x 0 ) = d (x 0 , M ). En el Corolario 3.2.5, la existencia de un
tal funcional se inferir del teorema de extensin mayorada de Hahn-Banach (Teorema 1.3.2);
25
2.6. Espacios de dimensin finita
tambin se puede deducir del teorema de extensin equinrmica (Teorema 1.4.1), sin ms que
proceder como en la demostracin del Corolario 1.4.2 pero definiendo f (y) = d (x 0 , M ) para todo
y = x + x 0 M 0 = M span {x 0 }.
Observacin 2.5.7. Las condiciones paradigmticas para aplicar el Corolario 2.5.4 se presentan
cuando uno de los conjuntos convexos, digamos A, es compacto y el otro, B , es cerrado, con A B =
;. En efecto, la funcin continua x 7 d (x, B ) alcanza su valor mnimo en el compacto A, luego
d (A, B ) > 0.
2.6. Espacios de dimensin finita

Concluimos el captulo probando que en dimensin finita no es necesaria ninguna hiptesis
restrictiva para separar conjuntos convexos disjuntos.
Esto se debe a la siguiente observacin. Si U es un subconjunto convexo de RN , con 0 U ,
y el subespacio engendrado por U es todo RN , entonces U tiene interior no vaco. En efecto, U
contendr una base {u 1 , u 2 , . . . , u N }, y usando la convexidad de U , junto con el hecho de que 0 U ,
se deduce que U debe contener al conjunto abierto
(
N
X
k u k : 1 , 2 , . . . , N R+ ,
k=1
N
X
k < 1 .
k=1
La condicin 0 U siempre se puede conseguir mediante una traslacin en caso necesario. Lo que
obtenemos es que un subconjunto convexo de RN con interior vaco tiene que estar contenido en
un subespacio afn propio de RN .
Corolario 2.6.1 (Separacin de convexos en espacios de dimensin finita). Sean A y B subconjuntos no vacos, convexos y disjuntos de RN . Entonces existe un funcional lineal en RN que separa
A y B . Ms precisamente, existen 1 , 2 , . . . , N R, y tambin R, tales que
N
X
k=1
k a k
N
X
k b k
k=1
para cualesquiera (a 1 , a 2 , . . . , a N ) A y (b 1 , b 2 , . . . , b N ) B .
D EMOSTRACIN . Reducimos el problema a separar un conjunto convexo de un punto que no le
pertenezca. Concretamente, fijamos a 0 A, b 0 B y tomamos U = (A a 0 ) (B b 0 ), que es un
subconjunto convexo de RN tal que 0 U . Nuestro problema consiste en separar U del punto
x 0 = b 0 a 0 , que no est en U por ser A y B disjuntos.
Si U tiene interior no vaco, aplicamos, por ejemplo, el teorema de separacin de conjuntos
convexos en espacios normados (Corolario 2.5.2). Como comentamos anteriormente, si U tiene
26
interior vaco entonces U est contenido en un subespacio propio de RN ; en particular, existe

un funcional lineal no nulo f en RN tal que U Ker( f ). Cambiando f por f en caso necesario
siempre tendremos f (x 0 ) 0, con lo cual
f (u) f (x 0 ) (u U ).
Se concluye que
f (a) f (b) (a A, b B ).
CAPTULO 3
Dualidad en espacios normados
3.1. Introduccin
Dedicamos este captulo a mostrar cmo el teorema de Hahn-Banach permite profundizar en
el estudio de la dualidad en espacios normados.
3.2. Algunos resultados sobre aproximacin

3.2.1. Dual de un subespacio
Sean X un espacio normado, X su dual, y M un subespacio de X . Para cada f X , sea R( f )
la restriccin de f a M . Claramente, R( f ) es un funcional lineal continuo sobre M , con R( f )

f . El teorema de extensin equinrmica (Teorema 1.4.1) asegura que R(X ) = M , pues dado
g M proporciona f X tal que R( f ) = g .
El ncleo de la aplicacin R : X M se llama anulador de M , y se denota M :
M = f X : f (M ) = {0} .
Como R es continua, M es cerrado. Definimos ahora otro operador : X /M M poniendo

( f + M ) = R( f ) ( f + M X /M ).
27
28
Captulo 3. Dualidad en espacios normados
Esta aplicacin es lineal, sobre e isomtrica, lo que nos permite identificar totalmente M con
X /M . En efecto, dados f X y h M tenemos:
( f + M ) = R( f + h) f + h .
Por definicin de norma cociente, ( f + M ) f + M .
Recprocamente, dado f X , el funcional R( f ) M se extiende a todo el espacio X

conservando la norma, es decir, existe fe X (sin que se tenga necesariamente fe = f ) tal que

R( fe) = R( f ) y fe = R( f ). Es claro que fe f + M , por lo que concluimos:
f + M fe = R( f ) = ( f + M ) f + M .
En definitiva, hemos obtenido:

Corolario 3.2.1 (Dual de un subespacio). Sean X un espacio normado con dual X , M un
subespacio de X y M su anulador. Para cada f X , denotemos por R( f ) la restriccin de f a
M . Entonces M es un subespacio cerrado de X , y definiendo
( f + M ) = R( f ) ( f + M X /M )
se obtiene un isomorfismo isomtrico de X /M sobre M , de manera que
M X /M .
3.2.2. Mejor aproximacin en un espacio dual

La demostracin del Corolario 3.2.1 contiene un resultado muy til en la teora de la

aproximacin. Observemos que, dado f X , hemos encontrado fe f + M tal que fe =
f + M : en este caso, el nfimo que define la norma cociente es en realidad un mnimo.

Si ahora ponemos h = f fe M , es claro que

d ( f , h) = f h = fe = f + M = d ( f , M ),
es decir, la distancia de f a M se alcanza en el punto h M ; se dice en este caso que h es una

mejor aproximacin a f desde M .
Definicin 3.2.2. Sean (Y , d ) un espacio mtrico y Z un subconjunto no vaco de Y . Para cada
y Y se llama conjunto de mejores aproximaciones a y desde Z al conjunto (posiblemente vaco)
P Z (y) = z Z : d (y, z) = d (y, Z ) ,
3.2. Algunos resultados sobre aproximacin
29
es decir, al conjunto de los puntos de Z que estn a la mnima distancia de y. Cuando P Z (y) 6= ;
para todo y Y se dice que Z es un subconjunto proximinal en Y .
Ntese que todo subconjunto proximinal es necesariamente cerrado.
Mediante el teorema de Hahn-Banach hemos probado que, para todo subespacio M de un
espacio normado X , M es un subespacio proximinal de X . En efecto, para cada f X hemos
encontrado mejores aproximaciones a f desde M , a saber, los funcionales de la forma h = f fe,
donde fe es cualquier extensin equinrmica (tambin llamada extensin de Hahn-Banach) de la
restriccin de f a M .
Recprocamente, si h P M ( f ) entonces
f h = d ( f , M ) = R( f ) ,
luego fe = f h es una extensin de Hahn-Banach de R( f ) que verifica h = f fe.

As, podemos decir que hacer extensiones de Hahn-Banach de funcionales lineales continuos
sobre M equivale a obtener mejores aproximaciones a funcionales lineales continuos sobre X
desde M . La mejor aproximacin ser nica cuando dispongamos de una nica extensin de
Hahn-Banach, unicidad que se puede discutir explcitamente revisando la primera etapa en la
demostracin del Teorema 1.3.2.
El siguiente corolario recoge una formulacin muy til de estas relaciones:
Corolario 3.2.3 (Mejor aproximacin en un espacio dual). Sean X un espacio normado con dual
X , M un subespacio de X , y M su anulador. Para cada f X , se verifica:
mn f h : h M = sup f (m) : m M , kmk = 1 .
Observacin 3.2.4. Aunque los resultados obtenidos parecen tener un alcance limitado, al ser
aplicables solamente al caso particular del anulador de un subespacio de un espacio normado
como subconjunto del espacio dual, en realidad resultan de gran utilidad prctica, pues muchos
de los espacios de Banach que se manejan habitualmente son espacios duales.
3.2.3. Caracterizacin dual de la clausura de un subespacio

A continuacin mostraremos, va el teorema de Hahn-Banach, cmo el anulador de un
subespacio determina la clausura de ste.
Corolario 3.2.5 (Clausura de un subespacio). Sean X un espacio normado, M un subespacio de X

y x 0 X \ M , es decir, d (x 0 , M ) > 0. Entonces existe f M tal que f = 1 y f (x 0 ) = d (x 0 , M ). Como
30
consecuencia, se tiene:
M=
Ker( f ).
f M
Poniendo (x) = d (x, M ) (x X ) obtenemos una seminorma en X , y

definiendo g (x 0 ) = (x 0 ), un funcional lineal en span {x 0 } verificando g . El teorema de
D EMOSTRACIN .
Hahn-Banach proporciona un funcional lineal f en X que extiende a g y contina verificando

f . Comprobemos que f es el funcional buscado.
En efecto, por ser
f (x) (x) = d (x, M ) kxk
(x X )

tenemos que f es continuo, con f 1, y f M . Como f extiende a g , tambin tenemos
f (x 0 ) = d (x 0 , M ). Finalmente, para cualquier m M podemos escribir:

d (x 0 , M ) = f (x 0 ) = f (x 0 m) f kx 0 mk ,

y la arbitrariedad de m permite concluir que f = 1.
La igualdad final del enunciado es inmediata: M Ker( f ) para todo f M ; recprocamente,

dado x 0 M hemos encontrado f M tal que x 0 Ker( f ).
Corolario 3.2.6 (Subespacio denso). Sea M un subespacio de un espacio normado X . Si definimos

el preanulador de un subespacio N X mediante
N = x X : f (x) = 0 ( f N ) ,
entonces M = (M ). Adems, se tiene que M es denso en X si, y slo si, M = {0}.
3.2.4. Dual de un cociente

Es posible dar una caracterizacin del dual de un cociente que es la contrapartida de la
del dual de un subespacio. Incluimos esta caracterizacin por completitud, pero omitimos su
demostracin ya que no utiliza el teorema de Hahn-Banach.
Proposicin 3.2.7 (Dual de un cociente). Sea M un subespacio cerrado de un espacio normado X .
Consideremos el espacio normado cociente X /M y la proyeccin cannica cociente : X X /M ,
definida por (x) = x + M (x X ). La aplicacin
(g ) = g
g (X /M )
es un isomorfismo isomtrico de (X /M ) sobre M ; simblicamente:

(X /M ) M .
3.3. Topologas dbil y dbil*
31

La topologa de un espacio de Banach tiene una gran cantidad de abiertos, lo cual es una
ventaja por cuanto proporciona una gran cantidad de funciones continuas definidas sobre el
espacio. Como contrapartida, posee, lgicamente, pocos compactos; de hecho, la bola unidad
cerrada de un espacio de Banach de dimensin infinita nunca es compacta. Si dotamos a
nuestro espacio de Banach de una topologa ms dbil conseguiramos ms compactos, pero,
en principio, perderamos funciones continuas. El objetivo de esta seccin es mostrar cmo
podemos debilitar la topologa de un espacio de Banach sin perder funcionales lineales continuos
y cmo es posible dotar al espacio dual de una topologa en la cual la bola unidad cerrada siempre
es compacta, destacando el papel que el teorema de Hahn-Banach desempea en todo el proceso.
3.3.1. Repaso sobre la topologa menos fina que hace continuas a todas las aplicaciones de una familia
Sea X un conjunto y sea {Yi }i I una familia de espacios topolgicos. Para cada i I se da una
aplicacin i : X Yi .
Nos planteamos dos problemas en relacin con esta familia.
Problema 1.

Dotar a X de una topologa que haga continuas a todas las aplicaciones i i I .
Si es posible, construir la topologa T menos fina, es decir, con el mnimo de abiertos, que hace

continuas a todas las i i I .
Si X est dotado de la topologa discreta, en la que todo subconjunto de X es abierto, entonces
cada i es continua; pero esta topologa dista de ser la menos fina. Por otra parte, dado un abierto
i Yi se debe tener que 1
T . Cuando i describe la familia de abiertos de Yi y cuando
i (i )
i recorre I , los 1
constituyen una familia de subconjuntos de X que son necesariamente
i (i )
abiertos en la topologa T ; designamos esta familia por {U } . La topologa T es la topologa
menos fina en la que los {U } son abiertos. Nos vemos conducidos as al
Problema 2.
Construir la familia menos fina posible F de subconjuntos de X que sea estable
para intersecciones finitas y uniones arbitrarias, y tal que U F para todo .

La siguiente construccin proporciona la respuesta al Problema 2. En primer lugar, se
T
consideran las intersecciones finitas de los conjuntos {U } , es decir, U , , finito. Se
obtiene as una familia de subconjuntos de X , estable para intersecciones finitas. Se considera
despus la familia F obtenida con uniones arbitrarias de elementos de . La familia F , que
evidentemente es estable para uniones arbitrarias, tambin lo es para intersecciones finitas.
32
Recapitulando: los abiertos de la topologa T se obtienen al considerar primero las intercon i abierto de Yi , y luego las uniones
secciones finitas de conjuntos de la forma 1
i (i ),
arbitrarias de estas intersecciones.
Una base de entornos de x X para la topologa T est constituida por los conjuntos de la
T
donde Vi es un entorno de i (x) en Yi .
forma finita 1
i (Vi ),
En lo que sigue se dotar a X de la topologa T , que recibe el nombre de topologa inicial

generada por la familia de aplicaciones i i I .
A continuacin probamos algunas propiedades elementales de esta topologa.
Proposicin 3.3.1. Sea {x n } una sucesin en X . Entonces x n x si, y solamente si, i (x n ) i (x)
para todo i I .
D EMOSTRACIN . Si x n x entonces i (x n ) i (x) para todo i I , ya que cada i es continua.
Recprocamente, sea U un entorno de x. Por lo anterior, siempre es factible suponer que U
T
tiene la forma U = i J 1
para algn J I , J finito. Para todo i J existe un entero Ni tal
i (Vi )
que i (x n ) Vi cuando n Ni . Si N = maxi J Ni , entonces x n U para cada n N .
La siguiente propiedad es conocida en la literatura como propiedad universal de las

topologas iniciales.
Proposicin 3.3.2. Sea Z un espacio topolgico y sea una aplicacin de Z en X . Entonces es
continua si, y solamente si, i es continua de Z en Yi , para cada i I .
D EMOSTRACIN . Como la composicin de aplicaciones continuas es continua, si es continua
tambin lo es i para cada i I . Inversamente, sea U un abierto de X ; vamos a demostrar
S
T
que 1 (U ) es un abierto de Z . Se sabe que U es de la forma U = arbitraria finita 1
con i
i (i ),
abierto de Yi . Por tanto,
1 (U ) =
arbitraria finita
1 1
i (i ) =
\
1
i (i ) ,
arbitraria finita
y esto es un abierto de Z debido a que cada aplicacin i es continua.
3.3.2. Definicin y propiedades elementales de la topologa dbil (X , X )
Sea X un espacio de Banach real y sea f X . Escribimos f , x = f (x) (x X ) y denotamos
por f : X R a la aplicacin dada por f (x) = f , x (x X ). Cuando f recorre X obtenemos

una familia f f X de aplicaciones de X en R.
Definicin 3.3.3. La topologa dbil (X , X ) de X es la topologa menos fina sobre X que hace

continuas a todas las aplicaciones f f X .
33
Proposicin 3.3.4. La topologa dbil (X , X ) es Hausdorff.

D EMOSTRACIN . Sean x 1 , x 2 X , con x 1 6= x 2 . La idea es construir conjuntos O 1 y O 2 , abiertos
en la topologa dbil (X , X ), de forma que x 1 O 1 , x 2 O 2 y O 1 O 2 = ;. Por el teorema de
Hahn-Banach, existe un hiperplano cerrado que separa {x 1 } y {x 2 } en sentido estricto; es decir,
existen f X y R tales que
f , x1 < < f , x2 .
Definimos
O 1 = x X : f , x < = 1
f (] , [) ,
O 2 = x X : f , x > = 1
f (] , [) .
Los conjuntos O 1 y O 2 son abiertos de (X , X ) que verifican x 1 O 1 , x 2 O 2 y O 1 O 2 = ;.
Proposicin 3.3.5. Se obtiene una base de entornos de x 0 X para la topologa (X , X ) al

considerar todos los conjuntos de la forma
V = x X : f i , x x 0 < (i I ) ,
donde I es finito, f i X (i I ), y > 0.

D EMOSTRACIN . El conjunto
V=
\
i I
1
f i ( ] a i , a i + [ ) ,
con a i = f i , x 0 , es un abierto para la topologa (X , X ) y contiene a x 0 . Adicionalmente, sea U

T
un entorno de x 0 en (X , X ). Existe un entorno W de x 0 , W U , de la forma W = i I 1
(i ),
fi
con I finito y i entorno de f i , x 0 = a i en R, para cada i I . As pues, existe > 0 tal que
] a i , a i + [ i para cada i I . Por tanto, x 0 V W U .
Dada una sucesin {x n } en X , se designa por x n * x la convergencia de {x n } a x en la topologa

dbil (X , X ). En ocasiones se insiste diciendo x n * x dbilmente en X . Nos referiremos a la
topologa generada por la norma como topologa fuerte. As, se dir que x n x fuertemente en
X cuando kx n xk 0.
Proposicin 3.3.6. Sea {x n } una sucesin en X .
(i) Se verifica que x n * x en (X , X ) si, y slo si, f , x n f , x ( f X ).
(ii) Si x n x fuertemente en X , entonces x n * x dbilmente.

(iii) Si x n * x dbilmente en X , entonces {kx n k} est acotada y kxk lm inf kx n k.
(iv) Si x n * x dbilmente en X y si f n f fuertemente en X ( es decir, f n f X 0), entonces
f n , xn f , x .
34
D EMOSTRACIN . El apartado (i) resulta de la Proposicin 3.3.1 y la definicin de la topologa dbil

(X , X ).

El apartado (ii) se infiere de (i), ya que f , x n x f kx n xk.
Por (i), si x n * x dbilmente en X entonces, para cada f X , la sucesin f , x n converge
a f , x y, en particular, est acotada. Sigue del teorema de Banach-Steinhaus [1, Corolario II.3]
que la sucesin {kx n k} est acotada. Adems, fijado f X se tiene

f , x n f kx n k ,
y en el lmite

f , x f lm inf kx n k .
Del Corolario 1.4.9 se concluye que
kxk = sup f , x : f X , f 1 lm inf kx n k ,
lo cual establece (iii).

Para probar (iv), escribimos
f n , x n f , x f n f , x n + f , x n x f n f kx n k + f , x n x
y aplicamos (i) y (iii).
Proposicin 3.3.7. Cuando X es de dimensin finita, la topologa dbil (X , X ) y la topologa

usual coinciden. En particular, una sucesin {x n } converge dbilmente si, y solamente si, converge
fuertemente.
D EMOSTRACIN . La topologa dbil siempre tiene menos abiertos que la topologa fuerte.
Inversamente, debemos comprobar que todo abierto fuerte es un abierto dbil. Sea x 0 X y sea
U un entorno de x 0 en la topologa fuerte; hemos de construir un entorno V de x 0 en la topologa
dbil (X , X ) tal que V U . Por la Proposicin 3.3.5, se trata de encontrar un subconjunto finito

f i i I de X y un > 0 tales que
V = x X : f i , x x 0 < (i I ) U .
Supongamos que U (x 0 , r ) U , y seleccionemos una base e 1 , e 2 , . . . , e n de X con ke i k = 1

P
para cada i = 1, 2, . . . , n. Entonces todo x X admite una representacin x = ni=1 i e i , donde
las aplicaciones x 7 i definen n funcionales lineales continuos sobre X , que denotaremos f i
35
(i = 1, 2, . . . , n). Sigue que

kx x 0 k
n
X
f i , x x 0 < n
i =1
cuando x V = x X : f i , x x 0 < (i = 1, 2, . . . , n) . Sin ms que elegir = r /n ya se obtiene
V U.
Observacin 3.3.8. Los abiertos (respectivamente, cerrados) de la topologa dbil (X , X ) son

tambin abiertos (respectivamente, cerrados) en la topologa fuerte. Si X es de dimensin infinita,
la topologa dbil (X , X ) es estrictamente menos fina que la topologa fuerte, es decir, existen
abiertos (respectivamente, cerrados) en la topologa fuerte que no son abiertos (respectivamente,
cerrados) en la topologa dbil. Se ofrecen a continuacin dos ejemplos.
Ejemplo 3.3.9. Si X es de dimensin infinita, la esfera unidad S = {x X : kxk = 1} nunca es cerrada
en la topologa dbil (X , X ).
R ESOLUCIN . Demostraremos que
S
donde S
(X ,X )
(X ,X )
= {x X : kxk 1} ,
denota la clausura de S en la topologa (X , X ).
Sea x 0 X , con kx 0 k < 1; comprobemos que x 0 S
(X ,X )
. Para ello, dado un entorno V de x 0
en (X , X ), hemos de asegurar que V S 6= ;. Se puede suponer que V es de la forma
V = x X : f i , x x 0 < (i = 1, 2, . . . , n) ,
con > 0 y f 1 , f 2 , . . . , f n X .
Fijemos y 0 X \ {0} satisfaciendo
f i , y 0 = 0 (i = 1, 2, . . . , n).
Un tal y 0 existe ya que, en caso contrario, la aplicacin lineal : X Rn definida por

(z) =
f1, z , f2, z , . . . , fn , z
sera inyectiva y, por tanto, un isomorfismo de X sobre (X ), obligando a que dim X n.
La funcin g (t ) = x 0 + t y 0 es continua en [ 0, + [ , con g (0) < 1 y lmt + g (t ) = +; luego,
existe t 0 > 0 tal que x 0 + t 0 y 0 = 1, as que x 0 + t 0 y 0 V S. Hemos probado que

S {x X : kxk 1} S
(X ,X )
36
Sin ms que tener en cuenta que {x X : kxk 1} es cerrado en la topologa (X , X ) (como se

ver con el Teorema 3.3.13), se concluye que S
(X ,X )
= {x X : kxk 1}.
Ejemplo 3.3.10. Si X es de dimensin infinita, el conjunto U = {x X : kxk < 1} nunca es abierto

en la topologa dbil (X , X ). De hecho, el interior de U en (X , X ) es vaco.
R ESOLUCIN . Supongamos, para obtener una contradiccin, que existen x 0 U y un entorno V
de x 0 en (X , X ) tales que V U . Como acabamos de probar, V contiene una recta que pasa
por x 0 ; pero esto contradice el hecho de que V U .
3.3.3. Topologa dbil, conjuntos convexos y operadores lineales

Con ayuda del Lema 3.3.11 demostraremos (Proposicin 3.3.12) que al debilitar la topologa
de un espacio de Banach mediante (X , X ) no se pierden funcionales lineales continuos.
Lema 3.3.11. Sea E un espacio vectorial y sean , 1 , 2 , . . . , n una coleccin de n + 1 funcionales
lineales sobre E , tales que i (v) = 0 (i = 1, 2, . . . , n) implica (v) = 0. Entonces existen 1 , 2 , . . . , n
P
R satisfaciendo = ni=1 i i .
D EMOSTRACIN . Definimos la aplicacin : E Rn+1 poniendo
(u) = (u), 1 (u), 2 (u), . . . , n (u) .
Como se anula en la interseccin de los ncleos de 1 , 2 , . . . , n , resulta que a = (1, 0, . . . , 0)

no pertenece al rango (E ) de . Es entonces posible separar estrictamente {a} y (E ) por un
hiperplano en Rn+1 , es decir, existen , 1 , 2 , . . . , n R y R tales que
< < (u) +
n
X
i i (u)
(u E ).
i =1
Puesto que todo funcional lineal no idnticamente nulo es sobre, necesariamente

(u) +
n
X
i i (u) = 0 (u E ),
i =1
as que < 0 (y, en particular, 6= 0).
Proposicin 3.3.12. Sea f : X R una aplicacin lineal y continua para la topologa (X , X ).

Entonces f X .
D EMOSTRACIN . Como f es continua para (X , X ), existe un entorno V de cero en (X , X ) tal
que
f (x) < 1 (x V ).
(3.1)
37
Podemos suponer que V es de la forma
V = x X : f i , x < (i = 1, 2, . . . , n) ,
con f i X (i = 1, 2, . . . , n) y > 0. Si f i , x = 0 (i = 1, 2, . . . , n), entonces tambin f i , x = 0
( > 0, i = 1, 2, . . . , n), de manera que x V ( > 0). Sigue de (3.1) que
f (x) < 1
( > 0),
obligando a que f (x) = 0. Ahora, el Lema 3.3.11 proporciona i R (i = 1, 2, . . . , n) tales que

P
f = ni=1 i f i . Puesto que f i X (i = 1, 2, . . . , n) y X es un espacio vectorial, se concluye que
f X , como se pretenda.
Todo conjunto cerrado en la topologa dbil (X , X ) es cerrado en la topologa fuerte,

aunque sabemos que el recproco es falso en dimensin infinita (Observacin 3.3.8). Sin embargo,
para los conjuntos convexos ambas nociones coinciden.
Teorema 3.3.13. Sea C un subconjunto convexo de un espacio de Banach X . Entonces C es
dbilmente cerrado en (X , X ) si, y solamente si, es fuertemente cerrado.
D EMOSTRACIN .
Suponemos que C es fuertemente cerrado y vamos a demostrar que es
dbilmente cerrado o, equivalentemente, que X \ C es abierto en la topologa (X , X ).

Dado x 0 C , el teorema de Hahn-Banach proporciona un hiperplano cerrado que separa
estrictamente {x 0 } y C . Por tanto, existen f X y R tales que
f , x0 < < f , c
(c C ).
Poniendo
V = x X : f ,x <
encontramos que x 0 V , V C = ; (es decir, V X \ C ), y V es abierto en (X , X ).
Teorema 3.3.14. Sean X e Y dos espacios de Banach, y sea T un operador lineal y continuo de
X en Y . Entonces T es continuo de X con la topologa dbil (X , X ) en Y con la topologa dbil
(Y , Y ). Tambin se verifica el recproco.
D EMOSTRACIN . Segn la Proposicin 3.3.2, basta probar que para toda f Y la aplicacin
x 7 f , T x es continua de X con la topologa dbil (X , X ) en R. Pero la aplicacin x 7 f , T x

es un funcional lineal y continuo sobre X , y por tanto tambin es continua al considerar sobre X
la topologa dbil (X , X ).
Recprocamente, supongamos que T es lineal y continuo de X en Y , cuando ambos espacios
estn provistos de sus respectivas topologas dbiles. Entonces el grafo de T , G(T ), es cerrado en
38
X Y para la topologa (X Y , (X Y ) ), y a fortiori G(T ) ser cerrado en X Y para la topologa

fuerte. El teorema del grafo cerrado [1, Teorema II.7] permite concluir que T es continuo de X en
Y , cuando ambos espacios estn provistos de sus topologas fuertes.
Observacin 3.3.15. Un razonamiento anlogo al de la demostracin del Teorema 3.3.14 prueba

que si T es lineal y continuo de X con su topologa fuerte en Y con su topologa dbil, entonces T es
continuo de X en Y , provistos ambos de sus topologas fuertes.
3.3.4. La topologa dbil* (X , X )

Sea X un espacio de Banach real, sea X su dual dotado de la norma de funcionales

f = sup f , x : x X , kxk 1
( f X ),
y sea X su bidual, es decir, el dual de X , dotado de la norma

kk = sup , f : f X , f 1
( X ).
Se tiene una inyeccin cannica J : X X definida de la siguiente manera. Para cada x X
fijo, la aplicacin f 7 f , x de X en R es un funcional lineal continuo sobre X , es decir, un

elemento de X , llamado funcional evaluacin en x. Ponemos
J x, f
X ,X
= f , x X ,X
(x X , f X ).
Claramente, J es una isometra lineal, es decir, kJ xk X = kxk X para todo x X ; en efecto, el

Corolario 1.4.9 permite escribir:

kJ xk = sup J x, f : f X , f 1 = sup f , x : f X , f 1 = kxk.
La inyeccin cannica J permite identificar X con un subespacio de X . Puede ocurrir que J no

sea sobreyectiva; cuando lo es, se dice que X es reflexivo.
Sobre el espacio X estn definidas dos topologas:
la topologa fuerte asociada a la norma de X , y
la topologa dbil (X , X ).
Ahora vamos a dotar a X de una tercera topologa, la topologa dbil* (X , X ), de la siguiente
manera. Para cada x X consideramos la aplicacin x : X R definida por f 7 x ( f ) = f , x .

Cuando x recorre X obtenemos una familia de aplicaciones x xX de X en R.
39
Definicin 3.3.16. La topologa dbil*, denotada por (X , X ), es la topologa menos fina sobre

X que hace continuas a todas las aplicaciones x xX .
En otras palabras, (X , X ) es la topologa menos fina sobre X que hace continuos a todos
los funcionales evaluacin {J x}xX .
Como X X , resulta que la topologa (X , X ) es menos fina que la topologa (X , X ).
O lo que es lo mismo, la topologa (X , X ) posee menos abiertos (respectivamente, cerrados)
que la topologa (X , X ), la cual, a su vez, posee menos abiertos (respectivamente, cerrados)
que la topologa fuerte.
Observacin 3.3.17. La razn de este inters por empobrecer las topologas radica en que si
una topologa posee menos abiertos entonces tambin posee ms compactos, y los conjuntos
compactos desempean un papel importante cuando se trata de establecer teoremas de existencia.
Por ejemplo, la bola unidad de X tiene la notable propiedad de ser compacta para la topologa
dbil* (X , X ). Este resultado se conoce como teorema de Banach-Alaoglu-Bourbaki (Teorema
3.3.23).
Proposicin 3.3.18. La topologa dbil* (X , X ) es Hausdorff.
D EMOSTRACIN . Sean f 1 y f 2 en X , con f 1 6= f 2 . Existe entonces un x X tal que f 1 , x 6= f 2 , x .
Supongamos que f 1 , x < f 2 , x , e introduzcamos R tal que
f1, x < < f2, x .
Poniendo
O 1 = f X : f , x < = 1
x ( ] , [ ) ,
O 2 = f X : f , x > = 1
x ( ] , + [ ) ,
encontramos que O 1 y O 2 son abiertos en (X , X ) verificando f 1 O 1 , f 2 O 2 , y O 1 O 2 = ;.

Proposicin 3.3.19. Se obtiene una base de entornos de un punto f 0 X para la topologa
(X , X ) al considerar todos los conjuntos de la forma
V = f X : f f 0 , x i < (i I ) ,
donde I es finito, x i X (i I ), y > 0.

D EMOSTRACIN . Es idntica a la de la Proposicin 3.3.5.

Dada una sucesin f n en X , se designa con f n * f la convergencia de f n a f en la
topologa dbil* (X , X ). Para evitar confusiones, se precisa a menudo f n * f en (X , X ),

f n * f en (X , X ), y f n f fuertemente.
40

Proposicin 3.3.20. Sea f n una sucesin en X .
(i) Se verifica que f n * f en (X , X ) si, y slo si, f n , x f , x (x X ).
(ii) Si f n f fuertemente, entonces f n * f en (X , X ).
(iii) Si f n * f en (X , X ), entonces f n * f en (X , X ).

(iv) Si f n * f en (X , X ), entonces el conjunto f n est acotado y f lm inf f n .
(v) Si f n * f en (X , X ) y si x n x fuertemente en X , entonces f n , x n f , x .
D EMOSTRACIN . Es similar a la de la Proposicin 3.3.6.
Observacin 3.3.21. Cuando X es de dimensin finita, las tres topologas: fuerte, dbil (X , X ),
y dbil* (X , X ), coinciden sobre X . En efecto, J es entonces sobreyectiva de X sobre X , pues
dim X = dim X = dim X , y, por tanto, (X , X ) = (X , X ).
Proposicin 3.3.22. Sea : X R una aplicacin lineal y continua para la topologa (X , X ).
Entonces existe x X tal que
( f ) = f , x = x ( f ) ( f X ).
D EMOSTRACIN . Es anloga a la de la Proposicin 3.3.12. Como es continua respecto de

(X , X ), para algn entorno V de cero en (X , X ) se tiene
( f ) < 1 ( f V ).
(3.2)
Podemos suponer que V es de la forma
V = f X : f , x i < (i = 1, 2, . . . , n) ,
con x i X (i = 1, 2, . . . , n) y > 0. Si f , x i = 0 (i = 1, 2, . . . , n), entonces tambin f , x i = 0
( > 0, i = 1, 2, . . . , n), de manera que f V ( > 0). Sigue de (3.2) que
( f ) < 1
( > 0),
obligando a que ( f ) = 0. Ahora, el Lema 3.3.11 proporciona i R (i = 1, 2, . . . , n) tales que

( f ) =
n
X
i =1
como se pretenda.
i f , x i =
f,
n
X
i x i
( f X ),
i =1
Concluimos enunciando el siguiente resultado central de la teora de la dualidad, aunque

omitimos su demostracin por exceder el alcance del trabajo. Para comprender la importancia
fundamental de la topologa (X , X ) y del Teorema 3.3.23 debe recordarse el hecho de que
41
la bola unidad cerrada de un espacio normado de dimensin infinita nunca es compacta en la

topologa fuerte [6, Teorema 1.22].
Teorema 3.3.23 (Banach-Alaoglu-Bourbaki). La bola unidad cerrada de X ,

BX = f X : f 1 ,
es compacta en la topologa dbil* (X , X ).

D EMOSTRACIN . Vase, por ejemplo, [1, Teorema III.15].
42
CAPTULO 4
Conclusiones y prospectiva
4.1. Conclusiones
Junto con los teoremas de Banach-Steinhaus, la aplicacin abierta y el grafo cerrado, el
teorema de Hahn-Banach constituye uno de los cuatro pilares fundamentales del anlisis
funcional lineal. En sntesis, el teorema de Hahn-Banach permite asegurar la existencia, sobre
un espacio vectorial o un espacio normado, de funcionales lineales que satisfagan cualquier
propiedad razonable, sin ms que construir un subespacio adecuado, definir un funcional
sobre ese subespacio verificando las condiciones requeridas y aplicar un teorema de extensin,
ya sea el de extensin mayorada (frecuentemente con ayuda del funcional de Minkowski) o el
de extensin continua. A lo largo de los captulos 1 y 2 de la memoria hemos tenido ocasin de
encontrar numerosos ejemplos de este procedimiento.
La riqueza del teorema de Hahh-Banach como generador de funcionales hace que dicho
teorema se encuentre en la base de la teora de la dualidad de espacios normados, la cual es a su
vez importante porque muchas propiedades de un espacio normado tienen su reflejo e, incluso,
se estudian mejor, en el espacio dual que en el primal. Una pequea muestra de estas propiedades
est constituida por los resultados sobre dualidad de subespacios y teora de la aproximacin
recogidos al comienzo del captulo 3.
Los funcionales lineales continuos en un espacio normado se usan para definir el espacio
dual y las topologas dbil y dbil* tanto del propio espacio como de su dual. Es evidente que
se necesitan suficientes funcionales para obtener un dual y unas topologas interesantes; por
otra parte, en muchas aplicaciones prcticas la topologa dbil de un espacio normado es ms
adecuada que su topologa fuerte, porque tiene ms compactos, y los compactos dan lugar a
43
44
Captulo 4. Conclusiones y prospectiva
varios teoremas de existencia en diversos campos de las matemticas. El teorema de HahnBanach implica, por ejemplo, que el dual de un espacio normado no trivial es tambin no trivial,
que la topologa dbil es Hausdorff, o que todo espacio normado es isomtricamente isomorfo a
un subespacio de su bidual (que es un espacio de Banach, lo cual, sin ir ms lejos, proporciona
una demostracin inmediata del hecho de que todo espacio normado admite una complecin). El
captulo 3 de la memoria ilustra la forma en que dicho teorema, y particularmente sus versiones
de separacin, permiten obtener estas y otras propiedades del espacio dual y de las topologas
dbil y dbil*.
El teorema de Hahn-Banach tambin encuentra aplicacin en otros problemas del anlisis
aparentemente no relacionados con la generacin de funcionales lineales, como pueden ser las
consecuencias del teorema de extensin equinrmica descritas al final del captulo 1.
4.2. Prospectiva
La presente memoria recoge solamente una parte muy pequea del potencial del teorema
de Hahn-Banach, de manera que el campo que se abre ante quien desee profundizar en su
estudio es inmenso. Aqu nos hemos limitado a considerar los aspectos bsicos de dicho teorema
en espacios vectoriales y normados, pero la literatura contiene muchas otras formulaciones del
mismo en diversos ambientes: espacios vectoriales topolgicos, retculos vectoriales, mdulos,
lgebras de Boole, grupos, semigrupos, . . .. Tambin se ha discutido la vinculacin del teorema
de Hahn-Banach con cuestiones relacionadas con los fundamentos de las matemticas: axioma
de eleccin, existencia de conjuntos no medibles Lebesgue, paradoja de Banach-Tarski, . . .. El
impacto de este importante resultado alcanza a otras reas de las matemticas, tales como la ya
mencionada teora de la aproximacin, la optimizacin, el anlisis complejo, las ecuaciones en
derivadas parciales o la teora ergdica; e, incluso, a otras disciplinas, entre las que cabe citar las
finanzas, la termodinmica o la mecnica de fluidos. Sin pretensiones de exhaustividad, para dar
una idea de estas aplicaciones remitimos a [2, 4, 8] y a las referencias que all se citan, aunque una
mera bsqueda en internet ya arroja abundante bibliografa.
Apndice: Pster
45
46
Apndice: Pster
Figure 2: S. Banach (1892-1945)
The objective of this work is to state and prove rigorously the three more
common versions of the theorem and discuss some variants, special cases,
consequences, and applications of these results.
Specifically, Chapter 1 is devoted to the analytical forms of the HahnBanach theorem. Here, the dominated extension theorem and the continuous extension theorem are gathered along with two applications of the
latter, to operator theory and to the problem of existence of complementary subspaces.
Chapter 2 focuses on the geometric version of the Hahn-Banach theorem. It deals with the general separation theorem of convex sets by
hyperplanes in vector spaces. After deriving some important consequences for normed spaces, the chapter concludes by observing that in
finite-dimensional spaces no restrictive hypotheses are needed in order to
achieve separation.
Objectives and working plan
Figure 1: H. Hahn (1879-1934)
The theorem nowadays called after Hans Hahn (1879-1934) and Stefan
Banach (1892-1945) is located at the base of the duality theory and therefore constitutes a cornerstone of linear functional analysis. The impact of
this important result reaches other areas of mathematics, such as approximation theory, optimization, complex analysis, partial differential equations or ergodic theory and even other disciplines, including finance,
thermodynamics or fluid mechanics.
In the mathematical literature, it is common to find three variants of
the Hahn-Banach theorem, two of them corresponding to the analytical
version (dominated extension theorem in linear spaces and continuous
extension theorem in normed spaces), and the third one to the geometric
version (the separation theorem, both in linear and normed spaces), but
many other versions have been formulated in several environments: topological vector spaces, vector lattices, modules, Boolean algebras, groups,
semigroups, and so on.
Introduction
The theorem that we nowadays call of Hahn-Banach is a cornerstone of linear functional analysis. In the mathematical literature three variants of the HahnBanach theorem are commonly encountered, two of them corresponding to the
analytical version (dominated extension theorem in linear spaces and continuous
extension theorem in normed spaces), and the third one to the geometric version
(the separation theorem, both in linear and normed spaces). The objective of this
work is to state and prove rigorously these three versions and discuss some variants, special cases, consequences, and applications of such results.
Abstract
Remedios Marina Daz Gil

Universidad de La Laguna
The dominated extension theorem
Analytical version
(x, y X);
(x X).
The continuous extension theorem
Further consequences of the continuous extension

theorem
(x X).
Separation in linear spaces
sup <f (A) inf <f (B).
Theorem 2.1. Let X be a linear space and let A, B be non-empty, disjoint

convex subsets of X. Suppose that there exists a0 A such that A a0 is
absorbing. Then some f X \ {0} separates A from B, i.e.,
2.1
2 Geometric version
Corollary 1.6. Let X 6= {0} and Y be normed spaces. If the operator

space L(X, Y ) is complete, then so is Y .
Corollary 1.7. Every finite-dimensional subspace of a normed space X is
complemented in X.
1.3
kxk = max {|f (x)| : f X , kf k 1}
Theorem 1.2. Let X be a normed space, M a subespace of X and

g M . Then there exists f X such that f extends g and kf k = kgk.
Corollary 1.3. Given a normed space X and vectors x, y X with x 6= y,
there exists f X such that f (x) 6= f (y).
Corollary 1.4. For every x0 in a normed space X, there exists f X
satisfying kf k = 1 and f (x0) = kx0k.
Corollary 1.5. If X is a normed space, then
1.2
|f (x)| (x) (x X).
In particular, if is a seminorm in X, then
<f (x) (x)
Then there exists a linear functional f in X which extends g, i.e., f (m) =

g(m) (m M ), and is still dominated by :
Let M be a vector subspace of X and g a linear functional in M such

that:
<g(m) (m) (m M ).
(rx) = r(x) (r R+, x X).
(x + y) (x) + (y)
Theorem 1.1 (Hahn 1927, Banach 1929). Let X be a vector space

equipped with a function : X R satisfying:
1.1
Chapter 3 shows how the Hahn-Banach theorem allows to delve into

the study of duality in normed spaces. After characterizing the dual of a
subspace, this result is transcribed in terms of best approximation in the
dual space, and useful dual characterizations of the closure of a subspace
and of dense subspaces are given. The chapter closes by introducing the
weak and weak* topologies and recalling their first properties, including
the celebrated Banach-Alaoglu-Bourbaki theorem.
The Hahn-Banach theorem
Separation in normed spaces
(a A, b B).
Finite-dimensional spaces
(a A, b B).
Some approximation results
3.1
Weak and weak* topologies
The topology (X, X )
3.2.2 The topology (X , X)
(x X, f X ),
Acknowledgements
This Final Degree Project in Mathematics has been done under the supervision of Dr.
Mara Isabel Marrero Rodrguez during the academic year 2014/15. The pictures of H.
Hahn and S. Banach displayed above have been taken from the MacTutor History of
Mathematics archive [http://www-history.mcs.st-andrews.ac.uk/].
V = {x X : |hfi, x x0i| < (i I)} ,
[1] H. B REZIS: Anlisis Funcional. Alianza Universidad Textos, 1984.

[2] I. M ARRERO: Problemas de Anlisis Real y Funcional. Servicio de
Publicaciones de la Universidad de La Laguna, 1991.
[3] R. PAY: Apuntes de Anlisis Funcional. [Disponible en
http://www.ugr.es/ rpaya/cursosanteriores.htm].
[4] W. RUDIN: Anlisis Funcional. Revert, 1973.
[5] W. RUDIN: Anlisis Real y Complejo (3a. ed.). McGraw-Hill, 1988.
References
This report reflects only a very small portion of the potential of the HahnBanach theorem. The literature contains formulations of this theorem in
environments other than linear and normed spaces. The impact of the
Hahn-Banach theorem reaches many areas within mathematics, such as
the above-mentioned approximation theory, optimization, complex analysis, partial differential equations or ergodic theory (even some links of this
important result with the foundations of mathematics have been explored),
and also outside them, including finance, thermodynamics or fluid mechanics.
Prospective
The Hahn-Banach theorem ensures the existence, on a linear space or a

normed space, of linear functionals satisfying any reasonable property.
This is accomplished just by building a suitable subspace, defining a linear functional which meets the required conditions on this subspace, and
applying either the dominated extension theorem or the continuous extension one.
Conclusions
is (X , X)-compact.
BX = {f X : kf k 1} ,
where I is finite, xi X (i I), and > 0. The dual of (X , (X , X))

is {Jx}xX .
Theorem 3.11. (Banach-Alaoglu-Bourbaki). The closed unit ball of X ,
V = {f X : |hf f0, xii| < (i I)} ,
is a linear isometry from X onto J(X).

Definition 3.9. The weak* topology (X , X) is the weakest topology on
X that makes all functionals {Jx}xX continuous.
Proposition 3.10. The weak* topology (X , X) is Hausdorff. A local
basis for f0 X in the topology (X , X) is given by all sets
hJx, f iX ,X = hf, xiX ,X
Proposition 3.8. Set hf, xi = f (x) (x X, f X ). The canonical

injection J : X X , given by
where I is finite, fi X (i I), and > 0. The dual of (X, (X, X ))

is X .
Theorem 3.7. Let C be a convex subset of X. Then C is (X, X )-closed
if, and only if, C is norm-closed.
Definition 3.5. The weak topology (X, X ) is the weakest topology on

X that makes all functionals in X continuous.
Proposition 3.6. The topology (X, X ) is Hausdorff. A local basis at
x0 X for the topology (X, X ) is given by all sets
3.2.1
Throughout this section, X denotes a real Banach space.
3.2
Corollary 3.4. A subspace M of a normed space X is dense in X if, and

only if, M = {0}.
f M
Corollary 3.3. If M is a subspace of a normed space X, then

\
M=
Ker(f ).
be the annihilator of M . Then M X /M .

Corollary 3.2. Let X be a normed space with dual X , and let M be a
subspace of X. For every f X , there holds:
n
o
min kf hk : h M = sup {|f (m)| : m M, kmk = 1} .
M = {f X : f (M ) = {0}}
Corollary 3.1. Let X be a normed space with dual X , let M be a subspace of X, and let
Duality in normed spaces
Corollary 2.5. Let A, B be nonempty, closed, convex subsets of RN .

There exists a linear functional on RN which separates A from B.
2.3
<f (a) + <f (b)
Actually, <f (a) (a int(A)).

Corollary 2.4. Let A, B be nonempty, closed, convex subsets of a normed
space X such that d(A, B) = > 0. Then there exist f X , kf k = 1,
and R for which
<f (a) <f (b)
Definition 2.2. A subset U of a linear space X is absorbing provided that

to every x X there corresponds > 0 such that x U .
Corollary 2.3. Let X be a normed space and let A, B be convex subsets
of X. Assume that B 6= , int(A) 6= and int(A) B = . There exist
f X \ {0} and R satisfying
2.2
Email: alu0100709322@ull.edu.es
Contact Information:
Facultad de Ciencias
Seccin de Matemticas
Universidad de La Laguna
38271 La Laguna (Tenerife), Spain
Apndice: Pster
47
48
Apndice: Pster
ndice alfabtico
M , 27
X /M , 13
X , 2
X , 38
, 13
(X , X ), 32
(X , X ), 38
f n * f , 39
x n * x, 33
N , 30
codimensin, 14
conjunto
absorbente, 17
anulador, 27
de mejores aproximaciones, 28
equilibrado, 20
preanulador, 30
proximinal, 29
convergencia
dbil, 33
caracterizacin, 33
dbil*, 39
caracterizacin, 40
fuerte, 33
ecuacin de un hiperplano, 14
afn, 14
espacio
bidual, 38
cociente, 13
dual, 2
dbil, 36
dbil*, 40
de un cociente, 30
de un subespacio, 28
normado, 1
reflexivo, 38
extensin de Hahn-Banach, 29
funcional
de Minkowski, 19
de soporte, 24
evaluacin, 38
lineal, 2
hiperplano, 14
afn, 14
ecuacin, 14
ecuacin, 14
inyeccin cannica, 38
mejor aproximacin, 28
en un espacio dual, 29
norma, 1
cociente, 14
dual, 2
propiedad universal de las topologas iniciales, 32
proyeccin cannica cociente, 13
punto de soporte, 24
seminorma, 2
soporte
funcional de, 24
punto de, 24
subespacio
clausura de un, 29
complementado, 11
denso, 30
teorema
de Banach-Alaoglu-Bourbaki, 41
de Hahn-Banach de extensin
continua, 6
equinrmica, 6
mayorada, 2
de Hahn-Banach de separacin
en espacios de dimensin finita, 25
en espacios normados, 22
en espacios vectoriales, 18
49
50
fuerte en espacios normados, 24

topologa
dbil, 32
base local, 33
dbil*, 38
base local, 39
fuerte, 33
inicial, 32
ndice alfabtico
Bibliografa
[1] H. B REZIS: Anlisis Funcional. Alianza Universidad Textos, 1984.

[2] F.R. D EUTSCH , P.H. M ASERICK: Applications of the Hahn-Banach theorem in approximation theory. SIAM Review 9 (2006), no. 3, 516530.
[3] I. M ARRERO: Problemas de Anlisis Real y Funcional. Servicio de Publicaciones de la
Universidad de La Laguna, 1991.
[4] L. N ARICI , E. B ECKENSTEIN: The Hahn-Banach theorem: the life and times. Topology and
its Applications 77 (1977), 193211.
[5] R. PAY: Apuntes de Anlisis Funcional. [Disponible en http://www.ugr.es/~rpaya/
cursosanteriores.htm].
[6] W. RUDIN: Anlisis Funcional. Revert, 1973.
[7] W. RUDIN: Anlisis Real y Complejo (3. ed.). McGraw-Hill, 1988.
[8] M.A. S OFI: Some problems in functional analysis inspired by Hahn-Banach type
theorems. Annals of Functional Analysis 5 (2014), no. 2, 129.
51

El Teorema de Hahn-Banach

Cargado por

Copyright:

Formatos disponibles

El Teorema de Hahn-Banach

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

El Teorema de Hahn-Banach

Cargado por

Copyright:

Formatos disponibles

U NIVERSIDAD DE L A L AGUNA

FACULTAD DE C IENCIAS S ECCIN DE M ATEMTICAS

Memoria que presenta la alumna

Remedios Marina Daz Gil

M. Isabel Marrero Rodrguez

L A L AGUNA , JULIO 2015

M. ISABEL MARRERO RODRGUEZ, profesora titular de Anlisis Matemtico adscrita al

Fdo.: M. Isabel Marrero Rodrguez

Recogemos en este prlogo los antecedentes, objetivos y plan de trabajo desarrollado en la

1.3 Extensin mayorada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4 Extensin continua . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4.1 Extensin equinrmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4.2 Aplicaciones de la extensin equinrmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2 Espacios cociente, hiperplanos y funcionales lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4 Espacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4.1 Separacin en espacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4.2 Funcional de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5 Espacios normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5.1 Separacin en espacios normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5.2 Funcionales y puntos de soporte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5.3 Separacin fuerte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.6 Espacios de dimensin finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3 Dualidad en espacios normados

3.2 Algunos resultados sobre aproximacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2.1 Dual de un subespacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2.2 Mejor aproximacin en un espacio dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2.3 Caracterizacin dual de la clausura de un subespacio . . . . . . . . . . . . . . . . . . . . . . . .

3.2.4 Dual de un cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3 Topologas dbil y dbil* . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3.2 Definicin y propiedades elementales de la topologa dbil (X , X ) . . . . . . . . . . . . . . .

3.3.3 Topologa dbil, conjuntos convexos y operadores lineales . . . . . . . . . . . . . . . . . . . . .

3.3.4 La topologa dbil* (X , X ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Captulo 1. Versin analtica

(iii) (desigualdad triangular) x + y kxk + y x, y X .

f = sup f (x) : x X , kxk 1

define una norma sobre X .

1.3. Extensin mayorada

(ii) (desigualdad triangular) x + y (x) + y x, y X .

Sean M un subespacio vectorial de X y g un funcional lineal en M , satisfaciendo:

1.3. Extensin mayorada

Si es una seminorma se tiene, de hecho,

D EMOSTRACIN . Distinguiremos tres casos.

Caso real: primera extensin.

Consideramos en primer lugar el caso K = R y extendemos el

funcional g al subespacio obtenido al sumar una recta a M .

Captulo 1. Versin analtica

La linealidad de g y la propiedad (1.2) conducen a

Ntese finalmente que cuando = 0, la desigualdad

sup g (w) (w x) : w M nf (u + x) g (u) : u M .

1.3. Extensin mayorada

Caso real: extensin definitiva.

Para finalizar la demostracin en el caso K = R, iteramos la

Sea F 0 = (Y j , h j ) : j J un subconjunto totalmente ordenado de F ; debemos ver que

Fin de la demostracin: caso complejo y mayoracin por seminormas.

seminorma, se tiene f (x) (x) (x X ).

Captulo 1. Versin analtica

una seminorma y sabemos que f , fijado x X ponemos f (x) = f (x) con K, || = 1,

f (x) = f (x) = f (x) = f (x) (x) = || (x) = (x).

1.4. Extensin continua

1.4. Extensin continua