Construccion de la medida de Lebesgue usando la condicion de Caratheodory

Se dira que un subconjunto E de R

n
es C-mediblesi satisface la condicion de Caratheodory siguiente:
m

(A) = m

(A E) +m

(A E
c
), A P(R
n
)
Sera denotado por C M a la colecci on de todos los conjuntos C-medibles de R
n
.
1. Pruebe que la familia de conjuntos C M es una algebra de conjuntos de R
n
y despues que es una
-algebra.
2. Muestre que todo rectangulo acotado en R
n
es un conjunto C-medible. Deduzca que B(R
n
)
C M.
3. Sea E R
n
. Demuestre que las siguientes armaciones son equivalentes a pares:
a) E C M
b) > 0 existe un conjunto abierto O tal que E O y m

(O \ E) < .
c) > 0 existe un conjunto abierto F tal que F E y m

(E \ F) < .
d) Existe un conjunto G G

tal que E G y m

(G\ E) = 0.
e) Existe un conjunto F F

tal que F E y m

(E \ F) = 0.
Si adicionalmente m

(E) < , pruebe que las armaciones anteriores son equivalentes a:

f ) > 0 existe un conjunto abierto U que es la union de una familia nita de rectangulos
acotados abiertos tal que d(U, E) = m

(UE) <
Demostracion.
1. C M es un algebra.
Claramente, R
n
C M, pues para todo A R
n
:
m

(A R
n
) +m

(A ) = m

(A) +m

() = m

(A)
Probaremos que la union es cerrada en C M.
Sean B, C C M. Dado que A (B C) R
n
y B es C-medible:
m

[A(BC)] = m

[(A(BC))B]+m

[(A(BC))B
c
] = m

(AB)+m

(ACB
c
)
Por otro lado:
m

(A B
c
C) = m

(A B
c
) m

(A C
c
B
c
)
As:
m

[A(BC)] = m

(AB) +m

(ACB
c
) = m

(AB) +m

(AB
c
) m

(AC
c
B
c
)
Y como B C M,
m

[A (B C)] = m

(A) m

(A C
c
B
c
)
m

(A) = m

[A (B C)] +m

(A C
c
B
c
) = m

[A (B C)] +m

[A (B C)
c
]
Concluyendo entonces que B C C M.
C M es una -algebra. Solo nos resta probar que C M es cerrado bajo uniones innitas.
Antes, demostraremos el ejercicio 16.
1
Teorema 1 Si {E
k
}

k=1
es una sucesion de conjuntos C-medibles disjuntos y A R
n
es
arbitrario, entonces:
m
_
A

_
k=1
E
k
_
=

k=1
m

(A E
k
)
Demostracion.
Sea {E
j
}

j=1
una familia de conjuntos disjuntos C-medibles. Demostraremos por induccion que
el resultado es valido para uniones nitas.
Tenemos que para k = 2, por ser C M un algebra:
m

(A) = m

[A (E
1
E
2
)] +m

[A E
c
1
E
c
2
] = m

(A E
1
) +m

(A E
c
1
) (0.1)
Ademas:
m

(A E
c
1
) = m

(A E
c
1
E
2
) +m

(A E
c
1
E
c
2
)
Pero los conjuntos E
j
son disjuntos, luego E
c
1
E
2
= E
2
:
m

(A E
c
1
) = m

(A E
2
) +m

(A E
c
1
E
c
2
)
Por lo anterior y (1):
m

[A (E
1
E
2
)] +m

[A E
c
1
E
c
2
] = m

(A E
1
) +m

(A E
2
) +m

(A E
c
1
E
c
2
)
m

[A (E
1
E
2
)] = m

(A E
1
) +m

(A E
2
)
que demuestra el caso k = 2.
Supongamoslo verdadero para k y demostremoslo para k + 1.
Tenemos que:
m

_
_
A
k+1

j=1
E
c
j
_
_
= m

_
_
A
k

j=1
E
c
j
_
_
m

_
_
A
k

j=1
E
c
j
E
k+1
_
_
Una vez mas, dado que los conjuntos son disjuntos,

k
j=1
E
c
j
E
k+1
= E
k+1
, luego:
m

_
_
A
k+1

j=1
E
c
j
_
_
= m

_
_
A
k

j=1
E
c
j
_
_
m

(A E
k+1
)
Por ultimo:
m

(A) = m

_
_
A
k
_
j=1
E
j
_
_
+m

_
_
A
k

j=1
E
c
j
_
_
= m

_
_
A
k+1
_
j=1
E
j
_
_
+m

_
_
A
k+1

j=1
E
c
j
_
_
Por hipotesis de induccion:
k

j=1
m

(AE
j
) +m

_
_
A
k

j=1
E
c
j
_
_
= m

_
_
A
k+1
_
j=1
E
j
_
_
+m

_
_
A
k

j=1
E
c
j
_
_
m

(AE
k+1
)
Pasando el ultimo termino de la derecha a la suma de la izquierda y cancelando los terminos
semejantes:
k+1

j=1
m

(A E
j
) = m

_
_
A
k+1
_
j=1
E
j
_
_
2
Que es lo que pretendamos demostrar. Ahora, demostremoslo para uniones innitas.
Por monotona de m

tenemos que:
k

j=1
m

(A E
j
) = m

_
_
A
k
_
j=1
E
j
_
_
m

_
_
A

_
j=1
E
j
_
_
Por subaditividad de m

:
k

j=1
m

(A E
j
) m

_
_
A

_
j=1
E
j
_
_

k=1
m

(A E
j
)
Aplicando el lmite de la serie:

k=1
m

(A E
j
) m

_
_
A

_
j=1
E
j
_
_

k=1
m

(A E
j
)
Por lo tanto:
m

_
_
A

_
j=1
E
j
_
_
=

k=1
m

(A E
j
)
que es el resultado que necesitamos.
Sea {E
k
}

k=1
una familia disjunta de conjuntos C-medibles, tenemos (por el teorema anterior):
m

_
A

_
k=1
E
k
_
+m

_
A

k=1
E
c
k
_
=

k=1
m

(A E
k
) +m

_
A

k=1
E
c
k
_
Sabemos que la serie es el lmite de las sumas parciales, por lo cual:
m

_
A

_
k=1
E
k
_
+m

_
A

k=1
E
c
k
_
= lm
m
_
m

k=1
m

(A E
k
)
_
+m

_
A

k=1
E
c
k
_
Dado que el lmite de una constante es la constante, el lmite de la suma es la suma de los
lmites y por monotona de m

, podemos llegar a:
m

_
A

_
k=1
E
k
_
+m

_
A

k=1
E
c
k
_
lm
m
_
m

k=1
m

(A E
k
) +m

_
A
m

k=1
E
c
k
__
Por el teorema anterior (de nuevo):
m

_
A

_
k=1
E
k
_
+m

_
A

k=1
E
c
k
_
lm
m
_
m

(A
m
_
k=1
E
k
) +m

_
A
m

k=1
E
c
k
__
Y dado que C M es un anillo:
m

_
A

_
k=1
E
k
_
+m

_
A

k=1
E
c
k
_
lm
m
m

(A) = m

(A)
Por ultimo:
m

(A) = m

(A R
n
) = m

_
A
_

_
k=1
E
k

k=1
E
c
k
__
3
Y por subaditividad:
m

(A) m

_
A

_
k=1
E
k
_
+m

_
A

k=1
E
c
k
_
Y con ambas desigualdades podemos concluir que:
m

(A) = m

_
A

_
k=1
E
k
_
+m

_
A

k=1
E
c
k
_
Y ya, por ultimo (gracias a Dios), sabemos que la union de una familia de conjuntos arbitrarios
se puede expresar como union de conjuntos disjuntos, que extiende el resultado anterior a todos
los C M y termina por concluir que C M es una -algebra.
2. Muestre que todo rectangulo acotado es C-medible.
Demostremos primero que dado un conjunto elemental E y un rectangulo acotado R, se cumple
que:
m(E) = m(E R) +m(E R
c
)
Sabemos que m

(E) = m(E). Dado que los elementales son un anillo, se tiene que ER y E\ R =
E R
c
son elementales y ademas:
m(E R
c
) = m(E \ R) = m(E \ [E R]) = m(E) m(E R)
i.e.:
m(E) = m(E R) +m(E R
c
) (0.2)
Sea A un conjunto arbitrario en R
n
y sea {E
k
}

k=1
una cubierta de elementales de A. Tenemos que:
A R

_
k=1
E
k
R A R
c

_
k=1
E
k
R
c
En ambos casos, las cubiertas son de conjuntos elementales, luego:
m

(A R) +m

(A R
c
)

k=1
m(E
k
R) +

k=1
m(E
k
R
c
) =

k=1
m(E
k
R) +m(E
k
R
c
)
Y por 2 ):
m

(A R) +m

(A R
c
)

k=1
m(E
k
)
La cubierta de A fue elegida arbitrariamente, luego (por denicion de medida exterior):
m

(A R) +m

(A R
c
) m

(A)
La otra desigualdad ya fue demostrada en el primer inciso del problema, as, R cumple la condicion
de Caratheodory y los rectangulos acotados son C-medibles.
Por ultimo, dado que R
n
tiene una base numerable, que con la norma innito son rectangulos y
todo abierto es union de estos rectangulos, tenemos que todo abierto es un C-medible. Como C M
es -algebra, todo cerrado tambien es C-medible. Es decir: B(R
n
) C M.
4
3. a) implica b).
Sea E C M. Sabemos que:
m

(E) =nf {m

(G)|E G, G abierto}
Dado > 0, existe O abierto tal que:
m

(O) m

(E) <
Y como E es C-medible:
m

(O \ E) = m

(O) m

(O E) = m

(O) m

(E) <
b) implica c)
E
c
C M pues este conjunto es una -algebra. Dado > 0 existe un abierto F
c
, E
c
F
c
tal que:
m

(F
c
\ E
c
) <
As, F es cerrado, F E y:
m

(E \ F) = m

(F
c
\ E
c
) <
b) implica d)
Para cada k N, defnase O
k
tal que:
E O
k
, m

(O
k
\ E) <
1
k
k N
Sea G =

k=1
O
k
(no es vaca pues todos los O
k
contienen a E). Como G es la interseccion
de abiertos, G G

. Ademas,
lm
k
m

(O
k
\ E) = m

(G\ E) = 0
d) implica e)
Para E
c
sea F
c
G

tal que E
c
F
c
y m

(F
c
\ E
c
) = 0. Dado que F
c
es la interseccion de
abiertos, F debe ser la union de los complementos de dichos abiertos, es decir, cerrados, luego
F F

, F E y:
m

(E \ F) = m

(F
c
\ E
c
) = 0
e) implica a)
Sea F F

tal que F E y m

(E \ F) = 0 Tenemos que E = F X con X = E \ F. Luego,

dado A R
n
arbitrario, por subaditividad tenemos:
m

(A E) +m

(A E
c
) m

(A F) +m

(A X) +m

(A E
c
)
Por monotona (E
c
F
c
y A X X):
m

(AE)+m

(AE
c
) m

(AF)+m

(AX)+m

(AF
c
) m

(AF)+m

(X)+m

(AF
c
)
Como F

C M y por e) m

(X) = 0, tenemos:
m

(A E) +m

(A E
c
) m

(A F) +m

(A F
c
) = m

(A)
La otra desigualdad, ya esta probada, as, E es C-medible.
5
Si m

(E) < , b) implica f)

Sea

2
> 0, existe O abierto tal que E O y m

(O \ E) < . Como R
n
tiene una base
numerable, sabemos que existen {R
k
}

k=1
rectangulos abiertos tales que:
O =

_
k=1
R
k
La familia {

m
k=1
R
k
}

m=1
es creciente, luego, en virtud del teorema de continuidad, existe M
tal que:
m

(O) m

(
M
_
k=1
R
k
) <

2
Sea

M
k=1
R
k
= U. Como es la union nita de abiertos, entonces U es abierto. As, tenemos
que: m

(O \ U) <

2
.
Por ultimo, dada la desigualdad del triangulo, se tiene que:
d(U, E) d(U, O) +d(O, E) = m

(O \ U) +m

(O \ E) <
Con esto, se puede concluir que C M = M, que es lo que el enunciado anuncia.
6