El Teorema de Hahn-Banach

3
ndice
1. Versin analtica del Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1. Anulador de un conjunto. Dual de un subespacio y de un cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2. Bidual de un espacio normado. Reflexividad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2. Ms aplicaciones del Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1. Lmites de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2. Sistemas de infinitas ecuaciones lineales. Teorema de Helly . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3. Versiones geomtricas del Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Glosario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

Dedicamos este captulo al estudio del primero de los llamados Tres Principios Fundamentales del Anlisis Funcional: el Teorema
de Hahn-Banach. Literalmente con la misma demostracin de Banach (su sencillez la hace imperfeccionable), presentamos en la primera
seccin la que hoy se conoce como versin analtica del Teorema de Hahn-Banach junto con sus ms directas consecuencias: los Teoremas
de extensin de funcionales lineales continuos en espacios normados, el clculo del dual de un subespacio, las propiedades de la adjuncin
de operadores, la inyeccin de un espacio en su bidual y, finalmente, las propiedades de los espacios reflexivos.
Aparecen en una siguiente seccin ms aplicaciones del Teorema de Hahn-Banach: los lmites de Banach, la representacin del dual de
C[a, b] como funciones de variacin acotada, el problema de los momentos, el Teorema de Helly.

Miguel Martn Surez

B
 3. El Teorema de Hahn-Banach 2

Finalizamos el captulo con el estudio de los aspectos geomtricos del Teorema de Hahn-Banach que se concretan en los distintos
teoremas de separacin de conjuntos convexos, ms perfectos conforme se fortalecen las hiptesis sobre los conjuntos que se pretende
separar. Comenzamos con un teorema general de separacin de conjuntos convexos en espacios vectoriales, sin ingredientes topolgicos,
totalmente equivalente a la versin analtica. De l deducimos las versiones apropiadas del Teorema de separacin, incluyendo la existencia
de funcionales de soporte y una versin cuantitativa de separacin estricta.

1. Versin analtica del Teorema de Hahn-Banach.

El Teorema de Hahn-Banach es, ms que un resultado concreto, toda una coleccin de enunciados a cualquiera de los cuales se le
denomina Teorema de Hahn-Banach. Es, sin duda alguna, uno de los principios ms utilizados del Anlisis Funcional debido a su versatilidad.
En palabras de Conway [?], es uno de esos teoremas que se usan sin necesidad de referencia alguna, dando por supuesto que el lector sabe
que se est usando.
El enunciado de la versin analtica del Teorema de Hahn-Banach puede motivarse fijando como objetivo la construccin de funcionales
lineales continuos no nulos en un espacio normado. Tales funcionales abundan en cualquier subespacio de dimensin finita, y su continuidad
se traduce en estar mayorados en mdulo por un mltiplo constante de la norma. El problema es, pues, extender un funcional lineal de
forma que se mantenga una cierta condicin de acotacin. La versin dada por Banach en 1929 para espacios vectoriales reales, generaliza
versiones anteriores de Helly (1912) y Hahn (1927) y acota los funcionales lineales por funcionales sublineales. Introduzcamos la notacin
necesaria.

1.1 Definicin.
Un funcional sublineal en un espacio vectorial X es una funcin p : X R tal que

p(x + y) 6 p(x) + p(y) para cualesquiera x, y X.

p( x) = p(x) para todo > 0 y todo x X.

Ejemplos de funcionales sublineales son las partes reales de los funcionales lineales y las seminormas.

Podemos ya enunciar la versin analtica del Teorema de Hahn-Banach, de la que deduciremos todas las dems. La demostracin que
damos es literalmente la original de Banach, pues su sencillez la hace casi imperfectible. Comentemos tambin que la demostracin dada
por Banach slo cubra el caso real; la extensin al caso complejo se debe a Bohnenblust y Sobczyck (1938).

Miguel Martn Surez

B
 3. El Teorema de Hahn-Banach 3

1.2 Teorema (de Hahn-Banach).

Sea X un espacio vectorial y p un funcional sublineal en X. Si M es un subespacio de X y g es un funcional lineal en M verificando

Re g(m) 6 p(m) (m M),

entonces existe un funcional lineal f en X cuya restriccin a M coincide con g y que verifica

Re f (x) 6 p(x) (x X).

En otras palabras, todo funcional lineal en M dominado por p se puede extender a un funcional lineal en X que sigue estando dominado por
p.
Si p es una seminorma se tiene, de hecho,
| f (x)| 6 p(x) (x X).

Demostracin. La primera observacin, para facilitar el trabajo, debe ser que la prueba se reduce de manera obvia al caso real, usando que
los funcionales lineales en el espacio real XR subyacente a un espacio vectorial complejo X no son otra cosa que las partes reales de los
funcionales lineales en X.
Centrados ya en el caso real, debemos comprobar primero la posibilidad de extender g desde M al subespacio Y = M Rx0 que se
obtiene aadiendo a M una dimensin. El funcional buscado, llmese h, ha de venir dado por


h(m + x0 ) = g(m) + m M, R ,

donde = h(x0 ) es un nmero real a determinar, de forma que se verifique:

g(m) + 6 p(m + x0 ) (m M, R). (3.1)

El nico ingenio necesario consiste en reducir las dos variables m, que aparecen en la desigualdad anterior a una sola, usando la homoge-
neidad de g y p. Puesto que p es slo positivamente homogneo, debemos distinguir dos casos, segn sea positivo o negativo (si = 0,
(3.1) se cumple por hiptesis). Dividiendo por y poniendo u = m/, un vector de M tan arbitrario como m, obtenemos que (3.1) se cumple
para > 0 si, y slo si,
6 p(u + x0 ) g(u) (u M), (3.2)
mientras que para < 0 dividimos por y ponemos v = m/, obteniendo que (3.1) se cumple para < 0 si, y slo si,

g(v) p(v x0 ) 6 (v M). (3.3)

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 4

As pues (3.1) equivale a (3.2) y (3.3), luego existir el nmero real buscado si, y slo si,

g(v) p(v x0 ) 6 p(u + x0 ) g(u) (u, v M).

Pero esta desigualdad equivale a

g(u + v) 6 p(v + x0 ) + p(u x0 ) (u, v M)
que se verifica gracias a la hiptesis sobre g y a la desigualdad triangular para p, que no se haba usado hasta aqu.
Resuelto el problema de aadir una dimensin enfrentamos el problema de repetir el proceso tantas veces como sea necesario. Puesto
que no hay garanta de que la codimensin de M en X sea numerable, estamos frente a un problema que requiere induccin transfinita. El
procedimiento de induccin transfinita que nos parece ms intuitivo se basa en el Lema de Zorn.
Consideramos el conjunto A de los pares (Y, h), donde Y es un subespacio de X que contiene a M y h es un funcional lineal en Y que
extiende a g y est dominado por p; definimos (Y1 , h1 ) 6 (Y2 , h2 ) cuando Y1 Y2 y h2 extiende a h1 . Es rutinario comprobar que el orden
definido es inductivo, con lo que el Lema de Zorn produce un elemento maximal (Y0 , h0 ) en A. La primera parte de la demostracin nos
asegura que Y0 = X y basta tomar f = h0 .
En lo sucesivo usaremos frases del tipo por induccin transfinita se obtiene. . . , dejando la formalizacin como ejercicio ms o menos
rutinario.
La ltima parte del enunciado es casi evidente; si p es una seminorma y x X, tomamos K con || = 1, tal que | f (x)| = f (x), con
lo cual tenemos
| f (x)| = Re f (x) 6 p(x) = p(x).

Si particularizamos al ambiente de los espacios normados, obtenemos el resultado demostrado por Hahn, previo a la versin de Banach.

1.3 Teorema (Hahn, 1927).

Sea X un espacio normado. Si Y es un subespacio de X y g Y , entonces existe f X con k f k = kgk y tal que f (y) = g(y) para todo
y Y.

Demostracin. Consideremos la seminorma en X dada por

p(x) = kgk kxk (x X).

Es claro que g est dominado por p en Y , luego el Teorema de Hahn-Banach nos da un funcional f X ] que extiende a g y est dominado
por p. Esta ltima afirmacin significa que
| f (x)| 6 p(x) = kgk kxk (x X),

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 5

luego, claramente, f X y k f k 6 kgk. La otra desigualdad es obvia por ser f una extensin de g.

Suele utilizarse la siguiente notacin: si X es un espacio normado, Y un subespacio suyo y g Y , cualquier funcional f X verificando
que f |Y = g y que k f k = kgk es una extensin Hahn-Banach o extensin equinrmica de g a todo X. Con esta notacin, el teorema anterior
dice que todo funcional continuo en un subespacio admite extensiones Hahn-Banach a todo X.
Tomando extensiones Hahn-Banach de funcionales lineales (necesariamente continuos) definidos en subespacios de dimensin finita, se
prueba que el dual de cualquier espacio normado no trivial contiene elementos no nulos. Ms todava, si X e Y son espacios normados,
entonces L(X,Y ) contiene elementos no nulos. En efecto, tomamos x0 X , y0 Y , formamos el operador
T (x) = x0 (x) y0 Y (x X)
y observamos que T L(X,Y ) con kT k = kx0 kky0 k.
Los siguientes resultados nos dicen que podemos obtener propiedades de un espacio normado usando su dual. El primero de ellos permite
separar un punto de un subespacio cerrado usando un funcional lineal continuo.

1.4 Proposicin.
Sea Y un subespacio cerrado de un espacio normado X. Si x0 X \Y , entonces existe f SX tal que f (x0 ) = dist (x0 ,Y ) e Y ker( f ).

Demostracin. Sea d = dist (x0 ,Y ), Z = lin Y {x0 } y g Z ] el funcional definido por

g(y + x0 ) = d (y Y, K).
Para y Y , K \ {0}, se tiene y
|g(y + x0 )| = || dist (x0 ,Y ) 6 || x0 + = ky + x0 k,



luego g Z con kgk 6 1. Por otra parte,
kgk kx0 yk > |g(x0 y)| = dist (x0 ,Y ) (y Y ),
luego, tomando nfimo en y Y , obtenemos
kgk dist (x0 ,Y ) > dist (x0 ,Y ).
Como dist (x0 ,Y ) > 0, obtenemos kgk > 1 y, por tanto, kgk = 1. Para acabar, sea f SX una extensin Hahn-Banach de g.

El resultado anterior, que usaremos sin referencia alguna o, si acaso, citando al Teorema de Hahn-Banach, tiene consecuencias impor-
tantes. La primera de ellas se obtiene fcilmente tomando Y = {0}.

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 6

1.5 Corolario.
Sea X un espacio normado no trivial. Entonces, para cada x X \ {0} existe f SX tal que f (x) = kxk. Equivalentemente, se tiene la
siguiente expresin para la norma de X:
kxk = max{ | f (x)| : f SX } (x X).

Obtenemos que X separa los puntos de X, esto es, x = 0 siempre que f (x) = 0 para todo f X o, equivalentemente, siempre que x e
y sean elementos distintos de X, existe f X tal que f (x) 6= f (y). Generalizando esta idea, decimos que un subconjunto A X separa los
puntos de X si x = 0 siempre que f (x) = 0 para todo f A.

1.1. Anulador de un conjunto. Dual de un subespacio y de un cociente

Sea X un espacio normado e Y un subespacio suyo. Es claro que la restriccin a Y de cualquier elemento de X es un elemento de Y ,
con lo que la aplicacin lineal
X Y , f 7 f |Y ( f X )
est bien definida y, gracias al Teorema de Hahn-Banach, es sobreyectiva. Si queremos conseguir una biyeccin lineal, debemos hacer
cociente por su ncleo. Esto nos lleva a la definicin de anulador de un subespacio, aunque con el mismo trabajo podemos definir el
anulador de un subconjunto. Escribiremos, por comodidad, x , y , . . . para denotar a los elementos de X .

1.6 Definicin.
Sea X un espacio normado y sean A y B subconjuntos de X y X respectivamente. Definimos A y B por las frmulas

A = {x X : x (x) = 0 para todo x A};

B = {x X : x (x) = 0 para todo x B}.

Entonces A es el anulador de A en X y B es el anulador de B en X.

Las siguientes propiedades de los anuladores son consecuencia del Teorema de Hahn-Banach.

1.7 Proposicin.
Sea X un espacio normado y sean A y B subconjuntos de X y X respectivamente. Entonces:

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 7

(a) A y B son subespacios cerrados de X y X respectivamente. De hecho,

A = {x X : x (x) = 0}
ker x .
\ \
y B=
xA x B

(b) (A ) = lin(A). De manera ms sugerente,

ker x =
\ \
lin(A) = H : H hiperplano cerrado de X, A H .
x A

(c) Si A = X , entonces A = {0}. Si B = X, entonces B = {0}.

(d) lin(A) es denso en X si, y slo si, A = {0}. En particular, si Y es un subespacio de X, entonces Y es denso en X si, y slo si, Y = {0}.

Demostracin. (a). Slo comentaremos que, fijado x X, el conjunto {x X : x (x) = 0} es un subespacio cerrado de X . Es consecuencia
del hecho, totalmente inocente, de que la convergencia en la norma de X implica la convergencia puntual.
(b). (A ) es un subespacio cerrado que contiene a A, luego lin(A) (A ). Ahora, si lin(A) = X se acaba la demostracin. En
caso contrario, tomamos x0 X \ lin(A) y, usando el Teorema de Hahn-Banach, encontramos un funcional x0 X tal que x0 (x0 ) 6= 0 y
A lin(A) ker x0 . Se sigue que x0
/ (A ) ya que x0 A . Hemos demostrado que X \ lin(A) X \ (A ), luego lin(A) (A ).
(c). La primera parte es consecuencia inmediata del apartado anterior. La segunda es totalmente elemental.
(d). Si lin(A) es denso en X es claro que A = {0}. Recprocamente, si A = {0}, entonces, usando el apartado (b), lin(A) = (A ) =
{0} = X.

Identificamos ya el dual de un subespacio.

1.8 Proposicin.
Sea X un espacio normado e Y un subespacio suyo. Entonces Y X /Y . Concretamente, la aplicacin : X /Y Y dada por
(x +Y ) = x |Y x +Y X /Y

es un isomorfismo isomtrico.

1.9 Proposicin.

Sea Y un subespacio cerrado de un espacio normado X y : X X/Y la aplicacin cociente. Entonces la aplicacin : X/Y Y
dada por 

( f ) = f f X/Y

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 8

es un isomorfismo isomtrico.

Demostracin. Es inmediato que es una aplicacin lineal e inyectiva, que es sobreyectiva gracias al Teorema de Hahn-Banach. Si x X
e y Y , se tiene
kx |Y k = k(x y )|Y k 6 kx y k
y, tomando nfimo en y Y , obtenemos que
k(x +Y )k = kx |Y k 6 kx +Y k x +Y X /Y .

Para x X , sea y = x |Y Y y consideremos z X una extensin Hahn-Banach de y . Entonces, x +Y = z +Y y

k(x +Y )k = ky k = kz k > kz +Y k = kx +Y k.

Parece natural dar aqu la descripcin del dual de un cociente, aunque sea independiente del Teorema de Hahn-Banach.

1.10 Proposicin.

Sea Y un subespacio cerrado de un espacio normado X y : X X/Y la aplicacin cociente. Entonces la aplicacin : X/Y Y
dada por 

( f ) = f f X/Y
es un isomorfismo isomtrico.

Demostracin. Si f X/Y e y Y , entonces [( f )](y) = f (y +Y ) = 0, luego ( f ) Y . Esto nos dice que est bien definida y es


fcil ver que es lineal e inyectiva. Si f X/Y se tiene que
k( f )k = k f k 6 k f k kk 6 k f k.


Por otra parte, para cada x Y , definimos f X/Y por
f (x +Y ) = x (x)


x +Y X/Y .

Entonces f est bien definido por estar x in Y y, claramente, ( f ) = x , lo que nos da la sobreyectividad de . Finalmente, para cada
y Y , se tiene que
| f (x +Y )| = |x (x y)| 6 kx k kx yk = k( f )k kx yk
y, tomando nfimo en y Y , que k f k 6 k( f )k.

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 9

Los siguientes dos resultados, que tambin son consecuencia de la Proposicin 1.7, nos dan propiedades de un espacio normado a partir
de propiedades de su dual. El primero de ellos se ech en falta cuando introdujimos los espacios normados separables.

1.11 Proposicin.
Sea X un espacio normado. Si X es separable, entonces X tambin es separable.

Demostracin. Sea { fn : n N} un conjunto denso en SX , para cada n N sea xn SX tal que | fn (xn )| > 1/2 y llamemos A = {xn : n N}.
Basta probar que el subespacio engendrado por A es denso en X lo que, gracias a la Proposicin 1.7, equivale a probar que A = {0}. Si por
el contrario existiese f A con k f k = 1, por ser f (xn ) = 0 para todo n N, tendramos:
1
k f fn k > | f (xn ) fn (xn )| = | fn (xn )| > (n N),
2
lo que contradice la eleccin de { fn : n N}.

El espacio `1 es un ejemplo de espacio normado separable cuyo dual no es separable. Sin embargo, en el dual de `1 existe una familia
numerable que separa los puntos de `1 , a saber, la familia {en : n N}, donde
en (x) = x(n) (x `1 , n N).
A continuacin obtenemos la misma propiedad para cualquier espacio normado separable, lo que nos permitir dar resultados de represen-
tacin de dichos espacios.

1.12 Corolario.
Si X es un espacio normado separable, entonces:
(a) Existe una familia numerable en X que separa los puntos de X. De hecho, existe un subconjunto numerable A de SX tal que
kxk = sup{|x (x)| : x A} (x X).
(b) X se embebe de forma isomtrica en ` .
(c) X se embebe de forma isomtrica en ` .

Demostracin. De hecho la afirmacin (a) es consecuencia de (b), aunque probamos (a) para obtener (b). Consideramos A = {xn : n N}
un subconjunto numerable y denso en X y, para cada n N, tomamos fn SX tal que fn (xn ) = kxn k. Si x X y n N, se tiene entonces que
kxk > | fn (x)| > | fn (xn )| | fn (xn x)| > kxn k kxn xk > kxk 2 kxn xk

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 10

y, teniendo en cuenta que A es denso en X, se concluye que

kxk = sup{| fn (x)| : n N}.

(b). Ahora definimos T : X ` mediante  

T (x) (n) = fn (x) (n N, x X),
que es claramente una biyeccin lineal isomtrica de X sobre T (X).
(c). Tomando B = {yn : n N} un subconjunto denso en SX , se tendr que

k f k = sup | f (yn )| ( f X )
nN

y, por tanto, el operador S : X ` dado por

(n N, f X ),
 
S( f ) (n) = f (yn )

es una biyeccin lineal isomtrica de X sobre S(X ) ` .

La segunda consecuencia trata sobre espacios de dimensin finita.

1.13 Proposicin.
Un espacio normado es de dimensin finita si, y slo si, lo es su dual. En caso afirmativo, las dos dimensiones coinciden.

Demostracin. Sea X un espacio normado. Slo hay que demostrar que dim X < si dim X < , el resto de la proposicin es inmediato.
n
X
\
Sea entonces { f1 , . . . , fn } una base de y llamemos Y = ker fi , que es un subespacio de X de codimensin menor o igual que n.
i=1
Acabaremos la demostracin si vemos que Y = {0}, y para ello basta ver que Y = X . En efecto, cualquier f X se escribe de la forma
f = ni=1 i fi para ciertos escalares 1 , . . . , n . Se tiene entonces que Y ker f , luego f Y .

1.2. Bidual de un espacio normado. Reflexividad

Si bien el concepto de segundo dual de un espacio normado podra haber sido definido mucho antes, poco se puede decir de l sin el
Teorema de Hahn-Banach. Con poco trabajo adicional, presentamos la definicin del n-simo dual de un espacio normado.

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 11

1.14 Definicin.
Si X es un espacio normado, el bidual (tambin llamado segundo dual) de X es el espacio de Banach X = (X ) = L X , K , con norma

kx k = sup{|x (x )| : x BX }
= mn{m > 0 : |x (x )| 6 m kx k para todo x X }.
El n-simo dual de X, que notaremos X (n) , se define de forma recurrente por


X (1) = X y X (n+1) = X (n) = L X (n) , K


(n N).
Para n = 3 tambin se usa la notacin X = X (3) .
De la desigualdad | f (x)| 6 kxk k f k, vlida para cualesquiera x X y f X , deducimos que los elementos de X son funcionales
lineales continuos en X . Formalizando esta idea, para x X consideramos el funcional lineal JX (x) definido en X por:
JX (x) (x ) = x (x) x X .
 

Es claro que JX (x) X para cada x X; la aplicacin JX : X X recibe el nombre de inyeccin cannica del espacio normado X en
su bidual.

La definicin anterior presupone el hecho de que la aplicacin JX es inyectiva, cosa que no es trivial, sino una consecuencia del Teorema
de Hahn-Banach. De hecho, aplicando dicho teorema (concretamente el Corolario 1.5), se obtiene claramente que JX es una isometra,
los que nos permite identificar a X con un subespacio de X . Cuando X no es completo, JX nos proporciona una forma muy natural de
completarlo.

1.15 Proposicin.
Si X es un espacio normado, JX es un embebimiento isomtrico de X en X y el cierre de JX (X) en X es la completacin de X.

Surge de forma natural la posibilidad de que la aplicacin JX sea sobreyectiva.

1.16 Definicin.
Se dice que un espacio normado X es reflexivo cuando JX (X) = X . Obviamente, los espacios reflexivos son completos.

Otra observacin importante: si sustituimos la norma de un espacio de Banach X por otra equivalente, la nueva norma de X es equivalente
a la de partida, luego el espacio vectorial X no vara y tampoco lo hace, obviamente, JX . Dicho de otra forma,

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 12

1.17 Proposicin.
La clase de los espacios normados reflexivos es estable por isomorfismos.

Es el momento de estudiar la reflexividad de algunos espacios concretos.

1.18 Ejemplos.

(a) Los espacios normados de dimensin finita son reflexivos.

(b) Los espacios ` p con 1 < p < tambin son reflexivos.
(c) Los espacios c0 y c no son reflexivos.

El siguiente resultado, que se demuestra de forma inmediata a partir de la Proposicin 1.11, nos permitir deducir que `1 no es reflexivo.

1.19 Proposicin.
Sea X un espacio normado reflexivo. Entonces, X es separable si, y slo si, X es separable.

1.20 Ejemplo.
El espacio `1 es separable, mientras que su dual, ` , no lo es. Deducimos que `1 no es reflexivo.

Queremos ahora comentar la relacin entre la reflexividad y los subespacios cerrados, los cocientes, los productos y el dual, lo que nos
permitir dar nuevos ejemplos.

1.21 Proposicin.
Todo subespacio cerrado de un espacio normado reflexivo es tambin reflexivo.

Demostracin. Sea Y un subespacio cerrado de un espacio de Banach reflexivo X y fijemos y

0 Y . Acabaremos la demostracin viendo
que existe y0 Y tal que y
0 (y ) = y (y0 ) para todo y Y . Para ello, definimos x0 X
por

x0 (x ) = y
0 (x |Y ) (x X )

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 13

y observamos que, por ser X reflexivo, existir x0 X de forma que

x0 (x ) = x (x0 ) (x X ).

Si x Y , entonces
x (x0 ) = x0 (x ) = y
0 (x |Y ) = y0 (0) = 0,

luego x0 (Y ) = Y . Para acabar la demostracin, observemos que para cada y Y , existe x X con x |Y = y , luego, llamando
y0 = x0 Y , se tiene
y
0 (y ) = x0 (x ) = x (x0 ) = y (y0 ).

Cualquier espacio normado que contenga un subespacio isomorfo a c0 o `1 no es reflexivo. En particular:

1.22 Ejemplos.
Los espacios ` , ` , L(`2 ), L1 [0, 1], L [0, 1] y C[0, 1] no son reflexivos.

Tambin podemos probar que C[0, 1] no es reflexivo por contener una copia isomtrica de c0 . Con un poco ms de trabajo, vemos que
C(K) es reflexivo si, y slo si, K es finito, esto es, C(K) es de dimensin finita.

1.23 Proposicin.
Sea K un espacio topolgico compacto de Hausdorff. Si K es infinito, entonces C(K) contiene un subespacio isomtricamente isomorfo a
c0 . En consecuencia, C(K) es reflexivo si, y slo si, es de dimensin finita.

Demostracin. Existe en K una sucesin {Un } de conjuntos abiertos dos a dos disjuntos; para esto no se precisa la compacidad de K. En
efecto, si K tiene infinitos puntos aislados no hay nada que probar, luego se puede suponer que K carece de puntos aislados, con lo que todo
subconjunto abierto de K tiene infinitos puntos. Dados dos puntos distintos de K, estarn contenidos en abiertos disjuntos U1 y V1 ; puesto
que V1 tiene infinitos puntos, contendr dos abiertos disjuntos U2 , V2 y es claro que U1 U2 = 0; / por induccin, existe una sucesin {Un } de
abiertos de K tal que
Un+1 Uk = 0/ (k = 1, 2, . . . , n, n N)
como se quera.
Eligiendo un punto tn en cada abierto Un , el Lema de Urysohn nos da una funcin continua fn : K [0, 1] tal que fn (tn ) = 1 y fn (t) = 0
para t K \Un . Es inmediato comprobar que el subespacio de C(K) engendrado por { fn : n N} es isomtricamente isomorfo a c00 , luego

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 14

su cierre es isomtricamente isomorfo a c0 . Si se enunciase el resultado slo para C[0, 1], la demostracin se puede hacer sin usar el Lema
de Urysohn.

El siguiente resultado pone en equivalencia la reflexividad de un espacio y la de su dual.

1.24 Teorema.
Sea X un espacio de Banach. Entonces, X es reflexivo si, y slo si, X es reflexivo.

Demostracin. Supongamos que X es reflexivo y sean JX y JX las inyecciones cannicas de X y X en X y X , respectivamente. Para
cada x0 X , sea x0 X el funcional dado por

x0 (x) = x0 JX (x)


(x X).

Ahora, si x X , llamamos x = JX1 (x ) X y observamos que se tiene

x0 (x ) = x0 JX (x) = x0 (x) = JX (x)(x0 ) = x (x0 ) = JX (x0 ) (x ).

 

Por tanto, x0 = JX (x0 ) y X es reflexivo.

Recprocamente, si X es reflexivo, acabamos de probar que X tambin lo es, luego X, que es un subespacio cerrado suyo, es de nuevo
reflexivo.

Si Y es un subespacio cerrado de un espacio normado X, sabemos que X/Y ) se identifica con Y , que es un subespacio de X . Entonces,
si X es reflexivo, tambin lo ser X por el teorema anterior y, por tanto, Y , que es un subespacio suyo. Deducimos que X/Y ) es reflexivo
y, usando de nuevo el teorema anterior, tambin lo es X/Y .

1.25 Corolario.
Todo cociente de un espacio de Banach reflexivo por un subespacio cerrado, es tambin reflexivo.

La descripcin del dual de un producto (o suma directa) de espacios normados (Proposicin ??), junto con el hecho de que cada sumando
es (isomtricamente isomorfo a) un subespacio cerrado del producto, nos da, de forma inmediata, el siguiente resultado:

1.26 Proposicin.
Sean X1 , . . . , Xn espacios normados, 1 6 p 6 y sea X = [ ni=1 Xi ] p su p-suma directa. Entonces, X es reflexivo si, y slo si, lo es cada Xi .
L

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 15

Acabamos este largo apartado sobre espacios reflexivos comentando que, gracias al Teorema de Hahn-Banach, se obtiene fcilmente el
siguiente resultado:

1.27 Proposicin.
En un espacio de Banach reflexivo todo funcional lineal y continuo alcanza la norma, esto es, el supremo que define la norma de cualquier
funcional lineal y continuo es un mximo. Concretamente, si X es un espacio normado reflexivo y x X , entonces existe x SX tal que
x (x) = kx k.

Demostracin. Para x X , el Teorema de Hahn-Banach nos proporciona un elemento x SX de manera que x (x ) = kx k; como X
es reflexivo, x = JX (x) para algn x SX , luego

x (x) = JX (x)(x ) = x (x ) = kx k.

Merece la pena presentar un ejemplo concreto de funcional que no alcanza la norma.

1.28 Ejemplo.
Consideremos en `1 = c0 la sucesin x dada por
1
x (n) = (n N)
2n
que, claramente, verifica kx kc0 = kx k1 = 1. Si x Sc0 , existir N N tal que x(n) 6 1/2 para n > N, luego
 
 x(n)  N
1 1/2 1 1
|x (x)| =  n  6 n + = 1 N + N+1 < 1
 
n=1 2  i=1 2 n
n=N+1 2 2 2

y x no alcanza su norma.

2. Ms aplicaciones del Teorema de Hahn-Banach

2.1. Lmites de Banach

Queremos usar el Teorema de Hahn-Banach para extender el concepto de lmite de sucesiones convergentes a todas las sucesiones
acotadas, esto es, a ` .

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 16

Probablemente, los primeros ejemplos de funcionales lineales y continuos en un espacio normado de dimensin infinita que podemos
imaginar son las evaluaciones en un espacio de sucesiones, esto es, si X es un subespacio vectorial de KN , los funcionales de la forma
x 7 x(n) K para n N fijo. No obstante, estos ejemplos son bastante triviales, pues slo dependen de una coordenada.
Dejando aparte las evaluaciones, el siguiente ejemplo natural de funcional lineal continuo en un espacio de Banach de dimensin infinita
puede ser el que a cada sucesin convergente de escalares le hace corresponder su lmite

g(x) = lm x(n) (x c).

n

Es claro que g c y kgk = 1; de hecho, en la seccin ?? dimos una satisfactoria descripcin del espacio c . Viendo a c como subespacio de
` (considerando, por ahora, slo el caso real), es natural considerar una extensin Hahn-Banach de g, esto es, un funcional f tal que

f ` , k f k = 1, f (x) = lm x(n) (x c). (3.4)

n

Suele decirse que f es un lmite generalizado y cabe preguntarse hasta qu punto est justificada esta denominacin. Las condiciones (3.4)
equivalen a:
f `] , lm inf x(n) 6 f (x) 6 lm sup x(n) (x ` ), (3.5)
n n
as que el funcional f lo nico que hace es asignar, de manera lineal (que no es poco), a cada sucesin acotada de nmeros reales, un nmero
comprendido entre su lmite inferior y su lmite superior. Para demostrar la equivalencia, obsrvese que (3.5)(3.4) es inmediato y para
la vuelta basta demostrar que si f es una extensin Hahn-Banach del funcional lmite, entonces lleva sucesiones con todos
sus trminos
positivos en nmeros positivos (si x(n) > 0 para todo n y u es la sucesin constantemente igual a 1, se tiene u x/kxk 6 1, con lo que

1 f (x/kxk) = f (u x/kxk) 6 1).
Afinando un poco ms, es posible conseguir que f verifique una propiedad adicional: para x ` y k N, notemos x(k) a la sucesin que
se obtiene al suprimir los k primeros trminos de x, esto es,

x(k) (n) = x(n + k) (n N).

Se puede conseguir que f asigne el mismo lmite a x y a x(k) para cualesquiera x l y k N. Basta para ello que se tenga

f x(1) = f (x)


(x ` )

(obvia induccin), esto es que f Y donde Y es el subespacio de ` definido por:

n o
Y = x(1) x : x ` .

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 17

Si notamos u a la sucesin constantemente igual a 1, la distancia de u a Y vale 1. En efecto, como 0 Y , se tiene que dist (u,Y ) 6 kuk = 1.
Para la desigualdad contraria, observemos que, si x ` verifica x(1) (n) x(n) 6 0 para algn n N, entonces


(1) 

u x x > 1 x(n + 1) x(n)  > 1;

si por el contrario, x(1) (n) x(n) > 0 para todo n N, entonces x es una sucesin creciente, luego convergente, con lo que


u x(1) x > lm 1 x(n + 1) x(n) = 1.


n

Existe entonces (Teorema 1.4) un funcional en Y , que denotaremos por L, tal que kLk = 1 y L(u) = 1. Puesto que, trivialmente, toda
sucesin casi-nula pertenece a Y , deducimos que L verifica las condiciones (3.4) y (3.5). Observemos finalmente que si L es un funcional
lineal en ` que verifica las condiciones

nf{x(n) : n N} 6 L(x) 6 sup{x(n) : n N} (x ` ) (3.6)

L x(k) = L(x)


(x ` , k N), (3.7)

entonces L tambin verifica (3.4) y (3.5) ya que, en presencia de (3.7), la condicin (3.5) equivale claramente a (3.6). Hemos probado:

2.1 Teorema (Existencia de lmites de Banach).

Existe una aplicacin L : ` R que verifica las siguientes condiciones:

L es lineal.

nf{x(n) : n N} 6 L(x) 6 sup{x(n) : n N} para todo x ` .

L(x(k) ) = L(x) para cualesquiera x ` y k N, donde

x(k) (n) = x(n + k) (n N).

Como consecuencia se tiene que L ` , kLk = 1 y

lm inf x(n) 6 L(x) 6 lm sup x(n) (x ` ).

n n

Un funcional en ` verificando las condiciones anteriores se llama lmite de Banach.

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 18

La extensin del resultado anterior al caso complejo no presenta problema, pero habr que adaptar el enunciado usando (3.4), (3.7) y
olvidndonos de (3.5), (3.6).

2.2 Corolario (Existencia de lmites de Banach en caso complejo).

Existe un funcional C-lineal L : ` C verificando:

kLk = 1.
Si x c, entonces L(x) = lm x(n).
n

Si x ` con x(n) R+ +
0 para todo n N, entonces L(x) R0 .

L(x(k) ) = L(x) para cualesquiera x ` y k N, donde

x(k) (n) = x(n + k) (n N).

Demostracin. Denotemos provisionalmente ` (R) al espacio de Banach de las sucesiones acotadas de nmeros reales y sea L1 ` (R) el
lmite de Banach (R-lineal) obtenido en la proposicin anterior. Cada x ` se puede escribir de la forma x = Re x + i x, con Re x, Im x
` (R). Definiendo entonces L(x) = L1 (Rex) + iL1 (Imx) para todo x ` obtenemos un funcional lineal y continuo sobre ` cuya restriccin
a ` (R) coincide con L1 . Es fcil ver que L cumple (ii), (iii) y (iv) y que kLk 6 2, pero no es tan inmediato comprobar que, de hecho,
kLk = 1, con lo que tendramos (i). Esto es consecuencia de la densidad en ` del conjunto de las sucesiones que toman un nmero finito
de valores, un caso particular del Teorema de aproximacin de Lebesgue. Pero, ya que hemos llegado hasta este punto, acabemos nuestra
argumentacin sin necesidad de apelar a Teora de la Medida. Sea pues x ` con kxk 6 1. Dados n N y k1 , k2 Z con 1 6 k1 6 n,
n 6 k2 < n, sea  
k1 ,k2 k1 k1 + 1 k2 k2 + 1
An = m N : 6 |x(m)| < , < arg(x(m)) 6
n n n n
(arg(z) ] , ] denota el argumento principal de z C) y consideremos la sucesin xn ` dada por
n n1
k1 i k2
xn = e n Ak1 ,k2 ,
k1 =1 k2 =n n
n

que slo toma una cantidad finita de valores. Se tiene claramente

n n1 n n1
k1 i k2 k1 i k2
L(xn ) = n e n L( k
An 1 ,k2 ) = e n L1 (Ak1 ,k2 )
k1 =1 k2 =n n
n
k1 =1 k2 =n

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 19

k1 ,k2
y teniendo en cuenta que L1 (Ak1 ,k2 ) > 0 y que los conjuntos Akn1 ,k2 son disjuntos dos a dos (para n
Sn Sn1
luego, notando A = k1 =1 k2 =n An n
fijo), deducimos que
n n1
|L(xn )| 6 L1 (Ak1 ,k2 ) = L1 (A ) 6 L1 (u) = 1.
n
k1 =1 k2 =n

Por otra parte, usando el decrecimiento de la funcin coseno en el intervalo [0, ] (equivalentemente, el crecimiento en dicho intervalo de la
funcin 7 |1 ei |), se comprueba que
 
 1
kx xn k 6 1 ei n  + (n N),

n
de donde (xn ) x y, por tanto, (L(xn )) L(x). As pues, |L(x)| 6 1 y kLk 6 1.

2.2. Sistemas de infinitas ecuaciones lineales. Teorema de Helly

Histricamente, los teoremas de extensin Hahn-Banach tienen su raz en el estudio de los sistemas de infinitas ecuaciones lineales,
iniciados, entre otros, por Helly y Riesz. Para ver la conexin, veamos lo que hacemos al resolver un sistema de m ecuaciones lineales en n
incgnitas: si A = (ai j )m,n es una matriz m n y c = (c1 , . . . , cn )t Kn es una matriz columna, resolver el sistema Ax = c, es encontrar otra
matriz columna x Kn tal que
ai1 x1 + ai2 x2 + + ain xn = ci (i = 1, . . . , m).
Como (Kn )] se identifica con Kn , lo que hacemos es encontrar f (Kn )] tal que

f (ai1 , ai2 , . . . , ain ) = ci (i = 1, . . . , m).

En el ambiente de los espacios normados, podemos extender la idea anterior de la siguiente forma: dada una familia no vaca {zi : i I}
de elementos de X y una familia de escalares {ci : i I}, cundo podemos encontrar un funcional lineal y continuo f tal que f (zi ) = ci
para todo i I? Obsrvese que an siendo la familia {zi : i I} linealmente independiente, no est claro que siempre se pueda encontrar
tal funcional continuo; de hecho, en el Ejemplo ??.(a) construamos as funcionales lineales discontinuos en cualquier espacio normado de
dimensin infinita.
Un ejemplo clsico de sistema de infinitas ecuaciones lineales es el llamado problema de los momentos, que proviene de la fsica
(funciones de densidad de carga de partculas) y de la probabilidad (distribuciones de probabilidad): dada una sucesin de nmeros reales
(cn )nN , bajo qu condiciones se puede asegurar la existencia de una funcin de variacin acotada : [0, 1] R (esto es, un elemento de
C[0, 1] ), de forma que
Z 1
t n d(t) = cn
0

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 20

para todo n natural?

En el teorema que sigue, debido a Hahn, se dan condiciones necesarias y suficientes para que un sistema de (infinitas) ecuaciones lineales
en un espacio normado tenga solucin en el sentido antes comentado.

2.3 Teorema (Hahn, 1927).

Sea X un espacio normado, A = {zi : i I} una familia de elementos de X y {ci : i I} una familia de escalares. Entonces son equivalen-
tes:
(a) Existe f en X tal que f (zi ) = ci para todo i I.
(b) Existe M > 0 verificando
|1 ci1 + + n cin | 6 M k1 zi1 + + n zin k
para cualquier combinacin lineal 1 zi1 + + n zin de elementos de A.
Adems, si se verifica (b), se puede elegir f en (a) de forma que k f k 6 M.

Demostracin. Slo veremos (ii) (i), pues la otra implicacin es inmediata. Sea Y = lin(A) y g Y ] el funcional dado por

g (1 zi1 + + n zin ) = 1 ci1 + + n cin

para cualquier combinacin lineal 1 zi1 + + n zin de elementos de A, que est bien definido gracias a la desigualdad anterior. Esta misma
desigualdad tambin nos asegura que g Y con kgk 6 M. Basta entonces tomar f X una extensin Hahn-Banach de g.

En el resultado precedente podemos intercambiar los papeles de los elementos de X y los de X , aunque slo si consideramos familias
finitas de funcionales y permitimos que la norma del objeto encontrado en (i) pueda ser alargada un poco.

2.4 Teorema (Helly, 1921).

Sea X un espacio normado, f1 , f2 , . . . , fn X y c1 , c2 , . . . , cn K. Son equivalentes:
(a) Existe x en X tal que fk (x) = ck para k = 1, 2, . . . , n.
(b) Existe M > 0 tal que  
 n  n
 ak ck  6 M ak fk
 
k=1  k=1
para cualesquiera a1 , a2 , . . . , an K.
Adems, si se verifica (b), para cada > 0 se puede elegir x en (a) tal que kxk 6 M + .

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 21

Para demostrar el teorema necesitamos un resultado tambin debido a Helly que, intuitivamente, nos dice que los elementos del bidual
pueden sustituirse por elementos del espacio en lo que respecta a los subespacios finito-dimensionales del dual. Es un caso particular del
mucho ms importante Principio de reflexividad local. Con este resultado, el teorema anterior es consecuencia del Teorema de Hahn.

2.5 Teorema.
Sea X un espacio normado, x X , W un subespacio de dimensin finita de X y > 0. Entonces, existe x X tal que kxk < kx k + y
x (x) = x (x ) para todo x W , es decir JX (x) coincide con x en W .

Demostracin. Si W = {0} no hay nada que demostrar; pongamos M = x W ker x , obteniendo un subespacio cerrado de codimensin
T

finita en X; en particular, X/M es un espacio de Banach reflexivo y notaremos : X X/M a la proyeccin cannica. Recordemos
(Proposicin 1.10) que la aplicacin 7 es una biyeccin lineal isomtrica de (X/M) sobre M = W . Podemos por tanto definir
F (X/M) por
F() = x ( ) (X/M) ,

y es claro que kFk 6 kx k. Sea u X/M tal que JX/M (u) = F y pongamos u = x + M, donde x X se elige para que se tenga
kxk < kuk + = kFk + 6 kx k + .
Si x W , tenemos x = para algn (X/M) , con lo que
x (x ) = F() = (u) = x (x).

2.6 Ejemplos.

(a) Si X = c0 , tomando la familia {en : n N} de X = `1 formada por las coordenadas, no existe ningn elemento x c0 que verifique
en (x) = 1 para todo n N, pero
|1 + + n | 6 |1 | + + |n | = k1 e1 + + n en k
para cualesquiera 1 , . . . , n K.
(b) Tambin en X = c0 , consideramos el funcional x X = `1 dado por

x(n)
x (x) = n
(x c0 ),
n=1 2
que no alcanza su norma. Aplicando el Teorema de Helly a la familia de funcionales {x } y a la familia de escalares {kx k} es claro
que, para cada K se tiene que
kx k 6 x ,
 

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 22

pero cualquier x c0 tal que x (x) = 1 verifica que kxk > 1.

3. Versiones geomtricas del Teorema de Hahn-Banach

Abordamos en esta seccin el estudio de los aspectos geomtricos del Teorema de Hahn-Banach que se concretan en los distintos
teoremas de separacin de conjuntos convexos. Los primeros resultados de este tipo fueron obtenidos por Minkowski para espacios de
dimensin finita y los trabajos pioneros de Helly ya ponan de manifiesto la relacin entre sus resultados sobre extensin de funcionales
lineales continuos y las ideas de Minkowski.
Si X es un espacio vectorial, un subconjunto A de X es convexo si es cerrado para combinaciones convexas, esto es, si t x + (1 t) y A
siempre que x, y A y t [0, 1].

B
Ref (x) =

Figura 3.1: Separacin de conjuntos

La idea intuitiva de separar dos subconjuntos A y B de un espacio vectorial real X se formaliza consiguiendo un funcional lineal no
nulo f en X y un nmero real , tales que
f (a) 6 6 f (b) (a A, b B) (3.8)
o, equivalentemente, sup f (A) 6 nf f (B) (ver figura 3.1). Para abarcar tambin el caso complejo podemos, siendo X real o complejo, sustituir
(3.8) por
Re f (a) 6 6 Re f (b) (a A, b B) (3.9)
y en el nico espacio complejo donde la intuicin puede ayudar, C, observamos que (3.9) es la extensin de (3.8) coherente con la intuicin.
No es difcil imaginarse que el problema de separacin en espacios complejos se concentra en los espacios reales subyacentes, an cuando

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 23

haya por medio consideraciones topolgicas. La prueba de cualquier teorema de separacin se reduce siempre (de forma ms o menos
evidente) al caso real. Notemos tambin que la nocin bsica de separacin dada por (3.9) puede fortalecerse exigiendo que alguna de las
dos desigualdades sea siempre estricta, o ambas, o incluso que sup Re f (A) < nf Re f (B).
Pues bien, partiendo de los comentarios anteriores sobre la posibilidad de separar un punto de un subespacio, lo ms natural es aspirar a
separar cualesquiera dos subconjuntos convexos disjuntos de un espacio vectorial. Semejante pretensin es excesiva:

3.1 Ejemplo.
Sea X = c00 y A el subconjunto de X formado por las sucesiones de X \ {0} cuya ltima coordenada no nula es estrictamente positiva.
Entonces A es convexo y 0 / A, pero es imposible separar, incluso en la forma ms suave posible, A y {0}: todo funcional lineal no nulo en
X toma en A valores estrictamente positivos y estrictamente negativos.

Pues bien, la idea que permite dar un teorema de separacin muy general es que, dado un conjunto convexo, no es difcil encontrar un
funcional sublineal (y, por tanto, un funcional lineal no nulo) relacionado con el conjunto convexo.
Veamos como encontrar funcionales sublineales. A modo de motivacin, si uno intenta escribir la norma de un espacio normado X
conociendo slo la bola unidad del mismo, se llega sin dificultad a la igualdad

kxk = nf{ > 0 : x BX }.

La pregunta que nos planteamos es: qu propiedades debe reunir un subconjunto A X para que la expresin

A (x) = nf{ > 0 : x A} = nf{ > 0 : x/ A} (x X) (3.10)

est bien definida y nos proporcione un funcional sublineal en X?

Si damos por supuesta la buena definicin de A para un cierto A X, es de comprobacin inmediata que

A (t x) = t A (x) (x X, t > 0);

si A es convexo, se obtiene adems que

A (x + y) 6 A (x) + A (y) (x, y X).
Por tanto, para asegurarnos que A es un funcional sublineal para un conjunto convexo A X, basta que est bien definido, esto es, para cada
x X ha de existir > 0 tal que x A, lo que motiva la siguiente definicin:

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 24

3.2 Definicin.
Sea X un espacio vectorial y A un subconjunto no vaco. Decimos que A es absorbente si R+ A = X. Si A es absorbente y convexo, entonces
la aplicacin A : X R+0 dada por
A (x) = nf{ > 0 : x A} (x X),
es un funcional sublineal en X, llamado funcional de Minkowski de A. Si A es absorbente, convexo y equilibrado (esto es, a A para todo
K con || 6 1 y todo a A), entonces A es una seminorma y

{x X : A (x) < 1} A {x X : A (x) 6 1}.

Como consecuencia inmediata de la versin analtica del Teorema de Hahn-Banach, podemos conseguir un teorema de separacin en
ambiente puramente algebraico, con una hiptesis suave sobre uno de los conjuntos que se pretende separar:

3.3 Teorema (de separacin de convexos en espacios vectoriales).

Sean A y B subconjuntos no vacos, convexos, disjuntos, de un espacio vectorial X y supongamos que A contiene un punto a0 tal que A a0
es absorbente. Entonces, existen f X ] , f 6= 0 y R tales que

Re f (a) 6 6 Re f (b) (a A, b B).

Demostracin. Es claro que podemos reducirnos al caso real. Fijado b0 B, el conjunto

U = (A a0 ) (B b0 )

es convexo (rutinario) y absorbente, ya que contiene a A a0 ; adems, por ser A B = 0,

/ el punto x0 = b0 a0 no pertenece a U. Sea U el
funcional de Minkowski y observemos que, por ser U convexo y 0 U, se tiene que

{x X : U (x) < 1} U {x X : U (x) 6 1},

luego U (x0 ) > 1. Consideremos en el subespacio Rx0 de X el funcional lineal dado por

x0 7 U (x0 ) ( R),

que est dominado por el funcional sublineal U ; el Teorema de Hahn-Banach nos proporciona un funcional f X ] , dominado por U , con
lo que se tiene que
f (x) 6 1 (x U), f (x0 ) > 1.

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 25

Dados a A, b B, tenemos que x = a b + x0 U, luego

f (a) f (b) 6 1 f (x0 ) 6 0

y basta tomar = sup{ f (a) : a A}.

El teorema de separacin que hemos obtenido es totalmente algebraico, al igual que la versin analtica del Teorema de Hahn-Banach. No
obstante, la introduccin de conceptos topolgicos nos permitir obtener consecuencias especialmente tiles. Observemos en primer lugar
que si el origen es un punto interior a un conjunto de un espacio normado, entonces dicho conjunto es absorbente (contiene una bola centrada
en cero). De esta sencilla observacin obtenemos la primera consecuencia del teorema de separacin en espacios vectoriales. Necesitamos
un sencillo resultado sobre conjuntos convexos:

3.4 Lema.
Sea X un espacio normado y A un subconjunto convexo de X con interior no vaco. Entonces, para x0 A, y0 int(A) , se tiene que

]x0 , y0 ] = {(1 t)x0 + ty0 : t ]0, 1]} int(A).

En consecuencia, int(A) es convexo y A = int(A).

Demostracin. Si tomamos r > 0 tal que B(y0 , r) int(A), el conjunto abierto

n
o [

(1 t) x0 + t y : t ]0, 1], y int B(y0 , r) = (1 t) x0 + t int B(y0 , r)
t]0,1]

est contenido en A (convexidad), luego tambin en int(A). Se sigue que ]x0 , y0 ] int(A). Como consecuencia, si x, y int(A), tenemos que
]x, y] int(A) por lo ya demostrado, pero tambin x int(A), luego [x, y] int(A), esto es, int(A) es convexo. Por otra parte, es claro que
int(A) A; recprocamente, fijamos y0 int(A) y para cada x A observamos que x ]x, x0 ] int(A), luego A int(A)

3.5 Teorema.
/ entonces existen f X y
Sea X un espacio normado y A, B dos subconjuntos no vacos y convexos de X. Si int(A) 6= 0/ y B int(A) = 0,
R tales que
Re f (a) 6 6 Re f (b) (a A, b B).
Adems, se tiene que Re f (a) < para todo a int(A).

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 26

Demostracin. Tomando a0 int(A), se tiene que int(A) a0 contiene una bola de centro cero y radio positivo, luego es absorbente y, puesto
que int(A) es tan convexo como A, podemos aplicar el Teorema de separacin en espacios vectoriales para obtener f X ] , f 6= 0 y R
tales que
Re f (a) 6 6 Re f (b) (a int(A), b B).
Adems f es continuo, pues el conjunto {x X : Re f (x) = + 1} no es denso (tiene interseccin vaca con int(A)), luego ker Re f es
cerrado. Como A int(A), la continuidad de f implica que tambin Re f (a) 6 para a A. Finalmente, si a int(A) verificase que
Re f (a) = , existira > 0 tal que a + BX int(A), luego tomando x BX tal que Re f (x) > 0, se tendra que f (a + x) > f (a) = con
a + x int(A), una contradiccin. Por tanto, Re f (a) < para todo a int(A).

Si A es cerrado con interior no vaco y B = {x0 }, donde x0 Fr(A), obtenemos los llamados funcionales de soporte:

3.6 Teorema (de existencia de funcionales de soporte).

Sea X un espacio normado y A un subconjunto convexo y cerrado de X, con interior no vaco. Entonces para cada punto x0 en la frontera de
A existe un funcional f SX tal que
Re f (x0 ) = max{Re f (x) : x A}.

H0

x0

Figura 3.2: Funcionales de soporte

Notemos que si 0 = Re f (x0 ), el hiperplano afn en XR dado por H0 = {x X : Re f (x) = 0 }, pasa por el punto x0 y deja el conjunto

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 27

A a un lado. Esta situacin, de claro contenido geomtrico, suele describirse diciendo que el funcional f0 o el hiperplano H0 soportan al
conjunto A en el punto x0 , o tambin que x0 es un punto de soporte de A, f0 un funcional de soporte de A y H0 un hiperplano de soporte de A.
Otra consecuencia importante del Teorema 3.5 se consigue tomando como B una variedad afn, esto es, el trasladado de un subespacio
vectorial. Basta tener en cuenta que si f es un funcional lineal y Re f est minorada en una variedad afn M, entonces f es constante en M.

3.7 Teorema (Versin geomtrica del Teorema de Hahn-Banach).

Sea X un espacio normado, A un subconjunto no vaco, convexo y abierto de X y M una variedad afn en X tal que A M = 0.
/ Entonces
existe un hiperplano (afn) cerrado H en X tal que M H y A H = 0.
/

Por otra parte, si en el Teorema 3.5 la distancia entre los conjuntos A y B es positiva, obtenemos la siguiente mejora:

3.8 Teorema (de separacin de convexos en espacios normados).

Sea X un espacio normado y A, B subconjuntos convexos no vacos de X con d(A, B) = > 0. Entonces, existe f X tal que k f k = 1 y

sup Re f (A) + 6 nf Re f (B).

En particular, si A es un subconjunto convexo, no vaco y cerrado de X y x0

/ A, entonces existe f SX tal que sup Re f (A) + d(x0 , A) 6
Re f (x0 ), luego sup Re f (A) < Re f (x0 ).

Demostracin. Si notamos A a la suma de A con la bola abierta de centro cero y radio , esto es

A = {x X : d(x, A) < },

tenemos que A es abierto, convexo y disjunto de B. El Teorema 3.5 nos da un funcional f X que, mediante una obvia normalizacin,
podemos suponer de norma uno, y un escalar R, tales que

sup Re f (A ) 6 nf Re f (B).

Ahora bien, siendo k f k = 1, es evidente que

sup Re f (A ) = sup Re f (A) + .

Una forma de conseguir que la distancia entre dos convexos cerrados sea positiva es que uno de ellos sea compacto, obtenindose:

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 28

3.9 Corolario.
Sean A y B dos subconjuntos no vacos, convexos y disjuntos de un espacio normado X. Supongamos que A es cerrado y B compacto.
Entonces existe un funcional f SX tal que sup Re f (A) < nf Re f (B).

Figura 3.3: Separacin estricta

Es usual referirse a cualquiera de estos resultados utilizando la expresin Teorema de separacin.

Miguel Martn Surez B

 3. El Teorema de Hahn-Banach 29

Glosario
alcanza la norma, 15
anulador, 6
A , 6
B, 6

conjunto
absorbente, 24
convexo, 22

extensin equinrmica, 5
extensin Hahn-Banach, 5

funcional de Minkowski, 24
funcional sublineal, 2

induccin transfinita, 4

lmite de Banach, 17
Lema
de Zorn, 4

problema de los momentos, 19

refexivo, 11

separa los puntos, 6

separacin de conjuntos convexos, 22

Teorema
de existencia de funcionales de soporte, 26
de Hahn-Banach para espacios normados, 4
de Hahn-Banach, versin analtica, 3
de Helly, 20
de separacin de convexos en espacios normados, 27
de separacin de convexos en espacios vectoriales, 24

Miguel Martn Surez B