Teorema de Extensin

Daniel Morales

4 de mayo de 2017

Resumen

El principal teorema a demostrar en esta parte del curso es el siguiente:

Teorema 1 Una medida -aditiva sobre un anillo F posee una extensin en la -lgebra

generada por F

Recapitulando lo visto en la clase anterior, dado un conjunto arbitrario no vacio y F una

familia no vacia de subconjuntos de , F es un:

1. Anillo si F y para cualquier par de conjuntos A, B F, se tiene que A B F,

B A = B Ac F.

2. lgebra si F es un anillo y F.

3. -lgebra si para cualquier coleccin numerable A1 , A2 , ... de conjuntos en F se tiene que

An F.
n=1

Luego, sea : F [, +] una funcin. Diremos que es:

1. Aditiva, si para todo par de conjuntos A, B F tales que A B = , se tiene que

(A B) = (A) + (B)

2. -aditiva, si dada una coleccn {An }n1 F tal que An Am = si m 6= n, entonces

  P
An = (An ).
n=1 n=1

1
Parte I

Cuestiones preliminares
Definicin 1 Si A es una coleccin de subconjuntos de , la interseccin de todas las -lgebras

que contienen a A es tambin una -lgebra, denotada por (A) y denominada -lgebra gene-

rada por A.

Definicin 2 Sean un conjunto arbitrario, F0 un anillo en y una funcin de F0 en el

intervalo [0, ]. Para cada conjunto A definimos su medida exterior como

( )
X [
(A) := inf (An ) : An F0 , A An
n=1 n=1

o + si no existe tal An .

Ahora, para la prueba de nuestro teorema, debemos considerar algunos resultados

previos respecto a la medida exterior de un conjunto. El primero, nos muestra que la medida

exterior es subaditiva.

S
Lema 1 Para cualesquiera conjuntos A y {An }n=1 , si A n=1 An entonces,
P
(A) n=1 (An ).

Prueba: Si la suma anterior es infinita, entonces se verifica trivialmente la desigualdad.

En otro caso dado  > 0, consideremos una sucesin de subconjuntos de F0 (digamos Bnk ), tal
 1
S P
que An k Bnk y k (Bnk ) < (An ) + 2n , lo cual es posible gracias a la definicin

de medida exterior. Ahora bien, n An n,k Bnk 2 por lo que ( n An )

S S S P
n,k Bn,k
P
n=1 (An ) + .

Ahora, veamos que si A F0 , entonces la medida de A y la medida exterior de A

coinciden.

Lema 2 Para cualquier conjunto A F0 , se tiene que (A) = (A).

S S
Prueba: Si A An , donde An F0 , consideremos Bn := A {An j<n Aj }.
n=1
P P
Los Bn son disjuntos en F0 , y su unin es A3 , por lo que (A) = n=1 (Bn ) n=1 (An ).
1 Los B
n,k son nmerables por este hecho, es decir los puedo expresar como una sucesin. Ademas, la desigual-
dad proviene de una propiedad del nfimo.
2 Porque es montona
3 Entonces los B
S
n n An .

2
Luego, por definicin de medida exterior, (A) (A). Por otro lado, consideremos A1 = A y

An = para n > 1. Entonces, Bn = para todo n > 1 y as (A) (A).

Ahora, para caracterizar los conjuntos que son medibles bajo la medida exterior defi-

nimos lo que es un conjunto -medible.

Definicin 3 Un conjunto C es llamado -medible si para cada conjunto E X, (E) =

(E C) + (E C c ).

Luego, veamos que todos los conjuntos de F0 son -medibles.

Lema 3 Todo conjunto A F0 es -medible.

Prueba: Sea A F0 y F , con (F ) < . Dado  > 0, consideremos {An }n=1
S P S
F0 con F n=1 An y n=1 (An ) (F ) + . Entonces, F A n=1 (An A), F Ac
S c c
P P c
n=1 (An A ). Por tanto (F A) + (F A ) n=1 (A An ) + n=1 (A An )
P 5
n=1 (An ) (F ) + .

Por ltimo, veamos que la familia de los conjuntos -medibles es una -lgebra.

Lema 4 La familia de los conjuntos -medibles es una -lgebra y es la medida sobre sta.

Prueba: Claramente, por la definicin de conjunto -medible, F si y solo si

F c M( ). Luego, como c = y F0 entonces M( ). Ahora, consideremos dos

cojuntos A, B M( ). Entonces, para cualquier conjunto E tenemos

(AM( ) (BM( ))
(E) = (E A) + (E Ac ) =

(AM( ))
(E A B) + ((E A) B c ) + (E Ac ) = (E (A B)) + (E \ A B)

As, se verifica que M( ) es un lgebra. Supongamos a continuacin que dada{Ai }i1

S Sn
M( ) tales que Am An = con m 6= n y A = i=1 Ai , sea Fn := j=1 Aj M( ) pues

M( ) es un lgebra. Por tanto, para todo conjunto E , (E) = (E Fn ) + (E Fnc ).

Luego, como Ak M( ), con k {1, ..., n}, tenemos que (E Fn ) = (E Fn Ai )+ (E

Fn Aci ) = (E Ak )+ (E ( i<n Ai )) por lo cual, (E) = (E Ak )+ (E ( i<k Ai ))+

S S

4 Es por esta definicion, que podemos simplemente mostrar que un conjunto es -medible si (E) (E

C) + (E C c )
5 Uso de la definicin equivalente de ser -medible.

3
 Pk1
(E Fnc ). Sin embargo, podemos observar que (E ( i<k Ai )) = i=1 (An ) por lo que
S

Pk
(E) = i=1 (E An ) + (E Fnc ). Por otro lado, como Ac Fnc entonces por monotonici-
Pk
dad (E Ac ) (E Fnc ) por lo cual concluimos que (E) i=1 (E Ai ) + (E Ac ).
P
Tomando lmite cuando k , obtenemos (E) c
i=1 (E Ai ) + (E A ) =

(E A) + (E Ac ). Luego, por la equivalencia de la definicin de conjunto -medible,

A M( ). As, M( ) es una -lgebra. Para probar que es -aditiva, basta considerar el

conjunto E de nuestra demostracin como F .

La prueba

Supongamos que la medida exterior de un conjunto A est dada por la definicin 2,

donde es una medida -aditiva sobre F0 . Sea F la -lgebra generada por F0 . Por los lemas

2 y 3, tenemos que F0 F M 2 . Por el lema 4, restringida a M es una medida. Ms

an, restringida a F, es claramente una medida en esa clase de conjuntos. sta medida sobre F

es la extensin requerida porque, por el lema 2, sta coincide con sobre F0 .