UTFSM

Prof.: Alberto Mercado Saucedo.

Departamento de Matematica.
Ayud.: Patricio Guzman
MAT-224 AN

ALISIS II
GU

IA 1.
Problema 1. Sea (X, T ) un espacio medible. Para a X denimos
a
: T R
+
como

a
(A) =
_
1 si a A
0 si a / A.
(1) Probar que
a
es una medida.
(2) Si f M entonces
_
fd
a
= f(a).
Problema 2. Sean X
1
y X
2
dos conjuntos y f : X
1
X
2
una funcion.
(1) Demuestre que si T
2
P(X
2
) es una -algebra, entonces
T = f
1
(T
2
) = {f
1
(B) : B T
2
}
es una -algebra de conjuntos de X
1
.
(2) Sea T
1
P(X
1
) una -algebra. Encuentre un ejemplo para mostrar que
f(T
1
) = {f(A) : A T
1
}
no siempre es una -algebra.
(3) Sea T
1
P(X
1
) una -algebra. Mostrar que el conjunto
T

= {B X
2
: f
1
(B) T
1
}
es una -algebra de subconjuntos de X
2
.
(4) Mostrar que para todo S
2
P(X
2
) se tiene que
(f
1
(S
2
)) = f
1
((S)).
Problema 3. Sean X un conjunto, A P(X) un algebra, T = (A), y : T R
+
una
medida nita. Demuestre que para todo B T y para todo > 0, existe A A tal que
(AB) . (Recuerde que AB = (A\ B) (B \ A), la diferencia simetrica de A y B).
Problema 4. Sean J R un intervalo, S
J
= {I J | I es intervalo nito.} y : S
J
R
nitamente aditiva.
(1) Muestre que existe alguna funcion F : J R tal que =
F
, la medida de Stieltjes
denida por F (i.e. tal que ([a, b)) = F(b) F(a)).
(2) Pruebe que si es aditiva entonces F es continua por la izquierda y determine
((a, b)), ((a, b]) y ([a, b]) en terminos de F.
Problema 5. Sea T una -algebra y : T R
+
una medida. Sean (A
n
)
n0
T y F
el conjunto de todos los x E que pertenecen a una innidad de elementos de la sucesion
(A
n
)
n0
.
(1) Pruebe que F =

n0
_
kn
A
k
, y deduzca que F T .
(2) Pruebe que si

n0
(A
n
) < entonces (F) = 0.
1
2 MAT-224 AN

ALISIS II GU

IA 1.
Problema 6. Sean C una semi-algebra y : C [0, +] nitamente aditiva. Pruebe que
se extiende directamente (sin necesidad de usar el teorema de extenson) al algebra generada
A(C). Denimos : C [0, +] por
(A) = sup{(B) | B A, B A(C), (B) < +}
Muestre que:
(1) es nitamente aditiva.
(2) Existen
1
y
2
nitamente aditivas tales que =
1
+
2
,
1
=
1
y
2
= 0 (decimos
que
1
es semi-nita y
2
es puramente innita).
(3) es semi-nita.
(4) Si es aditiva entonces lo es.
Problema 7. El objetivo de este ejercicio es exhibir un Boreliano de R no numerable y de
medida de Lebesgue nula.
Considere la secuencia (A
n
)
n0
de subconjuntos de [0, 1] denida por
A
0
= [0, 1],
A
1
= [0, 1/2] [2/3, 1],
A
2
= [0, 1/3
2
] [2/3
2
, 1/3] [2/3, 7/3
2
] [8/3
2
, 1],
Si A
n
=

1pN
[a
n,p
, b
n,p
] con a
n,p
< b
n,p
, entonces:
A
n+1
=
_
1pN
__
a
n,p
, a
n,p
+
b
n,p
a
n,p
3
_
_
_
a
n,p
+ 2
b
n,p
a
n,p
3
, b
n,p
__
.
Denimos
C =

n0
A
n
.
El conjunto C se llama Conjunto Triadico de Cantor (hacer el dibujo para las primeras
etapas).
(1) Vericar que para todo entero n, el conjunto A
n
esta formado de 2
n
intervalos cerrados
dos a dos disjuntos y que (A
n
) = 2
n
/3
n
, donde es la medida de Lebesgue.
(2) Mostrar que C es un Boreliano no vaco y de medida de Lebesgue nula.
(3) Sin utilizar la pregunta anterior, mostrar que C
c
es un Boreliano y que (C
c
) = 1.
(4) Vericar que C esta en biyeccion con [0, 1] y que es, por lo tanto, no numerable.
(Hint: el conjunto C\{1} es el conjunto de los reales de (0, 1) cuyo desarrollo en base
3 contiene solo las cifras 0 y 2).
(5) Modique la construccion del conjunto C para obtener un nuevo conjunto de Cantor,
pero con medida de Lebesgue positiva.
Problema 8. Dados , R, = 0, sea T : R R denida por T(x) = x + . Sean
la medida de Lebesgue en R y

la medida exterior asociada. Sea E R.

(1) Probar que

(T(E)) = ||

(E).
(2) Probar que T(E) es Lebesgue medible si y solo si T(E) es Lebesgue medible.