UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE CIENCIAS MATEMÁTICAS

ESCUELA PROFESIONAL DE MATEMÁTICAS
ANÁLISIS REAL III

PRÁCTICA N ◦ 4

1. Sea (X, A) un espacio medible, el átomo de A generado por el elemento x ∈ X se define por
\
x= A
x∈A, A∈A

(a) Pruebe que, para todo x ∈ X, el átomo de x es igual a la clase de equivalencia de x módulo
la relación de equivalencia ∼ definida por: x ∼ y si y sólo si para todo A ∈ A se cumple
x ∈ A ⇐⇒ y ∈ A.
(b) Pruebe que si A es numerable entonces A contiene átomos y que cualquier conjunto medible
se escribe como unión a lo más numerable de átomos.

2. Una familia M ⊆ P(X) es llamada monótona si y solo si para toda sucesión monótona (creciente o
decreciente) {Mk } ⊆ M se tiene que lim{Mk } ∈ M. Construya una familia monótona que no sea
una σ-álgebra.
3. Sea X un conjunto no vacı́o y {Ak }k∈N , {Bk }k∈N dos colecciones numerables de subconjuntos de
X. Pruebe las siguientes propiedades

(a) (lim sup{Ak })c = lim inf{Ack }.

(b) lim inf{Ak } ⊆ lim sup{Ak }.
(c) lim sup{Ak ∪ Bk } = lim sup{Ak } ∪ lim sup{Bk }.
(d) lim sup{Ak ∩ Bk } ⊆ lim sup{Ak } ∩ lim sup{Bk }.
(e) Determine las funciones caracterı́sticas 1lim sup{Ak } y 1lim inf{Ak } en términos de 1Ak .
∞ ∞
( ) ( )
X X
(f) lim sup{Ak } = x ∈ X; 1Ak = +∞ y lim inf{Ak } = x ∈ X; 1Ack < +∞
k=1 k=1

4. Sea X un conjunto no vacı́o y P(X) su conjunto potencia. Si definimos µ : P(X) → [0, +∞] por

card (A), si A es finito
µ(A) =
∞, caso contrario
entonces pruebe que (X, P(X), µ) es un espacio de medida.
5. Sea (X, A) un espacio medible y fijemos un a ∈ X. Definimos δa : A → [0, +∞] como

1, si a ∈ A
δa (A) =
0, si a ∈
/A
Pruebe que (X, A, δa ) es un espacio de medida.
6. Sea (X, A, µ) un espacio de medida y fijemos un E ∈ A. Consideramos µE : A → [0, +∞] definida
por µE (A) = µ(A ∩ E). Pruebe que (X, A, µE ) es un espacio de medida.
7. (X, A, µ) es un espacio de medida y fijemos un E ∈ A. Consideramos
AE = {E ∩ A; A ∈ A}
y µE = µ AE
: AE → [0, +∞]. Pruebe que (E, AE , µE ) es un espacio de medida.

1
 8. Sea X un conjunto numerable, f : X → R una función no negativa y A una σ-álgebra en X.
Definimos µ : A → [0, +∞] como
X
µ(∅) = 0, y µ(A) = f (x), ∀ A ∈ A, A 6= ∅
x∈A

¿Es µ una medida?. En caso afirmativo, ¿es una medida σ-finita?

9. Sea (X, A) un espacio medible y sean f, g : X → R funciones tales que

{x ∈ X; f (x) > λ} ∈ A y {x ∈ X; g(x) > λ} ∈ A, ∀λ∈R

Pruebe que los conjuntos

{x ∈ X; f (x) ≤ λ}, {x ∈ X; f (x) = λ}, y {x ∈ X; f (x) < g(x)}

también pertenecen a A, ∀ λ ∈ R.
10. Sea (X, A, µ) un espacio de medida y sean {Ak }, {Bk } ⊆ A dos familias numerables tales que
Ak ⊆ Bk y µ(Ak ) < ∞, ∀ k ∈ N. Mayore las expresiones
∞ ∞ ∞ ∞
! !
[ [ \ \
µ Bk − Ak y µ Bk − Ak
k=1 k=1 k=1 k=1

en términos de µ(Bk ) − µ(Ak ).

11. En cada uno de los casos siguientes, muestre que la función µ es una medida y caracterize los
conjuntos de medida cero.

(a) X un conjunto no vacı́o, A = P(X) y para x ∈ X fijo, µ(A) = 1A (x).

X
(b) X = N, A = P(X) y para (un ) ⊆ R+ dada, µ(A) = un .
n∈A

12. Sea µ una medida finita sobre B(R) y sea F : R → R,

definida por F (x) = µ([x, +∞[).
(a) Pruebe que F es decreciente y continua por la izquierda en R.
(b) Calcule lim F (x) y lim F (x)
x→+∞ x→−∞

(c) Calcule µ({x}) para x ∈ R y pruebe que F es continua en x si y solamente si µ({x}) = 0 ¿Qué
podemos deducir sobre el conjunto D = {x ∈ R; µ({x}) 6= 0}?
13. Sea (X, A, µ) un espacio de medida. Decimos que N ⊆ P(X) es despreciable con respecto a la medida
µ, o simplemente µ-despreciable, si y solo si existe A ∈ A tal que N ⊆ A y µ(A) = 0. Denotemos por
N a la familia de todos todos los subconjunto µ-despreciables y por A = {A ∪ N ; A ∈ A y N ∈ N }.

(a) Pruebe que C ∈ A si y solo si existen A, B ∈ A tales que A ⊆ C ⊆ B y µ(B − A) = 0.

(b) Pruebe que A es una σ-álgebra y A ⊆ A.
(c) Dado C ∈ A, definimos

µ(C) = µ(A), si A ⊆ C ⊆ B y µ(B − A) = 0

Pruebe que µ está bien definida como función y que es una medida completa sobre A que
coincide con µ sobre A.
(d) Pruebe que µ es una medida completa sobre A.

2
14. Sea (X, d) un espacio métrico y µ una medida finita sobre los boreleanos de X. Decimos que
A ∈ B(X) verifica la propiedad de regularidad (*) si y solo si

µ(A) = inf{µ(U ); U ⊆ X es abierto y A ⊆ U } = sup{µ(F ); F ⊆ X es cerrado y F ⊆ A}

(a) Pruebe que todo cerrado de X verifica (*).

(b) Pruebe que los subconjuntos de X que verifican (*) es una σ-álgebra de X.
(c) Deducir que todo boreleano de X verifica (*).

15. Sea (X, A, µ) un espacio de medida y E la unión de una familia numerable de conjuntos de medida
finita. Sea B una familia disjunta de conjuntos medibles. Pruebe que µ(E ∩ B) 6= 0, para, a lo más,
una cantidad numerable de elementos B de B.
16. Sea (X, A, µ) un espacio de medida, Y un conjunto no vacı́o y f : X → Y . Pruebe que la función
ν : f (A) → [0, +∞] definida por ν(B) = µ(f −1 (B)), ∀ B ∈ f (A) es una medida sobre (Y, f (A))
(Observación: ν es llamada medida imagen.)
17. ¿Puede definirse una medida imagen recı́proca? Justifique su respuesta.
18. Sea (X, A, µ) un espacio de medida. Se define en A la siguiente relación:

P ∼ Q ⇐⇒ µ(P ∆Q) = 0

Pruebe que “∼” es una relación de equivalencia en A y que P ∼ Q implica que

µ(P ) = µ(Q) = µ(P ∩ Q)

Defina también
d(P, Q) = µ(P ∆Q)
¿Es “d” una distancia en A? ¿Se puede definir mediante d una distancia en el conjunto cociente de
A respecto de la relación de equivalencia antes establecida?
19. Sea (X, A) un espacio medible

(a) Si µ1 , µ2 dos medidas definidas en A y α1 , α2 son dos números reales no negativos. Pruebe
que α1 µ1 + α2 µ2 es también una medida en A.
(b) Generalize el ı́tem anterior para una combinación finita de números reales no negativos y
medidas.
(c) Sea (αk ) una sucesión de números reales no negativos y {µk } una sucesión de medidas definidas
X∞
en A. ¿Es αk µk una medida?
k=1

20. Sea (X, A, µ) un espacio de medida. y sea {Ak }k∈N ⊆ A. Pruebe que

(a) µ(lim inf{Ak }) ≤ lim inf{µ(Ak )}.

!
[
(b) Si lim sup{µ(Ak )} < ∞ y existe r ∈ Z+ tal que µ Ak < ∞ entonces pruebe que
k>r

µ(lim sup{Ak }) ≥ lim sup{µ(Ak )}

(c) Si además de las condiciones anteriores se tiene que {Ak } tiene lı́mite, pruebe que la sucesión
(µ(Ak )) es convergente y se verifica

lim µ(Ak ) = µ(lim{Ak })

k→∞

3
21. Los siguientes ejemplos prueban que las desigualdades (a) y (b) del ejercicio anterior pueden ser
estrictas, y que las condiciones bajo las que se han obtenido (c) son necesarias. En cada uno de
ellos se considera la medida µ definida por µ(A) = card (A), para A ⊆ N.

(a) Sea Ak = {x ∈ N; x ≥ k}, k ∈ N. Pruebe que

µ(lim inf{Ak }) < lim inf{µ(Ak )} y µ(lim sup{Ak }) < lim sup{µ(Ak )}

Pruebe además que la sucesión {Ak } tiene lı́mite. (Observación: En este caso no se verifican
ni (b) ni (c) aunque {Ak } tiene lı́mite).
(b) Sea Ak = {k, k + 1}, k ∈ N. Pruebe que

µ(lim inf{Ak }) < lim inf{µ(Ak )} y µ(lim sup{Ak }) < lim sup{µ(Ak )} < ∞

(Observación: En este caso tampoco se verifican (b) ni (c) aunque el lı́mite superior de {µ(Ak )}
es finito).
(c) Sea Ak = {0, 1} si k es par y sea Ak = {1, 2} si k es impar. Pruebe que

µ(lim inf{Ak }) < lim inf{µ(Ak )} = lim sup{µ(Ak )} < µ(lim sup{Ak }) < ∞

Pruebe además que la sucesión {Ak } no tiene lı́mite. (Observación: En este caso se verifican
(a) y (b) y ambas son desigualdades estrictas. No se cumple (c) porque {Ak } no tiene lı́mite).

22. Sean µ y ν dos medidas sobre la misma σ-álgebra. Decimos que ν es continua con respecto a µ si
y solo si µ(A) = 0 implica que ν(A) = 0.
Pruebe que los dos enunciados siguientes, son equivalentes:

(a) ν es continua con respecto a µ.

(b) Dado  > 0, existe δ > 0 tal que si µ(A) < δ entonces ν(A) < .

23. Pruebe que toda σ-álgebra es un λ-sistema pero proporcione un ejemplo de λ-sistema que no sea
σ-álgebra.

24. En cada uno de los siguientes casos, determine si la familia F ⊆ P(X) dada es un π-sistema, un
λ-sistema o ambos. Justifique su respuesta.

(a) X = R, F : familia de todos intervalos de la forma ]a, b].

(b) X = R, F : familia formada por uniones finitas de intervalos de la forma ]a, b].
Yn
(c) X = Rn , F : familia de todos n-bloques de la forma ]ai , bi ].
i=1
n
Y
(d) X = Rn , F : familia formada por uniones finitas de n-bloques de la forma ]ai , bi ].
i=1
(e) X = Rm y F = J (Rm ).
(f) X = B un m-bloque y F: familia de todos los conjuntos J-medibles contenidos en B.

Renato Benazic
Ciudad Universitaria, mayo del 2025