6.4.

SEPARABILIDAD Y LAS FUNCIONES CONTINUAS

137

6.4.

Separabilidad y las funciones continuas

En esta seccin estudiaremos la separabilidad de los espacios Lp . Antes de enunciar un o resultado general, daremos algunas condiciones bajo las cuales las funciones continuas, y funciones continuas de soporte compacto, son densas en tales espacios. El siguiente lema muestra que no existe absolutamente ninguna posibilidad de ocupar fuciones de soporte compacto para aproximar funciones en espacios que no son localmente compactos en ningn punto. u Lema 6.10. Consideremos un espacio mtrico (X, ) que no es localmente compacto en ningn e u punto x X. Luego, la unica funcin continua de soporte compacto es la funcin idnticamente o o e nula. Demostracion. Supongamos que existe una funcin f que es continua de soporte compacto, o pero que no es idnticamente nula. Luego, existe un x X, un > 0 y una vecindad B(x; ) e tal que f (y) ,

si y B(x; ). Luego, si K es el soporte de f , entonces K es de interior no vac que contradice o, el hecho que el espacio no es localmente compacto en ningn punto. u Por otra parte, el siguiente teorema muestra que el conjunto de funciones continuas sobre un compacto es separable. Teorema 6.11. Sea (X, ) un espacio mtrico compacto. Luego el conjunto de funciones cone tinuas C(X) es separable. Demostracion. Como X es compacto, existe un subconjunto D denso y numerable en X. Denimos la coleccin de funciones o C := {fx (y) = (x, y) : x D}. Consideremos ahora el algebra de funciones A cuyos elementos son sumas por coecientes racionales de productos de funciones en C. Notemos que A es un conjunto numerable. Adems a A es un algebra que es nunca nula. Por otra parte, si a, b X con a = b y x X, tenemos que Adems, (a, b) (a, x) + (b, x). Luego, a Por lo tanto fx (a) fx (b) = (x, a) (x, b).

(a, b) (b, x) (a, x) (a, b) + (b, x). (a, b) 2(b, x) (a, x) (b, x) (a, b). 0 < fx (a) fx (b).

Eligiendo x de modo que (b, x) < (a, b)/2, conclu mos que

Esto demuestre que el lgebra A separa puntos. Por el teorema de Stone-Weierstrass su clausura a es C(X).

138

CAP ITULO 6. ESPACIOS LP

Teorema 6.12. Sea S el conjunto de funciones simples con soporte de medida nita. Luego, si 1 p < , S es denso en Lp (). Demostracion. Sea f Lp (), no negativa, y sn una sucesin de funciones simples no nego ativas que convergen puntual y montonamente a f . Es decir sn sn+1 f y sn (x) f (x) o para todo x. Luego, para todo natural n, sn Lp (), de donde se tiene que sn S. Adems, a sn (x) f (x). Entonces, por el Teorema de convergencia dominada
n

l m sn f

= 0.

Teorema 6.13. Sea (X, ) un espacio mtrico y una medida positiva regular denida en e (X, M), donde M es una -lgebra que contiene los Borelianos. Sea 1 p < . a (i) El conjunto C(X) Lp () de las funciones continuas en Lp () es denso en Lp (). (ii) Si (X, ) es localmente compacto, el conjunto Cc (X) de las funciones continuas de soporte compacto es denso en Lp (). Demostracion. Probaremos slo la parte (i), siendo la demostracin de (ii) similar. Basta o o probar que toda funcin s S, se puede aproximar por funciones de C(X). Sea s S y > 0. o Por el Teorema de Lusin sabemos que existe f C(X) tal que (i) ({x : f (x) = s(x)}) < (ii) supxX |f (x)| supxX |s(x)|

Como s es una funcin simple de soporte nito, supxX |s(x)| < . Adems notemos que o a f Lp (). En efecto, |f |p d < |s|p d + supxX |s(x)|. Adems, a
1/p

f s

=
{f =s}

|f s| d

2 sup |s(x)| ({f = s})1/p < 1/p 2 sup |s(x)|.

xX xX

Continuamos con un resultado bsico de topolog en espacios mtricos, que nos permia a e p sobre un espacio mtrico separable es separable. tir demostrar que todo espacio L a e Lema 6.14. Sea (X; ) un espacio mtrico separable. Supongamos que existe un subconjunto e denso y numerable D de X. Luego, si C es la coleccin de todas las bolas abiertas con centros o en D y radios racionales, entonces todo abierto se puede expresar como una unin numerable o de elementos de C. Demostracion. Sea G un abierto en X. Para cada x G D, denimos rx = dist(x, Gc ). Notemos que B(x; rx ) G. Armamos que G = xGD B(x; rx ).

En efecto, si y G, sabemos que existe una bola B(y; r) tal que B(y; r) G. Eligiendo x D sucintemente cerca de y, vemos que y B(x; rx ). Ahora, sea {rn,x : n 1} una sucesin e o creciente de racionales que converge a rx . Claramente G = xGD n B(x; rn,x ).

6.4. SEPARABILIDAD Y LAS FUNCIONES CONTINUAS

139

Teorema 6.15. Sea (X, ) un espacio mtrico separable. Sea una medida positiva denida e en (X, M) que es regular externa, donde M es una -lgebra que contiene los Borelianos y a p () es separable. 1 p < . Luego, L Demostracion. Sea D un subconjunto denso y numerable de X. Sea C la coleccin de bolas o abiertas con centro en D y de radio racional. Mostraremos primero que la funcin indicatriz de o todo abierto se puede aproximar por combinaciones lineales de productos de funciones C, que llamaremos F. Notemos que F es numerable. Ahora, notemos que si A y B son dos conjuntos, o o entonces 1AB = 1A + 1B 1A 1B . Por induccin, esto muestra que la funcin indicatriz de una unin nita de conjuntos en C, est en F. Por la -aditividad de la medida , y el lema o a anterior, vemos que si G es abierto, (G) = l n (Gn ), donde Gn es una unin nita de m o conjuntos en C tal que G = n Gn . Ahora, como la medida es regular externa, vemos que la armacin anterior sigue siendo vlida para los Borelianos. Claramente entonces, toda funcin o a o simple con soporte de medida nita se puede aproximar por funciones en F. Luego, el espacio Lp () es separable. Terminamos esta seccin con el siguiente resultado que es contraparte del teorema 6.15. o Teorema 6.16. Consideremos un espacio de medida (X, M, ). Supongamos que existe una subcoleccin M1 no numerable de conjuntos en M, tales que para todo par A, B M1 se tiene o que (A B) > 0. Luego L () no es separable. Demostracion. Basta probar que eexiste un conjunto no numerable y discreto en L (). Pero, el conjunto de funciones indicatrices de los elementos de M1 tiene tales propiedades. Corolario 6.17. El espacio L (R) no es separable.