1.

Sección 4 Ejercicio 7) 2198567 Jose Guillermo Guerrero Mojica

Demostración. Consideremos X como un espacio normado reflexivo sobre los reales, ∅ =
6 A, B ⊂ X cerrados
y convexos con A ∩ B = ∅. Supongamos que A es acotado, veamos que A es compacto en σ(X, X ∗ ).

Como A es cerrado y convexo en la topologı́a de la norma, A es cerrado en la topologı́a σ(X, X ∗ ). Ade-

mas como A es acotado, existe una constante K > 0, tal que A ⊆ KBX , donde BX es la bola unitaria. Como
X es reflexivo BX es compacto en σ(X, X ∗ ), de donde KBX es compacto en σ(X, X ∗ ); tenemos que A es
un subconjunto cerrado del compacto KBX , por tanto A es compacto en σ(X, X ∗ ).

Nuestra meta ahora es demostrar que existe una vecindad abierta U del origen en X tal que (U + A) ∩ B = ∅.

Sea x ∈ A, como B es cerrado y convexo, y {x} es convexo y compacto, por el teorema de hanh- Ba-
nach (segunda versión geometrica) existe fx ∈ X ∗ , tal que separa a B y {x}, esto es supy∈B fx (y) < fx (x).
Luego existe x > 0, tal que supy∈B fx (y)+x < fx (x) ; por tanto ∀y ∈ B, fx (y) < fx (x), y fx (y)+x < fx (x)
; luego ∀y ∈ B, 0 < fx (x) − fx (y), y x < fx (x) − fx (y); de donde |fx (x) − fx (y)| > x , ∀y ∈ B.

Consideremos el abierto en la topologı́a débil V (x, fx , x ) = {z ∈ X : |fx (x) − fx (z)| < x }.

Tenemos que |fx (x) − fx (y)| > x , ∀y ∈ B; por tanto y 6∈ V (x, fx , x ), de donde V (x, fx , x ) ∩ B = ∅.
Tenemos que V (x, fx , x ) = x + V (0, fx , x ), donde V (0, fx , x ) es una vecindad abierta basica de 0 en
σ(X, X ∗ ). Ası́ (x + V (0, fx , x )) ∩ B = ∅.

La colección {x + V (0, fx , x ) : x ∈ A} es un cumbrimiento de A, como A es compacto en σ(X, X ∗ ), existe

un cubrimiento finito de estos conjuntos que [ cubre al conjunto A, {xi + V (0, fxi , xi ) : i ∈ {1, ..., n}},
donde x1 , ..., xn ∈ A ; es decir A ⊂ xi + V (0, fxi , xi ), donde x1 , ..., xn ∈ A. Asi obtenemos
i∈{1,...,n}
\
U= V (0, fxi , xi ) que es una vencindad abierta del 0 en la topologı́a debil; porque V (0, fxi , xi ) es
i∈{1,...,n}
una vencindad abierta del 0 en la topologı́a debil, ∀i ∈ {1, ..., n}, y intersección finita de abiertos es abier-
to; de donde U es abierto en la topologı́a de la norma. Por tanto A+U es abierto en la topologı́a de la norma.

Veamos que Además V (0, fxi , xi ) es convexo, para todo i ∈ {1, ..., n}. Sean x, y ∈ V (0, fxi , xi ) y t ∈ [0, 1],
tenemos que:

|fxi ((1 − t)x + ty)| = |(1 − t)fxi (x) + tfxi (y)| ≤ (1 − t)|fxi (x)| + t|fxi (y)| < (1 − t)xi + txi = xi .

De esto |fxi ((1 − t)x + ty)| < xi ; de donde \

(1 − t)x + ty ∈ V (0, fxi , xi ). Por tanto V (0, fxi , xi ) es convexo,
para todo i ∈ {1, ..., n}. De donde U = V (0, fxi , xi ) es convexo por ser intersección de convexos.
i∈{1,...,n}
Como A y U son convexos, A + U es convexo.
T \ \
Para demostrar que (A+U ) B = ∅; demostremos la igualdad, x+ V (0, fxi , xi ) = V (x, fxi , xi ),
i∈{1,...,n} i∈{1,...,n}
donde x ∈ A.
\ \
Sea z ∈ x + V (0, fxi , xi ), entonces z = x + u, donde u ∈ V (0, fxi , xi );
i∈{1,...,n} i∈{1,...,n}
luego u ∈ V (0, fxi , xi ), ∀i ∈ {1, ..., n} ; de donde z = x + u ∈ V (x, fxi , xi ), ∀i ∈ {1, ..., n}.
\
Por tanto z ∈ V (x, fxi , xi ).
i∈{1,...,n}
\ \
Si z ∈ V (x, fxi , xi ), entonces z ∈ x + V (0, fxi , xi ). Luego z ∈ x + V (0, fxi , xi ),
i∈{1,...,n} i∈{1,...,n}

1
 \
∀i ∈ {1, ..., n} ; de donde z ∈ x + V (0, fxi , xi ).
i∈{1,...,n}
\ \
Por lo tanto x + V (0, fxi , xi ) = V (x, fxi , xi ).
i∈{1,...,n} i∈{1,...,n}

[
Por otro lado A + U = x + U , luego para x ∈ A tenemos que:
x∈A
\ \
x+U =x+ V (0, fxi , xi ) = V (x, fxi , xi ). Veamos que (x + U ) ∩ B = ∅.
i∈{1,...,n} i∈{1,...,n}
\
Sea z ∈ x + U = V (x, fxi , xi ), supongamos que z ∈ B ; para todo i ∈ {1, ..., n}, fxi (z) < fxi (xi )
i∈{1,...,n}
; porque cada fxi separa a B y xi . Como x ∈ A, existe j ∈ {1, ..., n}, tal que x ∈ V (xj , fxj , xj ), y como
x 6∈ B, fxj (xj ) ≤ fxj (x); de donde, fxj (z) < fxj (xj ) ≤ fxj (x), y tenemos que fxj (z)+xj < fxj (xj ) ≤ fxj (x);
\
por tanto 0 < fxj (x)−fxj (z) y xj < fxj (x)−fxj (z). Ası́ |fxj (x)−fxj (z)| > xj ; de esto z 6∈ V (x, fxi , xi ),
i∈{1,...,n}
lo que es una contradicción por tanto z 6∈ B.
\ T
Tenemos entonces que V (x, fxi , rxi ) ∩ B = ∅, ∀x ∈ X; de donde (x + U ) B = ∅, ∀x ∈ X; y
i∈{1,...,n}
[ T
como A + U = x + U , (A + U ) B = ∅.
x∈A

Por el teorema de Hanh- Banach (primera versión geometrica) existe f ∈ X ∗ tal que f (a + u) ≤ f (b),
∀a ∈ A, u ∈ U, b ∈ B ; de donde f (a) + f (u) ≤ f (b),∀a ∈ A, u ∈ U, b ∈ B; por tanto
f (a) + supu∈U f (u) ≤ f (b),∀a ∈ A, b ∈ B. Como U es vencindad abierta de 0, tenemos que supu∈U f (u) > 0,
de donde f (a) < f (b),∀a ∈ A, b ∈ B; esto quiere decir que supa∈A f (a) < infb∈B f (b).

Tomando α ∈ R tal que supa∈A f (a) < α < infb∈B f (b) , tenemos que el hiperplano cerrado [f = α]
separa estrictamente a A y B.

Ahora consideremos X como un espacio normado reflexivo sobre los complejos. Tomamos la función
f : X −→ R, como en el caso de los reales, y definimos g(x) = f (x) − if (ix). Veamos que g esta bien definida
es lineal y continua.

Sea x ∈ X ; tenemos que g(x) = f (x) − if (ix) ∈ C, porque f (x), f (ix) ∈ R. Si x = y ∈ X; como f
esta bien definida f (x) = f (y), y f (ix) = f (iy); de donde g(x) = f (x) − if (ix) = f (y) − if (iy) = g(y). Por
tanto g esta bien definida.

Veamos que g es lineal. Sean x ∈ X y α = α1 + iα2 ∈ C;

g(αx) = g((α1 + iα2 )x) = g(α1 x + iα2 x) = f (α1 x + iα2 x) − if (i(α1 x + iα2 x))
= α1 f (x)+α2 f (ix)−iα1 f (ix)+iα2 f (x) = α1 (f (x)−if (ix))+iα2 (f (x)−if (ix)) = (α1 +iα2 )(f (x)−if (ix))
= αg(x).

Sean x, y ∈ X;

g(x+y) = f (x+y)−if (i(x+y)) = f (x)+f (y)−if (ix)−if (iy) = f (x)−if (ix)+f (y)−if (iy) = g(x)+g(y).
Por tanto g es lineal.

Demostremos ahora que g es continua. Sea {xn } una sucesion convergente en X, esto quiere decir que
xn → x, donde x ∈ X; tenemos que {ixn } es una sucesion en X tal que ixn → ix. Como f es continua
f (xn ) → f (x) y if (xn ) → if (x), de donde f (xn ) − if (ixn ) → f (x) − if (ix). Por tanto g(xn ) → g(x), esto
quiere decir que g es continua.

2
Tenemos entonces que g ∈ X ∗ donde X un espacio normado reflexivo sobre los complejos; y R(g) = f ,
porque g(x) = f (x) − if (ix), ∀x ∈ X. Por tanto tenemos que:

supa∈A R(g(a)) = supa∈A f (a) < α < infb∈B f (b) = infb∈B R(g(b)).

Por tanto supa∈A R(g(a)) < α < infb∈B R(g(b)), de donde existe un hiperplano cerrado que separa
estrictamente a A y B.