El Teorema de Vitali-Hahn-Saks arma que si (n ) es una sucesin de medidas reales que converge n=1 puntualmente a una funcin de conjuntos

, entonces es una medida real. Existen varias pruebas de ste resultado. Una de las ms conocidas se debe al propio Saks el cual usa el Teorema de Categora de Baire como una herramienta fundamental en su demostracin (vase, [129], aunque tambin existe una demostracin por S. Banach, obtenida de manera independiente, en la versin placa de su libro sobre teora de operadores lineales usando el mismo mtodo de categora de Baire). Para lograr tal objetivo, Saks tuvo que construir un espacio mtrico completo especial asociado a un espacio de medida nita para desarrollar su prueba. Nuestra tarea es presentar los pasos del programa seguido por Saks. La siguiente caracterizacin de la numerabilidad aditiva de una funcin de conjuntos es, con frecuencia, de mucha utilidad: Lema 2.2.17. Sea : [0, +) una funcin nitamente aditiva. Las siguientes condiciones son equivalentes: (1) es numerablemente aditiva. (2) Si (En ) es una sucesin decreciente de elementos de tal que n=1 lmn (En ) = 0. (3) Si (En ) es una sucesin creciente de elementos de , entonces n=1
n=1 n n=1 En

= , entonces se cumple que

(2) (3). Sea (An ) una sucesin creciente de elementos de y suponga que A = An . Entonces n=1 n=1 (A \ An ) una sucesin decreciente de elementos de cuya interseccin es vaca. Se sigue de (2) y del n=1 hecho de que es nita, que (A) (An ) = (A \ An ) 0 cuando n , lo cual prueba (3).
ww w.

(3) (1). Suponga ahora que la condicin (3) se satisface. Sea (Bn ) una sucesin en disjunta dos a dos. n=1 Hagamos B = Bn y, para cada n N, sea An = n Bm . Es claro que (An ) es una sucesin creciente n=1 m=1 n=1 de conjuntos en tal que An = B y, en consecuencia, por nuestra hiptesis (B) = lmn (An ). n=1 Finalmente, como es nitamente aditividad concluimos que,

m=1

Prueba. (1) (2). Suponga que es numerablemente aditiva y sea (An ) una sucesin decreciente de n=1 elementos de . Pongamos, para cada n N, Bn = An \ An+1 . Los conjuntos Bn pertenecen a , son disjuntos dos a dos, y A1 = Bn . Por la numerabilidad aditiva de resulta que la serie (Bn ) converge. n=1 n=1 Entonces, como An = Bm , se concluye que (An ) = Bn tiende a 0 cuando n . m=n m=n

at e

m at

ic

a1
n

(Bm ) = lm

m=1

(Bm ) = lm
n m=1

.c om

En

= lm (En ).

Bm

= (B)

y termina la prueba. Sea X un conjunto no vaco y sean E y F subconjuntos de X . La diferencia simtrica E F se dene por E F = E \F F \E Es fcil establecer que si E, F, G P(X ), entonces = E F \ E F .

(D1 ) E E = . (D2 ) E F = F E. (D3 ) E F E G G F . Vamos ahora a asociar, a cada espacio de medida nita, un espacio mtrico completo. Fijemos, entonces, un espacio de medida nita (, , ) y para cada par E, F dena d (E, F) = (E F). Usando las propiedades (D1 ), (D2 ) y (D3 ) se prueba que la funcin d es una pseudo-mtrica sobre comnmente llamada la pseudo-mtrica de Frchet-Nikodm, es decir, se verica que, cualesquiera sean E, F, G : (d1 ) d (E, E) = 0, (d2 ) d (E, F) = d (F, E), y (d3 ) d (E, G) d (E, F) + d (F, G)
.c o

pero la condicin: d (E, F) = 0 E = F no siempre se cumple. Para construir una mtrica a partir de la pseudo-mtrica, es necesario considerar la siguiente relacin de equivalencia: E F si

:= / =

ww w.

M at

Esta relacin lo que hace es identicar todos los pares de conjuntos E, F que satisfagan la condicin (E F) = 0. Es fcil ver que es, realmente, una relacin de equivalencia sobre y, en consecuencia, podemos construir el conjunto cociente

em

donde, para cada E , [E ] = {F : E F} constituye la clase de equivalencia determinada por E. Se verica, sin dicultad, que las operaciones conjuntistas mantienen compatibilidad, lo cual quiere decir que si, E [E ] y F [F ], entonces d (E , F ) = d (E, F) por lo que la aplicacin d : [0, +) dada por d [E ], [F ] = d (E, F), [E ], [F ] est bien denida, es decir, no depende sobre la eleccin de los representantes en las clases de equivalencias. De hecho, d constituye una mtrica sobre . El espacio mtrico ( , d ) se denomina lgebra de Boole mtrico asociado a (, , ). Asimismo, se comprueba la consistencia de las deniciones [E ]c := [E c ], [E ] [F ] := [E F], etc. Teorema 2.2.42 (Saks-Banach). Sea (, , ) un espacio de medida nita. Entonces: (1) ( , d ) es un espacio mtrico completo. (2) es uniformemente continua sobre ( , d ). En particular, una medida : [0, +) es uniformemente continua sobre ( , d ) si, y slo si, .

(3) Las aplicaciones , : denidas por (A, B) = A B y (A, B) = A B son continuas.

at

ic a1

d (E, F) = 0.

[E ] : E ,

Prueba. (1) Sea [En ] n=1 una sucesin de Cauchy en , d y, para cada n N, sea En un representante de [E ]n . Deseamos demostrar que existe E tal que d (En , E) = (En E) 0. Como [En ] n=1 es de Cauchy, existe una subsucesin (nk ) de N tal que d (En , Enk+1 ) < 2k para todo k N y todo n > nk+1 . k=1 Por consiguiente, pasando a una subsucesin si fuese necesario, podemos asumir que d (Ek , En ) = (Ek En ) < 2n para todo n N y todo k n. Sea E =
k=1 n=k

(1 )

En .

Puesto que es una -algebra, el conjunto E . Armamos que d (En , E) 0. En efecto, para cada N N, considere el conjunto
N

FN =
k=1 n=k

En =
n=1

En

n=2

En

En =
n=N n=N

En .
N=1 FN

Entonces (FN ) es una sucesin decreciente en cuya interseccin es E, por lo que N=1 sigue del Lema 2.2.17 que lm
k=1 n=k

\ E = . Se

ic a1
n=N

En \ E

= lm

En \ E

= lm (FN \ E) = 0,
N

em

y as, dado > 0, existe un N N tal que

n=N

at

.c o

M at

En \ E
ww w.

=
k=1 n=k

En \ E

<

. 2
n=N En \ E,

Por otro lado, teniendo en cuenta que, para todo m N,

n=m Fn \ E

resulta que (2 )

n=m

En \ E

<

, 2

para todo m N.

k < /2, tendremos, por Si escojemos ahora un m N lo sucientemente grande de modo que k=m+1 2 m y, en consecuencia, (1 ), que (Ek \ Em ) (Em Ek ) < 2

n=m

En \ Em

k=m+1

(Ek \ Em )

k=m+1

2k <

. 2

(3 )

Finalmente, como E, Em

n=m En ,

resulta de (2 ) y (3 ) que para todo m N,

(Em E) = (Em \ E) + (E \ Em ) < .

n=m

En \ E

+
n=m

En \ Em

Esto naliza la demostracin de que ( , d ) es un espacio mtrico completo.

(2) Puesto que cualesquiera sean A, B , entonces, por la subaditividad de , se tiene que (A) (A B) (B) + (A B) de donde se sigue que Esto prueba que es uniformemente continua sobre . Suponga ahora que es uniformemente continua sobre ( , d ). Entonces, dado > 0, existe un > 0 tal que, cualesquiera sean A, B se cumple que |(A) (B)| < siempre que (A B) < . Tomando B = , vemos que . Recprocamente, suponga que . Entonces, dado > 0, existe un > 0 tal que |(E)| < siempre que (E) < . Sean ahora A, B y suponga que (A B) < . Coma la desigualdad (1 ) es vlida para cualquier medida nita, resulta que |(A) (B)| (A B) < . (A B) (A1 B1 ) = (A A1) (B B1) A (B B1) B1 (A A1) |(A) (B)| (A B). (1 ) y (B) (A B) (A) + (A B), A B = A (A B) = B (A B),

(3) Si A, A1 , B, B1 son elementos arbitrarios de , entonces las siguientes igualdades se cumplen:

Teorema 2.2.43 (Teorema de Vitali-Hahn-Saks). Sea (X , , ) un espacio de medida nita y suponga que (n ) es una sucesin de medidas reales denidas sobre tal que n=1 (a) n para cada n N y, (b) existe una funcin de conjuntos : R para el cual
n

ww w.

Estamos ahora en condiciones de formular y probar el Teorema de Vitali-Hahn-Saks al estilo SaksBanach, esto es, demostrarlo usando el Teorema de Categora de Baire.

M at

se sigue que las operaciones binarias (A, B) = A B y (A, B) = A B son aplicaciones continuas de en .

lm n (E) = (E),

em

at

(A B) (A) + (B),

ic a1

De lo anterior y del hecho de que

Entonces: (1) Para cada > 0, existe un > 0, tal que si E y (E) < , entonces |n |(E) < uniformemente en n N, y

(2) es una medida real.

Prueba. Sea ( , d ) el espacio mtrico completo obtenido en el Teorema 2.2.42. Como n para cada n N, una nueva aplicacin del Teorema 2.2.42, nos revela que cada n es uniformemente continua sobre de modo que, para cada > 0 y cada k N, el conjunto k =
m,n=k

E : n (E) m (E) /3

.c o

(A B) (A1 B1 ) = A (B B1) B1 (A A1).

m

E .

es cerrado en ( , d ). Fijemos E . Ya que lmn n (E) = (E), resulta que la sucesin (n (E)) n=1 es de Cauchy en R y, en consecuencia, podemos hallar un k N tal que n (E) m (E) /3 para todo n, m k. Esto prueba que E k y, por consiguiente, =
k=1

k .

Por le Teorema de Categora de Baire, existe un k0 N tal que int(k0 ) = , es decir, existe un r > 0 y un A tal que U (A, r) = E : d (A, E) < r k0 . Esto implica que n (E) m (E) < /3 para todo E U (A, r), m, n k0 . (2 )

Como n para n = 1, 2, . . . , k0 , podemos seleccionar un 0 < < r tal que, si B y (B) < , entonces n (B) < /3, n = 1, 2, . . . , k0 . (3 ) Observe que si B es cualquier elemento en para el cual (B) < r, entonces B se puede escribir en la forma B = (A B) \ (A \ B), donde A B, A \ B U (A, r). En efecto, d (A \ B, A) = ((A \ B) A) = (A B) (B) < r.
.c o m

n (B) = k0 (B) + n (B) k0 (B)

k0 (B) + n (A B) n0 (A B) + n (A \ B) k0 (A \ B) < + + = . 3 3 3 Siendo > 0 arbitrario, se concluye que

(B)0

k0 (B) + n (A B) n (A \ B) k0 (A B) k0 (A \ B)

lm n (B) = 0

ww w.

Por esto, para cualquier n N y cualquier B tal que (B) < se cumple, usando (2 ), (3 ) y la eleccin de , que

M at

quedando de esta forma establecida la prueba de (1). Sea (En ) una sucesin decreciente en tal que En = . Para demostrar (2) es suciente, de n=1 n=1 acuerdo al Lema 2.2.17, vericar que lmn (En ) = 0. Como es numerablemente aditiva, el Lema 2.2.17 nos garantiza que (En ) 0 y, por lo tanto, dado > 0, podemos escoger un n0 N tal que |(En )| < para todo n n0 . Usemos ahora el hecho de que n uniformemente en n N para, dado > 0, hallar un 0 < < y un n1 n0 tal que n n1 implique que (Bn ) < y, as, |k (Bn )| < para todo k N. Haciendo que k , se obtiene que |(Bn )| < para todo n n1 , lo cual prueba que es numerablemente aditiva.

em

at

d (A B, A) = ((A B) A) = (B \ A) (B) < r

ic a1

uniformemente en n N

Comentario Adicional 2.2.13 La primera parte del Teorema de Vitali-Hahn-Saks sigue siendo vlida si las medidas n , en lugar de tomar valores reales, toman valores en un espacio de Banach arbitrario. Ms aun, dicho resultado permanece cierto si es no-negativa, nitamente aditiva (no necesariamente numerablemente aditiva) y como antes, las n toman valores en un espacio de Banach (vase, por ejemplo, [130], p. 23 y p. 29). El siguiente resultado de J. Dieudonne pareciera ser inmediato, pero es mucho ms difcil de demostrar de lo que parece. Teorema de Dieudonne. Sea (n ) una sucesin de medidas de Borel nitas denidas sobre n=1 un espacio Placo X . Si lmn n (G) existe para cada subconjunto abierto G de X , entonces lmn n (E) existe para cada conjunto de Borel G B0 (X ). En particular, se sigue del Teorema de Vitali-Hahn-Saks que la funcin de conjuntos dada por (E) := lm n (E),
n

E B0 (X )

en el Teorema de Dieudonne, dene una medida de Borel nita sobre (X , B0 (X )).

2.2.7.

El Teorema de Acotacin Uniforme de Nikodm

Teorema 2.2.44 (Teorema de Acotacin Uniforme de Nikodm). Sea (, ) un espacio medible y suponga que M es una coleccin arbitraria de medidas en ca(, ) que es puntualmente acotada, es decir, para cada E , existe una constante positiva KE tal que
M

ww w.

Uno de los resultados ms importantes en la Teora de la Medida conocido con el nombre de Teorema de Acotacin Uniforme de Nikodm establece que cualquier subfamilia de ca(, ) puntualmente acotada es uniformemente acotada. Este resultado fue demostrado por O. Nikodym en 1933 y constituye un notable mejoramiento del Principio de Acotacin Uniforme en el espacio de todas las medidas (numerablemente aditivas) a valores reales denidas sobre el espacio medible (, ). S. Saks es el encargado de dar una demostracin del Teorema de Nikodm teniendo como teln de fondo el Teorema de Categora de Baire sobre el espacio mtrico completo ( , d ) obtenido en la seccin anterior.

Entonces M es uniformemente acotada, vale decir, existe una constante positiva K tal que sup
M

M at

sup |(E)| KE ,

em

at

donde

= sup |(E)|.
E

La prueba del Teorema de Acotacin Uniforme de Nikodm descansa sobre el Teorema de Categora de Baire y el siguiente: Lema 2.2.18 (Saks). Sea (, , ) un espacio de medida nita. Si > 0, entonces existe una coleccin nita de conjuntos disjuntos en , digamos {E1 , . . . , En }, tales que = n En y, para cada i {1, . . . , n} o bien i=1 Ei es un tomo o, en caso contrario, (Ei ) > .

ic a1

K,

.c o

Prueba. Sea > 0. Como () < +, slo puede existir a lo ms una familia nita, digamos {E1 , . . . , Ek }, de tomos disjuntos con (Ei ) > para i = 1, . . . , k. Considere ahora el conjunto Y = \
k

Ei .
i=1

Entonces Y no contiene ningn tomo que tenga medida mayor que . Nuestra tarea inmediata es demostrar la siguiente Armacin. Cualquier conjunto medible E Y con (E) > 0, contiene un conjunto medible B tal que 0 < (B) .

Prueba de la Armacin. Suponga que la conclusin es falsa. Esto quiere decir que: existe un conjunto medible E0 Y con (E0 ) > 0 con la siguiente propiedad: cualquier subconjunto medible B E0 satisface que (B) > . En particular, (E0 ) > y, por consiguiente, E0 no es un tomo. Esto ltimo signica que existe un conjunto medible B1 E0 tal que 0 < (B1 ) < (E0 ). Miremos ahora el conjunto E0 \ B1 . Siendo E0 \ B1 un subconjunto medible de E0 , entonces, por nuestra suposicin, (E0 \ B1 ) > y, de nuevo, un tal conjunto no puede ser un tomo. Como antes, podemos encontrar un conjunto medible B2 (E0 \ B1 ) con 0 < (B2 ) < (E0 \ B1 ). Continuando inductivamente con este procedimiento, se obtiene una sucesin (Bn ) de conjuntos medibles y disjuntos dos a dos, cada uno de los cuales posee medida estrictamente n=1 positiva. Puesto que
n=1 n=1

entonces lmn (Bn ) = 0, por lo que podemos determinar un N N tal que (Bn ) < para todo n N. Esto, por supuesto, est en contradiccin con nuestra suposicin pues hemos hallado un conjunto medible BN E0 que no cumple con (BN ) > . Nuestra armacin queda, en consecuencia, establecida. Continuemos con la prueba de nuestro lema. Para cada E , considere la siguiente subcoleccin B(E, ) := {F : F E, (F) }. Observe que si E Y con (E) > 0, entonces, haciendo uso de nuestra armacin anterior, E contiene un conjunto medible F tal que (F) y, en consecuencia, B(E, ) = . De esto se sigue que para cualquier conjunto medible E Y con (E) > 0, el nmero (E) = sup (F) : F B(E, ) , est bien denido y satisface 0 < (E) . Ahora bien, teniendo en cuenta que Y , de la denicin de (Y ) se sigue que podemos hallar un conjunto medible F1 Y tal que 1 (Y ) (F1 ) . 2 En general, usando induccin, podemos determinar una sucesin (Fn ) de subconjuntos medibles de Y , n=1 disjuntos dos a dos, satisfaciendo las desigualdades:
n 1 Y \ Fi 2 i=1

ww w.

M at

(Fn+1 ) ,

em

at

ic a1

(Bn ) =

Bn

() < +,
.c o

n = 1, 2, . . . .

Si ahora hacemos F0 := Y \ dades anteriores que

i=1 Fi ,

resulta que F0 es un subconjunto medible de Y y se sigue de las desigualn

(F0 ) Y \

Fi
i=1

2(Fn+1 ),

n = 1, 2, . . . .

(1)

Sin embargo, como (Fi ) (Y ) < +, entonces lmn (Fn ) = 0 por lo que las desigualdades en (1) i=1 garantizan que (F0 ) = 0 y, por consiguiente, (F0 ) = 0. Finalmente, si m es el entero positivo ms pequeo para el cual i=m+1 (Fi ) < , entonces los conjuntos

E1 , . . . , Ek , F1 , . . . , Fm ,
i=m+1

Fi F0

forman la deseada particin. Prueba del Teorema de Acotacin Uniforme de Nikodm. Suponga que la conclusin es falsa. Esto signica que para cada n N, existe una medida n M y existe un conjunto Gn tal que |n (Gn )| > n. Considere ahora la funcin de conjuntos : [0, +) denida por (E) =
n=1

(1)

2n |n |() ,
.c o

1 |n |(E)

E .

Claramente es una medida de probabilidad, de modo que podemos considerar el espacio mtrico completo ( , d ) obtenido en el Teorema 2.2.42. Puesto que n para todo n N, un nuevo llamado al Teorema 2.2.42 nos revela que n es uniformemente continua sobre ( , d ), por lo que el conjunto

n=1

es cerrado en ( , d ) para cada m N. Cundo es que entra en escena el Teorema de Categora de Baire? Pues ahora. Observe que como = Hm , entonces el Teorema de Categora de Baire nos garantiza que, m=1 para algn m0 , el conjunto int(Hm0 ) es no vaco. Esto quiere decir que existe un conjunto B0 as como tambin un nmero > 0 tal que la bola abierta U (B0 , ) est contenida en int(Hm0 ), lo cual es equivalente a armar que: si E y (E B0 ) < , entonces |n (E) m0 n N. (2)
ww w.

Sea A . Armamos que: si A es un tomo de , entonces A es un tomo de |n | para todo n N. En efecto, suponga que para algn n N, A no es un tomo de |n |. Esto signica que existe algn conjunto medible F A tal que 0 < |n |(F) < |n |(A), de donde se deduce que 0 < (F) < (A) lo que contradice el hecho de que A es un tomo de . Por otro lado, si A es un tomo de |n | y si F A, F , con n (F) = 0, entonces debemos tener que |n |(A \ F) = 0, de donde se sigue que n (F) = n (A), esto es, A es un tomo de n . Podemos concluir, por lo que acabamos de probar, que si A es un tomo de , entonces A es un tomo de n para todo n N. Para el > 0 hallado, consideremos una particin medible nita de , digamos {E1 , . . . , Em }, obtenida segn el Lema 2.2.18. Si {E1 , . . . , E p } son los tomos de la familia {E1 , . . . , Em } para los cuales se cumple que (Ei ) , entonces por nuestra observacin anterior tenemos que cada Ek es un tomo para n , con k = 1, . . . , p. Tomemos ahora cualquier E y sea Fk = E Ek para k = 1, . . . , m. Fijemos un k tal que 1 k p. Como Fk Ek y ya que n es una medida real, entonces no podemos, en general, concluir que n (Fk ) n (Ek ); sin embargo, como Ek es un tomo para n resulta que n (Fk ) = 0 o n (Fk ) = n (Ek ), de donde tenemos, en cualquier caso, que |n (Fk )| |n (Ek )| = KEk , (3)

M at

em

at

Hm =

E : n (E) m

ic a1

para cualquier k = 1, . . . , p y todo n N. Ntese tambin que (Ek ) < , k = p + 1, . . . , m. (4)

Escribiendo cada Fk , para cada k = p + 1, . . . , m, en la forma Fk = B0 Fk \ B0 \ Fk , vemos que B0 Fk B0 = Fk \ B0 de donde se sigue, usando (4), que m x a B0 Fk B0 , B0 \ Fk B0 (Fk ) (Ek ) < , k = p + 1, . . . , m. y B0 \ Fk B0 = B0 Fk ,

Usando (2) vemos que |n (B0 Fk )| m0 , as como tambin |n (B0 \ Fk )| m0 para todo n N. De esto ltimo se concluye que, |n (Fk )| = n (B0 Fk ) n (B0 \ Fk ) 2m0 , k = p + 1, . . . , m, (5)

ic a1
Fk =

para todo n N. Observe que como E = (E Ek ) =

.c o
p

ww w.

|n (E)| =

M at

entonces, por (3) y (5), se tiene que para todo n N,

em

k=1

at

k=1

k=1

Fk

Fk ,
k=p+1

k=1 p k=1

|n (Fk )| + KE
k

k=1 p

n (Fk )
k=p+1

|n (Fk )|

+ 2m0 (m p) := R.

El lado derecho de sta ltima desigualdad es claramente independiente de n, de modo que si tomamos cualquier n > R y si reemplazamos a E por el correspondiente Gn en la desigualdad anterior se obtiene una contradiccin pues, por (1) y la ltima desigualdad, n < n (Gn ) R < n. Esto termina la prueba.

2.2.8.

Abundantes medidas de control: Rybakov-Walsh

Como antes representa un conjunto no vaco y una -lgebra de . Fijemos ahora un espacio de Banach (X , ) que, por conveniencia, siempre lo supondremos sobre el cuerpo R. Todos los resultados de esta seccin que no son demostrados se pueden consultar en la monografa de J. Diestel y J. J. Uhl Jr. [130]. Una funcin de conjuntos m : X se llama una medida vectorial si m(E1 E2 ) = m(E1 ) + m(E2 ),

cualesquiera sean E1 , E2 disjuntos. Una medida vectorial m se dice que es numerablemente aditiva si, para cualquier coleccin numerable y disjunta (En ) de , se cumple que: n=1

m
n=1

En

n=1

m(En).

La convergencia de sta serie es en la topologa de la norma. Ntese que si es cualquier permutacin de N, entonces En = E(n) , por lo que la convergencia de la serie es incondicional. n=1 n=1 Si m es una medida vectorial, entonces la variacin de es la funcin de conjuntos |m| : [0, +] denida por |m|(E) = sup
i=1

m(Ei )

donde el supremo se elige sobre todas las particiones medibles nitas {E1 , . . . , En } de E. Si |m|() < +, entonces diremos que m es de variacin acotada. Observe que |m| es nitamente aditiva y montona. La semivariacin de m es la funcin de conjuntos m : [0, +] dada por m (E) = sup |x m|(E) : x X , x 1 donde |x m| es la variacin total de la medida real x m. Si m () < + entonces se dice que m es de semivariacin acotada. Gracias al Teorema de Hahn-Banach para espacios normados sabemos que x = sup{|x (x)| : x X , x 1} para todo x X , de donde se obtiene que para todo E . Es fcil establecer que si m es una medida vectorial de variacin acotada, entonces m es numerablemente aditiva si, y slo si, su variacin |m| tambin es numerablemente aditiva. Sea m : X una medida vectorial numerablemente aditiva y sea una medida (no-negativa) nita sobre (, ). Diremos que m es absolutamente continua con respecto a , en smbolos, m , si m(E) = 0 siempre que (E) = 0 con E . Esto es equivalente a armar que, para cada > 0, existe un > 0 tal que, si E satisface (E) < , entonces m(E) < . Cuando esto ocurre tambin se dice que m es -continua. Un resultado de Bartle-Dunford-Schwartz establece que (vase, por ejemplo, [130], p. 14): Teorema 2.2.45 (Teorema de Bartle-Dunford-Schwartz). Sean (X , ) un espacio de Banach, (, ) un espacio medible y m : X una medida vectorial numerablemente aditiva. Entonces, existe una medida no-negativa : R tal que m . La medida obtenida en el Teorema de Bartle-Dunford-Schwartz se le acostumbra llamar una medida de control. Lo que el Teorema de Bartle-Dunford-Schwartz no muestra es que la medida de control se puede elegir de la forma |x m| para algn x X . Este es el Teorema de Rybakov ([130], Theorem 2, p. 268). Posteriormente, B. J. Walsh ([130], Corollary 3, p. 269) demuestra que existen abundantes funcionales en X satisfaciendo la conclusin del resultado de Rybakov. El objetivo de esta seccin es presentar las demostraciones de los resultados de Rybakov y Walsh. Comencemos con los preparativos. En primer lugar vamos a requerir del siguiente resultado: Teorema 2.2.46 (Teorema de Bartle-Dunford-Schwartz). Sean (X , ) un espacio de Banach, (, ) un espacio medible y m : X una medida vectorial numerablemente aditiva. Entonces, el rango de m, m() = m(E) X : E , es un subconjunto relativamente dbilmente compacto de X .
ww w.

m (E) |m|(E)

M at

em

at

ic a1

.c o

Prueba. Sea x X . Puesto que x m es una medida real, el Teorema de Descomposicin de Hahn nos garantiza la existencia de un par de conjuntos en , digamos P y N, tales que P es positivo, N es negativo, P N = y = P N. Claramente x m es no-negativa sobre P y x m es no-negativa sobre N. Ahora bien, como x es dbilmente continuo se tiene que sup x (x) : x m()

= sup x (x) : x m()

= sup x m(E P) + x m(E N) : E = x m(P) . Lo que hemos demostrado es que cada x X alcanza su supremo sobre el conjunto acotado y dbilmente cerrado m() . Se sigue del Teorema sup de James, Teorema 2.2.2, pgina 210, que dicho conjunto es dbilmente compacto. Sea K un subconjunto cerrado y acotado de X . Recordemos que x K es un punto expuesto de K, si existe x X tal que Kx = {x}, donde Kx = z K : x (z) = sup x (y) .
yK

= sup x m(E) : E

ww w.

Teorema 2.2.47 (Anantharaman). Sean (X , ) un espacio de Banach, (, ) un espacio medible y suponga que m : X es una medida vectorial numerablemente aditiva. Si un funcional lineal x X expone a m() en algn punto m(E) m(), entonces

Prueba. Suponga que m |x m|. Esto signica que existe al menos un conjunto A tal que |x m|(A) = 0 pero m(A) = 0.

Sea (P, N) una descomposicin de Hahn para x m. Como 0 = m(A) = m(A P) + m(A N), debemos tener entonces que m(A P) = 0, o bien, m(A N) = 0. Suponga que m(A P) = 0. Puesto que |x m|(A P) = 0, resulta que x m(P \ (A P)) = x m(P) = sup x m(). Usando ahora el hecho de que x expone a m() en m(E), se tiene que m(P \ (A P)) = m(P). Por otro lado, teniendo en cuenta que m(A P) = 0, vemos que m(P \ (A P)) = m(P) m(A P) = m(P), lo que conlleva a una contradiccin. Si ahora se supone que m(A N) no es cero, entonces reemplazando a A P por A \ P en el razonamiento anterior, se obtiene de nuevo una contradiccin. Por esto, m |x m|.

M at

em

m |x m|.

at

ic a1

Si m : X una medida vectorial numerablemente aditiva, donde X es un espacio de Banach, entonces sabemos que cualquier punto extremal de co m() es un punto extremal de m() (vase, [130], Theorem 1, p. 269).
.c o

Teorema 2.2.48 (Rybakov). Sean (X , ) un espacio de Banach, (, ) un espacio medible y m : X una medida vectorial numerablemente aditiva. Entonces existe x X tal que

m |x m|.

Prueba. Sea K0 = m() . Por el Teorema de Bartle-Dunford-Schwartz, K0 es dbilmente compacto y, as, por el Teorema de Krein-mulian, Teorema 2.2.2, pgina 210, co (K0 ) tambin es dbilmente compacto. En particular, K := co m() co (K0 ) es convexo y dbilmente compacto en X . El Teorema de Lindenstrauss-Troyanski, Teorema 2.2.31, nos garantiza que K = co (s-exp(K)) y, por consiguiente, s-exp (K) = . Ahora bien, como s-exp (K) exp (K), resulta que exp (K) es no vaco y K = co (exp(K)). Sea x exp (K) y sea x X un funcional lineal que expone a x. Observe que las igualdades sup x (K) = sup x co m() = sup x (K0 ) = sup x m(), nos muestran que cualquier punto expuesto de K es un punto expuesto de K0 y que los puntos expuestos de K0 son puntos expuesto de m(). Por esto, y teniendo en cuenta que cualquier punto extremal de K pertenece a m(), se concluye que el punto expuesto x, por ser un punto extremal de K, pertenece a m(), es decir, x = m(E) para algn E . Un llamado al Teorema de Anantharaman no revela que m |x m| con lo cual termina la prueba. Teorema 2.2.49 (Walsh). Sean (X , ) un espacio de Banach, (, ) un espacio medible y m : X una medida vectorial numerablemente aditiva. Entonces el conjunto Gm =
ww w.

es residual en X .

Prueba. Sea K0 = m() . Como en la prueba del Teorema de Rybakov, tenemos que el conjunto K := co m() es convexo y dbilmente compacto. Por el resultado de Lau, Teorema 2.2.32, pgina 272, el conjunto SE(X , K) es un G -denso en X , en particular, E(X , K) es residual en X . La prueba naliza teniendo en cuenta que E(X , K) Gm gracias al resultado de Anantharaman. Comentario Adicional 2.2.14 Fijemos un conjunto no vaco , una -lgebra de subconjuntos de y (X , ) un espacio de Banach sobre R. Una medida vectorial m : X se dice que es no-atmica si para cualquier E con m(E) = 0, existe un subconjunto medible A E tal que m(A) = 0 y m(E \ A) = 0. Consideremos ahora el conjunto M de todas las medidas vectoriales m : X que satisfacen: (a) m es no-atmica y numerablemente aditiva, y (b) el rango de m, m(), es relativamente norma-compacto. Si dotamos a M con la norma m
sv

M at

em

x X : m |x m|

at

:= sup
sv )

m(E) : E ,

ic a1

.c o

m M,

entonces se puede demostrar que (M, Mv :=

es un espacio de Banach. Similarmente, si denimos

m M : |m|() < + ,

El conjunto de todas las medidas no-negativas, nitas y no-atmicas denidas sobre (, ) ser denotado por ca(). Para cada ca(), considere los conjuntos Mac () = y MRN () = m Mv : f L1 (, X ) tal que m(E) =
E

entonces (Mv , v ) tambin resulta ser un espacio de Banach, donde m dida m Mv .

= |m|() para cada me-

mM: m ,

Mv () = Mv Mac (), f d para cada E .

Se puede demostrar que los subespacios lineales Mac () y Mv () son cerrados, respectivamente, en los espacios de Banach (M, sv ) y (Mv , v ) y, en consecuencia, ellos tambin son espacios de Banach. Similarmente, MRN () es un subespacio lineal cerrado de (Mv , v ). En [10], R. Anantharaman y K. M. Garg demuestran, entre otras cosas, los siguientes resultados: Teorema 2.2.50 (Anantharaman-Garg). Sea ca(). En cada uno de los espacios de Banach Mac (), Mv () y MRN () las medidas vectoriales m M que son equivalentes a forman un conjunto G -denso. Una medida m M se dice que nunca es de variacin nita si para cualquier E , ocurre que |m|(E) = 0 o bien |m|(E) = +. Teorema 2.2.51 (Anantharaman-Garg). Sea la medida de Lebesgue sobre la -lgebra de los borelianos B0 de [0, 1]. Si el espacio de Banach X es de dimensin innita, entonces las medidas vectoriales en M que nunca son de variacin nita forman un conjunto G -denso en Mac ().
.c o m

2.2.9.

Fragmentabilidad y espacios de Asplund

Fragmentabilidad es una nocin modelada sobre una generalizacin del concepto de dentabilidad. Ella hace su debut por primera vez en un artculo de J. E. Jayne y C. A. Rogers [239] donde los autores investigan la existencia de selecciones adecuadas para las aplicaciones multivaluadas semicontinuas superiormente a valores compactos (USCO). Su importancia, a partir de ese momento, no ha dejado de crecer. Por ejemplo, fragmentabilidad ha resultado ser una herramienta muy conveniente en el estudio de ciertas propiedades geomtricas de los espacios de Banach, en la diferenciabilidad genrica de funciones convexas, en la propiedad de Radon-Nikodm, en estabilidad genrica y la unicidad en el anlisis no lineal relacionados con problemas de optimizacin, en programacin matemtica, en aplicaciones dinmicas, etc. Los artculos [232, 233, 234, 235, 236, 328, 372, 373] y las referencias all citadas forman parte de la bibliografa sobre el tema. Denicin 2.2.11. Sea d una mtrica sobre un espacio topolgico de Hausdorff (X , ). El espacio (X , ) se dice fragmentado por la mtrica d o d-fragmentado si, para cada > 0 y cada subconjunto no vaco D de X , existe un subconjunto -abierto no vaco U de X tal que U D = y d diam(U D) < ,

es decir, cada subconjunto no vaco de X contiene subconjuntos no vacos relativamente -abiertos de ddimetro arbitrariamente pequeo. El espacio (X , ) se dice fragmentable si existe una mtrica sobre dicho espacio que lo fragmenta.

ww w.

M at

em

at

ic a1

En general, en la nocin de fragmentabilidad, la topologa original de X y la topologa d , generada por d, pueden no estar directamente relacionadas. Observe que si U es un abierto de X y A X , entonces el Lema 1.4.1 nos dice que: U A = si, y slo si, U A = . De esto se deduce la siguiente armacin: para que (X , ) sea d-fragmentado es necesario y suciente que cada subconjunto no vaco y -cerrado de X contenga subconjuntos no vacos relativamente -abiertos de d-dimetro arbitrariamente pequeo. Por supuesto, cada espacio mtrico es fragmentado por su propia mtrica. Sin embargo, la clase de los espacios fragmentables es mucho ms amplia que la clase de los espacios metrizables. Notemos, en particular, que si (X , ) es un espacio de Banach norma-separable, entonces cada subconjunto norma-acotado y -cerrado de X (es decir, -compacto), es metrizable y, en consecuencia, fragmentado por esa mtrica. Denicin 2.2.12. Sea (X , ) un espacio de Banach. Si K es un subconjunto no vaco de X , diremos que (K, ) es norma-fragmentado si dicho conjunto es fragmentado por la mtrica inducida por la norma del espacio dual X . El resultado que sigue, aunque elemental, es fundamental en el estudio de la nocin de fragmentabilidad. Se trata de una caracterizacin de fragmentabilidad para espacios hereditariamente de Baire que resulta ser muy interesante y de una utilidad practica incuestionable. Teorema 2.2.52. Sean (X , ) un espacio hereditariamente de Baire y d una mtrica sobre X . Son equivalentes: (2) Para cada conjunto no vaco y -cerrado K de X , la identidad Id : (K, ) (K, d) posee al menos un punto de continuidad.

Prueba. Claramente (3) (2) (1). Para demostrar que (1) (3) es suciente considerar la aplicacin identidad Id : (X , ) (X , d). Sea > 0 y denamos G = U X : U es -abierto y d diam(U ) < .

Obviamente G es -abierto. Veamos que l es -denso en X . En efecto, sea V un subconjunto -abierto no vaco de X . Como (X , ) es d-fragmentado, existe un subconjunto -abierto no vaco W de X tal que V W = y d diam(V W ) < . Esto nos dice que V W G y como V W V , resulta que = V W V G . Por esto, G es -denso en X . Finalmente, siendo (X , ) un espacio de Baire, podemos concluir que G1/n es un G -denso en (X , ) y, por supuesto, dicho conjunto constituye el conjunto de n=1 los puntos de continuidad de Id. Se sigue del Teorema 2.2.52 que, si X es un espacio hereditariamente de Baire el cual es fragmentado por una mtrica d, entonces X es tambin fragmentado por cualquier mtrica cuya topologa sea idntica a la generada por la mtrica d. Notemos que si (X , ) es un espacio de Banach, entonces (BX , ) es un espacio compacto y, en consecuencia, un espacio hereditariamente de Baire. As, en particular, tenemos que Corolario 2.2.19. Sea (X , ) un espacio de Banach. La siguientes condiciones son equivalentes:

(1) (BX , ) es norma-fragmentado.

ww w.

M at

(3) Para cada conjunto no vaco y -cerrado K de X , el conjunto de los puntos de continuidad de la identidad Id : (K, ) (K, d) es un G -denso de (K, ).

em

at

ic a1

(1) X es fragmentado por d.

.c o

(2) Para cada conjunto no vaco y -compacto K de X , el conjunto de los puntos de continuidad de la identidad Id : (K, ) (K, ) es un G -denso de (K, ). Observemos que, por el corolario anterior, si (BX , ) es norma-fragmentado, entonces la identidad Id : (BX , ) (BX , ) es continua sobre un subconjunto G -denso G de (BX , ); esto signica que Id|G : (G, ) (G, ) es un homeomorsmo, pues la topologa de la norma es ms fuerte que la topologa y, por consiguiente, G es metrizable. Por esto, Corolario 2.2.20. Sea (X , ) un espacio de Banach. Si (BX , ) es norma-fragmentado, entonces la topologa de la norma y la topologa , restringidas ambas sobre BX , coinciden sobre un subconjunto G -denso de (BX , ). En particular, (BX , ) contiene un subconjunto G -denso metrizable. Sea (X , ) un espacio de Banach de dimensin innita y X su dual. Como se sabe, la aplicacin identidad Id : (X , ) (X , ) no tiene porque poseer puntos de continuidad; sin embargo, si X es norma-separable, se obtiene el siguiente resultado. Teorema 2.2.53. Sea (X , ) un espacio de Banach separable de dimensin innita cuyo dual X tambin es separable. Entonces, para cada subconjunto -compacto K de X , existe un subconjunto G -denso G de K tal que la aplicacin identidad IdK : (K, ) (K, ) es continua en todo punto de G.

G =

W K : W es -abierto en X y

ic a1

.c o

Prueba. Para cada > 0, considere el conjunto

diam(W K) .

K =

ww w.

M at

Claramente, cada G es -abierto en K y, por supuesto, G = G1/n constituye exactamente los puntos n=1 donde IdK es continua. Veamos ahora que cada G es -denso en K. En efecto, como X es separable, existe una sucesin (x ) en X tal que n n=1

em

n=1

K x + BX n 2

at

Puesto que cada uno de los conjuntos K (x + (/2) 2 BX ) es -cerrado en K, el Teorema de Categora de n -denso en K, donde W es el -interior de K (x + (/2) B ) para cada Baire nos asegura n=1 Wn es n n 2 X n N. Teniendo en cuenta que diam(Wn ) para cada n, resulta que Wn G y termina la prueba de que cada G es -denso en K. Una nueva aplicacin del Teorema de Categora de Baire nos revela que G = G1/n es un G que es -denso en K. n=1

Una nocin estrechamente relacionada a la nocin de fragmentabilidad pero particularizada para los espacios de Banach es la siguiente. Denicin 2.2.13. Un espacio de Banach (X , ) se dice que tiene la Propiedad de Punto de Continuidad (PPC) si para cada subconjunto acotado y dbilmente cerrado K de X , la identidad IdK : (K, ) (K, ) posee al menos un punto de continuidad. Similarmente, diremos que (X , ) posee la -Propiedad de Punto de Continuidad ( -PPC) si para cada subconjunto -compacto K de X , la aplicacin identidad IdK : (K, ) (K, ) posee al menos un punto de continuidad. El Teorema 2.2.53 nos muestra que si X es un espacio de Banach con dual separable, entonces X posee la -Propiedad de Punto de Continuidad. Un resultado anlogo al Teorema 2.2.52, pero ahora trabajando con la topologa dbil del espacio de Banach en cuestin, es el siguiente:

Teorema 2.2.54. Sea (X , ) un espacio de Banach. Las siguientes condiciones son equivalentes: (1) (BX , ) es norma-fragmentado. (2) X tiene la propiedad de punto de continuidad. (3) Para cada subconjunto acotado y -cerrado K de X , el conjunto de los puntos de continuidad de la identidad Id : (K, ) (K, ) es un G -denso en (K, ). Ms aun, si una cualquiera de las tres condiciones equivalentes arriba mencionadas se cumple, entonces (BX , ) es hereditariamente de Baire. Prueba. Claramente (3) (2) (1). Para cerrar el ciclo de estas implicaciones slo bastar demostrar que (1) (3). Suponga entonces que (BX , ) es norma-fragmentado y probemos que el conjunto de puntos de continuidad de Id : (K, ) (K, ) es un G -denso en (K, ), donde K es cualquier subconjunto acotado y -cerrado de X . Comencemos por tomar cualquier subconjunto relativamente -abierto no vaco U1 de K. Escojamos, haciendo uso de la norma-fragmentabilidad de (BX , ), un subconjunto -abierto V1 de X tal que V1 BX = y diam(V1 BX ) < 1. Usemos ahora la cuasi-regularidad de la topologa dbil para hallar un subconjunto relativamente -abierto U2 U1 V1 de K tal que U 2 U1 . Aplicando induccin podemos construir una sucesin decreciente (Un ) de subconjuntos relativamente -abiertos de K tales que n=1 U n+1 Un
m

ic a1

.c o

1 diam(Vn ) < , n

n = 1, 2, . . .

Del Teorema de Encaje de Cantor resulta que Un = U n = {x}, para algn x U1 . Es claro que n=1 n=1 x es un punto de continuidad de la identidad Id : (K, ) (K, ). Si denotamos por G el conjunto de los puntos de continuidad de la identidad Id : (K, ) (K, ), lo acabado de probar nos dice U G = para cualquier conjunto relativamente -abierto no vaco U de K, lo cual quiere decir que G es -denso en K. Se ve, como antes, que G es un G -denso en (K, ). Con esto hemos demostrado que (1) (3). Falta por ver que si, por ejemplo, (3) se cumple, entonces (BX , ) es hereditariamente de Baire. Sea entonces K un subconjunto -cerrado de BX y, como antes, denotemos por G el conjunto de los puntos de continuidad de la identidad Id : (K, ) (K, ). Observe que (G, ) es un G en (K, ), ya que conjuntos -abiertos son -abiertos y, como tal, por el Teorema de Alexandroff-Hausdorff, pgina 64, completamente metrizable, y por lo tanto, un espacio de Baire. Como (G, ) y (G, ) son homeomorfos, resulta que (G, ) tambin es un espacio de Baire que, adems, es denso en (K, ). Se sigue ahora del Teorema 1.8.3, pgina 48, que (K, ) es un espacio de Baire, con lo cual termina la prueba. Para ver cmo se vincula la nocin de fragmentabilidad con los espacios de Asplund vamos a requerir de los siguientes dos resultados auxiliares. Lema 2.2.19. Sean (X , ) un espacio de Banach y K un subconjunto -compacto de X . Si K no es norma-fragmentado, entonces existen un > 0, una sucesin (Vn ) de subconjuntos no vacos relativan=1 mente -abiertos de K y una sucesin de vectores (xn ) en SX tal que n=1 V2n V2n+1 Vn y con siempre que f V2n y g V2n+1 . En particular, f (xn ) g(xn ) siempre que f V y g V . 2n 2n+1

ww w.

M at

em

at

para todo n N,

f (xn ) g(xn )

Prueba. Supongamos que (K, ) no es norma-fragmentado. Entonces existen un subconjunto no vaco y acotado B de K y un > 0 tal que X diam (V ) > para cualquier subconjunto no vaco relativamente abierto V de K. Sea V un subconjunto arbitrario, no vaco y relativamente -abierto de K tal que V B = . Entonces X diam (V B) > y, en consecuencia, existen f , g V B tal que f g > . Escojamos x SX tal que ( f g)(x) = + para algn > 0. Si ahora denimos V0 = h V : h(x) > f (x) /2 y V1 = h V : h(x) < g(x) + /2 .

resulta que esos conjuntos son no vacos, relativamente -abiertos de K, V0 V1 V y se cumple que (h0 h1 )(x) > siempre que h0 V0 y h1 V1 ya que f V0 B y g V1 B, de modo que la construccin anterior se puede llevar a cabo indenidamente, para as obtener las sucesiones deseadas. El siguiente resultado nos ser de gran utilidad cuando tengamos que trabajar con un espacio de Banach X para el cual su dual X sea fragmentado por alguna mtrica. Teorema 2.2.55 (Jayne-Namioka-Rogers). Sean (X , X ) y (Y, Y ) espacios topolgicos de Hausdorff, y suponga que X es un espacio de Baire y que Y es fragmentado por una mtrica d. Sea F : X 2(Y,Y ) una aplicacin USCO minimal. Entonces existe un subconjunto G -denso G de X tal que, para cualquier x G, el conjunto F(x) consta de un nico punto y F : X (Y, d) es superiormente semicontinua en cada x G.

Gn =

Claramente, los Gn son subconjuntos abiertos de X . Veamos que ellos son tambin densos en X . En efecto, sea V un subconjunto abierto no vaco de X . Por la fragmentabilidad de Y , existe un conjunto abierto G Y tal que F(V ) G = y d diam F(V ) G < 1/n. Ahora, puesto que F es USCO minimal existe, por el Teorema 2.2.14, un subconjunto abierto no vaco W de V tal que F(W ) G. Por esto, F(W ) F(V ) G y, en consecuencia, W Gn . As, V Gn = quedando establecido que cada Gn es denso en X . Si ahora denimos G = Gn , vemos que G es un G -denso en X gracias al Teorema de Categora de Baire. Es claro n=1 que para cualquier x G, el conjunto F(x) consiste de un nico punto y que F : X 2(Y,d) es superiormente semicontinua en cada x G. Comentario Adicional 2.2.15 Recordemos que una mtrica sobre Y se llama inferiormente semicontinua si, para cada r 0, el conjunto (x, y) Y Y : (x, y) r es cerrado en la topologa producto de Y Y . Observe que la mtrica-norma d(x, y) = x y sobre un espacio de Banach con su topologa dbil es siempre inferiormente semicontinua, similarmente lo es la mtrica-norma sobre el dual de un espacio de Banach con su -topologa. En el resultado anterior de Jayne, Namioka y Rogers podemos modicar la hiptesis sobre el espacio Y o la funcin multivaluada F para obtener la misma conclusin. En efecto, si d es una mtrica inferiormente semicontinua sobre Y y si (a) Y es -fragmentado por una mtrica d, o (b) F es fragmentada por d, (vase la Denicin 2.2.14, pgina 309)
ww w.

M at

em

at

U X : U es un abierto no vaco tal que d diam (F(U )) < 1/n ,

ic a1

.c o

Prueba. Para cada n = 1, 2, . . . denamos los conjuntos

entonces existe un subconjunto G -denso G de X tal que F es a un slo valor y superiormente semicontinua en cualquier punto de G cuando a Y se le dota de la topologa generada por d. La condicin (a) se debe a Jayne, Namioka y Rogers ([234], Theorem 3.1), mientras que (b) es un re sultado de Coban, Kenderov y Revalski ([101], Theorem 5.1). Vase tambin el artculo de KenderovMoors [260]. Estamos ahora en condiciones de demostrar el siguiente resultado, fundamentalmente obtenido por Namioka-Phelps [332] y Stegall. Teorema 2.2.56 (Namioka-Phelps-Stegall). Sea (X , ) un espacio de Banach. Son equivalentes: (a) X es un espacio de Asplund. (b) Cada subconjunto -compacto de X con la -topologa es norma-fragmentado. (c) (BX , ) es norma-fragmentado. (d) El conjunto de los puntos de continuidad de la identidad Id : (K, ) (K, ) es un G -denso en (K, ) para cada conjunto -compacto K X . (e) X tiene la PRN. Prueba. (a) (b). Supongamos que X es un espacio de Asplund pero que existe un conjunto K X , -compacto, que no es norma-fragmentado. Por el Lema 2.2.19, existen un > 0, una sucesin (Vn ) de n=1 subconjuntos no vacos relativamente -abiertos de K y una sucesin de vectores (xn ) en SX tales que n=1

em

y adems, f (xn ) g(xn )

at

V2n V2n+1 Vn

ic a1

para todo n N, f V 2n y g V 2n+1 .

Sea Y = [(xn )], la clausura (en la norma) del subespacio lineal generado por (xn ) . Claramente Y es n=1 norma separable. Denotemos por la coleccin de todas las sucesiones = (n ) de nmeros naturales n=1 tal que n+1 2n {0, 1} para cada n. La -compacidad de los V n nos garantiza la existencia de algn
ww w.

M at

siempre que

f Si = (n ) n=1 y = (n ) n=1

V n .
n=1

son elementos distintos de y si = {n N : n = n }, entonces seleccionado los xn SX correspondientes a los n , se tiene que f |Y f |Y | f (xn ) f (xn )| . Como el conjunto es no numerable, se concluye que Y no es norma-separable. El Teorema 2.2.19 nos dice que X no es de Asplund. Esta contradiccin establece que (K, ) es norma-fragmentado. (c) (a). Supongamos que (BX , ) es norma-fragmentado y sea f : X R una funcin convexa continua. Es suciente demostrar que la subdiferencial f de f es norma-norma superiormente semicontinua y a un slo valor en los puntos de un subconjunto residual de X . Tomemos una aplicacin norma - USCO minimal F : X 2X tal que F(y) f (y) para todo y X . Consideremos los conjuntos Hn = x X : F(x) nBX = para cada n N. Por denicin, cada Hn es norma-cerrado y puesto que X = Hn , el Teorema de Categora de Baire (Teorema 1.8.6) nos dice que n=1 int(Hn ) = X ,
n1

(b) (c). Es inmediato.

.c o

Sea n N. Si int(Hn ) = , entonces lo que hacemos es denir Un = . Supongamos que int(Hn ) = . Como F es USCO minimal, el Teorema 2.2.14 (2) nos revela que F(int(Hn )) nBX . Pero como (nBX , ) es norma - fragmentado, el Teorema 2.2.55 nos muestra que F es a un slo-valor y norma - norma superiormente semicontinua en cada punto de un conjunto Un el cual es residual en int(Hn ). Por esto, F es a un slovalor y norma - norma superiormente semicontinua en todos los puntos de O = Un . Sin embargo, por n=1 el Lema 1.8.1, O es residual en X . Se sigue entonces del Teorema 2.2.16, pgina 250, que f es Frchet diferenciable en cada punto de O. Esto prueba que X es un espacio de Asplund. (c) (d). Es el Corolario 2.2.19.

(d) (e). Sea A un subconjunto no vaco y acotado de X . Vamos a demostrar que A es dentable. Sean K = co (A) y > 0. Armamos que: Existe un subconjunto convexo y -compacto D de K tal que K D = y diam(K D) < .

Prueba. En efecto, por el Teorema de Krein-Milman, el conjunto de los puntos extremales de K, ext(K), es no vaco y, adems, K = co (ext(K)). Sea E = ext(K) . La suposicin (d) implica que id : (K, ) (K, ) posee, al menos, un punto de continuidad y, por consiguiente, existe un subconjunto -abierto U de X tal que E U = y diam(E U ) /2. Observemos que U ext(K) = pues E U = . Si ahora denimos

entonces se comprueba sin dicultad que:

at

ic a1 em

.c o

K1 = co (E

U)

K2 = co (E U ),
m

K1 K,

K2 K,

K = co K1 K2

diam(K2 ) /2.

Notemos ahora que A D, es decir, A D = . En efecto, si ocurre que A D entonces, por ser D convexo y -compacto, resulta que K = co (A) D lo cual contradice el hecho de que K D = . Sea f A D K D. Entonces U ( f , ) K D ya que diam(K D) /2. De esto se sigue que K U ( f , ) D y as, co(D U ( f , )) D. En particular, f co(K U ( f , )). Esto prueba que K es dentable y, por consiguiente, A es dentable. (e) (c). Supongamos que X tiene la PRN pero que (BX , ) no es norma-fragmentado. El Lema 2.2.19, nos garantiza la existencia de un > 0, de una sucesin (Vn ) de subconjuntos no vacos relativamente n=1 -abiertos de BX y de una sucesin de vectores (xn ) en X tales que n=1 (1) xn = 1, para todo n = 1, 2, 3, . . .,

(2) V2n V2n+1 Vn , para todo n N y (3) f (xn ) g(xn ) si f V2n y g V2n+1 . En particular, f (xn ) g(xn ) siempre que f V 2n y g V 2n+1 . Veamos que las tres condiciones anteriores producen las dos siguientes: para cada n N, existe un conjunto Kn convexo y -compacto tal que (1) K2n K2n+1 Kn , y

ww w.

El Corolario 2.2.17, nos garantiza la existencia de un subconjunto convexo y -compacto D de K para el cual K D = y diam(K D) < . Esto termina la prueba de nuestra armacin.

M at

(2)

En efecto, para cada n N, sea Kn = co (Vn ). Entonces cada Kn es convexo, -compacto y se cumple, por (2), que K2n K2n+1 Kn . Notemos que si f K2n y g K2n+1 , entonces

f g

para cada f K2n y cada g K2n+1 .

y as, por (3), ( f g)(xn ) > . Esto ltimo, en conjuncin con (1), nos dice que f g X . (1) y (2) permiten construir, para cada n N, un -rbol nito de longitud n. Para hacer esto, es ms conveniente cambiar la notacin y enumerar los Kn , los xn y los fn del modo siguiente:
K0 K1,1 K1,2

f g K2n K2n+1 co (V2n V2n+1 )

K2,1

K2,2 K2,3

K2,22

M at

xn,k = 1, fn,2k1 fn,2k (xn,k ) para toda fn,2k1 Kn,2k1 y toda fn,2k Kn,2k , k = 1, 2, . . . , 2n1 . Ahora bien, escoja fn,1 Kn,1 , . . . , fn,2n Kn,2n de forma arbitraria y dena, sucesivamente, para m = n 1, n 2, . . . , 1, 0 1 fm,k = fm+1,2k1 + fm+1,2k , k = 1, . . . , 2m . 2

em

at

ic a1

.c o

Kn,1

Kn,2

Kn,2n 1

Kn,2n

El resultado es un -rbol T (n) de longitud n, cuyos elementos denotaremos por fm,k , donde m = 0, 1, . . . , n; k = 1, 2, . . . , 2m . Consideremos a continuacin el espacio producto compacto
ww w.

(n)

m=1 k{1,...,2m }

Km,k , .

son iguales a fm,k si m n, y a cm,k si m > n. Por la compacidad de , la sucesin (T (n) ) en posee un n=1 punto de acumulacin, digamos T = ( fm,k )mN, k{1,...,2m } . Es un ejercicio fcil comprobar que
(n)

Fijemos un punto (cm,k )mN, k{1,...,2m } en e identiquemos cada T (n) con el punto de cuyas coordenadas

fm,k = y que

1 fm+1,2k1 + fm+1,2k , 2

m N, k = 1, . . . , 2m .

Por consiguiente fm+1,2k1 + fm+1,2k . Con esto, hemos demostrado que T es un -rbol innito en BX lo cual contradice la PRN. Comentario Adicional 2.2.16 1) Notemos, en particular, como consecuencia del resultado anterior, que si X es un espacio de Banach tal que (BX , ) es norma-fragmentado, entonces X es un espacio dbilmente de Asplund. El recproco es, en general, falso.

fm+1,2k1 + fm+1,2k (x,,k ) .

2) Si la norma del espacio de Banach X es Gteaux suave, entonces (X , ) es fragmentable, ([374], Theorem 1.1). 3) Si la norma del espacio de Banach X es Frchet suave, entonces cada subconjunto norma acotado de (X , ) es norma-fragmentable, ([374], Corollary 2.8). Recordemos que si (Z, ) es un espacio topolgico de Hausdorff (Z, ), un punto x Z es llamado un punto de condensacin de un conjunto A Z si cualquier entorno abierto U de x contiene una cantidad no numerable de puntos de A. Corolario 2.2.21 (Asplund-Namioka). Sea (X , ) un espacio de Banach norma-separable. Las siguientes condiciones son equivalentes: (1) X tiene la PRN. (2) X es norma-separable. Prueba. (1) (2). Supongamos que X tiene la PRN pero que no es norma-separable. En este caso tampoco es norma-separable la bola unitaria cerrada BX y, en consecuencia, existen un > 0 y un conjunto no numerable A de BX tal que para todo f , g A, f = g f g .
m .c o

Por otro lado, como X es norma-separable, resulta que BX es un espacio -compacto metrizable. Usemos ahora el Teorema de Cantor-Bendixson (vase, Corolario 3.1.1, pgina 474) para representar a BX en la forma BX = P N, donde P es el conjunto perfecto de sus -puntos de condensacin y N es el conjunto a lo ms numerable de sus puntos aislados. Puesto que A es no numerable, entonces dicho conjunto slo puede poseer a lo sumo una cantidad numerable de puntos aislados. Por esta razn (eliminando una cantidad a lo ms numerable de puntos de A), podemos suponer (y as lo haremos) que cada punto de A es un -punto de condensacin de A. Ahora bien, como X tiene la PRN, el Teorema 2.2.56 nos garantiza que (A, ) es norma-fragmentado y, en consecuencia, existe un subconjunto -abierto U de X tal que
ww w.

M at
y

em

A U =

Observemos ahora que si f , g A U , con f = g, entonces diam(A U ) f g . Esto nos dice que A U debe contener exactamente un punto, digamos f ; pero como todos los puntos de A son -puntos de condensacin, entonces A U es no numerable. Esta contradiccin establece que BX (y por lo tanto X ) es norma-separable. (2) (1). Supongamos que X es norma-separable y sea K un subconjunto no vaco, -compacto de X . Entonces, para cada > 0, existe una sucesin (x ) en K tal que n n=1

Puesto que cada bola B(x , ) es -cerrada, se sigue del Teorema de Categora de Baire que existe algn n n0 N tal que K B(x0 , ) tiene -interior relativo no vaco, y adems, dicho conjunto tiene dimetro n (en la norma) menor que 2. Esto nos muestra que (K, ) es norma-fragmentado y de nuevo, por el Teorema 2.2.56, X tiene la PRN. La siguiente denicin, la cual aparece por primera vez en [204], ser de utilidad en el prximo resultado.

at
n=1

ic a1

diam(A U ) < .

B(x , ). n

Denicin 2.2.14. Sean (X , ) un espacio topolgico de Hausdorff y (Y, d) un espacio mtrico. Una funcin f : (X , ) (Y, d) se dice que es fragmentada por d si, para cada > 0 y cada subconjunto no vaco A de X , existe un subconjunto abierto V X tal que V A = y d diam( f (V A) < . Un resultado interesante que relaciona fragmentabilidad con la existencia de puntos de Gteaux (Frchet) diferenciabilidad para funciones continuas convexas en ausencia de separabilidad del espacio de Banach, es el siguiente (vase, [371], Theorem 6.1). Teorema 2.2.57 (Revalski). Sea (X , ) un espacio de Banach tal que (X , ) es fragmentado por alguna mtrica d. Si f : (X , ) R es una funcin convexa continua, entonces existe un subconjunto G -denso G de X tal que f es Gteaux diferenciable en cada punto de G. Si la mtrica d es generada por la norma dual de X , entonces f es Frchet diferenciable en cada punto de G. Prueba. Por ser f una funcin continua convexa, su subdiferencial f : (X , ) 2(X , ) es, gracias al Lema 2.2.5, una aplicacin USCO y, por consiguiente, por Teorema 2.2.13 de la pgina 245, existe una apli cacin USCO minimal F : (X , ) 2(X , ) contenida en f . Por el Teorema 2.2.55, existe un subconjunto G -denso G de X en cuyos puntos F es univaluada y norma - d superiormente semicontinua , donde d es la topologa generada por d. Sea una extensin univaluada de F|G a todo X tal que (x) F(x) para cada x X . Lo anterior garantiza que es una seleccin para f y como F es norma- superiormente semicontinua , resulta que es norma- continua en todo punto x G. Se sigue ahora del Teorema 2.2.16 que f es Gteaux diferenciable en cada punto de G. En el caso en que la mtrica d es generada por la norma dual de X , la funcin F resulta ser norma-norma superiormente semicontinua y univaluada en cada x G, lo que implica que es norma-norma continua en cada x G. Un nuevo llamado al Teorema 2.2.16 nos revela que f es Frchet diferenciable en cada punto de G. Notemos que el resultado anterior generaliza los Teoremas de diferenciabilidad de Mazur y de AsplundLindenstrauss y que pueden ser reestablecidos en trminos de la nocin de espacios de Asplund del modo siguiente: (1) Todo espacio de Banach X tal que (X , ) es fragmentado por alguna mtrica d, es un espacio dbilmente de Asplund, y (2) Todo espacio de Banach X tal que (X , ) es fragmentado por la mtrica generada por la norma dual, es un espacio de Asplund. Estos dos ltimos resultados estn incluidos en el Teorema de Namioka-Phelps-Stegall, Teorema 2.2.56, pero no hace dao volver a recordarlos. Denicin 2.2.15. Sean (X , X ) y (Y, Y ) espacios topolgicos de Hausdorff. Una funcin f : X Y se dice que es escasamente continua si, para cada subconjunto cerrado F de X , la restriccin de f a F, f |F , posee al menos un punto de continuidad. La condicin (2) del Teorema 2.2.52 dice que, cuando X es un espacio hereditariamente de Baire que adems es fragmentado por una mtrica d, entonces la aplicacin identidad Id : (X , ) (X , d) es escasamente continua. Ms adelante veremos que toda funcin f : X R de la primera clase de Baire, donde X es un espacio de Baire, es escasamente continua (Teorema 3.1.3, pgina 479); de hecho, si nuestro espacio X es
ww w.

M at

em

at

ic a1

.c o

un espacio mtrico completo separable, entonces vale el recproco. En este caso, el conjunto de puntos donde f es continua constituye un subconjunto G -denso de X y por consiguiente, si (X , d) es un espacio mtrico completo separable, la clase de todas las funciones f : X R que son escasamente continuas, puntualmente discontinuas y exclusivas coinciden. Vase tambin la pgina 474. El siguiente resultado, el cual generaliza el Teorema 2.2.52, establece la relacin existente entre las funciones fragmentables y las escasamente continuas del modo siguiente: Teorema 2.2.58. Sean (X , ) un espacio topolgico de Hausdorff y (Y, d) un espacio mtrico. Toda aplicacin f : X Y escasamente continua es fragmentada por d. Si, adems, X es hereditariamente de Baire, entonces vale el recproco. Prueba. Supongamos que f es escasamente continua y consideremos un subconjunto no vaco A de X . Siendo A un subconjunto cerrado no vaco de X , se sigue de nuestra hiptesis que f |A posee al menos un punto de continuidad, digamos x0 A. De all que, dado > 0, existe un entorno abierto U de x0 tal que diam f (U A) < . Por otra parte, como x0 A resulta que U A = , de donde obtenemos que diam f (U A) diam f (U A) < . Esto prueba que f es fragmentada por d. Supongamos ahora que X es un espacio hereditariamente de Baire y que f : X Y es fragmentada por d. Veamos que f es escasamente continua. Para obtener una contradiccin suponga que f no es escasamente continua. Esto signica que en alguna parte de X existe un subconjunto cerrado no vaco F tal que f |F no posee puntos de continuidad. Usemos esta condicin para denir, para cada n N, el conjunto

at

ic a1

.c o

y observemos que como f no posee puntos de continuidad en F, entonces F = Fn . Nos proponemos n=1 demostrar que cada Fn es cerrado. En efecto, jemos n N y sea (x )D una red en Fn convergiendo a x X . Por ser F cerrado, se tiene que x F. Ms aun, si U es un entorno abierto de x, entonces por ser x el lmite de la red (x )D tenemos que existe un 0 D tal que x U para todo 0 , lo cual nos dice que U es un entorno abierto de cada uno de esos x Fn por lo que se cumple que diam f (U F) 1/n y as, x Fn . Por otro lado, como X es hereditariamente de Baire, resulta que F es un espacio de Baire y, en consecuencia, gracias al Teorema de Categora de Baire, existe un n N tal que intF (Fn ) = , donde intF (Fn ) denota el interior de Fn relativo a F. Escojamos ahora un abierto V en X tal que V F es no vaco y V F Fn . Finalmente, invocando el hecho de que f es fragmentada por d, para el conjunto V F y con := 1/n, existe un abierto U en X tal que U (V F) = y diam f (U (V F)) < 1/n, lo cual es una contradiccin, puesto que si x V (U F) Fn , entonces V U es un entorno abierto de x y as, por denicin, diam f ((V U ) F) 1/n. Esto termina la prueba. Finalizamos esta seccin con una caracterizacin interna de fragmentabilidad que resulta ser muy til para demostrar ciertas propiedades de estabilidad de la familia Fd constituida por todos los espacios topolgicos fragmentables (ver, por ejemplo, [157]). Denicin 2.2.16. Una familia bien ordenada U = {U : 0 < 0 } de subconjuntos de un espacio topolgico X se dice que es una particin de X relativamente abierta si (a) U est contenido y es relativamente abierto en X
<

ww w.

M at

Fn = x F : para cada entorno abierto U de x, diam f (U F)

1 n

em

U , para cualquier , con 0 < < 0 , y

(b) X =
<0

U .

Denicin 2.2.17. Sea W = {W : 0 < 0 } una familia bien ordenada de subconjuntos abiertos del espacio topolgico de Hausdorff X . Se dice que W es regularmente creciente si (a) W W siempre que 0 < < 0 , (b) W =
<

U para cualquier ordinal lmite (0, 0 ], y

(c) W0 = X . La siguiente proposicin relaciona estos dos ltimos conceptos. Proposicin 2.2.1. Sea X un espacio topolgico de Hausdorff. (1) Sea U = U : 0 < 0 una particin relativamente abierta de X . Si para cada , 0 < 0 , denimos W = U , entonces la familia W = W : 0 < 0 es regularmente creciente de subconjuntos abiertos de X y U = W+1 W para cualquier (0, 0 ). (2) Sea W = W : 0 < 0 una familia de subconjuntos abiertos de X . Entonces la familia bien ordenada U = U : 0 < 0 , donde U0 = W1 y U = W+1 W para cualquier (0, 0 ), es una particin relativamente abierta de X y se cumple que W = < U para cualquier (0, 0 ]. Prueba. (1). Es una tarea fcil vericar que las condiciones (a) - (c) de la Denicin 2.2.16 se cumplen y que, adems, U = W+1 W para cada (0, 0 ). Slo nos queda por probar que cada W es abierto. Vamos a proceder por induccin transnita. El conjunto W1 es abierto puesto que es igual a U0 . Supongamos que W es abierto siempre que (0, ), donde es cualquier elemento jo de (1, 0 ]. Si es un ordinal lmite, entonces W = < U es claramente abierto. Si no es un ordinal lmite, entonces = + 1 y U = G X donde G es un abierto en X ; as, W =
<

ww w.

M at

em

at

U = W U = W (G

ic a1
<

<

.c o

U ,

es abierto. Esto completa el paso inductivo y termina la demostracin de (1). Efectuando un proceso inductivo similar al anterior se puede demostrar igualmente la parte (2). En lo que sigue, si U es una particin relativamente abierta de un espacio topolgico de Hausdorff X , entonces W(U) denotar la familia regularmente creciente obtenida en la Proposicin 2.2.1.

W ) = W G

Denicin 2.2.18. Sea un espacio topolgico de Hausdorff y sean U y V dos particiones relativamente abiertas de X . Diremos que V es un renamiento de U si W(U) W(V). Similarmente, diremos que V es un renamiento fuerte de U si V es un renamiento de U y para cualquier elemento V de V existe un elemento U de U tal que V U . Proposicin 2.2.2. Sea X un espacio topolgico de Hausdorff. Sea U = {U : 0 < 0 } una particin relativamente abierta de X y para cualquier < 0 , suponga que U = U : 0 < una particin relativamente abierta de U con la topologa heredada de X . Ordenemos el conjunto I = (, ) : 0 < 0 , 0 <

lexicogrcamente. Entonces la familia V = U : (, ) I es una particin relativamente abierta de X la cual rena a U. Prueba. Recordemos que el orden lexicogrco sobre I se dene como:
.c o

(1 , 1 ) < (2 , 2 )

si

1 < 2

o bien

1 = 2

y 1 < 2 .

Por otro lado, como U es una particin relativamente abierta de U , existe un conjunto abierto G de X tal que U = G U U = G U U .
< <

Entonces U =

ww w.

Con este orden V est bien ordenado. Tambin es claro que la condicin (b) de la Denicin 2.2.16 se cumple, es decir, X = (,)I U , por lo que slo resta vericar la condicin (a) de la Denicin 2.2.16. Tomemos cualquier (, ) I. Puesto que U es una particin relativamente abierta, existe un conjunto abierto G de X tal que U = G X U = G U .

M at

em

at
<

ic a1

<

G G

<

<

U = (G G)

<

<

= (G G)

U : ( , ) < (, ) ,

lo cual verica (a) de la Denicin 2.2.16. Esto prueba que V es una particin relativamente abierta de X . Ms aun, V es un renamiento de U ya que, para cualquier (0, 0 ),
<

U =

U : ( , ) < (, ) .

Esto termina la prueba.

Proposicin 2.2.3. Sea X un espacio topolgico de Hausdorff regular y sea U = {U : 0 < 0 } una particin relativamente abierta de X . Entonces existe una particin relativamente abierta V de X que es un renamiento fuerte de U. Prueba. La regularidad de X nos garantiza, para cualquier < 0 y cualquier x U , la existencia de un

conjunto abierto Vx tal que

x Vx la familia U = U : 0 < , donde

Vx

U .
<

Fijemos ahora un < 0 y dmosle un buen orden al conjunto U , es decir, U = {x : 0 < }. Entonces U = Vx U Vx

<

<

es una particin relativamente abierta de U , para la cual U Vx

<

U Vx

X
<

U
<

U = U .

Proposicin 2.2.4. Sea X un espacio topolgico de Hausdorff (regular) y suponga que X admite una particin relativamente abierta que separa sus puntos. Entonces existe una sucesin de particiones relativamente abiertas (Un ) de X con las siguientes propiedades: n=1 (a) Un+1 es un renamiento (fuerte) de Un , para cada n N, y

(b)
n=1

Un separa los puntos de X .

Prueba. Sea V = Vn una -particin relativamente abierta de X que separa sus puntos. La prueba la n=1 haremos por induccin. Denamos U1 = V1 y supongamos que hemos construido U1 , U2 , . . . , Un para algn n N tal que Ui+1 es un renamiento (fuerte) de Ui y de Vi+1 para i = 1, 2, . . . , n 1. Escribamos Un = U : 0 < 0 y Vn+1 = V : 0 < 0 y dotemos al conjunto I = [0, 0 ) [0, 0 ) con el orden lexicogrco. Entonces, para cada < 0 , la familia U V : [0, 0 ) es una particin relativamente abierta de U , mientras que, para cada < 0 , la familia U V : [0, 0 ) es una particin relativamente abierta de V . Se sigue de la Proposicin 2.2.2, que Un+1 = U V : (, ) [0, 0 ) [0, 0 ) es una particin relativamente abierta de X que rena a Un y a Vn+1 . Denamos ahora y Un+1 = Un+1 .

ww w.

M at

Denicin 2.2.19. Sea X un espacio topolgico de Hausdorff. Una familia U de subconjuntos de X se dice que es una -particin relativamente abierta de X si existen particiones relativamente abiertas Un de X , n = 1, 2, . . . tal que U = Un . Si, adems, para cada par de puntos distintos x, y X existe un U U tal n=1 que {x, y} U es un punto, entonces diremos que U separa los puntos de X .

em

at

ic a1

.c o

Un llamado a la Proposicin 2.2.2 termina la prueba.

Si X es regular, entonces invocando a la Proposicin 2.2.3, resulta que existe una particin relativamente abierta de X , digamos U , la cual es un renamiento fuerte de Un+1 y, por consiguiente, un renamiento n+1 fuerte de Un y de Vn+1 . Poniendo Un+1 = U , damos por nalizada la induccin. Finalmente, el hecho de n+1 que Un rena a Vn+1 , para n = 1, 2, . . . implica que Un separa los puntos de X , ya que V = Vn , por n=1 n=1 hiptesis, lo hace. Estamos ahora en posicin de formular la caracterizacin de fragmentabilidad debida a N. K. Ribarska [373]. Teorema 2.2.59 (Ribarska). Sea (X , ) un espacio topolgico de Hausdorff. Las siguientes condiciones son equivalentes: (1) X es fragmentable. (2) Existe una familia U de subconjuntos de X que es una -particin relativamente abierta de X que, adems, separa los puntos de X . Prueba. (2) (1). Supongamos que el espacio topolgico X posee una -particin relativamente abierta que separa sus puntos, digamos U = Un , con n=1
n Un = U : 0, 0

at

ic a1

Usando la Proposicin 2.2.4, podemos suponer que Un+1 es un renamiento de Un para cualquier n N. Denamos la aplicacin : X X [0, +) por
.c o

em

(x, y) =

si x = y,
1

Es una tarea no tan complicada vericar que, en realidad, es una mtrica sobre X . Veamos, por ejemplo, la desigualdad triangular. De hecho, vamos a probar la siguiente desigualdad, la cual implica la desigualdad triangular: (x, y) m x (x, z), (z, y) , para todo x, y, z X . a
ww w.

En efecto, sean x, y, z X con x = y y denamos n = (x, y)1 . Sea U Un tal que {x, y} U consta de un nico punto. Si {x, y} U = {x}, entonces (z, x) 1/n(= (x, y)) si z U , mientras que si z U entonces (z, y) 1/n. Un hecho enteramente similar ocurre si {x, y} U = {y}. Esto naliza la prueba de nuestra desigualdad y, por consiguiente, de la desigualdad triangular. n Observemos ahora que el -dimetro de U es menor que 1/n para cada n N y cada [0, n ) debido al hecho de que Ui+1 es un renamiento de Ui . Todo lo anterior nos permite concluir que slo es necesario demostrar que X es fragmentado por . Fijemos entonces un > 0 y un conjunto arbitrario no vaco A X . Elijamos un entero n > 1/ y sea
n = mn [0, n ) : A U = . n Entonces, el conjunto no vaco A U es igual a A n U

M at

mn{n N : card(U {x, y}) = 1 para algn U Un }

si x = y.

y, en consecuencia, es abierto en A. Adems,

n n diam A U diam(U ) < 1/n < .

(1) (2). Supongamos ahora que X es fragmentado por una mtrica d. Para cada n N, nuestra tarea consistir en construir, por induccin transnita, una particin relativamente abierta Un de X . Fijemos n N y

comencemos haciendo U0 = . Supongamos que un ordinal > 0 ha sido obtenido de modo tal que, para cada [0, ), existe un conjunto no vaco U X que est contenido en X < U y que es relativamente abierto en dicho conjunto con d diam(U ) < 1/n. Si ocurre que X = < U , paramos el proceso y hacemos Un = {U : [0, )}. Si por el contrario, X = < U , entonces usamos de nuevo la fragmentabilidad de X para obtener un subconjunto U relativamente abierto en X < U con d diam(U ) < 1/n. Este proceso debe, en algn momento, detenerse. Claramente, Un es entonces una particin relativamente abierta de X . Queda por vericar que Un separa los puntos de X . Sean entonces x, y X con x = y y escojamos n=1 un n N de modo que d(x, y) 1/n. De aqu se sigue la existencia de un U Un tal que x U y, como d diam(U ) < 1/n, concluimos que y U . Notemos que si (X , ) es un espacio compacto fragmentado por una mtrica d, entonces la topologa d generada por d no necesita, como ya hemos mencionado, estar relacionada con . Un hecho interesante que se obtiene como consecuencia de la caracterizacin de Ribarska es el siguiente: Teorema 2.2.60 (Ribarska). Sea (X , ) un espacio de Hausdorff compacto fragmentado por una mtrica d. Entonces existe una mtrica sobre X tal que: (1) fragmenta a X , (2) (X , ) es un espacio mtrico completo, (4) Existe un subconjunto G -denso G (completamente metrizable) en X tal que y coinciden sobre G. Prueba. (1) y (2). Puesto que X es fragmentable existe, por el Teorema 2.2.59, una -particin relativamente abierta de X , digamos,
.c o

(3) genera una topologa ms fuerte que .

em
U= Um =

M at

que separa sus puntos. Adems, por la Proposicin 2.2.4, podemos suponer que, para cada n N, Un+1 es un renamiento fuerte de Un . La mtrica , construida en la demostracin del Teorema 2.2.59 por medio de U, fragmenta a X y entonces (1) queda demostrado. Veamos que es completa. En efecto, sea (xn ) n=1 una sucesin -Cauchy en X . Entonces existe una sucesin estrictamente creciente (im ) en N tal que m=1 (xim , x j ) < 1/m para todo j > im . Como cada familia Un es un cubrimiento de X , resulta que para cada m N existe un Um Um tal que xim Um . Observemos que x j Um para todo j > im , pues si para algn j > im ocurriera que x j Um , entonces para ese j y por la denicin de tendramos que (xim , x j ) 1/m lo cual es imposible. Notemos ahora que para cualquier m N, xim+1 Um Um+1 por lo que Um+1 Um y as, U m+1 Um debido al hecho de que Um+1 es un renamiento fuerte de Um . Por la compacidad de X resulta que

ww w.

m=1

at
n=1 m=1

ic a1
Un ,

Um = .

Sea x0 Um . Entonces (x j , x0 ) < 1/m para todo j > im y, en consecuencia, x j x0 . Esto prueba la m=1 parte (2). (3). Sea G un subconjunto -abierto no vaco de X y jemos cualquier x G. De nuevo, haciendo uso del hecho de que cada Un es un cubrimiento de X , entonces para cada n N, existe un Un Un tal que x Un .

Armamos que Un G para algn n N. Supongamos lo contrario, es decir, que Un G = para todo n N. Puesto que Un U n+1 para cualquier n N, la compacidad de X nos asegura que el conjunto U n+1 G n=1 es no vaco; tomemos algn x0 en dicho conjunto. Entonces x = x0 , y como U separa los puntos de X , existe un n N tal que x0 no pertenece a Un . Sin embargo, de la relacin Un U n+1 se concluye que x0 U n+1 . Esta contradiccin establece nuestra armacin, es decir, existe un n N tal que Un G. Observemos que Un coincide con el conjunto -abierto y X : (x, y) < 1/n . Esto muestra que G es -abierto y que la -topologa es ms fuerte que la topologa original. (4) Sea G el subconjunto G -denso encontrado en el Teorema 2.2.55, pgina 304, para la aplicacin identidad Id : (X , ) (X , ). Entonces G tambin es un conjunto G y se sigue de (2) y el Teorema de Alexandroff-Hausdorff (Teorema 1.11.3, pgina 64) que G es completamente metrizable. Finalmente, como la aplicacin identidad Id : (G, ) (G, ) es continua se deduce de (3) que ella es un homeomorsmo. Comentario Adicional 2.2.17 Podemos usar de nuevo la caracterizacin de Ribarska para demostrar otro resultado del mismo autor [372]: Si (X , ) es un espacio de Banach estrictamente convexo, entonces (BX , ) es fragmentable. Recordemos que X es estrictamente convexo o rotundo si la esfera unitaria SX de X no contiene segmentos no-triviales. Consideremos la cuasi mtrica : BX BX [0, +) denida por

ww w.

para todo x, y BX ( no es una mtrica pues la desigualdad triangular no se cumple en general). La estricta convexidad de la norma nos garantiza que (x, y) = 0 x = y. Sean ahora A un subconjunto no vaco de BX y > 0. Si ponemos = sup{ x : x A}, entonces existe un x BX tal que la rebanada U1 = x A : x (x) > = . Claramente U1 es un subconjunto relativamente dbilmente abierto de A. Si tomamos x, y U1 , entonces (x, y) = m x{ x , y } a

lo cual prueba que fragmenta a BX (las comillas son necesarias, pues no es una mtrica). Deniendo inductivamente Un = Un : es un ordinal donde Un es un subconjunto relativamente abierto no vaco de BX que 1/n, no es difcil probar que
< Un

M at

1 x+y 2 1 m x{ x , y } x (x + y) a 2 < ( ) = ,

em

at

ic a1

.c o

(x, y) = m x a

x , y

1 x+y 2

de -dimetro menor

U=
n=1

Un

es una particin -relativamente abierta que separa los puntos de BX . Un llamado al Teorema de Ribarska nos dice que (BX , ) es fragmentable. 2) 1) De manera similar, si la norma dual de X es estrictamente convexa, entonces el conjunto (BX , ) es fragmentable.