Análisis Matemático 2 - Licenciatura en Fı́sica y Matemáticas

Lectura 6: La medida de Lebesgue en R

Miguel Ángel Valencia Bucio

En esta lectura introducimos la medida de Lebesgue en R. Si bien no ahondaremos tanto en ella, sı́ es
importante tenerla en cuenta porque la usaremos como fuente de varios ejemplos que veremos a lo largo
del curso. Recordemos la medida exterior de Lebesgue λ∗ en R
(∞ ∞
)!
X [
∗
∀ A ⊆ R λ (A) = inf (bn − an ) : A ⊆ [an , bn ] ,
n=1 n=1

Por el teorema de extensión de Carathéodory existe una σ-álgebra L tal que la restricción de λ∗ a L es
una medida sobre (R, L).

1. Definición. La σ-álgebra L es llamada la σ-álgebra de Lebesgue en R. La medida λ = λ∗ |L es llamada

la medida de Lebesgue en R. Los elementos de L son llamados conjuntos Lebesgue-medibles.

Es natural preguntarnos cuáles conjuntos son Lebesgue-medibles. Tenemos una familia sumamente
grande de estos conjuntos:

2. Teorema. Todo conjunto Borel-medible de R es Lebesgue-medible.

Demostración. En virtud de la definición de σ-álgebra de Borel y del ejercicio 7 de la lectura 1, basta
demostrar que todo intervalo de la forma ]a, +∞[ es Lebesgue-medible. Sea a ∈ R, y sea A ⊆ R arbitrario.
Como la medida exterior de Lebesgue es σ-subaditiva, basta probar que

λ∗ (A) ≥ λ∗ (A ∩ ]a, +∞[) + λ∗ (A ∩ [−∞, a]).

Sin perder generalidad, podemos suponer λ∗ (A) < +∞ (¿por qué?). Sea ε > 0. Entonces existe una
∞ ∞
sucesión {[an , bn ]}∞ (bn − an ) < λ∗ (A) + ε. Entonces
S P
n=1 de intervalos cerrados tal que A ⊆ [an , bn ] y
n=1 n=1
para cada n ∈ N los intervalos [an , bn ] ∩ ] − ∞, a] y [an , bn ] ∩ ]a, +∞[ son disjuntos y (¿por qué?)

bn − an = λ∗ ([an , bn ]) = λ∗ ([an , bn ] ∩ ] − ∞, a]) + λ∗ ([an , bn ] ∩ ]a, +∞[).

Por esto y la σ-subaditividad de la medida exterior de Lebesgue tenemos

∞
X ∞
X
λ∗ (A ∩ ]a, +∞[) + λ∗ (A ∩ [−∞, a]) ≤ λ∗ ([an , bn ] ∩ ] − ∞, a]) + λ∗ ([an , bn ] ∩ ]a, +∞[)
n=1 n=1
X∞
= (λ∗ ([an , bn ] ∩ ] − ∞, a]) + λ∗ ([an , bn ] ∩ ]a, +∞[))
n=1
X∞
= (bn − an ) < λ∗ (A) + ε.
n=1

1
Como ε > 0 es arbitrario, concluimos que λ∗ (A ∩ ]a, +∞[) + λ∗ (A ∩ [−∞, a]) ≤ λ∗ (A).

3. Proposición. Sea A ⊆ R un conjunto Lebesgue-medible. Entonces

λ(A) = inf{λ(U ) : U es abierto, A ⊆ U } = sup{λ(K) : K es compacto, K ⊆ A}.

Demostración. Sean α = inf{λ(U ) : U es abierto, A ⊆ U }, β = sup{λ(K) : K es compacto, K ⊆ A}. Es

claro que β ≤ λ(A) ≤ α; luego solo probaremos las desigualdades inversas.
Para α, supongamos λ(A) < +∞; el caso λ(A) = ∞ es inmediato. Sea ε > 0. Entonces existe una sucesión
∞ ∞
de intervalos abiertos {Un }∞
S P
n=1 tal que A ⊆ U = Un y λ(Un ) < λ(A) + ε (¿por qué?). Es claro
n=1 n=1
∞
P
que U es abierto en R, A ⊆ U y λ(U ) ≤ λ(Un ) < λ(A) + ε. Esto implica α ≤ λ(A) + ε. Como ε es
n=1
arbitrario, concluimos que α ≤ λ(A).
Para la desigualdad λ(A) ≤ β, primero supongamos que A es acotado. Sea C un compacto de R que
contiene a A, y sea ε > 0 arbitrario. Por lo anterior, existe un abierto U de R que contiene a C \ A y

λ(U ) < λ(C \ A) + ε.

Sea K = C \ U . Entonces K es un conjunto compacto de R contenido en A. Más aún, como C ⊆ K ∪ U ,

tenemos λ(C) ≤ λ(K) + λ(U ); luego (¿por qué?)

λ(A) − ε < λ(K).

Como ε > 0 es arbitrario, tenemos λ(A) ≤ β para todo conjunto Lebesgue-medible acotado A de R.
Finalmente, supongamos que A sea no acotado, y sea r < λ(A) un número real no negativo. Consideremos
∞
una sucesión creciente {An }∞
S
n=1 de conjuntos Lebesgue-medibles acotados tal que A = An . Como
n=1
λ(A) = lim λ(An ), existe N ∈ N tal que λ(AN ) > r. Por el caso anterior, existe un conjunto compacto
n→∞
K ⊆ AN ⊆ A tal que λ(K) > r. Esto prueba β > r. Como r < λ(A) es arbitrario, tenemos β ≥ λ(A).

La medida de Lebesgue tiene esta propiedad importante:

4. Teorema. La medida de Lebesgue es la única medida sobre (R, B(R)) tal que a cada intervalo con
extremos a ≤ b le asigna el valor b − a.
Demostración. Por definición, la medida de Lebesgue le asigna a cada intervalo su longitud (¿por qué?).
Por ello, basta demostrar que, si µ es una medida sobre (R, B(R)) tal que µ([a, b[) = b − a para todo
a ≤ b en R, entonces µ = λ en todo conjunto de Borel de R. Sea U un conjunto abierto en R. Entonces
U es unión disjunta de una sucesión de intervalos {In = [an , bn [}∞
n=1 (¿por qué?). Por la propiedad de
σ-aditividad tenemos
∞
X ∞
X
µ(U ) = µ(In ) = λ(In ) = λ(U ).
n=1 n=1

Luego µ y λ coinciden en todo conjunto abierto de R.

Sea ahora A un conjunto de Borel de R. Tenemos (¿por qué?)

µ(A) ≤ inf{λ(U ) : U es abierto, A ⊆ U } = λ(A).

Ahora, supongamos que A es acotado, y sea V un conjunto acotado abierto que contiene a A. Esto implica

µ(V ) = µ(A) + µ(V \ A) ≤ λ(A) + λ(V \ A) = λ(V ).

Como µ(V ) = λ(V ), debemos tener µ(A) = λ(A). Dado que todo conjunto de Borel es unión disjunta de
una colección a lo sumo numerable de conjuntos de Borel acotados, concluimos que µ(A) = λ(A) para todo

2
conjuntode Borel A de R.

Cerramos la lectura con este resultado:

5. Teorema. Teorema de Steinhaus. Sea A ∈ L tal que λ(A) > 0. Entonces A − A1 contiene un intervalo
abierto que contiene a 0.
Demostración. Sea K ⊆ A un compacto de R tal que λ(K) > 0. Como K − K ⊆ A − A, basta con
demostrar que K − K contiene un intervalo abierto que contiene a 0. Para ello basta demostrar que existe
ε > 0 tal que (¿por qué?)
∀ x ∈ R (|x| < ε ⇒ (K + x) ∩ K ̸= ∅) .
Por la proposición 3 existe un abierto U de R que contiene a K tal que λ(U ) < 2λ(K). Como K es
compacto, la función x 7→ d(x, R \ U ) de K en R alcanza su mı́nimo en algún punto de K; luego existe
ε > 0 tal que K + x ⊆ U para todo x ∈ R tal que |x| < ε. Si K + x ∩ K = ∅, entonces por la invarianza
traslacional de la medida de Lebesgue tendrı́amos

2λ(K) = λ(K) + λ(K + x) = λ(K ∪ (K + x)) ≤ λ(U ) < 2λ(K).

Esta contradicción implica K + x ∩ K ̸= ∅ para todo x ∈ R tal que |x| < ε, es decir, ] − ε, ε[ ⊆ K − K.

· · · ·

Ejercicios

1. Sea U un subconjunto abierto de R. Demuestre que U es unión de una sucesión disjunta de inter-
valos semiabiertos.
Sugerencia: Demuestre que la proposición se cumple para todo intervalo abierto ]a, b[; luego use que U es
unión a lo sumo numerable de intervalos abiertos disjuntos.

2. Demuestre que el conjunto de Cantor C tiene medida de Lebesgue 0.

3. Demuestre que el concepto de medida cero conocido de la integral de Riemann y el concepto de

medida de Lebesgue cero son equivalentes. Es decir, si un conjunto A tiene medida cero, entonces tiene
medida de Lebesgue cero y viceversa.

4. Demuestre que un conjunto A ⊆ R es Lebesgue-medible si y solo si existen un conjunto B Fσ y un

conjunto Z de medida cero en R tales que A = B ∪ Z.

5. Pruebe que la medida exterior de Lebesgue es invariante bajo traslación:

∀ A ⊆ R ∀ α ∈ R (λ∗ (A + α) = λ∗ (A)) .

6. Sea µ una medida sobre (R, B(R)) tal que le asigna un valor finito a cada conjunto de Borel acotado
y es invariante bajo traslación. Si µ(R) > 0, demuestre que existe α > 0 tal que µ(A) = αλ(A) para todo
conjunto de Borel A de R.
Sugerencia: Tome α = µ(]0, 1[) y utilice el teorema 4 con la función ν(A) = µ(A)/α.

7. El conjunto de Smith-Volterra-Cantor. Sea 0 < α < 1 y sea C0 = [0, 1]. Definimos C1 como el
conjunto C0 quitándole el intervalo central abierto de longitud α/3. Note que C1 es unión de dos intervalos
1 Recordemos que A − B = {a − b : a ∈ A, b ∈ B} para todo par de subconjuntos A, B de R.

3
cerrados disjuntos. Dado n ∈ N, una vez construidos los conjuntos C0 , C1 , . . . , Cn construimos el conjunto
Cn+1 extrayendo de cada intervalo cerrado que conforma a Cn el intervalo central abierto de longitud
∞
α/3n+1 . Notemos que Cn es la unión de 2n intervalos cerrados disjuntos para todo n ∈ N. Sea C =
T
Cn .
n=0
Demuestre que C es un conjunto cerrado, no vacı́o, con interior vacı́o, sin puntos aislados, cuya medida
de Lebesgue es 1 − α.

8. Demuestre que existe un conjunto de Borel A de R tal que 0 < λ(I ∩ A) < λ(I) para todo intervalo
acotado abierto I de R.
Sugerencia: Considere el conjunto construido en el ejercicio 7.

9. Demuestre que existe una sucesión decreciente {An }∞ ∗

n=1 de subconjuntos de [0, 1] tal que λ (An ) = 1
∞
T
para todo n ∈ N y An = ∅.
n=1
Sugerencia: Sea B una base de R como espacio vectorial racional, y sea {Bn }∞
n=1 una sucesión estricta-
∞
S
mente creciente de conjuntos tal que B = Bn . Para cada n ∈ N sea Vn el subespacio de R spanQ (Bn ),
n=1
y sea An = [0, 1] ∩ (R \ Vn ). Use el teorema 5 para demostrar que todo subconjunto de Borel de Vn tiene
medida cero y concluya que λ∗ (An ) = 1.

10. Sea V un conjunto de Vitali, y sea A ⊆ V un conjunto Lebesgue-medible. Demuestre que

λ(A) = 0.
Sugerencia: Básese en la demostración de la no medibilidad de V .

11. Dé la definición de la medida de Lebesgue para Rn . Además, enuncie y demuestre las proposi-
ciones 2 a 4 para la medida de Lebesgue de Rn . También pruebe los ejercicios 4, 5 y 6 para esta medida.

12. Demuestre que la medida de Lebesgue en R2 es invariante bajo isometrı́as del plano.
Sugerencia: Demuestre que la medida de Lebesgue es invariante bajo reflexiones a través de rectas. Para
el caso general, puede usar sin demostración que toda isometrı́a del plano euclidiano es composición de a
lo más tres de estas reflexiones.