Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Medida Exterior
La integral de Lebesgue surge del desarrollo de la integral de Riemann, ante las dificultades
encontradas en las propiedades de paso al lmite para calcular la integral de una funcion definida
como lmite puntual de una sucesion de funciones.
La teora de Lebesgue se basa en un concepto mas general de lo que es la medida de un
Medida de
conjunto que la definicion eucldea de volumen, y lleva a la definicion de una familia de conjuntos
Lebesgue en Rn
medibles que incluye a los conjuntos medibles Jordan, y a la construccion de una integral que
puede aplicarse en contextos mas variados que la de Riemann (funciones no acotadas, dominios
de integracion no acotados, ...) y que tiene mejor comportamiento frente a las operaciones de
lmite de funciones. La integral de Lebesgue frente a la de Riemann supone un paso comparable
Medida Exterior
a la construccion de los numeros reales frente a los racionales.
Medida de Lebesgue
Vamos a empezar el estudio por la construccion de la medida de Lebesgue, y luego desarrol-
laremos su concepto de integral.
donde el nfimo se toma entre todas las familias numerables de rectangulos que recubren a A
m es una funcion de conjunto, definida en P(Rn ), la familia de todos los subconjuntos de
Rn , y con valores en [0, ]. Quiza convenga recordar algunas de propiedades de las operaciones
en [0, ] que nos pueden surgir:
Si a es un numero real, a + = y a =
Medida de Si a es un numero real, a > 0, entonces a =
Lebesgue en Rn
Si a es un numero real, a < 0, entonces a =
Medida de
Lebesgue en Rn
X [
{ v(Sn ), A Sn , Sn rectangulos abiertos}
n=1 n=1
X
[
{ v(Qn ), A Qn , Qn rectangulos cerrados}
Medida Exterior n=1 n=1
Medida de Lebesgue
Recprocamente, sea > 0, y sea {Qn }n una familia de rectangulos que recubre a A tal
X
que v(Qn ) m (A) + /2. Para cada n N podemos escoger un rectangulo abierto
n=1
JJ II n+1
[
Sn que contenga ea Qn , y tal que v(Sn ) v(Qn ) + /2 . Entonces A Sn , y la
J I n=1
serie
X X
v(Sn ) v(Qn ) + m (A) +
n=1 n=1
2n+1
Tomando nfimos entre todas las posibles familias de rectangulos abiertos que recubren a
A, tenemos
n(A) m (A) +
y como esto es cierto para todo > 0, tiene que ser n(A) m (A). Con la desigualdad
Medida de de antes se tiene el resultado.
Lebesgue en Rn 2. Los conjuntos A Rn con m (A) = 0 son los conjuntos de medida cero definidos en el
estudio de la integral de Riemann.
3. Ademas, la medida exterior generaliza el concepto de volumen de un rectangulo: si R es
Medida Exterior un rectangulo en Rn , m (R) = v(R)
Medida de Lebesgue En efecto, una desigualdad es trivial, ya que si R es un rectangulo, y definimos Q1 = R, y
X
Qn = si n 2, entonces R
S
n=1 nQ y m (R) v(Qn ) = v(R)
n=1
Por otro lado, sea {Qn }n una familia numerable de rectangulos abiertos que recubra a
JJ II R. Como R es compacto, esta familia tiene que admitir un subrecubrimiento finito, de
J I [k Xk X
modo que R Qnj . Pero entonces sabemos que v(R) v(Qnj ) v(Qn ).
j=1 j=1 n=1
Tomando nfimos entre todas las familias de rectangulos abiertos que recubren a R, se
tiene v(R) m (R)
El siguiente teorema recoge las propiedades mas importantes de la medida exterior de Lebesgue:
JJ II
J I
Teorema (Propiedades de la medida exterior).
1. m() = 0
Medida de
Lebesgue en Rn 2. Si A B, m(A) m(B) (monotona)
3. Sea {An}n una familia numerable de conjuntos; entonces
Medida Exterior [ X
Medida de Lebesgue m( An ) m(An) (subaditividad)
n=1 n=1
Medida de Para la otra desigualdad, consideramos la definicion de la medida exterior con rectangulos
Lebesgue en Rn abiertos: dado > 0, sea {Qn }n una familia de rectangulos abiertos tales que
[
X
A Qn y v(Qn ) m (A) +
n=1 n=1
Medida Exterior
[
Medida de Lebesgue
Basta definir G = Qn , que es un abierto que contiene a A, y
n=1
X
m (G ) v(Qn ) m (A) +
JJ II n=1
J I Entonces
Sin embargo la medida exterior falla en cambio en una propiedad fundamental respecto al
JJ II
volumen: no es cierto en general que si A y B son conjuntos disjuntos, se tenga m (A B) =
m (A)+m (B), aunque hay que reconocer que tampoco es facil encontrar ejemplos de conjuntos
J I
concretos para demostrar que la igualdad es falsa.
Si queremos conseguir que esta propiedad se verifique, debemos prescindir de algunos con-
juntos. Esto da lugar a la definicion de una familia de subconjuntos de Rn , para los cuales si
se verifica la propiedad, que llamaremos conjuntos medibles - Lebesgue. La definicion original
de esta familia de conjuntos no es la que damos aqu, que se debe a Caratheodory, pero esta
resulta mucho mas comoda que la definicion de Lebesgue. La comprobacion de que ahora s
se verifica esta propiedad la haremos despues, junto con el estudio del resto de las propiedades
fundamentales de esta clase de conjuntos.
Medida de
Lebesgue en Rn
Medida Exterior
Medida de Lebesgue
JJ II
J I
2. Medida de Lebesgue
Definicion (Conjuntos Medibles Lebesgue).
Un conjunto A se dice medible Lebesgue (en adelante conjunto medible) si verifica la siguiente
propiedad:
Para todo conjunto E se verifica la igualdad
Medida de
Lebesgue en Rn m (E) = m (E A) + m (E \ A)
E\A
EA
Medida Exterior A E
Medida de Lebesgue
1. Si A M, entonces Ac M
2. Si A y B son medibles, entonces A B M; y por tanto A \ B M
Medida de
Lebesgue en Rn 3. Si A y B son medibles, entonces A B M; y si ademas A B tiene medida finita,
m(A B) = m(A) + m(B) m(A B)
k
[ k
\
4. Si A1 , . . . , Ak es una familia finita de conjuntos medibles, entonces Ai M y Ai M
Medida Exterior i=1 i=1
Medida de Lebesgue
5. Si {Ai }i es una familia numerable de conjuntos medibles, disjuntos dos a dos, entonces
[ [ X
Ai M. Ademas m( Ai ) = m(Ai )
i=1 i=1 i=1
JJ II [ \
6. Si {Ai }i es una familia numerable de conjuntos medibles, entonces Ai M y Ai M
J I
i=1 i=1
m (E Ac ) + m (E \ Ac ) = m (E \ A) + m (E Ac ) = m (E)
Medida de as que Ac es medible tambien.
Lebesgue en Rn
(2) Sean ahora A y B medibles, y sea E un conjunto cualquiera de Rn . Por ser A medible
m (E A) = m (E A B) + m (E A \ B) (2)
A A
\B
E
AB
Medida de
Lebesgue en Rn
B
puesto que
Medida Exterior
Medida de Lebesgue (E A \ B) (E \ A) = E \ (A B)
as que A B es medible.
Y como A \ B = A (B c ), tambien es medible.
JJ II (3) Sean ahora A y B dos conjuntos medibles. Por (1), sus complementarios Ac y B c son
J I medibles; por (2), la interseccion de los complementarios Ac B c es medible; y otra vez por (1)
el complementario de este conjunto A B = (Ac B c )c es medible.
En cuanto a la formula para la medida de una union de conjuntos, utilizando que A es medible
con el conjunto E = A B tenemos
m(A B) = m((A B) A) + m((A B) \ A) = m(A) + m(B \ A)
1
Razonando por induccion, para N = 1, A1 es medible. Si N i=1 Ai es medible, entonces
aplicando la propiedad (3), N i=1 Ai es tambien medible. Repitiendo el proceso hasta N = k 1
k
se obtiene que la union i=1 Ai es medible.
Y poniendo
k k
!c
\ [
Ai = Aci
i=1 i=1
m (E Bk ) = m (E Bk Ak ) + m (E Bk \ Ak ) = m (E Ak ) + m (E Bk1 )
k
X k
X
m (E) = m (E An ) + m (E \ Bk ) m (E Ak ) + m (E \ A)
n=1 n=1
puesto que Bk A, y entonces (E \ A) (E \ Bk )
Como esta desigualdad es cierta para todo k, tiene que ser cierta tambien para la serie, y
X
m (E) m (E An ) + m (E \ A)
n=1
!
Medida de m
[
E An + m (E \ A) =
Lebesgue en Rn n=1
!
[
= m + m (E \ A) =
E An
n=1
Medida Exterior = m (E A) + m (E \ A)
Medida de Lebesgue
Por tanto A es medible.
Ademas si en esta ultima cadena de desigualdades ponemos en particular E = A, tenemos
X
X
JJ II m(A) m(A An ) + m(A \ A) = m(An ) m(A)
n=1 n=1
J I
Luego efectivamente
!
[ X
m An = m(An )
n=1 n=1
(6) Sea ahora {An }n una familia numerable de conjuntos medibles (no necesariamente dis-
juntos dos a dos), y sea A = n=1 An
La idea para demostrar que A es medible es escribirlo como union de conjuntos disjuntos dos
a dos, para lo cual basta definir
B1 = A1 , B2 = A2 \ A1 , . . . , Bn = An \ (n1
i=1 Ai )
Medida de
Lebesgue en Rn
A2
B2 = A2 \ A1
Medida Exterior
B1 = A1
Medida de Lebesgue A1
A3
B3 = A3 \ (A1 A2 )
JJ II
J I Ahora los conjuntos Bn son conjuntos medibles disjuntos dos a dos, y su union es medible,
as que A =
n=1 Bn = n=1 An es medible
c c
Por otro lado aplicando la propiedad (1) el conjunto
n=1 An = (n=1 An ) tambien es medible.
y como E \ A E, m (E \ A) m (E)
Medida de m (E A) + m (E \ A) 0 + m (E)
Lebesgue en Rn
Por tanto A es medible.
(8)Para terminar, sea A medible, y sea x un punto fijo de Rn . Sabemos que la medida
exterior es invariante por traslaciones, luego para cualquier conjunto E Rn se tiene
Medida Exterior
Medida de Lebesgue
9. Sea {An }n una sucesion no decreciente de conjuntos medibles (An An+1 para todo n).
Medida de Entonces
Lebesgue en Rn
[
m( An ) = lim m(An )
n
n=1
Medida Exterior 10. Sea {An }n una sucesion no creciente de conjuntos medibles (An An+1 para todo n), y
Medida de Lebesgue tal que existe algun n0 con m(An0 ) < . Entonces
\
m( An ) = lim m(An )
n
n=1
JJ II
J I Demostracion: I (Saltar al final de la demostracion)
Observemos primero que como consecuencia de las propiedades de los conjuntos medibles, si
A y B son dos conjuntos medibles, con B A, entonces m(A) = m(B) + m(A \ B), y si B
tiene medida finita, entonces m(A \ B) = m(A) m(B)
(9) Supongamos primero que existe k0 N tal que m(Ak0 ) = . Como para todo k k0
Ak0 Ak , entonces m(Ak ) =
S y por tanto limnSm(A n) =
Por otro lado, como Ak0 A
n=1 n , tambien m(
n=1 An ) = , y se tiene la igualdad.
Supongamos entonces al contrario que todos los conjuntos An tienen medida finita.
[
[
Medida de Poniendo A0 = , podemos escribir An = (An \ An1 )
Lebesgue en Rn n=1 n=1
Los conjuntos An \ An1 son medibles, disjuntos dos a dos, y m(An \ An1 ) = m(An )
m(An1 ). Aplicando la aditividad de la medida de Lebesgue,
[
[
X N
X
Medida Exterior m( An ) = m( (An \ An1 )) = m(An \ An1 ) = lim m(An \ An1 ) =
N
Medida de Lebesgue n=1 n=1 n=1 n=1
X
= lim m(An ) m(An1 ) = lim m(AN )
N N
n=1
JJ II
(10) Sea ahora {An }nN decreciente, y sea n0 tal que m(An0 ) < . Entonces para todo k
J I
\ \
mayor que n0 se tiene m(Ak ) m(An0 ) < . Ademas An = An por ser la sucesion
n=1 n=n0
decreciente. Podemos suponer entonces para mayor comodidad que n0 = 1.
\
Utilizando que An es medible, y que esta contenido en A1 , se tiene
n=1
\
\
m(A1 ) = m(A1 ( An )) + m(A1 \ An ) =
n=1 n=1
Medida de \ [
Lebesgue en Rn = m( An ) + m( (A1 \ An ))
n=1 n=1
Ahora la sucesion {A1 \ An }n es creciente, con lo que aplicando el apartado (1)
\
Medida Exterior
m(A1 ) = m( An ) + lim m(A1 \ An ) =
n
Medida de Lebesgue n=1
\
= m( An ) + lim (m(A1 ) m(An )) =
n
n=1
\
JJ II = m( An ) + m(A1 ) lim m(An )
n
J I n=1
luego
\
m( An ) = lim m(An )
n
n=1
J(Volver al enunciado)
Observaciones:
m (E) m (E R) + m (E \ R)
!
!
[ [
m Qn R + m
Qn \ R
Medida Exterior n=1 n=1
Medida de Lebesgue
X
(m (Qn R) + m (Qn \ R))
n=1
S2n
Qn R
Medida de R
Lebesgue en Rn
Y el conjunto Qn \R se puede descomponer como una union finita de rectangulos S1n , . . . , Sknn
que no se solapan, de modo que
kn
[ kn
X
Medida Exterior m (Qn \ R) = m ( Sin ) v(Sin )
Medida de Lebesgue i=1 i=1
Sustituyendo en la serie
m (E) m (E R) + m (E \ R)
JJ II
" kn
#
X X
J I v(Qn R) + v(Sin ) =
n=1 i=1
X
= v(Qn ) m (E) +
n=1
Como esta desigualdad se verifica para cualquier > 0, tiene que ser
m (E) = m (E R) + m (E \ R)
as que R es medible.
Medida de
Lebesgue en Rn
Teorema.
Todo conjunto abierto de Rn puede ponerse como union numerable de rectangulos.
Demostracion:
Medida Exterior
Medida de Lebesgue Si G es un conjunto abierto de Rn , para cada punto x G existira una bola centrada en x
contenida en G. Podemos construir un rectangulo Qx que contenga a x y este contenido en la
bola, y tal que los vertices de Qx tengan todas sus coordenadas racionales.
Si llamamos Q a la familia de todos los rectangulos posibles en Rn que tiene todos sus vertices
con todas sus coordenadas racionales, Q es numerable, y podemos poner
JJ II
[
J I G = {Q Q, Q G}