Ejercicios de Teora de la Medida

19 de mayo de 2007

Ejercicio 1 a) El conjunto Q es un boreliano de R? Cules son los borelianos de R contenidos en Q?

b) La tribu ( -lgebra) boreliana de R es el conjunto de las uniones numerables de intervalos? (su intuicin
ser demostrada en el ejercicio 3.)
c) Dar un ejemplo de un boreliano de R de medida de Lebesgue > 0 que no contenga ningn intervalo abierto
no vaco.
d) De manera general, si A es un boreliano de R, encontrar un boreliano A0 A que no contenga ningn
intervalo abierto no vaco y tal que (A0 ) = (A) donde es la medida de Lebesgue.
e)Encontrar una sucesin decreciente de borelianos An de R (es decir, n N : An+1 An ) que cumplan
con ( An ) 6= lm (An ).
n+
nN
Por qu en un ejemplo de este tipo se tiene necesariamente (An ) = + n N? Qu sucede con las
sucesiones crecientes? (Una demostracin formal de este resultado es pedida en el ejercicio 4).
*

Ejercicio 2 Sea X 6= un conjunto no numerable. Sea A el conjunto de las partes E de X tales que: ya sea
E o E c (el complemento de E ), sea numerable.
a) Demuestre que A forma una -lgebra1 .
b) Muestre que la funcin denida sobre A por (E) = 0 si E es numerable, (E) = 1 si no, es una
medida.
*

Ejercicio 3

a) Mostrar que un abierto de R es una reunin numerable de intervalos abiertos disjuntos.

b) Mostrar que la -lgebra boreliana de R (frecuentemente notada B(R)) es generada por los intervalos
de la forma (, a], donde a Q.
*

Ejercicio 4 Sea X un conjunto no vaco, B una -lgebra sobre este conjunto y una medida sobre (X, B).
Sea (An )nN una sucesin de elementos de B.
a) Muestre que si (An )n es creciente se tiene lm (An ) = ( lm An ).
n+

ver tambin Ejercicio

de la hoja de ejercicios de probabilidades [1].

n+

b)

- Muestre que para dos conjuntos A B B tal que (B) < + se tiene (B \ A) = (B) (A).
- Muestre que si (An )n es decreciente y existe n N tal que (An ) < +, entonces
lm (An ) = ( lm An ).
n+

n+

Ejercicio 5 Sean (An )n una familia numerable de subconjuntos de X . Llamaremos A al conjunto de los
x X que se encuentran en una innidad de los An . Llamaremos Acola al conjunto T
de los x que pertenecen
a todos los An salvo puede ser a un nmero nito de ellos. Tenemos por supuesto
An Acola A
nN

An .

S
nN

a) Muestre que A =

T S

Am y que Acola =

nNmn

S T

Am .

nNmn

b) Mostrar
que si An es decreciente
T
S (resp. creciente) con respecto a la inclusin, entonces Acola = A =
An (resp. Acola = A =
An ).
nN

nN

c) Denimos Bn = X \ An . Comparar B , Bcola a A , Acola .

En lo sucesivo, se supone que A es una -lgebra sobre X y que es una medida sobre (X, A).
d) Si An A para todo n N, muestre que2 Acola , A A.
e) Bajo la misma hiptesis que en d), muestre que lm (
n+

Am ) = (Acola ) (A ) lm

(Am ).

n+mn

mn

f) Deduzca
de esto el teorema de Borel-Cantelli. Si An es una sucesin de conjuntos medibles que cumplen
P
(An ) < +, entonces, casi todo punto x de X pertenece solamente a un nmero nito de An .
nN

Se le ocurre un ejemplo grco de este teorema? en R2 por ejemplo.

g) Si existe n tal que (

Am ) < +, mostrar que (A ) = lm (

n+

mn

Am ).

mn

Ejercicio 6 En este ejercicio cuando se escriba p/q Q, se supondr que la fraccin p/q es irreductible.
Para n N y  > 0 jo, se dene: An, =
An =

T
>0

] pq

p
Q
q

 p
qn , q


qn [

y Aen, = An, [0, 1]. Denimos tambin

en = T A
en, .
An, y A
>0

a) Muestre que An, y An son densos3 en R. Estos conjuntos son borelianos?

2
3

ver tambin Ejercicio

Se dice que el conjunto

de la hoja de ejercicios de probabilidades [1].

es denso en

si todo intervalo abierto no vaco contiene un punto de

A.

b) Muestre que la medida de Lebesgue (Aen, ) es mayorada por (2 + 2

q n+1 ).

q2

c) Para n 3, muestre que (An ) = 0.

d) Muestre que

2l

102

An . Deduzca de esto que

*

Ejercicio 7

(V ) < .

An 6= Q.

nN

nN

lN

a) Muestre que para todo  > 0, se puede encontrar un abierto V R denso en R y tal que

b) Construya un compacto F R cuya medida de Lebesque sea > 0 y que no contenga ningn intervalo
abierto no vaco.
*

Ejercicio 8 Retomamos las notaciones del ejercicio 6.

a) Muestre que An no es numerable.
nN

b) Muestre que An \ Q es denso en R.

nN

c) Muestre que A2,1 = R. Para esto, se ja x R, y con la notacin bmxc para la parte entera de mx,
observe que todos los n + 1 puntos de qx bqxc, q = 0, ..., n estan en [0, 1[ y que entonces necesariamente, existen dos enteros distintos q1 , q2 tales que |q1 x bq1 xc (q2 x bq2 xc)| < 1/n.
d) Muestre que A1 = R.
*

Ejercicio 9 Muestre que4 una -lgebra B sobre un conjunto X , que no es nita, no es numerable.
De una descripcin de las -lgebras nitas sobre un conjunto X .
*

ver tambin Ejercicio

de la hoja de ejercicios de probabilidades [1].