Ejercicio Teorı́a de la Medida e Integración.
Manuel Aguilar Román.
Vı́ctor Manuel Santos Garcı́a.
Alberto Sánchez Muñoz.
Andrés Romero Roldán.
Teorema . Sea (X, M, µ) un espacio de medida. Definamos
M̄ = {E ∪ F : E ∈ M, F ⊂ N ∈ M, µ(N ) = 0}
y µ̄ : M̄ → [0, +∞] mediante
µ̄(A) = µ(E), donde A = E ∪ F, E ∈ M, F ⊂ N ∈ M, µ(N ) = 0.
Entonces:
(a) M ⊂ M̄, M̄ es una σ-álgebra y µ̄ está bien definida.
(b) (X, M̄, µ̄) es un espacio de medida completo y µ̄|M = µ.
(c) Si (X, N , ν) es otro espacio de medida completo tal que M ⊂ N y
ν|M = µ, entonces M̄ ⊂ N y ν|M̄ = µ̄.
Demostración:
a) Veamos primero que M ⊂ M̄. Esto es fácil, simplemente considera-
mos A ∈ M y tenemos que A = A ∪ ∅, y se tiene que ∅ ⊂ ∅ ∈ M, y µ(∅) = 0.
Luego A ∈ M̄.
Veamos ahora que M̄ es una σ-álgebra. Para ello, se han de cumplir las
siguientes condiciones:
1. X ∈ M̄: Como ya hemos visto arriba, tenemos que M ⊂ M̄, luego,
como X ∈ M ⇒ X ∈ M̄.
2. Si A ∈ M̄, entonces Ac ∈ M̄: Sea A ∈ M̄, entonces A = E ∪ F ,
con E ∈ M y F ⊂ N , donde N ∈ M y µ(N ) = 0.
1
Tenemos que Ac = (E ∪ F )c = E c ∩ F c . Se tiene además que, como
˙ c \N c ) = N c ∪(F
F ∪ N ⇒ N c ∪ F c . Por lo tanto, F c = N c ∪(F ˙ c ∩ N ).
Con esto, podemos escribir:
Ac = (E ∪F )c = E c ∩F c = E ∩(N c ∪(F c ∩N )) = (E c ∩N c )∪(E c ∩(F c ∩N )).
Como E, N ∈ M, y M es una σ-álgebra, entonces E c ∩N c ∈ M. Además,
se tiene que E c ∩ F c ∩ N ⊂ N ∈ M, y µ(N ) = 0, luego la expresión anterior
representa un elemento de M̄, es decir, Ac ∈ M̄.
∞
S∞3. Dada la familia {Ai }i=1 , con Ai ∈ M̄, ∀i ∈ N, se tiene que
i=1 Ai ∈ M̄:
Efectivamente, si consideramos una familia de subconjuntos {Ai }∞ i=1 , con
Ai ∈ M̄, ∀i ∈ N, se tiene que Ai = Ei ∪ Fi , con Ei ∈ M, ∀i ∈ N, y Fi ⊂ Ni ,
con Ni ∈ M y µ(Ni ) = 0, ∀i ∈ N.
Si consideramos la unión de todos estos Ai , tenemos que:
[
∞ [
∞ [
∞ [
∞
Ai = (Ei ∪ Fi ) = ( Ei ) ∪ ( Fi ).
i=1 i=1 i=1 i=1
S∞
Donde, evidentemente, porSser M una S∞σ-álgebra, se tiene que i=1 Ei ∈ M,
S∞
∞
y además se cumple que i=1 Fi ⊂ i=1 Ni , y se tiene que i=1 Ni ∈ M.
Veamos que este último conjunto tiene medida µ igual a cero:
[
∞ X
∞
0 ≤ µ( Ni ) ≤ µ(Ni ) = 0.
i=1 i=1
S∞
Lo cual demuestra que i=1 Ai ∈ M̄ y, por lo tanto, que M̄ es una σ-álgebra.
Ahora, hemos de ver que la medida µ̄ está bien definida, lo cual significa
que si tengo un A ∈ M̄ que se puede escribir como:
A = E ∪ F = E′ ∪ F ′.
Donde E, E ′ ∈ M, y F ⊂ N , con N ∈ M y µ(N ) = 0 (lo mismo con
F ′ ⊂ N ′ ), entonces se tiene que:
µ̄(E ∪ F ) = µ̄(E ′ ∪ F ′ ) ⇔ µ(E) = µ(E ′ ).
2
Efectivamente, haciendo uso de que, si A, B ∈ M, entonces se tiene que
µ(A) ≤ µ(A ∪ B) ≤ µ(A) + µ(B), y considerando A ∈ M̄ como arriba, se
tiene que:
µ(E) ≤ µ(E ∪ N ) = µ(E ′ ∪ N ′ ) ≤ µ(E ′ ) + µ(N ′ ) = µ(E ′ )
µ(E ′ ) ≤ µ(E ′ ∪ N ′ ) = µ(E ∪ N ) ≤ µ(E) + µ(N ) = µ(E).
Lo cual demuestra que µ(E) = µ(E ′ ), y esto implica que, si E ∪ F =
E′ ∪ F ′ , entonces µ̄(E ∪ F ) = µ̄(E ′ ∪ F ′ ). Por lo tanto, µ̄ está bien definida.
3
b) Comprobemos que (X, M̄, µ̄) es un espacio de medida. Partimos de
que ya conocemos que M̄ es una σ-álgebra. Veamos que µ̄ es una medida:
Primero, vemos que efectivamente µ̄(∅) = µ(∅) = 0, ya que ∅ = E ∪ F ,
donde tenemos los conjuntos E = ∅ ∈ M y F = ∅ ⊂ ∅ con µ(∅) = 0.
A continuación, sea {Ai }∞i=1 familia
S numerable P∞ y disjunta de elementos
de M̄, queremos comprobar que µ̄( ∞ A
i=1 i ) = i=1 µ̄(Ai ). Como Ai ∈ M,
∞ ∞ ∞
existen las familias {Ei }i=1 , {Fi }i=1 , {Ni }i=1 numerables tales que Ai =
Ei ∪Fi , Ei ∈ M, Ni ∈ M y µ(Ni ) = 0 para todo i ∈ {1, . . . }. Dado que los Ai
son conjuntos disjuntos y que Ei ⊂ Ai ∀i, tenemos que Ei ∩Ej ⊂ Ai ∩Aj = ∅.
Análogamente, comprobamos que Fi ∩ Fj . A consecuencia de esto:
[
∞ [
∞ [
∞ [
∞ [
∞
µ̄( Ai ) = µ̄( (Ei ∪ Fi )) = µ̄(( Ei ) ∪ ( Fi )) = µ( Ei ) =
i=1 i=1 i=1 i=1 i=1
X
∞ X
∞
= µ(Ei ) = µ̄(Ai )
i=1 i=1
Por tanto, µ̄ es medida, luego (X, M̄, µ̄) es espacio de medida. Veamos
ahora que es completo.
Sean A ∈ M̄ con µ̄(A) = 0 y B ⊂ A. Dado que A ∈ M̄, existen E ∈ M,
F ⊂ N ∈ M con µ(N ) = 0 y A = E ∪ F . Entonces, µ̄(A) = µ(E) = 0,
y por tanto B = ∅ ∪ B, donde B ⊂ A = E ∪ F = E ∪ N ∈ M y
µ(E ∪ N ) ≤ µ(E) + µ(N ) = 0 ⇒ µ(E ∪ N ) = 0.
Por tanto, B ∈ M̄. En otras palabras, (X, M̄, µ̄) es un espacio de medida
completo.
4
c) Si (X, N , ν) es otro espacio de medida completo tal que M ⊂ N y
ν|M = µ, comprobemos que M ⊂ N y ν|M = µ:
Sea N una σ-álgebra tal que M ⊂ N . Veamos que M ⊂ N .
Sea A ∈ M, luego, A = E ∪ F con E ∈ M, F ⊂ N ∈ M, µ(N ) = 0.
Por un lado, E ∈ M ⇒ E ∈ N .
Por otro lado, como (X, N , ν) es completo y ν|M = µ,
tenemos que F ⊆ N ∈ M con µ(N ) = ν(N ) = 0, luego F ∈ N .
Por lo tanto, E ∈ N , F ∈ N ⇒ A = E ∪ F ∈ N .
Comprobemos ahora que ν|M = µ.
Tomemos A ∈ M. Veamos que ν(A) = µ(A), donde A = E ∪ F con
E ∈ M, F ⊂ N ∈ M, µ(N ) = 0.
µ(A) = µ(E) = ν(E) ≤ ν(E ∪ F ) = ν(A).
Luego,
µ(A) ≤ ν(A).
Por otro lado, ν(A) = ν(E ∪ F ), donde A = E ∪ F , E ∈ M, F ⊆ N ∈ M
tal que µ(N ) = ν(N ) = 0.
Luego,
ν(A) = ν(E ∪ F ) ≤ ν(E ∪ N ) ≤ ν(E) + ν(N ) = ν(E) = µ(E) = µ(A).
Por lo tanto,
ν(A) ≤ µ(A).
Finalmente, tenemos que ν(A) = µ(A).
