Medida de Lebesgue


Medida de Lebesgue

En matemáticas, la medida de Lebesgue es la forma estándar de asignar una longitud, área, o volumen a los subconjuntos del espacio euclídeo. Se usa en el análisis real, especialmente para definir la integración de Lebesgue. Los conjuntos a los que se les puede asignar un tamaño se denominan Lebesgue-medibles, o medibles a secas si no hay ambigüedad sobre la medida; el volumen o medida de un conjunto Lebesgue-medible A se denota por λ(A). Un valor de ∞ para la medida de Lebesgue es perfectamente posible, pero aún en ese caso, si se asume el axioma de elección, no todos los conjuntos de Rn son Lebesgue-medibles. El comportamiento "extraño" de los conjuntos no medibles da lugar a tales resultados como la paradoja de Banach-Tarski, una consecuencia del axioma de elección.

Contenido

Ejemplos

  • Si A es un intervalo cerrado [a, b], su medida de Lebesgue es la longitud ba. El intervalo abierto ]a, b[ tiene la misma medida, pues la diferencia entre los dos conjuntos tiene medida cero.
  • Si A es el producto cartesiano de dos intervalos [a, b] y [c, d], es un rectángulo cuya medida de Lebesgue es el área (ba)·(dc).
  • El conjunto de Cantor es un ejemplo de conjunto no numerable con medida de Lebesgue cero.

Propiedades

La medida de Lebesgue en Rn tiene las siguientes propiedades:

  • Si A es un producto cartesiano de intervalos I1 × I2 × ... × In, es Lebesgue-medible y λ(A) = |I1|·|I2|·...·|In|, donde |I| denota la longitud del intervalo I.
  • Si A es una unión disjunta de finitos o contables conjuntos Lebesgue-medibles, A mismo es Lebesgue-medible y λ(A) es igual a la suma (o serie infinita) de las medidas de los conjuntos correspondientes.
  • Si A es Lebesgue-medible, también lo es su complemento.
  • λ(A) ≥ 0 para todo conjunto Lebesgue-medible A.
  • Si A y B son Lebesgue-medibles, y AB, λ(A) ≤ λ(B) (consecuencia de los puntos anteriores).
  • Las uniones e intersecciones contables de conjuntos Lebesgue-medibles son asimismo Lebesgue-medibles (consecuencia de los puntos anteriores).
  • Si A es un subconjunto abierto o cerrado de Rn, es Lebesgue-medible.
  • La medida de Lebesgue es localmente finita e interna regular, y por lo tanto una medida de Radon.
  • Si A es un conjunto Lebesgue-medible con λ(A) = 0 (o conjunto nulo), todo subconjunto de A es también un conjunto nulo.
  • Si A es Lebesgue-medible y x es un elemento de Rn, la traslación definida por A + x = {a + x : aA} es también Lebesgue-medible y, más aún, tiene la misma medida que A.

Lo anterior se puede resumir como sigue:

Los conjuntos Lebesgue-medibles forman una σ-álgebra que incluye todos los productos de intervalos, y λ es la única medida completa invariante por translación en esa σ-álgebra que cumple λ([0,1] × [0,1] × ... × [0,1]) = 1.

La medida de Lebesgue tiene también la propiedad de ser σ-finita.

Conjuntos de medida nula

Artículo principal: Conjunto de medida nula

Un subconjunto de Rn se dice de medida nula, si para todo ε > 0 se puede recubrir con contables productos de n 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 (hiperplanos, por ejemplo líneas o curvas en R2).

Para demostrar que un conjunto arbitrario A es Lebesgue-medible, usualmente se intenta hallar un conjunto "más presentable" B cuya diferencia simétrica con A sea un conjunto nulo, y luego se demuestra que B se puede generar usando uniones e intersecciones numerables de conjuntos abiertos y cerrados.

Cuando una propiedad P se cumple en un conjunto X, excepto quizá en un subconjunto de X de medida nula, se dice que "la propiedad P se cumple en X casi en todas partes".

Construcción de la medida de Lebesgue

La construcción moderna de la medida de Lebesgue, basada en medidas exteriores, se debe a Constantin Carathéodory, y se realiza como sigue:

Para cualquier subconjunto B de Rn, se puede definir

 \lambda^*(B) = \inf \{\operatorname{vol}(M) : M \supseteq B \}, y  M \ es una unión numerable de productos de intervalos.

Aquí, vol(M) es la suma de los productos de las longitudes de los intervalos usados. Se define entonces que un conjunto A es Lebesgue-medible si

 \lambda^*(B) = \lambda^*(A \cap B) + \lambda^*(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 medibles, por ejemplo el conjunto de Vitali.

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 dimensión inferior a n, como variedades, superficies o curvas en R3, y conjuntos fractales.

Se puede demostrar que no hay un análogo en infinitas dimensiones de la medida de Lebesgue.

Historia

Henri Léon Lebesgue describió su medida en 1901, siguiéndole al año siguiente su descripción de la integración de Lebesgue. Ambas fueron publicadas como parte de su tesis en 1902.


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Medida de Haar — En análisis matemático, la medida de Haar es una manera de asignar un volumen invariante a los subconjuntos de grupos topológicos localmente compactos y de definir posteriormente una integral para las funciones sobre esos grupos. Esta medida fue… …   Wikipedia Español

  • medida, teoría de la — En matemática, una generalización de los conceptos de longitud y área (ver longitud, área y volumen) o, más propia y técnicamente, de la integral de Riemann, de Lebesgue y otras, a conjuntos arbitrarios de puntos no compuestos de segmentos de… …   Enciclopedia Universal

  • Lebesgue, Henri León — ► (1875 1941) Matemático francés. A partir de su nueva teoría de la medida dio una nueva definición de integral que lleva su nombre …   Enciclopedia Universal

  • Integral de Lebesgue — La integral de una función no negativa puede ser interpretada como el área bajo la curva. En matemática, la integración de una función no negativa (por considerar el caso más simple) puede considerarse como el área entre la gráfica de una curva y …   Wikipedia Español

  • Teoría de la medida — Una medida aplica ciertos subconjuntos (pertenecientes a una σ álgebra) en valores del intervalo [0, ∞]. En matemáticas, una medida es una función que asigna un número, un tamaño , un volumen , o una probabilidad , a los subconjuntos de un… …   Wikipedia Español

  • Henri Léon Lebesgue — Henri Lebesgue. Nacimiento 28 de junio de 1875 …   Wikipedia Español

  • Teoría de la medida — En matemáticas, una medida es una función que asigna un número, e.g., un tamaño , un volumen , o una probabilidad , a los subconjuntos de un Conjunto dado. El concepto es importante para el Análisis matemático y para la Teoría de la probabilidad …   Enciclopedia Universal

  • Henri Léon Lebesgue — (28 de junio de 1875 26 de julio de 1941), matemático francés. Nació en Beauvais, Oise, Picardie, Francia. Estudió en la Ecole Normale Supérieure y en el período 1899 1902 impartió clases en el Liceo de Nancy. Con base en el trabajo de otros… …   Enciclopedia Universal

  • Integración — La integral definida de una función representa el área limitada por la gráfica de la función, con signo positivo cuando la función toma valores positivos y negativo cuando toma valores negativos. Para otros usos de este término, véase Integración …   Wikipedia Español

  • Teorema de Carathéodory — En la rama del análisis matemático una parte relevante es la denominada Teoría de la medida, la cual estudia la medida de conjuntos y les asigna un valor a éstos. En la vida cotidiana medimos o clasificamos los conjuntos según su longitud,… …   Wikipedia Español