118

CAP ITULO 5. MEDIDA E INTEGRACION

5.9.

Regularidad y el teorema de Lusin

Denici on 5.90. Decimos que una medida externa es regular si dado cualquier conjunto E de X y cualquier > 0, existe un conjunto -medible A tal que E A y (A) (E ) + Dada un a lgebra A, ocuparemos la notaci on A para denotar aquellos conjuntos que son uniones numerables de conjuntos en A y A para denotar aquellos conjuntos que son intersecciones numerables de conjuntos en A . Proposici on 5.91. Sea una medida denida en un a lgebra A, la medida externa inducida y E un cualquier subconjunto. Luego para cada > 0 existe un A A tal que E A y (A) (E ) + En particular, es regular. Adem as, existe un B A tal que (E ) = (B ). n. Sea > 0. Por denici Demostracio on sabemos que existen A n A tales que E n=1 An y

(An ) (E ) + .
n=1

Denimos A = n An . Luego (A) (An ) = (An ). Por otra parte, notemos que para cada natural n existe un Bn A tal que E Bn y (Bn ) (E ) + Luego, si denimos B = n=1 Bn , entonces (B ) (Bn ) (E ) + 1 . n 1 n

Tomanod el l mite cuando n vemos que (B ) (E ), con lo que concluimos la prueba. Proposici on 5.92. Sea una medida denida en un a lgebra A, que es -nita en A, y es la medida externa inducida. Luego un conjunto E es -medible si y s olo si E se puede expresar como A B , donde A A y B es tal que (B ) = 0. Adem as si (B ) = 0 entonces existe un C A , B C , y (C ) = 0. n. Si E = A B , con A A y (B ) = 0. Notemos que como la medida Demostracio inducida por en la - algebra de conjuntos medibles es completa, B es medible. Adem as claramente todo conjunto en A tiene que estar contenido en (A) y por lo tanto es medible. Entonces E = A B = A B c es medible. Ahora supongamos que E es medible. Como es -nita sabemos que X = i=1 Xi , con Xi A y (Xi ) < . Sea Ei = Xi E . Luego para cada i y todo n N existe A in A tal que Ei Ain y 1 (Ain ) (Ei ) + i 2n

5.9. REGULARIDAD Y EL TEOREMA DE LUSIN

Si An = as i=1 Ain , luego An A y An E i=1 (Ain Ei ). Adem

119

(An E )
i=1

(Ain Ei )

1 . n

En efecto, como Ain son medibles (Ain ) = (Ain Ei ) + (Ain Ei ) = (Ain Ei ) + (Ei ). Luego, si A = n=1 An A entonces (A E ) (An E ) 1 . n

Tomando el l mite cuando n vemos que basta denir B = A E . Finalizamos esta secci on deniendo el concepto asociado de regularidad de una medida. Denici on 5.93. Sea (X, ) un espacio m etrico. Decimos que X es localmente compacto en x X si existe un abierto que contiene a x cuya clausura es compacta. Si (X, ) es localmente compacto en todo punto, decimos que es localmente compacto. Denici on 5.94. Consideremos un espacio m etrico (X, ). Sea M una - algebra que contiene los Borelianos y una medida positiva denida en (X ; M). Decimos que E M es regular externo, si (E ) = inf {(V ) : E V, V En cambio si (E ) = sup{(K ) : K E, K compacto}, abierto}.

decimos que E es regular interno. Si un E es regular externo e interno, decimos que es regular. Si todo conjunto en M es regular, decimos que la medida es regular. Lema 5.95. Toda medida de Baire denida en un espacio compacto es regular.

Lema 5.96. Sea (X, ) un espacio m etrico. Toda medida denida sobre los Borelianos es regular externa. Denici on 5.97. Sea (X, ) un espacio m etrico. Decimos que una funci on real f denida en X tiene soporte compacto si la clausura del conjunto {x X : f (x) = 0}, es compacta. Al conjunto de funciones reales de soporte compacto en X lo llamaremos C c (X ). Notemos que la medida de Lebesgue es regular. Esta propiedad nos permite demostrar el teorema de Lusin en un intervalo compacto de los reales para la medida de Lebesgue.

120

CAP ITULO 5. MEDIDA E INTEGRACION

Lema 5.98. Consideremos una funci on Lebesgue medible f denida en [a, b]. Luego, para todo > 0 existe una funci on continua g tal que m(x [a, b] : f (x) = g (x)) < . n. Primero mostraremos que toda funci Demostracio on simple se puede aproximar por una funci on continua. Sea
n

s(x) :=
k =1

ak 1Ak (x),

donde los Ak son Borelianos. Sea > 0. Por la regularidad de la medida , para cada k existe un compacto Kk y un abierto Ok tales que Kk Ak Ok y (Ok Kk ) 2k . Por el lema de Uryshon, existen funciones continuas h k tales que hk (x) = 1 si x Kk , hk (x) = 0 si x / Ok y 0 hk 1. Por lo tanto si denimos h = n h , vemos que h y s dieren en un conjunto k =1 k E = Ok Kk de medida menor o igual a y h es continua. Ahora, sabemos que existe una sucesi on de funciones simples {s n } medibles que converge puntualmente a f . Por el argumento anterior, para cada n existe una funci on continua h n que diere de sn en un conjunto En de medida menor o igual a 1/n2 . Luego, la medida del conjunto E = on hn converge a f c.s. Pero por el teorema k =1 n=k En es cero. Por lo tanto la sucesi de Egoro, para cada > 0 existe un conjunto E medible de medida menor o igual a tal que la convergencia de hn a f es uniforme en E . Denimos g como el l mite de hn en E . Es f acil ver que los conjuntos Vk y Kk se pueden elegir como una uni on nita de intervalos abiertos y el complemento de una uni on nita de intervalos abiertos respectivamente. Extendiendo g por interpolaci on lineal terminamos la prueba.

La generalizaci on de este resultado requiere otro tipo de demostraci on. Teorema 5.99. Lusin. Sea (X, ) un espacio m etrico y M una - algebra que contiene los Borelianos. Sea una medida regular en (X, M). Sea f una funci on real medible en X y > 0. (i) Si para todo > 0 el conjunto {x : |f (x)| > } tiene medida nita, entonces existe una funci on continua g tal que (x : f (x) = g (x)) < , y sup |g (x)| sup |f (x)|.
xX xX

(5.8)

(5.9)

(ii) Si X es localmente compacto y adem as existe un conjunto medible A tal que (A) < y f (x) = 0 si x / A, existe una funci on continua con soporte compacto g que satisface (5.8) y (5.9).

5.9. REGULARIDAD Y EL TEOREMA DE LUSIN

121

n. Primero suponemos que f est Demostracio a acotada por 1. Para n 1 y 0 k 2 n 1 denimos Ak,n := {x X : y 1 sn (x) := n 2
2n 1

(k + 1) k f (x) < }, n 2 2n

k 1Ak,n (x).
k =0

Ahora Ak,n = A2k,n+1 A2k+1,n+1 , donde la uni on es disjunta. Luego sn (x) = Por lo tanto sn+1 (x) sn (x) = 1 2n+1
2n+1 1

1 2n+1

2n+1 1

2
j =0

j 1Aj,n+1 (x). 2

j2
j =0

j 2

1Aj,n+1 (x).

Ahora, como j 2[j/2] = 0 para j par j 2[j/2] = 1 para j impar conclu mos que sn+1 (x) sn (x) = donde
1 An+1 = 2 j =0,j impar Aj,n+1 .
n+1

1A (x), 2n+1 n+1

Luego, denimos t1 = s1 y tn := sn sn+1 , n 2.

Notemos que 2n tn es la funci on caracter stica del conjunto A n y que

f (x) =
n=1

tn (x).

Por la regularidad de la medida , para cada n 1, existe un compacto K n y un abierto Vn tales que Kn An Vn y (Vn Kn ) < 2n . Por el lema de Uryshon, existen funciones continuas h n tales que hn (x) = 1 si x Kn y hn = 0 si x / Vn . Ahora denimos

g (x) :=
n=1

2n hn (x).

Como la convergencia es uniforme, g es continua y adem as diere de f en un conjunto de medida menor que . Si f es acotada y R := sup{|f (x)| : x X } < y denimos g 1 (x) := (g (x)) con (x) = x para |x| R y (x) = Rx/|x| si x > R, entonces g 1 es continua y satisface (5.8)

122

CAP ITULO 5. MEDIDA E INTEGRACION

y (5.9). Si f no es acotada, denimos B n := {x : |f (x)| > n}. Por hyp otesis (B n ) 0. Pero f coincide con la funci on (1 1Bn )f excepto en Bn . Notemos que si existe un conjunto A medible tal que f (x) = 0 si x / A, entonces existe un compacto K contenido en A tal que la medida de A K es arbitrariamente chica. Ahora constru mos una funci on g continua que aproxima f 1 K en el sentido de (5.8). Por la compacidad con V compacto. Adem local de X , podemos elegir un abierto V tal que K V V as, la construcci on de g se puede efectuar de modo que cada conjunto abierto V n V , lo que implica . que el soporte de g est a contenido en V