A LA TEORIIA DE FUNCIONES CONVEXAS

INTRODUCCION
CONJUGADAS
Sanchez Ancajima Ra
ul Alfredo
Escuela de Post-Grado de Universidad Nacional de Trujillo
Departamento de Matematica e Informatica, Universidad Nacional de Tumbes
Octube 27, 2015
RESUMEN
El presente trabajo tiene como objetivo determinar bajo que condiciones el dual de
un espacio de Banach es separable con la topologa fuerte.

1. INTRODUCCION
Sabemos que el conjunto de los n
umeros reales, R, contiene un subconjunto, el
conjunto de los n
umeros racionales Q, enumerable y denso. Aquellos espacios que
contienen subconjuntos con estas caractersticas permiten expresar cualquier elemento del espacio como lmite de una sucesion de elementos del subconjunto. Estos
espacios llamados separables.
Si el espacio usual E de un espacio de Banach E es separable. podemos encontrar
para cualquier sucesion acotada (xn )nn1 en E una subsucesion (xnk )k1 convergente
debilmente (E, E ) ([2] p.26).
2. HIPERPLANOS EN ESPACIOS DE BANACH
Para las siguientes definiciones consideramos a E un espacio vectorial.
Definici
on 1 Un hiperplno afin es un subconjunto H de E de la forma
H = {x E : f (x) = }
donde E es un esapcio vectorial, f una funcional lineal y R constante. Escribimos H = [f = ].

Definici
on 2 Sean A y B dos subconjuntos de E. Decimos que el hiperplano H =
[f = ] separa A y B si
f (x) x A y f (x) x B.
Decimos que H separa estrictamente A y B si existe alg
un > 0 tal que
f (x) x E y f (x) + x B.
Definici
on 3 un conjunto A E es convexo si
tx + (1 t)y A x, y A, t [0, 1]
Teorema 1 (Segunda forma gen
erica del teorema de Hahn-Banach) Sea A
E y B E dos subconjuntos convexos no vacios tal que A B = . Asumiendo que
A es cerrado y B es compacto. Entonces existe un hiperplano cerrado que separa
estrictamente A y B.
Demostraci
on:
Ver ([2] p. 7)
Corolario 1 Sea F E un subespacio tal que F 6= E. Entonces existe un f
E , f 6 0 tal que
hf, xi = 0 x F.
Demostraci
on:
Sea x0 E tal que x0
/ F.
F es un subconjunto convexo y cerrado.
Si x, y F entonces existen sucesiones (xn )n1 y (yn )n1 en F tal que xn x y
yn y cuando n .
Si t [0, 1] entonces (1 t)x + ty = (1 t) lm xn + t lm = lm [(1 t)xn + tyn ]
n

Sea zn = (1 t)xn + tyn , (zn )n1 F y lm zn = (1 t)x + ty, esto implica que
n

(1 t)x + ty F por lo tanto F es convexo. Por ser {x0 } un conjunto unitario, es

compacto.

Haciendo A = F , B = {x0 } y usando el teorema 1 tenemos que existe un hiperplano

[f = ] que separa estrictamente F y {x0 }. De esto, tenemos
hf, xi < < hf, x0 i x F
en particular para los elementos de F (F F ) es decir
hf, xi < < hf, x0 i x F
por ser F espacio vectorial x F R x F esto implica que
hf, xi < R x F
hf, xi < R x F
por lo tanto
hf, xi = 0 x F
pues de lo contrario
hf, xi =
6 0 para alg
un x F
implica que

R y
hf, xi =
hf, xi
hf, xi

en R tal que hf, xi no es menor que .

lo cual es absurdo pues existe =
hf, xi
Por otro lado, como 0 < hf, xi < < hf, x0 i implica que hf, x0 i > 0 es decir
hf, x0 i =
6 0

3. FUNCIONES SEMICONTINUAS INFERIORMENTE Y

FUNCIONES CONEXAS
Comencemos con algunos preliminares. Se consideran funciones definidas sobre
un conjunto E y con valores en ] , ]; as pues puede tomar el valor +,
(pero el valor queda excluido). Se designa con D()el dominio de es decir, el
conjunto
D() = {x E/(x) < +}
.
3

Definici
on 4 El epgrafo de es el conjunto . Se supone ahora que E es un espacio
topologico.
La idea de un conjunto denso la podemos entender como si el conjunto se enraleciera
por todo el espacio y todo entorno de un punto del espacio contiene elementos del
conjunto por lo que parece bastante razonable dar la siguiente definicion.
Definici
on 5 Dado un espacio topologico (E, TE ). Um subconjunto de k de E (k
E) es denso en E si x E, vecindad de x, Vx , se tiene Vx E = .
Una clase especial de espacion son aquellos que contienen un subconjunto denso y
enumerable.
Definici
on 6 Un espacio metrico E es separable si existe un subconjunto F de E
tal que F es enumerable y denso en E.
Hay ciertas propiedades topologicas de los espacios que son heredados por sus subconjuntos. una de ellas es la enumerabilidad como muestura la siguiente proposicion.
Proposici
on 1 Sea E un espacio metrico y F E. Si E es separable entonces F
es separable.
Demostraci
on:
Sean (E, d) un espacio metrico y {un / n N} denso en E. Sea (rm ) una sucesion
de n
umeros reales positivos con rm 0, m .
Elegimos am,n B{un , rm } F , cuando es no vaca.
Sea el conjunto
M = {am,n F/ am,n B{un , rm }, para m, n N}
es obvio que M es nunmerable.
Demostraremos que M es denso en F . Sea y F y > 0.
y F E entonces por la densidad de {un / n N}, existe n N tal que
d(y, un ) < /2.

Por otro lado

am,n B(un , rm ) = {x E/ d(x, un ) < rm }
como rm 0 cuando m , existe m N/ rm < /2 m > n.
Por consiguiente
d(xn , am,n ) < rm < /2.
De d(y, am,n ) < /2 y la desigualdad triangular tenemos
d(y, am,n ) d(y, un ) + d(un , am,n ) < /2 + /2 =
por lo tanto, para y F y > 0 arbitrarios existe am,n M tal que d(y, am,n ) < ,
esto es M es denso en F .

Teorema 2 Sea E un espacio de Banach. Si E es separable entonces E es separable.

Demostraci
on:
E separable implica que existe {fn E / n N} enumerable y denso en E .
Construiremos a partir de fn un conjunto enumerable y denso en E.
Como kfn k = sup |hfn , xi| implica > 0 xn E/ kxk < 1 tal que
xE
kxk<1

kfn k < |hfn , xn i| +

puede tomarse tan peque
no, tal que < |hfn , xn i|.
kfn k < |hfn , xn i| + |hfn , xn i| = 2|hfn , xn i|
implica
1
kfn k < |hfn , xn i| n 1
2
Sea L0 el espacio vectorial sobre Q generado por los {xn }n1 , es decir el conjunto
de las combinaciones finitas con coeficientes en Q de elementos de (xn ).
x L0 x =

n
X

i xi , i Q para i = 1, . . . , n

i=1

Sea
1 := {1 x1 , i Q} Q
2 := {1 x1 + 2 x2 / 1 , 2 Q} Q Q
..
.
n := {1 x1 + 2 x2 + + n xn / 1 , . . . , n Q} espacio vectorial sobre Q
n 3 1 x1 + 2 x2 + + n xn (1 , 2 , . . . , n ) Q biyectivo.
Por lo tanto n es enumerable para todo n 1
[
Luego L0 =
n es enumerable, por ser union enumerable de conjuntos enumeran1

bles.
Sea L espacio vectorial sobre R generado por los {xn }n1 , L0 es denso en L.
En efecto, sea x L y > 0 arbitrarios, demostraremos que B(x, ) L0 6= .
Como x L entonces x =
1 x1 +
n xn ,
i R i = 1, . . . , n
Por la densidad de Q en R. Para todo
i R i Q tal que
|
i i | <

i = 1, . . . , n
nkxi k

De esto implica

> |
i i |kxi k = k(
i i )xi k, para i = 1, . . . , n
n
Aplicando sumatoria de 1 hasta n, se tiene
n
X
i=1

n
n
X

k(
i i )xi k <
=
1= n=
n
n i=1
n
i=1

Por la desigualdad triangular

>

n
X
i=1

n
n
n
X
X

X



k(
i i )xi k (
i i )xi =

i xi
i xi



i=1

es decir

i=1

n


X


i xi <
x


i=1

Por lo tanto
y=

n
X

i xi L0 / kx yk <

i=1

i=1

esto es L0 es denso en L.
Bastara comprobar que L es denso en E.
Dado f E / hf, xi = 0 x L
(demostraremos que f = 0 kf k = 0 kf k < > 0).
Usaremos la densidad de {fn / n N}.
Dado > 0 existe n N/ kf fn k < .
Por otro lado
1
kfn k |hfn , xn i| = |hfn f + f, xn i| x L
2
= |hfn f, xn i| + |hf, xn i| = |hfn f, xn i|
= khfn f ikkxn k khfn f, xn ik <
Por lo que
kfn k <
0 kf k = kf fn + fn k kf fn k + kfn k < + 2 = 3
0 kf k < 3 > 0 kf k = 0 f = 0
lo que implica, por el corolario 1 es decir L es denso E.

Teorema 3 Sea E un espacio de Banach separable entonces BE es metrizable en

la topologa bebil (E, E ).
Inversamente, si BE es metrizable en (E , E), entonces E es separable.
Demostraci
on:
Demostraremos que existe una metrica definda sobre BE , tal que la topologa
asociada coincide con (E , E) sobre BE .
Por la proposicion 1 tenemos que cualquier subconjunto de un espacio metrico separable es separable. Entonces BE es separable, por se E separable, es decir existe un
subconjunto enumerable y denso (xn )nN en BE (tomar D numerable denso en E y
considerar D BE ).

X
1

|hf, xn i|. [f ] es una norma en E . En efecto

f E sea [f ] =
n
2
n=1
7


X
1
i) [f ] =
|hf, xn i| = 0 hf, xn i = 0 n = 1, 2, . . .
2n
n=1

Si x BE (xnk )kN (xn )nN / xnk x, k

f (x) =

lm xnk = lm f (xnk ) = lm hf, xnk i = 0

k

x
Si x E\BE x 6= 0
BE f
kxk

x
kxk


=0

x
f (x) = 0 f (x) = 0
kxk
f = 0 [f ] = 0

X
X
X
1
1
1
ii) [f ] =
|hf, xn i| =
|hf, xn i| = ||
|hf, xn i| esto es
n
n
2
2
2n
n=1
n=1
n=1

[f ] = ||[f ] R f E .

X
X
X
1
1
1
|hf + g, xn i|
|hf, xn i| +
|hg, xn i|
iii) [f + g] =
n
n
n
2
2
2
n=1
n=1
n=1

lo que verifica la afirmacion

[f + g] [f ] + [g].
Por otro lado
|hf, xn i| = sup |hf, xi| = kf k
xE
kxk1

esto implica
1
1
|hf,
x
i|

kf k n 1
n
2n
2n
aplicando sumatoria a ambos miembros

X
X
X
1
1
1
|hf, xn i|
kf k kf k
= kf k
n
n
n
2
2
2
n=1
n=1
n=1

Hagamos d(f, g) = [f g] la metrica generada por la norma. Probaremos que la

topologa inducida por d en BE es la misma que la topologa debil (E , E)
restringida a BE .

a) Sea f0 BE (kf0 k 1) y V una vecindad de f0 con la topologa (E , E).

Debemos encontrar un r > 0 tal que
U = {f BE / d(f, f0 ) < r} V

(U V )

Asumamos que V tiene la forma

V = {f BE / |hf f0 , yi i| < para alg
un i = 1, . . . , k}
con > 0 y y1 , . . . , yk E.
Sin perdida de generalidad podemos asumir que kyi k 1 para cada i =
1, . . . , k. Por ser el conjunto (xn )n1 denso en BE , tenemos, para cada i existe
un entero ni tal que
kyi xni k <

Escogiendo un r > 0 tan peque

no que 2ni r < /2 i = 1, 2, . . . , k.
Para tal r, u V . En efecto,
Sea f U d(f, f0 ) < r

X
1
1
r>
|hf f0 , xn i| > n |hf f0 , xn i| para todo n = 1, 2, . . .
n
2
2
n=1

En particular para los ni

1
|hf f0 , xn i| < r i = 1, . . . , k
2n

= |hf f0 , xni i| < 2ni r <

i = 1, . . . , k
2

(1)

Por otro lado veamos (si f pertenece a la vecindad)

|hf f0 , yi i| = |hf f0 , yi xni + xni i| |hf f0 , yi xni i| + |hf f0 , xni i|.
Pero

|hf f0 , yi xni i| kf f0 kkyi xni k (kf k+kf0 k)kyi xni k (1+1) =

4
2
esto es
|hf f0 , yi xni i|
9

(2)

por lo tanto
|hf f0 , yi xni i| <

+ = i = 1, . . . , k
2 2

como f es un elemento arbitrario de U , queda demostrado que U V .

b) Demostraremos que dado un conjunto
U = {f BE / d(f, f0 ) < r}
para un f0 dado en BE existe una vecindad V de f0 con la topologa debil ,
(E , E), tal que V U .
No perdamos de vista que {x1 , x2 , . . . , xn , . . . } es denso en BE , kxn k 1 n
1.
Sea f0 BE y r > 0. El conjunto
U = {f BE / d(f, f0 ) < r} BE
Elejimos V = {f BE / |hf f0 , xi i| < i = 1, . . . , k} con > 0 y k tal
que V U .
Para f V tenemos

X
1
|hf f0 , xn i|
d(f, f0 ) =
2n
n=1
k

X
X
1
1
=
|hf f0 , xn i| +
|hf f0 , xn i|
n
n
2
2
n=1
n=k+1

X
X
1
1
<
+
|hf f0 , xn i|
n
n
2
2
n=1
n=k+1

X
1
=+
|hf f0 , xn i|
n
2
n=k+1

10

Veamos

X
X
1
1
|hf f0 , xn i|
kf f0 kkxn k
n
n
2
2
n=k+1
n=k+1

X
1

(kf k + kf0 k)kxn k

n
2
n=k+1

X
1

(1 + 1)1
n
2
n=k+1



X
1
1
1
1
=2
= 2 k+1 + k+2 + k+3
2n
2
2
2
n=k+1


1
1
1
1
1 1
+ 2 + 3 = 2 k (1) = k1
=2 k
2
2 2
2
2
2

Por lo tanto
d(f, f0 ) < +

1
2k1

Escogemos = r/2 y k lo suficientemente grande tal que

1
2k1

< 2r .

Por lo tanto para U existe

V = {f BE / |hf f0 , xi i| <

r
i = 1, . . . , k}
2

tal que V U .
De las partes a) y b) queda demostrado que
BE = {f E / kf k 1} es metrizable.
Recprocamente, si BE es metrizable para (E , E) entonces E es separable.
Demostrarenos que E tiene un conjunto enumerable y denso.
Sea Un = {f E / d(f, 0) <

1
}
n

y sea Vn un entorno de 0 en (E , E) tal que

Vn Un . Podemos suponer que Vn = {f BE / |hf, xi| < n , x n } con n > 0

y n un subconjunto finito de E.
S
Sea D =
n=1 n
El conjunto D es enumerable, pues es union arbitraria de conjuntos enumerables
(todo conjunto finito es enumerable).

11

Sea x D tal que hf, xi = 0 esto implica |hf, xi| < n n es decir f Vn para todo

\
Vn , como Vn Un , implica que f Un para todo n es decir f
Un , por lo tanto
n=1

d(f, 0) <

1
n

n N lo que concluye que f = 0.

Resulta que el espacio generado por D es denso en E. Por lo tanto E es separable.


Teorema 4 Sea E un espacio de Banach tal que E es separable entonces BE es
metrizable en una topologa debil (E, E ).
Demostraci
on:
Similar al teorema anterior.
Teorema 5 Sea E un espacio de Banach tal que BE es metrizable en una topologa
debil (E, E ), entonces E es separable.
Demostraci
on:
Sea d(x, y) la metrica sobre BE que induce la misma topolga sobre BE que (E, E ).
Sea el conjunto
Un = {x BE : d(x, 0) <

1
}
n

Sea Un una vecindad de 0 para (E, E ) tal que Vn Un . Podemos suponer que Vn
tiene la forma
Vn = {x E : |hf, xi| < n f n }

con n > 0 y n E es alg

un subconjunto finito. Sea D =

n y F denota

n=1

el espacio vectorial generado por D. Probaremos que F es denso con respecto a la

topologa fuerte.
Supongase, por contradiccion, que F 6= E .
Entonces por corolario 1 existe un E tal que 6= 0 y |F = 0.
Asumamos que (f0 ) > 0 para alg
un f0 E \F , pues de no ser as, esto es (f0 ) < 0,
tomamos E y ((f0 )) > 0.
Reemplazando por

kk

y podemos asumir que kk = 1.

Tambien podemos reemplazar f0 por

2f0
(f0 )

y podemos asumir (f0 ) > 1.

12

2f0
(f0 )

E \F pues de los contrario

(xn )n1 F/xn

2f0
,
(f0 )

2f0
(f0 )

F lo que implica que existe una sucesion

n esto es
1
(f0 )xn f0 , n .
2

F es subespacio vectorial de E entonces 21 (f0 )xn F n N, esto es, existe una

sucesion en F que converge a f0 , por lo que f0 F , lo cual es absurdo, por lo tanto
2f0
(f0 )

E \F .

2f0
= (f20 ) (f0 ) = 2 > 1 por lo tanto podemos asumir que (f0 ) > 1.
(f
0)


Sea W = {x BE : |f0 (x)| < 1/2} el cual es una vecindad abierta debil de 0,
entonces existe Vn0 W para alg
un entero n0 .
Sea
U = {g BE : |hg, f i h, f i| < mn(n , 1/2) para todo f n {f0 }}
es una vecindad abierta de en la topologa debil . Desde J(BE ) es denso en BE
en la topologa debil *. Desde que J(BE ) es denso en BE en la topologa debil *,
existe un punto x1 BE tal que x1 U .
Pero x1 Vn y tambien |hf0 , x1 i| < 1/2, lo cual contradice el hecho que x1 U , por
lo que |hf0 , x1 i| > 1/2 cuando (f0 ) > 1.
Por lo que concluimos que E es separable.

CONCLUSIONES
Al final del presente trabajo se llego a la siguiente conlusion:
Dado un espacio de Banach E. Para que E sea separable es suficiente que la bola
unitaria BE en E sea metrizable con la topologa debil.
REFERENCIAS
1. Botelho G., Pellegrino D. y Teixeira., Fundamentos de Analisis funcional. Editora SBM, Brasil, 2012.
2. Brezis H., Funtional Analysis, Sobolev Space and Partial Diferential Equations.
Springer Science Business Media. LLC 2011.
13

3. Gatica G., Introduccion al Analisis Funcional Teora y Aplicaciones. Editorial

Reverte, Conception Chile, 2013.

14