Completación de una medida

Objetivos. Definir el concepto de medida completa y demostrar que toda medida posee
una completación.
Requisitos. σ-álgebra, medida.
1. Definición (medida completa). Sea (X, F, µ) un espacio de medida. Se dice que µ
es completa si para todo A ∈ F tal que µ(A) = 0 y para todo B ⊂ A se tiene que B ∈ F.
2. Definición (completación de una medida). Sea X un conjunto y sean µ : F → R+
y ν : G → R+ medidas sobre X. Se dice que ν es una completación de µ si F ⊂ G, ν es
completa y ν(E) = µ(E) para todo E ∈ F.
3. Lema. Sea (X, F, µ) un espacio de medida y sean E ⊂ X y A, B ∈ F conjuntos tales
que
A ⊂ E ⊂ B, µ(B \ A) = 0.
Entonces
µ(A) = µ(B) = sup µ(F ) : F ∈ F, F ⊂ E = inf µ(G) : G ∈ F, G ⊃ E .
 

Demostración. Por la propiedad aditiva, µ(B) = µ(A) + µ(B \ A) = µ(A).

Sea F ∈ F tal que F ⊂ E. Entonces F ⊂ B y por lo tanto µ(F ) ≤ µ(B). Esto significa
que µ(B) es el máximo del conjunto
{µ(F ) : F ∈ F, F ⊂ E}.
De manera similar, µ(A) es el mı́nimo del conjunto
{µ(F ) : G ∈ F, G ⊃ E}.
4. Teorema (completación de una medida). Sea (X, F, µ) un espacio de medida.
Entonces existe una σ-álgebra F e: F
e sobre X y una medida completa µ e → R+ tales que
F ⊂ F,
e µe es completa y µe(E) = µ(E) para todo E ∈ F.
Demostración. I. Definamos F
eyµ
e. Pongamos
F
e := E ⊂ X : ∃A, B ∈ F A ⊂ E ⊂ B

∧ µ(B \ A) = 0 .

Para todo E ∈ F
e definamos µ
e(E) mediante la fórmula:
e(E) = inf µ(G) : G ∈ F, E ⊂ G .

µ
Por el lema, el ı́nfimo se alcanza y es igual con el siguiente supremo que también se
alcanza:
e(E) = sup µ(F ) : F ∈ F, F ⊂ E .

µ
II. Si E ∈ F, entonces poniendo A = B = E tenemos que A ⊂ E ⊂ B y µ(B \ A) = 0, ası́
que E ∈ F e yµ e(E) = µ(E). Esto quiere decir que F ⊂ F
e y la función µ
e es una extensión
de la función µ.

Completación de una medida, página 1 de 3

III. Demostremos que F
e es una σ-álgebra.
X∈F e porque X ∈ F y F ⊂ F.
e
Sea E ∈ F.
e Elijamos A, B ∈ F tales que A ⊂ E ⊂ B y µ(B \ A) = 0. Entonces
c c c
B ⊂E ⊂A,
Ac \ B c = B \ A
y por lo tanto µ(Ac \ B c ) = 0, ası́ que E c ∈ F.
e

Sea (En )n∈N una sucesión en F.

e Elijamos An , Bn ∈ F tales que

An ⊂ En ⊂ Bn , µ(Bn \ An ) = 0.

Pongamos
∞
[ ∞
[ ∞
[
F = En , C= An , D= Bn .
n=1 n=1 n=1

Entonces C ⊂ F ⊂ D y
∞
! ∞ ∞ ∞
[ [ [ [
D\C = Bn ∩ Cc = (Bn ∩ C c ) ⊂ (Bn ∩ Acn ) = (Bn \ An ),
n=1 n=1 n=1 n=1

por lo tanto
∞
X
µ(D \ C) ≤ µ(Bn \ An ) = 0
n=1

y F ∈ F.
e

IV. Demostremos que µ

e es una medida.
Como ∅ ∈ F, µ
e(∅) = µ(∅) = 0.
Demostremos que µ e es σ-aditiva. Sea (En )n∈N una sucesión en F
e de conjuntos disjuntos
y sean An , Bn , C, D, F como antes. Si j 6= k, entonces

Aj ∩ Ak ⊂ Ej ∩ Ek = ∅,

ası́ que los elementos de la sucesión (An )n∈N son disjuntos. Por lo tanto
∞
X ∞
X
µ
e(F ) = µ(C) = µ(An ) = µ
e(En ).
n=1 n=1

V. Demostremos que µ e es completa. Sean A ∈ F e y E ⊂ X tales que µ

e(A) = 0 y E ⊂ A.
Entonces por la definición de F y µ
e e existe un B ∈ F tal que A ⊂ B y µ(B) = 0. Como
∅ ⊂ E ⊂ B y µ(B \ ∅) = 0, concluimos que E ∈ Fe.

Completación de una medida, página 2 de 3

5. Ejercicio (pseudodistancia entre conjuntos inducida por una medida exte-
rior). Sea ϕ : 2X → R+ una medida exterior. Definimos d : 2X × 2X → R+ mediante la
regla
d(A, B) := ϕ(A 4 B).
Demuestre que d es una pseudodistancia en 2X , esto es,

d(A, B) ≥ 0 para cualesquiera A, B en 2X ,

d(A, A) = 0 para cualquier A en 2X ,

d(A, B) = d(B, A) para cualesquiera A, B en 2X ,

d(A, B) ≤ d(A, C) + d(C, B) para cualesquiera A, B, C en 2X .

6. Ejercicio. Sea (X, F, µ) un espacio de medida y sea µ∗ : 2X → R+ la medida exterior

generada por µ. Definimos d como en el ejercicio anterior. Por otro lado, sea F
e la σ-álgebra
definida en el teorema sobre la completación de medida:

F
e := E ⊂ X : ∃A, B ∈ F A ⊂ E ⊂ B ∧ µ(B \ A) = 0 .


Demuestre que F
e es la cerradura de F respecto a la pseudométrica d.

Completación de una medida, página 3 de 3