Teor�a de la medida

Ir a la navegaci�nIr a la b�squeda

Una medida aplica ciertos subconjuntos (pertenecientes a una s-�lgebra) en valores

del intervalo [0, 8].
La teor�a de la medida es una rama del an�lisis y de la geometr�a que investiga las
medidas, las funciones medibles y la integraci�n. Es de importancia central en
geometr�a, probabilidad y en estad�stica.

En matem�ticas, una medida de un conjunto es una forma sistem�tica y rigurosa de

asignar un n�mero a cada subconjunto apropiado de dicho conjunto. Intuitivamente,
dicho n�mero puede ser interpretado como una cierta medida del tama�o de dicho
subconjunto. En este sentido, la medida es una generalizaci�n de los conceptos de
"longitud","�rea", y "volumen". Dicha generalizaci�n se extiende tanto a mayores
dimensiones (en el sentido de "hipervol�menes") como a conceptos m�s abstractos,
puesto que el conjunto sobre el que se aplica una medida no tiene por qu� ser un
subconjunto de un espacio geom�trico. Un ejemplo ser�a la medida de Lebesgue:
cuando se aplica en un espacio Eucl�deo {\displaystyle \mathbb {R} ^{n}} \mathbb
{R} ^{n}, la medida de Lebesgue asigna los valores convencionales de longitud, �rea
y volumen a subconjuntos apropiados del espacio Eucl�deo {\displaystyle \mathbb {R}
^{n}} \mathbb {R} ^{n} n-dimensional. Por ejemplo, la medida de Lebesgue en el
intervalo [0,1] es la longitud de dicho intervalo en el sentido convencional de la
misma -- espec�ficamente, 1.

T�cnicamente, una medida es una funci�n que asigna un n�mero real no-negativo (�
+8) a ciertos subconjuntos de un conjunto X. La medida cumple una serie de
propiedades: debe ser, por ejemplo, contable aditiva, en el sentido de que la
medida de un subconjunto 'grande' puede siempre ser descompuesta en un n�mero
finito (o contablemente infinito) de subconjuntos disjuntos m�s peque�os, de tal
modo que la medida sea la suma de las medidas de dichos subconjuntos m�s peque�os.

En general, si uno pretende asociar un tama�o consistente a cada subconjunto de un

conjunto dado y al mismo tiempo satisfacer el resto de axiomas de una medida, las
�nicas medidas que uno suele poder definir son ejemplos triviales como la medida de
conteo. Este problema fue resuelto definiendo la medida como aplicable a unas
familias reducidas de subconjuntos, usualmente llamados los conjuntos medibles. Las
condiciones de consistencia que deben cumplir los miembros de estas familias quedan
encapsuladas en el concepto auxiliar de s-�lgebra. Esto significa que los
subconjuntos no medibles, esto es, los subconjuntos para los que uno no puede
definir una medida (sea de Lebesgue u otra) son muchos. Generalmente, esta
limitaci�n puede interpretarse como una consecuencia no-trivial del axioma de
elecci�n.

Por ejemplo, en base a dicho axioma, la paradoja de Banach-Tarski se�ala que la

bola unidad en tres dimensiones (esto es, una esfera de radio unidad) puede ser
descompuesta en un n�mero finito de piezas (no menos de cinco) tales que pueden ser
recompuestos para formar dos bolas unitarias. Esto es, uno puede formar dos esferas
de radio unidad usando tan solo cinco piezas de una sola esfera de radio unidad. Si
este es el caso, parece absurdo pretender definir la medida de una bola unitaria,
puesto que por subaditividad contable uno puede asignar al menos dos valores
distintos a la misma. La teor�a de la medida demarca las condiciones que los
conjuntos tienen que cumplir para ser medibles.

�ndice
1 Definiciones
1.1 Medida de un conjunto elemental
1.1.1 Propiedades
1.2 Medida de Jordan
1.2.1 Propiedades
1.2.2 Medida de Jordan e integral de Riemann
1.3 Medida de Lebesgue
1.3.1 Relaci�n con la medida elemental
1.3.2 Relaci�n con la medida de Jordan
2 Propiedades de los conjuntos medibles seg�n Lebesgue
2.1 Regularidad exterior
2.2 Existencia de los conjuntos medibles seg�n Lebesgue
3 Axiomas de la medida de Lebesgue
3.1 Aditividad finita
3.2 Teoremas de convergencia mon�tona
3.3 Invariancia traslacional
3.4 Cambio de variable
4 Conjuntos no medibles
5 Medidas sigma-finitas
6 Completitud
7 Ejemplos de medida
8 Generalizaciones
9 V�ase tambi�n
10 Referencias
10.1 Bibliograf�a
Definiciones
Medida de un conjunto elemental
La definici�n de una medida m sobre un conjunto {\displaystyle E} E requiere la
definici�n de una serie de conceptos previos que inducen la medida. De forma
general, la medida de un conjunto es un cierto n�mero que denota el tama�o o la
longitud de dicho conjunto. Por supuesto, la definici�n de la medida generaliza
dicha idea y la dota de rigor.

Sea {\displaystyle I} I un intervalo definido como un subconjunto de {\displaystyle

\mathbb {R} } \mathbb{R} de la forma:

{\displaystyle I=[a,b]=\{x\in \mathbb {R} :a\leq x\leq b\}} {\displaystyle

I=[a,b]=\{x\in \mathbb {R} :a\leq x\leq b\}}
{\displaystyle I=[a,b)=\{x\in \mathbb {R} :a\leq x<b\}} {\displaystyle I=[a,b)=\
{x\in \mathbb {R} :a\leq x<b\}}
{\displaystyle I=(a,b]=\{x\in \mathbb {R} :a<x\leq b\}} {\displaystyle I=(a,b]=\
{x\in \mathbb {R} :a<x\leq b\}}
{\displaystyle I=(a,b)=\{x\in \mathbb {R} :a<x<b\}} {\displaystyle I=(a,b)=\
{x\in \mathbb {R} :a<x<b\}}
donde {\displaystyle a\leq b} {\displaystyle a\leq b} son n�meros reales.

La longitud del intervalo {\displaystyle I} I se define como

{\displaystyle |I|=b-a} {\displaystyle |I|=b-a}

Una caja en {\displaystyle \mathbb {R} ^{n}} \mathbb {R} ^{n} es el producto
cartesiano {\displaystyle B=I_{1}\times \ldots \times I_{n}} {\displaystyle
B=I_{1}\times \ldots \times I_{n}} de n intervalos de longitud cualquiera. El
volumen de dicha caja queda definido como

{\displaystyle |B|=|I_{1}|\times \ldots \times |I_{n}|} {\displaystyle |B|=|

I_{1}|\times \ldots \times |I_{n}|}
Un conjunto elemental E es cualquier subconjunto de {\displaystyle \mathbb {R}
^{n}} \mathbb {R} ^{n} formado por la uni�n de un n�mero finito de cajas:

{\displaystyle E\subset \mathbb {R} ^{n}=\bigcup _{i=0}^{k}B_{i}} {\displaystyle

E\subset \mathbb {R} ^{n}=\bigcup _{i=0}^{k}B_{i}}
Medida de un conjunto elemental. Sea {\displaystyle E\subset \mathbb {R} ^{n}}
{\displaystyle E\subset \mathbb {R} ^{n}}. Si {\displaystyle E} E se particiona
como la uni�n finita de un conjunto disjunto de cajas, {\displaystyle
E=B_{1}\cup \ldots \cup B_{k}} {\displaystyle E=B_{1}\cup \ldots \cup B_{k}} con
{\displaystyle B_{i}\cap B_{j}=\emptyset \,\forall i\neq j,\,i,j=1,\ldots ,k}
{\displaystyle B_{i}\cap B_{j}=\emptyset \,\forall i\neq j,\,i,j=1,\ldots ,k},
entonces la cantidad

{\displaystyle m(E)=|B_{1}|+\ldots +|B_{k}|} {\displaystyle m(E)=|B_{1}|+\ldots +|

B_{k}|}
es independiente del modo en que se realiza la partici�n, y se le llama la medida
elemental del conjunto E.

Propiedades
De la definici�n de medida elemental se siguen varias propiedades compartidas por
todas las medidas. En concreto:

{\displaystyle m(E\cup F)=m(E)+m(F)} {\displaystyle m(E\cup F)=m(E)+m(F)},

{\displaystyle \forall E,F{\text{ tal que }}E\cap F=\emptyset } {\displaystyle
\forall E,F{\text{ tal que }}E\cap F=\emptyset }.
{\displaystyle m(E_{1}\cup \ldots \cup E_{k})=m(E_{1})+\ldots +m(E_{k})}
{\displaystyle m(E_{1}\cup \ldots \cup E_{k})=m(E_{1})+\ldots +m(E_{k})},
{\displaystyle \forall E_{1},\ldots ,E_{k}\,{\text{tales que}}\,\forall i\neq
j,\,i,j=1,\ldots ,k,\,E_{i}\cap E_{j}=\emptyset } {\displaystyle \forall
E_{1},\ldots ,E_{k}\,{\text{tales que}}\,\forall i\neq j,\,i,j=1,\ldots
,k,\,E_{i}\cap E_{j}=\emptyset }.
La medida es siempre un n�mero real positivo.
{\displaystyle m(\emptyset )=0} {\displaystyle m(\emptyset )=0}
{\displaystyle m(E\cup F)\leq m(E)+m(F)} {\displaystyle m(E\cup F)\leq m(E)+m(F)}
en el caso de que E y F no sean necesariamente disjuntos.
{\displaystyle m(E_{1}\cup \ldots \cup E_{k})\leq m(E_{1})+\ldots +m(E_{k})}
{\displaystyle m(E_{1}\cup \ldots \cup E_{k})\leq m(E_{1})+\ldots +m(E_{k})} en el
caso de que los conjuntos no sean necesariamente disjuntos.
{\displaystyle m(E+x)=m(E)} {\displaystyle m(E+x)=m(E)}, esto es, la medida es
siempre invariante con respecto a la traslaci�n.
Si {\displaystyle E\subset \mathbb {R} ^{n_{1}}} {\displaystyle E\subset \mathbb
{R} ^{n_{1}}} y {\displaystyle F\subset \mathbb {R} ^{n_{2}}} {\displaystyle
F\subset \mathbb {R} ^{n_{2}}} son ambos conjuntos elementales, entonces
{\displaystyle E\times F\subset \mathbb {R} ^{n_{1}+n_{2}}} {\displaystyle E\times
F\subset \mathbb {R} ^{n_{1}+n_{2}}} tambi�n es elemental, y su medida es
{\displaystyle m(E\times F)=m(E)\,m(F)} {\displaystyle m(E\times F)=m(E)\,m(F)}
Por tanto, queda claro que la medida generaliza el concepto de volumen de una caja,
puesto que m(B)= |B| para toda caja.

Medida de Jordan
Los conjuntos elementales son muy restrictivos, pues solo pueden construirse en
base a intervalos. La medida de Jordan es la primera generalizaci�n del concepto de
medida. La idea general es la de demarcar el conjunto E con otros dos conjuntos,
uno que lo inscribe y otro que lo circunscribe. Dichos dos conjuntos pueden ser
expresados como conjuntos elementales, y en el l�mite, conforme las cajas que
conforman dichos conjuntos aumentan en n�mero e inscriben al conjunto E mejor, las
medidas elementales de dichos conjuntos acabar�n por converger a la medida (de
Jordan) de E.

Sea {\displaystyle E\subset \mathbb {R} ^{n}} {\displaystyle E\subset \mathbb {R}
^{n}} un conjunto acotado a medir. Sean A y B dos conjuntos elementales tales que
{\displaystyle A\subset E\subset B} {\displaystyle A\subset E\subset B}. Entonces,

la medida interna de Jordan {\displaystyle m_{J}(E)} {\displaystyle m_{J}(E)} del

conjunto acotado E se define como
{\displaystyle m_{J}(E)=\sup _{A\subset E}\{m(A)\}} {\displaystyle m_{J}(E)=\sup
_{A\subset E}\{m(A)\}}
la medida externa de Jordan {\displaystyle m^{J}(E)} {\displaystyle m^{J}(E)} del
conjunto acotado E se define como
{\displaystyle m^{J}(E)=\inf _{E\subset B}\{m(B)\}} {\displaystyle m^{J}(E)=\inf
_{E\subset B}\{m(B)\}}
Cuando {\displaystyle m_{J}(E)=m^{J}(E)} {\displaystyle m_{J}(E)=m^{J}(E)}, el
conjunto E se dice que es medible seg�n Jordan, y su medida {\displaystyle
m(E)\equiv m_{J}(E)=m^{J}(E)} {\displaystyle m(E)\equiv m_{J}(E)=m^{J}(E)} se
denota como la medida de Jordan.

Propiedades
La medida de Jordan cumple las siguientes propiedades. Si {\displaystyle E,F\subset
\mathbb {R} ^{n}} {\displaystyle E,F\subset \mathbb {R} ^{n}} son conjuntos
medibles seg�n Jordan:

Cierre Booleano. Los conjuntos {\displaystyle E\cup F,E\cap F,E/F,E-F}

{\displaystyle E\cup F,E\cap F,E/F,E-F} son medibles seg�n Jordan.
{\displaystyle m(E)\geq 0} {\displaystyle m(E)\geq 0}
Aditividad finita. Si {\displaystyle E,F} {\displaystyle E,F} son disjuntos,
entonces {\displaystyle m(E\cup F)=m(E)+m(F)} {\displaystyle m(E\cup F)=m(E)+m(F)}.
Monotonicidad. Si {\displaystyle E\subset F} {\displaystyle E\subset F}, entonces
{\displaystyle m(E)\leq m(F)} {\displaystyle m(E)\leq m(F)}.
Subaditividad finita. {\displaystyle m(E\cup F)\leq m(E)+m(F)} {\displaystyle
m(E\cup F)\leq m(E)+m(F)}.
Invariancia traslacional. {\displaystyle m(E+x)=m(E),\quad \forall x\in \mathbb {R}
^{n}} {\displaystyle m(E+x)=m(E),\quad \forall x\in \mathbb {R} ^{n}}.
Producto de medidas. Si {\displaystyle E\subset \mathbb {R} ^{n_{1}}}
{\displaystyle E\subset \mathbb {R} ^{n_{1}}} y {\displaystyle F\subset \mathbb {R}
^{n_{2}}} {\displaystyle F\subset \mathbb {R} ^{n_{2}}} son ambos conjuntos
medibles seg�n Jordan, entonces {\displaystyle E\times F\subset \mathbb {R}
^{n_{1}+n_{2}}} {\displaystyle E\times F\subset \mathbb {R} ^{n_{1}+n_{2}}} tambi�n
es medible seg�n Jordan, y su medida de Jordan es {\displaystyle m(E\times
F)=m(E)\times m(F)} {\displaystyle m(E\times F)=m(E)\times m(F)}.
Aunque mejora la definici�n de medida al extenderla a ciertos conjuntos no
elementales, la medida de Jordan no es universalmente aplicable, pues se basa en la
idea de poder circunscribir el conjunto E con conjuntos elementales externos e
internos al mismo; dichos conjuntos elementales son, por definici�n, finitos. Esto
es problem�tico en muchos casos. Para empezar, no puede extenderse a conjuntos
abiertos, para los que la demarcaci�n del conjunto E con medidas internas y
externas queda ambiguamente definida. En general, la medida de Jordan solo se puede
aplicar si la frontera topol�gica del conjunto E tiene medida externa de Jordan
cero. Esto excluye conjuntos con fronteras con propiedades fractales, pero tambi�n
conjuntos con agujeros internos. La medida de Lebesgue viene a generalizar a la de
Jordan a un n�mero mayor de conjuntos.

Medida de Jordan e integral de Riemann

La medida de Jordan est� �ntimamente relacionada con la integral de Riemann, de tal
modo que las limitaciones de la integral definida seg�n Riemann son las propias de
la medida de Jordan. En concreto, si E es un conjunto medible seg�n Jordan
entendido como el intervalo {\displaystyle E=[a,b]} {\displaystyle E=[a,b]}, y
definimos la funci�n indicatriz {\displaystyle \mathbf {1} _{E}:[a,b]\to \mathbb
{R} } {\displaystyle \mathbf {1} _{E}:[a,b]\to \mathbb {R} } como

{\displaystyle \mathbf {1} _{E}(x)={\begin{cases}1&{\text{si }}x\in E,\\0&{\text{si

}}x\notin E.\end{cases}},} {\displaystyle \mathbf {1} _{E}
(x)={\begin{cases}1&{\text{si }}x\in E,\\0&{\text{si }}x\notin E.\end{cases}},}
entonces dicha funci�n indicatriz es integrable seg�n Riemann, y

{\displaystyle \int _{a}^{b}\mathbf {1} _{E}(x){\text{d}}x=m(E)} {\displaystyle

\int _{a}^{b}\mathbf {1} _{E}(x){\text{d}}x=m(E)}
donde {\displaystyle m(E)} {\displaystyle m(E)} es la medida de Jordan del
intervalo. Esto es, todo intervalo de integraci�n seg�n Riemann induce una medida
de Jordan sobre el mismo.

Adem�s, si {\displaystyle f(x)} {\displaystyle f(x)} es una funci�n acotada en el

intervalo {\displaystyle E=[a,b]} {\displaystyle E=[a,b]}, y definimos los
conjuntos acotados positivo {\displaystyle E_{+}} {\displaystyle E_{+}} y negativo
{\displaystyle E_{-}} {\displaystyle E_{-}} como los conjuntos medibles seg�n
Jordan en {\displaystyle \mathbb {R} ^{2}} {\displaystyle \mathbb {R} ^{2}}:

{\displaystyle E_{+}=\{(x,y):x\in [a,b];0\leq y\leq f(x)\}} {\displaystyle E_{+}=\

{(x,y):x\in [a,b];0\leq y\leq f(x)\}}
{\displaystyle E_{-}=\{(x,y):x\in [a,b];f(x)\leq y\leq 0\}} {\displaystyle E_{-}=\
{(x,y):x\in [a,b];f(x)\leq y\leq 0\}}
Entonces la integral de Riemann de f(x) es

{\displaystyle \int _{a}^{b}f(x){\text{d}}x=m(E_{+})-m(E_{-})} {\displaystyle \int

_{a}^{b}f(x){\text{d}}x=m(E_{+})-m(E_{-})}
donde {\displaystyle m(E_{\pm })} {\displaystyle m(E_{\pm })} es la medida
(bidimensional) de Jordan de {\displaystyle E_{\pm }} {\displaystyle E_{\pm }}.
Esto es, la medida de Jordan define el �rea (o volumen, o longitud) de un conjunto,
y la integral de Riemann describe el �rea bajo la curva, entendida como la medida
de Jordan del �rea definida por el eje abscisas (x=0) y la funci�n f(x). Si f(x) no
es lo suficientemente regular, la medida de Jordan de dicha �rea no existe, y por
tanto la integral de Riemann tampoco. Esto es, las condiciones necesarias para que
un conjunto sea integrable seg�n Riemann y medible seg�n Jordan son las mismas.

Medida de Lebesgue
La medida de Lebesgue es una generalizaci�n de la medida de Jordan que extiende el
conjunto de conjuntos medibles (y, por tanto, integrables). El problema con la
medida de Jordan est� relacionado con la definici�n de medida externa de Jordan,
que viene dada por

{\displaystyle m^{J}(E)=\inf _{E\subset B}\{m(B)\}} {\displaystyle m^{J}(E)=\inf

_{E\subset B}\{m(B)\}}
La aditividad finita permite extender la medida externa de Jordan como

{\displaystyle m^{J}(E)=\inf _{E\subset B_{1}\cup \ldots \cup B_{k}}\{|B_{1}|

+\ldots +|B_{k}|\}} {\displaystyle m^{J}(E)=\inf _{E\subset B_{1}\cup \ldots \cup
B_{k}}\{|B_{1}|+\ldots +|B_{k}|\}}
Esto quiere decir que la medida externa de Jordan es el �nfimo de todas las formas
con que se puede cubrir el conjunto E como la uni�n de cajas elementales.

La medida externa de Lebesgue se define como la extensi�n de la medida externa de

Jordan a una sucesi�n contable de cajas {\displaystyle (B_{i})_{i=1}^{\infty }}
{\displaystyle (B_{i})_{i=1}^{\infty }},

{\displaystyle m^{L}(E)=\inf _{E\subset \bigcup _{i=1}^{\infty }B_{i}}\left\{\sum

_{i=1}^{\infty }|B_{i}|\right\}} {\displaystyle m^{L}(E)=\inf _{E\subset \bigcup
_{i=1}^{\infty }B_{i}}\left\{\sum _{i=1}^{\infty }|B_{i}|\right\}}
Claramente, {\displaystyle m^{L}(E)\leq m^{J}(E)} {\displaystyle m^{L}(E)\leq m^{J}
(E)}, pues siempre podremos generar la uni�n de cajas finitas que implica Jordan
usando un n�mero infinito de cajas de volumen cero seg�n Lebesgue. Pero al mismo
tiempo, {\displaystyle m^{L}(E)} {\displaystyle m^{L}(E)} puede ser mucho menor, y
puede ser aplicado a un n�mero mucho menos restrictivo de conjuntos E.

La medida interna de Lebesgue se demuestra menos �til: uno no gana mayor poder de
medida con extender la medida interna de Jordan a la uni�n contable de un n�mero
infinito de cajas. Pero s� lo gana defini�ndola en base a complementos. As�, la
medida interna de Lebesgue se define como

{\displaystyle m_{L}(E)=m(A)-m^{L}(A/E)} {\displaystyle m_{L}(E)=m(A)-m^{L}(A/E)}

donde A es todo conjunto elemental que contenga a E. Por tanto, la medida externa
de Lebesgue parece bastar para establecer una medida.

Con todo, un conjunto {\displaystyle E\subset \mathbb {R} ^{n}} {\displaystyle

E\subset \mathbb {R} ^{n}} se dice medible seg�n Lebesgue si para todo
{\displaystyle \epsilon >0} {\displaystyle \epsilon >0} existe un conjunto abierto
{\displaystyle U\subset \mathbb {R} ^{n}} {\displaystyle U\subset \mathbb {R} ^{n}}
con {\displaystyle E\subset U} {\displaystyle E\subset U} tal que {\displaystyle
m^{L}(U/E)\leq \epsilon } {\displaystyle m^{L}(U/E)\leq \epsilon }. Si E es medible
seg�n Lebesgue, entonces {\displaystyle m^{L}(E)\equiv m(E)} {\displaystyle m^{L}
(E)\equiv m(E)} es la medida de Lebesgue de E.

Relaci�n con la medida elemental

Si E es un conjunto elemental, entonces la medida (exterior) de Lebesgue de E,
{\displaystyle m^{L}(E)} {\displaystyle m^{L}(E)} es igual a la medida elemental de
dicho conjunto, esto es:

{\displaystyle m(E)=m^{L}(E)} {\displaystyle m(E)=m^{L}(E)}

Si E es un conjunto medible cualquiera, entonces en general

{\displaystyle m(E)\leq m^{L}(E)} {\displaystyle m(E)\leq m^{L}(E)}

Relaci�n con la medida de Jordan
La medida de Lebesgue de todo conjunto medible seg�n Jordan es igual a la medida de
Jordan de dicho conjunto. Esto es

{\displaystyle m_{J}(E)=m^{L}(E)} {\displaystyle m_{J}(E)=m^{L}(E)}

Si E es un conjunto medible cualquiera, entonces en general

{\displaystyle m^{L}(E)\leq m^{J}(E)} {\displaystyle m^{L}(E)\leq m^{J}(E)}

Por tanto, se sigue que la medida de Lebesgue est� acotada por las medidas interna
y externa de Jordan:

{\displaystyle m_{J}(E)\leq m^{L}(E)\leq m^{J}(E)} {\displaystyle m_{J}(E)\leq

m^{L}(E)\leq m^{J}(E)}
Propiedades de los conjuntos medibles seg�n Lebesgue
Un conjunto medible seg�n Lebesgue tiene asociado al mismo una medida de Lebesgue.
Pero es posible, al menos en principio, tratar de asociar una medida de Lebesgue a
conjuntos que no son medibles seg�n Lebesgue. Esto suele llevar a contradicciones o
ambig�edades. En todo caso, es necesario distinguir entre las propiedades asociadas
a los conjuntos que son medibles seg�n Lebesgue, y las propiedades mismas de la
medida de Lebesgue. A continuaci�n, detallamos las propiedades de los conjuntos
medibles seg�n Lebesgue.

Regularidad exterior
Sea {\displaystyle E\subset \mathbb {R} ^{n}} {\displaystyle E\subset \mathbb {R}
^{n}} un conjunto cualquiera, y sea U un conjunto abierto tal que {\displaystyle
E\subset U} {\displaystyle E\subset U}. Entonces

{\displaystyle m^{L}(E)=\inf _{E\subset U}\{m^{L}(U)\}} {\displaystyle m^{L}

(E)=\inf _{E\subset U}\{m^{L}(U)\}}
El reverso, esto es, {\displaystyle m^{L}(U)=\inf _{E\subset U}\{m^{L}(E)\}}
{\displaystyle m^{L}(U)=\inf _{E\subset U}\{m^{L}(E)\}}, es falso.

Existencia de los conjuntos medibles seg�n Lebesgue

Los conjuntos medibles seg�n Lebesgue son muchos. En concreto, se puede demostrar
que:

Todo conjunto abierto es medible seg�n Lebesgue.

Todo conjunto cerrado es medible seg�n Lebesgue.
Todo conjunto cuya medida de Lebesgue es nula es medible.
El conjunto vaci� {\displaystyle \emptyset } {\displaystyle \emptyset } es medible.
Si {\displaystyle E\subset \mathbb {R} ^{n}} {\displaystyle E\subset \mathbb {R}
^{n}} es medible seg�n Lebesgue, entonces su complementario {\displaystyle \mathbb
{R} ^{n}/E} {\displaystyle \mathbb {R} ^{n}/E} es medible seg�n Lebesgue.
Si E1, E2, E3, ... es una sucesi�n contable de conjuntos medibles seg�n Lebesgue,
su uni�n ser� tambi�n medible seg�n Lebesgue.
Si E1, E2, E3, ... es una sucesi�n contable de conjuntos medibles seg�n Lebesgue,
su intersecci�n ser� tambi�n medible seg�n Lebesgue.
Axiomas de la medida de Lebesgue
Las propiedades de la medida (externa) de Lebesgue cuando esta se aplica a
conjuntos que son medibles seg�n Lebesgue son las siguientes:

Elemento neutro: {\displaystyle m(\emptyset )=0} {\displaystyle m(\emptyset )=0}.

Aditividad contable. Si {\displaystyle E_{1},E_{2},\ldots \subset \mathbb {R} ^{n}}
{\displaystyle E_{1},E_{2},\ldots \subset \mathbb {R} ^{n}} es una sucesi�n
contable de conjuntos disjuntos medibles seg�n Lebesgue, entonces
{\displaystyle m\left(\bigcup _{i=1}^{\infty }E_{i}\right)=\sum _{i=1}^{\infty }
m(E_{i})} {\displaystyle m\left(\bigcup _{i=1}^{\infty }E_{i}\right)=\sum
_{i=1}^{\infty }m(E_{i})}
Aditividad finita
De ambas se sigue la aditividad finita:

{\displaystyle m\left(E_{1}\cup \ldots \cup E_{n}\right)=m(E_{1})+\ldots +m(E_{n})}

{\displaystyle m\left(E_{1}\cup \ldots \cup E_{n}\right)=m(E_{1})+\ldots +m(E_{n})}
Teoremas de convergencia mon�tona
Teorema de convergencia mon�tona ascendente. Sea {\displaystyle E_{1}\subset
E_{2}\subset \ldots \subset \mathbb {R} ^{n}} {\displaystyle E_{1}\subset
E_{2}\subset \ldots \subset \mathbb {R} ^{n}} una secuencia contable no
descendiente de conjuntos medibles seg�n Lebesgue. Entonces

{\displaystyle m\left(\bigcup _{i=1}^{\infty }E_{i}\right)=\lim _{i\to \infty }

m(E_{i})} {\displaystyle m\left(\bigcup _{i=1}^{\infty }E_{i}\right)=\lim _{i\to
\infty }m(E_{i})}
Teorema de convergencia mon�tona descendiente.' Sea {\displaystyle \mathbb {R}
^{n}\supset E_{1}\supset E_{2}\supset \ldots } {\displaystyle \mathbb {R}
^{n}\supset E_{1}\supset E_{2}\supset \ldots } una secuencia contable no
ascendiente de conjuntos medibles seg�n Lebesgue. Entonces si al menos una de las
medidas {\displaystyle m(E_{j})} {\displaystyle m(E_{j})} es finita,

{\displaystyle m\left(\bigcap _{i=1}^{\infty }E_{i}\right)=\lim _{i\to \infty }

m(E_{i})} {\displaystyle m\left(\bigcap _{i=1}^{\infty }E_{i}\right)=\lim _{i\to
\infty }m(E_{i})}
Invariancia traslacional
Si {\displaystyle E\subset \mathbb {R} ^{n}} {\displaystyle E\subset \mathbb {R}
^{n}} es medible seg�n Lebesgue, entonces {\displaystyle E+x} {\displaystyle E+x}
es medible seg�n Lebesgue para cualquier {\displaystyle x\in \mathbb {R} ^{n}}
{\displaystyle x\in \mathbb {R} ^{n}}, y su medida cumple que

{\displaystyle m(E+x)=m(E)} {\displaystyle m(E+x)=m(E)}

Cambio de variable
Si {\displaystyle E\subset \mathbb {R} ^{n}} {\displaystyle E\subset \mathbb {R}
^{n}} es medible seg�n Lebesgue, y si {\displaystyle G:\mathbb {R} ^{n}\to \mathbb
{R} ^{n}} {\displaystyle G:\mathbb {R} ^{n}\to \mathbb {R} ^{n}} es una
transformaci�n lineal, el conjunto {\displaystyle G(E)} {\displaystyle G(E)} es
medible seg�n Lebesgue, y su medida es:

{\displaystyle m(G(E))=|{\text{det}}\,G|m(E)} {\displaystyle m(G(E))=|

{\text{det}}\,G|m(E)}
N�tese que si {\displaystyle G:\mathbb {R} ^{n}\to \mathbb {R} ^{n-m}}
{\displaystyle G:\mathbb {R} ^{n}\to \mathbb {R} ^{n-m}}, esto es, si la
transformaci�n es una aplicaci�n a un espacio de dimensionalidad estrictamente
inferior, entonces G(E) no tiene por qu� ser medible seg�n Lebesgue.

Conjuntos no medibles
El teorema de Solovay (1970) afirma que si uno est� dispuesto a descartar el axioma
de elecci�n, entonces existen modelos de teor�a de conjuntos en los que todos los
subconjuntos de {\displaystyle \mathbb {R} ^{n}} {\displaystyle \mathbb {R} ^{n}}
son medibles. Esto sugiere que la existencia de conjuntos no medibles debe ser, de
un modo u otro, una consecuencia del axioma de elecci�n (o del principio de buena
ordenaci�n).

Uno puede intuir la necesidad de que los conjuntos no medibles existan observando
que las secuencias de subconjuntos medibles obedecen la convergencia mon�tona. Todo
lo que se necesita para definir un conjunto no medible es, por tanto, construir un
conjunto cuya estructura interna es altamente oscilatoria. Esto meramente significa
generar un cierto conjunto cuyas particiones internas exploten de forma irregular
el principio de buena ordenaci�n o el inducci�n transfinita. Esto ocurre por
ejemplo al explotar la paradoja de Banach-Tarski para descomponer una esfera
unitaria y reconformarla como dos esferas unitarias.

Otro ejemplo ser�a el del conjunto de Vitali. Dicho conjunto es un subconjunto V

del intervalo [0,1] tal que para cada n�mero real r en [0,1], existe exactamente un
n�mero {\displaystyle v\in V} v \in V tal que v-r es un n�mero racional. Como los
n�meros racionales {\displaystyle \mathbb {Q} } \mathbb{Q} son un subgrupo normal
de los n�meros reales con respecto a la suma, uno puede definir el grupo cociente
{\displaystyle \mathbb {R} /\mathbb {Q} } {\displaystyle \mathbb {R} /\mathbb
{Q} }, que es el co-conjunto de los n�meros racionales como subgrupo de los reales
con respecto a la adici�n. Este grupo cociente consiste de copias disjuntas de
{\displaystyle \mathbb {Q} } \mathbb{Q} trasladadas una cierta cantidad. Hay
incontablemente muchos n�meros de elementos en {\displaystyle \mathbb {R} /\mathbb
{Q} } {\displaystyle \mathbb {R} /\mathbb {Q} }, y cada elemento es denso en
{\displaystyle \mathbb {R} } \mathbb{R}. Cada elemento de {\displaystyle \mathbb
{R} /\mathbb {Q} } {\displaystyle \mathbb {R} /\mathbb {Q} } intersecta a [0,1], y
por el axioma de la elecci�n la existencia del subconjunto de [0,1] que contiene
exactamente un elemento de {\displaystyle \mathbb {R} /\mathbb {Q} } {\displaystyle
\mathbb {R} /\mathbb {Q} } est� garantizada. El conjunto resultante es el conjunto
de Vitali, y aunque es cerrado, no es medible: la medida de cualquier subconjunto
del conjunto de Vitali es la medida del conjunto de Vitali, pero esta �ltima, por
aditividad contable deber�a de ser o cero, o infinita.

As� pues,

Teorema de Vitali para la existencia de conjuntos no medibles

Existe un subconjunto {\displaystyle E\subset [0,1]} {\displaystyle E\subset [0,1]}

que no es medible seg�n Lebesgue.

Medidas sigma-finitas
Un espacio de medida (X, S, �) se dice finito si �(X) es un n�mero real finito (en
lugar de 8). Y se dice s-finito (le�do sigma finito) si X es la uni�n contable de
conjuntos medibles de medida finita. Un conjunto en un espacio de medida tiene
medida s-finita si es una uni�n contable de conjuntos de medida finita.
Por ejemplo, los n�meros reales con la medida de Lebesgue est�ndar forman un
espacio s-finito pero no finito. Consid�rese el intervalo cerrado [k, k+1] para
cada entero k; hay una cantidad contable de tales intervalos, cada uno tiene medida
1, y su uni�n es la recta real completa. Alternativamente, t�mense los n�meros
reales con la medida de conteo, que asigna a cada conjunto finito de n�meros reales
el n�mero de puntos en el conjunto. Este espacio de medida no es s-finito, ya que
cada conjunto de medida finita contiene finitos puntos, y se necesitar�a una
cantidad no contable de ellos para cubrir la recta entera. Los espacios de medida
s-finita tienen algunas propiedades convenientes; as�, la s-finitud puede ser
comparada a la separabilidad de los espacios topol�gicos.

Completitud
Un conjunto medible S es llamado un conjunto nulo si �(S) = 0, y conjunto
despreciable si est� propiamente contenido en uno nulo. La medida � se dice
completa si todo conjunto despreciable es medible (y por lo tanto, nulo tambi�n).

Una medida puede extenderse a una completa considerando la s-�lgebra de conjuntos T

? X que difieren de un conjunto medible S en un conjunto despreciable; esto es, tal
que la diferencia sim�trica T ? S est� contenida en un conjunto nulo. En tal caso
se define �(T) = �(S).

Ejemplos de medida
A continuaci�n se listan algunos ejemplos importantes de medidas.

La medida de conteo se define por �(S) = n�mero de elementos en S, si S es finito;

o {\displaystyle \infty } {\displaystyle \infty } en caso contrario.
La medida de Lebesgue es la �nica medida completa, invariante por translaciones,
sobre una s-�lgebra sobre R que contenga a los intervalos, y tal que m([0,1]) = 1.
La medida de �ngulo circular, que es invariante por rotaciones.
La medida de Haar para un grupo topol�gico localmente compacto es una
generalizaci�n de la medida de Lebesgue y tiene una propiedad de unicidad similar.
La medida cero es la definida mediante �(S) = 0 para todo S.
La medida exterior de Hausdorff-Besicovitch se usa en geometr�a fractal para medir
el df-contenido de un conjunto fractal de dimensi�n df.
Todo espacio de probabilidad da lugar a una medida que toma el valor 1 sobre todo
el espacio (y por tanto toma todos sus valores en el intervalo unitario [0,1]). Tal
medida es denominada medida de probabilidad.
Otras medidas notables son las de Borel, Jordan, y Radon.

Generalizaciones
Para ciertos prop�sitos, es �til tener una "medida" cuyos valores no se restrinjan
a los reales no negativos y el infinito. Por ejemplo, una funci�n de conjunto
numerable aditiva con valores en los n�meros reales (con signo) se llama medida con
signo, mientras que tal tipo de funci�n con valores en los n�meros complejos se
llama medida compleja. Una medida que tome valores en un espacio de Banach se llama
medida espectral; son usadas a menudo en an�lisis funcional en el teorema
espectral. Para distinguir las medidas usuales, con valores positivos, de las
generalizaciones, se habla de medidas positivas.

Otra generalizaci�n es la medida finitamente aditiva. Es igual que una medida,

salvo que en lugar de requerir aditividad contable, solo se necesita aditividad
finita. Hist�ricamente, esta definici�n se us� inicialmente, pero no result� ser
tan �til. En general, las medidas finitamente aditivas est�n conectadas con
nociones como los l�mites de Banach, el dual de L8, y la compactificaci�n de Stone-
Cech. Todas estas est�n conectadas de alguna forma con el axioma de elecci�n.

El interesante resultado en geometr�a integral conocido como teorema de Hadwiger

establece que el espacio de funciones de conjunto invariantes por translaciones,
finitamente aditivas, no necesariamente no negativas definidas sobre las uniones
finitas de conjuntos compactos y convexos en Rn consiste (salvo m�ltiplos
escalares) en una "medida" que es "homog�nea de grado k" para cada k = 0, 1,
2, ..., n, y combinaciones lineales de esas "medidas". "Homog�nea de grado k"
significa que "re-escalar" cualquier conjunto por un factor c > 0 multiplica la
"medida" del conjunto por un factor ck. La que es homog�nea de grado n es el
volumen ordinario n-dimensional. La homog�nea de grado n-1 es el "volumen de
superficie". La homog�nea de grado 1 es una funci�n misteriosa llamada "anchura
media" (en ingl�s, "mean width"), un mal nombre. La homog�nea de grado 0 es la
caracter�stica de Euler.