Medida de Lebesgue

Medida de Lebesgue
En matemáticas, la medida de Lebesgue es la forma • Si A y B son Lebesgue-medibles, y A ⊆ B, λ(A) ≤

estándar de asignar una longitud, área, o volumen a los λ(B) (consecuencia de los puntos anteriores).
subconjuntos del espacio euclídeo. Se usa en el análisis
• Las uniones e intersecciones contables de con-
real, especialmente para definir la integración de Lebes-
juntos Lebesgue-medibles son asimismo Lebesgue-
gue. Los conjuntos a los que se les puede asignar un ta-
medibles (consecuencia de los puntos anteriores).
maño se denominan Lebesgue-medibles, o medibles a
secas si no hay ambigüedad sobre la medida; el volumen • Si A es un subconjunto abierto o cerrado de Rn , es
o medida de un conjunto Lebesgue-medible A se denota Lebesgue-medible.
por λ(A). Un valor de ∞ para la medida de Lebesgue es
• La medida de Lebesgue es localmente finita e
perfectamente posible, pero aún en ese caso, si se asume
interna regular, y por lo tanto una medida de Radon.
el axioma de elección, no todos los conjuntos de Rn son
Lebesgue-medibles. El comportamiento “extraño” de los • Si A es un conjunto Lebesgue-medible con λ(A) = 0
conjuntos no medibles da lugar a tales resultados como la (o conjunto nulo), todo subconjunto de A es también
paradoja de Banach-Tarski, una consecuencia del axioma un conjunto nulo.
de elección.
• Si A es Lebesgue-medible y x es un elemento de Rn ,
la traslación definida por A + x = {a + x : a ∈ A}
es también Lebesgue-medible y, más aún, tiene la
1 Ejemplos misma medida que A.
• Si A es un intervalo cerrado [a, b], su medida de Lo anterior se puede resumir como sigue:
Lebesgue es la longitud b−a. El intervalo abierto ]a,
b[ tiene la misma medida, pues la diferencia entre Los conjuntos Lebesgue-medibles forman una
los dos conjuntos tiene medida cero. σ-álgebra que incluye todos los productos de
intervalos, y λ es la única medida completa in-
• Si A es el producto cartesiano de dos intervalos [a, b] variante por translación en esa σ-álgebra que
y [c, d], es un rectángulo cuya medida de Lebesgue cumple λ([0,1] × [0,1] × ... × [0,1]) = 1.
es el área (b−a)·(d−c).
La medida de Lebesgue tiene también la propiedad de ser
• El conjunto de Cantor es un ejemplo de conjunto no σ-finita.
numerable con medida de Lebesgue cero.
3 Conjuntos de medida nula

2 Propiedades
Un subconjunto de Rn se dice de medida nula, si para to-
La medida de Lebesgue en R tiene las siguientes propie- do ε > 0 se puede recubrir con contables productos de n
n
dades: intervalos, cuyo volumen total es menor que ε. Todos los

conjuntos numerables son de medida nula, así como los
subconjuntos de Rn de dimensión inferior a n (hiperpla-
• Si A es un producto cartesiano de intervalos I 1 × I 2 ×
nos, por ejemplo líneas o curvas en R2 ).
... × In, es Lebesgue-medible y λ(A) = |I 1 |·|I 2 |·...·|In|,
donde |I| denota la longitud del intervalo I. Para demostrar que un conjunto arbitrario A es
Lebesgue-medible, usualmente se intenta hallar un con-
• Si A es una unión disjunta de finitos o contables conjunto “más presentable” B cuya diferencia simétrica con
juntos Lebesgue-medibles, A mismo es Lebesgue- A sea un conjunto nulo, y luego se demuestra que B se
medible y λ(A) es igual a la suma (o serie infinita) puede generar usando uniones e intersecciones numera-
de las medidas de los conjuntos correspondientes. bles de conjuntos abiertos y cerrados.
• Si A es Lebesgue-medible, también lo es su comple- Cuando una propiedad P se cumple en un conjunto X,
mento. excepto quizá en un subconjunto de X de medida nula, se
dice que “la propiedad P se cumple en X casi en todas
• λ(A) ≥ 0 para todo conjunto Lebesgue-medible A. partes".
1
2 6 HISTORIA
4 Construcción de la medida de Le-

besgue
La construcción moderna de la medida de Lebesgue, ba-
sada en medidas exteriores, se debe a Constantin Carat-
héodory, y se realiza como sigue:
Para cualquier subconjunto B de Rn , se puede definir
∞
∪
λ∗ (B) = inf{vol(M )|M ⊇ B y M = Ci cada y Ci finitos reales intervalos n de cartesiano producto un es }
i=1
Aquí, vol(M) es la suma de los productos de las longitudes

de los intervalos que forman cada Ci . Se define entonces
que un conjunto A es Lebesgue-medible si
λ∗ (B) = λ∗ (A ∩ B) + λ∗ (B − A)
para todo conjunto B. Estos conjuntos Lebesgue-

medibles forman una σ-álgebra, y la medida de Lebesgue
se define como λ(A) = λ* (A) para todo conjunto medible
A.
Existen, sin embargo, subconjuntos de R que no son
Lebesgue-medibles, por ejemplo el conjunto de Vitali.
5 Relación con otras medidas

La medida de Borel coincide con la de Lebesgue en los
conjuntos para los que está definida; sin embargo, hay
muchos más conjuntos Lebesgue-medibles que Borel-
medibles. La de Borel es invariante por translación pero
no completa.
La medida de Haar se puede definir en cualquier grupo
topológico localmente compacto, y es una generalización
de la medida de Lebesgue; Rn con la suma es un grupo
topológico localmente compacto.
La medida de Hausdorff es una generalización de la de
Lebesgue, útil para medir los subconjuntos de Rn de di-
mensión inferior a n, como variedades, superficies o cur-
vas en R3 , y conjuntos fractales.
Se puede demostrar que no hay un análogo en infinitas
dimensiones de la medida de Lebesgue.
6 Historia
Henri Léon Lebesgue describió su medida en 1901, si-
guiéndole al año siguiente su descripción de la integración
de Lebesgue. Ambas fueron publicadas como parte de su
tesis en 1902.
3
7 Text and image sources, contributors, and licenses

7.1 Text
• Medida de Lebesgue Fuente: http://es.wikipedia.org/wiki/Medida_de_Lebesgue?oldid=68764091 Colaboradores: Fibonacci, Robot-
Quistnix, CEM-bot, Davius, Egaida, JAnDbot, TXiKiBoT, Snakefang, VolkovBot, AlleborgoBot, Muro Bot, Drinibot, Farisori, UA31,
Luckas-bot, Ptbotgourou, Ricardogpn, ChuispastonBot, Rezabot, JYBot, Legobot, Addbot y Anónimos: 8
7.2 Images
7.3 Content license

• Creative Commons Attribution-Share Alike 3.0

Medida de Lebesgue

Cargado por

Copyright:

Formatos disponibles

Medida de Lebesgue

Cargado por

Información del documento

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

Medida de Lebesgue

Cargado por

Copyright:

Formatos disponibles

Medida de Lebesgue

En matemáticas, la medida de Lebesgue es la forma • Si A y B son Lebesgue-medibles, y A ⊆ B, λ(A) ≤

3 Conjuntos de medida nula

dades: intervalos, cuyo volumen total es menor que ε. Todos los

4 Construcción de la medida de Le-

Aquí, vol(M) es la suma de los productos de las longitudes

para todo conjunto B. Estos conjuntos Lebesgue-

5 Relación con otras medidas

7 Text and image sources, contributors, and licenses

7.3 Content license

También podría gustarte