Tarea 2

Teorı́a de la Medida.
01 de Abril de 2020 .

Profesores : Diego Rojas La Luz,

Carlos H. Vásquez.

1. Muestre que la función µ : P(N) → R+

0 definida por
X
µ(A) = 2−a ,
a∈A

con A ⊂ N, es una medida. ¿Es esta medida una medida de probabilidad?

2. Digamos que x ∈ [0, 1] es de mala suerte si su expansión decimal no contiene sietes.

Demostrar que el conjunto de todos los números de mala suerte es de medida cero.

3. Sea (X, A, µ) espacio de medida y sea {An } una colección contable de elementos de A tal
que: X
µ(An ) < +∞.
n

a) Muestre que

A = {x ∈ X | x ∈ An para infinitos n ∈ N} = ∩n≥1 ∪k≥n Ak

b) Pruebe que A es medible y, más aún, que tiene medida nula.

4. a) Muestre que una función continua es medible en las σ-álgebras borelianas.

b) Suponga que f (x, y) es una función en R2 que es separadamente continua (es decir,
fijada una variable, f es continua en la otra). Pruebe que f es medible en la σ-álgebra
de Borel usual de R2 .
Hint: Recordar el siguiente resultado visto en clase: El lı́mite µ-ctp de una sucesión
de funciones medibles es medible.

5. Pruebe la siguiente proposición.

 Proposición 1. Sea A una σ-álgebra, y µ : A → R+
0 aditiva sobre A. Las condiciones
siguientes son equivalentes:
a) µ es σ-aditiva,
b) µ es continua en cero en el siguiente sentido: si An ∈ A, An+1 ⊂ An para todo n ∈ N,
y ∩n∈N An = ∅, luego
lı́m µ(An ) = 0,
n→∞

c) µ es continua por debajo, es decir, An ∈ A con An ⊂ An+1 para todo n ∈ N, luego

µ (∪n∈N An ) = lı́m µ(An )

n→∞

6. Sea (X, A, µ) un espacio de medida y A ∈ A una medida. Sea {Di }i∈I una colección de
subconjuntos disjuntos a pares de A. Pruebe que el conjunto {i ∈ I | µ(A ∩ Di ) > 0} es
contable.