Otras Aplicaciones en Espacios de Banach

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sec. 2.2 Otras aplicaciones en espacios de Banach 207
2.2. Otras aplicaciones en espacios de Banach
2.2.1. | Algunas aplicaciones clsicas
Esta seccin la dedicaremos a mostrar algunas de las aplicaciones clsicas del Teorema de Categora de
Baire en el mbito de los espacios de Banach tales como: el Teorema de Acotacin Uniforme, el Teorema
de Banach-Steinhauss, el Teorema de la Aplicacin Abierta, y otras aplicaciones viejitas pero que no son tan
conocidas. Algunas herramientas y resultados de la teora de los espacios de Banach sern presentadas en lo
que sigue y sus pruebas, las que no se dan, se pueden ver, por ejemplo, en [104]. Salvo mencin explcita de
lo contrario, todos nuestros espacios de Banach sern sobre el cuerpo de los nmeros reales.
| Espacios de Banach
Si (X, ||) es un espacio normado, entonces X
denota el dual (topolgico) de X, es decir, el conjunto

de todos los funcionales lineales continuos denidos sobre X. Los elementos de X
sern denotados por

x
, y
, z
, . . . y, en ocasiones, por f , g, . . .. En algunas ocasiones usaremos el smbolo x, x
) para denotar el
valor de x
en x, es decir, x
(x). Sobre X
se dene la norma
|x
| = sup
_
[x
(x)[ : |x| 1
_
= sup
_
x
(x) : |x| 1
_
para cada x
. Resulta que con esa norma (X
, ||) es un espacio de Banach. De ahora en adelante, el

smbolo B
X
denota la bola unitaria cerrada de X; esto es, B
X
= x X : |x | 1, y la esfera unitaria ser
escrita por S
X
=x X : |x | = 1. En general, cualquier bola cerrada con centro en x X y radio r > 0 se
denotar por B(x, r), mientras que las bolas abiertas sern designadas por el smbolo U(x, r). En particular,
escribiremos U
X
=U(0, 1). Sea A un subconjunto de X. Recordemos que:
A es convexo si tx +(1t)y A siempre x, y A y 0 < t < 1.
A es absorbente si, para cada x X, existe un k
x
> 0 tal que x tA para todo t > k
x
.
A es simtrico si A =A.
Usando induccin se demuestra que un subconjunto A de X es convexo si contiene a todas las combinaciones
convexas de A, es decir, para cualquier coleccin nita de vectores en A, digamos, x
1
, . . . , x
n
y escalares no
negativos
1
, . . . ,
n
con
1
+ +
n
= 1, se cumple que
1
x
1
+ +
n
x
n
A. La cpsula convexa de A,
en notacin, co(A), es el conjunto convexo ms pequeo (con respecto a la inclusin) que contiene a A. Es
fcil establecer que co(A) consiste de todas las combinaciones convexas de A, esto es,
co(A) =
_
n
i=1
i
x
i
: x
i
A,
i
0,
1
+ +
n
= 1
_
.
Existe una coleccin de resultados, todos ellos vinculados entre s, conocidos con el mismo nombre de
Teorema de Hahn-Banach el cual establece la existencia, bajo ciertas condiciones, de funcionales linea-
les acotados sobre cualquier espacio lineal normado no nulo. Los que en esta notas necesitaremos son los
siguientes:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
208 Cap. 2 Aplicaciones del Teorema de Categora de Baire
Teorema de Hahn-Banach. Sean (X, ||) un espacio normado y M un subespacio lineal cerrado
de X con M,=X. Si x
0
es un funcional lineal acotado denido sobre M, entonces existe un funcional
lineal acotado x
denido sobre X que es una extensin de x
0
y que preserva la norma, es decir,
x
(x) = x
0
(x) para todo x M, y |x
| = |x
0
|.
Ms aun, para cada x X, con x ,= 0, existe x
tal que |x
| = 1 y |x| = x
(x). En particular,
|x| = sup
_
x
(x) : x
, |x
| = 1
_
para todo x X.
Teorema de Hahn-Banach (Forma Geomtrica). Sea (X, ||) un espacio de Banach y sean K, F
subconjuntos convexos no vacos de X tales que: K es compacto, F es cerrado y K F = .
Entonces existe un x
y nmeros reales y tales que

x
(x) < < < x
(y)
para todo x K y todo y F.
La topologa dbil o la -topologa sobre un espacio normado X se dene como la topologa ms pequea
sobre X bajo la cual las aplicaciones
x x
(x), para cada x
son continuas. Con esta topologa X es un espacio vectorial topolgico localmente convexo. Una base local
del 0 X en esta topologa viene dada por los conjuntos
U(x
1
, . . . , x
n
, ) =
_
x X : [x
1
(x)[, . . . , [x
n
(x)[ <
_
, para x
1
, . . . , x
n
X
, n N.
Si A X, su clausura en la -topologa ser denotada por A
, mientras que A
||
es su clausura en la
||-topologa. Si bien la -topologa es ms dbil que la ||-topologa, los conjuntos convexos cerrados en
ambas topologas, coinciden.
Teorema 2.2.1 (Teorema de Mazur). Sea (X, ||) un espacio de Banach. Si A X es cualquier conjunto
convexo, entonces A
= A
||
.
Prueba. Es suciente demostrar que A
A
||
ya que claramente A
||
A
. Sea x
0
, A
pero suponga que

x
0
, A
||
. Por la forma geomtrica del Teorema de Hahn-Banach, existe un x
y un 1 tal que
x
(x
0
) < < x
(y)
para todo y A
||
. Resulta que el conjunto U =x X : x
(x) < es un -entorno de x

0
que es disjunto de
A
||
, por lo que x
0
, A
. Esta contradiccin establece que A
A
||
y termina la prueba.
Como una consecuencia inmediata del Teorema de Mazur se tiene que: si Y es un subespacio lineal del
espacio lineal normado (X, ||), entonces Y

=Y
||
. Ms aun, si A es cualquier subconjunto no vaco de X,
entonces
co
||
(A) = co

(A),
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
lo que escribiremos simplemente por co(A).
La aplicacin J : X X
dada por Jx(x
) = x
(x) para todo x
y todo x X, es una aplicacin

lineal continua que tiene el peculiar encanto de satisfacer la igualdad |Jx | = |x | para todo x X. Este
hecho nos revela que J es una aplicacin inyectiva y nos permite identicar cada elemento x de X con el
elemento Jx de X
y, as, pensar a X como un subespacio norma-cerrado de X
, es decir, cuando estemos

trabajando con el bidual X
de un espacio de Banach X, convenimos en identicar a B

X
con J(B
X
) y, en
general, a X con J(X) X
. Si ocurre que la aplicacin J es sobreyectiva, es decir X =J(X) =X
, entonces
se dice que X es un espacio reexivo.
Si en lugar de X consideramos su dual X
, podemos denir una nueva topologa sobre X
, llamada la
-topologa, como la topologa ms pequea sobre X
bajo la cual las aplicaciones

x
(x), para cada x X

son continuas. Esta topologa convierte a X
en un espacio vectorial topolgico Hausdorff localmente con-

vexo. Una base local del 0 X
en la
-topologa la constituye la coleccin de todos los conjuntos de la

forma
U(0; x
1
, . . . , x
n
, ) =
n
i=1
_
x
: [x
(x
i
)[
_
, para x
1
, . . . , x
n
X, n N.
Dos resultados importantes acerca de la
-topologa sobre un espacio de Banach dual que nos sern de

gran ayuda son los siguientes:
Teorema de Banach-Alaoglu. Sea (X, ||) un espacio de Banach. Entonces B
X
es
-compacto.
Si X es separable, entonces (B
X
,
) es, adems, metrizable.

Teorema de Goldstine. Si (X, ||) es un espacio de Banach, entonces identicando a B
X
con J(B
X
)
tenemos que B
X
es
-denso en B
X
; es decir,
B
X
= B
X
.
Corolario 2.2.1 (Caracterizacin de espacios reexivos). Sea (X, ||) un espacio de Banach. B
X
es dbil-
mente compacto si, y slo si, X es reexivo.
Prueba. Suponga que B
X
es dbilmente compacto. Puesto que la aplicacin cannica J : (X, ) (X
)
es continua, entonces J(B
X
) es
-compacto, en particular, B
X
= J(B
X
) es
-cerrado. Se sigue ahora del

Teorema de Goldstine que B
X
= B
X
= B
X
, de donde se deduce fcilmente que J es sobreyectiva y, en
consecuencia, X es reexivo.
Suponga ahora que X es un espacio reexivo. Teniendo en cuenta que J : (X, ) (X
) es un
homeomorsmo y sabiendo que B
X
es, gracias al Teorema de Banach-Alaoglu,
-compacto, resulta que

B
X
es dbilmente compacto.
El siguiente es un poderoso y fascinante resultado de R. C. James, que establece cmo caracterizar a los
subconjuntos dbilmente compactos en un espacio de Banach. Su demostracin, que no es en lo absoluto
trivial, puede ser vista en ([185], [219], p. 157161, o [323]). Algunas de las aplicaciones recopiladas del
resultado de James se pueden mirar en [74].
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.2.2 (Teorema sup de James). Sea (X, ||) un espacio de Banach y suponga que K es un sub-
conjunto acotado y dbilmente cerrado de X. Entonces, K es dbilmente compacto si, y slo si, para cada
x
existe un x
0
K tal que
x
(x
0
) = sup x
(K).
Con ste instrumento en las manos, el siguiente resultado es muy fcil de demostrar.
Corolario 2.2.2 (Teorema de Krein-mulian). Sea (X, ||) un espacio de Banach. Si K es un subconjunto
dbilmente compacto de X, entonces co(K) tambin es dbilmente compacto.
Prueba. Sea x
. Si K es dbilmente compacto, entonces el resultado de James nos provee de un x

0
K
tal que x
(x
0
) = sup x
(K). Pero ya que, sup x
(K) = sup x
(co(K)), entonces x
(x
0
) = sup x
(co(K)) y de
nuevo, por el Teorema sup de James, co(K) es dbilmente compacto.
Finalizamos, por ahora, con uno de los resultados clsicos e importantes en la teora de los espacios
normados que nos dice, en particular, que en los espacios lineales normados de dimensin innita la bola
cerrada unitaria nunca puede ser compacta en la topologa de la norma.
Lema 2.2.1 (Lema de Riesz). Sean (X, ||) un espacio lineal normado y Y un subespacio lineal cerrado y
propio de X. Para cada 0 < < 1, existe un x
S
X
tal que |x
y| > para todo y Y.

Prueba. Escojamos un y X Y, lo cual es posible por ser Y ,= X. Puesto que Y es cerrado, la distancia de y
a Y es positiva, es decir,
0 < d := nf
_
|x z| : z Y
_
<
d
,
de all que existe un z Y tal que
|x z| <
d
.
Denamos ahora
x
=
x z
|x z|
.
Es claro que x
S
X
. Ms aun, si y Y, entonces
|x
y| =
_
_
_
_
x z
|x z|
y
_
_
_
_
=
_
_
_
_
x
|x z|
z
|x z|
x z
|x z|
y
_
_
_
_
=
1
|x z|
_
_
_
_
x (z +|x z|y)
un elemento de Y
_
_
_
_
>

d
d = .
Teorema 2.2.3 (Riesz). Sean (X

1
, ||
1
) y (X
2
, ||
2
) dos espacios de Banach sobre el mismo cuerpo K y
suponga que dim(X
1
) = dim(X
2
) < +. Entonces X
1
y X
2
son topolgicamente isomorfos.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Es suciente demostrar que si (X, ||) es un espacio de Banach de dimensin nita, digamos
dim(X) = n para algn n N, entonces X es topolgicamente isomorfo a
_
n
1
, ||
1
_
, donde
|(a
1
, . . . , a
n
)|
1
= [a
1
[ + +[a
n
[
para cualquier vector (a
1
, . . . , a
n
)
n
1
. Sea
_
x
1
, . . . , x
n
_
una base de Hamel para X y dena la aplicacin
lineal T :
n
1
X por
T
_
(a
1
, . . . , a
n
)
_
= a
1
x
1
+ +a
n
x
n
.
Claramente T es un isomorsmo de
n
1
sobre X. Ms aun, para todo x = (a
1
, . . . , a
n
)
n
1
resulta que
|T(x)| = |a
1
x
1
+ +a
n
x
n
| m ax
1in
|x
i
||x|
1
lo cual prueba que T es un operador lineal continuo. Un llamado al Teorema de la Aplicacin Inversa (vase
el Corolario 2.2.8, pgina 223) nos revela que T
1
tambin es continuo y termina la prueba.
Una consecuencia inmediata del Lema de Riesz y del resultado anterior es el siguiente teorema.
Teorema 2.2.4 (Teorema de Riesz). Sea (X, ||) un espacio de Banach. La bola unitaria B
X
es compacta
en la topologa de la norma si, y slo si, dim(X) < +.
Prueba. Suponga que dim(X) = n < +. Entonces, por el Teorema 2.2.3, X es isomorfo a
n
2
y, en conse-
cuencia, la compacidad de B
X
sigue del Teorema de Heine-Borel.
Suponga ahora que algn espacio de Banach (X, ||) de dimensin innita posee su bola unitaria B
X
compacta. Nuestra tarea, para generar una contradiccin, ser construir una sucesin (x
n
)
n=1
en B
X
de modo
tal que ninguna subsucesin de ella sea convergente en la norma. Para ver esto, comencemos escogiendo un
x
1
S
X
y sea Y
1
el subespacio lineal generado por x
1
. Por ser Y
1
un subespacio cerrado y propio de X, el Lema
de Riesz nos dice que existe un x
2
S
X
tal que |x
2
x
1
| 3/4 para todo 1. En particular, |x
2
x
1
|
1/2. Como los vectores x
1
y x
2
son linealmente independientes y la dimensin de X es innita, el subespacio
lineal generado por x
1
y x
2
, llammoslo Y
2
, es cerrado y propio. Por el Lema de Riesz, existe un x
3
S
X
tal
que |x
3
x
1
x
2
| 3/4 para todo , 1. En particular, |x
3
x
i
| 1/2 para i = 1, 2. Continuando
inductivamente con este mecanismo, obtenemos la sucesin deseada. Claramente la sucesin as construida
no posee subsucesin alguna convergente lo cual niega la compacidad de B
X
gracias al Teorema 1.4.18.
Observe que, por el teorema anterior, en cualquier espacio de Banach de dimensin innita X, ninguna
bola cerrada de X puede ser norma-compacta y, por consiguiente, ningn conjunto acotado, abierto y no
vaco cuando se clausura en la topologa de la norma puede ser norma-compacto. Como una consecuencia
inmediata del Teorema de Riesz en combinacin con el Teorema de Categora de Baire se tiene el siguiente:
Corolario 2.2.3. Si (X, ||) es un espacio de Banach de dimensin innita, entonces (X, ||) nunca es un -
compacto, es decir, nunca se puede escribir como una unin numerable de subconjuntos norma-compactos.
Prueba. Suponga que X =
n=1
K
n
, donde cada K
n
es un subconjunto norma-compacto de X. Por el Teorema
de Categora de Baire, existe un n
0
N tal que int(K
n
0
) ,=. Esto signica que K
n
0
contiene una bola abierta
U(x, r) para algn r > 0 y algn x X. De aqu se sigue que U(x, r) = B(x, r) es compacto y, entonces, por
el Teorema de Riesz, dim(X) <. Esta contradiccin da por terminada la prueba.
(B-1) Sea (X, ||) un espacio de Banach. Si K es un subconjunto absorbente, convexo y cerrado de X,
entonces K contiene un entorno abierto del origen.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Denamos D = K (K). Entonces D es absorbente, simtrico, convexo, cerrado y adems
0 D. Ms an, para cualquier subconjunto no vaco A de D, resulta que
0
1
2
A+
1
2
(A)
1
2
D+
1
2
(D)
1
2
D+
1
2
D = D,
y entonces ser suciente demostrar que int(D) ,= puesto que el entorno del origen
1
2
int(D) +
1
2
(int(D))
est contenido en D. Supongamos que int(D) = . Entonces, para cada n N, el conjunto nD es
cerrado y tiene interior vaco; es decir, es nunca-denso en X. Del Teorema 1.6.2, se sigue que X nD
es abierto y denso en X y por el Teorema de Categora de Baire,

n=1
(X nD) es denso en X.
Observemos ahora que
n=1
(X nD) = X
_
n=1
nD =
pues X =

n=1
nD ya que D es absorbente. Esta contradiccin establece que int(D) ,= y termina la
prueba.
(B-2) Sea (X, ||) un espacio normado. Si F es un subespacio lineal cerrado y propio de X, entonces F es
nunca-denso en X.
Prueba. Supongamos que int(F) ,=y sea z int(F). Entonces existe un r > 0 tal que la bola abierta
U(z, r) F. Como F es un subespacio lineal, entonces
z +U(z, r) =U(0, r) F.
De aqu se sigue, gracias a que F es cerrado, que n U(0, r) F para todo n N y, en consecuencia,
n=1
n U(0, r) F. Por otro lado, si x X, entonces existe un n N tal que |x| nr, es decir,
x n U(0, r) por lo que
X =
_
n=1
n U(0, r) = F,
lo que resulta ser imposible pues F es un subespacio propio de X.
Varias consecuencias se derivan inmediatamente de ste resultado. Por ejemplo:
(a) En el espacio de Banach (
, ||
) de todas las sucesiones acotadas, las sucesiones que son

divergentes son abundantes, es decir, forman un conjunto residual. En efecto, si consideramos a
(c, ||
), el espacio de Banach de todas las sucesiones de nmeros reales convergentes, resulta

que c es un subespacio lineal, cerrado y propio de
por lo que, gracias al resultado anterior, c es

nunca-denso en
; es decir, el conjunto
c, que consiste de todas las sucesiones de nmeros

reales acotadas y divergentes, es norma-denso en
. De hecho, como c es cerrado en
, el
conjunto
c es abierto y, en consecuencia, un G
. Esto prueba que
c es residual en
.
Uno puede demostrar, sin apelar al resultado anterior, que
c es denso en
por medio del

siguiente argumento:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sea U(x, ) una bola abierta arbitraria contenida en
, donde x = (x
n
)
n=1

, y veamos que
U(x, ) (
c) ,= . Observe que si x , c, entonces no hay nada que demostrar. Suponga en-

tonces que x c y que lm
n
x
n
= a para algn a 1. Escojamos ahora un N N tal que
[x
n
a[ < /4 para todo n N. Denamos y = (y
n
)
n=1

del modo siguiente:

y
1
= x
1
, . . . , y
N
= x
N
, y para n > N pongamos y
n
=
_
a+/4 si n es impar,
a/4 si n es par.
Entonces d
(x, y) = sup
nN
[x
n
y
n
[ < , de donde se sigue que y U(x, ). Por otro lado, como
lmsup
n
y
n
= a+/4 y lminf
n
y
n
= a/4,
vemos que y , c. Esto prueba la densidad de
c en
.
(b) Similar al Corolario 2.2.3 tenemos que: si (X, ||) es un espacio de Banach y si (X
n
)
n=1
es
una sucesin de subespacios lineales (no necesariamente cerrados) de X tal que X =

n=1
X
n
,
entonces existe al menos un n
0
N tal que X
n
0
= X. En efecto, si X
n
,= X para todo n N,
entonces como cada X
n
es un subespacio lineal cerrado y propio de X, por el resultado ante-
rior tenemos que X
n
es nunca-denso y, en consecuencia, por el Teorema de Categora de Baire,
X ,=

n=1
X
n
. Esto, por supuesto, contradice nuestra hiptesis pues, como X =

n=1
X
n
y ya que
n=1
X
n

n=1
X
n
X, entonces X =

n=1
X
n
. De lo anterior se concluye, en particular, que:
ningn espacio de Banach puede se escrito como una unin numerable estrictamente creciente
de subespacios lineales cerrados propios.
(c) Sea (T
n
)
n=1
una sucesin de operadores lineales continuos de un espacio de Banach X en un
espacio normado Y tal que T
n
,= 0 para todo n N. Entonces, el conjunto
X
0
=
_
x X : T
n
(x) ,= 0 para todo n 1
_
es residual en X. En efecto, como T
n
es continuo y T
n
,= 0 para todo n N, resulta que el conjunto
Ker(T
n
) =x X : T
n
x =0 es un subespacio lineal cerrado y propio de X. Por (B2), el conjunto
Ker(T
n
) es nunca-denso y, por lo tanto, como X es un espacio de Banach, X
0
= X
n=1
Ker(T
n
)
es, por el Teorema 1.6.3, residual en X.
(d) Sean (X, ||) un espacio de Banach, x X y Y un subespacio lineal cerrado de X. Denotemos por
E(x,Y) el error de mejor aproximacin de x con elementos de Y, esto es,
E(x,Y) = nf
_
|x y| : y Y
_
,
es decir, E(x,Y) = dist(x,Y). Otro resultado, producto de la combinacin del Lema de Riesz y el
Teorema de Categora de Baire es el siguiente (vase, [402], Theorem 1):
Teorema 2.2.5 (Shapiro). Sea (X, ||) un espacio de Banach y suponga que (X
n
)
n=1
es una
sucesin estrictamente creciente de subespacios lineales cerrados y propios de X, es decir,
0 _ X
1
_ X
2
_ _ X.
Si (
n
)
n=1
es una sucesin no-creciente de nmeros reales positivos convergiendo a cero, entonces
existe un conjunto residual G de X tal que, para cada x G, existe un n
x
N para el cual se
cumple que E(x, X
n
x
) > m
n
x
para todo m N.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. En primer lugar observe que, por (b), X ,=

n=1
X
n
. Seleccionando cualquier vector
x X
n=1
X
n
, tendremos que E(x, X
n
) > 0 para todo n N y, adems, por ser la sucesin
estrictamente creciente se tienen las desigualdades
E(x, X
1
) E(x, X
2
) > 0
Para cada mN, considere el conjunto
Y
m
=
n=1
_
x X : E(x, X
n
) m
n
_
,
el cual puede ser vaco para algn m. En cualquier caso, ya que E(,Y) es una aplicacin continua,
resulta que cada conjunto Y
m
es cerrado en X. Ms aun, es fcil establecer que Y
m
es convexo y,
adems, como E(x, X
n
) = E(x, X
n
) para cualquier x X y cualquier n N, entonces Y
m
tambin
es simtrico. Sea
Y =
_
m=1
Y
m
.
Veamos que cada Y
m
es nunca-denso en X. En efecto, suponga por un momento que, para algn
m
0
N, Y
m
0
tiene interior no vaco y escojamos una bola cerrada B(x
0
, r) contenida en Y
m
0
para
algn r > 0. Sin perder generalidad, podemos suponer que 0 < r < 1. Sea y cualquier vector en
X con |y| 1. Entonces x
0
+ry Y
m
0
y por simetra, los elementos x
0
ry y x
0
+ry estn en
Y
m
0
. Usando ahora el hecho de que Y
m
0
es convexo, resulta que para cualquier y X con |y| = 1,
el elemento
1
2
_
_
x
0
+ry
_
+
_
x
0
ry
_
_
= ry
tambin pertenece a Y
m
0
, es decir, la esfera cerrada S(0, r) con centro en 0 y radio r est contenida
en Y
m
0
. Teniendo en cuenta que
n
0, podemos seleccionar un entero positivo n
0
lo sucien-
temente grande de modo tal que
n
0
< r/m
0
. Si x S(0, r), entonces x Y
m
0
y, en consecuencia,
E(x, X
n
0
) m
0
n
0
< r lo que constituye una clara violacin al Lema de Riesz. Por el Teorema de
Categora de Baire, el conjunto
G = X Y =
m=1
_
X Y
m
_
=
_
x X : n
x
N para el cual E(x, X
n
x
) > m
n
x
, para todo m N
_
es residual en X.
Suponga ahora que (X, ||) es un espacio de Banach de dimensin innita y que nuestro subespacio
lineal F siga siendo propio pero, en lugar de aceptar que sea cerrado, pedimos que sea denso en X.
Es F de segunda categora? La pregunta, formulada por V. Klee y A. Wilansky, obtuvo una respuesta
negativa si se acepta el Axioma de Martin. En efecto, en [16] J. Arias de Reyna construye, en cada
espacio de Banach separable de dimensin innita, un subespacio lineal denso de primera categora
utilizando el Axioma de Martn para deducir que si es un nmero cardinal menor que 2
0
y si
A = A
k
1 : k < es una familia de subconjuntos de 1 cada uno de los cuales posee medida de
Lebesgue cero, entonces

k<
A
k
tambin posee medida de Lebesgue cero (vase, [407]). Posterior-
mente, M. Valdivia [433] generaliza el resultado de Arias de Reyna a espacios vectoriales topolgicos
de Baire, separables y de dimensin innita pero siempre admitiendo como premisa el Axioma de
Martin.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
(B-3) Sea (X, ||) un espacio de Banach de dimensin innita. Si B es una base de Hamel (= base alge-
braica) de X, entonces la cardinalidad de Bes no numerable.
Prueba. Supongamos que Bes innito numerable, digamos B=e
1
, e
2
, . . . , e
n
, . . .. Denamos, para
cada n N, el conjunto
F
n
= [e
1
, e
2
, . . . , e
n
]
donde [e
1
, e
2
, . . . , e
n
] denota el subespacio lineal generado e
1
, e
2
, . . . , e
n
. Cada F
n
es un subespacio
lineal de dimensin nita y, en consecuencia, propio y cerrado en X. Puesto que B es una base de
Hamel resulta que X =

n=1
F
n
y, por consiguiente, podemos hacer uso del Teorema de Categora de
Baire para que nos provea de la existencia de un n N tal que int(F
n
) ,= , lo que evidentemente
contradice el resultado anterior. Por esto Bes no numerable.
(B-4) Sea (K, ) un espacio de Hausdorff compacto. K es numerable si, y slo si, l es disperso y metrizable.
Recordemos que un espacio de Hausdorff compacto (K, ) se dice disperso si cada subconjunto ce-
rrado L de K posee al menos un punto aislado.
Prueba. Supongamos que K es numerable y para cada par de elementos x, y K con x ,= y, denamos
el conjunto
H
x,y
=f C(K) : f (x) = f (y),
donde, como siempre, C(K) es el espacio de Banach de Banach de todas las funciones continuas
acotadas a valores reales denidas sobre K. Es fcil ver que cada H
x,y
es un subespacio cerrado y
propio de C(K). Por (B2), cada H
x,y
tiene interior vaco; es decir, cada conjunto H
x,y
es cerrado y
nunca-denso. Observe que como K es numerable, la unin

x,yK
H
x,y
es una unin numerable y, as,
por el Teorema de Categora de Baire,
_
x,yK
H
x,y
_C(K).
Por consiguiente, existe una funcin f C(K) que no pertenece a ningn H
x,y
; es decir, f es una
funcin inyectiva sobre K. De aqu se sigue que f : K f (K) es un homeomorsmo y como f (K)
es un subconjunto mtrico compacto (de 1), entonces K es metrizable. Para nalizar la prueba de
esta implicacin, notemos que cualquier subconjunto cerrado L de K es numerable y, de nuevo, por el
Teorema de Categora de Baire, L posee al menos un punto aislado; es decir, K es disperso.
Supongamos ahora que K es un espacio mtrico compacto disperso. Por el Lema 2.2.11, pgina 281,
existe un <
1
tal que K
()
= . Puesto que K
()
K
(+1)
es a lo ms numerable ya que cada
x K
()
K
(+1)
es un punto aislado de K
()
y como
K =
_
<
_
K
()
K
(+1)
_
K
()
=
_
<
_
K
()
K
(+1)
_
,
resulta que K es numerable. Esto termina la prueba de (B4).
(B-5) Teorema de Osgood. Sea (X, ||) un espacio de Banach y sea ( f
una familia de funciones

continuas a valores reales denidas sobre X puntualmente acotada, lo cual signica que para cada
x X, existe una constante no negativa M
x
tal que
sup
[ f
(x)[ M
x
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Entonces existen un conjunto abierto no vaco V en X y una constante M > 0 tal que
sup
, xV
[ f
(x)[ M,
Prueba. Para cada entero positivo n, denamos
F
n
=
x X : [ f
(x)[ n.
Puesto que cada funcin f
es continua, el conjunto x X : [ f
(x)[ n es cerrado y, por consi-

guiente, cada F
n
es cerrado en X. Ms an, X =

n=1
F
n
. Un llamado al Teorema de Categora de
Baire nos garantiza la existencia de n
0
tal que int(F
n
0
) ,=. Deniendo V = int(F
n
0
), resulta que
sup
, xV
[ f
n
(x)[ M.
El resultado anterior fue probado por Osgood en 1897 ([343]) el cual nos permite demostrar, de una
forma casi inmediata, el Teorema de Acotacin Uniforme.
(B-6) Teorema de Acotacin Uniforme 1. Sean (X, ||) un espacio de Banach y (Y, ||) un espacio nor-
mado. Si (T
)
D
es una familia de operadores lineales continuos de X en Y puntualmente acotada,
es decir, para cada x X existe una constante positiva M
x
tal que
sup
D
[[T
(x)[[ M
x
.
entonces ella es uniformemente acotada, vale decir, existe una constante positiva M tal que
sup
D
[[T
[[ M.
Prueba. Para cada D, la funcin f
: X 1 denida por f
(x) = [[T
(x)[[ para todo x X es

continua y, se sigue de nuestra hiptesis, que la familia ( f
)
D
es puntualmente acotada. Por el
Teorema de Osgood, existen una constante positiva M
y un conjunto abierto no vaco V en X tal que

sup
D, xV
[[T
(x)[[ M
.
En particular, existe algn x
0
V y algn > 0 tal que U(x
0
, ) V, y
sup
D, xU(x
0
,)
[[T
(x)[[ M
.
Ahora, si y X con [[y[[ < , entonces x
0
+y U(x
0
, ) y as, para todo D,
[[T
(y)[[ [[T
(x
0
+y)[[ +[[T
(x
0
)[[
2M
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Finalmente, si z X con z ,= 0 y si denimos y = (/2[[z[[)z, tendremos que [[y[[ < y, por la
observacin anterior, [[T
(y)[[ 2M
. Por esto, para todo D,

[[T
(z)[[ =
_
_
_
_
T
_
2[[z[[
y
__
_
_
_
=
2[[z[[
|T
(y)|
4M
|z|.
Por consiguiente, tomando M = 4M
/, tendremos que |T
(z)| M|z| para todo y todo

z X, es decir,
sup
D
[[T
[[ M.
Observemos que el Teorema de Acotacin Uniforme tambin se puede expresar del modo siguiente:
(B-7) Teorema de Acotacin Uniforme 2. Sean (X, ||) un espacio de Banach y (Y, ||) un espacio nor-
mado. Si (T
)
D
es una familia de operadores lineales continuos de X en Y, entonces una, y slo
una, de las siguientes dos condiciones se cumple:
(a) o existe una constante positiva M tal que
sup
D
[[T
[[ M,
(b) o existe un subconjunto G
-denso G de X tal que

sup
D
[[T
(x)[[ = , para todo x G.

Prueba. Considere la funcin f : X 1 denida por
f (x) = sup
D
|T
(x)| (x X)
y sea
G
n
=x X : f (x) > n (n = 1, 2, 3, . . .).
Como cada funcin x |T
(x)| es continua sobre X, resulta que f es inferiormente semicontinua

y, por consiguiente, cada G
n
es abierto. Dos opciones son viables: la primera es que todos los G
n
son
densos, en cuyo caso aplicamos el Teorema de Categora de Baire para obtener que la interseccin
G :=

n=1
G
n
=x X : f (x) = es densa en X lo que constituye la prueba de la parte (b). La otra
posibilidad es que exista algn n
0
N tal que G
n
0
no sea denso en X. En este caso existe una bola
abierta, digamos U(x
0
, ) en X, que no intersecta a G
n
0
. Esto implica, en particular, que
|T
(x)| n
0
siempre que D y x U(x
0
, ).
De esto ltimo se deduce que, para todo x U(x
0
, ) y todo D
|T
(x x
0
)| |T
x|+|T
x
0
| 2n
0
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Como en la prueba del Teorema de Acotacin Uniforme 1 se concluye de esto que
sup
D
[[T
[[
4n
0
lo que naliza la prueba de (a).

La segunda parte del resultado anterior algunos autores preeren en llamarlo el Principio of Conden-
sacin of Singularidades, mientras que el Teorema de Acotacin Uniforme 2 tambin se le conoce
con el nombre de Teorema de Banach-Steinhauss. Otra demostracin del Teorema de Acotacin
Uniforme 1 sin apelar al Teorema de Categora de Baire fue dada por S. Banach en su libro [29]
usando el mtodo de la joroba deslizante (Gliding hump). Ms recientemente, J. Hennefeld [210] uti-
lizando slo la nocin de series en un espacio de Banach y el hecho de que en tales espacios toda serie
absolutamente convergente es convergente (en la norma del espacio) nos proporciona otra manera de
probar el Teorema de Acotacin Uniforme.
Otra consecuencia del Teorema de Acotacin Uniforme es el siguiente:
(B-8) Teorema de Banach-Steinhauss. Sean (X, ||) un espacio de Banach, (Y, ||) un espacio normado
y (T
n
)
n=1
una sucesin de operadores lineales continuos de X en Y tal que lm
n
T
n
(x) existe para
cada x X. Si denimos T : X Y por la frmula
T(x) = lm
n
T
n
(x)
para todo x X, entonces:
a) T es lineal y continuo, y
b) |T | lminf
n
|T
n
|.
Prueba. a) La linealidad de T es consecuencia inmediata de la de cada T
n
. Por otro lado, puesto
que toda sucesin convergente es acotada, y ya que lm
n
T
n
(x) existe para cada x X, se sigue
que para cada x X existe una constante positiva M
x
tal que sup
n
[[T
n
(x)[[ M
x
, en otras palabras,
para cada x X, [[T
n
(x)[[ M
x
|x| para todo n N. Por el Teorema de Acotacin Uniforme, existe
una constante M > 0, tal que sup
n
[[T
n
[[ M. De esto y la continuidad de cada T
n
, se sigue que
[[T
n
(x)[[ M[[x[[ para todo x X. Finalmente, de la desigualdad
|T(x)| |T(x) T
n
(x)|+|T
n
(x)| |T(x) T
n
(x)|+M|x|
y el hecho de que T(x) = lm
n
T
n
(x), concluimos que
|T(x)| M|x| para todo x X,
es decir, T es continua.
b) Sea (n
k
)
k=1
una subsucesin de N tal que lm
k
|T
n
k
| = lminf
n
|T
n
|. Entonces
|Tx| |(T
n
k
T)(x)| + |T
nk
||x|, para todo x X y k N.
De esto se sigue, teniendo en cuenta que T(x) = lm
k
T
n
k
(x), que
|Tx| ( lm
k
|T
n
k
|)|x|, para todo x X,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
por lo que
|T | lm
k
|T
n
k
| = lminf
n
|T
n
|.
Esto naliza la prueba.
(B-9) Teorema de la Aplicacin Abierta. Sean (X, ||) y (Y, ||) espacios de Banach y T : X Y un
operador lineal acotado sobreyectivo. Entonces T es una aplicacin abierta; es decir, T transforma
conjuntos abiertos en X en conjuntos abiertos en Y.
Antes de abordar la prueba del Teorema de la Aplicacin Abierta, recordemos el siguiente hecho:
Lema (). Si (X, ||) es un espacio de Banach, entonces cada serie absolutamente convergente es
convergente.
Prueba del Lema (). Sea
n1
x
n
una serie absolutamente convergente en X. Si m
1
, m
2
N con
m
2
> m
1
, entonces
_
_
_
_
_
m
2
n=1
x
n

m
1
n=1
x
n
_
_
_
_
_

m
2
n=m
1
|x
n
|
el cual se puede hacer arbitrariamente pequeo siempre que m
1
se escoja lo sucientemente grande.
Prueba del Teorema de la Aplicacin Abierta. La prueba la haremos en dos actos. El primer acto
requiere que demostremos, en primer lugar, el siguiente:
Lema (). Sean (X, ||) y (Y, ||) espacios de Banach y T : X Y un operador lineal acotado.
Supongamos que para algn > 0 y algn R > 0 se cumple que
U
Y
(0, ) T(U
X
(0, R)).
Entonces
U
Y
(0, ) T(U
X
(0, R)).
Prueba del Lema (). Nuestro primer objetivo ser construir, para cada 0 < < 1/2 y cada vector
y U
Y
(0, ), una sucesin (x
n
)
n=1
en X tal que
n=1
|x
n
| < , x :=
n=1
x
n
y y = Tx =
n=1
Tx
n
.
Fijemos entonces 0 < < 1/2 y tomemos cualquier y U
Y
(0, ). Por hiptesis, y T(U
X
(0, R)) y,
as, existe y
1
T(U
X
(0, R)) tal que |y y
1
| < . Pero y
1
T(U
X
(0, R)) signica que existe un
x
1
U
X
(0, R) tal que y
1
= Tx
1
; es decir, |y Tx
1
| <, lo cual es equivalente a decir que yTx
1
U
Y
(0, ). Observemos, por otro lado, que la condicin U
Y
(0, ) T(U
X
(0, R)) implica que
U
Y
(0, ) = U
Y
(0, ) T(U
X
(0, R)) = T(U
X
(0, R))
y, en consecuencia,
y Tx
1
T(U
X
(0, R)).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Procediendo como en el paso anterior, existe un punto x
2
U
X
(0, ) tal que
|(y Tx
1
) Tx
2
)| < ;
es decir,
y Tx
1
Tx
2
U
Y
(0, ) T(U
X
(0, R)).
Si suponemos que este proceso se lleva a cabo indenidamente, habremos obtenido una sucesin
(x
n
)
n=1
en X tal que para todo n N, x
n
U
X
(0,
n1
R) y
y Tx
1
Tx
2
Tx
n
U
Y
(0,
n
) T(U
X
(0,
n
R)).
De esto, y el hecho de que |x
n
| <
n1
R, obtenemos
n=1
|x
n
| < y y =
n=1
Tx
n
.
Por otro lado, como X es completo, el Lema () nos dice que la serie
n=1
x
n
converge a algn x X
y entonces, la continuidad de T nos garantiza que y = Tx =
n=1
Tx
n
. Vamos de inmediato a vericar
que x U
X
(0, R/(12)). En efecto, las desigualdades
|x| = lm
n
_
_
_
_
_
n
i=1
x
i
_
_
_
_
_
lm
n
n
i=1
|x
i
|
R
1
<
R
12
,
muestran que x U
X
(0, R/(12)) y, por lo tanto, y = Tx T
_
U
X
(0, R/(12))
_
.
Hasta ahora hemos demostrado que
U
Y
(0, ) T
_
U
X
(0, R/(12))
_
, para todo 0 < < 1/2.
Para nalizar el primer acto de la prueba elijamos, de nuevo, un elemento cualquiera y en U
Y
(0, ).
Entonces |y| <. Escojamos ahora un d > 0 de modo que |y| < d < . Entonces
y U
Y
(0, d) =
d
U
Y
(0, )
T
_
U
X
(0, R/(12))
_
= T
_
U
X
(0, dR/(12))
_
Puesto que d/ < 1, podemos redenir > 0 eligindolo sucientemente pequeo de modo que siga
siendo menor que 1/2 pero que, adems, cumpla la desigualdad dR/(12) < R. De aqu se sigue
que y T(U
X
(0, R)) y, en consecuencia, U
Y
(0, ) T(U
X
(0, R)). Esto termina la prueba del primer
acto.
El segundo acto es demostrar que
para cada r > 0, existe un > 0 tal que U
Y
(0, ) T(U
X
(0, r)). ()
2
En efecto, jemos r > 0 y observemos que como T es sobreyectiva, entonces
Y =
_
n=1
T
_
U
X
(0, n)
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Se sigue del Teorema de Categora de Baire que int
_
T
_
U
X
(0, n
0
)
__
,= para algn n
0
N. Por la
simetra y convexidad de T
_
U
X
(0, n
0
)
_
se obtiene que 0 int
_
T
_
U
X
(0, n
0
)
__
y, en consecuencia,
tambin 0 int
_
T
_
U
X
(0, r)
__
. Por esto,
U
Y
(0, ) T
_
U
X
(0, r)
_
, para algn > 0.
Un llamado al Lema () nos dice
U
Y
(0, ) T
_
U
X
(0, r)
_
,
terminado as la prueba de ()
2
.
Con estos ingredientes a la mano es fcil ver que T es una aplicacin abierta. En efecto, sea entonces
G un conjunto abierto no vaco en X y suponga que y T(G). Veamos que T(G) contiene una bola
abierta con centro en y. Sea x G tal que y = Tx. Puesto que G es abierto, existe un r > 0 tal que
U(x, r) G y, por consiguiente, T(U
X
(x, r)) T(G). Usemos ahora ()
2
para obtener un > 0 tal
que U
Y
(0, ) T(U
X
(0, r)) y nalmente observe que
U
Y
(y, ) = y +U
Y
(0, ) Tx + T
_
U
X
(0, r)
_
= T
_
U
X
(x, r)
_
T(G)
lo que demuestra que T(G) es abierto y termina la prueba.
Los siguientes resultados son consecuencias inmediata del Teorema de la Aplicacin Abierta:
Corolario 2.2.4. Sea (X, ||) un espacio de Banach. Entonces cualquier funcional lineal no nulo
x
, es una aplicacin abierta.

Prueba. Sea x
0 y sea K. Como x
,= 0, podemos elegir un x
0
X de modo tal que
x
(x
0
) = 1. Entonces x
(x
0
) = lo cual prueba que x
es sobreyectivo y el Teorema de la Aplicacin

Abierta termina la prueba.
Corolario 2.2.5. Sean (X, ||) y (Y, ||) espacios de Banach y T : X Y un operador lineal acotado
tal que T(X) es de segunda categora en Y. Entonces T(X) =Y.
Prueba. Puesto que
T(X) =
_
n=1
T
_
U
X
(0, n)
_
y ya que T(X) es de segunda categora en Y, el Teorema de Categora de Baire nos garantiza la
existencia de un n
0
N tal que T
_
U
X
(0, n
0
)
_
tiene interior no vaco. Esto quiere decir que existe un
y
0
Y y as como un r
0
> 0 tal que
U
Y
(y
0
, r
0
) T
_
U
X
(0, n
0
)
_
.
Se sigue de la simetra de U
Y
(y
0
, r
0
) y la convexidad de T
_
U
X
(0, n
0
)
_
que
U
Y
(0, r
0
) =
1
2
U
Y
(y
0
, r
0
) +
1
2
U
Y
(y
0
, r
0
)
1
2
T
_
U
X
(0, n
0
)
_
+
1
2
T
_
U
X
(0, n
0
)
_
= T
_
U
X
(0, n
0
)
_
.
Un llamado al Lema () nos revela que
U
Y
(0, r
0
) T
_
U
X
(0, n
0
)
_
,
de donde se deduce que T(X) =Y.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Corolario 2.2.6. (
1
, ||
1
) es de primera categora en (
2
, ||
2
). En particular,
G =
_
(x
n
)
n=1

2
:
n=1
[x
n
[ =
_
es un G
-denso en (
2
, ||
2
).
Prueba. Puesto que, como conjuntos,
1

2
, entonces la aplicacin inclusin j :
1

2
denida
por j(x) = x para todo x
1
es un operador lineal continuo ya que
| j |
2
= sup
|x|
1
1
|x|
2
sup
|x|
1
1
|x|
1
1.
Si
1
fuese de segunda categora en
2
, entonces el corolario anterior nos dira que j(
1
) =
2
, lo cual
es imposible ya que, por ejemplo, la sucesin (1/n)
n=1

2

1
. Esto prueba que (
1
, ||
1
) es de
primera categora en (
2
, ||
2
) y se sigue del Teorema de Categora de Baire que
2

1
= G es un
G
-denso en (
2
, ||
2
).
Un argumento enteramente similar puede ser llevado a cabo para demostrar que
p
es de primera
categora en
q
para cualesquiera 1 p < q <.
Muchas funciones continuas, como sabemos, se pueden representar por medio de una serie de poten-
cia. Por ejemplo, si a = (a
n
)
n=0

1
, entonces la funcin f : [0, 1] 1 denida por
f (x) =
n=0
a
n
x
n
C[0, 1].
es, por el M-test de Weierstrass, una funcin continua. Surge, como natural, preguntarse: qu tan
grande, en el sentido de la categora de Baire, es el conjunto
_

n=0
a
n
x
n
C[0, 1] :
n=0
[a
n
[ <
_
?
Como otra aplicacin del Corolario 2.2.5, tenemos lo siguiente.
Corolario 2.2.7. El conjunto
G =
_

n=0
a
n
x
n
C[0, 1] :
n=0
[a
n
[ =
_
es un G
-denso en (C[0, 1], ||
).
Prueba. Es suciente demostrar que el conjunto
F = C[0, 1] G =
_

n=0
a
n
x
n
C[0, 1] :
n=0
[a
n
[ <
_
es de primera categora en (C[0, 1], ||
). Para ver esto ltimo, considere el operador lineal T :

_
1
, ||
1
_
_
C[0, 1], ||
_
dado por
T(a)(x) =
n=0
a
n
x
n
, para todo x [0, 1],
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
donde a = (a
n
)
n=0

1
. T est bien denido y es fcil ver que l es lineal y continuo. Observe
que T(
1
) = F. Vamos a demostrar de inmediato que T no puede ser sobreyectivo. Suponga, por el
contrario, que T(
1
) =C[0, 1]. Entonces, para la funcin f C[0, 1] dada por f (x) =1/1+x, podemos
encontrar un a = (a
n
)
n=0

1
tal que T(a) = f , es decir,
n=0
a
n
x
n
=
1
1+x
,
la que tambin se puede escribir en la forma
n=0
a
n
x
n
+
n=0
a
n
x
n+1
= a
0
+
n=0
_
a
n
+a
n+1
_
x
n+1
= 1.
De esto se sigue que a
0
=1, a
1
=1, a
2
=1, . . ., de donde resulta que a = (1, 1, 1, 1, . . .) ,
1
. Esta
contradiccin establece que T no puede ser sobreyectiva y, entonces, por el Corolario 2.2.5, F =T(
1
)
es de primera categora.
Ya hemos visto que entre espacios topolgicos una biyeccin continua no necesariamente es un ho-
meomorsmo. Sin embargo, si nuestros espacios topolgicos son espacios de Banach y las aplica-
ciones continuas son operadores lineales continuos, tenemos unos de los resultados ms importantes
en la Teora de los Operadores Lineales Acotados que se obtiene como consecuencia del Teorema de
la Aplicacin Abierta.
Corolario 2.2.8 (Teorema de la Aplicacin Inversa). Sean (X, ||) y (Y, ||) espacios de Banach y
T : X Y un operador lineal acotado biyectivo. Entonces T
1
es un operador lineal acotado.
Prueba. Es claro que T
1
: Y X existe y es lineal. Para probar que l es acotado, tomemos cualquier
conjunto abierto G en X. Por el Teorema de la Aplicacin Abierta, T(G) es abierto en Y y ya que
_
T
1
_
1
(G) = T(G), resulta que T
1
es continua.
Entre las aplicaciones inmediatas del Teorema de la Aplicacin Inversa est el siguiente:
(B-10) Teorema del Grco Cerrado. Sean (X, ||
X
) y (Y, ||
Y
) espacios de Banach y sea T : X Y una
transformacin lineal con grco cerrado, esto es,
Gra(T) =
_
(x, Tx) : x X
_
es un subconjunto cerrado de X Y. Entonces T es continua.
Observe que Gra(T) es un subespacio lineal del espacio normado (X Y, ||), donde |(x, y)| =
|x|
X
+|y|
Y
para todo (x, y) X Y. La parte crucial en la demostracin del Teorema del Grco
Cerrado consiste en usar el siguiente hecho:
Lema 2.2.2. Sean (X, ||
X
) y (Y, ||
Y
) espacios normados y sea T : X Y una transformacin
lineal. Son equivalentes:
(1) Gra(T) es cerrado en X Y.
(2) Si (x
n
)
n=1
es una sucesin en X tal que los lmites
lm
n
x
n
= x y lm
n
Tx
n
= y (a)
existen, entonces y = Tx.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. (2) (1). Suponga que (x, y) Gra(T). Entonces existe una sucesin (x
n
)
n=1
en X tal que
lm
n
(x
n
, Tx
n
) = (x, y).
Se sigue de la denicin de la topologa producto que x
n
x y Tx
n
y. Usando ahora (a) vemos
que y = Tx y, en consecuencia, (x, y) Gra(T). Hemos probado que Gra(T) es cerrado.
(1) (2). Suponga que Gra(T) es cerrado en X Y y sea (x
n
)
n=1
en X satisfaciendo (a). Entonces
|(x
n
, Tx
n
) (x, y)| = |x
n
x|
X
+|Tx
n
y|
Y
0.
Como Gra(T) es cerrado en X Y, resulta que (x, y) Gra(T) y, por consiguiente, y = Tx. Esto
termina la prueba.
Prueba del Teorema del Grco Cerrado. Observe que como (X, ||
X
) y (Y, ||
Y
) son espacios
de Banach tambin lo es (X Y, ||) y, en consecuencia, (Gra(T), ||) por ser cerrado en X Y es
igualmente de Banach. Consideremos la aplicacin P : Gra(T) X denida por P(x, Tx) = x para
todo (x, Tx) Gra(T). Claramente P es una aplicacin lineal biyectiva la cual es continua pues
|P(x, Tx)|
X
= |x|
X
|x|
X
+|Tx|
Y
= |(x, Tx)|, para todo (x, Tx) Gra(T).
Por el Teorema de la Aplicacin Inversa, Corolario 2.2.8, P
1
es una aplicacin continua, donde
P
1
: X Gra(T) viene dada por P
1
(x) = (x, Tx) para todo x X. Esto signica que existe una
constante M > 0 tal que
_
_
P
1
(x)
_
_
M|x|
X
para todo x X y, por lo tanto,
|Tx|
Y
|x|
X
+|Tx|
Y
= |(x, Tx)| =
_
_
P
1
(x)
_
_
M|x|
X
, para todo x X.
Por esto, T es continua y naliza la prueba.
Un resultado interesante producto de los Teoremas del Grco Cerrado, de Arzel-Ascoli y del Lema
de Riesz, debido originalmente a Fonf, V. Gurariy, y a V. Kade c [161] establece lo siguiente:
Teorema 2.2.6 (Fonf-Gurariy-Kade c). En el espacio de Banach (C[0, 1], ||
), si X es un subespa-
cio norma-cerrado de C[0, 1] compuesto nicamente de funciones de clase C
1
, entonces dim(X) <.
Prueba. Dena el operador D : X C[0, 1] por D( f ) = f

para toda f X. Claramente D es lineal y
se sigue del Teorema C
1
, pgina 132, que D posee grco cerrado. Como (X, ||
) es un espacio de
Banach, el Teorema del Grco Cerrado nos dice que T es continuo, por lo que existe una constante
M > 0 tal que |D( f )|
M| f |
para toda f X, y por lo tanto,

_
_
f

_
_
M
para toda f B
X
=g X : |g|
1. Sea >0 y tomemos /(1+M). Si x, y [0, 1] satisfacen

0 <[xy[ <, entonces se sigue del Teorema del Valor Medio y la desigualdad anterior que para cada
f B
X
, existe un entre x y y tal que
[ f (x) f (y)[ = [ f

()[[x y[
_
_
f

_
_
1+M
<
Esto prueba que B
X
es equicontinuo, y como B
X
es norma-acotado, el Teorema de Arzel-Ascoli,
Teorema 1.4.15, pgina 26, nos garantiza que B
X
es relativamente compacto en
_
C[0, 1], ||
_
. En
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
particular, por ser B
X
norma-cerrado, tenemos que B
X
es norma-compacto. Un llamado al Teorema de
Riesz, pgina 211, nos dice que dim(X) < y naliza la prueba.
Es importante destacar que si [0, 1] es reemplazado por [0, 1) en el Teorema de Fonf-Gurariy-Kade c,
entonces, como fue demostrado por Wojtaszczyk (vase, [442], Theorem 1), el espacio X es isomorfo
a un subespacio normado cerrado de c
0
.
Recordemos que un operador lineal acotado T : X Y, donde X y Y son espacios de normados, se
llama compacto si T(B
X
) es compacto. Similarmente, diremos que T es un operador dbilmente
compacto si T(B
X
)

es compacto en la topologa dbil de Y. Observe que, por la continuidad de
T, T(B
X
) = T(U
X
) T(U
X
), de modo que: T es compacto si, y slo si, T(U
X
) es compacto. Lo
mismo vale para operadores dbilmente compactos. Otra consecuencia inmediata del Teorema de la
Aplicacin Abierta en combinacin con el Teorema de Riesz es el siguiente:
Corolario 2.2.9. Sean (X, ||) y (Y, ||) son espacios de Banach, ambos de dimensin innita, y
suponga que T : X Y es un operador lineal acotado sobreyectivo. Entonces T nunca es compacto.
Prueba. Suponga que T es compacto. Por el Teorema de la Aplicacin Abierta, T(U
X
) es un abierto
incluido en T(B
X
) y, entonces, por la compacidad de T(B
X
) resulta que T(U
X
) tambin es norma
compacto, un hecho que es imposible por el Teorema de Riesz.
Sin embargo, si se omite el requerimiento de completitud en el corolario anterior, la conclusin puede
no ser verdadera: existen espacios normados no completos X y Y, ambos de dimensin innita, y
un operador lineal acotado T : X Y que es compacto y sobreyectivo (vase, [409]). A pesar de ese
ejemplo, si ocurre que X =Y, entonces ningn operador compacto T : X X puede ser sobreyectivo.
Para demostrar esto ltimo debemos recordar que:
Hecho I ([299], Lemma 1.7.10, p. 54). Si N es un subespacio lineal cerrado de un espacio normado
(X, ||), entonces la aplicacin cociente Q : X X/N denida por Q(x) = x +N para todo x X,
es lineal, continua, abierta y sobreyectiva. Ms aun,
Q(U
X
) =U
X/N
. (1)
Recordemos que si T : X Y es un operador lineal continuo, entonces el kernel de T, denido por
Ker(T) =x X : Tx = 0, es un subespacio lineal cerrado de X. Otro hecho importante de debemos
destacar referente al cociente X/Ker(T) es el siguiente:
Hecho II ([299], Theorem 1.7.13, p. 55). Si T : X X es un operador lineal continuo, entonces la
aplicacin lineal asociada

T : X/Ker(T) X denida por

T(x +Ker(T)) = Tx para todo x X, es
continua e inyectiva. Adems, se cumple que T(X/Ker(T)) = T(X).
En particular, si T es compacto, entonces

T tambin lo es. En efecto, usando (1) y tomando la norma-
clausura del conjunto
T
_
U
X/Ker(T)
_
=

T
_
Q(U
X
)
_
= T
_
U
X
_
vemos que

T es compacto. Observe que si X es un espacio normado de dimensin innita, entonces
X/Ker(T) tambin es de dimensin innita (si X/Ker(T) fuese de dimensin nita, entonces Ker(T)
sera de codimensin nita y, por consiguiente, la dimensin de X sera nita).
Teorema 2.2.7 (Spurn). Sea (X, ||) un espacio normado de dimensin innita y sea T : X X un
operador compacto. Entonces T no puede ser sobreyectivo.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Observe que, por el Corolario 2.2.9, la conclusin es inmediata si X es completo. Suponga
entonces que X no es completo pero que existe un operador T : X X que es compacto y sobreyectivo.
Puesto que T(B
X
) = T(U
X
), entonces K = T(U
X
) es compacto y, adems, X =

n=1
nK. Gracias a la
sobreyectividad de T, tenemos que
K X = T(X) =
_
n=1
T(nK) y K =
_
n=1
KT(nK).
Como K es compacto y los conjuntos K T(nK) son cerrados por ser compactos, el Teorema de
Categora de Baire para espacios compactos nos revela que al menos uno se esos conjuntos tiene
interior no vaco, es decir, existe un n N y un conjunto abierto no vaco U X tal que
,= KU K T(nK). (2)
Puesto que K es la norma-clausura de T(U
X
), podemos encontrar un y T(U
X
) y un r > 0 tal que
y +rU
X
U. Escojamos x U
X
con y = Tx y usemos la continuidad de T para elegir un s > 0 de
modo que
x + sU
X
U
X
y T(sU
X
) rU
X
. (3)
De (2) y (3) se sigue que
T
_
x +sU
X
_
T(U
X
)
_
y +rU
X
_
T(nK). (4)
Finalmente, la inclusin anterior implica que
T
_
Q(x) +sU
X/Ker(T)
_
=

T
_
Q(x +sU
X
)
_
= T
_
x +sU
X
_
T(nK) =

T
_
Q(nK)
_
.
Puesto que

T es inyectivo, esta ltima inclusin implica que
Q(x) +sU
X/Ker(T)
Q(nK) (5)
lo cual constituye, por el Teorema de Riesz, una contradiccin, pues hemos encontrado una bola
abierta incluida en el compacto Q(nK). Por esto T no puede ser sobreyectivo.
El argumento de Spurn en la prueba del resultado anterior se puede llevar a cabo para el caso de
operadores dbilmente compactos sobreyectivos casi sin modicaciones.
Teorema 2.2.8 (Mena Rodrguez). Sean (X, ||) un espacio normado y T : X X un operador
dbilmente compacto sobreyectivo. Entonces X/Ker(T) es un espacio de Banach reexivo.
Prueba. La demostracin es casi idntica a la anterior, el nico cambio es lo siguiente: el conjunto
K = T(U
X
)

ahora es dbilmente compacto y se repite el argumento anterior hasta llegar a (5), es
decir, Q(x) +sU
X/Ker(T)
Q(nK). Teniendo en cuenta que Q(nK) es dbilmente compacto, entonces
de la inclusin anterior se deduce que B
X/Ker(T)
es dbilmente compacto y por el Corolario 2.2.1, se
concluye que X/Ker(T) es reexivo.
Es un hecho ya establecido, conocido como el Lema de Riemann-Lebesgue, que:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Lema de Riemann-Lebesgue. Si f L
1
(), entonces lm
[n[

f (n) = 0, donde (
f (n))
n=
es la
sucesin de los coecientes de Fourier de f ; es decir,
f (n) =
1
2
_

f (t)e
int
dt, para todo n Z.
Prueba. La demostracin de este hecho resulta sencilla si se tiene en cuenta que:
(a) Los polinomios trigonomtricos son norma-densos en L
1
(), y
(b) si p es un polinomio trigonomtrico y si N es el grado de p, entonces para todo n Z con [n[ >N,
p(n) =
1
2
_

p(t)e
int
dt = 0.
En efecto,sea >0 y escojamos p un polinomio trigonomtrico tal que | f p|
1
<. Si N es el grado
de p, entonces para todo n Z con [n[ > N, se cumple que

f (n)

f (n) p(n)
1
2
_

_
f (t) p(t)
_
e
int
dt
| f p|
1
< ,
lo cual quiere decir que lm
[n[

f (n) = 0.
El resultado de Riemann-Lebesgue nos dice que si f L
1
(), entonces la sucesin de los coecientes
de Fourier de f , (
f (n))
n=
, es un elemento de c
0
(Z) = (c
n
)
n=
: lm
[n[
c
n
= 0, y resulta
entonces natural preguntarse por el recproco, es decir, si cualquier sucesin (c
n
)
n=
en c
0
(Z) son
los coecientes de Fourier de alguna funcin f L
1
(), o dicho de otro modo, dada la sucesin
(c
n
)
n=
en c
0
(Z), existe alguna funcin f en L
1
() tal que
c
n
=

f (n), para todo n Z?
Como una aplicacin del Teorema de la Aplicacin Abierta vamos a demostrar que la respuesta es, en
general, falsa.
Corolario 2.2.10. Existe una sucesin (c
n
)
n=
c
0
(Z) que no son los coecientes de Fourier de
ninguna funcin f L
1
().
Prueba. Consideremos el operador lineal T : L
1
() c
0
(Z) denido por
T( f ) =
_
f (n)
_
nZ
.
El Lema de Riemann-Lebesgue garantiza que, efectivamente, T( f ) c
0
(Z) por lo que T est bien
denido. Por otro lado, puesto que

f (n)
1
2
_

f (x)e
inx
dx
| f |
1
,
entonces |T( f )|
| f |
1
, lo cual muestra que T es continuo.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Vamos a vericar que T es inyectivo. Supongamos que T( f ) = 0 para alguna f L
1
(). Entonces
f (n) = 0 para todo n Z y, por consiguiente, S

n
( f , t) =
n
k=n

f (n)e
ikt
= 0 para todo n N. Por un
resultado bien conocido debido a Fejr (vase, por ejemplo, [145], Teorema 1.10) sabemos que
n
( f , t) =
S
0
( f , t) + +S
n
( f , t)
n+1
converge a f en la norma de L
1
(). Por esto, f = 0 y, por lo tanto, T es inyectiva.
Qu ocurre si cada sucesin (c
n
)
n=1
c
0
(Z) son los coecientes de Fourier de alguna funcin f en
L
1
()?. En este caso estaramos armando que la aplicacin T es sobreyectiva y, en consecuencia,
podemos invocar el Teorema de la Aplicacin Inversa para garantizar que su inversa T
1
es continuo,
lo cual es equivalente a la existencia de una constante positiva m tal que
m| f |
1
|T( f )|
, para toda f L
1
(). ()
Sin embargo, como los ncleos de Dirichlet, D
n
, n N, pertenecen a L
1
() y lm
n
|D
n
|
1
= ,
entonces sustituyendo los D
n
en () y tomando lmite obtendramos que
= m lm
n
|D
n
|
1
lm
n
|T(D
n
)|
= lm
n

D
n
= 1.
Esta fatal incongruencia nos revela que T no puede ser sobreyectiva y termina la prueba.
(B-11) Si (X, ||) es un espacio de Banach separable de dimensin innita, entonces:
(a) El conjunto PC
(||
, B
X
) de todos los puntos de
-continuidad de la restriccin de ||
a
B
X
es un G
-denso en (B
X
,
), y
(b) PC
(||
, B
X
) S
X
, y en consecuencia, S
X
tambin es G
-denso en (B
X
,
).
Prueba. (a) Sabemos que si (X, ||) es un espacio normado y si
||
es la topologa generada por la
mtrica-norma, entonces || : (X,
||
) 1, es una aplicacin continua. Por otro lado, ||
es siempre
- inferiormente semicontinua y si X es separable, entonces (B

X
,
) es un espacio compacto
metrizable y, en consecuencia, un espacio mtrico completo. Por el Ejemplo 1, pgina 100, ||
es
- continua sobre un subconjunto G
-denso de (B
X
,
), pero no es
- continua sobre (B
X
,
) ya
que
int
_
B
X
_
es vaco.
(b) Sea x
0
B
X
y suponga que |x
0
| <1. Veamos que la bola
-abierta U(x
0
, ), donde =1|x
0
|,
no contiene ningn
-entorno de x
0
. En efecto, en primer lugar observe que U(x
o
, ) S
X
= y
ahora considere a V := V(x
o
; x
1
, . . . , x
n
; ), un
-entorno arbitrario de x
0
. Puesto que V contiene al
subespacio x
0
+H, donde H =x
: x
(x
k
) =0, k =1, . . . , n y como (x
0
+H)S
X
,=, resulta
que V U(x
0
, ). Esto prueba que PC
(||
, B
X
) S
X
, y en consecuencia, S
X
es, por la parte (a),
denso en (B
X
,
). Que S
X
es un G
en (B
X
,
) sigue del hecho de que lo podemos escribir en la

forma S
X
=

n=1
_
x
B
X
: |x
| > 1
1
n
_
.
(B-12) Sea (X, ||) un espacio de Banach con dual separable y sea K un subconjunto
-compacto de X
.
Entonces la aplicacin identidad, Id : (K,
) (K, ||
X
), es continua en un subconjunto G
-denso
de (K,
).
Prueba. Para cada > 0, denamos el conjunto
G
=
__
W K : W es
abierto en X
y ||
diam(W K) <
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Claramente cada G
es
abierto en K. Ms an, los puntos de
||
continuidad de Id son
exactamente los que se encuentran en

n=1
G
1/n
. Si logramos probar que cada G
es
-denso en K,
entonces invocaremos el Teorema de Categora de Baire para concluir que

n=1
G
1/n
es un
-
denso en K. Veamos entonces que cada G
es
-denso en K. Como X
es separable, existe una

sucesin (x
n
)
n=1
tal que
K =
_
n=1
_
K
_
x
n
+

2
B
X
__
.
Pero ya que cada uno de los conjuntos K(x
n
+

2
B
X
) es
-cerrado, el Teorema de Categora de Baire

(Teorema 1.8.6) nos asegura que el conjunto

n=1
W
n
es
-denso en K, donde W
n
es el
-interior
relativo de K(x
n
+

2
B
X
). Puesto que ciertamente cada W
n
tiene norma-dimetro , resulta que su
unin forma parte de G
. Por esto cada G
es
-denso en K y termina la prueba.

Si no se exige que el espacio separable X tenga dual separable, podemos obtener la misma conclusin
del resultado anterior si slo pedimos que X
satisfaga la propiedad de Kadec-Klee-
.
Sea (X, ||) un espacio de Banach. Diremos que X
tiene la propiedad de Kadec-Klee-
si la
topologa de la norma y la topologa
coinciden sobre S
X
, es decir, para cada red (x
) en X
, las
condiciones
x
y |x
| =|x
|,
implican que x
||
x
.
Teorema. Sea (X, ||) un espacio de Banach separable cuyo dual X
satisface la propiedad de
Kadec-Klee-
y sea K un subconjunto
-compacto de X
. Entonces la aplicacin identidad,

Id : (K,
) (K, ||
X
), es continua en un subconjunto G
-denso de (K,
).
Prueba. Siendo X separable, el conjunto (K,
) es un espacio compacto metrizable, en parti-

cular, un espacio mtrico completo. Adems, como la norma dual ||
X
de X
es inferiormente
semicontinua sobre (K,
), entonces se sigue del Teorema Genrico de Baire-Kuratowski (vase,

Ejemplo 1, pgina 100) que el conjunto de puntos de (K,
) donde ||
X
es continua es un G
-
denso. La propiedad de Kadec-Klee-
nos garantiza que Id : (K,
) (K, ||
X
) es continua en
un subconjunto G
-denso de (K,
).
Sin referencia alguna a la separabilidad del espacio de Banach X, M. Talagrand en [420] obtiene la
siguiente generalizacin de los dos resultados anteriores.
Teorema de Talagrand. Sean (X, ||) un espacio de Banach y K un subconjunto de X
que es
-
compacto y dbilmente K-analtico. Entonces existe un subconjunto G
-denso G de K tal que la

aplicacin identidad Id : (K,
) (K, ||) es continua en todo punto de G.

Vase la pgina 257 para la denicin de espacio dbilmente K-analtico .
(B-13) Sea (X, ||) un espacio de Banach de dimensin innita. Entonces S
X
es un subconjunto G
-denso de
(B
X
, ).
Prueba. Puesto que B
X
es convexo y S
X
B
X
, se sigue del Teorema de Mazur que S
X
B
X
. Sea
x
0
B
X
S
X
. Para demostrar que x
0
S
X
, es suciente considerar cualquier -entorno abierto bsico
V de x
0
y probar que V S
X
,=. Sea entonces V un -entorno bsico de x
0
, es decir,
V =
_
x X : [x
i
(x x
0
)[ < , i = 1, . . . , n
_
,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
donde > 0 y x
1
, . . . , x
n
X
. Tomemos cualquier 0 ,= x
n
i=1
Ker(x
i
) y observemos que la funcin
g : [0, +) [0, +) denida por g(t) =|x
0
+tx| es continua y satisface las condiciones:
g(0) < 1 y lm
t+
g(t) = +.
La continuidad de g nos garantiza la existencia de algn t
0
>0 tal que g(t
0
) =1, es decir, |x
0
+t
0
x| =
1, lo cual signica que el punto x
0
+t
0
x S
X
. Veamos ahora que x
0
+t
0
x tambin pertenece a V.
En efecto, para cualquier i = 1, . . . , n, tenemos que [x
i
(x
0
+t
0
x x
0
)[ = t
0
[x
i
(x)[ = 0 < . Por esto,
x
0
+t
0
x V S
X
, lo cual prueba que B
X
S
X
y, por lo tanto, S
X
= B
X
. Para nalizar la prueba,
notemos que si para cada n N, denimos
G
n
=
_
x B
X
: |x | > 1
1
n
_
,
resulta que G
n
es abierto en (B
X
, ) y S
X
=
n=1
G
n
.
(B-14) Si (X, ||) es un espacio de Banach de dimensin innita, entonces (X, ) no es un espacio de Baire.
Prueba. En efecto, por el resultado anterior sabemos que toda bola norma-cerrada en X es nunca
densa en la topologa dbil de X; es decir, no posee interior dbil. As,
int
B(x, r) =,
donde int
B(x, r) denota el interior de B(x, r) en la topologa dbil de X. Si (X, ) fuera un espacio

de Baire, entonces como
X =
_
n=1
B(0, n)
tendramos, por el Teorema de Categora de Baire, que alguna bola cerrada B(0, n) debera tener
interior dbil no vaco, lo cual es imposible.
Si bien es cierto que (X, ) no es un espacio de Baire cuando (X, ||) es un espacio de Banach de
dimensin innita, en algunos casos subconjuntos ms pequeos pueden serlo, como por ejemplo
(B
X
, ). Concretamente:
(B-15) Si (X, ||) es un espacio de Banach reexivo, entonces (B
X
, ) es un espacio de Baire.
Prueba. Esto sigue del hecho de que en espacios reexivos la bola unitaria cerrada es dbilmente
compacta (Corolario 2.2.1).
Existen otras condiciones bajo la cual (B
X
, ) es un espacio de Baire. Por ejemplo, cuando la norma
del espacio tiene la propiedad de Kadec-Klee. La norma || del espacio de Banach X posee la pro-
piedad de Kadec-Klee o es una norma de Kadec-Klee si la topologa de la norma y la topologa
dbil coinciden sobre S
X
, es decir, si (x
n
)
n=1
es una sucesin en S
X
y x
0
es un elemento de S
X
tal que
x
n
x
0
dbilmente, entonces |x
n
x
0
| 0.
(B-16) Sea (X, ||) un espacio de Banach. Si la norma || posee la propiedad de Kadec-Klee, entonces
(B
X
Prueba. La demostracin se sustenta sobre los siguientes dos hechos conocidos:
(1) S
X
es un G
-denso en (B
X
, ). (Ejemplo B-13).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
(2) Un espacio topolgico de Hausdorff Y es de Baire si dicho espacio contiene un subespacio de
Baire denso. (Teorema 1.8.3, pgina 48).
Veamos ahora que (B
X
, ) es un espacio de Baire. En efecto, como (S
X
, ||) es un espacio de Baire (=
espacio mtrico completo con la topologa de la norma) y ya que nuestra norma satisface la propiedad
de Kadec-Klee, resulta (S
X
, ) es un espacio de Baire. El resultado se deduce inmediatamente de (1)
y (2).
Puesto que la norma cannica ||
1
de
1
tiene la propiedad de Kadec-Klee (vase el Ejemplo (B22)
ms abajo), entonces (B
1
, ) es un espacio de Baire. La situacin para la bola unitaria de c
0
es
completamente diferente.
Teorema. (B
c
0
, ) no es un espacio de Baire.
Prueba. Para cada n N, denamos
B
n
=
j=n
_
x = (x
k
)
k=1
B
c
0
: [x
j
[ 1/2
_
.
Es claro que cada conjunto B
n
es cerrado en B
c
0
en su topologa dbil, la cual coincide all, en dicho
conjunto, con la topologa puntual. Veamos ahora que B
n
tambin es nunca-denso en esta topologa.
En efecto, dado > 0, x B
n
y m N, existe un x B
c
0
tal que [ x
j
x
j
[ < para todo j m y
[ x
m axm+1,n
[ > 1/2, de modo que x , B
n
. Esto nos revela que B
n
es nunca-denso-denso en topologa
dbil y, por lo tanto, B
c
0
=
n=1
B
n
es de primera categora en s mismo en su topologa dbil, es decir,
(B
c
0
, ) no es un espacio de Baire.
(B-17) Si (X, ||) es un espacio de Banach tal que X
es separable, entonces (B
X
Prueba. Visto X como un subconjunto de X
, tenemos que
X
=x
: x
(x) = 0, para todo x X.

Dotemos ahora a X
de la
topologa de X
. Puesto que (B
X
,
) es un compacto metrizable,
l es separable y, por consiguiente, podemos hallar una sucesin densa (y
n
)
n=1
en (B
X
,
). Por el
Teorema de Goldstine, para cada n N, existe una sucesin (x
n,k
)
k=1
en B
X
tal que lm
k
x
n,k
= y
n
en la
topologa de X
. Por el Teorema Bipolar sabemos que X = (X
, donde A
denota el
polar en X
de un subconjunto A de X
. Por esto,
B
X
= X B
X
= (X
B
X
n=1
m=1
_
k=m
_
x
B
X
:
_
x
n,k
l
_
<
1
m
_
.
Veamos esto ltimo. Fijemos n N y observemos que
m=1
_
k=m
_
x
B
X
:
_
x
n,k
l
_
<
1
m
_
consiste precisamente de los elementos de X
para los cuales existe una subsucesin (k

l
)
l=1
tal que
lm
l
_
x
n,k
l
_
= 0. (1)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Pero
lm
k
x
n,k
= y
n
, de modo que lm
k
x
_
x
n,k
_
existe para cada x
y es igual a
y
n
(x
). Lo acabado de probar nos dice que (1) es equivalente a y

n
(x
) = 0, de donde se concluye que

x
n=1
m=1
_
k=m
_
x
B
X
:
_
x
n,k
l
_
<
1
m
_
y
n
(x
) = 0 para todo n N
x
(X
.
Lo anterior nos muestra que B
X
es un G
en (B
X
,
) y como (B
X
,
) es un compacto metrizable,
en particular, un espacio mtrico completo, entonces el Teorema de Alexandroff-Hausdorff, pgina 64,
nos revela que (B
X
, ) es completamente metrizable, y por consiguiente, un espacio de Baire.
(B-18) Si (X, ||) es un espacio de Banach de dimensin innita, entonces (X, ) no es metrizable.
Prueba. Supongamos que (X, ) es metrizable. Sea d la mtrica que genera la topologa dbil de X.
Entonces (X, d) satisface el primer axioma de numerabilidad y, por consiguiente, cada punto de X
posee una base de entornos a lo sumo numerable. Esto signica que los entornos bsicos del cero
generan todos lo dems entornos de X. De all resulta que podemos elegir una sucesin (x
n
)
n=1
en X
tal que para cada entorno dbil U de 0 se pueden encontrar un racional r > 0 y un entero positivo n
U
de modo que
W(0; x
1
, . . . , x
n
U
, r) =
_
x X : [x
1
(x)[, . . . , [x
n
U
(x)[ < r
_
U.
Ahora bien, cada x
genera el entorno dbil W =W(0; x
, 1) de 0 y, en consecuencia,
W(0; x
1
, . . . , x
n
W
, r) W.
Esto nos dice que x
es una combinacin lineal de x
1
, . . . , x
n
W
ya que
n
W
n=1
Ker(x
n
) Ker(x
).
Sea F
m
el subespacio lineal generado por x
1
, . . . , x
m
, m =1, 2, . . .. Puesto que cada F
m
es un subespacio
de dimensin nita y, por consiguiente, cerrado de X
y ya que X
m=1
F
m
, el Teorema de Categora
de Baire nos revela que algn F
m
tiene norma-interior no vaco. Esto, como sabemos, es imposible por
(B2) de esta seccin. Esta contradiccin establece que (X, ) no es metrizable.
(B-19) Sean (X, ||) un espacio de Banach separable y K un subconjunto
compacto de X
tal que, para

cada x X, existe un x
K vericando la igualdad
x
(x) = sup
y
K
[ y
(x)[ = |x |. ()
Entonces el conjunto
F =
_
x B
X
: existe un nico x
vericando ()
_
es un G
-denso en B
X
.
Prueba. Sea (x
n
)
n=1
una sucesin densa en B
X
y, para cada m, n N, denamos
E
m,n
=
_
x B
X
: existen x
, y
K tales que x
(x) = y
(x) =|x| y [ x
(x
n
) y
(x
n
)[
1
m
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Para demostrar que F es denso en B
X
, vamos a probar primero que
F =
m,n=1
_
B
X
E
m,n
_
.
y despus que cada E
m,n
es cerrado y nunca-denso en B
X
, para luego invocar el Teorema de Categora
de Baire. Es claro que F
m,n=1
_
B
X
E
m,n
_
. Para demostrar la otra inclusin, sea x B
X
tal que
x
m,n=1
_
B
X
E
m,n
_
.
Como x ,E
m,n
para todo m, n N, resulta que si x
, y
K satisfacen la igualdad x
(x) =y
(x) =|x|,
entonces
[ x
(x
n
) y
(x
n
)[ <
1
m
para todo m, n N
lo cual signica, gracias a la continuidad de los funcionales x
y y
y la densidad de la sucesin
(x
n
)
n=1
, que x
= y
; es decir, x F.
Probemos ahora que cada E
m,n
X
.
E
m,n
es cerrado: Sea (z
n
)
n=1
una sucesin en E
m,n
tal que z
k
z. Puesto que z
k
E
m,n
, existen
x
k
, y
k
K tales que
x
k
(z
k
) = y
k
(z
k
) = |z
k
| y [ x
k
(x
n
) y
k
(x
n
)[
1
m
.
Ahora bien, como K es un
-compacto metrizable, existen subsucesiones de (x
k
)
k=1
y (y
k
)
k=1
, que
seguiremos denotando del mismo modo, tales que
x
K y y
K.
De aqu se sigue que
x
(z) = y
(z) = |z | y [ x
(x
n
) y
(x
n
)[
1
m
,
es decir, z E
m,n
.
E
m,n
es nunca-denso: Supongamos que para algn m, n N, el interior de E
m,n
es no vaco. Enton-
ces existen un x B
X
y un > 0 tal que la bola abierta U(x, ) E
m,n
; esto es,
|x y | < y E
m,n
.
Obtendremos una contradiccin si logramos construir, por induccin, una sucesin (z
n
)
n=1
en B
X
y
dos sucesiones (x
k
)
k=1
y (y
k
)
k=1
en K tales que:
(a) |x z
k
| (11/2
k
),
(b) x
k
(z
k
) = y
k
(z
k
) =|z
k
| y x
k
(x
n
)
k
m
+y
1
(x
n
)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
En efecto, de ser cierto lo anterior tendramos, por la ltima desigualdad, que el lado izquierdo per-
manece acotado mientras que el lado derecho tiende a cuando k , lo cual es imposible.
Para comenzar la induccin, sea z
1
= x. Como z
1
E
m,n
, existen x
1
, y
1
K tales que
x
1
(z
1
) = y
1
(z
1
) = |z
1
| y x
1
(x
1
)
1
m
+y
1
(x
1
).
Supongamos que z
1
, . . . , z
k
, y x
1
, . . . , x
k
, y
1
, . . . , y
k
han sido escogidos tales que
_
_
x z
j
_
_
<
_
1
1
2
j
_
, x
j
(z
j
) = y
j
(z
j
) =
_
_
z
j
_
_
y x
j
(x
n
)
j
m
+ y
1
(x
n
) j = 1, . . . , k.
Denamos ahora
z
k+1
=
|x |
|z
k
+ ax
n
|
(z
k
+ ax
n
),
donde a se ha elegido de modo que sea positivo y tal que |z
k
z
k+1
| <

2
k+1
. Puesto que z
k+1
E
m,n
,
existen x
k+1
, y
k+1
K tales que
x
k+1
(z
k+1
) = y
k+1
(z
k+1
) = |z
k+1
| y x
k+1
(x
n
) y
k+1
(x
n
)
1
m
.
Si pudiramos mostrar que
y
k+1
(x
n
) x
k
(x
n
),
tendramos entonces que
x
k+1
(x
n
)
1
m
+ y
k+1
(x
n
)
k +1
m
+ y
1
(x
n
)
y concluiramos la prueba de la no densidad de E
m,n
. Veamos que ello es as. Notemos en primer lugar
que
|z
k+1
| = y
k+1
(z
k+1
)
= |x |
y
k+1
(z
k
) + ay
k+1
(x
n
)
|z
k
+ ax
n
|
|x |
|z
k
| + ay
k+1
(x
n
)
|z
k
+ ax
n
|
,
mientras que por otro lado,
|z
k+1
| x
k
(z
k+1
)
= |x |
x
k
(z
k
) + ax
k
(x
n
)
|z
k
+ ax
n
|
= |x |
|z
k
| + ax
k
(x
n
)
|z
k
+ ax
n
|
,
de donde obtenemos
y
k+1
(x
n
) x
k
(x
n
).
Hemos demostrado que E
m,n
X
. Un llamado al Teorema de Categora
de Baire conduce a que F es un G
-denso en B
X
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
(B-20) Sea (X, ||) un espacio de Banach. La dimensin de X es innita si, y slo si, todo subconjunto
totalmente acotado de X es nunca-denso.
Prueba. Supongamos que dim(X) = y sea F un subconjunto totalmente acotado de X. Suponga,
para generar una contradiccin, que F no es nunca-denso. Por Teorema 1.4.9 resulta que K := F es
un conjunto compacto y como F no es nunca-denso, entonces int(K) = int(F) ,=. Escojamos x X
y un > 0 tal que U(x, ) K. Observe que como K es compacto, tambin lo es U(x, ) y entonces
el Teorema de Riesz nos revela que la dimensin de X es nita. Esta contradiccin establece que F es
nunca-denso.
Recprocamente, supongamos que todo subconjunto totalmente acotado de X es nunca-denso pero que
la dimensin de X es nita. De nuevo, por el Teorema de Riesz, B
X
es compacto y, en consecuencia,
totalmente acotado. Por hiptesis, B
X
es nunca-denso; es decir, int(B
X
) = . Esto, por supuesto, es
imposible pues int(B
X
) =U
X
=x X : |x| < 1 es un abierto no vaco. Fin de la prueba.
(B-21) Sea (X, ||) un espacio de Banach reexivo de dimensin innita. Entonces ext(B
X
) es no numerable.
Sea C un subconjunto convexo de un espacio de Banach (X, ||). Recordemos que un punto x C
se llama un punto extremal de C si x no es el centro de ningn segmento (no degenerado) de lnea
contenido en C. El conjunto de todos los puntos extremales de C ser denotado por ext(C).
Un subconjunto H de X es un subespacio afn si H = x +Y, donde Y es un cierto subespacio lineal
cerrado de X y x X. Si C es un subconjunto convexo de X, un subespacio afn H de X se llama una
variedad soporte para C si HC ,=, y siempre que [x, y] :=tx+(1t)y : 0 t 1 es cualquier
segmento de lnea contenido en C con un punto interior en H, entonces [x, y] H.
Hecho 1. Si f X
y si existe x
0
C tal que := f (x
0
) = sup
_
f (z) : z C
_
, entonces H = f
1
()
es una variedad soporte para C.
Prueba. Suponga que [x, y] C y que para algn t (0, 1) el punto interior tx+(1t)y H. Entonces
f (tx +(1t)y) = . Armamos que f (x) = f (y) = . En efecto, si f (x) < o f (y) < entonces
tendremos que
f (tx +(1t)y) = t f (x) + (1t) f (y) < t + (1t) = ,
lo cual es imposible. Similarmente, f (y) = , de donde se sigue que f (tx + (1t)y) = para todo
t [0, 1] y as, [x, y] H.
Varios resultados son necesarios para demostrar la no numerabilidad de ext(B
X
). Comencemos con el
primero.
Lema D. Sea K un subconjunto convexo de un espacio de Banach (X, ||). Si H es una variedad
soporte para K tal que HK =x para algn x X, entonces x ext(K).
Prueba. Es claro que x K. Si x ,ext(K), entonces x =
1
2
x
1
+
1
2
x
2
donde x
1
,= x
2
son elementos de K.
Como K es convexo, el segmento [x
1
, x
2
] K y ya que x, que es un punto interior de [x
1
, x
2
], pertenece
a H, entonces [x
1
, x
2
] H pues H es una variedad soporte para K. Esto prueba, en particular, que
x
1
, x
2
HK. Esta contradiccin establece que x ext(K).
Lema E. Sea K un subconjunto convexo y -compacto de un espacio de Banach real (X, ||). Si H es
una variedad soporte para K, entonces H contiene un punto extremal de K.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Sea Mla familia de todas las variedades soporte para K contenidas en H. Ntese que M,=
pues H M. Ordenemos parcialmente a Mpor la relacin _ declarando que
M
1
_ M
2
si M
1
M
2
.
Si
_
M
_
D
es una cadena en M, entonces

D
M
es un subespacio afn de X y
_

D
M
_
K =
D
(M
K) ,=,
ya que M
K es -compacto para todo D. Si un segmento [x, y] K tiene un punto interior

en

D
M
, entonces [x, y] M
para cualquier D por el hecho de que M
es una variedad
soporte para K. De esto se sigue que [x, y]
D
M
y, en consecuencia,

D
M
es una variedad
soporte para K. Por el Lema de Zorn, existe un elemento minimal M
0
en M. Vamos a demostrar
que M
0
K = x
0
para algn x
0
X. Supongamos que existen x, y en M
0
K con x ,= y. Como X
se para los puntos de X, existe f X
tal que f (x) ,= f (y). Puesto que M

0
K es -compacto, el
funcional lineal f alcanza su supremo sobre dicho conjunto; es decir, existe un w M
0
K tal que
:= f (w) = supf (z) : z M
0
K. Se sigue del Hecho 1 que f
1
() es una variedad soporte para
M
0
K. Pongamos M
= M
0
f
1
(). Resulta que M
es un subespacio afn (observe que w M
)
y, ms aun, es una variedad soporte para K. Puesto que f (x) ,= f (y), entonces al menos uno de los
elementos en x, y no est en M
, es decir, M
es un subconjunto estricto de M
0
contradiciendo de
este modo la minimalidad de M
0
. Por esto, M
0
K =x
0
para algn x
0
X. Un llamado al Lema D
nos revela que x
0
ext(K).
Teorema de Krein-Milman. Sean (X, ||) un espacio de Banach y K un subconjunto convexo y -
compacto de X. Entonces K = co
_
ext(K)
_
.
Prueba. Sea B = co
_
ext(K)
_
y suponga que B ,= K. Sea c K B. Por el Teorema de Separacin
de Hahn-Banach, podemos seleccionar un funcional f X
tal que f (c) > supf (x) : x B. Sea

= supf (x) : x K. Por el Hecho 1, el conjunto H = f
1
() es una variedad soporte para K y por
el Lema E, H contiene un punto extremal x de K. Pero como f (x) = f (c) > supf (x) : x B,
resulta que x , B. Esta contradiccin nos dice que K = co
_
ext(K)
_
y termina la prueba.
Recordemos que el kernel o ncleo de una aplicacin lineal T : X Y se dene como el conjunto
Ker(T) =x X : Tx = 0. Otro hecho que debemos recordar es el siguiente:
Hecho 2. Si X es un espacio vectorial de dimensin innita y f
1
, . . . , f
n
: X 1 son funcionales
lineales, entonces N =

n
i=1
Ker( f
i
) es un subespacio de dimensin innita.
.
Prueba. Denamos T : X 1
n
de la siguiente manera: para cada x X sea Tx = ( f
1
(x), . . . , f
n
(x)).
Claramente T es un operador lineal y Ker(T) = N. Por un resultado del lgebra lineal tenemos que
dim(TX) + dim
_
Ker(T)
_
= dim(X). Dado que dim(X) = y dim(TX) < , se concluye que
dim(N) = .
De lo anterior se sigue que si X es un espacio vectorial de dimensin innita y f
1
, . . . , f
n
son fun-
cionales lineales, entonces N =

n
i=1
Ker( f
i
) ,= 0, en particular, cualquier traslacin de N contiene
una recta.
Prueba de B-20). Por el Teorema de Krein-Milman, ext(B
X
) ,= . Supongamos que ext(B
X
) es nu-
merable y escribamos ext(B
X
) = x
1
, x
2
, . . . , x
n
, . . .. Observe que, para todo n N, |x
n
| = 1. Para
cada n N, denamos
F
n
=
_
f B
X
: f (x
n
) =| f |
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Armamos que estos conjuntos son
-cerrados. En efecto, sea ( f
) una red en F
n
tal que f
f en
la
-topologa. Entonces,
lm
| f
| = lm
(x
n
) = f (x
n
),
de donde se sigue que | f | f (x
n
) = lm
| f
|. Por otro lado, como la norma sobre X
es
-
inferiormente semicontinua , resulta que | f | lminf
| f
|. Por esto, | f | = lm
| f
| y, por
consiguiente, f F
n
.
Veamos ahora que

n=1
F
n
= B
X
. Es claro que

n=1
F
n
B
X
. Para demostrar la otra inclusin, sea
f B
X
. Puesto que X es reexivo, el Corolario 2.2.1, pgina 209, nos revela que B
X
es -compacto,
y por lo tanto, el funcional f alcanza su supremo sobre tal conjunto, esto es, existe un x
0
B
X
tal que
:= f (x
0
) = supf (x) : x B
X
= | f |. Resulta, por el Hecho 1, que H = f
1
() es una variedad
soporte para B
X
y se sigue del Lema E que H contiene un punto x
n
ext(B
X
), lo cual quiere decir
decir que f F
n
. Esto nos demuestra que B
X
=

n=1
F
n
. Puesto que X
es un espacio reexivo, de
nuevo el Corolario 2.2.1 nos dice que la bola unitaria (B
X
, ) es compacta, en particular, un espacio
de Baire. Un llamado al Teorema de Categora de Baire nos garantiza que algn F
n
, digamos F
1
, posee
-interior no vaco. Sea f
0
G := int(F
1
). Puesto que la multiplicacin por escalares positivos
menores que 1 son homeomorsmos de (X
, ) bajo los cuales F

1
es invariante, podemos suponer que
| f
0
| < 1. Escojamos ahora un -entorno bsico V de f
0
contenido en G. Es decir, el conjunto V tiene
la forma
V :=
n
i=1
_
f B
X
: [( f f
0
)(y
i
)[ <
_
G.
para ciertos y
1
, . . . , y
n
en X y algn > 0. Sea
N =
_
f X
: f (y
i
) = f
0
(y
i
) para i = 1, . . . , n y f (x
1
) = f
0
(x
1
)
_
.
Puesto el espacio X
es de dimensin innita, el Hecho 2 nos garantiza que el conjunto N contiene

una lnea recta, es decir, existe f
1
N con f
1
,= f
0
tal que f
:= f
0
+( f
1
f
0
) N para todo 1.
Como | f
0
| < 1, la recta anterior debe cortar a la esfera unitaria de X
, esto es, existe 1 tal que

| f
| = 1. Esto prueba que f
F
1
y, por lo tanto,
1 = | f
| = f
(x
1
) = f
0
(x
1
) | f
0
||x
1
| = | f
0
|.
Esto contradice el hecho de que | f
0
| < 1 y, en consecuencia, ext(B
X
) es no numerable.
(B-22) En (
1
, ||
1
), toda sucesin dbilmente convergente es norma convergente.
Recordemos que
1
=
_
(
k
)
k=1
1 :
k=1
[
k
[ <
_
es un espacio de Banach cuando se le dota de la norma |x|
1
=
k=1
[
k
[, donde x = (
k
)
k=1

1
.
Sabemos que el dual de
1
,
1
, es
en el sentido de que cada f
1
se identica con un nico
elemento (a
k
)
k=1

de modo que f (x) =
k=1
a
k
k
para todo x = (
k
)
k=1

1
, y que, adems, la
aplicacin f (a
k
)
k=1
es una isometra de
1
sobre
.
Una sucesin (x
n
)
n=1
en
1
, donde x
n
= (
nk
)
k=1
para cada n N, se dice que converge dbilmente a 0
si para cualquier f
1
ocurre que lm
n
f (x
n
) = 0, esto es equivalente a armar que, para cualquier
sucesin acotada (a
k
)
k=1

se cumple que lm
n
k=1
a
k
nk
= 0.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Observe que como
1
es separable, entonces (B
) es un compacto metrizable y que una mtrica

compatible con la topologa viene dada por
d( f , g) =
k=1
[ f
k
g
k
[
2
k
.
Un hecho importante que debemos recordar es que una base local de
-entornos alrededor de cual-

quier f B
es dada por B
f
=
_
V( f , , N) : > 0, N N
_
, donde
V( f , , N) :=
N
i=1
_
g B
: [ f
i
g
i
[ <
_
,
con > 0 y N N arbitrarios.
Prueba de B-21). Sea (x
n
)
n=1
una sucesin en
1
convergiendo dbilmente a 0, donde x
n
= (
nk
)
k=1
para cada n N. Nos proponemos demostrar que lm
n
|x
n
|
1
= 0, es decir, lm
n
k=1
[
nk
[ = 0.
Sea k N y para cada > 0, denamos
F
k
=
n=k
_
f B
: [ f (x
n
)[

3
_
.
Estos conjuntos son
-cerrados en B
, crecen con k y gracias a la convergencia dbil de la sucesin

(x
n
)
n=1
hacia cero, es fcil ver que B
k=1
F
k
. Como
_
B
_
es un espacio mtrico compacto,
el Teorema de Categora de Baire nos revela la existencia de algn F
k
0
con
-interior no vaco. Para

ste k
0
, existen una f = ( f
i
)
i=1
B
, un entero N 1 y un > 0 tal que

V( f , , N) F
k
0
F
k
para todo k k
0
.
Puesto que lm
n
x
n
=0, podemos elegir un p Nde modo que
N
i=1
[
ni
[ </3 para todo n p.
Fijemos ahora cualquier n m axk
0
, p y dena g = (g
i
)
i=1
B
del modo siguiente:

g
i
=
_
f
i
, si 1 i N
sign(
ni
), si i > N.
Entonces g V( f , , N) y, por consiguiente, g F
k
0
. De all que
i=1
f
i
ni
+
i=N+1
[
ni
[

3
,
de donde se deduce que
i=N+1
[
ni
[

3
+
N
i=1
[
ni
[ <
2
3
.
Se sigue de esto que
|x
n
|
1
=
i=1
[
ni
[ < siempre que n m axk
0
, p.
La prueba es completa.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
(B-23) Sean (X, ||) y (Y, ||) espacios de Banach y T : X Y un operador lineal acotado. Entonces, T es
compacto si, y slo si, T(X) est contenido en algn subconjunto -compacto de Y.
Prueba. Suponga que T es compacto. Entonces T(B
X
) es compacto en la norma-topologa de Y y, por
consiguiente, n T(B
X
) tambin lo es para todo n N. Puesto que
T(X)
_
n=1
n T(B
X
),
entonces T(X) est contenido en un subconjunto -compacto de Y.
Para demostrar la otra implicacin, suponga que T(X) est contenido en un subconjunto -compacto
de Y, es decir,
T(X)
_
n=1
K
n
,
donde cada K
n
es un subconjunto norma-compacto de Y. Pongamos F
n
= T
1
(K
n
) para cada n N.
Por continuidad, cada F
n
es cerrado en X y como X =

n=1
F
n
, el Teorema de Categora de Baire nos
dice que algn F
n
0
posee interior no vaco. Esto signica que existe un x F
n
0
y algn > 0 tal que
x +B
X
F
n
0
. Ahora
Tx + T(B
X
) = T(x +B
X
) T(F
n
0
) K
n
0
,
de modo que T(B
X
)
1
_
Tx +K
n
0
_
. Como
1
_
Tx +K
n
0
_
es compacto, la prueba termina.
(B-24) Sea X un espacio de Banach y suponga que T : X X es un operador lineal acotado con rango
denso, es decir, tal que Rang(T) = TX = X. Si
_
G
n
_
n=0
es una sucesin de subconjuntos abiertos y
densos en X, entonces
n=0
T
n
_
G
n
_
es denso en X.
Prueba. Fijemos n N. Observe que por la continuidad de T, y el hecho de que G
n
es denso en X,
tenemos que T(X) = T
_
G
n
_
T(G
n
), de donde se sigue que X = TX = T(G
n
), es decir, T(G
n
) es
denso en X. El mismo argumento sirve para deducir que los conjuntos T
2
(G
n
), T
3
(G
n
), . . . , T
n
(G
n
)
son densos en X para cada n N. Si tuviramos la certeza de que T
n
(G
n
) tambin es abierto en X,
entonces invocaramos el Teorema de Categora de Baire para nalizar la prueba, pero como no lo
sabemos, debemos tomar otro camino. Pues bien, para demostrar que

n=0
T
n
_
G
n
_
es denso en X,
procederemos del modo siguiente. Sea y X y sea > 0. Siendo G
0
denso en X, existe x
0
G
0
tal
que
|y x
0
| < /2.
Como G
0
es un abierto conteniendo a x
0
, podemos hallar una bola abierta U
0
con centro en x
0
y radio
r
0
< /4 totalmente incluida en G
0
. Ntese que cualquiera sea x
1
T
1
(U
0
) se tiene que Tx
1
U
0
y, por lo tanto, |Tx
1
x
0
| < /2. Lo que tenemos que hacer es garantizar que x
1
tambin est en
G
1
. Para ello, observe que como T
1
(U
0
) es abierto en X, entonces la densidad de G
1
nos dice que
G
1
T
1
(U
0
) ,=. Escojamos ahora x
1
G
1
T
1
(U
0
) tal que
|Tx
1
x
0
| <
r
0
|T |
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sea U
1
una bola abierta contenida en el abierto G
1
T
1
(U
0
) con centro en x
1
y radio r
1
< /4
2
.
Continuando inductivamente con este proceso, se construye una sucesin de vectores
_
x
k
_
k=0
en X y
una sucesin de bolas abiertas
_
U
k
_
k=0
satisfaciendo las siguientes propiedades:
(a) x
k
G
k
T
1
(U
k1
) para todo k = 1, 2, 3, . . .
(b) cada bola U
k
est contenida en G
k
T
1
(U
k1
) teniendo su centro en x
k
y radio r
k
< /4
k+1
y,
(c) |Tx
k
x
k1
| < r
k
/|T |
k
para todo k 1.
Por ltimo, observe que Tx
k
T(G
k
) U
k1
para todo k N. En efecto, como T(G
k
) es denso en X,
entonces T(G
k
) U
k1
,= y, en consecuencia, para todo k N,
Tx
k
T(U
k
) T
_
G
k
T
1
(U
k1
)
_
T(G
k
) U
k1
U
k1
.
En particular,
T
n
x
k+n
U
k
, y T
k
x
k
U
0
, para todo k, n N.
Sean ahora k, n N. Entonces
_
_
T
n
x
k+n
T
n1
x
k+n1
_
_
|T |
n1
|Tx
k+n
x
k+n1
| <
r
k+n
|T |
k+1
,
de donde se sigue, jando a k, que la sucesin
_
T
n
x
k+n
_
n=0
es de Cauchy en X, la cual, por la com-
pletitud de X, converge a un punto y
k
U
k
G
k
. En efecto, ya hemos visto que, para cada k N,
T
n
x
k+n
U
k
para todo n N, por lo que y
k
U
k
G
k
. Ms aun, para todo k 2 y todo n k
T
n
y
k
= T
n
_
lm
j
T
j
x
k+j
_
= lm
j
T
j+n
x
(kn)+j+n
= y
kn
.
En particular, y
0
=Ty
1
=T
2
y
2
= =T
k
y
k
= . Puesto que, por construccin, |y y
0
| < y como
y
k
G
k
para todo k 0, resulta que y
0
T
k
(G
k
) para todo k 0. Esto termina la prueba.
Ntese que cuando T =I, el operador identidad sobre X, obtenemos el Teorema de Categora de Baire
para espacios de Banach.
Comentario Adicional 2.2.10 Sea (X, ||) un espacio de Banach y para cada subconjunto acotado A de X
sea
(A) = nf
_
r > 0 : A
n
_
i=1
M
i
, con diam(M
i
) r para cada 1 i n
_
.
A () se le llama la medida de no-compacidad de Kuratowski (vase, por ejemplo, [188]). No es
difcil ver que A es compacto si, y slo si, (A) =0. Tambin se cumple que si A y B son subconjuntos
acotados de X con A B, entonces (A) (B). Similarmente, para cualquier s 1 se cumple que
(sA) =[s[(A).
Suponga ahora que K X es un conjunto convexo, cerrado y acotado. Fijemos un nmero real k > 0.
Una funcin f : K K se dice que es k - contractiva si para cualquier subconjunto A de K,
_
f (A)
_
k(A).
Denotemos por (
1
(K), d) el espacio mtrico completo de todas las funciones f : K K que son k
- contractivas, donde d( f , g) = sup| f (x) g(x)| : x K. La aplicacin f se llama -condensante
si ella es continua y satisface
_
f (A)
_
< (A) para cualquier subconjunto A de K que no sea relativa-
mente compacto. En [136] demuestra el siguiente resultado.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.2.9 (Domnguez Benavides). El conjunto Cond
(K) formado por todas las aplicaciones

-condensantes en
1
(K) es residual en (
1
(K), d).
Prueba. Sea D el conjunto de todas las k - contracciones (k < 1) en
1
(K), esto es,
D =
_
k<1
k
(K).
Observe que D es denso en
1
(K). En efecto, si f
1
(K) y si denimos f
n
= (n/n+1) f para todo
n N, entonces la sucesin ( f
n
)
n=1
verica que f
n
C para todo n N y | f
n
f | 0. Para cada
f D, sea k
f
= nf
_
k 0 : f
k
(K)
_
y dena
G =
n=1
_
f D
U
_
f , (1k
f
)/2n
_
.
Claramente D G y, por consiguiente, G es un G
-denso en
1
(K). Armamos que G est contenido
en Cond
(K). En efecto, sean g G y A K con (A) > 0. Escojamos un entero positivo n

0
tal que
1/n
0
< (A). Puesto que g G, existe f D tal que g U( f , (1k
f
)/2n
0
) lo cual implica, usando
las propiedades de (), que
_
g(A)
_

_
f (A)
_
+(1k
f
)/n
0
< k
f
(A) +(1k
f
)(A) = (A).
Esto demuestra que g Cond
(K) y termina la prueba.

Dada cualquier funcin f : K K, denotemos por PF( f , K) el conjunto de todos los puntos jos de f
en K, esto es,
PF( f , K) =
_
x K : f (x) = x
_
.
Como una aplicacin del teorema anterior, Domnguez Benavides obtiene, entre otros resultados, el
siguiente: para cada f Cond
(K),
(1) PF( f , K) es no vaco y compacto, y
(2) Orb( f , x) es relativamente compacto.
El Teorema del Punto Fijo de Schauder [188] demostrado en 1930 por Julius Schauder establece que:
Teorema del Punto Fijo de Schauder. Sea (X, ||) un espacio de Banach y suponga que K es
un subconjunto convexo y norma-compacto de X. Entonces PF( f , K) ,= para cualquier funcin
continua f : K K.
Un maravilloso resultado de Tudor Zamrescu [453] arma que para casi todas las funciones f en
C(K), el conjunto PF( f , K) es no numerable. Especcamente,
Teorema 2.2.10 (Zamrescu). Sean (X, ||) un espacio de Banach y K un subconjunto convexo y
norma-compacto de X. Entonces existe un conjunto residual G en (C(K), ||
) tal que, para cada

f G, el conjunto PF( f , K) es homeomorfo al conjunto ternario de Cantor .
El Teorema del Punto Fijo de Schauder generaliza el Teorema del Punto Fijo de Brouwer el cual arma
que:
Teorema del Punto Fijo de Brouwer. Sea K 1
n
un conjunto convexo, compacto con interior no
vaco. Para cualquier f C(K), el conjunto PF( f , K) es no vaco.
De nuevo, Zamrescu en el artculo ya citado demuestra que:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.2.11 (Zamrescu). Sea K 1
n
un conjunto convexo, compacto con interior no vaco.
Entonces existe un conjunto residual G en (C(K), ||
) tal que, para cada f G, el conjunto PF( f , K)

tiene medida de Lebesgue n-dimensional igual a cero.
Finalizamos esta seccin mencionando el siguiente resultado de Toms Domnguez Benavides [135].
Sean (X, ||) un espacio de Banach, U un subconjunto abierto del espacio producto 1X y C(U, X)
el conjunto de todas las aplicaciones continuas de U en X provisto de la topologa metrizable de la
convergencia uniforme. En 1X usaremos la norma
|(t, x)| = m ax[t[, |x|
y en U C(U, X) la mtrica
d
_
(u, f ), (v, g)
_
= m ax|uv|, d( f , g),
donde d es una mtrica sobre C(U, X) que dene la topologa considerada. Considere el problema de
Cauchy
x
= f (t, x), x(t

u
) = x
u
(1)
donde f C(U, X) y u = (t
u
, x
u
) U.
Teorema de Domnguez Benavides. Existe un conjunto residual G U C(U, X) tal que, para
todo (u, f ) G, el problema (1) tiene solucin nica en un entorno V(u, f ) de t
u
la cual depende
continuamente de los valores iniciales.
2.2.2. | Diferenciabilidad en espacios de Banach
Las propiedades de diferenciabilidad de las funciones continuas y convexas a valores reales denidas
sobre un subconjunto abierto y convexo de 1
n
, han resultado ser de una importancia fundamental en ciertas
reas de las matemticas. Un estudio en profundidad de algunas propiedades similares de diferenciabilidad
pero ahora para funciones convexas continuas a valores reales denidas sobre un subconjunto abierto y
convexo de algn espacio de Banach de dimensin innita ha sido llevada a cabo desde hace un poco ms
de 70 aos. En efecto, el primer resultado de este tipo fue obtenido por S. Mazur quien, en 1933, demostr
que cualquier funcin continua convexa a valores reales denida sobre un espacio de Banach separable
de dimensin innita, es Gteaux-diferenciable en un subconjunto residual de dicho espacio. A partir de
ese momento el estudio de estas nociones generalizadas de diferenciabilidad dieron origen a la creacin
de los espacios de Asplund y los espacios dbilmente de Asplund; es decir, aquellos espacios de Banach
los cuales tienen la propiedad de que cualquier funcin convexa y continua denida sobre ellos es Frchet
(respectivamente, Gteaux) diferenciable en los puntos de un subconjunto G
-denso de su dominio. En esta

seccin no intentaremos abordar dicho estudio, ni tan siquiera dibujar algunas de sus consecuencias ms
importantes sino, tan slo, mostrar algunos resultados fundamentales en los que el Teorema de Categora
de Baire aparece como un ingrediente importante en su demostracin. Los libros de Fabian [157], Giles
[181], Phelps [351], Deville-Godefroy-Zizler [128], etc. abordan muchos aspectos en profundidad de esos
espacios. Debemos sealar, nalmente, que estas dos modalidades de diferenciabilidad son, en trminos
generales, muy diferentes. Por ejemplo, existen exquisitas y variadas formas equivalentes de caracterizar a
los espacios de Asplund, pero no ocurre lo mismo con los espacios dbilmente de Asplund; de hecho, no
existen, hasta el momento, condiciones equivalentes que caractericen a dichos espacios y tan slo un nmero
modesto de condiciones necesarias son conocidas.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
| Funciones multivaluadas
Sean X y Y espacios topolgicos de Hausdorff y sea F : X 2
Y
una funcin multivaluada, es decir, una
funcin tal que, para cada x X, F(x) es un subconjunto de Y. Puesto que F(x) puede ser vaco para algunos
x X, entonces es necesario denir el dominio de F como Dom(F) =
_
x X : F(x) ,=
_
. Para A X,
denimos F(A) =

F(x) : x A, mientras que si B Y, entonces
F
1
(B) =
_
x X : F(x) B ,=
_
y F
#
(B) =
_
x X : F(x) B
_
.
Observemos que F
#
(B) contiene cada punto x X para el cual F(x) =. Ms aun, F
1
(Y) = Dom(F) y
F
#
(Y) = X. Finalmente, el conjunto
Gra(F) =
_
(x, y) X Y : y F(x)
_
=
_
xX
xF(x)
se llama el grafo de F. Algunas referencias donde estos objetos son estudiados ms en profundidad son las
siguientes [157], [351], [448].
Denicin 2.2.1. Sean X y Y espacios topolgicos de Hausdorff. Una funcin multivaluada F : X 2
Y
se llama superiormente semicontinua (respectivamente, inferiormente semicontinua) en x
0
X si, para
cualquier conjunto abierto V Y con F(x
0
) V (respectivamente, F(x
0
)V ,=), existe un entorno abierto
U de x
0
en X tal que F(x) V (respectivamente, F(x) V ,=) para todo x U.
F es superiormente semicontinua en X si ella es superiormente semicontinua en cada punto de X. Note-
mos que la semicontinuidad superior se puede caracterizar del modo siguiente:
| F es superiormente semicontinua en X
(
1
) si, y slo si, el conjunto F
#
(V) es abierto en X, para cualquier abierto V Y.
(
2
) si, y slo si, para cada subconjunto cerrado C de Y, el conjunto F
1
(C) es
cerrado en X.
Escribiremos F es usc (respectivamente, lsc) cuando dicha funcin es superiormente semicontinua (respec-
tivamente, inferiormente semicontinua).
En el caso particular en que X es un espacio de Banach, tenemos la siguiente formulacin:
Reformulacin (1). Sean (X, ||) un espacio de Banach y F : X 2
X
una aplicacin multivaluada.

Son equivalentes:
(1) F es norma -
(respectivamente, norma - norma) superiormente semicontinua en x X.

(2) Para cada conjunto
- abierto (respectivamente, norma-abierto) W conteniendo a F(x) y cual-

quier sucesin (x
n
)
n=1
en X con |x
n
x| 0, se tiene que F(x
n
) W para todo n suciente-
mente grande.
En lo que sigue slo consideraremos aplicaciones multivaluadas F : X 2
Y
cuyo dominio, Dom(F),
sea denso en X. La razn es la siguiente: si x
0
, Dom(F), entonces para algn conjunto abierto U de X
conteniendo a x
0
tendramos que F(x) = para cualquier x U; lo cual implica que F es automticamente
usc y lsc en tales puntos. Por lo tanto, si Dom(F) es denso en X y si F es usc en algn x
0
X, entonces
necesariamente F(x
0
) ,=. Por consiguiente, convenimos que cuando decimos que F es a valores no-vacos
lo que estamos asumiendo es que Dom(F) = X.
Una de las deniciones importantes de aplicaciones multivaluadas es cuando la imagen de cualquier
punto es un conjunto compacto no vaco.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Denicin 2.2.2. Sea F : X 2
Y
una funcin multivaluada superiormente semicontinua. Si para cada punto
x X, el conjunto F(x) es compacto y no vaco, entonces diremos que F es una aplicacin USCO. Si,
adems, Y es un espacio vectorial topolgico y F(x) es un conjunto no vaco, convexo y compacto, entonces
se dice que F es una aplicacin CUSCO.
El siguiente lema es clave para lo que sigue.
Lema 2.2.3. Sea F : X 2
Y
una aplicacin USCO y sea x X. Si (x
)
D
es una red tal que x
x, y
y
F(x
) para cada D, entonces (y
)
D
posee una subred que converge a algn y F(x).
Prueba. Supongamos que la conclusin es falsa. Esto signica que para cada z F(x), existe un entorno
abierto V
z
de z tal que y
,V
z
para todo >
z
, donde
z
D depende de z. Puesto que F(x) es compacto,
existe un nmero nito de puntos, digamos z
1
, . . . , z
n
F(x) tales que F(x)
n
k=1
V
z
k
:=V. De lo anterior se
sigue que y
,V siempre que > m ax

z
1
, . . . ,
z
n
, lo que entra en contradiccin con la semicontinuidad
superior de F en x.
Una consecuencia inmediata del lema anterior es el siguiente
Corolario 2.2.11. Si F : X 2
Y
es una aplicacin USCO, entonces su grafo Gra(F) es cerrado en X Y.
Prueba. Suponga que (x
, y
)
D
es una red en Gr(F) la cual converge a (x, y) X Y, es decir,
x
x, y
F(x
) y y
y.
Por el Lema 2.2.3, (y
)
D
posee una subred que converge a algn punto de F(x). Se sigue que y F(x),
con lo cual hemos demostrado que (x, y) Gra(F).
Si F : X 2
Y
es una aplicacin multivaluada con grafo cerrado en X Y, entonces diremos que F
tiene grafo cerrado. Algunas veces, el recproco del resultado anterior es tambin cierto: por ejemplo, si
F : X 2
Y
tiene grafo cerrado y si el espacio Y es compacto, entonces F es USCO. Sean F, G : X 2
Y
dos
aplicaciones multivaluadas. Diremos que F est contenida en G si F(x) G(x) para cada x X.
Teorema 2.2.12. Si F : X 2
Y
es una aplicacin multivaluada con grafo cerrado a valores no vacos la
cual est contenida en una aplicacin G : X 2
Y
la cual es USCO, entonces F es USCO.
Prueba. Conviene observar, en primer lugar, que como Gr(F) es cerrado, entonces F(x) tambin es cerrado
en Y para cada x X. Adems, como G(x) es compacto y F(x) G(x), resulta que F(x) es compacto para
cada x X. Supongamos ahora que F no es superiormente semicontinua . Entonces existe x
0
X tal que F
no es superiormente semicontinua en x
0
. Esto signica que en alguna parte de Y se encuentran un abierto
V conteniendo a F(x
0
) y una red (x
d
)
dD
en X convergiendo a x
0
tal que para cada d D existe algn
y
d
F(x
d
) V. Ya que G es USCO y y
G(x
), el Lema 2.2.3 nos ofrece la existencia de una subred de

(y
)
D
, que seguiremos denotando del mismo modo, que converge a algn y G(x
0
). Por otro lado, como
Gra(F) es cerrado, resulta que y F(x
0
) lo cual constituye una contradiccin pues: y
y F(x
0
), mientras
que y
,V F(x
0
) para todo D.
La ms importante subclase de las aplicaciones USCOs son las llamadas USCO minimales, las cuales
poseen poderosas y sorprendentes propiedades. Su existencia quedar garantizada por una aplicacin del
Lema de Zorn.
Denicin 2.2.3. Una aplicacin USCO F : X 2
Y
se llama USCO minimal si, para cada cualquier otra
aplicacin USCO G : X 2
Y
tal que G(x) F(x) para todo x X, entonces G = F.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.2.13. Si F : X 2
Y
es una aplicacin USCO, entonces existe una aplicacin G : X 2
Y
que es
USCO minimal contenida en F.
Prueba. Sea
H =
_
H : X 2
Y
H es USCO y H(x) F(x) para todo x X

_
.
Observe que H ,= pues F H. Introduzcamos un orden parcial sobre H declarando que
H
1
_ H
2
siempre que H
1
, H
2
H y H
1
(x) H
2
(x) para todo x X.
Suponga ahora que H
0
=H
H : D es un conjunto totalmente ordenado por _ y considere la

funcin H : X 2
Y
denida por
H(x) =
D
H
(x) para todo x X.

Veamos que H es USCO. En primer lugar observe que, para cada x X, H
(x) : D es una familia

encajada de compactos no vacos, de donde resulta que H(x) es un subconjunto compacto no vaco de Y. Para
ver que H es superiormente semicontinua , sea C cualquier subconjunto cerrado de Y. Vamos a demostrar
que H
1
(C) =x X : H(x) C ,= es cerrado en X. En efecto, ntese que
x H
1
(C) si, y slo si, H(x) C ,=,
si, y slo si,

D
_
H
(x) C
_
,=,
si, y slo si, H
(x) C ,= para todo D,

si, y slo si, x
D
_
z X : H
(z) C ,=
_
.
Pero cada conjunto
_
z X : H
(z) C ,=
_
es, por la semicontinuidad superior de H
, cerrado en X, de
donde se sigue que H
1
(C) es cerrado en X. Hemos demostrado que H Hy como H _H
para todo D,
podemos invocar el Lema de Zorn para obtener una aplicacin USCO minimal G en (H, _) tal que G _ F.
Esto termina la prueba.
El siguiente resultado muestra varias propiedades tiles e interesantes de las aplicaciones USCOs mini-
males.
Teorema 2.2.14. Sean (X,
X
) y (Y,
Y
) espacios topolgicos de Hausdorff y F : X 2
Y
una aplicacin
USCO. Las siguientes condiciones son equivalentes:
(1) F es USCO minimal.
(2) Si U X es abierto y C Y es cerrado tal que F(x) C ,= para todo x U, entonces F(U) C.
(3) Si U y V son subconjuntos abiertos de X y Y respectivamente tales que UF
1
(V) ,=, entonces existe
un subconjunto abierto no vaco U
de X tal que U
U y F(U
) V.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. (1) (2). Sean U X abierto y C Y cerrado tales que F(x)C ,=para todo x U. Denamos
ahora H : X 2
Y
por
H(x) =
_
F(x) C si x U,
F(x) si x X U.
Entonces, para cualquier x X, el conjunto H(x) es no vaco y H F. Siendo F USCO, el Corolario 2.2.11
nos dice que Gra(F) es cerrado y, por consiguiente, Gra(H) tambin es cerrado. Puesto que H F, el
Teorema 2.2.12 nos garantiza que H es USCO y, gracias a la minimalidad de F tenemos que H = F. Por
esto, F(x) C para cualquier x U; es decir, F(U) C.
(2) (3). Suponga que U y V son subconjuntos abiertos de X y Y respectivamente tales que U F
1
(V) ,=
, lo cual signica que para algn x
0
U tenemos que F(x
0
) V ,= . Si ahora denimos C := Y V,
podemos distinguir dos casos:
(1) F(x
0
) V. En este caso, la semicontinuidad superior de F en x
0
nos proporciona la existencia de un
conjunto abierto no vaco U
U con x
0
U
, tal que F(U
) V.
(2) F(x
0
) _V. Esto quiere decir que F(x
0
) C ,=. Armamos que existe x
1
U tal que F(x
1
) C =.
En efecto, si ocurriera que F(x) C ,= para todo x U, entonces tendramos, en virtud de (2), que
F(U) C lo que evidentemente contradice la suposicin F(x
0
) C ,=. Finalmente, usando de nuevo
la la semicontinuidad superior de F en x
1
, podemos determinar un entorno abierto U
de x
1
, U
U,
tal que F(U
) V.
(3) (1). Supongamos que F no es minimal. Por el Teorema 2.2.13 existe una aplicacin USCO minimal
F
0
: X 2
Y
con F
0
F y tal que, para algn x
0
X, se cumple que F
0
(x
0
) _ F(x
0
). Por la compacidad de
F
0
(x
0
), podemos encontrar un conjunto abierto W Y tal que
F(x
0
) W ,= y F
0
(x
0
) W =.
La semicontinuidad superior de F
0
nos dice que F
0
(U) W = para algn conjunto abierto U X conte-
niendo a x
0
. Por otro lado, como F(x
0
) W ,= tenemos que U F
1
(W) ,=, y se sigue ahora de (3) que
F(U
) W para algn conjunto abierto no vaco U
U conteniendo a x
0
. En particular, F
0
(U
) W lo que
resulta en una clara contradiccin con el hecho de que F
0
(x
0
) W =.
Uno de los problemas centrales de las aplicaciones multivaluadas es el siguiente:
Un Problema de las Aplicaciones Multivaluadas. Dada una aplicacin multivaluada F : X 2
Y
,
donde X es un espacio de Baire y Y es un espacio topolgico, encuentre condiciones que garanticen
la existencia de un subconjunto G
-denso X
1
de X y de una funcin univaluada (= a un slo-valor)
continua f : X
1
Y tal que f (x) F(x) para todo x X
1
.
Esto ltimo signica que f es una seleccin de F sobre el conjunto X
1
. En general, una seleccin para
la funcin multivaluada F : X 2
Y
es una funcin univaluada f : X Y tal que f (x) F(x) para cada
x X. Observe que, gracias al Axioma de Eleccin, siempre existe una seleccin para cualquier funcin
multivaluada.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
| Funciones convexas y los teoremas de diferenciabilidad de Mazur y Asplund-Lindenstrauss.
Sea X un espacio lineal sobre 1. Recordemos que un subconjunto no vaco U de X se llama convexo si
x +(1)y U siempre que x, y U y [0, 1]. Una funcin f : U 1 se llama convexa si
f (x +(1)y) f (x) +(1) f (y)
para todo x, y U y todo 0 1.
Un resultado clsico e importante sobre la diferenciabilidad de funciones a valores reales denidas sobre
intervalo abierto de 1 es el siguiente, cuya prueba puede ser consultada, por ejemplo, en [351], Theorem
1.16.
Teorema de diferenciabilidad real. Sea f : (a, b) 1 una funcin convexa continua. Entonces f
es diferenciable en todo punto de (a, b) excepto sobre un subconjunto a lo sumo numerable.
Nuestro objetivo es esta seccin es demostrar dos resultados fundamentales sobre diferenciabilidad de fun-
ciones convexas continuas denidas sobre espacios de Banach reales, donde se hace uso del Teorema de
Categora de Baire, siendo el primero de ellos el siguiente teorema publicado por Mazur en 1933 ([303]).
Teorema 2.2.15 (Teorema de diferenciabilidad de Mazur). Sean (X, ||) un espacio de Banach separa-
ble, U un subconjunto abierto convexo de X y f : U 1una funcin convexa continua. Entonces el conjunto
de puntos donde f es Gteaux diferenciable es un G
-denso de U.
La demostracin de este resultado requiere de algunas deniciones y resultados adicionales.
Denicin 2.2.4. Sean (X, ||) un espacio de Banach y f : X 1 funcin. Se dice que f es Gteaux
diferenciable en x X si existe un nico funcional lineal continuo de X en 1, denotado por d f (x) X
, tal
que
d f (x), h) = lm
t0
f (x +th) f (x)
t
para cada h X. El funcional d f (x) es entonces llamado la derivada de Gteaux de f en x.
Si, adems, el lmite anterior es uniforme en h S
X
, diremos que f es Frchet diferenciable en x.
Equivalentemente, f es Frchet diferenciable en x si existe f

(x) X
, tal que
lm
y0
f (x +y) f (x) f

(x), y)
|y|
= 0.
El funcional f

(x) se le llama la derivada de Frchet de f en x.
La subdiferencial de una funcin convexa f , se dene como la aplicacin multivaluada f : X 2
X
dada por
f (x) =
_
x
: x
, y x) f (y) f (x) para todo y X

_
, x X.
Notemos que f (x) consiste de todos los funcionales lineales continuos que son posibles candidatos para la
derivada de Gteaux de f en x. Es fcil ver que si f (x) ,=, entonces dicho conjunto es convexo. En efecto,
sean x
1
, x
2
f (x) y sea (0, 1). Para cualquier y X, tenemos que
x
1
, y x) f (y) f (x) y (1)x
2
, y x) (1) f (y) (1) f (x).
Sumando ambas desigualdades obtenemos x
1
+ (1 )x
2
, y x) f (y) f (x) para todo y X, por lo
que x
1
+(1)x
2
f (x).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ms aun, se cumple la siguiente desigualdad (monotonicidad del operador f ):
x
, x y) 0
siempre que x, y X y x
f (x), y
f (y). En efecto, si x
f (x), y
f (y), entonces sumando las

siguientes dos desigualdades se obtiene el resultado:
x
, y x) f (y) f (x) y y
, y x) = y
, x y) f (x) f (y).
De aqu en adelante consideraremos slo funciones convexas continuas f : U 1, donde (X, ||) es un
espacio de Banach real y U un subconjunto abierto convexo de X.
Lema 2.2.4. Sea f : U 1 una funcin convexa continua. Entonces
(1) f (x) ,= para todo x U, y
(2) si f es Gteaux diferenciable en x U, entonces f (x) consta de un nico punto, a saber d f (x).
Prueba. (1) Fijemos x U y pongamos C :
_
(x, t) : f (x) t
_
. El conjunto C, que se denomina el epgrafo
de f , resulta ser convexo pues f y U lo son. Trasladando C al punto (x
0
, f (x
0
)) produce el conjunto
C
0
:= C (x
0
, f (x
0
)) =
_
(x, t) (U x
0
) 1 : (x) := f (x +x
0
) f (x
0
) t
_
.
Observe que (0, 0) C
0
y que C
0
es el epgrafo de sobre U x
0
. Por el Teorema de Separacin de
Hahn-Banach, existe un hiperplano cerrado H en X 1 que soporta a C
0
en (0, 0), lo que a su vez implica la
existencia de un funcional lineal no cero x
tal que
x
, x) (x) = f (x +x
0
) f (x
0
), para todo x U x
0
o bien
x
, x x
0
) f (x) f (x
0
), para todo x U
lo cual quiere decir que x
( f ).
(2) Supongamos que d f (x
0
) existe y sea x
( f ). Veamos que x
= d f (x
0
). Como x
( f ), tenemos que
x
, x x
0
) f (x) f (x
0
), para todo x U.
Sea h X arbitrario y escojamos t > 0 lo sucientemente pequeo de modo que x := x
0
+th U. Entonces
x
, h)
f (x
0
+th) f (x
0
)
t
de donde se obtiene que x
, h) d f (x
0
), h). Similarmente, como tambin x
, h) d f (x
0
), h), se
concluye que x
= d f (x
0
).
Recordemos una funcin convexa f : U 1 es localmente acotada en x
0
U si existen constantes
M > 0 y > 0 tal que [ f (x)[ M para todo x U(x
0
, ). Similarmente, f es localmente Lipschitz en
x
0
si existen constantes M > 0 y > 0 tal que [ f (x) f (y)[ M|x y| siempre que x, y U(x
0
, ). f
es localmente acotada (resp. localmente Lipschitz) sobre U si f es localmente acotada (resp. localmente
Lipschitz) en todo punto de U. Ms aun, diremos que la aplicacin x f (x) es localmente acotada en x
0
si existe una constante M > 0 y un entorno abierto U de x
0
tal que |x
| M para todo x
f (x) y todo
x U.
Un hecho que es importante resaltar es el siguiente.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Lema 2.2.5. Sea f : U 1 una funcin convexa localmente acotada. Entonces
(1) f es localmente Lipschitz.
(2) f es localmente acotada, y para cada x U, f (x) es
-compacto.
(3) La aplicacin subdiferencial x f (x) es norma-
superiormente semicontinua sobre U.

Prueba. (1) Fijemos x
0
X. Puesto que f es localmente acotada en x
0
, existen constantes M > 0 y > 0
tal que [ f (x)[ M siempre que x U(x
0
, 2). Para cualesquiera x, y U(x
0
, ), sean = |x y| y z =
y +(y x)/. Entonces z U(x
0
, 2). Puesto que
y =

+
z +

+
x U(x
0
, 2)
resulta que
f (y)

+
f (z) +

+
f (x)
y as,
f (y) f (x)

+
_
f (z) f (x)
_

2M
|x y|.
Intercambiando x con y, vemos que
[ f (x) f (y)[ M|x y| para todo x, y U(x
0
, ).
Esto nos dice que f es localmente Lipschitz.
(2) Para ver que f es localmente acotada, sean x U(x
0
, ) y x
f (x). Entonces, para todo y U(x

0
, ),
x
, y x) f (y) f (x)
M
2
|y x|
lo cual implica que |x
|
M
2
. Finalmente, como f (x
0
) es norma-acotado, slo nos resta demostrar que
f (x
0
) es
-cerrado. En efecto, sea (x
n
)
n=1
una sucesin en f (x
0
) tal que x
n
x
en la
-topologa.
Entonces, para todo n N y todo y X se tiene que
x
n
, y x
0
) f (y) f (x
0
).
Tomando lmite cuando n , se obtiene que
x
, y x
0
) = lm
n
x
n
, y x
0
) f (y) f (x
0
)
y as, x
f (x
0
). Se sigue del Teorema de Banach-Alaoglu que f (x
0
) es
-compacto.
(3). Para demostrar esta ltima parte, haremos uso de la Reformulacin (1), pgina 243. En efecto, sean
x U, W cualquier subconjunto
-abierto de X
conteniendo a f (x) y (x
n
)
n=1
cualquier sucesin en
U tal que x
n
x en la norma. Vamos a demostrar que existe N N tal que f (x
n
) W para todo n N.
Supongamos que este no es el caso, entonces existe una subsucesin de (x
n
)
n=1
, que la seguiremos denotando
del mismo modo, tal que f (x
n
) ,W para todo n = 1, 2, . . . Para cada n N, escojamos x
n
f (x
n
) W.
Puesto que f () es localmente acotada, podemos suponer que existe una bola norma-cerrada B(0, K) en X
,
conteniendo a todos los conjuntos f (x
n
).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sea x
n
: n = 1, 2, . . .
B(0, K). Esto signica que x
es el -lmite de una subred de (x
n
)
n=1
y,
por supuesto, x
,W. Fijemos un y U y consideremos la expresin

x
, y) x
n
, x) = x
, y) x
n
, y) +x
n
, y) x
n
, x
n
) +x
n
, x
n
) x
n
, x) +x
n
, x) x
, x). (1)
Como x
es un punto de
-clausura de la sucesin x
n
: n = 1, 2, . . ., resulta que las sucesiones (x
n
, x))
n=1
y (x
n
, y))
n=1
poseen subsucesiones, a las que seguiremos nombrando del mismo modo, que convergen a
x
, x) y a x
, y) respectivamente, esto es,

lm
n
x
n
, x) = x
, x) y lm
n
x
n
, y) = x
, y). (2)
Adems, puesto que x
n
B(0, K) para todo n N, obtenemos que
n
, x
n
) x
n
, x)
K|x
n
x| 0. (3)
Por otro lado, teniendo en cuenta que la desigualdad
x
n
, y) x
n
, x
n
) f (y) f (x
n
)
= f (y) f (x) + f (x) f (x
n
),
la cual es vlida por estar x
n
f (x
n
), y como f (x) f (x
n
) 0 por la continuidad de f en x, resulta de la
desigualdad anterior que
lmsup
n
_
x
n
, y) x
n
, x
n
)
_
f (y) f (x) (4)
Finalmente, tomando el lmite en (1) cuando n , y usando (2), (3) y (4) se concluye que
x
, y) x
, x) f (y) f (x) para todo y U.

Esto prueba que x
f (x) W, lo cual es una contradiccin por el hecho de que W contiene a f (x).

Un resultado importante que caracteriza la diferenciabilidad de funciones convexas continuas en trminos
de ciertas selecciones es el siguiente:
Teorema 2.2.16. Sean (X, ||) un espacio de Banach, U un subconjunto abierto convexo no vaco de X y
f : U 1 una funcin convexa continua. f es Frchet (respectivamente, Gteaux) diferenciable en x U
si, y slo, existe una seleccin para f la cual es norma - norma (respectivamente, norma -
) continua
en x.
Prueba. La demostracin ser llevada a cabo slo para el caso en que f es Frchet diferenciable. Suponga-
mos que existe una seleccin para la subdiferencial f de f . Puesto que (x) f (x) para todo x U, te-
nemos que (x), yx) f (y) f (x) para todo y U. Para tales y U tambin se cumple que (y) f (y),
y as, (y), x y) f (x) f (y). Combinando estas dos desigualdades resulta que para todo y U,
0 f (y) f (x) (x), y x) (y) (x), y x). (2.2.1)
Si es norma-norma continua en x, entonces el hecho de que el ltimo trmino en la desigualdad (2.2.1) est
acotada por |(y) (x)||y x| implica que f es Frchet diferenciable en x.
Recprocamente, supongamos que f es Frchet diferenciable en x U. En primer lugar vamos a de-
mostrar que f es norma-norma superiormente semicontinua en x, es decir, queremos probar que para cual-
quier entorno norma-abierto V de x
:= f

(x), existe un entorno norma-abierto W de x tal que f (W) V.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Supongamos que f no es norma-norma superiormente semicontinua en x. Entonces es posible elegir un
> 0, una sucesin (x
n
)
n=1
en U y x
n
f (x
n
) para cada n N tal que
|x
n
x| 0, pero |x
n
x
| > 2.
La ltima desigualdad implica la existencia, para cada n N, de un z
n
S
X
tal que x
n
x
, z
n
) > 2. Ahora
bien, como f es Frchet diferenciable en x, existe un > 0 tal que x +y U y
f (x +y) f (x) x
, y) |y|
siempre que |y| . Por otro lado, puesto que x
n
f (x
n
), tenemos que
x
n
, (x +y) x
n
) f (x +y) f (x
n
)
y, as,
x
n
, y) f (x +y) f (x) + x
n
, x
n
x) + f (x) f (x
n
)
siempre que |y| . Sea y
n
= z
n
, n = 1, 2, . . . Entonces |y
n
| = y
2 < x
n
x
, y
n
)
_
f (x +y
n
) f (x) x
, y
n
)
+ x
n
, x
n
x) + f (x) f (x
n
)
+ x
n
, x
n
x) + f (x) f (x
n
). (2.2.2)
Finalmente, como f es localmente acotada y [x
n
, x
n
x)[ |x
n
||x
n
x|, se sigue de la continuidad de
f en x que f (x) f (x
n
) 0 y, en consecuencia, las desigualdades en (2.2.2) nos conduce a la desigual-
dad 2 que resulta, a todas luces, contradictoria. Esto prueba que f es norma-norma superiormente
semicontinua en x.
Para cada x U, pongamos (x) = f

(x). Resulta que es una seleccin para f la cual es norma-
norma continua en x. En efecto, los siguientes tres hechos: f (x) consta de un nico punto (Lema 2.2.4),
(y) f (y) para cada y U y f es superiormente semicontinua en x, implican inmediatamente que
(y) (x) = f

(x) siempre que y x en norma, es decir, es norma-norma continua en x.
Observemos que si la funcin convexa f : U 1 es continua en x
0
U, entonces ella es localmente
acotada en dicho punto y, en consecuencia, f (x
0
) es localmente acotada. Adems,
Corolario 2.2.12. Sea f : U 1 una funcin continua y convexa. Entonces, para cada x U, tenemos que
d f (x) existe si, y slo si, f (x) consiste exactamente de un nico elemento.
Prueba. Ya sabemos, por el Lema 2.2.4, que si d f (x) existe, entonces f (x) consiste exactamente de un
nico elemento.
Supongamos ahora que f (x) consiste de un nico punto. El Lema 2.2.5 (3) nos dice que f es norma-
superiormente semicontinua en x. Similar a la parte nal de la prueba del teorema anterior, la suposicin
de que f (x) consta de un nico punto, conduce a que cualquier seleccin para f es norma-
continua
en x. Entonces, por el Teorema 2.2.16, d f (x) existe.
Puesto que en espacios de Banach de dimensin nita la topologa
y la topologa de la norma coinci-

den, la conclusin del siguiente corolario se deriva inmediatamente del Teorema 2.2.16.
Corolario 2.2.13. Si (X, ||) es un espacio de Banach de dimensin nita, entonces para cualquier funcin
continua y convexa denida sobre l, las derivadas de Gteaux y Frchet coinciden.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba del Teorema de diferenciabilidad de Mazur. En primer lugar vamos a demostrar que el conjunto
F =
_
x U : d f (x) no existe
_
es un F
de U. En efecto, como X es separable podemos elegir una sucesin (x

n
)
n=1
densa en la esfera
unitaria S
X
de X. Para cada par de enteros n, m 1, denamos los conjuntos F
n,m
como
F
n,m
=
_
x U : existen x
, y
f (x) satisfaciendo x
, x
n
) 1/m
_
.
Notemos que d f (x) no existe si, y slo si, f (x) contiene ms de un punto. De esto se sigue que
d f (x) no existe si, y slo si, x
_
n,m=1
F
n,m
; es decir, F =
_
n,m=1
F
n,m
.
Por esto, slo debemos demostrar que cada F
n,m
es relativamente cerrado en U. Para demostrar esto ltimo,
sea (z
k
)
k=1
cualquier sucesin en F
n,m
tal que z
k
z U. Para cada k N, escojamos x
k
y y
k
en f (z
k
) tal
que x
k
y
k
, x
n
) 1/m. Puesto que X es separable, los subconjuntos norma acotados de X
son metrizables
en la
-topologa y, en consecuencia, por el acotamiento local de la aplicacin f en z y la
-compacidad
de cada bola cerrada en X
, no se pierde generalidad en asumir, y as lo haremos, que existen x
, y
tales que x
y y
. Usando estos hechos tenemos que, para cualquier y U,

x
, y z) = lm
k
x
k
, y z
k
) lm
k
[ f (y) f (z
k
)] = f (y) f (z),
de modo que x
(y similarmente y
) est en f (z). Adems, puesto que

x
, x
n
) = lm
k
x
k
y
k
, x
n
) 1/m,
se concluye que z F
n,m
.
Finalmente, para hacer uso del Teorema de Categora de Baire, tenemos que demostrar que cada UF
n,m
es denso en U. Veamos esto. Fijemos m, n N y sean x
0
U y > 0 arbitrarios. Consideremos la funcin
g : I 1 dada por
g(r) = f (x
0
+rx
n
) (r I),
donde I =r 1 : x
0
+rx
n
U. Como g es convexa sobre el intervalo abierto I entonces, por el Teorema
de diferenciabilidad real, tenemos que g
(r) existe para todos los puntos r I excepto, posiblemente, en

un conjunto a lo sumo numerable. Sea [r
[ < tal que g es diferenciable en r
y pongamos x
:= x
0
+r
x
n
.
Observemos que |x
0
x
| < . Armamos que x
, F
n,m
. En efecto, si x
F
n,m
, entonces existen x
, y

f (x
) tal que x
, x
n
) 1/m. De esto se sigue que x
, x
n
) ,= y
, x
n
) son las direcciones de dos lneas
tangentes distintas al grafo de la funcin g en (r
, g(r
)) lo cual es una contradiccin por el hecho de que

g es diferenciable en r
. Por consiguiente, x
U F
n,m
para m = 1, 2, . . . y, en consecuencia, toda bola
abierta U(x
0
, r) intersecta a U F
n,m
; es decir, U F
n,m
es un abierto denso en U. Un llamado al Teorema de
Categora de Baire nos revela que
n,m=1
(U F
n,m
)
es un G
-denso de U.
Un resultado similar al Teorema de diferenciabilidad de Mazur pero cambiando Gteaux diferenciabili-
dad por Frchet diferenciabilidad e imponiendo una condicin adicional al espacio de Banach, fue obtenida
por Asplund y generalizada por Lindenstrauss en los siguientes trminos.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.2.17 (Teorema de diferenciabilidad de Asplund-Lindenstrauss). Sea (X, ||) un espacio de
Banach tal que X
es separable y sea f : X 1 cualquier funcin convexa continua. Entonces f es Frchet

diferenciable sobre un subconjunto G
-denso de X.
Prueba. Denamos el conjunto
F =
_
x X : f no es Frchet diferenciable en x
_
.
Vamos a demostrar que F es de primera categora en X. Para ello consideremos el epgrafo de f , es decir, el
subconjunto de X 1 denido por epi( f ) =(x, t) X 1 : f (x) t. Siendo epi( f ) un conjunto convexo
cerrado con interior no vaco en X 1, el Teorema de separacin de Hahn-Banach en X 1 nos garantiza
la existencia, para cada x X, de un funcional p
x
X
tal que f (x+h) f (x) p

x
(h) para cualquier h X.
Puesto que f no es Frchet diferenciable en los puntos de F, podemos seleccionar, para cada x F, un
m
x
N tal que
lmsup
h0
f (x +h) f (x) p
x
(h)
|h|
>
1
m
x
.
Fijemos m N y denamos F
m
= x F : m
x
= m. Usemos ahora el hecho de que X
es separable, para
seleccionar una sucesin densa en X
, digamos (x
k
)
k=1
y pongamos U
m,k
:= U(x
k
,
1
24m
) para todo k N.
Resulta claro entonces que X
k=1
U
m,k
. Para cada k N, dena
F
m,k
=
_
x F
m
: p
x
U
m,k
_
.
Es una tarea fcil probar que F =

m,k=1
F
m,k
. Por esto, slo tenemos que demostrar que el conjunto F
m,k
es nunca-denso para cada m, k N. Fijemos m, k N y supongamos, para arribar a una contradiccin, que
F
m,k
tiene interior no vaco. Entonces existen un x F
m,k
y un entorno abierto U de x tal que U F
m,k
.
Para obtener nuestra contradiccin es suciente demostrar que existe un punto y U poseyendo un entorno
abierto V tal que V F
m,k
= . Siendo f localmente Lipschitz, podemos suponer, sin perder generalidad,
que el entorno U de x F
m,k
es de la forma U =U(x, r), donde r se elige de modo tal que f es Lipschitz con
constante K > 1/m sobre U(x, r). Observemos que esto implica que | p
x
| K. En efecto, tenemos que
p
x
(h) f (x +h) f (x), p
x
(h) = p
x
(h) f (x h) f (x) siempre que |h| < r,
y, por lo tanto,
[ p
x
(h)[ m ax[ f (x +h) f (x)[ , [ f (x h) f (x)[ K|h| siempre que |h| < r.
Ahora bien, como x F
m,k
, existe h X, |h| < r/2 tal que
f (x +h) f (x)
|h|
m
+ p
x
(h). (2.2.3)
Armamos que
U
_
x +h,
|h|
12mK
_
F
m,k
=.
Supongamos que existe z U(x+h, |h|/12mK) F
m,k
. Notemos que z U(x, r), ya que |h| <r/2. Como
z F
m,k
y x F
m,k
, por la denicin de F
m,k
tenemos que | p
x
p
z
| < 1/(12m). Por la eleccin de p
z
se
tiene que
f (x) f (z) p
z
(x z). (2.2.4)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sumando las desigualdades (2.2.3) y (2.2.4) nos da
f (x +h) f (z) > p
z
(x z) +
|h|
m
+ p
x
(h)
= p
x
(x +hz) +(p
z
p
x
)(x z) +
|h|
m
. (2.2.5)
Puesto que |x +hz| |h|/12mK y | p
x
| K, tenemos que
[p
x
(x +hz)[
|h|
12mK
.
Ms aun,
|z x| |z (x +h) +h|
|h|
12mK
+|h| 2|h| y | p
x
p
z
|
1
12m
,
de donde se sigue que
[(p
x
p
z
)(x z)[ | p
x
p
z
||x z|
1
12m
2|h| =
|h|
6m
.
Reemplazando estas desigualdades en (2.2.2) obtenemos nalmente que
f (x +h) f (z) >
|h|
12m
|h|
6m
+
|h|
m
>
|h|
6m

|h|
3m
+
|h|
m
=
|h|
2m
,
lo cual contradice el hecho de que
[ f (x +h) f (z)[ K|x +hz|
|h|
12m
K
|h|
12mK
=
|h|
12m
.
Hemos probado que F es de primera categora en X y, gracias al Teorema de Categora de Baire, el
conjunto de puntos donde f es Frchet diferenciable, G := X F, es denso en X. De inmediato vamos a
demostrar que, en realidad, G es un G
. En efecto, para cada n N, denamos

G
n
=
_
x X : nf
>0
sup
yS
X
f (x +y) + f (x y) 2f (x)
<
1
n
_
.
Observemos que, por la convexidad de f , tenemos que para cada x, y X y cada 0 <
<
f (x y) f (x)

f (x
y) f (x)

f (x +
y) f (x)

f (x +y) f (x)
.
Se sigue de esto que f es Frchet diferenciable si, y slo si,
nf
0
sup
yS
X
f (x +y) f (x y) 2f (x)
= 0,
lo cual signica que G =

n=1
G
n
. En particular, cada G
n
es denso en X. La prueba terminar una vez que
logremos demostrar que G
n
es un conjunto abierto en X para cada n N. Para este n, sea n N y tomemos
cualquier x G
n
. Siendo f continua en x, ella es localmente acotada en dicho punto y, por lo tanto, gracias al
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Lema 2.2.5, localmente Lipschitz en x, lo cual signica que existe alguna bola abierta U(x, r) sobre la cual f
es L-Lipschitz. Adems, como x G
n
, existen un < r/2 y C < 1/n tal que
sup
yS
X
f (x +y) + f (x y) 2f (x)
<C.
Escojamos 0 < < mn
2
,

4L
(
1
n
C). Armamos que U(x, ) G
n
. En efecto, dado z U(x, ), tenemos
que para cualquier y S
X
,
f (z +y) + f (z y) 2f (z)
_
f (z +y) f (x +y)
+ f (x +y) +
_
f (z y) f (x y)
+ f (x y) 2
_
f (z) f (x)
2f (x)
L|z x|+ f (x +y) +L|z x|+ f (x y) +2L|z x|2f (x)
=
f (x +y) + f (x y) 2f (x)
+ 4L
|z x|
< C+
4L
< C+
_
1
n
C
_
=
1
n
.
Esto termina la prueba.
Es importante destacar que la conclusin del Teorema de diferenciabilidad de Asplund-Lindenstrauss
sigue siendo vlido si la funcin f es convexa y continua sobre cualquier subconjunto abierto y convexo U
de X (vase, por ejemplo, [181], Theorem 8, p. 153-154). La demostracin que acabamos de dar se debe,
fundamentalmente, a Preiss y Zaj cek.
Los espacios de Banach que tienen la propiedad de que cualquier funcin convexa continua denida
sobre un subconjunto abierto convexo de l es Frchet (resp. Gteaux) diferenciable sobre un subconjunto
G
-denso reciben, por su importancia, nombres especiales.

Denicin 2.2.5. Un espacio de Banach (X, ||) se dice que es un espacio de Asplund (respectivamente,
dbilmente de Asplund) si cualquier funcin convexa continua f : U 1, denida sobre un subconjunto
abierto convexo U de X, es Frchet diferenciable (respectivamente, Gteaux diferenciable) en cada punto de
algn subconjunto G
-denso de U.
Comentario Adicional 2.2.11 1) Notemos que, con esta nueva terminologa, el Teorema de diferencia-
bilidad de Mazur puede ser expresado en la forma:
(i) Todo espacio de Banach separable es dbilmente de Asplund.
Mientras que el Teorema de diferenciabilidad de Asplund-Lindenstrauss nos dice que:
(ii) Todo espacio de Banach con dual separable es de Asplund.
Por otro lado
1
, siendo separable, es, por el Teorema de diferenciabilidad de Mazur, un es-
pacio dbilmente de Asplund aunque no es un espacio de Asplund. En efecto, es un ejercicio
aleccionador demostrar que el conjunto de los puntos de
1
donde la norma ||
1
es Gteaux
diferenciable, es
G =
_
(
k
)
k=1
:
k
,= 0, para todo k N
_
.
Es claro que G=
n=1
G
n
, donde cada G
n
=
_
(
k
)
k=1
:
n
,=0
_
es abierto y denso en
1
. Un poco
ms de trabajo se requiere para demostrar que ||
1
no es Frchet diferenciable en ningn punto de
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1
. En el otro extremo de los espacios
p
, resulta que
no es un espacio dbilmente de Asplund

(vase, por ejemplo, [351], Example 1.21). Sin embargo, c
0
, por ser un espacio separable con
dual separable es, por el Teorema de diferenciabilidad de Asplund-Lindenstrauss, un espacio de
Asplund. Tambin es claro que:
(iii) Todo espacio de Asplund es dbilmente de Asplund.
Es bueno advertir que la nocin de espacios dbilmente de Asplund no est relacionado con la
topologa dbil del espacio de Banach. Los conceptos de espacios de Asplund y dbilmente de
Asplund fueron introducidos por E. Asplund pero con nombres diferentes; de hecho l los llam
espacios de diferenciabilidad fuerte y dbil, respectivamente. Fueron, sin embargo, Namioka
y Phelps [332] los primeros en llamar a los espacios de diferenciabilidad fuerte espacios de
Asplund, mientras que Larman y Phelps [279] usaron el trmino dbilmente de Asplund para la
diferenciabilidad dbil. Todos estos hechos y ms, pero mucho ms, pueden ser consultados y
ampliados, por ejemplo, en [71], [181] y [351].
2) En 1990, Dominikus Noll demuestra en [341] un resultado anlogo al Teorema de diferenciabi-
lidad de Asplund-Lindenstrauss pero sobre conjuntos ms pequeos.
Teorema 2.2.18 (Noll). Sea X un espacio de Asplund space y sea Cun subconjunto G
y convexo
de X que no est contenido en ningn hiperplano cerrado de X. Sea : C 1 una funcin
inferiormente semi-continua tal que es localmente Lipschitz sobre un subconjunto denso de C.
Entonces existe un subconjunto G
-denso G de C tal que es Frchet diferenciable en cualquier

punto x G.
3) La parte nal de la demostracin del Teorema de diferenciabilidad de Asplund-Lindenstrauss
dice que: Si cada funcin convexa continua f : X 1 es Frchet diferenciable en cada punto
de algn subconjunto denso de X, entonces ella es Frchet diferenciable en cada punto de al-
gn subconjunto G
-denso de X. En consecuencia, X es un espacio de Asplund si cada funcin

convexa continua sobre X es Frchet diferenciable sobre algn subconjunto denso de X (que
depende de la funcin). Por otro lado, hasta hace muy poco tiempo se desconoca si el resultado
anterior era vlido para espacios dbilmente de Asplund; es decir, si cada funcin convexa con-
tinua sobre X es Gteaux diferenciable sobre algn subconjunto denso de X (esto es lo que se
llama Espacio de Gteaux Diferenciabilidad), es cierto que dicho espacio es dbilmente de As-
plund? La respuesta, obtenida recientemente, es NO. En efecto, W. B. Moors y S. Somasundaram
en [321], exhiben un espacio de Gteaux diferenciabilidad que no es dbilmente de Asplund.
4) Otro resultado interesante y, si se quiere, impresionante pues su exigencia es mnima aunque a
veces difcil de vericar es el siguiente ([71],Theorem 5.6.2, p. 150):
Teorema de Ekeland-Lelourg. Si existe una funcin diferenciable f : X 1 abollada sobre
un espacio de Banach X, entonces X es un espacio de Asplund.
Una funcin diferenciable abollada (bump) es una funcin f : X 1 la cual es Frchet diferen-
ciable en cada x X y cuyo soporte es un subconjunto no vaco y acotado de X, donde el soporte
de f es la clausura (en la norma) del conjunto x X : f (x) ,= 0.
5) Entre los espacios de Banach que son dbilmente de Asplund estn:
a) Los espacios de Banach X cuyo dual X
admite una norma dual estrictamente convexa. Una

norma || sobre X bajo la cual
_
_
1
2
(x
1
+x
2
)
_
_
< 1 siempre que x
1
, x
2
S
X
con x
1
,= x
2
, se
dice que es estrictamente convexa. En general, los espacios de Banach X cuya norma es
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Gteaux suave; es decir, una norma sobre X que es Gteaux diferenciable en cada punto de
X, son dbilmente de Asplund. Ver, por ejemplo, [374].
b) Los dbilmente compacto generado. Un espacio de Banach X se llama dbilmente compacto
generado (WCG) si existe un subconjunto dbilmente compacto K de X tal que X = [K],
donde [K] denota el subespacio lineal generado por K. Tales espacios incluyen a los espacios
de Banach separables, a los reexivos, a los L
1
() si es -nita, a los c
0
() para cualquier
conjunto , a C() si es Eberlein compacto, etc. Vase, por ejemplo, ([74], pg. 62-75)
para una demostracin de que estos espacios son WCG y, ([157], p. 19, Theorem 1.3.4) para
la demostracin de que todo espacio WCG es dbilmente de Asplund.
c) Los dbilmente K-analticos. Un espacio de Banach X se llama dbilmente K-analtico si
(X, ) es K-analtico; lo cual signica que existe una aplicacin superiormente semicontin-
ua F : N
N
K(X) tal que
_
f N
N
K( f ) = X,
donde K(X) denota la coleccin de todos los subconjuntos dbilmente compactos de X.
Vase, por ejemplo, [157], p. 69, Corollary 4.1.3, para una demostracin de este hecho.
d) La clase de Stegall (para espacios de Banach), ([157], p. 56), etc.
6) Un hecho importante que se deriva de los espacios dbilmente de Asplund es el siguiente:
Teorema. Si X es un espacio dbilmente de Asplund, entonces todo subconjunto norma-acotado
K de X
es relativamente secuencialmente
-compacto; es decir, cualquier sucesin en K ad-

mite una subsucesin
-convergente en X
. (Vase, [157], Theorem 2.1.2, p. 38).

Existen varias caracterizaciones de los espacios de Asplund en trminos de ciertas propiedades estruc-
turales de los espacios de Banach las cuales pueden no estar directamente relacionadas a la diferenciabilidad.
En este sentido, una de las caracterizaciones de mayor utilidad es la siguiente.
Teorema 2.2.19. Para cualquier espacio de Banach (X, ||), las siguientes condiciones son equivalentes:
(1) X es un espacio de Asplund.
(2) Cada subespacio norma separable Y de X, su dual Y
es norma separable.
En [181], [351], [448] se puede ver la demostracin de este resultado y, adems, otras caracterizaciones
geomtricas de los espacios de Asplund que no abordaremos en estas notas.
2.2.3. | Norma LUR, compacidad dbil y puntos ms lejanos
Sea (X, ||) un espacio de Banach. La norma || se llama localmente uniformemente rotunda en
x
0
X si, siempre que (x
n
)
n=1
es una sucesin en X tal que
(1) lm
n
_
_
_
_
x
0
+x
n
2
_
_
_
_
= |x
0
|, y
(2) lm
n
|x
n
| = |x
0
|,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
entonces lm
n
|x
n
x
0
| = 0. Si la norma || es localmente uniformemente rotunda en cada punto de X,
diremos que ella es localmente uniformemente rotunda o, brevemente, (LUR).
Notemos que la norma || es LUR en x
0
S
X
si, y slo si, siempre que x
n
S
X
y lm
n
|x
0
+x
n
| = 2,
entonces lm
n
|x
0
x
n
| = 0.
La siguiente caracterizacin nos ser de utilidad en la demostracin del Teorema 2.2.21.
Teorema 2.2.20. Sea (X, ||) un espacio de Banach. Las siguientes condiciones son equivalentes:
(a) X es LUR.
(b) Dado > 0 y x S
X
, existe un := (, x) > 0 tal que
|x y| < siempre que x B
X
y
_
_
_
_
1
2
(x +y)
_
_
_
_
> 1.
Prueba. Suponga que X es LUR pero que (b) no se cumple. Entonces existe un > 0 y un x S
X
tal que
para cada > 0 se cumple que |x y| , pero
_
_
1
2
(x +y)
_
_
> 1. De aqu se sigue la existencia de una
sucesin (y
n
)
n=1
en S
X
tal que |x y
n
| para todo n N, pero
_
_
1
2
(x +y
n
)
_
_
1, lo que, evidentemente,
contradice (a).
La otra implicacin se deja como ejercicio al lector.
Recordemos, pgina 230, que una norma || sobre un espacio de Banach X tiene la propiedad de Kadec-
Klee si la topologa de la norma y la topologa dbil coinciden sobre la esfera unitaria S
X
. Un hecho impor-
tante en la geometra de los espacio de Banach lo constituye el siguiente resultado.
Teorema 2.2.21. Sea (X, ||) un espacio de Banach. Si || es una norma LUR, entonces || tiene la pro-
piedad de Kadec-Klee.
Prueba. Supongamos que || es una norma LUR y que x
0
S
X
. Entonces, para cada > 0 podemos elegir
un > 0, tal que |x
0
x| < siempre que x B
X
y
_
_
1
2
(x
0
+x)
_
_
>1. Seleccionemos, por el Teorema de
Hahn-Banach, un x
S
X
tal que x
(x
0
) = 1 y que para cada x B
X
se cumpla que x
(x) > 1. Entonces

_
_
_
_
1
2
(x
0
+x)
_
_
_
_

1
2
x
(x
0
+x) > 1
y, por lo tanto, |x
0
x| < . Esto nos dice que el conjunto
U =
_
x B
X
: x
(x) > 1
_
constituye un entorno bsico de x
0
en la norma topologa de B
X
.
El resultado anterior combinado con el Ejemplo (B-16), pgina 230, nos dice que:
Corolario 2.2.14. Sea (X, ||) un espacio de Banach. Si la norma || es LUR, entonces (B
X
, ) es un
espacio de Baire.
Fijemos de nuevo un espacio de Banach (X, ||) y sea K un subconjunto dbilmente compacto de X.
Para cada x X, denimos la funcin
r(x) = sup
_
|x z| : z K
_
,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
a la que llamaremos la distancia ms larga de x a K. Es fcil ver que la funcin r es convexa y 1-Lipschitz
sobre X. Diremos que un punto z K es el punto ms lejano a x en K si r(x) =|x z|.
Para cada x X, la subdiferencial de r en x,
r
(x), vive en la bola unitaria de X
; es decir,
r
(x) B
X
.
En efecto, si x

r
(x), entonces x
(y x) r(y) r(x) |y x| para cualquier y X y, por lo tanto,

|x
| 1.
Teorema 2.2.22 (Lau). Sean (X, ||) un espacio de Banach y K un subconjunto dbilmente compacto de X.
Entonces el conjunto
G =
_
x X : supx
(x z) : z K = r(x) para algn x

r
(x)
_
es un G
-denso en X. Ms an, si x G, entonces K posee un punto ms lejano a x.

Prueba. Para cada n N, denamos
F
n
=
_
x X : nf
yK
x
(y x) r(x) +
1
n
, para algn x

r
(x)
_
.
Armamos que F
n
es cerrado para cada n. En efecto, sea (x
j
)
j=1
una sucesin en F
n
tal que lmx
j
= x y
para cada j N, escojamos x
j

r
(x
j
) de acuerdo a la denicin de F
n
. Usando el hecho de que B
X
es
-compacto y teniendo en cuenta que

r
(x
j
) B
X
para todo j N, podemos asegurar que la sucesin
(x
j
)
j=1
posee un
-punto de acumulacin, al que llamaremos x
. Consideremos las desigualdades

x
j
(y x
j
) r(x
j
) +
1
n
, y K y x
j
(z x
j
) r(z) r(x
j
), z X.
Puesto que x
j
x y | x
j
| 1 para todo j N, resulta claro que los miembros izquierdos de las dos de-
sigualdades anteriores poseen, respectivamente, a x
(y x) y a x
(z x) como puntos de acumulacin. Se

sigue de esto que
x
(y x) r(x) +
1
n
, y K y x
(z x) r(z) r(x), z X.
Esto prueba que x F
n
y as, F
n
es cerrado.
Puesto que G =

n=1
G
n
, donde cada G
n
= X F
n
es abierto, entonces slo nos resta demostrar que G
n
es denso en X, o equivalentemente, F
n
es nunca-denso en X. Supongamos que para algn n, int(F
n
) ,=
y elijamos un > 0 tal que la bola abierta U := U
_
y
0
, 2r(y
0
)
_
int(F
n
), para algn y
0
F
n
. Pongamos
=

4(1+)n
mn1, r(y
0
). Escojamos ahora un z
0
K tal que |y
0
z
0
| > r(y
0
) > r(y
0
)/2. Ntese que
si denimos x
0
= y
0
+(y
0
z
0
), entonces |x
0
y
0
| = |y
0
z
0
| > r(y
0
)/2 > . Tomemos un punto
x
1
en el segmento de lnea [x
0
, y
0
] tal que |x
0
x
1
| = . Puesto que |x
0
y
0
| = |y
0
z
0
| r(y
0
),
resulta que tanto x
0
, as como x
1
, estn en U F
n
. Por la denicin de F
n
, existe un x
1

r
(x
1
) tal que
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
nfx
1
(y x
1
) : y K r(x
1
) +
1
n
. Usando la desigualdad anterior, se sigue que
r(y
0
) r(x
1
) < |y
0
z
0
|+ r(x
1
) =
1
1+
|x
0
z
0
|+ r(x
1
)
1
1+
r(x
0
) + r(x
1
)
1
1+
r(x
1
) +2 r(x
1
)

1+
_
x
1
(z
0
x
1
)
1
n
_
+2

1+
_
x
1
(z
0
x
0
)
1
n
_
+3
=
1
1+
_
x
1
(z
0
x
0
)
n
_
+3 =
1
1+
x
1
_
(1+)y
0
(1+)x
0
_

(1+)n
+3
= x
1
(y
0
x
0
)

(1+)n
+3 x
1
(y
0
x
1
)

(1+)n
+4
x
1
(y
0
x
1
).
Por esto, r(y
0
) < r(x
1
) +x
1
(y
0
x
1
), lo cual es contrario al hecho de que x
1

r
(x
1
). Esta contradiccin
establece que cada F
n
es nunca-denso en X. Por el Teorema de Categora de Baire, G es un G
-denso en X.
Con esto queda probada la primera parte del teorema.
Para probar la segunda parte, sea x G y escojamos un x

r
(x) segn la denicin de G. Como
x
es un funcional dbilmente continuo, la compacidad dbil de K nos permite hallar un z

0
K tal que
x
(x z
0
) = supx
(x z) : z K. Entonces
r(x) = x
(x z
0
) |x
| |x z
0
| |x z
0
| r(x).
De all que |x z
0
| = r(x) y termina la demostracin.
2.2.4. | Dentabilidad, la PRN y densidad de funcionales
En esta seccin mostraremos una condicin geomtrica, aludida en la seccin anterior, conocida como
dentabilidad, que est estrechamente relacionada con la nocin de diferenciabilidad. Sean (X, ||) un espacio
normado y A un subconjunto no vaco acotado de X. Como siempre, la notacin co(A), denota la clausura de
la cpsula, o envoltura, convexa del conjunto A.
Denicin 2.2.6. Sean (X, ||) un espacio normado y D un subconjunto no vaco acotado de X. Para cada
f X
, f ,= 0, escribamos M(D, f ) = sup

_
f (x) : x D
_
. Dado > 0, el subconjunto de D,
S(D, f , ) =
_
x D : f (x) > M(D, f )
_
se llama una rebanada de D. Diremos que D es dentable si para cada > 0, existe un punto x
D tal que
x
, co(DU(x
, )). Suponga ahora que DX, pudiendo ser D no acotado. Diremos que D es hereditari-
amente dentable si cada subconjunto no vaco y acotado de D es dentable.
Las nociones de dentabilidad y rebanadas estn relacionadas por medio del siguiente resultado.
Teorema 2.2.23. Sean (X, ||) un espacio normado y D un subconjunto no vaco norma-acotado de X. Son
equivalentes:
(1) D es dentable.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
(2) D contiene rebanadas de dimetros arbitrariamente pequeos.
Prueba. Suponga, en primer lugar, que D es dentable y sea > 0. Por hiptesis, existe un x D tal que
x , co(DU(x, )). Por el Teorema de Hahn-Banach, existen un f B
X
y un 1 tal que
sup
_
f (x) : x co(DU(x, ))
_
< < f (x).
D U(x, )
S(D, f, )
f
1
(r)
co(D U(x, ))
U(x, )
Figura 2.1:
Si ahora denimos = M(D, f ) , entonces claramente
S(D, f , ) =
_
y D : f (y) > M(D, f )
_
U(x, ) D ()
tiene dimetro menor que 2.
Recprocamente, sea > 0 y supongamos que diam
_
S(D, f , )
_
. Denamos = M(D, f ) y
seleccionemos x S(D, f , ). Como diam
_
S(D, f , )
_
, resulta que
S(D, f , ) U(x, ) D
y, en consecuencia,
co
_
DU(x, )
_
co
_
DS(D, f , )
_
f
1
_
(, ]
_
.
Es claro que x , co
_
DU(x, )
_
, pues si x estuviera en DU(x, ) tendramos, por la desigualdad anterior,
que f (x) lo cual es imposible pues f (x) > por estar x en S(D, f , ). Esto prueba que D es dentable.
Es importante resaltar, para referencia futura, lo que dice () en el teorema anterior.
Si D es un subconjunto dentable de X y > 0, entonces existe un conjunto -abierto U X tal
que
U D,= y ||diam(U D) < . ()
Corolario 2.2.15. Sea D un subconjunto acotado de un espacio de Banach (X, ||). Si K = co(D) es
dentable, entonces tambin lo es D.
Prueba. Observemos que, para cada f X
0, se cumple que
M(D, f ) = sup
xD
x
(x) = sup
xK
x
(x) = M(K, f ).
Por lo tanto, si > 0 y f X
0, entonces S(D, f , ) S(K, f , ) y as, si K contiene rebanadas de

dimetro arbitrariamente pequeo, tambin las posee D.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Si K es un subconjunto no vaco acotado de X
, se dene la
-rebanada de K, como
S(K, x, ) =
_
f K : f (x) > M(K, x)
_
donde x X y > 0. Un subconjunto K de X
se llama
-dentable si ste contiene
-rebanadas de
norma-dimetros arbitrariamente pequeos. Un subconjunto K de X
(K puede no estar acotado) se dice que
-hereditariamente dentable si cada subconjunto no vaco y acotado de K es
-dentable.
En la teora de los espacios de Banach, la nocin conocida como Propiedad de Radon-Nikodym, de-
sarrollada intensamente en las dcadas de los 70 y los 80 del siglo pasado, constituye uno de los pilares
fundamentales de esa teora. De las variadas y sorprendentes formas equivalentes que existen en la literatura
en relacin a dicha propiedad (vase, por ejemplo, las monografas de J. Diestel and J. Uhl [129] y R. D.
Bourgin [71]), la siguiente nos ser de gran utilidad a nuestros intereses.
Denicin 2.2.7. Sea (X, ||) un espacio de Banach. Se dice que X tiene la Propiedad de Radon-Nikodm
(abreviado PRN) si cada subconjunto no vaco acotado Dde X es dentable, es decir, si X es hereditariamente
dentable.
Observe que, en virtud del Corolario 2.2.15, X tiene la PRN si cada subconjunto convexo y cerrado es
dentable. En general, podemos denir la PRN para subconjuntos de X del modo siguiente.
Denicin 2.2.8. Sea (X, ||) un espacio de Banach y sea K un subconjunto convexo, cerrado y acotado de
X. Diremos que K tiene la PRN si cada subconjunto convexo, cerrado y acotado de K es dentable.
Es importante destacar las siguientes formas equivalentes de la PRN para un subconjunto convexo, ce-
rrado y acotado de X.
Teorema 2.2.24 ([71], Theorem 2.3.6). Sea (X, ||) un espacio de Banach y sea K un subconjunto convexo,
cerrado y acotado de X. Son equivalentes:
(1) K tiene la PRN.
(2) Cada subconjunto convexo, cerrado, acotado y separable de K tiene la PRN.
(3) K es hereditariamente dentable.
(4) Cada subconjunto de K posee rebanadas de dimetro arbitrariamente pequeos.
Prueba. Se deja como ejercicio al lector.
Denicin 2.2.9. Un rbol innito en X es una sucesin (x
n
)
n=1
en X tal que
x
n
=
1
2
(x
2n
+x
2n+1
)
para cada n N. Si adems,
|x
2n
x
n
| = |x
2n+1
x
n
|
para todo n N y algn > 0, entonces se dice que (x
n
)
n=1
es un -rbol innito.
Corolario 2.2.16. Si (X ||) es un espacio de Banach con la PRN, entonces X no contiene -rboles innitos
acotados para ningn > 0.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. En efecto, si para algn > 0 existiera un -rbol innito acotado en X, entonces dicho conjunto
no sera dentable y, por lo tanto, X no tendra la PRN.
Dos resultados fundamentales y que nos interesan en esta seccin son los siguientes, cuya demostracin
se puede ver, por ejemplo, en [200], pg. 48-49:
Teorema de Krein-Milman. Si K es un subconjunto no vaco convexo y compacto de un espacio
vectorial topolgico localmente convexo X, entonces
ext (K) ,= y K = co(ext (K)).
Teorema de Milman. Si X es un espacio vectorial topolgico localmente convexo, K X es
convexo y compacto, y si F K es tal que K = co(F), entonces
ext (K) F.
Fijemos un espacio de Banach (X, ||) y suponga que K es un subconjunto no vaco convexo, cerrado
y acotado. El conjunto de los puntos extremales de K, ext (K), cuando es no vaco, constituye un conjunto
de particular importancia en la geometra de los espacios de Banach. Existen ciertos subconjuntos especiales
en ext (K) que permiten determinar ciertas propiedades del conjunto K que no se reejan con el conjunto
ext (K).
Para cada f X
, denote por K
f
=
_
z K : f (z) = sup
yK
f (y)
_
. Recordemos que x K es un llamado
un punto expuesto de K si existe f X
tal que K
f
=x, es decir, si existe f X
para el cual
f (x) > f (y) para todo y K, y ,= x.
Al funcional f se le dice que expone a x y se le llama un funcional expuesto de K. Denotaremos por
exp(K) el conjunto de todos los puntos expuestos de K y por E(X
, K) denotaremos el conjunto de todos

los funcionales expuestos de K. Por ltimo, diremos que x K es un punto fuertemente expuesto de K si
existe f X
tal que
(a) f expone a x, y
(b) lm
0
+
diam(S(K, f , )) = 0.
En este caso diremos que f expone fuertemente a x y a dicho funcional se le llama funcional fuertemente
expuesto de K. Escribiremos s-exp(K) para denotar el conjunto de todos los puntos fuertemente expuestos
de K y por SE(X
, K) denotaremos el conjunto de todos los funcionales fuertemente expuestos de K.

Las siguientes relaciones se cumplen:
s-exp(K) exp(K) ext (K) y SE(X
, K) E(X
, K).
En espacios de Banach de dimensin innita se pueden dar ejemplos de conjuntos convexos, cerrados y
acotados donde las inclusiones anteriores son estrictas en cada uno de los casos (vase, por ejemplo, [71], p.
43-44). Sin embargo, para la primera cadena de contenciones, si dim(X) <+, entonces s-exp(K) =exp(K)
(vase, por ejemplo, [7], Lemma 7.84, p. 306).
Si x es un punto de un subconjunto acotado K de X tal que
f (x) = sup
_
f (z) : z K
_
:= M(K, f )
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
para algn f X
0, entonces decimos que x es un punto soporte de K y a f lo llamaremos un funcional

soporte de K. Denimos
NA(K) =
_
f X
0 : f es un funcional soporte de K
_
.
En el caso particular cuando K = B
X
, escribiremos NA(X) en lugar de NA(B
X
) y a los elementos de NA(X)
los llamaremos funcionales que alcanzan la norma, debido a que si f NA(X), entonces | f | = f (x
0
) para
algn x
0
B
X
. En general, a NA(K) se le llama un conjunto de Bishop-Phelps debido fundamentalmente a
un resultado fascinante de E. Bishop y R. R. Phelps ([53]) el cual establece que:
Teorema 2.2.25 (Bishop-Phelps). Sea (X, ||) un espacio de Banach. Para cada subconjunto convexo, ce-
rrado y acotado K de X, el con junto NA(K) es norma-denso en X
.
Existen varias demostraciones hermosas y elegantes de ste resultado. Una de ellas usa el principio
variacional de Ekeland (vase, por ejemplo, [125]). Otra demostracin interesante del mismo teorema para
el caso en que X es norma-separable es presentada en ([200], Theorem 370, p. 300). Nosotros abordaremos
la demostracin clsica de dicho teorema, la demostrada por E. Bishop y R. R. Phelps, por lo que vamos a
requerir varios resultados adicionales.
Lema 2.2.6. Sean f , g S
X
y > 0. Si
x f
1
(0) B
X
implica que [ g(x)[

2
,
entonces | f g| o | f +g| .
Prueba. Notemos en primer lugar que la restriccin de g al subespacio cerrado f
1
(0) es un funcional lineal
de norma a lo sumo /2. Por el Teorema de Hahn-Banach, existe un h X
tal que h = g sobre f

1
(0)
y |h| /2. Ahora, puesto que gh 0 sobre f
1
(0), entonces existe un 1 tal que gh = f . Por
esto,
1[[
|g||gh|
|h|

2
.
Si 0, entonces
| f g| = |(1) f h| [1[ +|h| =
1[[
+|h| ,
mientras que si < 0, entonces
| f +g| = |(1+) f +h| [1+[ +|h| =
1[[
+|h| .
La siguiente consecuencia tcnica del Lema 2.2.6 ser usada ms adelante.

Lema 2.2.7. Sean f S
X
, > 0 y denamos V
= f
1
(0) B(0, ). Sean x
0
, y X satisfaciendo
f (x
0
) > f (y) y
2
|x
0
y| 1.
Si g S
X
y g(x
0
) > M(y +V
, g), entonces | f g|
2
|x
0
y|.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Para poder aplicar el Lema 2.2.6, tomemos x f
1
(0) B
X
. Entonces y x y +V
lo que
garantiza que g(y) g(x) < g(x
0
) pues g(x
0
) > M(y +V
, g). Se sigue de esto que g(x

0
) g(y) > 0. Sea
=
2
(g(x
0
) g(y)). Entonces [ g(x)[

2
. Un llamado al Lema 2.2.6 nos dice que
|g f | =
2
_
g(x
0
) g(y)
_

2
|x
0
y|
o bien
|g+ f |
2
_
g(x
0
) g(y)
_
.
Pero si |g+ f |
2
_
g(x
0
) g(y)
_
, entonces, teniendo en cuenta que f (x
0
) > f (y), resultara que
0 < g(x
0
) g(y) < g(x
0
) g(y) + f (x
0
) f (y)
= (g+ f )(x
0
y)
| f +g| |x
0
y|
_
g(x
0
) g(y)
_
|x
0
y|
lo cual implicara que 1 <
2
|x
0
y|, una desigualdad que es contraria a nuestra hiptesis. Por lo tanto,
| f g|
2
|x
0
y|.
Para cada f S
X
y 0 < < 1, denamos
C( f , ) =
_
x X : f (x) |x|
_
.
Entonces C( f , ) es un cono convexo cerrado con interior no vaco (y vrtice 0).
Lema 2.2.8. Sean f , g S
X
, 0 < < 1 y 0 < < /(2+). Si g(z) 0 para cada z C( f , ), entonces
| f g| .
Prueba. Sea x X y supongamos que x f
1
(0) B
X
. Vamos a probar que [ g(x)[ /2. Para este n,
escojamos y S
X
tal que f (y) (2+)/. Entonces
_
_
_
_
y
2
x
_
_
_
_

_
1+
2
_
f (y) = f
_
y
2
x
_
y, en consecuencia, y
2
x C( f , ). Como g 0 sobre C( f , ), entonces

g(x)
g(y) 1 o, lo que es
lo mismo, [ g(x)[ /2. Por el Lema 2.2.7, o bien | f g| o | f +g| . Veamos que esto ltimo no
puede ocurrir. En efecto, sea z S
X
con f (z) > . Entonces f (z) > |z| tal que z C( f , ). De aqu que
g(z) 0 y, por lo tanto, | f +g| ( f +g)(z) f (z) > .
Prueba del Teorema de Bishop-Phelps. Es suciente demostrar que si f S
X
y si 0 < < 1, entonces
existe un g NA(K) tal que | f g| .
Sea =
1
2
_

2+
_
. Denamos un ordenamiento parcial _ sobre K del modo siguiente: para x, y K,
diremos que
x _ y si, y slo si, |y x| f (y) f (x).
Observemos que x _y si, y slo si, y x C( f , ).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Supongamos que L es un subconjunto totalmente (= linealmente) ordenado de (K, _). Si x, y L, sa-
tisfacen la relacin x _ y, entonces f (x) f (y). Por consiguiente, como la red ( f (x))
xL
es montona no
decreciente en 1 y acotada superiormente por M(K, f ), ella converge. Pero ya que |y x| f (y) f (x)
para x _y, entonces la red x : x L converge en la norma a un z K. Es claro que x _ z para todo x L;
es decir, L posee una cota superior y, entonces, el Lema de Zorn nos dice que (K, _) posee un elemento
maximal, digamos x
0
.
Si x es cualquier punto de K (x
0
+C( f , )), entonces xx
0
C( f , ). Puesto que tanto x como x
0
estn
en K, entonces nuestra denicin de _ nos dice que x
0
_ x y, gracias a la maximalidad de x
0
, se concluye
que x = x
0
. Lo anterior nos garantiza que
K
_
x
0
+C( f , )
_
= x
0
.
Observemos ahora que, gracias al Teorema de Hahn-Banach, podemos seleccionar un g S
X
satisfaciendo
sup g(K) = g(x
0
) = nf g
_
x
0
+C( f , )
_
,
de donde se sigue que g NA(K) y, adems, g es no negativa sobre C( f , ). Invocando el Lema 2.2.8,
concluimos que | f g| .
Debemos destacar que el Teorema de Bishop-Phelps no es vlido para espacios de Banach sobre C. En
efecto, en el ao 2000, Victor Lomonosov ([296]) construy un espacio de Banach complejo en donde no se
cumple la conclusin del Teorema de Bishop-Phelps.
El siguiente resultado es geomtricamente claro y ser usado en lo que sigue.
Lema 2.2.9. Sean (X, ||) un espacio de Banach y K un subconjunto acotado de X. Para cada > 0 y
f X
0, existe un > 0 tal que

S(K, g, /2) S(K, f , ) siempre que g X
y | f g| .
Prueba. Sea m = sup|x| : x K y elijamos 0 < < /(4m). Sea g B( f , ); es decir, | f g| . Si
y S(K, g, /2), entonces g(y) > M(K, g) /2 y, en consecuencia,
f (y) g(y) [ f (y) g(y)[
> M(K, g)
2
m
M(K, f ) m
2
m
> M(K, f )
lo cual signica que S(K, g, /2) S(K, f , ).
Nuestro prxima tarea es demostrar que sobre cualquier conjunto convexo, cerrado y acotado con la PRN
abundan sucientes funcionales fuertemente expuestos. Comencemos con el siguiente resultado.
Teorema 2.2.26 (Bishop). Sean (X, ||) un espacio de Banach y K un subconjunto convexo, cerrado y
acotado de X. Si para cada > 0, el conjunto
O
=
_
g X
: g determina una rebanada de K de dimetro a lo ms

_
es norma-denso en X
, entonces SE(X
, K) es un G
-denso de X
. En particular,
K = co(s-exp)(K)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Sea f O
. El Lema 2.2.9 garantiza que si g B( f , ) con > 0 lo sucientemente pequeo,

entonces g O
y, por lo tanto, dicho conjunto es abierto y, adems, por hiptesis, denso en X
. Por el
Teorema de Categora de Baire,
n=1
O
1/n
= SE(X
, K)
es un G
-denso de X
.
Supongamos que K contiene propiamente a co(s-exp)(K). Usemos el Teorema de Separacin de Hahn-
Banach para producir una rebanada de K, digamos S(K, f , ), la cual es disjunta de co(s-exp)(K). Puesto que
SE(X
, K) es denso en X
, el Lema 2.2.9 nos garantiza la existencia de un funcional g SE(X
, K) tal que
S(K, g, /2) S(K, f , ). Evidentemente, si x K es fuertemente expuesto por g, entonces dicho elemen-
to debe pertenecer tanto a co(s-exp)(K) como a S(K, g, /2), dos conjuntos disjuntos. Esta contradiccin
establece que K = co(s-exp)(K).
En vista del Teorema 2.2.26, cabe entonces preguntarse qu subconjuntos K de X poseen la propiedad de
que O
es denso en X
? Es un hecho conocido, vase [281], que si K es un subconjunto dbilmente compacto

en un espacio de Banach, entonces SE(X
, K) es un G
-denso de X
. El mismo resultado fue obtenido un

poco ms tarde por J. M. Borwein [61] con una prueba distinta a la de Lau. El teorema de Lau-Borwein
haba sido obtenido previamente por Anantharaman [9] en el caso particular cuando K es la cpsula convexa
cerrada del rango de una medida vectorial : X (de all que K es dbilmente compacto), al demostrar
que SE(X
, K) es un G
-denso de X
. El resultado de mayor generalidad obtenido hasta el momento es el

Teorema de Phelps-Bourgain, demostrado un poco ms abajo, que arma que: si K posee la PRN, entonces
SE(X
, K) es un G
-denso de X
, un resultado a todas luces ms general que el Lau pues todo conjunto

dbilmente compacto en un espacio de Banach posee la PRN (vase el Teorema 2.2.31, pgina 272).
Para demostrar el Teorema de Phelps-Bourgain es preciso probar un resultado geomtrico curioso, pero
tremendamente importante, tambin conocido como el Superlema (vase, [129], p. 157), demostrado inicial-
mente por I. Namioka en la versin
y posteriormente por J. Bourgain en su versin general.

Teorema 2.2.27 (Namioka-Bourgain). Sea (X, ||) un espacio de Banach y sea > 0. Supongamos que
K, K
0
y K
1
son subconjuntos convexos, cerrados y acotados de X satisfaciendo las siguientes condiciones:
(1) K co(K
0
K
1
).
(2) K
0
K y diam(K
0
) < .
(3) K ,K
1
.
Entonces existe una rebanada S de K tal que SK
0
,= y diam(S) < 2.
Prueba. Para cada r [0, 1] denamos
C
r
=
_
x X : x = (1)x
0
+x
1
, x
0
K
0
, x
1
K
1
, r 1
_
.
Observemos que C
1
= K
1
y que cuando r decrece de 1 a 0, los conjuntos convexos crecen de K
1
al conjunto
C
0
= co(K
0
K
1
) cuya clausura contiene, por hiptesis, a K. Estableceremos, en primer lugar, que
si 0 < r 1, entonces K ,C
r
.
En efecto, usemos la hiptesis (3) para elegir un x K tal que x , K
1
. El Teorema de Hahn-Banach nos
provee de la existencia de un f X
tal que
M(K
1
, f ) < f (x) M(K, f ) (1)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Ahora bien, si ocurriera que K C
r
entonces, teniendo en cuenta que K
0
K, tendramos la desigualdad
M(K
0
, f ) M(K, f ) y, en consecuencia,
M(K, f ) M(C
r
, f )
= M(C
r
, f )
sup
_
(1)M(K
0
, f ) + M(K
1
, f ) : [r, 1]
_
= (1r)M(K
0
, f ) + r M(K
1
, f )
(1r)M(K, f ) + r M(K
1
, f )
lo cual conduce a la relacin M(K, f ) M(K
1
, f ) que, evidentemente, es contradictoria con (1).
Nuestro siguiente paso es demostrar que
diam
_
KC
r
_
< 2
para algn r > 0. Veamos esto. Como K C
0
, tenemos que K C
r
C
0
C
r
. Adems, puesto que C
r
es
cerrado, se sigue que C
0
C
r
es denso en C
0
C
r
. Tomemos y K C
r
. Entonces existe un x C
0
C
r
tal que |y x| < /4. Por otro lado, como x C
0
C
r
, existen x
0
K
0
, x
1
K
1
y [0, 1] tal que
x = (1)x
0
+x
1
. Pero ya que x ,C
r
, entonces 0 < r. De esto se sigue que
|y x
0
| |y x|+|x x
0
|
<

4
+|x
0
x
1
|

4
+r sup
_
|y z| : y K
0
, z K
1
_
=

4
+r M
donde m = sup
_
|y z| : y K
0
, z K
1
_
. Si elegimos r < /4m tendremos que
diam
_
KC
r
_
2
4
+ 2r m + diam
_
K
0
_
< 2.
Finalmente, puesto que K C
r
,= , podemos escoger un x
0
K
0
tal que x
0
K C
r
. Gracias al Teorema
de Separacin de Hahn-Banach, existe una rebanada S de K disjunta de C
r
y conteniendo a x
0
. Por otro lado,
como K
1
C
r
KS y, por hiptesis, K co(K
0
K
1
) tenemos que K
0
S ,= y termina la prueba.
Estamos ahora en posesin de las herramientas necesarias para demostrar el Teorema de Phelps-Bourgain.
Teorema 2.2.28 (Phelps-Bourgain). Sean (X, ||) un espacio de Banach y K un subconjunto convexo, ce-
rrado y acotado de X. Si K posee la PRN, entonces el conjunto SE(X
, K) es un G
-denso de X
. En parti-
cular, K = co(s-exp)(K).
Prueba. Gracias al Teorema 2.2.26 es suciente demostrar que el conjunto
O
=
_
g X
: g determina una rebanada de K de dimetro a lo ms

_
es denso en X
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Fijemos un 0 < < 1 y sea f S
X
. Lo que deseamos demostrar es la existencia de un g O
tal que
| f g| . Puesto que K es acotado, existe un punto y X tal que f (y) < f (x) 1 para cada x K.
Pongamos
m = sup|x y| : x K, =
2m
, V = f
1
(0) B(0, ), y C = y +V.
Notemos que si z C y x K, entonces f (z) = f (y) < f (x) 1 por lo que K C = . En particular,
KC ,=. Denamos J = co(KC).
Armacin: Existe una rebanada S de J tal que SK ,= y diam(S) < .
Prueba de la Armacin. Considere el conjunto
D =
_
x J : existe h X
para el cual h(x) = M(J, h) > M(C, h)

_
. ()
Veamos que DK. En efecto, sea x D. Entonces existe un h X
tal que h(x) = M(J, h) >M(C, h). Como

x J, podemos seleccionar una sucesin (x
n
)
n=1
en co(K C) tal que lm
n
|x
n
x| = 0. Supongamos que
x
n
=
n
y
n
+(1
n
)z
n
, donde 0
n
1, y
n
K, y z
n
C. Por la compacidad del intervalo [0, 1], podemos
suponer que = lm
n
n
. Observemos que la condicin < 1 conduce a una contradiccin pues, en tal caso,
M(J, f ) = f (x)
= lm
n
_
n
f (y
n
) +(1
n
) f (z
n
)
_
M(K, f ) +(1)M(C, f )
< M(J, f ).
Por esto = 1. Puesto que C es acotado, se sigue que lm
n
|x y
n
| = 0 y como K es cerrado, concluimos
que x K.
Una vez establecido que D K, tenemos que co(DC) J. Lo que queremos probar es que tales
conjuntos son iguales. Supongamos por un momento que co(DC) sea un subconjunto propio de J. Entonces
existe una rebanada S
de J tal que S
co(DC) =. Usemos el Teorema de Bishop-Phelps y el Lema 2.2.9

para encontrar un g NA(J) y un > 0 con S(J, g, ) S
. Entonces g soporta a J en algn punto x.

Claramente x , co(DC) D y como, g(x) = M(J, g) > M(C, g), resulta que x D. Esta contradiccin
prueba que J = co(DC). En particular D,=, pues KC ,=.
Puesto que K tiene la PRN, el conjunto D K es dentable y, por lo tanto, existe un punto x
0
D tal que
x
0
, co(DU(x
0
, /5)). Sean
K
0
= co
_
DU(x
0
, /5)
_
y K
1
= co
_
(DU(x
0
, /5)) C
_
Observemos que como J = co(DC), entonces
(1) J = co(K
0
K
1
).
(2) diam(K
0
) < /2 y K
0
co(D) J.
(3) Probemos ahora que x
0
J K
1
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
En efecto, suponga por un momento que x
0
K
1
, y pongamos D
1
= co(DU(x
0
, /3)). Ntese que, en
este caso, K
1
= co(D
1
C). Puesto que x
0
D, existe un h X
tal que h(x

0
) = M(J, h) > M(C, h) y, como
adems, x
0
K
1
J, resulta que h(x
0
) = M(K
1
, h) > M(C, h). Si aplicamos el argumento anteriormente
desarrollado para demostrar que D K a la situacin actual con D
1
en lugar de D y K
1
en lugar de J,
tendremos que x
0
D
1
. Puesto que esto contradice la eleccin de x
0
, se sigue que x
0
J K
1
.
El Teorema de Namioka-Bourgain, Teorema 2.2.27, nos garantiza la existencia de una rebanada S de J
de dimetro menor que , conteniendo un punto de K
0
. Como K
0
K, la prueba de nuestra armacin es
completa.
Sea S = S(J, g, ) para algn g S
X
y tomemos x SK. Notemos, en primer lugar, que SC = lo
cual implica que g(x) > M(C, g). En efecto, si w SC, entonces
1 > > diam(S) |x w| f (x) f (w) = f (x) f (y) > 1
lo que resulta contradictorio. En segundo lugar, observemos que M(K, g) > M(C, g) pues, en caso contrario,
tendramos que M(J, g) = M(C, g) y, en consecuencia, cada rebanada de J determinada por g contendra
puntos de C. Como esto no ocurre para la rebanada S = S(J, g, ), concluimos que M(K, g) > M(C, g). Por
esto,
M(K, g) = m ax
_
M(K, g), M(C, g)
_
= M(J, g).
Puesto que K J se sigue que S(K, g, ) S(J, g, ) y, por consiguiente,
diam(S(K, g, )) <
lo cual signica que g O
. Observemos, por ltimo, que las condiciones del Lema 2.2.7 se satisfacen:
f (x) > f (y),
2
|x y|
2m
= , g(x) > M(C, g)

por lo que
|g f |
2
|x y| .
Esto prueba que O
es denso en X
. Un llamado al Teorema 2.2.26 nos revela que SE(X
, K) es un G
-denso
de X
.
El siguiente corolario es la versin
del Superlema.
Corolario 2.2.17 (Namioka (Versin
)). Sea (X, ||) un espacio de Banach y sea > 0. Supongamos

que K, K
0
y K
1
son subconjuntos convexos y
-compactos de X
satisfaciendo las siguientes condiciones:

(1) K co(K
0
K
1
).
(2) K
0
K y diam(K
0
) < .
(3) K ,K
1
.
Entonces existe una
-rebanada S de K tal que SK

0
,= y diam(S) < 2.
Prueba. Deniendo, para cada r [0, 1], los conjuntos C
r
exactamente del mismo modo como se hizo en la
demostracin del Teorema 2.2.27, resulta que todos ellos, as como co(K
0
K
1
) (esta es una tarea fcil de
vericar), son
-compactos y, por lo tanto, ||-cerrados. La prueba procede como antes, con la diferencia
de que al nal, por ser C
r

-compacto, el funcional que separa a x

0
de C
r
puede tomarse
-continuo.
La versin
del Teorema de Phelps-Bourgain es como sigue, donde estamos identicando a X con un

subespacio de X
va la aplicacin cannica J : X X
, dada por Jx(x
) = x
(x) para todo x X y todo

x
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.2.29 (Phelps-Bourgain (Versin-
)). Sea K un subconjunto convexo
-compacto de X
y
suponga que K es
-hereditariamente dentado. Entonces el conjunto SE(X
, K) X es un G
-denso de X.
Prueba. La demostracin es idntica a la del Teorema de Phelps-Bourgain con la nica diferencia de que los
funcionales deben ser escogidos en X, visto como un subespacio de X
.
Otra pregunta que podemos formularnos y que podra ser de utilidad es la siguiente: qu propiedades
topolgicas interesantes, al menos desde el punto de vista de la categora de Baire, posee el conjunto NA(K)?
Una respuesta es dada por el siguiente resultado el cual relaciona la PRN con el Teorema de Categora de
Baire.
Teorema 2.2.30 (Bourgain-Stegall). Sean (X, ||) un espacio de Banach y D un subconjunto convexo, ce-
rrado y acotado de X. Las siguientes condiciones son equivalentes:
(1) D tiene la PRN,
(2) NA(K) es residual en X
para cada subconjunto convexo, cerrado y acotado K de D.

Prueba. (1) (2). Puesto que SE(X
, K) NA(K), el Teorema 2.2.28 nos dice que NA(K) es residual en

X
para cualquier subconjunto convexo, cerrado y acotado K de D.

(2) (1). Supongamos que (2) se cumple pero que D no tiene la PRN. Esto implica, en particular, la
existencia de un subconjunto convexo, cerrado, acotado y separable K de D que no es dentable. Lo anterior
nos revela que en alguna parte de 1 habita un cierto > 0 tal que cada rebanada de K tiene dimetro 5.
Escojamos ahora, por la separabilidad de K, una sucesin densa, digamos (x
n
)
n=1
, en dicho conjunto y,
para cada n N, denamos
V
n
= KB(x
n
, ) y
O
n
=
_
g X
: g determina una rebanada de K disjunta de V

n
_
.
Observemos que si g
n=1
O
n
y x K, entonces como K =

n=1
V
n
, resulta que x V
k
para algn k N
y, en consecuencia, g(x) < M(K, g); es decir,
NA(K) X
n=1
O
n
.
Vamos probar que cada O
n
es abierto y denso en X
. Que O
n
es abierto es consecuencia del Lema 2.2.9, por
lo tanto, lo que tenemos que chequear es la densidad de O
n
. Sean entonces f X
y 0 < < 1. Puesto que

O
n
es cerrado bajo multiplicacin por escalares positivos, podemos suponer que | f | = 1. Escojamos y X
tal que f (x) f (y) >0 para cada x K y sea m= sup|x y | : x K. Elijamos un 2m/ y denamos
V = f
1
(0) B(0, ) y C = y + V.
Es claro que V
n
C ,=. Notemos que, por el Teorema de Namioka-Bourgain, Teorema 2.2.27, el conjunto
J = co(V
n
C) contiene una rebanada S con diam(S) < 5 y SV
n
,= pues diam(V
n
) < 2. Armamos
que K J ,= . Supongamos por un momento que K J. Entonces, teniendo en cuenta que por denicin
V
n
K, tendramos que S K sera una rebanada de K de dimetro menor que 5, lo cual contradice la
eleccin de . Esto prueba que K J ,= . Sea x K J ,= . Escojamos g S
X
tal que g(x) > M(J, f ) y
notemos que de la desigualdad
2
|x y |
2
m < 1
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
y el Lema 2.2.7, se concluye que | f g | . Puesto que evidentemente g determina una rebanada disjunta
de V
n
, se sigue que g O
n
. Esto demuestra que O
n
es denso en X
por lo que invocando el Teorema de

Categora de Baire tenemos que

n=1
O
n
es denso en X
y, as, NA(K) sera de primera categora. Esta

contradiccin establece que C tiene la PRN.
Teorema 2.2.31 (Lindenstrauss-Troyanski). Sea (X, | |) un espacio de Banach. Si K es un subconjunto
convexo y dbilmente compacto de X, entonces K posee la PRN. En particular, K = co(s-exp(K)).
Prueba. En primer lugar vamos a suponer que K es norma-separable. Sea (x
n
)
n=1
una sucesin norma-densa
en K. Fijemos un > 0 y denamos D = ext(K)
. Observemos que
D =
_
n=1
_
B(x
n
, /3) D
_
.
Como D es dbilmente compacto y B(x
n
, /3) D es dbilmente cerrado en D, el Teorema de Categora
de Baire nos garantiza la existencia de un subconjunto dbilmente abierto V de X tal que ,= V D
B(x
n
, /3) D para algn n N. Pongamos
K
0
= co
_
V D
_
y K
1
= co
_
KV
_
.
Notemos que
(1) K co(K
0
K
1
)
(2) K
0
K y diam(K
0
) <
(3) K ,K
1
Observe que slo (3) requiere de una prueba. Como V D ,= , podemos elegir un x V ext(K) y, en
consecuencia, como se puede demostrar fcilmente, x , K V

. Un llamado al Teorema de Milman nos
revela que x , K
1
. Invocando el Teorema de Namioka-Bourgain (Teorema 2.2.27), existe una rebanada S de
K de dimetro <. Como >0 es arbitrario, entonces K tiene la PRN. El caso general ahora es consecuencia
del Teorema 2.2.24.
Teorema 2.2.32 (Lau). Si K es un subconjunto convexo y dbilmente compacto de un espacio de Banach
(X, ||), entonces el conjunto SE(X
, K) es un G
-denso de X
.
Prueba. Suponga que K X es convexo y dbilmente compacto. Por el Teorema de Lindenstrauss-Troyanski,
K posee la PRN. Un llamado al Teorema de Phelps-Bourgain naliza la prueba.
Observe que si (X, ||) es un espacio de Banach y K X es convexo y norma-compacto, entonces
K posee la PRN. En efecto, por el Teorema de Krein-Milman, ext(K) ,= y, en consecuencia podemos
seleccionar un x ext(K). Para cada > 0, el conjunto B = K U(x, ) es norma-compacto y as tambin lo
es A := co(B). Por el Teorema de Milman, ext(co(B)) B
||
= B. Esto prueba que x , co(K U(x, )) de
donde resulta que K es dentable y el resultado sigue del Teorema 2.2.24.
Comentario Adicional 2.2.12 La demostracin del Corolario 2.2.32 se debe a Ka-Sing Lau [281] usando
un resultado de S. L. Troyanski y otro del mismo Lau (vase el Teorema 2.2.22) que dice:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema de Lau. Si K es un subconjunto dbilmente compacto de un espacio de Banach (X, ||),
entonces el conjunto
F
K
=
_
x X : |x z| = sup|x y| : y K para algn z K
_
es un G
-denso en X.
No es difcil establecer que NA(B
c
0
) no es residual en c
0
(vase, por ejemplo, [158]) y, por lo tanto,
c
0
no tiene la PRN. Siguiendo con los conjuntos de Bishop-Phelps y en ausencia de la propiedad de
Radon-Nikodym, Kenderov, Moors y Sciffer demuestran en [262] que:
Teorema de Kenderov-Moors-Sciffer. Si K es un espacio de Hausdorff compacto innito, entonces
el conjunto de Bishop-Phelps NA(C(K)) es de primera categora en C(K)
.
2.2.5. | Abundantes medidas que no poseen tomos
En esta seccin desarrollaremos algunas de las herramientas sobre Teora de la Medida que necesitaremos
en estas notas. Las demostraciones de los resultados expuestos que no se prueban se pueden consultar, por
ejemplo, en [216], [113], [365] o [142].
Sea un conjunto no vaco. Recordemos que una -lgebra de es una familia de subconjuntos de
que cumplen con las siguientes propiedades:
(a) ,
(b) E para todo E , y
(c)

n=1
E
n
para cualquier coleccin numerable (E
n
)
n=1
de elementos de .
Al par (, ) se le llama un espacio medible, y a los elementos de se les denominan conjuntos medibles.
Observe que, dada cualquier familia A de subconjuntos de , siempre existe una -lgebra de , denotada
por (A), con las siguientes propiedades:
(1) A(A), y
(2) (A) es la -lgebra ms pequea conteniendo a A.
En efecto, si consideramos la familia
S =
_
es una -lgebra de conteniendo a A

_
,
entonces S es no vaco pues P() S y as, (A) =

posee las propiedades requeridas. A (A)

se le llama la -lgebra generada por A. En general, si (X, ) es un espacio topolgico de Hausdorff, la
-lgebra generada por la familia de todos los subconjuntos abiertos de X ser denotada por B
0
(X) y a los
elementos de B
0
(X) los llamaremos conjuntos medibles Borel o, simplemente, borelianos.
Denotemos por long(I) la longitud de cualquier intervalo acotado I de 1, es decir, si a, b 1 son los
extremos de I con a < b, entonces long(I) = ba, mientras que si I no es acotado, entonces long(I) = +.
Para cada conjunto A 1, considere la coleccin I(A) de todas las sucesiones (I
n
)
n=1
de subintervalos
abiertos de 1 tal que

n=1
I
n
A. Denamos la funcin de conjuntos
: P(1) [0, +] por
(A) = nf
_

n=1
long(I
n
) : (I
n
)
n=1
I(A)
_
, A 1.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Recordemos que un conjunto E 1 se llama medible Lebesgue si
(A) =
(AE) +
(AE
c
) para todo A 1.
Es un hecho ya establecido que la familia
0
, formada por todos los conjuntos medibles Lebesgue, es una -
lgebra. Ms aun, B
0
(1) _
0
_P(1); es decir, todo conjunto medible Borel es medible Lebesgue, aunque
existen conjuntos medibles Lebesgue que no son medibles Borel, as como tambin existen subconjuntos de
1que no son medibles Lebesgue. La restriccin de
a
0
se llama la medida de Lebesgue y ser denotada,
en lo que sigue, por .
Sea un conjunto no vaco y sea una -lgebra de . Una funcin de conjuntos : [0, +] es
llamada una medida no-negativa o, simplemente, una medida si se cumplen las siguientes propiedades:
(1) () = 0, y
(2) es numerablemente aditiva (o -aditiva), es decir, si (E
n
)
n=1
es una sucesin de elementos de ,
disjuntos dos a dos, entonces
_

_
n=1
E
n
_
=
n=1
(E
n
).
A la tripleta (, , ) la llamaremos un espacio de medida. Observe que toda medida es nitamente
aditiva en el sentido de que
_
k
_
n=1
E
n
_
=
k
n=1
(E
n
),
se cumple para cualquier coleccin nita E
1
, . . . , E
k
de elementos de , disjuntos dos a dos. Si () < ,
entonces diremos que es una medida nita y, entonces, a la tripleta (, , ) se le denomina un espacio
de medida nita. Cuando () = 1, diremos simplemente que es una medida de probabilidad. Ntese
que si es una medida nita, entonces ella es montona, esto es, para cualesquiera A, B con B A,
(B) (A). Adems, se cumple que,
(AB) = (A) (B).
En general, si es una medida no-negativa y si la sucesin (E
n
)
n=1
no es necesariamente disjunta, entonces
siempre vale la desigualdad
_

_
n=1
E
n
_

n=1
(E
n
)
conocida como la subaditividad de . Si permitimos que la funcin de conjuntos tambin tome valores ne-
gativos, tendremos un tipo muy importantes de medidas. Una funcin de conjuntos : 1, +
es llamada una medida con signo si ella es numerablemente aditiva, () = 0, y (A) <+ para todo A
o bien (A) > para todo A . Esta ltima condicin lo que establece es que una medida con signo slo
puede asumir uno de los valores , +, pero no ambos. Si es un medida con signo y si ocurre que
[(E)[ < + para cualquier E , entonces a se le llama una medida con signo nita o simplemente
una medida real. Ntese que, a diferencia de las medidas no-negativas, una medida con signo no es, en
general montona, es decir, es posible hallar conjuntos medibles E, F con F E pero tal que (F) > (E).
Sin embargo, la siguiente propiedad es compartida tanto por una medida no-negativa as como por cualquier
medida con signo, vale decir, si es una medida con signo y si (E
n
)
n=1
es una sucesin montona creciente
en , entonces siempre se cumple que
_

_
n=1
E
n
_
= lm
n
(E
n
).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Similarmente, si (E
n
)
n=1
es montona decreciente en y si [(E
1
)[ < +, entonces
n=1
E
n
_
= lm
n
(E
n
).
Un resultado clave acerca de cualquier medida con signo es el siguiente: Si es una medida con signo
sobre un espacio medible (, ), entonces existen conjuntos L, M tales que
(L) =nf
_
(A) : A
_
y (M) = sup
_
(A) : A
_
.
De este hecho se deduce inmediatamente que si es una medida real, entonces
< nf
_
(A) : A
_
sup
_
(A) : A
_
< +.
Sea una medida no-negativa sobre (, ). Un conjunto E se llama un tomo para si
(a) (E) > 0, y
(b) si F E, F , entonces (F) = 0 o bien (F) = (E).
Es claro que si E
1
y E
2
son tomos, entonces (E
1
E
2
) = 0 o (E
1
E
2
) = 0. Tambin se cumple que si
() < +, entonces slo puede haber una cantidad a lo ms numerable de tomos disjuntos. En efecto, sea
A la coleccin de todos los tomos en que son disjuntos dos a dos. Para cada m N, considere la familia
A
m
=
_
E A: (E) > 1/m
_
y sean E
1
, . . . , E
k
elementos arbitrarios en A
m
. Como la coleccin E
1
, . . . , E
k
es disjunta, resulta que
> ()
_
k
_
i=1
E
i
_
=
k
i=1
(E
i
) > k/m,
de donde se sigue que A
m
contiene a lo sumo m () elementos y, en consecuencia, A =

m=1
A
m
es a lo
ms numerable.
Sean una medida con signo sobre (, ) y P . Diremos que P es un conjunto positivo (para ) si
(E) 0 para todo E con E P. Similarmente, un subconjunto N se llama negativo (para ) si
(E) 0 para todo E con E N. El Teorema de Descomposicin de Hahn establece que:
Teorema 2.2.33 (Teorema de Descomposicin de Hahn). Si es una medida con signo sobre (, ), en-
tonces existe un conjunto positivo P y un conjunto negativo N tales que:
(a) = P N, y
(b) P N = .
El par (P, N) obtenido en el Teorema de Descomposicin de Hahn se le llama una descomposicin de
Hahn de para . . Dicha descomposicin es nica en el siguiente sentido: si (P
1
, N
1
) es otra descomposi-
cin de Hahn para , entonces
_
PP
1
_
= 0 y
_
N N
1
_
= 0.
Sea una medida con signo sobre (, ) y suponga que (P, N) es una descomposicin de Hahn de
para . Dena
+
,
y [[ sobre por:
+
(E) = (E P),
(E) = (E P), y [[(E) =

+
(E) +
(E)
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
para todo E . Cada una de las funciones
+
,
y [[ constituyen medidas no negativas y son llamadas,

respectivamente, la variacin positiva, la variacin negativa y la variacin total de . Es fcil establecer
que (E) =
+
(E) +
(E) para todo E y, adems, que

[[(E) = sup
_

k=1
[(E
k
)[ : E
1
, E
2
. . . P
(E)
_
,
para todo E , donde P
(E) es la familia de todas las particiones medibles numerables de E. La denicin

anterior no cambia si se considera, en lugar de P
(E), la familia P
f
(E) de todas las particiones medibles
nitas de E. Si [[() < , diremos que es de variacin nita o acotada. Si es una medida real sobre
(, ), entonces siempre se cumple que
sup
E
[(E)[ [[() 2sup
E
[(E)[ < +,
por lo que, [[() < y, en consecuencia, ||
va
:= [[() dene una norma sobre ca(, ), el espacio
lineal sobre 1 formado por todas las medidas reales denidas sobre (, ). A ||
va
la llamaremos la nor-
ma variacin de . No es difcil demostrar que (ca(, ), ||
va
) es, en realidad, un espacio de Banach.
Deniendo
||
= sup
E
[(E)[
para cada ca(, ), entonces ||
tambin es una norma sobre ||
la cual es equivalente a ||
va
.
Sean y medidas con signos sobre (, ). Diremos que:
(1) es absolutamente continua con respecto a , y escribiremos, , si cualquier E B
0
(X) para el
cual se cumple que [[(E) = 0, entonces (E) = 0. Es fcil vericar que
si, y slo si, [[ .
Si es no negativa, entonces si, y slo si, para cada > 0 existe un > 0 tal que, cualquiera que
sea E para el cual (E) <, entonces [(E)[ < .
La relacin no es, en general, simtrica, es decir, no siempre se cumple que .
(2) y se llaman equivalentes, en notacin, , cuando y se cumplen simultneamente.
(3) y se dice que son mutuamente singulares, que denotaremos por , si existe un conjunto E
0
tal que
[[(E
0
) = 0 y [[(X E
0
) = 0.
Observe que si, y slo si, [[ [[.
Dos de los resultados importantes de la Teora de la Medida e Integracin que usaremos en esta seccin son
los siguientes:
Teorema 2.2.34 (Teorema de Descomposicin de Lebesgue). Sea (, , ) un espacio de medida nita y
sea una medida real sobre (, ). Entonces existen dos nicas medidas reales sobre (, ), digamos
1
y
2
, tales que:
=
1
+
2
,
1
y
2
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Si (, , ) es un espacio de medida nita y si f L
1
(), entonces la funcin de conjuntos : 1
denida por
(E) =
_
E
f d, E ,
es una medida real que satisface . El Teorema de Radon-Nikodm es la armacin en la direccin
contraria, es decir,
Teorema 2.2.35 (Teorema de Radon-Nikodm). Sean (, , ) un espacio de medida nita y una medida
real sobre (, ) tal que . Entonces existe una funcin integrable f L
1
() para la cual se verica la
igualdad
(E) =
_
E
f d, para todo E . (3)
La funcin f , obtenida por intermedio del Teorema de Radon-Nikodym, se le llama la derivada de Radon-
Nikodm y suele denotarse por f :=
d
d
, mientras que la igualdad (3) en ocasiones se abrevia por = f .
Una de las tantas propiedades relevantes que posee la medida de Lebesgue sobre [0, 1], es que dicha me-
dida no posee tomos. Esta propiedad, que resulta ser muy natural para la medida de Lebesgue, podra hacer
pensar al lector que muchas medidas denidas, no sobre la -algebra los conjuntos medibles Lebesgue,
sino sobre la -lgebra ms pequea de los borelianos de [0, 1], no la comparten. Lo que vamos probar un
poco ms abajo es que el conjunto de todas las medidas nitas de Borel que no poseen tomos constituye, en
realidad, un conjunto muy abundante en el sentido de categora de Baire.
En esta seccin slo estaremos interesados en un tipo especial de espacios topolgicos: los espacios
mtricos compactos. En lo que sigue, (X, d) denotar un espacio mtrico compacto. En este caso, (X, d) re-
sulta ser un espacio Polaco, es decir, un espacio mtrico completo y separable. Como ya hemos mencionado,
B
0
(X) denota la -lgebra de Borel, esto es, la -lgebra generada por los conjuntos abiertos de X.
Como (X, d) es un espacio mtrico, sabemos (vase, [348], Theorem 1.1, p. 26) que toda medida de
Borel nita sobre X es regular en el sentido de que, para cada E B
0
(X) y cada > 0, existe un conjunto
abierto U
y un conjunto cerrado F
tales que:
(1) F
E U
, y
(2) (U
) < .
Lo anterior es equivalente a armar que, para cada conjunto de Borel E,
(E) = sup
_
(F) : F E, F es cerrado
_
= nf
_
(U) : U E, U es abierto
_
.
Adems, manteniendo la hiptesis de que (X, d) es un espacio mtrico compacto, entonces es una medida
tensa, esto quiere decir que, para cada > 0, existe un compacto K
X tal que
(X K
) <.
(Vase, [348], Theorem 3.2, p. 20). Como consecuencia de lo anterior se tiene que si es una medida de
Borel nita y, por consiguiente, tensa, entonces se verica que, para todo conjunto E B
0
(X),
(E) = sup
_
(K) : K E, K compacto
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
En general, una medida real : B
0
(X) 1, donde (X, ) es un espacio topolgico de Hausdorff arbi-
trario, se dice que es regular si
+
y
son ambas regulares, lo que equivale a decir que la variacin total [[

es regular. Volvamos de nuevo a nuestros inicios y supongamos que (X, d) es un espacio mtrico compacto.
Denotemos por rca(X) el espacio de Banach formado por todas las medidas reales (las cuales son regulares)
denidas sobre la -lgebra de Borel B
0
(X) con la norma de la variacin total:
||
va
:=[[(X) = sup
n=1
[ (E
n
)[ , rca(X),
supremo tomado sobre todas las particiones numerables (E
n
)
n=1
de X, con E
n
B
0
(X) para todo n N.
Una razn de peso importante en considerar el espacio de Banach (rca(X), ||
va
), es que el dual (topolgico)
de C(X), (C(X)
, ||), se identica isomtricamente con (rca(X), ||

va
) asociando, a cada funcional lineal
continuo x
C(X)
, una nica medida rca(X), (esto es lo que arma el Teorema de Representacin de

Riesz), de modo tal que:
x
( f ) := f , ) =
_
X
f d, para toda f C(X) y |x
| =||
va
.
Con esta identicacin, rca(X) y C(X)
son, desde el punto de vista algebraico as como desde el punto de

vista topolgico, idnticos. Por este motivo, rca(X) hereda todas las topologas de C(X)
, en particular, la
-topologa. De manera que, dotando a rca(X) con la
-topologa proveniente de C(X)
, resulta que si
rca(X), entonces los conjuntos de la forma
V(, f
1
, . . . , f
n
, ) =
_
rca(X) :
_
X
f
i
d
_
X
f
i
d
< , i = 1, . . . , n
_
donde >0, y f
1
, . . . , f
n
C(X), con n N, forman una base de entornos bsicos abiertos de cada rca(X)
en la
-topologa, y en consecuencia, dada cualquier sucesin (

n
)
n=1
en rca(X) y cualquier rca(X),
si, y slo, si f ,
n
) f , ) para toda f C(X).
En lo que sigue, denotaremos por rca
+
(X) el subconjunto de rca(X) formado por todas las medidas
de Borel (no negativas) y por P(X) el conjunto de todas las medidas de probabilidad en rca
+
(X); es decir,
la medida P(X) si, y slo si, 0 y (X) = 1. Puesto X es un espacio mtrico compacto, resulta
que (C(X), ||
) es, por el Teorema 1.4.19, norma-separable, y se sigue del Teorema de Banach-Alaoglu,

Teorema 2.2.1, pgina 209, que B
rca(X)
, la bola unitaria norma-cerrada de rca(X), es
-compacta y metri-
zable. En particular, P(X), por ser un subconjunto
-cerrado de B
rca(X)
, es un espacio mtrico compacto
cuando la
-topologa se restringe a dicho conjunto y, en consecuencia, (P(X),
) resulta ser un espacio

de Baire.
Recordemos que si rca
+
(X) y si U
0
=
_
U : U es abierto y (U) = 0
_
, entonces de la regularidad
de se deduce fcilmente que (U
0
) = 0, de donde resulta que U
0
es el conjunto abierto ms grande en X
para el cual (U
0
) = 0. Por esta razn, se dene el soporte de , sop(), como
sop() = X U
0
.
Es evidente que sop() es el conjunto cerrado ms pequeo de X tal que (sop()) = (X). Una medida
rca
+
(X) se dice que es estrictamente positiva si sop() = X, o de forma equivalente: si (U) > 0 para
todo conjunto abierto no vaco U de X.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Es oportuno aclarar que no es verdad que en cualquier espacio topolgico de Hausdorff (ni aun si dicho
espacio es compacto) existe una medida de Borel estrictamente positiva (vase, por ejemplo, [7], Example
12.15, p. 442). Sin embargo, como nuestro espacio es un compacto metrizable, una tal medida existe si dicho
espacio no posee puntos aislados, hecho que probaremos ms abajo.
Lema 2.2.10. Sean (X, d) un espacio mtrico compacto, rca
+
(X) y AB
0
(X) un tomo de . Entonces
existe un x A tal que (x) > 0. En otras palabras, no posee tomos si, y slo si, (x) = 0 para todo
x X.
Prueba. Como (X, d) es un espacio mtrico compacto, l satisface el segundo axioma de numerabilidad,
es decir, X posee una base numerable. Fijemos entonces una tal base para la topologa de X, digamos,
V
1
,V
2
, . . . y dena el conjunto de ndices I =n N : (AV
n
) = 0. Considere ahora el conjunto
B = A
_
nI
V
n
.
Entonces B es un conjunto medible incluido en A y se cumple que (B) = (A) > 0. En efecto, como
A =
_
A
_
nI
V
n
_
_
A
_
nI
V
n
_
= B
_
nI
_
AV
n
_
,
y (AV
n
) = 0 para todo n I, entonces la numerabilidad aditiva de nos dice que (B) = (A) > 0. En
particular, B ,=.
Armamos que B consta de un nico punto. Para ver esto, supongamos, por contradiccin, que B posee
dos puntos distintos, digamos a y b. Puesto que X es de Hausdorff, existen conjuntos abiertos bsicos dis-
juntos V
i
y V
j
tales que a AV
i
y b AV
j
. Si (AV
i
) = 0, entonces i I lo cual es imposible
pues a B = A
nI
V
n
. Si ahora hacemos uso del hecho de que A es un tomo y teniendo en cuenta que
(AV
i
) ,= 0, resulta entonces que (AV
i
) = (A). Con un argumento enteramente similar se prueba que
(AV
j
) = (A). Sin embargo, ya que (AV
i
) (AV
j
) =, entonces ni AV
i
, as como tampoco AV
i
,
tienen medida cero, lo cual evidentemente contradice el hecho de que A es un tomo. Por esta razn B se
reduce a un punto.
El resultado anterior permite formular la siguiente denicin:
Denicin 2.2.10. Sea (X, d) un espacio mtrico compacto. Una medida rca
+
(X) se dice que es no-
atmica, o continua, si (x) = 0 para cualquier x X.
Se sigue del resultado anterior que cualquier media no-atmica rca
+
(X) no posee tomos. Si ocurre
que posee al menos un tomo, entonces se dice que es atmica. Notemos que si P(X) no posee
tomos y D es cualquier subconjunto a lo ms numerable de X, entonces la numerabilidad aditiva de
garantiza que (D) = 0. Observemos tambin que si P(X) es atmica, entonces (x) > 0 para algn
x X. Si denotamos por
x
la medida de Dirac en x X, es decir,
x
(E) =
_
1 si x E,
0 si x , E,
para cada E B
0
(X), entonces
x
siempre es atmica. Adems, para toda f C(X) y todo x X se cumple
que
f ,
x
) =
_
X
f d
x
= f (x).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
En general, una medida P(X) se llama puramente atmica si existe una sucesin de nmeros reales
positivos (
n
)
n=1
y una sucesin (x
n
)
n=1
en X tal que
(E) =
n=1
x
n
(E), para todo E B
0
(X).
Es un hecho ya establecido que
Teorema 2.2.36. Si P(X), entonces,
=
c
+
pa
,
donde
c
es una medida de Borel continua y
pa
es una medida de Borel puramente atmica.
Prueba. Si no tiene tomos, entonces denimos :=
c
y
pa
:= 0. Supongamos que posee tomos y
sea A = x X : (x) > 0. Nos proponemos, en lo inmediato, demostrar que A es a lo ms numerable.
Para ver esto, denamos, para cada n N, el conjunto A
n
=x X : (x) 1/n. Entonces
A =
_
n=1
A
n
y cada conjunto A
n
contiene a lo sumo de n elementos. En efecto, supongamos que A
n
contiene N elementos,
digamos x
1
, x
2
, . . . , x
N
, con N N+, y usemos la numerabilidad aditiva as como la monotonicidad de
para obtener
N
n

N
j=1
(x
j
) =
_
N
_
j=1
x
j
_
(X) = 1.
Esto prueba que N n, de donde se concluye que A es a lo ms numerable. Representemos al conjunto A
como A =x
1
, x
2
, . . . y denamos la media
pa
: B
0
(X) [0, +] por
pa
(E) =
j=1
(x
j
)
x
j
(E), para todo E B
0
(X).
Entonces
pa
es una medida puramente atmica, y para cualquier conjunto de Borel E, se cumple que
pa
(E) =
j=1
(x
j
)
x
j
(E) =

x
j
E
j N
(x
j
) = (E x
1
, x
2
, . . .) (E),
es decir,
pa
, lo cual nos permite denir
c
: B
0
(X) [0, +] por
c
(E) = (E)
pa
(E), para todo E B
0
(X).
Es claro que
c
rca
+
(X). Veamos que
c
no posee tomos. En efecto, sea x X. Si x = x
j
para algn
j N, entonces
pa
(x
j
) = (x
j
) y as,
c
(x) = 0. Por otro lado, si x ,= x
j
para todo j N, entonces
necesariamente
pa
(x) = 0 = (x) y, de nuevo,
c
(x) = 0. Esto termina la prueba.
Recordemos que si X es un espacio topolgico de Hausdorff, el conjunto de los puntos lmites o puntos
de acumulacin de X se dene como
X
= X x X : x es un punto aislado de X.
Usando induccin transnita denimos, para cada nmero ordinal , el derivado de Cantor-Bendixson,
X
()
, como sigue:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
1. X
(0)
= X;
2. X
(+1)
= (X
()
)
, si es un ordinal, y
3. X
()
=
<
X
()
, si es un lmite ordinal.
Es claro que X
()
es cerrado en X para todo <
1
y que la familia (X
()
)
<
1
es no-creciente, es decir,
X X
(1)
X
(2)
X
()
X
()
, para todo < . Ms aun,
X =
_
<
_
X
()
X
(+1)
_
X
()
para cualquier ordinal > 0. En efecto, si x , X
()
, existe un primer ordinal < tal que x , X
()
. Este no
puede ser un ordinal lmite, pues si lo fuera tendramos que X
()
=

<
X
()
, y en consecuencia, x , X
()
para algn < . Entonces tiene la forma = +1 y por consiguiente, x X
()
X
(+1)
. Tambin es
oportuno observar que si X
()
= X
(+1)
para algn , entonces X
()
= X
()
para todo > .
Recordemos que un espacio topolgico de Hausdorff X se llama disperso si cada subconjunto cerrado
no vaco F de X posee al menos un punto aislado. El siguiente resultado es bien conocido y ser demostrado
slo por razones didcticas.
Lema 2.2.11. Sea (X, ) un espacio topolgico de Hausdorff.
(1) X es disperso si, y slo si, X
()
= para algn ordinal .
(2) Si X es disperso y, adems, compacto y si es el primer ordinal para el cual se cumple que X
()
=,
entonces no es un ordinal lmite.
(3) Si X es disperso y posee una base numerable, entonces <
1
, donde es el primer ordinal para el
cual X
()
= y
1
representa el primer ordinal no numerable.
Prueba. (1) Si X es disperso, entonces X
()
: es un ordinal es una familia de subconjuntos cerrados
estrictamente decreciente y se sigue que X
()
= siempre que card() >card(X). Por otro lado, suponer
que X no es disperso signica que X posee un subconjunto perfecto no vaco, digamos F. Evidentemente se
tiene que F
X
()
: es un ordinal, de modo que X
()
,= para todo .
(2) Suponga que es un ordinal lmite, entonces
= X
()
=
<
X
()
.
Como X es compacto, la familia X
()
: es un ordinal es una coleccin de subconjuntos compactos de-
creciente, de donde resulta que

<
X
()
es no vaca. Esta contradiccin establece que no puede ser un
ordinal lmite.
(2) Sea (U
n
)
n=1
una base numerable para la topologa de X. Puesto que los X
()
, con < , son cerrados
y no vacos, y decrecen estrictamente, podemos denir una aplicacin inyectiva : : < N de la
siguiente manera: para cada < , sea () N tal que U
()
X
()
,= pero U
()
X
(+1)
= . Esto
prueba que <
1
.
Como una consecuencia inmediata del lema anterior se tiene que
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Corolario 2.2.18. Si (X, d) es un espacio mtrico compacto disperso, entonces existe un ordinal no lmite
<
1
tal que X
()
=.
El siguiente resultado, probado por W. Rudin, establece que en espacios mtricos compactos dispersos
la nica medida no-atmica que existe sobre dicho espacio es la medida idnticamente nula.
Teorema 2.2.37 (Rudin). Sea (X, d) un espacio mtrico compacto disperso. Si P(X) no posee tomos,
entonces = 0.
Prueba. Sea una medida de probabilidad no-atmica y supongamos que ,= 0. Por el Corolario 2.2.18,
existe un ordinal para el cual X
()
= . Como no es un ordinal lmite, existe un ordinal tal que
= +1 y X
()
,= . De la compacidad de X
()
se sigue que dicho conjunto debe ser nito y, entonces,
(X
()
) = 0 pues es no-atmica. Esto prueba que el conjunto A := : (X
()
) < (X) es no vaco. Sea
0
el primer ordinal para el cual (X
(
0
)
) < (X). Vamos a probar que, en este caso,
0
es un ordinal lmite.
En efecto, supongamos que para algn ordinal ,
0
= +1. De esto se sigue que la igualdad (X
()
) =
(X
(
0
)
) +(X
()
X
(
0
)
) se cumple. Por la denicin de conjunto derivado, resulta que X
()
X
(
0
)
no
puede contener subconjuntos compactos innitos. Apoyndonos ahora en la regularidad y continuidad de
, resulta que (X
()
X
(
0
)
) = 0 y, por lo tanto, (X
()
) = (X
(
0
)
), lo cual contradice nuestra eleccin de
0
. Por esto,
0
es un ordinal lmite. Por un simple argumento de compacidad se deduce que, para cada
conjunto abierto G conteniendo a X
(
0
)
, existe un ordinal <
0
tal que X
()
G. Pero como <
0
, resulta
que (X
()
) = (X) y, en consecuencia, (G) = (X) para cada conjunto abierto G conteniendo a X
(
0
)
. De
nuevo, por la regularidad de tenemos que (X
(
0
)
) = (X) lo que origina una contradiccin. Esto prueba
que = 0 y termina la prueba.
El Teorema 2.2.37 nos garantiza que sobre cualquier espacio mtrico compacto disperso (X, d), toda me-
dida de probabilidad continua denida sobre B
0
(X) es idnticamente nula. La misma conclusin se obtiene
si reemplazamos el espacio mtrico compacto disperso por cualquier conjunto de Luzin. La demostracin de
este hecho requiere del siguiente resultado clsico.
Lema 2.2.12. Sean (X, d) un espacio mtrico separable y P(X) una medida continua. Entonces existe
un conjunto A X el cual es un F
de primera categora tal que (X A) = 0.

Prueba. Usemos la separabilidad del espacio mtrico (X, d) para hallar un conjunto denso numerable de X,
digamos D=x
n
: n N y jemos un nmero natural k. Puesto que es continua, para cada n N, podemos
encontrar un entorno abierto V
k
(x
n
) de x
n
tal que
_
V
k
(x
n
)
_
< 1/2
k+n
. Pongamos V
k
=
n=1
V
k
(x
n
). Entonces
V
k
es un subconjunto abierto denso de X y se cumple, adems, que
(V
k
)
n=1
_
V
k
(x
n
)
_
< 1/2
k
.
Por el Teorema de Categora de Baire, el conjunto G =

k=1
V
k
resulta ser un G
-denso en X. Si ahora
denimos A = X G, tendremos que A es un conjunto F
de primera categora en X y como es nita se

cumple que (X A) = (G) = lm
k
(V
k
) = 0. La prueba es completa.
Observe que el lema anterior establece que X se puede escribir en la forma X = GA, donde G es un
G
-denso con (G) = 0, A es un F
de primera categora y GA =.
Teorema 2.2.38. Sea X un conjunto de Luzin. Si P(X) es continua, entonces = 0.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Prueba. Puesto que (X, [ [) es un espacio mtrico separable y P(X) es continua, podemos elegir, por el
lema anterior, un conjunto A de primera categora en X tal que (X A) = 0. Como A tambin es de primera
categora en 1, usando el hecho de que X es un conjunto de Luzin resulta que card(X A) = card(A)
0
.
Esto nos dice que A es a lo ms numerable y como es continua se concluye que 0 (A) =
xA
(x) =0.
Por consiguiente, (X) = (X A) +(A) = 0 y termina la prueba.
En contraste con el resultado de Rudin, la ausencia de puntos aislados en un espacio mtrico compacto,
conduce a la existencia de abundantes medidas no-atmicas. Comenzaremos con la demostracin del si-
guiente resultado.
Lema 2.2.13. Sea Kun subconjunto
-compacto de rca
+
(X). Entonces
K
=
_
rca
+
(X) : para alguna K
_
es
-cerrado de rca
+
(X).
Prueba. Sea (
una red en K
convergiendo (en la
-topologa) a rca
+
(X). Veamos que K
.
En efecto, por denicin, para cada , existe un
Ktal que
. Siendo K
-compacto, existe
una subred (
d
) de (
con limite K. De esto se sigue que, para cada f C(X), f 0,

, f ) = lm
d
d
, f ) lm
d
d
, f ) = , f )
de modo que K
.
Lema 2.2.14. Sean (X, d) un espacio mtrico compacto, K un subconjunto compacto de X y a >0. Entonces
el conjunto K
a
=
_
a
x
: x K
_
es
-compacto en rca
+
(X).
Prueba. Puesto que la aplicacin : (X, d) (rca
+
(X),
) denida por (x) =

x
para cada x X, es
claramente continua, se sigue que el conjunto (X) =
x
: x X es
-compacto en rca
+
(X). En particular,
el conjunto K
a
=a
x
: x K tambin es
-compacto en rca
+
(X).
Si (X, ||) es un espacio de Banach y A X, entonces el aniquilador de A se dene como
A
=
_
x
: x
(x) = 0 para todo x A

_
,
mientras que si B X
, entonces el pre-aniquilador de B se dene como

B
=
_
x X : x
(x) = 0 para todo x
B
_
,
Una de las buenas propiedades importantes que poseen las medidas de Dirac es que ellas sirven para
aproximar cualquier medida de Borel a valores reales; es decir, si rca(X) entonces existe una cierta
combinacin lineal de medidas de Dirac que aproximan a en la
-topologa. Para demostrar este hecho,

haremos uso del siguiente teorema.
Teorema B ([7], Corolary 5.108, p. 219). Sea B un subespacio lineal de rca(X). Las siguientes
condiciones son equivalentes:
(1) B
=0.
(2) B es
-denso en rca(X).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Teorema 2.2.39. Sean (X, d) un espacio mtrico compacto y (x
n
)
n=1
una sucesin densa en X. Entonces
_
x
n
: n N
, el subespacio lineal generado por

x
n
: n N, es
-denso en rca(X).
Prueba. En primer lugar notemos que
_
x
n
: n N
_
=0. En efecto, sea f

_
x
n
: n N
_
. Entonces
0 = f ,
x
n
) =
_
X
f
x
n
= f (x
n
),
y la densidad de la sucesin (x
n
)
n=1
, as como la continuidad de f , garantizan que f (x) = 0 para todo x X.
Esto prueba nuestra armacin. Por otro lado, como
_
x
n
: n N
_
=
_
x
n
: n N
, se sigue del Teorema

B que
_
x
n
: n N
es
-denso en rca(X).
El resultado anterior establece que, para cualquier medida rca(X), existen escalares a
1
, . . . , a
n
y
vectores z
1
, . . . , z
n
en x
j
: j N tal que la medida = a
1
z
1
+ +a
n
z
n
aproxima a en la
-topologa.
Si los coecientes a
i
se eligen no-negativos y tales que a
1
+. . . +a
n
= 1, entonces la coleccin de todas las
medidas = a
1
z
1
+ +a
n
z
n
aproximan a las medidas P(X) en la
-topologa. Cualquier medida

P(X) de la forma
=
n
i=1
a
i
x
i
,
donde los a
i
son nmeros reales no negativos satisfaciendo a
1
+ +a
n
= 1, se llama una medida ni-
tamente soportada. En este caso decimos que es soportada por x
1
, . . . , x
n
. En general, si D es un
subconjunto no vaco de X, denotaremos por P
f s
(D, X) el conjunto de todas las medidas de probabilidad
nitamente soportadas por elementos de D; es decir,
P
f s
(D, X) =
_
P(X) : =
n
i=1
a
i
x
i
, a
1
+ +a
n
= 1, a
i
0, x
i
D, i = 1, . . . , n, n N
_
.
Lema 2.2.15. Sean (X, d) un espacio mtrico compacto y D un subconjunto denso en X. Entonces P
f s
(D, X)
es
-denso en P(X).
Prueba. Vamos a demostrar que cualquier conjunto no vaco y
-abierto V de P(X) intersecta al conjunto

P
f s
(D, X). Sin perder generalidad, podemos suponer que V es un entorno
-abierto de P(X) de la forma:

V :=V(, f
1
, . . . , f
n
, ) =
_
P(X) :
_
X
f
i
d
_
X
f
i
d
< , i = 1, . . . , n
_
,
donde > 0, y f
1
, . . . , f
n
C(X). Veamos que existe una medida de probabilidad nitamente soportada por
elementos de D perteneciente a V. En efecto, como las funciones f
1
, . . . , f
n
son uniformemente continuas,
existe un > 0 tal que
d(x, y) < [ f
i
(x) f
i
(y)[ <
para cualquier x, y X e i = 1, . . . , n. De aqu se sigue la existencia de una particin nita F
1
, . . . , F
k
de X por
conjuntos medibles Borel de medida positiva con int(F
j
) ,=, j = 1, . . . , k, tal que
x, y F
j
[ f
i
(x) f
i
(y)[ <, j = 1, . . . , k; i = 1, . . . , n.
Puesto que D es denso en X, cada interseccin int(F
i
) D es no vaca. Para cada i 1, . . . , n, escojamos
x
i
int(F
i
) D y pongamos a
i
= (F
i
). Finalmente dena =
n
i=1
a
i
x
i
. Entonces P
f s
(D, X) y para
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
f f
1
, . . . , f
n
, tenemos que
_
X
f d
_
X
f d
_
X
f d
n
i=1
a
i
f (x
i
)
(puesto que
_
X
f d
x
= f (x))
=
i=1
_
_
F
i
f d
_
F
i
f (x
i
)d
_
(puesto que (F
i
) = a
i
)
=
i=1
_
F
i
( f (x) f (x
i
))d
i=1
_
F
i
[ f (x) f (x
i
)[d
i=1
_
F
i
d
=
Esto demuestra que V y, en consecuencia, V P
f s
(D, X).
La existencia de medidas de Borel que no poseen tomos y que son estrictamente positivas se puede
demostrar por una aplicacin del Teorema de Categora de Baire tal y como se prueba en [348], Theorem
8.1, p. 53. Otra demostracin que no utiliza el Teorema de Categora de Baire se puede ver en [7], Theorem
12.22, p. 446, donde, en su lugar, se hace uso del Teorema de Banach-Alaoglu y del Lema de Uryshon. Vase
tambin [289].
Lema 2.2.16. Sea (X, d) un espacio mtrico compacto sin puntos aislados. Entonces rca
+
(X) contiene al
menos una medida no-atmica estrictamente positiva.
Prueba. Nuestra primera tarea es demostrar la siguiente:
Armacin. Para cada bola cerrada B en X con radio positivo, existe una medida no-atmica
B
P(X) tal que sop(
B
) B.
Prueba de la Armacin. Sea B=B(x, r) una bola cerrada con centro en x X y radio r >0. Puesto que
X no posee puntos aislados, la bola cerrada B(x, r/4) no se reduce a un punto; es decir, ella contiene innitos
puntos. Sean x
(1)
1
y x
(1)
2
dos puntos distintos de B(x, r/4) y pongamos
1
:= d(x
(1)
1
, x
(1)
2
)/4. Considere
ahora las bolas cerradas disjuntas B(x
(1)
1
,
1
) y B(x
(1)
2
,
1
). De nuevo, por la ausencia de puntos aislados
en X, cada una de esas bolas contienen dos puntos diferentes, digamos x
(2)
1
, x
(2)
2
en B(x
(1)
1
,
1
) y x
(2)
3
,
x
(2)
4
en B(x
(1)
2
,
1
). Sea
2
:= mnd(x
(2)
i
, x
(2)
j
)/4 : i, j = 1, 2, 3, 4. Entonces las bolas cerradas B(x
(2)
j
,
2
),
j = 1, 2, 3, 4 son disjuntas. Continuando inductivamente con este proceso se construyen, para cada n N, un
n
> 0 y un conjunto
X
n
=
_
x
(n)
1
, . . . , x
(n)
2
n
_
con 2
n
elementos tal que
n+1

n
2
, X
n
B,
y para cada y B y cada k con k n, la bola B(y,
k
) contiene a lo ms 2
nk
puntos de X
n
. Dena, para cada
n N, la medida
n
:=
1
2
n
2
n
j=1
x
(n)
j
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Con esta denicin resulta que cada
n
es una medida de probabilidad cuyo soporte yace en B y, adems, se
cumple que
n
_
B(y,
k
)
_
1
2
n
2
nk
=
1
2
k
(1)
para todo n k y cualquier y X. Puesto que (X, d) es un espacio mtrico compacto, sabemos que
(C(X), ||
) es separable (Teorema 1.4.19, pgina 30) y, por consiguiente, por el Teorema de Banach-
Alaoglu, (P(X),
) es un compacto metrizable. Por esto, la sucesin (

n
)
n=1
posee una subsucesin, a
la que seguiremos denotando del mismo modo, que converge a una medida P(X).
Veamos ahora que sop() B. En efecto, por ser una medida tensa, tenemos que
(X B) = sup
_
(K) : K X B, K compacto
_
.
Fijemos K X B con K compacto. Por el Lema de Urysohn , existe una funcin continua f : X [0, 1] tal
que f = 1 sobre K y f = 0 sobre B. Es claro que
(K)
_
X
f d (X B). (2)
Puesto que
n
(en la topologa
) y como sop(
n
) B, entonces
_
X
f d = lm
n
_
X
f d
n
y 0
_
X
f d
n
(X B) = 0
de donde se deduce que
_
X
f d =0, y as, por (2), (K) =0. Puesto que K XB era un compacto arbitrario,
se tiene que tambin (X B) = 0. Esto prueba que sop() B. Ms aun, por (1), es continua y termina la
prueba de nuestra armacin.
Para nalizar la demostracin del lema, sea D un subconjunto denso numerable de X. Para cada n N
y cada x D, existe, por la armacin anterior, una medida de probabilidad continua
n,x
:=
B(x,1/n)
con
soporte contenido en B(x, 1/n). Seleccionemos, arbitrariamente, nmeros c
n,x
> 0 tales que
nN, xD
c
n,x
< +.
Entonces
:=

nN, xD
c
n,x
n,x
es una medida continua cuyo soporte contiene a todos los x D. Es claro que
sop()
_
nN
xD
sop(
n,x
)
y tambin que el ltimo conjunto es denso en X por la densidad de D. Se sigue que sop() = X. Esto prueba
que es una medida estrictamente positiva.
Teorema 2.2.40. Sea (X, d) un espacio mtrico compacto sin puntos aislados. Entonces P
c
(X), el subcon-
junto de P(X) formado por todas las medidas que no poseen tomos, es un G
-denso en (P(X),
).
Prueba. Para cada n N, sea
G
n
=
_
P(X) : (x) < 1/n para cada x X
_
.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Evidentemente, P
c
(X) =

n=1
G
n
. Armamos que
(1) G
n
es
-abierto en P(X) para cada n N. Fijemos G

n
. Para cada x X existe, por la regularidad de
, un nmero r
x
> 0 tal que (U(x, r
x
)) < 1/n. Usemos el Lema de Urysohn para determinar, para el x dado,
una funcin continua f
x
: X [0, 1] tal que
f
x
= 1 sobre B(x, r
x
) y f
x
= 0 sobre X U(x, r
x
).
Observe que
f
x
, ) (U(x, r
x
)) < 1/n para todo x X.
Aprovechando el hecho de que X es compacto, escojamos x
1
, . . . , x
n
en X de modo que X =
n
i=1
U(x
i
,
1
2
r
x
i
).
Consideremos a continuacin el entorno
-abierto de dado por

W :=
_
P(X) : f
x
i
, ) < 1/n, i = 1, . . . , n
_
.
Para cualquier W tenemos que
_
U(x
i
, r
x
i
/2)
_
f
x
i
, ) <
1
n
, i = 1, . . . , n
lo cual implica que (x) <1/n para cualquier x U(x
i
,
1
2
r
x
i
). Teniendo en cuenta que X =
n
i=1
U(x
i
,
1
2
r
x
i
),
resulta que la desigualdad (x) < 1/n vale para todo x X y, en consecuencia, W G
n
. Esto termina la
prueba de (1).
(2) P
c
(X) es
-denso en P(X). Escojamos, por el Lema 2.2.16, una medida P(X) que no posea tomos
y sea, a su vez, estrictamente positiva. Fijemos x X y, para cada k N, denamos la medida
k
P(X) por
k
(E) :=
_
E B(x, 1/k)
_
(B(x, 1/k))
, E B
0
(X).
Es claro que
k
P
c
(X) y, adems,
k
x
. Esto prueba que P
c
(X)
contiene a todas las medidas de Dirac
x
, ( x X) y, por consiguiente, a todas las medidas de probabilidad nitamente soportadas. Pero stas ltimas
son, en virtud del Lema 2.2.15,
-densas en P(X), de donde se sigue que P

c
(X)
= P(X). Esto prueba (2).

Teniendo en cuenta que P
c
(X) =

n=1
G
n
, entonces (1) y (2) nos revelan que P
c
(X) es un G
-denso en el
espacio de Baire (P(X),
).
Fijemos ahora una medida de Borel sin tomos P(X) que podemos elegir estrictamente positiva
gracias al Teorema 2.2.40. Por el Teorema de Descomposicin de Lebesgue, cada medida real rca(X)
admite una nica representacin en la forma =
a
+
s
, donde
a
y
s
. De hecho, induce una
descomposicin de rca(X) en suma directa M
a
M
s
= rca(X), donde
M
a
=
_
rca(X) :
_
y M
s
=
_
rca(X) :
_
son subespacios lineales de rca(X). Una aplicacin del Teorema de Radon-Nikodym permite identicar,
isomtricamente, al subespacio lineal M
a
con L
1
(). Como es estrictamente positiva, resulta entonces que
sop() = X y, por consiguiente, M
a
= 0. Se sigue del Teorema B que M

a
es
-denso en rca(X). Con

esto hemos demostrado el siguiente teorema.
Teorema 2.2.41. Sean (X, d) un espacio mtrico compacto y una medida de Borel sin tomos estricta-
mente positiva en P(X). Entonces el conjunto
M
a
=
_
rca(X) :
_
es
-denso en rca(X).

Otras Aplicaciones en Espacios de Banach

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Otras Aplicaciones en Espacios de Banach

Enviado por

Direitos autorais:

Formatos disponíveis

w

denota el dual (topolgico) de X, es decir, el conjunto

sern denotados por

, . . . y, en ocasiones, por f , g, . . .. En algunas ocasiones usaremos el smbolo x, x

. Resulta que con esa norma (X

, ||) es un espacio de Banach. De ahora en adelante, el

denido sobre X que es una extensin de x

y nmeros reales y tales que

(x) < < < x

(x), para cada x

pero suponga que

(x) < es un -entorno de x

. Esta contradiccin establece que A

dada por Jx(x

(x) para todo x

y todo x X, es una aplicacin

y, as, pensar a X como un subespacio norma-cerrado de X

, es decir, cuando estemos

de un espacio de Banach X, convenimos en identicar a B

. Si ocurre que la aplicacin J es sobreyectiva, es decir X =J(X) =X

, podemos denir una nueva topologa sobre X

-topologa, como la topologa ms pequea sobre X

bajo la cual las aplicaciones

(x), para cada x X

en un espacio vectorial topolgico Hausdorff localmente con-

-topologa la constituye la coleccin de todos los conjuntos de la

-topologa sobre un espacio de Banach dual que nos sern de

) es, adems, metrizable.

-cerrado. Se sigue ahora del

-compacto, resulta que

. Si K es dbilmente compacto, entonces el resultado de James nos provee de un x

(K). Pero ya que, sup x

y| > para todo y Y.

Teorema 2.2.3 (Riesz). Sean (X

) de todas las sucesiones acotadas, las sucesiones que son

), el espacio de Banach de todas las sucesiones de nmeros reales convergentes, resulta

por lo que, gracias al resultado anterior, c es

c, que consiste de todas las sucesiones de nmeros

. De hecho, como c es cerrado en

. Esto prueba que

por medio del

c) ,= . Observe que si x , c, entonces no hay nada que demostrar. Suponga en-

del modo siguiente:

una familia de funciones

(x)[ n es cerrado y, por consi-

(x)[[ para todo x X es

y un conjunto abierto no vaco V en X tal que

. Por esto, para todo D,

(z)| M|z| para todo y todo

-denso G de X tal que

(x)[[ = , para todo x G.

(x)| es continua sobre X, resulta que f es inferiormente semicontinua

lo que naliza la prueba de (a).

, es una aplicacin abierta.

es sobreyectivo y el Teorema de la Aplicacin

-denso en (C[0, 1], ||

). Para ver esto ltimo, considere el operador lineal T :

para toda f X, y por lo tanto,

1. Sea >0 y tomemos /(1+M). Si x, y [0, 1] satisfacen

f (n) = 0 para todo n Z y, por consiguiente, S

- inferiormente semicontinua y si X es separable, entonces (B

- continua sobre un subconjunto G

) sigue del hecho de que lo podemos escribir en la

abierto en K. Ms an, los puntos de