Universidad Nacional de Ancash Escuela Profesional de Matemática
Santiago Antúnez de Mayolo Asignatura: Introducción a la teorı́a de la
Semestre, 2022 – II medida
EJERCICIOS
MEDIDAS
1. Sean (X, S) un espacio medible, µ1 , µ2 : 6. Sea {µn } una sucesion (finita o infinita) de
S → R medidas y c1 , c2 ≥ 0 entonces: medidas definidas sobre laPmisma σ-algebra
S. Definase la suma µ = n µn de las me-
µ = c1 µ 1 + c2 µ 2 : S → R
didas como:
es una medida tambien. !
X X
2. Sean (X, S) un espacio medible, µ : S → R µn (E) = µn (E) E ∈ S
n n
una medida y E ∈ S con µ(E) > 0. Defini-
mos µE : S → R como sigue: Demuestre que
P
µn es una medida.
n
E
µ (F ) = µ(E ∩ F ) con F ∈ S
7. Sea (X, S, µ) un espacio medible. Si Y ⊂ X
Muestre que µE es una medida en (X, S), un elemento de S. Definimos SY = S ∩ Y y
esta es llamada medida de la contracción la aplicación
de µ a E.
µ |Y : S |Y −→ R+
3. Sean (X, S) un espacio medible, µ : S → R
una medida y E ∈ S con µ(E) > 0. Defini- E 7−→ µ |Y (E) = µ(E ∩ Y )
mos µE : S ∩ E → R mediante la fórmula:
Muestre que µ |Y en una medida en
µE (F ) = µ(F ) si F ∈ S ∩ E. Y, S |Y , µ |Y , ( llamada medida inducida).
Muestre que µE es una medida sobre E, lla-
8. Dados dos espacios medibles (X1 , Σ1 ) y
mada medida de la restricción de µ a E.
(X2 , Σ2 ), una función medible f : X1 → X2
4. Sea (X, S) un espacio medible y µ : S → R y una medida µ : Σ1 → [0, +∞].
una medida. Si (An ) es una sucesión de el- Definamos µ̃f : Σ2 → [0, +∞] tal que
ementos de S. Muestre que:
µ̃f (B) = µ f −1 (B)
∞
! ∞
[ X
µ An ≤ µ (An )
para B ∈ Σ2 . Probar que µ̃f es una medida
n=1 n=1
en Σ2 .
5. Verifique en cada caso, si µ es una medida
en (R, P(R)) : 9. Sea (X, S) un espacio medible. Si {µn }n∈N
(a) µ(E) = 0 si E es finito o vacı́o, µ(E) = es una sucesión de medidas sobre S tales
∞ caso contrario. que: µn (X) = 1 y definamos
(b) µ(E) = 0 si E es numerable o vacı́o, ∞
µ(E) = ∞ caso contrario. λ(E) =
X
2−n µn (E) para todo E ∈ S
(c) µ(E) = 0 si E es numeraable o vacı́o, n=1
µ(E) = 1 caso contrario.
(d) µ(E) = 0 si E es vacı́o, µ(E) = ∞ caso Probar que λ es una medida sobre S y
contrário. λ(X) = 1.
Docente: Msc. Vladimir Rodriguez Sabino
Huaraz, marzo del 2023