Extensi on de medidas

Problemas para examen

Semianillos de conjuntos
1. Escriba la denici on de semianillo de conjuntos.
2. Semianillo de los conjuntos unipuntuales de un conjunto. Sea X un conjunto.
Denotemos por S al conjunto que consiste en el conjunto vaco y en todos los subconjuntos
unipuntuales de X:
S = {}
_
{x}: x X
_
.
Demuestre que S es un semianillo de conjuntos.
3. Semianillo de los intervalos semiabiertos del eje real. Muestre que los intervalos
[a, b), donde a, b R, forman un semianillo sobre R.
4. Teorema (el producto de dos semianillos es un semianillo). Sean X, Y algunos
conjuntos, S
1
un semanillo sobre X y S
2
un semianillo sobre Y . Muestre que el conjunto
S
1
S
2
:=
_
A B: A S
1
, B S
2
_
es un semianillo sobre X Y .
5. Intersecci on de dos semianillos no necesariamente es semianillo. Construya dos
semianillos S
1
y S
2
sobre un conjunto X tales que su intersecci on S
1
S
2
no sea semianillo.
Indicaci on: puede construir S
1
y S
2
sobre un conjunto de tres elementos: X = {0, 1, 2}.
Extensi on de medidas, problemas para examen, p agina 1 de 5
Anillos de conjuntos
6. Escriba la denici on de anillo de conjuntos.
7. Escriba la denici on de algebra de conjuntos sobre un conjunto X.
8. Conjunto-potencia es un algebra de conjuntos. Demuestre que 2
X
es un algebra
de conjuntos sobre X.
9. Exprese algunas operaciones con conjuntos a traves de otras:
en terminos de y \.
en terminos de \.
\ en terminos de .
en terminos de y .
10. Todo anillo de conjuntos es un semianillo de conjuntos. Sea A un anillo sobre
un conjunto X. Demuestre que A es un semianillo sobre X.
11. Interseccion de anillos es un anillo. Sea A un conjunto de anillos sobre un
conjunto X. Demuestre que el conjunto
B :=
_
Y X: A A Y A
_
es un anillo sobre X.
12. Anillo generado por un conjunto. Sean X un conjunto y C 2
X
. Escriba la
denici on del anillo generado por C.
13. Teorema (descripcion del anillo generado por un semianillo). Sea S un se-
mianillo sobre un conjunto X. Denotemos por A al conjunto de todas las uniones nitas
disjuntas de elementos de S:
A :=
_
A X: m {0, 1, 2, . . .} P
1
, . . . , P
m
S disjuntos, A =
m
_
i=1
P
i
_
.
14. Anillo generado por los subconjuntos unipuntuales de un conjunto. Sea X
un conjunto. Denotemos por S al conjunto que consiste en el conjunto vaco y en todos
los subconjuntos unipuntuales de X:
S = {}
_
{x}: x X
_
.
Se sabe que S es un semianillo. Describa el anillo generado por S.
Extensi on de medidas, problemas para examen, p agina 2 de 5
Premedidas
15. Escriba la denici on de premedida.
16. Toda premedida es nitamente aditiva. Demuestre que toda premedida cumple
con la propiedad nitamente aditiva.
17. Tarea adicional: la longitud de intervalos semiabiertos es una premedida.
Sea S el conjunto de los intervalos semiabiertos del eje real:
S :=
_
[a, b): a, b R
_
.
Denimos la funci on : S [0, +] mediante la siguiente regla:
([a, b)) :=
_
b a, si a b;
0, si a > b.
Demuestre que es una premedida. Sugerencia: utilice el teorema de Heine-Borel de la
compacidad de intervalos cerrados acotados en R.
18. Teorema de la extensi on de una premedida de un semianillo al anillo ge-
nerado. Enuncie el teorema. La demostraci on se divide en las siguientes partes:
Unicidad.
Denici on de la premedida en el anillo y justicacion de la denicion.
Vericacion de los axiomas de premedida para la funci on .
Clases mon otonas de conjuntos
19. Escriba la denici on de clase monotona de conjuntos.
Los siguientes ejercicios de clases monotonas no se incluyen en el examen.
20. Demuestre que la intersecci on de un conjunto de clases monotonas es una clase
mon otona.
21. Teorema. Demuestre que la clase mon otona generada por un anillo de conjuntos es
un -anillo de conjuntos.
22. Corolario (descripci on del -anillo generado a traves de la clase mon otona
generada). Sea S un semianillo de conjuntos sobre X. Denotemos por Aal anillo generado
por S y por M a la clase monotona generada por A. Demuestre que M es el -anillo
generado por S.
Extensi on de medidas, problemas para examen, p agina 3 de 5
Medidas exteriores
23. Escriba la denici on de medida exterior sobre un conjunto X.
24. Ejemplo. Sea X un conjunto. Denimos : 2
X
[0, +] mediante las siguientes
reglas:
() = 0.
(A) = 1, si A es un subconjunto unipuntual de X.
(A) =

3, si A X y A tiene por lo menos dos elementos diferentes.

Demuestre que es una medida exterior sobre X.
25. Demuestre que toda medida exterior es nitamente subaditiva.
26. Criterio de medida exterior. Muestre que dos condiciones en la denicion de
medida exterior se pueden sustituir por una sola condicion.
27. Teorema de la medida exterior generada por una premedida. Sean A un
anillo de conjuntos sobre X y : A [0, +] una premedida.
Escriba la denici on de la medida exterior

: 2
X
[0, +] generada por .
Demuestre que efectivamente

es una medida exterior.

Demuestre que

(A) = (A) para todo A A.

Extensi on de medidas, problemas para examen, p agina 4 de 5
Construcci on de Caratheodory:
-algebra y medida asociadas a una medida exterior
En los siguientes problemas se supone que : 2
X
[0, +] es una medida exterior.
28. Escriba la denici on de conjunto -medible (o Caratheodory -medible).
Vamos a denotar el conjunto de los conjuntos -medibles por C

.
29. Escriba la denici on de medida completa.
30. Teorema de la -algebra y medida asociadas a una medida exterior. Enuncie
el teorema sobre C

y la restricci on de a C

.
31. Demuestre que C

es una algebra de conjuntos sobre X.

32. Sean A, B C

disjuntos y P X. Demuestre que

(P (A B)) = (P A) +(P B).
33. Sean m {1, 2, 3, . . .}, A
1
, . . . , A
m
C

mutualmente disjuntos y P X. Demuestre

que

_
P
_
m
_
j=1
A
j
__
=
m

j=1
(P A
j
).
34. Sea (A
n
)
nN
una sucesion disjunta en C

y sea
B =
_
nN
A
n
.
Demuestre que B C

y
(B) =

nN
(A
n
).
35. Sean X un conjunto y A una algebra de conjuntos sobre X cerrada bajo uniones
numerables disjuntas. Demuestre que A es una - algebra sobre X.
De los lemas anteriores sigue que C

es una - algebra y la restricci on de a C

es una
medida.
36. Demuestre que {A X: (A) = 0
_
C

y que es completa.
37. Teorema de Caratheodory de extension de una premedida denida en un
anillo a la -algebra generada por este anillo. Enuncie y demuestre el teorema.
Extensi on de medidas, problemas para examen, p agina 5 de 5