cnica Nacional

Escuela Polite
lisis Matema
tico II
Ana

Formas geom
etricas del Teorema de Hahn-Banach
Milton Torres Espa
na
26 de noviembre de 2014

En el presente trabajo se abordar

a la interpretacion geometrica del Teorema de Hahn-Banach, que
consiste en encontrar las condiciones suficientes para separar dos conjuntos de un espacio vectorial.
Especficamente se presentaran dos versiones geometricas. En primer lugar, se mostraran ciertas definiciones y lemas previos que permitir
an una demostracion mas corta de los teoremas. En lo que sigue,
E representara un espacio vectorial normado. Ademas,
Br (x0 ) = {x E : kx x0 k < r}.

1.

Definiciones Previas

Definition 1.1 (Funcional sublineal). Se dice que p : E R es un funcional sublineal si satisface las
siguientes condiciones:
p(x) = p(x)

x E

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

y > 0,

(1)

x, y E.

(2)

Definition 1.2 (Subconjunto convexo). Un subconjunto A E es convexo si

tx + (1 t)y A

x, y A, t [0, 1].

Definition 1.3 (Hiperplano afn). Un hiperplano afn es un subconjunto H de E de la forma

H = {x E : f (x) = },
donde f es un funcional lineal no nulo y R es una constante. Lo notaremos como H = [f = ] y
diremos que f = es la ecuaci
on de H.
Definition 1.4. Sean A y B subconjuntos de E.
1. Un hiperplano H = [f = ] separa a A y B si
f (x)

x A

f (x)

x B.

2. Decimos que H separa estrictamente a A y B si existe > 0 tal que

f (x)

x A

f (x) +

x B.

2.

Teoremas, lemas y proposiciones previas

Teorema 2.1 (Hahn-Banach). Sean E un espacio vectorial real, F E un subespacio vectorial,

p : E R un funcional sublineal, y f : F R un funcional lineal, tal que
f (x) p(x),

x F.

Existe entonces un funcional lineal f : E R que extiende a f y que verifica

f(x) p(x),

x E.

Demostraci
on. La demostraci
on detallada de este teorema clasico se encuentra en [2].

Proposici
on 2.2. El hiperplano H = [f = ] es cerrado si y solo si f es continuo.
Demostraci
on. Supongamos que f es continua. Sea (xn )nN H tal que xn x. Por la continuidad
de f , f (xn ) f (x). Adem
as, f (xn ) = para cada n N. Entonces f (x) = , se sigue que x H.
Luego, H es cerrado.
Recprocamente, supongamos que H es cerrado. Sea x0 H c , sin perdida de generalidad, suponemos
que f (x0 ) < . Es claro que H c es abierto y no vaco, entonces existe r > 0 tal que Br (x0 ) H c .
Ademas,
x Br (x0 ).

f (x) <

(3)

Caso contrario, existe x1 Br (x0 ) tal que f (x1 ) > . Por la convexidad de Br (x0 ), el conjunto de
segmentos
{xt = (1 t)x0 + tx1 : t [0, 1]}
esta contenido en Br (x0 ), entonces f (x0 ) 6= , t [0, 1]. Sin embargo, tomando t =
obtiene que f (xt ) = . Por tanto se verifica (3).

f (x1 )
f (x1 )f (x0 )

se

Se sigue de (3),
z B1 (0).

f (x0 + rz) <

Por la linealidad de f ,
f (x0 )
r
f (x0 )
|f (z)| <
r
x
Sea > 1, si x E entonces kxk B1 (0). Ademas,
f (z) <

 


 f (x0 )
x
f
<

kxk 
r

z B1 (0),
z B1 (0).

x E,

cuando 1

f (x0 )
kxk
r
Entonces kf k 1r ( f (x0 )). Luego, f es continuo.
|f (x)|

x E.


Lema 2.3. Sea C E un conjunto abierto y convexo tal que 0 C. Para todo x E se define:
p(x) = nf{ > 0 : 1 x C}.
Entonces p satisface (1), (2) y las siguientes propiedades:
Existe una constante M tal que 0 p(x) M kxk
C = {x E : p(x) < 1}.
2

x E,

(4)
(5)

Nota. Al funcional p definido en el lema anterior se lo conoce como el funcional de Minkowski de C o

como el gauge de C.
Demostraci
on. La condici
on (1) se obtiene directamente de
p(x) = nf{ > 0 : 1 x C} = nf{ > 0 : 1 x C} = p(x),
con > 0.
Para probar la condici
on (4), como C es abierto y 0 C entonces existe r > 0 tal que Br (0) C. Es
claro, por la definici
on de nfimo, que
1
p(x) kxk.
r
Ahora, supongamos que u C. Como C es abierto, (1 + )u C para suficientemente peque
no. Por
1
lo tanto p(u) 1+
< 1. Recprocamente, si p(x) < 1, existe 0 < < 1 tal que 1 u C y por tanto,
como C es convexo, u = (1 u) + (1 )0 C. Esto prueba la condicion (5).
Probemos la condici
on (2), sean u, v C y > 0. Entonces
tu
(1 t)v
+
C
p(u) + p(v) +

u
p(u)+

C y

v
p(v)+

tal que

t [0, 1].

p(u)+
u+v
, obtenemos entonces que p(u)+p(v)+2
C. Esto nos lleva a
Particularmente para t = p(u)+p(v)+2
p(u + v) < p(u) + p(v) + 2, para todo > 0. Cuando 0 se tiene que p(u + v) p(u) + p(v).


Lema 2.4. Sean C E un conjunto abierto convexo y u0 E con u0 6 C. Entonces existe f E

tal que f (x) < f (u0 ), u C. En particular, el hiperplano H = [f = f (u0 )] separa a {u0 } y C.
Demostraci
on. Realizando una traslaci
on, podemos asumir que 0 C. Consideremos el funcional p
como en el Lema 2.4. Definimos V = {u0 : R}. Tambien definimos g sobre V por
g(tu0 ) = t, t R.
Tenemos que g(u) p(u), u V . Por el Teorema de Hahn-Banach, existe un funcional lineal f sobre
E que extiende g tal que
f (u) p(u) M kukE .
Esto nos dice que f es continua. Aplicamos el Lema 2.3. En particular, tomemos f (u0 ) = 1 y f (u) < 1,
para todo u C, por el mismo lema. En resumen, tenemos que
f (u0 ) f (u0 )
y
f (u) f (u0 )

u C.

Es decir, H separa a {u0 } y C.

3.

Formas geom
etricas del Teorema de Hahn-Banach

Teorema 3.1 (Primera forma geometrica del Teorema de Hahn-Banach). Sean A E y B E

subconjuntos convexos no vacos tal que A B = . Supongamos que uno de ellos es abierto. Entonces
existe un hiperplano cerrado que separa A y B.

Demostraci
on. Sea C = A B, definido como
A B = {a b : a A, b B} =

(A b).

(6)

bB

C es convexo, pues dados x, y C y [0, 1] tenemos que si x = a b, y = c d con a, c A y

b, d B entonces
x + (1 )y = (a b) + (1 )(c d)
= a b + (1 )c (1 )d
= a + (1 )c [b + (1 )d] C.
|
{z
} |
{z
}
A

Esto se da por la convexidad de A y B. Tambien, C es abierto y no vaco, ya que es la union de

abiertos no vacos (observar su definici
on). Ademas, 0 6 C ya que A y B son disjuntos.
Aplicando el Lema 2.4, existe f E tal que
z C.

f (z) < 0

Como z = x y, con x A y y B. Por la linealidad de f y como z es arbitrario tenemos que

x A,

f (x) < f (y)

y B.

Si fijamos una constante tal que

sup f (x) nf f (y).
xB

xA

Definimos el hiperplano H = [f = ], entonces

f (x)

x A

f (y)

y B.

y
Por tanto, H separa A y B. Adem
as, H es cerrado por la Proposicion 2.2.

Teorema 3.2 (Segunda forma geometrica del Teorema de Hahn-Banach). Sean A E y B E

subconjuntos convexos no vacos tal que A B = . Supongamos que A es cerrado y B compacto.
Entonces existe un hiperplano cerrado que separa estrictamente A y B.
Demostraci
on. Sea C definido como en (6). Por la demostracion anterior, 0 6 C y C es convexo. Ahora
probemos que C es cerrado, sea (un )nN C tal que un u. Entonces para cada n N, un = vn wn
tal que vn A y wn B. Como B es compacto entonces existen : N N creciente estrictamente y
w B tales que w(n) w. Observemos que vn = un + wn , de esto v(n) v = u + w. Como A es
cerrado, v A. Luego, u = v w y u C. Por tanto C es cerrado.
Vemos que 0 C c . Como C es cerrado, entonces C c es abierto. Existe r > 0 tal que Br (0) C c . Por
tanto, Br (0) y C son disjuntos. Aplicando el Teorema 3.1, existe un hiperplano cerrado H = [f = ]
que separa a Br (0) y C. De esto, f E y f 6 0 tal que
f (x y) f (rz),

x A, y B, z B1 (0).

Eligiendo z (pues z B1 (0)), obtenemos por la linealidad de f que f (x y) rf (z). Adem

as,
porque f es acotada tenemos que
f (x y) rkf k,

x A,

y B.

Tomemos = 12 rkf k, se logra por la linealidad de f

f (x) + f (y) ,

x A,
4

y B.

Escogemos una constante tal que

sup f (x) + nf f (y) .
yB

xA

Por definicion, el hiperplano H = [f = ] separa estrictamente A y B. Tambien, H es cerrado por

la Proposicion 2.2.


Referencias
[1] Brezis, H., Functional Anlaysis, Sobolev Spaces and Partial Differential Equations, Universitex,
Springer,(2010).
[2] Kreyszig, E., Introductory Functional Analysis with Applications, Wiley.
[3] Bothelo, F., Functional Anlaysis and Applied Optimization in Banach Spaces, Springer Internacional,(2014), Suiza.
[4] Gallier, J., Geometric Methods and Applications, Segunda Edicion, Springer,(2010).