Propiedades de La Medida de Lebesgue

Propiedades de la medida
de Lebesgue.
ALEXANDRA BARROSO BERRÍO

DUSTIN RESTAN RIVERA
CRISTIÁN LÓPEZ VERGARA
JOSÉ DE JESÚS LÓPEZ GONZÁLEZ
Regularidad de la medida de
Lebesgue
Propiedad 16: Sea A ∈ 𝑀λ∗ ℝ𝑛 . Entonces

a) λ 𝐴 = 𝑖𝑛𝑓 {λ 𝑈 / 𝑈 𝑒𝑠 𝑎𝑏𝑖𝑒𝑟𝑡𝑜 y 𝐴 ⊂ 𝑈}
b) λ 𝐴 = 𝑠𝑢𝑝 {λ 𝐾 / K es compacto y 𝐾 ⊂ 𝐴}
 λ es regular tanto en Mλ∗ ℝ𝑛 como en ℬ ℝ𝑛 .

Invariancia traslacional
Propiedad 17: La medida de Lebesgue λ es

invariante traslacional.
Unicidad
Propiedad 18: λ es la única medida sobre ℬ ℝ𝑛

෡ su volumen.
que asigna a cada ℝ
෡ = a1 , b1 𝑥 … 𝑥 a𝑛 , b𝑛
ℝ
Propiedad 19: Si μ es una medida no – nula

sobre ℝ𝑛 , ℬ ℝ𝑛 que es invariante traslacional y
que es finita en los subconjuntos acotados de Borel
en ℝ𝑛 , entonces ∃𝑐 > 0 tal que μ(A)=cλ(A), ∀𝐴 ∈
ℬ ℝ𝑛 .
Completitud
La medida de Lebesgue sobre Mλ∗ ℝ𝑛 es completa.
En efecto:
Sea 𝐵 ⊂ 𝐴 con 𝐴 ∈ Mλ∗ ℝ𝑛 , λ(A)=0.
Por proposición 8,
λ∗ 𝐵 ≤ λ∗ 𝐴 = 0, entonces λ∗ 𝐵 = 0 , esto es
λ(B)=0, por tanto B ∈ Mλ∗ ℝ𝑛 .
Por lo tanto λ es completa en Mλ∗ ℝ𝑛 .

MEDIDA DE LEBESGUE
Definición:
Sean 𝑨 ⊂ ℝ𝒏 y 𝒙 ∈ ℝ𝒏 , llamamos trasladado de 𝑨 en 𝒙 al conjunto
𝑨 + 𝒙 = 𝒚 ∈ ℝ𝒏 𝒚 = 𝒂 + 𝒙, 𝒑𝒂𝒓𝒂 𝒂𝒍𝒈ú𝒏 𝒂 ∈ 𝑨}
Proposición 17.
La medida de Lebesgue 𝝀 es invariante traslacional.

Demostración:
• Sean 𝐴 ⊆ ℝ𝑛 y 𝑥 ∈ ℝ𝑛 . Si para cualquier ℛ − 𝑐𝑢𝑏𝑖𝑒𝑟𝑡𝑎 (𝐼𝑗 )𝑗∈ℕ del conjunto A,

tenemos que (𝐼𝑗 +𝑥)𝑗∈ℕ es ℛ − 𝑐𝑢𝑏𝑖𝑒𝑟𝑡𝑎 del conjunto 𝐴 + 𝑥 y
∞ ∞
𝜆∗ (𝐴 + 𝑥) ≤ 𝑣𝑜𝑙(𝐼𝑗 +𝑥) = 𝑣𝑜𝑙(𝐼𝑗 )

𝑛=1 𝑛=1
Luego 𝜆∗ (𝐴
+ 𝑥) ≤ 𝜆∗ (𝐴).
Análogamente, 𝜆∗ 𝐴 + 𝑥 − 𝑥 ≤ 𝜆∗ (𝐴 + 𝑥), por lo que se tiene la igualdad. Es decir,
𝜆∗ 𝐴 + 𝑥 = 𝜆∗ (𝐴).
Demostración:
También debemos demostrar que un conjunto 𝐵 ⊂ ℝ𝑛 es Lebesgue medible si y solo si 𝐵 + 𝑥 es

Lebesgue medible.
Esta afirmación se sigue de lo anterior junto con la definición de conjunto Lebesgue medible. Note
que 𝐵 satisface
𝜆∗ (𝐴 − 𝑥) = 𝜆∗ (𝐴 − 𝑥) ∩ 𝐵 + 𝜆∗ ((𝐴 − 𝑥) ∩ 𝐵𝑐 )
para todo conjunto 𝐴 − 𝑥 si y solo si 𝐵 + 𝑥 satisface
𝜆∗ (𝐴) = 𝜆∗ (𝐴 ∩ (𝐵 + 𝑥)) + 𝜆∗ (𝐴 ∩ (𝐵 + 𝑥)𝑐 )

Para todo conjunto 𝐴.
Proposición 19.
Si 𝝁 es una medida no nula sobre (ℝ𝒏 , 𝓑 ℝ𝒏 ) que es invariante

traslacional y que es finita en los subconjuntos acotados de
Borel en ℝ𝒏 , entonces ∃𝒄 > 𝟎 tal que 𝝁 𝑨 = 𝒄𝝀(𝑨).
Demostración.
Sea 𝐶 = {(𝑥1 , … , 𝑥𝑛 )|0 ≤ 𝑥𝑖 < 1 𝑝𝑎𝑟𝑎 𝑐𝑎𝑑𝑎 𝑖} y sea 𝑐 = 𝜇(𝐶). Entonces 𝑐 es finita (dado que 𝜇 es
finito en los conjuntos acotados de Borel) y positiva (si fuese cero, entonces ℝ𝑛 , como la unión de
una secuencia de traslados de 𝐶, tendría medida cero bajo 𝜇). Definamos una medida 𝑣 sobre
1
ℬ(ℝ𝑛 ) dejando 𝑣(𝐴) = 𝜇(𝐴) para cada 𝐴 en ℬ(ℝ𝑛 ). Entonces 𝑣 es invariante traslacional y asigna
𝑐
al conjunto 𝐶 definido arriba su medida de Lebesgue, a saber 1. Sí 𝐷 es un semiabierto que tiene la
forma 𝒞𝑘 ({(𝑥1 , … , 𝑥𝑛 )|𝑗𝑖 2−𝑘 ≤ 𝑥𝑖 < (𝑗𝑖 + 1)2−𝑘 𝑐𝑜𝑛 1 ≤ 𝑖 ≤ 𝑛, 𝑗𝑖 ∈ ℤ}) y cuyas aristas tienen una
longitud de 2−𝑘 , entonces 𝐶 es la unión de 2𝑑𝑘 traslados de 𝐷, por lo que
2𝑑𝑘 𝑣(𝐷) = 𝑣(𝐶 ) = 𝜆(𝐶 ) = 2𝑑𝑘 𝜆(𝐷).
Por lo tanto, 𝑣 𝑦 𝜆 coinciden en todos estos cubos. La proposición 18 ahora implica que 𝑣 = 𝜆 y por
tanto, 𝜇 = 𝑐𝜆.
Medida completa
Sea 𝑋, 𝒜, 𝜇 un espacio de medida.

La medida 𝜇 es COMPLETA si
𝐴 ∈ 𝒜 𝑦 𝜇(𝐴) = 0 𝑦 𝐵 ⊂ 𝐴 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝐵 ∈ 𝒜
Medida de Lesbesgue sobre
𝑴𝝀∗ (ℝ)
La medida de Lebesgue (𝜆) sobre 𝑴𝝀∗ (ℝ) es completa.
Lo cual nos indica que si A∈ 𝑴𝝀∗ y 𝜆 𝐴 = 0 entonces cualquier

subconjunto de A también está en 𝑴𝝀∗
𝝀 𝒔𝒐𝒃𝒓𝒆 𝑩 ℝ 𝒏𝒐 𝒆𝒔 𝒖𝒏𝒂
𝒎𝒆𝒅𝒊𝒅𝒂 𝒄𝒐𝒎𝒑𝒍𝒆𝒕𝒂
Vamos a observar a continuación que la medida de Lebesgue (𝝀) no es completa

sobre B(ℝ).
Proposición 2.1.11.
Existe un subconjunto Lebesgue medible de ℝ que
no es un conjunto de Borel
DMS.
Consideremos primero la función de Cantor 𝑓: [0,1] → [0,1] definida de la siguiente
manera:
1
Para 𝑥 ∈ 1 3 , 2 3 sea 𝑓 𝑥 = 2 , entonces f está definida en cada punto eliminado de
[0,1] en la construcción de 𝐾1 . Luego se define f en cada punto eliminado de 𝐾1 en la
1 3
construcción de 𝐾2 , dejando 𝑓 𝑥 = 4 si 𝑥 ∈ 1 9 , 2 9 y 𝑓 𝑥 = 4 𝑥 ∈ 7 9 , 8 9 .
1 3 5
Se continua de esta manera haciendo que 𝑓 𝑥 sea 𝑛 , 𝑛 , 𝑛 , …
2 2 2
en los distintos intervalos eliminados de 𝐾𝑛−1 en la construcción
de 𝐾𝑛 . Después de todos estos pasos f está definida en el
conjunto 0,1 − 𝐾, donde 𝐾 es el conjunto de cantor, es no
decreciente y tiene valores en [0,1].
Extendiéndola a todo 0,1 con 𝑓(0) = 0 y haciendo
𝑓 𝑥 = sup{𝑓 𝑡 : 𝑡 ∈ 0,1 − 𝐾 𝑦 𝑡 < 𝑥} Si 𝑥 ∈ 𝐾 𝑦 𝑥 ≠ 0
Esta función es no decreciente y continua con 𝑓 0 = 0 𝑦 𝑓 1 = 1 el teorema
del valor intermedio nos garantiza que para cada 𝑦 ∈ 0,1 hay al menos un
𝑥 ∈ 0,1 tal que 𝑓 𝑥 = 𝑦
Así podemos definir una función 𝑔: [0,1] → [0,1] por 𝑔 𝑦 = inf{ 𝑥 ∈

0,1 : 𝑓 𝑥 = 𝑦}
Como f es continua tenemos que 𝑓 𝑔 𝑦 = 𝑦 se cumple para cada 𝑦 ∈ 0,1
por lo tanto 𝑔 es inyectiva.
Ahora por cómo está definida 𝑔, todos sus valores están en el conjunto de
Cantor. El hecho de que 𝑓 es no decreciente nos indica que 𝑔 es no decreciente
por lo que 𝑔 es Borel medible
Luego sea A un subconjunto de [0,1] que es no Lebesgue medible, la
existencia de este conjunto la garantiza el teorema 1.4.9 y sea 𝐵 = 𝑔(𝐴).
Entonces B es un subconjunto del conjunto de Cantor y por lo tanto Lebesgue
medible, ya que 𝜆 𝐾 = 0 y la medida de Lebesgue en la 𝜎-álgebra de
Lebesgue es completa.
Veamos que B no es un conjunto de Borel.
En efecto supongamos que si es un conjunto de Borel entonces 𝑔−1 (𝐵)
también sería un conjunto de Borel, esto se garantiza gracias a que 𝑔 es Borel
medible y la proposición 2.1.9
Sin embargo, la injectividad de 𝑔 implica que 𝑔−1 (𝐵) es el conjunto A, el cual
no es Lebesgue medible, por lo tanto B no puede ser conjunto de Borel.
La proposición 2.1.11 nos da un conjunto que tiene medida de
Lebesgue igual a cero ( el conjunto de Cantor) que tiene un
subconjunto que no es un conjunto de Borel por lo tanto la
medida de Lebesgue NO ES COMPLETA sobre (ℝ, 𝐵 ℝ ).
Sea I un subintervalo deℝ, y sea f: I → ℝ no decreciente. Entonces para
cada número real t el conjunto {x ∈ I: f (x) <t} es un conjunto de Borel
(es un intervalo, un conjunto que consta de un solo punto, o el conjunto
vacío). Por tanto, f es Borel medible.
Teorema 1.4.9
Hay un subconjunto de R, y de hecho del intervalo (0,1), que no
es Lebesgue medible.
Proposición 2.1.9.
Sea (X, 𝒜) un espacio medible y sea A un subconjunto de X que pertenece a 𝒜.
Para una función 𝑓: 𝐴 → ℝ, las condiciones
(a) f es medible con respecto a 𝒜,
(b) para cada subconjunto abierto U de ℝ, el conjunto 𝒇 −𝟏 (𝑼) pertenece a 𝓐,
(c) para cada subconjunto cerrado C de ℝ, el conjunto 𝑓 −1 (𝐶) pertenece a 𝒜, y
(d) para cada subconjunto B de Borel de ℝ, el conjunto 𝑓 −1 (𝐵) pertenece a 𝒜
Son equivalentes.
La medida de Lebesgue λ sobre (ℝn,Mλ*) es la completación
de λ sobre (ℝn, ℬ(ℝn)).
Lema (1.5.3). Sea A un subconjunto Lebesgue-medible de
ℝn. Entonces existen conjuntos de Borel E y F tales que
E ⊆ A ⊆ F y λ(F – E)=0.
Sea A un subconjunto Lebesgue-medible de ℝn tal que
λ(A) < +∞. Para cada entero positivo n, hacemos uso de la
proposición 16 para elegir:
i) Un compacto Kn tal que Kn ⊆ A y λ(A) – 1/n < λ(Kn).
ii) Un abierto Un tal que A ⊆ Un y λ(Un) < λ(A) + 1/n.
Sea 𝐸 = 𝑛 K 𝑛 y 𝐹 = 𝑛 𝑈𝑛 . Entonces E y F pertenecen

a ℬ(ℝn) y satisfacen E ⊆ A ⊆ F.
Además,
λ(F – E) ≤ λ(Un – Kn) = λ(Un – A) + λ(A – Kn) < 2/n
para cada n, por lo que λ(F – E) = 0.
Si A es cualquier subconjunto Lebesgue-medible de ℝn,
entonces A es la unión de una sucesión de conjuntos
Lebesgue-medibles de medida de Lebesgue finita, puesto
que λ es σ-finita.
Para cada n podemos elegir conjuntos de Borel En y Fn
tales que En ⊆ An ⊆ Fn y λ(En – Fn) = 0. Definiendo 𝐸 = 𝑛 E𝑛
y 𝐹 = 𝑛 F𝑛 , entonces E ⊆ A ⊆ F y λ(F – E) = 0.
Aclaración: F – E ⊆ 𝑛(F𝑛 − E𝑛 ).
0 ≤ λ(F – E) ≤ λ( 𝑛(F𝑛 − E𝑛 )) = 𝑛 λ(F𝑛 − E𝑛 ) = 0.
Sea λ la medida de Lebesgue en (ℝd, ℬ(ℝd)), sea 𝜆
la completación de λ, y sea λm la medida de Lebesgue en
(ℝd, Mλ*).
Por el lema anterior, tenemos que Mλ* está contenida
en ℬ(ℝd) y que λm es la restricción de 𝜆 a Mλ*.
λm = 𝜆 | Mλ*.
Por tanto, solo resta probar que cada A que pertenece a la
completación de ℬ(ℝd) bajo λ es Lebesgue-medible.
Para cada A en la completación de ℬ(ℝd) bajo λ existen
conjuntos de Borel E y F tales que E ⊆ A ⊆ F y λ(F – E) = 0.
Ahora:
A–E⊆F–Ey
λm(F – E) = λ(F – E) = 0.
La completitud de λ en implica Mλ*, por la proposición 8,
implica que A – E ∊ Mλ*.
Así, A = (A – E) U E pertenece a Mλ*.
F E (Un Kn )
x 2 F E ) (x 2 F ) ^ (x 2 E c )
) (x 2 Un ) ^ (x 2 Knc )
) x 2 Un \ Knc
) x 2 Un Kn
(Un Kn ) = (Un \ Knc \ Ac ) + (Un \ Knc \ A)

= (Un \ Ac ) + (Knc \ A)
= (Un A) + (A Kn )
< 1=n + 1=n
= 2=n
F E [n (Fn En )
x 2 F E ) (x 2 F ) ^ (x 2 E c )
) (x 2 [n Fn ) ^ (x 2 \n Enc )
) (x 2 [n Fn ) ^ (x 2 [n Enc )
) x 2 ([n Fn \ [n Enc )
) x 2 [n (Fn \ Enc )
) x 2 [n (Fn En )

Propiedades de La Medida de Lebesgue

Cargado por

Copyright:

Formatos disponibles

Propiedades de La Medida de Lebesgue

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Propiedades de La Medida de Lebesgue

Cargado por

Copyright:

Formatos disponibles

Propiedades de la medida

ALEXANDRA BARROSO BERRÍO

Propiedad 16: Sea A ∈ 𝑀λ∗ ℝ𝑛 . Entonces

 λ es regular tanto en Mλ∗ ℝ𝑛 como en ℬ ℝ𝑛 .

Propiedad 17: La medida de Lebesgue λ es

Propiedad 18: λ es la única medida sobre ℬ ℝ𝑛

Propiedad 19: Si μ es una medida no – nula

La medida de Lebesgue sobre Mλ∗ ℝ𝑛 es completa.

Por lo tanto λ es completa en Mλ∗ ℝ𝑛 .

La medida de Lebesgue 𝝀 es invariante traslacional.

• Sean 𝐴 ⊆ ℝ𝑛 y 𝑥 ∈ ℝ𝑛 . Si para cualquier ℛ − 𝑐𝑢𝑏𝑖𝑒𝑟𝑡𝑎 (𝐼𝑗 )𝑗∈ℕ del conjunto A,

𝜆∗ (𝐴 + 𝑥) ≤ 𝑣𝑜𝑙(𝐼𝑗 +𝑥) = 𝑣𝑜𝑙(𝐼𝑗 )

También debemos demostrar que un conjunto 𝐵 ⊂ ℝ𝑛 es Lebesgue medible si y solo si 𝐵 + 𝑥 es

para todo conjunto 𝐴 − 𝑥 si y solo si 𝐵 + 𝑥 satisface

𝜆∗ (𝐴) = 𝜆∗ (𝐴 ∩ (𝐵 + 𝑥)) + 𝜆∗ (𝐴 ∩ (𝐵 + 𝑥)𝑐 )

Si 𝝁 es una medida no nula sobre (ℝ𝒏 , 𝓑 ℝ𝒏 ) que es invariante

2𝑑𝑘 𝑣(𝐷) = 𝑣(𝐶 ) = 𝜆(𝐶 ) = 2𝑑𝑘 𝜆(𝐷).

Sea 𝑋, 𝒜, 𝜇 un espacio de medida.

La medida de Lebesgue (𝜆) sobre 𝑴𝝀∗ (ℝ) es completa.

Lo cual nos indica que si A∈ 𝑴𝝀∗ y 𝜆 𝐴 = 0 entonces cualquier

Vamos a observar a continuación que la medida de Lebesgue (𝝀) no es completa

Así podemos definir una función 𝑔: [0,1] → [0,1] por 𝑔 𝑦 = inf{ 𝑥 ∈

Sea 𝐸 = 𝑛 K 𝑛 y 𝐹 = 𝑛 𝑈𝑛 . Entonces E y F pertenecen

(Un Kn ) = (Un \ Knc \ Ac ) + (Un \ Knc \ A)

También podría gustarte