Completación de Medidas.

Resumen
Definición de medida completa. Caracterización. Completación de medidas.

1 Medidas completas
Definición 1.1. Sea (X, F, µ) un espacio de medida. Decimos que µ es completa
si para todo F ∈ F , si µ(F ) = 0 entonces E ∈ F , para todo E ⊂ F .
Ejemplo 1.1. Medidas Completas:
1. (R, M(λ∗ ), λ).

2. ([0, 1], M[0,1] (λ∗ ), λ).

3. Sea X un conjunto infinito no numerable,

F = {A ⊂ X : A es contable o X\A es contable},

y sea µ : F → {0, 1}, dada por

(
0 si A contable,
µ(A) =
1 si X\A contable.

Entonces µ (definida sobre F) es completa.

Ejemplo 1.2. Medidas no completas:
1. (R, B(R), λ).

2. ([0, 1], B([0, 1]), λ).

3. Sea X un conjunto infinito no numerable,

F = {A ⊂ X : A es contable o X\A es contable},

y sea µ : F → {0, 1}, dada por

(
0 si x0 ∈
/ A,
µ(A) =
1 si x0 ∈ A,

donde x0 ∈ X es fijo. Entonces µ (definida sobre F) no es completa.

1
 Una de las ventajas principales de contar con medidas completas se enuncia a
continuación.
Proposición 1.1. Sea (X, F, µ) un espacio de medida tal que µ es completa. Si
f : X → R es una función medible y g : X → R es una función tal que f = g µ-c.d.,
entonces g es medible.

Demostración. Existe un conjunto F ∈ F tal que {x ∈ X : f (x) 6= g(x)} ⊂ F y

µ(F ) = 0. Ahora, para todo ξ ∈ R,
{x ∈ X : g(x) ≤ ξ} = ({x ∈ X : g(x) ≤ ξ} ∩ F ) ∪ ({x ∈ X : g(x) ≤ ξ}\F ).
Pero {x ∈ X : g(x) ≤ ξ}∩F ⊂ F , y como µ es completa, {x ∈ X : g(x) ≤ ξ}∩F ∈ F .
Y por otro lado
{x ∈ X : g(x) ≤ ξ}\F = {x ∈ X : f (x) ≤ ξ}\F ∈ F,
dado que f es medible. Luego {x ∈ X : g(x) ≤ ξ} ∈ F y por consiguiente g es
medible.

Para terminar esta sección, probaremos que el modelo de construcción del espacio
(X, M(µ∗ ), µ∗ ) – de las notas pasadas –, proporciona un medida que de hecho es
completa. Para ello enunciamos un resultado previo cuya prueba se deja al estudiante
como tarea.
Lema 1.1. Sea X un conjunto y E ⊂ P(X) tal que ∅ ∈ E. Sea µ : E → [0, ∞] tal
que µ(∅) = 0 y sea µ∗ la medida exterior inducida por µ. Sea A ⊂ X. Si µ∗ (A) = 0
entonces A ∈ M(µ∗ ).
Proposición 1.2. Sea X un conjunto y E ⊂ P(X) tal que ∅ ∈ E. Sea µ : E → [0, ∞]
tal que µ(∅) = 0. Sobre M(µ∗ ), la medida exterior µ∗ inducida por µ, es completa.

Demostración. Sea A ∈ M(µ∗ ) tal que µ∗ (A) = 0. Si B ⊂ A entonces por

monotonía de µ∗ se sigue que µ∗ (B) = 0, y por el lema anterior B ∈ M(µ∗ ), por lo
tanto, sobre M(µ∗ ) la medida exterior µ∗ es completa.

2 Conjuntos nulos. Caracterización de medidas completas

En esta sección enunciamos una caracterización de una medida completa, a partir
de una cierta clase de conjuntos. Sea (X, F, µ) un espacio de medida. Definimos la
clase de los conjuntos µ-nulos como
N (µ) := {A ⊂ X : ∃ E ∈ F tal que µ(E) = 0 y A ⊂ E}.
Entonces, de la Definición 1.1, una medida µ es completa si, y sólo si, N (µ) ⊂ F.
Note que N (µ) es cerrada bajo uniones numerables, intersecciones arbitrarias y
diferencias. Además, si A ∈ N (µ) y B ⊂ A, entonces B ∈ N (µ). Antes de estudiar
con más detalle la clase N (µ), probaremos algunas propiedades de la medida exterior
µ∗ inducida por una medida µ.

2
Lema 2.1. Sea (X, F, µ) un espacio de medida y sea µ∗ la medida exterior inducida
por µ. Para todo A ⊂ X,

µ∗ (A) = inf{µ(E) : E ∈ F ∧ A ⊂ E}.

S escribimos EA = {µ(E) : E ∈ F ∧ A
Demostración. Para abreviar, P⊂ E}. Sea
que A ⊂ n En =: E. Entonces E ∈ EA y µ(E) ≤ ∞
En ∈ F, n ≥ 1, tal P n=1 µ(En ).
De donde inf EA ≤ ∞ n=1 µ(En ), y así

inf EA ≤ µ∗ (A).
S
Análogamente, si E ∈ P
EA , definimos E1 = E y En = ∅, n > 1. Entonces A ⊂ n En .
Por lo tanto µ∗ (A) ≤ ∞n=1 µ(En ) = µ(E), y en consecuencia

µ∗ (A) ≤ inf EA .

De este lema, se sigue uno de los resultados relamente importante.

Teorema 2.1. Sea (X, F, µ) un espacio de medida. Para todo A ⊂ X existe E ∈ F
tal que A ⊂ E y µ∗ (A) = µ(E).

Demostración. El resultado es claro si µ∗ (A) = ∞ (en este caso, por el Lema 2.1,
µ(X) = ∞, por lo que elegimos E = X). Supongamos que µ∗ (A) < ∞. Para T cada
n ≥ 1, sea {En }n≥1 ⊂ F tal que A ⊂ En y µ∗ (A) + n1 > µ(En ). Sea E = n En .
Entonces E ∈ F y A ⊂ E. Por lo tanto (Lema 2.1)

µ∗ (A) ≤ µ(E),

y por otro lado,

1
µ(E) ≤ µ(En ) < µ∗ (A) + .
n
Luego, si n ↑ ∞, µ∗ (A) = µ(E).

Ahora estamos listos para caracterizar la propiedad de completitud de una me-

dida con el par de resultados siguientes.
Proposición 2.1. Sea (X, F, µ) un espacio de medida y sea µ∗ la medida exterior
inducida por µ. Entonces

N (µ) = {A ⊂ X : µ∗ (A) = 0}.

Demostración. Si A ∈ N (µ), entonces existe F ∈ F tal que A ⊂ F y µ(F ) = 0.

Recordemos además que la medida exterior µ∗ coincide con µ sobre F (pues F es
σ-álgebra y por tanto es semi-anillo). De esta manera,

µ∗ (A) ≤ µ∗ (F ) = µ(F ) = 0,

de donde µ∗ (A) = 0. Inversamente, si µ∗ (A) = 0, entonces por el teorema anterior,

para algún E ∈ F , A ⊂ E y µ(E) = µ∗ (A) = 0, y por consiguiente A ∈ N (µ).

3
 Finalmente exponemos el siguiente resultado
Teorema 2.2. Sea (X, F, µ) un espacio de medida. Entonces µ es completa si, y
sólo si,
N (µ) = {A ⊂ X : A ∈ F ∧ µ(A) = 0}. (1)

Demostración. Si µ es completa, entonces N (µ) = {A ⊂ X : µ∗ (A) = 0} ⊂ F,

por lo tanto, puesto que µ∗ coincide con µ sobre F, la igualdad (1) es válida. De
forma inversa, si esta igualdad es válida, entonces es obvio que N (µ) ⊂ F , de modo
que µ es completa.

3 Completación de medidas
En esta sección, mostraremos un modelo para extender cualquier medida a una
medida completa, alternativo al modelo constructivo del espacio (X, M(µ∗ ), µ∗ ),
que ya sabemos que es completo.
Teorema 3.1 (Completación). Sea (X, F, µ) un espacio de medida. La clase

F µ = {E ⊂ X : ∃ F ∈ F ∧ N ∈ N (µ) tales que E = F ∪ N }.

es σ-algebra. De hecho, F µ = σ F ∪ N (µ) . Y si definimos µ : F µ → [0, ∞] como
µ(E) = µ(F ), para todo E = F ∪ N con F ∈ F y N ∈ N (µ), entonces µ está
bien definida, es una medida completa sobre F µ y µ(F ) = µ(F ) para todo F ∈ F.
Decimos que (X, F µ , µ) es la µ-completación de (X, F, µ).

Demostración. Por supuesto X = X ∪ ∅ y X ∈ F y ∅ ∈ N (µ). Por lo tanto

X ∈ F µ . Sea E = F ∪ N , con F ∈ F y N ∈ N (µ). Por definición, existe M ∈ F tal
que N ⊂ M y µ(M ) = 0. Entonces



X\E = (X\F )\M ∪ M \E ,

y (X\F )\M ∈ F y M \E ∈ N (µ). Por lo tanto X\E ∈ F µ . Finalmente,Ssi En =

n ∪ Nn
FS S Fn ∈

, con
F y Nn ∈ N (µ), n ≥ 1, entonces es claro que n En =
n F n ∪ n N n ∈ F µ . Esto prueba que la clase F µ es σ-álgebra. Ahora, es



claro que F ∪ N (µ) ⊂ F µ ⊂ σ F ∪ N (µ) , de donde F µ = σ F ∪ N (µ) .
Ahora probaremos que µ está bien definida. Sea E ∈ F µ tal que E = F ∪ N =
F 0 ∪ N 0 , con F, F 0 ∈ F y N, N 0 ∈ N (µ). Tenemos

F \F 0 ⊂ (F \F 0 ) ∪ (N \F 0 ) = (F ∪ N )\F 0 = (F 0 ∩ N 0 )\F 0 = N 0 \F 0 .

Por lo tanto µ(F \F 0 ) = 0. Análogamente se prueba que µ(F 0 \F ) = 0. De esta

modo,

µ(F ) = µ(F ∩ F ) + µ(F \F 0 ) = µ(F ∩ F 0 ) = µ(F 0 ∩ F ) + µ(F 0 \F ) = µ(F 0 ).

Luego, µ está bien definida.

4
 Veamos que µ es una medida. Es obvio que µ(∅) = 0. Sea En = Fn ∪ Nn , n ≥ 1,
S En ∈ FSy Nn
∈ NS
con
que Fn ∩ Fm = ∅ = Nn ∩ Nm , si n 6= m. Entonces
(µ), tales
n E n = n F n ∪ n N n , y por lo tanto
∞
! ∞ ∞
! ∞ ∞
[ X [ X X
µ En = µ Fn = µ(Fn ) = µ(En ).
n=1 n=1 n=1 n=1 n=1

Así que µ es medida sobre F µ . Ahora, si F ∈ F , entonces

µ(F ) = µ(F ∪ ∅) = µ(F ).

Por último, veamos que µ es completa. Para ello es suficiente demostrar que
N (µ) = N (µ). Pero esto es inmediato, puesto que para todo F ∈ F y todo N ∈
N (µ), se tiene que µ(F ∪ N ) = 0 si, y sólo si, µ(F ) = 0.

Para terminar estas notas, hacemos el siguiente comentario. Dado un espacio de

medida (X, F, µ), el espacio (X, M(µ∗ ), µ∗ ) es ya de por sí un modelo de extensión
de µ en una medida (o en un espacio, mejor dicho) completa. ¿Cuál es la relación
entre éste y el modelo del teorema anterior? El siguiente resultado, nos dice que el
esquema del teorema anterior, es en cierta manera más eficiente, en el sentido de
que la completación no es “demasiado grande”.
Proposición 3.1. Si (X, F, µ) es un espacio de medida, entonces F µ ⊂ M(µ∗ ) y
para todo E ∈ F µ , µ(E) = µ∗ (E).

Demostración. Dado que F es σ-álgebra (y con ello, semi-anillo) F ⊂ M(µ∗ ), y

de la Proposición 2.1 y del Lema 1.1,

N (µ) = {A ⊂ X : µ∗ (A) = 0} ⊂ M(µ∗ ).

Por lo tanto F µ = σ(F ∪ N (µ)) ⊂ M(µ∗ ). Ahora, si E = F ∪ N , con F ∈ F y

N ∈ N (µ) (esto es, E ∈ F µ ), entonces, por un lado,

µ(F ) = µ∗ (F ) ≤ µ∗ (E) = µ∗ (F ∪ N ) ≤ µ∗ (F ) + µ∗ (N ) = µ∗ (F ) = µ(F ),

y por lo tanto
µ(E) = µ(F ) = µ∗ (E).

Como ejercicio para el estudiante queda mostrar con un ejemplo que la contensión
del resultado anterior puede ser estricta. El siguiente resultado nos indica cuando
coinciden ambos modelos.
Proposición 3.2. Sea (X, F, µ) un espacio de medida. Si µ es σ-finita, entonces
F µ = M(µ∗ ), y en tal caso, µ y µ∗ coinciden sobre éste σ-álgebra.

5
 S
Demostración. Sea {En }n≥1 ⊂ F tal que X = n En y µ(En ) < ∞, para todo
∗
n ≥ 1. Sea A ∈ M(µ ). Para cada n ≥ 1, existe Fn ∈ F tal que A ∩ En ⊂ Fn y
µ∗ (A ∩ En ) = µ(Fn ) (Teorema 2.1). Pero

µ(Fn ) = µ∗ (Fn ) = µ∗ (Fn \(A ∩ En )) + µ∗ (A ∩ En )) = µ∗ (Fn \(A ∩ En )) + µ(Fn ),

y por lo tanto µ∗ (Fn \(A ∩ En )) = 0. Luego, Fn \(A ∩ En ) ∈ N (µ) (Proposición 2.1).

En consecuencia

A ∩ En = Fn \(Fn \(A ∩ En )) ∈ σ(F ∪ N (µ)) = F µ .

De donde A = n A ∩ En ∈ F µ . Esto es M(µ∗ ) ⊂ F µ . La proposición anterior

S
muestra la contensión contraria y la igualdad de las medidas.

Queda como ejercicio al estudiante, invesigar si esta condición es también sufi-

ciente.