Riemann y Lebesgue

Integral de Riemann.
Introduccion
Beatriz Porras
En el Calculo Infinitesimal desarrollado por Newton y Leibnitz es el calculo
diferencial el que cobra mayor importancia, quedando la integral relegada al
papel de operacion inversa de la diferencial. Una de las razones que justifican
que esto fuera as es que ambos consideraban solo funciones analticas, para las
que realmente diferencial e integral son operaciones inversas.
En este sentido el desarrollo del calculo integral tiene mucho que ver con la
evolucion del concepto de funcion.
Durante el siglo XVIII el calculo aporta pocas novedades. Una de ellas es
el trabajo de Lagrange sobre los desarrollos de potencias, y en particular la
demostracion de la formula de Taylor. Desde el punto de vista que nos ocupa,
destaca la observacion de Euler sobre la necesidad de considerar, a proposito
de su estudio de las series trigonometricas y de la ecuacion de ondas, funciones
mas generales que las que el llamaba continuas, y utilizar tambien funciones
discontinuas. El concepto de funcion continua se aplicaba en el siglo XVIII a
las funciones que podan expresarse mediante una unica formula analtica. Las
funciones discontinuas eran lo que hoy llamaramos continuas regulares a trozos, es decir, funciones continuas que no podan expresarse como una unica
formula en un intervalo, pero que podan describirse como la union de una cantidad finita de arcos de curva. Por ejemplo una funcion discontinua era la
funcion

x
si x [0, 12 ]
f (x) =
1 x si x [ 21 , 1]
Este tipo de funciones discontinuas eran necesarias para Euler por cuanto
aparecan de forma natural en problemas como el de la cuerda vibrante al considerar las posibles curvas iniciales.
Es en el primer tercio del siglo XIX cuando Cauchy consigue establecer
unas bases solidas para la matematica moderna. Define el concepto de funcion
practicamente como se considera hoy dia; establece la definicion de lmite, y
con esta como punto de partida define las funciones continuas y la derivada, y
deduce sus propiedades fundamentales. (Hay que decir aqu que en la Enciclopedia de DAlembert este daba ya una definicion clara de los conceptos de lmite
1
AVAVAR
y derivada e insista en considerarlos como el fundamento del calculo, aunque
estas ideas no llegaron a alcanzar entonces el eco que se merecan).
Desde el punto de vista de Cauchy, la existencia de la derivada se cuestiona, y
empieza a ser algo mas que debe estudiarse y demostrarse por medios analticos
en cada caso. En esta linea de ideas, Bolzano asegura que existen funciones
continuas que no tienen derivada finita en ningun punto;P
un ejemplo concreto es
n
n
presentado por Weierstrass en 1861: la funcion f (x) =
n=0 b cos(a x) con
.
b (0, 1), y a un entero impar tal que ab > 1 + 3
2
En esta situacion, Cauchy formaliza la definicion de integral volviendo sobre
el concepto de integral definida y el metodo exahustivo de los antiguos griegos.
Considera una funcion continua f en un intervalo [a, b]; para cada numero natural
n considera una division del intervalo en n subintervalos
Pn de la forma [xi , xi+1 ], y
define la integral de f como el lmite de las sumas i=0 f (xi )(xi+1 xi ) cuando
la longitud de los intervalos tiende a cero. La demostracion que da Cauchy de la
existencia de este lmite es erronea, a falta del concepto de continuidad uniforme
de funciones, pero aun as la definicion era valida para funciones continuas o continuas a trozos en intervalos compactos. Esta teora fue expuesta con detalle en
los textos sobre la ensenanza del calculo que escribio para la Escuela Politecnica
de Paris en los anos 1821, 1822 y 1829.
Los trabajos de Fourier sobre la ecuacion del calor, y la determinacion de
los coeficientes de la serie trigonometrica que permite representar funciones no
continuas, tuvo un efecto importante en el desarrollo del calculo integral. Fourier
calcula las formulas
Z
Z
1
1
(x) cos nx,
bn =
(x)sennx
an =

para los coeficientes, pero no pude demostrar la convergencia de la serie. Estas formulas hacen plantearse a Dirichlet el estudio de las funciones que son
susceptibles de sustituirse en la integral para obtener convergencia de la serie
trigonometrica. Empieza entonces el estudio del conjunto de puntos de discontinuidad de una funcion, y Dirichlet presenta como contraejemplo la funcion
que hoy lleva su nombre, que toma un valor constante en todos los numeros
racionales, y otro valor tambien constante sobre los irracionales.
Riemann, tambien interesado en el estudio de las series trigonometricas, argumenta que funciones como las de Dirichlet no van a darse nunca en fenomenos
naturales, pero reconoce que tienen un papel importante en el esclarecimiento de
los fundamentos mismos del calculo infinitesimal, y ademas parecen tener importantes aplicaciones en la incipiente teora de numeros. De esta forma Riemann
justifica su interes en el desarrollo de una nueva tecnica de integracion, basada
en el metodo de aproximacion de Cauchy pero que considerara funciones mas
generales.
2
AVAVAR
Riemann considera funciones acotadas, define tambien las particiones del
intervalo dominio de la funcion, y considera las sumas de aproximacion tomando
los valores de f en puntos arbitrarios de cada subintervalo en vez de escoger
siempre el extremo; define entonces la integral como el lmite de estas sumas
cuando el diametro de las particiones tiende a cero. Y con esta definicion se
pregunta para que tipo de funciones existe este lmite. El mismo Riemann da
una caracterizacion de las funciones integrables en terminos de la oscilacion de
la funcion, y pone un ejemplo de una funcion integrable Riemann cuyo conjunto
de puntos de discontinuidad es denso en [0, 1]: la funcion
f (x) =
X
(nx)
n=1
n2
donde (x) es la diferencia entre x y el entero mas proximo cuando x no es un

multiplo impar de 12 , y cero en otro caso.
La memoria de Riemann no fue publicada hasta 1867, despues de su muerte.
A partir de entonces y durante los ultimos treinta anos del siglo XIX la definicion
de la integral de Riemann fue reformulandose muchas veces, mejorando cada vez
la comprension del concepto de integral. Por ejemplo, es Darboux quien propone
las definiciones de las sumas superiores e inferiores de Riemann y estudia sus
propiedades, Volterra define las integrales superior e inferior como los lmites de
las sumas superiores e inferiores respectivamente, y es Peano quien las expresa
como nfimo de las sumas superiores y supremo de las inferiores.
Con el desarrollo del concepto de integral, se plantea por primera vez dar
una definicion matematica precisa del concepto de area de un recinto plano.
Basandose en el metodo griego de Eudoxio, Peano define el area interior de
un recinto plano como el supremo de las areas de los polgonos contenidos en
el, y el area exterior como el nfimo de las areas de los polgonos que lo
contienen. Se comprueba entonces que en el caso de funciones acotadas no
negativas las integrales superior e inferior coinciden con el area interior y el area
exterior respectivamente del conjunto de ordenadas E = {(x, y), a x b, 0
y f (x)}, y que cuando la funcion es integrable la integral coincide con el area.
De esta forma se completa un crculo que vuelve la integral sobre su motivacion
original.
Las definiciones de Peano fueron consideradas despues por Jordan, con la variante de que este utiliza polgonos que son union de rectangulos con lados paralelos a los ejes. Esta variante tena la ventaja de poder generalizarse facilmente a
conjuntos de espacios de dimension mayor que dos. Basandose en ellos, Jordan
define en 1893 la integral de Riemann de funciones de varias variables definidas
sobre conjuntos medibles, conjuntos cuyas areas interior y exterior coinciden.
La introduccion del concepto de conjunto medible en la definicion de integral
3
AVAVAR
tendra sin duda importancia en la teora de integracion desarrollada despues por
Lebesgue.
Dedicamos esta parte del curso a la construccion de la integral de Riemann
para funciones reales de varias variables, y a la demostracion de sus propiedades
mas importantes.
Como aplicaciones de la integral de Riemann estudiaremos las aplicaciones
al calculo vectorial: el punto de vista que adoptamos en este tema es el de estudiar las integrales de linea y superficie como generalizaciones de las integrales
en dominios de la recta o del plano, e interpretar algunas de sus aplicaciones a
problemas clasicos de la fsica como el trabajo realizado por un campo de fuerzas
al mover una partcula, o el flujo de un campo de velocidades al atravesar una superficie. Para esto, consideraremos las expresiones parametricas de las variedades
de dimension uno y dos. No pretendemos entrar en las tecnicas mas complejas
de la geometra o la topologa diferencial, ni buscamos la demostracion de los
resultados en su mayor generalidad, sino que por el contrario consideramos solo
los casos sencillos de los que puede darse una intepretacion fsica o geometrica
mas o menos convincente. Estas aplicaciones las hemos separado en un captulo
aparte para no hacer este demasiado largo.
Integral de Riemann en Rn. Concepto y

Propiedades Fundamentales.
Beatriz Porras
Construcci
on de la Integral
La integral de Riemann en Rn es una generalizacion de la integral de funciones

de una variable. La definicion que vamos a dar reproduce el metodo de Darboux
para funciones acotadas definidas en rectangulos. La generalizacion a otra familia
mas amplia de conjuntos se vera mas adelante.
Llamamos rectangulo en Rn a un producto cartesiano de intervalos
A = [a1 , b1 ] [an , bn ]
y llamamos volumen de A al producto de las longitudes de sus lados

v(A) = ni=1 (bi ai )
Llamamos particion de A a una familia P formada por una particion de cada
uno de los intervalos, P = {P1 , . . . , Pn }, donde Pi = {a = t0 tki = bi }
es una particion de [ai , bi ]
AVAVAR
Una particion P de A define una familia finita de rectangulos, que llamaremos

RP , que verifica
[
X
A=
R; v(A) =
v(R)
RRP
RRP
Si P = {P1 , . . . , Pn } y Q = {Q1 , . . . , Qn } son dos particiones de A, se dice

que Q P , o que Q es mas fina que P , si para cada i entre 1 y n Pi Qi . En
este caso, Q define en cada rectangulo R de RP una particion QR .
Dadas dos particiones P y Q de A, llamaremos P Q a la particion formada

por todos los puntos de cada Pi y Qi
Definici
on (Sumas de Riemann).
Sea f : A R una funcion acotada, y P una particion de A. Para cada
2
AVAVAR
rectangulo R RP se definen:
mR (f ) = inf{f (x); x R}
MR (f ) = sup{f (x); x R}
Se definen la Suma Inferior de Riemann y la Suma Superior de Riemann por
X
S(f, P ) =
mR (f ) v(R)
RRP
S(f, P ) =
MR (f ) v(R)
RRP
respectivamente.
Si f es una funcion no negativa, S(f, P ) es la suma de los volumenes de los
rectangulos R [0, mR (f )], levantados por debajo de la grafica de f , y S(f, P )
es la suma de los volumenes de los rectangulos R [0, MR (f )] construidos por
encima de la grafica de f
Caso n=1:
Caso n=2
AVAVAR
Estas sumas superiores e inferiores verifican las siguientes propiedades:

1.- Para toda particion P de A,
S(f, P ) S(f, P )
2.- Si P y Q son dos particiones con P Q, entonces

S(f, P ) S(f, Q)
S(f, P ) S(f, Q)
es decir, cuanto mas fina es la particion, la suma inferior es mayor y la superior

es menor.
AVAVAR
t0
t1
t2
t3
t4
t5
s0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10
P Q
P = {t0 , t1 , t2 , t3 , t4 , t5 }
S(f, P )
Q = {s0 , s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , s10 }
S(f, Q)
t0
t1
t2
t3
t4
t5
s0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10
P Q
P = {t0 , t1 , t2 , t3 , t4 , t5 }
S(f, P )
Q = {s0 , s1 , s2 , s3 , s4 , s5 , s6 , s7 , s8 , s9 , s10 }
S(f, Q)
3.- Para toda particion P de A,

mA (f )v(A) S(f, P ) S(f, P ) MA (f )v(A)
AVAVAR
MA (f )v(A)
S(f, P )
S(f, P )
t0
t1
t2
t3
t4
mA (f )v(A)
t5
P = {t0 , t1 , t2 , t3 , t4 , t5 }
4.- Si P y Q son dos particiones cualesquiera de A,
S(f, P ) S(f, Q)
t0
t1
t2
t3
t4
t5
s3
s4
s5 s6
s0 s1
s2
P = {t0 , t1 , t2 , t3 , t4 , t5 }
S(f, P )
Q = {s0 , s1 , s2 , s3 , s4 , s5 , s6 }
S(f, Q)
AVAVAR
Definimos ahora las integrales inferior y superior de una funcion de la siguiente
manera:
Definici
on (Integral Superior e Integral Inferior).
Sea A un rectangulo en Rn , y f : A R una funcion acotada.
Se llama integral inferior de f en A a
Z
f = sup{S(f, P ); P particion de A}
A
Y se llama integral superior de f en A a

Z
f = inf{S(f, P ); P particion de A}
A
Las integrales superior e inferior estan bien definidas, en el sentido de que

como los conjuntos de sumas superiores e inferiores de Riemann de f son acotados, existen el supremo y el nfimo respectivamente.
Ademas, por las propiedades que hemos visto antes, se tiene que
Z
Z
f
mA (f )v(A)
f MA (f )v(A)
A
Definici
on (Funcion Integrable Riemann).
Sea A un rectangulo en Rn , y f : A R. Se dice que f es integrable Riemann
en A si es acotada y las integrales superior e inferior de f en A coinciden. En
este caso se llama integral de f en A a
Z
Z
Z
f=
f=
f
A
Ejemplo 1. Toda funcion constante en

Z un rectangulo es integrable. Ademas, si
f (x) = a para cada x A, entonces
f = av(A)
A
En efecto, si P es una particion cualquiera de A, y R es uno de los rectangulos

definidos por P , mR (f ) = a = MR (f ), as que
X
X
X
S(f, P ) =
MR (f )v(R) =
av(R) = a
v(R) = av(A)
RRP
RRP
RRP
y
S(f, P ) =
X
RRP
mR (f )v(R) =
X
RRP
av(R) = a
X
RRP
v(R) = av(A)
AVAVAR
Por tanto
Z
f = inf{S(f, P ), P particion de A} = av(A)
A
y
Z
f = sup{S(f, P ), P particion de A} = av(A)
A
Z
f = av(A)
las dos integrales son iguales, f es integrable, y

A
Ejemplo 2. La funcion de Dirichlet, f : [0, 1] R definida por

1
si x Q
f (x) =
0
si x 6 Q
no es integrable Riemann.
En efecto, si P es una particion cualquiera de A, y R es uno de los rectangulos
definidos por P , en R habra numeros racionales y numeros irracionales, de modo
que mR (f ) = 0 y MR (f ) = 1, as que
X
X
S(f, P ) =
MR (f )v(R) =
v(R) = v([0, 1]) = 1
RRP
RRP
y
S(f, P ) =
mR (f )v(R) = 0
RRP
Por tanto
Z
f = inf{S(f, P ), P particion de A} = 1
A
y
Z
f = sup{S(f, P ), P particion de A} = 0
A
Ejemplo 3. Funciones no integrables en R2

Partiendo del ejemplo anterior, es facil construir funciones que no sean integrables, definidas en conjuntos de R2 , o en general de Rn . Por ejemplo, puede
ser

1
si x Q
f (x, y) =
0
si x 6 Q
8
AVAVAR
definida en A = [0, 1] [0, 1], o

g(x, y) =
1
0
si
si
(x, y) Q2
(x, y) 6 Q2
N
Criterio de Riemann
El primer teorema que vamos a demostrar, da una condicion equivalente para

la integrabilidad de una funcion, aunque no da el valor de su integral. Es una
condicion parecida a la condicion de Cauchy de las sucesiones de numeros reales,
o de vectores de Rn .
Teorema (Criterio de Integrabilidad de Riemann).

Sea A un rectangulo en Rn, y f : A R una funcion
acotada en A. f es integrable en A si y solo si para cada
> 0 existe una particion P de A tal que
S(f, P) S(f, P)
Demostracion:
I (Saltar al final de la demostracion)
Supongamos primero que f es integrable en A, y sea > 0. Por la definicion
de la integral superior como el nfimo de las sumas superiores
R de Riemann, existira al menos una particion P1 de A tal que S(f, P1 ) < A f + /2. Y por la
definicion de la integral inferior como supremo de Rlas sumas inferiores, existira al
menos una particion P2 de A tal que S(f, P2 ) >
f /2.
A
Consideramos entonces la particion P union de P1 y P2 , y tenemos
Z
S(f, P ) S(f, P1 ) <
f + /2
A
y
Z
S(f, P ) S(f, P2 ) >
f /2
A
de donde restando las dos desigualdades se obtiene

Z
Z
S(f, P ) S(f, P ) <
f + /2
f + /2 =
A
AVAVAR
Z
ya que por ser f integrable
f=
A
f.
A
Recprocamente, supongamos ahora que para cada > 0 existe alguna particion P de A tal que S(f, P ) S(f, P ) <
Z
Z
f S(f, P ), tenemos
Entonces como
f S(f, P ) y
A
Z
f
f S(f, P ) S(f, P ) <
y esto para todo > 0, luego necesariamente

Z
Z
f=
A
f
A
y por tanto f es integrable en A.

J(Volver al enunciado)
Como consecuencia de este teorema es facil demostrar que toda funcion

continua en un rectangulo es integrable, o incluso que toda funcion monotona
es integrable (ver problemas)
10
AVAVAR
Propiedades
Para terminar este primer captulo, vamos a demostrar las propiedades elementales de la integral
Teorema (Propiedades de la Integral de Riemann).
Sea A un rectangulo en Rn , y sean f : A R y g : A R dos funciones
integrables en A.
R
R
R
1. la suma f + g es integrable y A (f + g) = A f + A g
R
R
2. para todo R el producto f es integrable, y A (f ) = A f
Z
3. si f 0, entonces
f 0
A
Z
f
4. si f g, entonces
A
g
A
Z Z

f
|f |

5. |f | tambien es integrable, y
6. max{f, g} y min{f, g} son integrables

7. el cuadrado f 2 es integrable
8. el producto f g es integrable
Demostracion:
(1) Como f y g son acotadas, tambien f + g es acotada.

Sea P una particion cualquiera de A, y R RP un rectangulo cualquiera
definido por P . entonces
mR (f + g) = inf{f (x) + g(x), x R}
inf{f (x), x R} + inf{g(y), y R} = mR (f ) + mR (g)
y
MR (f + g) = sup{f (x) + g(x), x R}
sup{f (x), x R} + sup{g(y), y R} = MR (f ) + MR (g)
En consecuencia, multiplicando por v(R) y sumando
Z
S(f, P ) + S(g, P ) S(f + g, P )
(f + g)
A
(f + g) S(f + g, P ) S(f, P ) + S(g, P )

A
11
AVAVAR
Si tomamos ahora dos particiones cualesquiera de A, P 1 y P 2 , y consideramos
la union P = P 1 P 2 , tenemos
S(f, P 1 ) + S(g, P 2 ) S(f, P ) + S(g, P ) S(f + g, P )
Z
Z
(f + g)
(f + g) S(f + g, P )
A
S(f, P ) + S(g, P ) S(f, P 1 ) + S(g, P 2 )

Dejando fija P 2 , y tomando a la izquierda de la cadena supremos en P 1 ,
como f es integrable queda
Z
Z
Z
2
f + S(g, P )
(f + g) S(f, P 1 ) + S(g, P 2 )
(f + g)
A
y tomando ahora supremos en P 2

Z
Z
Z
Z
g
f+
(f + g)
A
(f + g) S(f, P 1 ) + S(g, P 2 )
A
Repitiendo estos argumentos con la parte derecha de la desigualdad, tomando

nfimos en vez de supremos, obtenemos
Z
Z
Z
Z
Z
Z
g
g
(f + g)
f+
f+
(f + g)
A
luego en efecto f + g es integrable, y su integral es la suma de las integrales de

f yg
(2) Si f es integrable, entonces es acotada y evidentemente entonces tambien
f es acotada.
Supongamos ahora que 0.
Sea P una particion cualquiera de A, y R uno de los rectangulos de RP .
mR (f ) = inf{f (x), x R} = inf{f (x), x R} = mR (f )
y analogamente
MR (f ) = sup{f (x), x R} = sup{f (x), x R} = MR (f )
Entonces, multiplicando por el volumen de cada rectangulo de la particion, y
sumando
X
X
S(f, P ) =
mR (f )v(R) =
mR (f )v(R) = S(f, P )
RRP
rRP
12
AVAVAR
y
S(f, P ) =
MR (f )v(R) =
RRP
MR (f )v(R) = S(f, P )
rRP
Por tanto
Z
f = sup{S(f, P ), P particion de A} =
A
= sup{S(f, P ), P particion de A} =
Z
=
f
A
y analogamente
Z
f = inf{S(f, P ), P particion de A} =
A
= inf{S(f, P ), P particion de A} =
Z
=
f
A
R
R
As que como f es integrable, f tambien lo es, y A f = A f
Cuando < 0, hay que tener en cuenta que para sacar de un supremo o un
nfimo, hay que cambiar el sentido de las desigualdades, con lo que se cambian
los nfimos por supremos y los supremos por nfimos:
mR (f ) = inf{f (x), x R} = sup{f (x), x R} = MR (f )
y analogamente
MR (f ) = sup{f (x), x R} = inf{f (x), x R} = mR (f )
de modo que
S(f, P ) =
mR (f )v(R) =
RRP
MR (f )v(R) = S(f, P )
rRP
y
S(f, P ) =
X
RRP
MR (f )v(R) =
rRP
13
mR (f )v(R) = S(f, P )
AVAVAR
De aqu
Z
f = sup{S(f, P ), P particion de A} =
A
Z
=
f
A
y analogamente
Z
f = inf{S(f, P ), P particion de A} =
A
Z
=
f
A
As que tambien f es integrable y
f =
A
R
A
(3) Es trivial, ya que si f (x) 0 para todo x A, entonces

Z
Z
f
f mA (f )v(A) 0
A
R (4) Se deduce
R de las tres propiedades anteriores: por (2), g es
R integrable,
Ry A (g)
R = A g.R Por (1),
R f g = f + (g) es integrable, y A (f g) =
f
+
(g)
=
f
g. Y por (3), como f (x) g(x) 0 para todo

A
A
A
A
x A,
Z
Z
Z
f
g = (f g) 0
A
luego
Z
Z
f
g
A
(5) Como f es integrable, en particular es acotada, y por tanto tambien |f |

es acotada.
14
AVAVAR
Sea P una particion cualquiera de A, y R uno de los rectangulos definidos
por P , R RP , y sean x e y dos puntos cualesquiera en R. Se tiene
mR (f ) MR (f ) f (x) f (y) MR (f ) mR (f )
luego
|f (x)| |f (y)| | |f (x)| |f (y)| | |f (x) f (y)| MR (f ) mR (f )
y tomando supremos en x e nfimos en y,
MR (|f |) mR (|f |) MR (f ) mR (f )
Multiplicando cada una de estas desigualdades por el volumen de R, y sumando
X
S(|f |, P ) S(|f |, P ) =
(MR (|f |) mR (|f |)) v(R)
RRP
(MR (f ) mR (f )) v(R) S(f, P ) S(f, P )
RRP
Como f es integrable, aplicando el Criterio de Riemann, dado > 0 existe

alguna particion P de A tal que S(f, P ) S(f, P ) < . Y entonces
S(|f |, P ) S(|f |, P ) S(f, P ) S(f, P ) <
luego aplicando el mismo criterio a |f |, tambien es integrable.
Ademas, como para todo x A
|f (x)| f (x) |f (x)|
aplicando las propiedades (2) y (4)
Z
Z
Z
|f |
f
|f |
A
de donde
Z

se deduce que
Z

f
|f |
A
(6) Basta observar que para cada cada x A

max{f, g}(x) = max{f (x), g(x)} =
15
f (x) + g(x) + |f (x) g(x)|

2
AVAVAR
y
min{f, g}(x) = min{f (x), g(x)} =
f (x) + g(x) |f (x) g(x)|

2
y aplicar las propiedades anteriores.

(7) Como f es integrable, es acotada, y entonces tambien f 2 es acotada.
Ademas tambien |f | es integrable, como ya hemos visto.
Sea k > 0 tal que |f (x)| k para todo x A, y sea > 0. Aplicando el
criterio de Riemann a la funcion |f |, existe una particion P de A tal que
S(|f |, P ) S(|f |, P )

2k
Si R es uno de los rectangulos definidos por esa particion, tenemos

MR (f 2 ) = sup{f 2 (x), x R} = sup{|f (x)|2 , x R} =
= sup{|f (x)|, x R}2 = MR (|f |)2
mR (f 2 ) = inf{f 2 (x), x R} = inf{|f (x)|2 , x R} =

= inf{|f (x)|, x R}2 = mR (|f |)2
(es decir, el cuadrado se puede sacar fuera del supremo y del nfimo de una
familia de numeros positivos)
Entonces
MR (f 2 ) mR (f 2 ) = MR (|f |)2 mR (|f |)2 =
= (MR (|f |) mR (|f |))(MR (|f |) + mR (|f |))
2k(MR (|f |) mR (|f |))
Multiplicando estas desigualdades por el volumen de cada rectangulo R, y
sumando, queda
S(f 2 , P ) S(f 2 , P ) 2k(S(|f |, P ) S(|f |, P )) 2k

=
2k
Aplicando el criterio de Riemann a la funcion f 2 , esta es integrable.

(8) Por ultimo, para demostrar que el producto de f y g es integrable basta
escribir
(f + g)2 (f g)2
fg =
4
16
AVAVAR
y aplicar las propiedades anteriores.
Y ademas
Proposici
on.
Sea P una particion cualquiera de A. f es integrable en A si y solo si para cada
rectangulo R RP la restriccion de f a R es integrable. Ademas en este caso
Z
X Z
f=
f
A
RRP
Demostracion:
Sea P una particion cualquiera de A.
Supongamos primero que f es integrable en A,
Aplicando el criterio de Riemann a A, dado > 0 existe una particion P de
A tal que S(f, P ) S(f, P ) < . Consideramos entonces en A la union de las
dos particiones, Q = P P , que es mayor que P , con lo que
S(f, Q) S(f, Q) S(f, P ) S(f, P ) <
y tambien es mayor que P , con lo que define sobre cada rectangulo R RP
una particion QR . Los rectangulos definidos por QR en R son los rectangulos
S RQ que estan contenidos en R.
P
Q = P P
S
Para un rectangulo R RP cualquiera, si calculamos para esa particion QR

definida en R la diferencia entre la suma superior y la inferior, obtendremos
17
AVAVAR
S(f |R , QR ) S(f |R , QR ) =
[MS (f ) mS (f )]v(S)
SRQ ,SR
[MS (f ) mS (f )]v(S) =
SRQ
= S(f, Q) S(f, Q) <

Por tanto la restriccion de f a R es integrable.
Recprocamente, supongamos que la restriccion de f a cada rectangulo R de
RP es integrable.
Dado > 0, aplicando en cada rectangulo R el criterio de Riemann, existira
una particion PR de R tal que
S(f |R , PR ) S(f |R , PR )

k
donde k es el numero de rectangulos definidos por la particion P .

Definimos entonces la particion Q de A union de la particion original P y
todas las particiones PR , que es mayor que P , y define en cada rectangulo R de
RP una particion QR mayor que PR , formada por los rectangulos S RQ que
estan contenidos en R
PR1
R1
PR2
R2
P
QR1
QR2
Q = P PR1 PR2
Para calcular la diferencia entre la sumas superior e inferior definidas por

Q, aplicamos la propiedad distributiva de la suma, agrupando los rectangulos
S RQ que estan en cada rectangulo R RP
18
AVAVAR
S(f, Q) S(f, Q) =
[MS (f ) mS (f )]v(S) =
SRQ
RRP
[MS (f ) mS (f )]v(S) =
SRQ ,SR
RRP
[MS (f ) mS (f )]v(S) =
SRQR
X

S(f |R , QR ) S(f |R , QR )
RRP
X

S(f |R , PR ) S(f |R , PR )
RRP
X
=
k
RR
P
Por tanto f es integrable en A.

Ademas, si P 0 es ahora una particion cualquiera de A, y consideramos la union
Q = P P 0 , y como antes la particion QR definida por Q en cada rectangulo R
de RP , tenemos
S(f, P 0 ) S(f, Q) =
mS (f )v(S) =
SRQ
RRP
X
RRP
mS (f )v(S) =
SRQ ,SR
X Z
S(f |R , QR )
RRP
y tomando supremos cuando P 0 recorre todas las posibles particiones de A se

tiene
Z
X Z
f
f
A
RRP
Analogamente
19
AVAVAR
S(f, P 0 ) S(f, Q) =
MS (f )v(S) =
SRQ
RRP
MS (f )v(S) =
SRQ ,SR
X Z
S(f |R , QR )
RRP
RRP
y tomando nfimos cuando P 0 recorre todas las posibles particiones de A, se tiene

Z
f
A
X Z
RRP
Por tanto
Z
X Z
f
f=
A
RRP
N
Ejemplo 4. Las funciones f + y f
Un caso particular que se deduce de las propiedades anteriores, y que jugara
un papel especial en la teora de integracion es el de las funciones f + y f .
Dada una funcion f : A R, se llaman
f + (x) = max{f (x), 0}
y
f (x) = min{f (x), 0} = max{f (x), 0}
20
AVAVAR
f+
Las funciones f + y f son funciones no negativas, y cumplen

f = f+ f
y
|f | = f + + f
de donde se deduce, por ejemplo, que f es integrable si y solo si f + y f son
integrables.
21
Conjuntos de Medida Cero y de Contenido Cero

Beatriz Porras
Proposici
on. Sea A un rectangulo en Rn , y sea f : A R una funcion
continua. Entonces f es integrable en A.
Demostracion:
Como f es continua en A, y A es compacto, f es acotada en A, y uniformemente continua. Dado entonces > 0, existe > 0 tal que para todos x, y A
con kx yk < se tiene |f (x) f (y)| < /v(A).
Consideremos una particion P de A de modo que cada rectangulo tenga lado
menor que . Si R <P es un rectangulo cualquiera definido por P , se tiene:
Para todos x, y R, kx yk
Por ser f continua y R compacto, existen x0 , y0 en R tales que f (x0 ) =
sup{f (t) : t R} y f (y0 ) = inf{f (t) : t R}
Entonces
MR (f ) mR (f ) = f (x0 ) f (y0 ) |f (x0 ) f (y0 )| /v(A)
En consecuencia
S(f, P ) S(f, P ) =
(MR (f ) mR (f ))v(R)
R<P
X
v(R) =
v(A) R<
P
As pues, f cumple el criterio de Riemann, y por tanto es integrable.

N
El resultado muestra que la integral de Riemann es una generalizacion de
la integral de Cauchy de funciones continuas. Queda abierto el problema de
si ambas integrales coinciden. Mas concretamente, se trata de estudiar si hay
alguna otra funcion integrable que no sea continua (o continua a trozos, con un
numero finito de discontinuidades).
Este problema quedo resuelto por Lebesgue hacia 1920, gracias a una nueva
interpretacion de los conjuntos de Rn , basada en la descripcion analtica de los
conceptos de area y volumen de un cuerpo geometrico. Lebesgue introdujo una
1
AVAVAR
teora nueva, llamada Teora de la Medida, que establece una ntima relacion
entre los conjuntos y las funciones integrables en ellos. En este captulo vamos a
ver solo una pequena aplicacion de la teora, que nos permite resolver el problema
de la integrabilidad Riemann.
Se trata de medir el tamano del conjunto de puntos de discontinuidad de
una funcion, de una manera que no tiene que ver con conceptos metricos (acotado
o no acotado,...), topologicos (compacto,...), algebraicos (finito, numerable,...)
Definici
on (Conjuntos de Medida Cero). Sea A un conjunto en Rn . Se dice que
A tiene medida cero si verifica:
Para todo > 0 existe una familia numerable de rectangulos cerrados en Rn
[
X
{Ri }iN tales que A
Ri y
v(Ri ) <
i=1
i=1
Observaci
on: En la definicion pueden sustituirse los rectangulos cerrados
por rectangulos abiertos o semiabiertos.
Otra observacion evidente, es que si A y B son dos subconjuntos, con A B,
y B tiene medida cero, A tambien tiene medida cero.
Ejemplos:
1) Todo conjunto numerable tiene medida cero.
En efecto, sea A = {xm }mN , y sea > 0. Podemos escoger para cada
m N un rectangulo centrado en xm , Rm , cuyo volumen sea /2m (por
ejemplo considerando en Rn la norma infinito, basta definir cada Rm como
[
p
n
m
Rm y
la bola centrada en xm , de radio r = 1/2 /2 ) Entonces A
X
m=1
v(Rm ) =
m=1
/2m =
m=1
De hecho, tambien podemos sumergirP

A en una union numerable de rectangulos
de volumen cero, de modo que la serie
m=1 v(Rm ) = 0, tomando para cada
punto xm A Rm = {xm }, puesto que el conjunto formado por el punto xm es
un rectangulo cerrado,
{xm } = [xm1 , xm1 ] [xmn , xmn ]
y su volumen es cero.
En particular, el conjunto Q de los numeros racionales es numerable, y por
tanto tiene medida cero. Analogamente Qn Rn tiene medida cero.
2) Pero para tener medida cero no hace falta ser numerable, ni siquiera
acotado:
En Rn , un segmento paralelo a uno de los ejes, tiene medida cero. Incluso
una recta paralela a uno de los ejes coordenados, tiene medida cero:
2
AVAVAR
Por ejemplo, en R2 , consideremos la recta y = y0 .
La semi-recta derecha A = {(x, y0 ), x R} la podemos sumergir en la union

de los rectangulos Rk = [k, k + 1] [y0 2k+3
, y0 + 2k+3
], k N {0}, de modo
que
v(Rk ) = 1
y
v(Rk ) =
k=0

2k+2
X

= /2
k+2
2
k=0
Analogamente, la semi-recta izquierda se puede sumergir en la union de los

, y0 + 2k+3
], y
rectangulos Qk = [k 1, k] [y0 2k+3
v(Qk ) =
k=0
X

= /2
k+2
2
k=0
As pues, la recta entera se puede sumergir en una union numerable de

rectangulos, con suma de los volumenes menor que
Tambien en este caso se puede hacer otra demostracion sumergiendo A en
una union numerable de rectangulos de volumen cero, escogiendo por ejemplo
los rectangulos Rk = [k, k + 1] [y0 , y0 ] y Qk = [k 1, k] [y0 , y0 ]
Definici
on (Conjuntos de Contenido Cero). Sea A un conjunto de Rn . Se dice
que A tiene contenido cero si verifica:
Para todo > 0 existe una familia finita de rectangulos cerrados en Rn
{Ri }ki=1 , tal que
n
n
[
X
A
Ri y
v(Ri ) <
i=1
i=1
Observaci
on:
En la definicion pueden sustituirse los rectangulos cerrados por rectangulos
abiertos o semiabiertos.
Los conjuntos de contenido cero son acotados.
Evidentemente, todo conjunto de contenido cero tiene medida cero, pero hay
conjuntos de medida cero que no son de contenido cero. Por ejemplo, la recta
paralela a uno de los ejes en el plano, no puede tener contenido cero ya que no
es acotada, y el conjunto de los numeros naturales N en R es de medida cero por
ser numerable, pero no es de contenido cero por no ser acotado. Mas adelante
veremos otros ejemplos.
Tambien es evidente que si A y B son dos subconjuntos con A B y B
tiene contenido cero, entonces A tiene contenido cero.
3
AVAVAR
Proposici
on. Sea A un conjunto compacto. Entonces A tiene medida cero si y
solo si tiene contenido cero.
Segun las observaciones anteriores, solo hay que demostrar que un conjunto
compacto de medida cero tiene contenido cero.
Sea > 0, y sea {Ri }iN una familia numerable de rectangulos abiertos tales
[
X
que A
Ri
y
v(Ri ) <
i=1
i=1
La familia {Ri }iN es un recubrimiento abierto de A, que es compacto, luego

k
[
admite un subrecubrimiento finito, {Ri1 , . . . , Rik }, de modo que A
Rij y
j=1
k
X
v(Rij )
j=1
v(Ri ) <
i=1
as que A tiene contenido cero.

N
Proposici
on.
1. La union numerable de conjuntos de medida cero tiene medida cero.
2. La union finita de conjuntos de contenido cero tiene contenido cero.
Observaciones:
La union finita de conjuntos de contenido cero tiene contenido cero, y la
union numerable de conjuntos de contenido cero tendra medida cero, pero puede
no tener contenido cero. Como ejemplo podemos poner otra vez el de la recta,
que se puede describir como la union de los segmentos Ak = [k, k] y0 ; es
evidente que cada uno de estos segmentos es un conjunto de contenido cero, y
sin embargo la recta no lo es.
Otro ejemplo es el conjunto A = Q [0, 1], que es numerable, luego es union
numerable de conjuntos de contenido cero formados por un solo punto cada uno,
pero no tiene contenido cero.
La demostracion de que no tiene contenido cero se basa en el siguiente resultado:
Proposici
on. 1) Sea [a, b] un intervalo real. Para toda familia finita de rectangulos
k
k
[
X
{Ri }i=1,...,k tal que A
Ri se tiene ba
v(Ri ). En particular, si a < b,
i=1
i=1
[a, b] no tiene contenido cero.
AVAVAR
2) Sea A un rectangulo en Rn y {Ri }i=1,...,k una familia finita de rectangulos
k
k
[
X
tales que A
Ri . Entonces v(A)
v(Ri )
i=1
i=1
Como consecuencia, los conjuntos de contenido cero y los de medida cero

tienen que tener interior vaco.
El recproco tampoco es cierto. Hay conjuntos con interior vaco, que no
tienen ni contenido cero ni medida cero:
Por ejemplo A = Q [0, 1] tiene interior vaco, y no tiene contenido cero. Y
B = [0, 1] \ Q tiene interior vaco y no tiene medida cero.
Vamos a ver algunos resultados en los que intervienen de forma fundamental
los conjuntos de medida cero:
Proposici
on. SeaZA un rectangulo en Rn , y f : A R integrable, tal que
f 0. Entonces
f = 0 si y solo si el conjunto H = {x A : f (x) > 0}
tiene medida cero.
Demostracion:
Pongamos H =
H1/n , donde H1/n = {x A : f (x) 1/n}, y veamos
n=1
que cada H1/n tiene contenido cero.

Z
Para n N fijo, y sea > 0. Como
f = 0, existe P una particion de A

A
tal que S(f, P ) < /n. Sean R1 , . . . , Rk los rectangulos de RP que cortan a
H1/n .
Ri
H1/n
Se tiene
k
[
H
Ri
i=1
Por otro lado, en cada Ri hay por lo menos un punto de H1/n , luego MRi (f )
1/n, luego
k
X
1X
v(Ri )
MRi (f )v(Ri ) S(f, P ) /n
n i=1
i=1
5
AVAVAR
de donde
k
X
v(Ri )
i=1
As pues, cada H1/n tiene contenido cero, y H que es union numerable de

conjuntos de contenido cero sera de medida cero.
Recprocamente, sea P es una particion de A, y R uno de los rectangulos
de RP . Como H tiene interior vaco, R tiene puntos que no estan en H, donde
por tanto la funcion vale cero, as que mR (f ) = 0. En consecuencia, para toda
partici
on P de A se verifica S(f, P ) = 0. Y como f es integrable, se tiene
R
f =0
A
N
Proposici
on. Sea A un rectangulo en Rn , y f : A R una funcion acotada
con f 0. Si el conjunto H =Z {x A : f (x) > 0} tiene contenido cero,
f =0
entonces f es integrable en A y
A
Demostracion:
Veamos que f verifica el Criterio de Riemann:
Sea M una cota superior de |f |, y sea > 0. Como H tiene contenido
k
[
cero, existe una familia finita de rectangulos R1 , . . . , Rk tales que H
Rio
i=1
k
X
v(Ri ) < /M
i=1
P
R2
R2
R1
R1
Sea P la particion de A definida por los vertices de los rectangulos Ri . Cada

rectangulo de P o bien esta contenido en alguno de los Ri , o bien verifica
R Rio = para todo i = 1, . . . , k
AVAVAR
Si R Rio = para todo i, entonces R H = , luego MR (f ) = 0. Entonces
X
X
S(f, P ) =
MR (f )v(R) =
MR (f )v(R)
RRP
k
X
RRP ,RRi ,1ik

=
M
v(Ri ) M
i=1
Y como f 0, S(f, P ) 0, luego

S(f, P ) S(f, P ) S(f, P )
por tanto f verifica el Criterio de Riemann, y es integrable en A. Ademas,
Z
0
f S(f, P )
A
Z
f =0
para todo > 0, luego tiene que ser

A
Este resultado no es cierto si H solo tiene medida cero: en concreto, no se

puede deducir de que H tenga medida cero que f sea integrable. Como ejemplo,
puede considerarse la funcion

1
si x Q [0, 1]
f (x) =
0
si x 6 Q [0, 1]
Proposici
on. Sea A un rectangulo en Rn y f, g : A R dos funciones
acotadas, tales que el conjunto H = {x A : f (x) 6= g(x)} tiene contenido
cero.
Entonces
f es integrable en A si y solo si g es integrable en A, y ademas
Z
Z
f=
g
A
Demostracion:
Consideremos la funcion h = f g, y las funciones h+ = max{h, 0} y
h = min{h, 0}. h+ (x) 0 para todo x A, y h (x) 0 para todo x A.

Ademas {x A : h+ (x) > 0} {x A : h(x) 6= 0} H, Z
luego tiene
h+ = 0.
contenido cero. Por la proposicion anterior, h+ es integrable en A, y
Analogamente {x A : h (x) > 0} {x A : h(x) 6= 0} H,

luego tiene contenido cero. Por la proposicion anterior, h es integrable en A, y
Z
h = 0.
A
Z
+
Por tanto h = h h es integrable en A, y

h = 0.
A
AVAVAR
Por ultimo, como f =Z g + h Zy g = fZ h, se
Z tiene que f es integrable si y
solo si g lo es, y ademas
f=
g+
h=
g
A
A
A
A
N
Teorema de Lebesgue
Beatriz Porras
El Teorema mas importante en este captulo es el teorema de Lebesgue, que
caracteriza la integrabilidad de una funcion acotada en terminos del conjunto de
puntos de discontinuidad. Para llegar a la demostracion, utilizaremos algunas
definiciones y lemas previos.
Definici
on (Oscilacion de una funcion). Sea A un conjunto en Rn y f : A R
una funcion acotada. Dado un subconjunto B de A se define la oscilacion de f
en B como
o(f, B) = sup{f (x) : x B} inf{f (x) : x B}
Dado > 0, se define para cada x A, o(f, x, ) = o(f, B(x, ) A)
Y para cada x de A se define la oscilacion de f en x como
o(f, x) = inf{o(f, x, ), > 0}
Lema 1. Sean A Rn , f : A R una funcion acotada, y x A. f es
continua en x si y solo si o(f, x) = 0
Demostracion:
Supongamos primero que f es continua en x, y sea > 0. Existe un > 0
tal que para todo y B(x, ) A se tiene |f (y) f (x)| /2. Entonces
f (y) f (z) |f (y) f (z)| |f (y) f (x)| + |f (x) f (z)|
para todos y, z B(x, ) A, y tomando supremos en y e nfimos en z, obtenemos
o(f, x) o(f, x, ) =
= sup{f (y), y B(x, ) A} inf{f (z), z B(x, ) A}
Y esto para todo > 0, luego necesariamente o(f, x) = 0
Recprocamente, supongamos ahora que o(f, x) = 0, y sea > 0. Entonces
o(f, x) = inf{o(f, x, ), > 0} <
1
AVAVAR
y por tanto existe algun > 0 tal que o(f, x, ) < .
Sea ahora y B(x, ) A. Tenemos
f (y) f (x) sup{f (u), u B(x, ) A} inf{f (v), v B(x, ) A} =
= o(f, x, )
y
f (x) f (y) sup{f (u), u B(x, ) A} inf{f (v), v B(x, ) A} =
= o(f, x, )
luego |f (y) f (x)| . As pues f es continua en x
N
Lema 2. Sea A Rn un conjunto cerrado y f : A R una funcion acotada.
Para todo p > 0, el conjunto Np = {x A : o(f, x) p} es cerrado en A, con
la topologa relativa como subespacio metrico de Rn , y en Rn .
Demostracion:
Sea p > 0; vamos a demostrar que A \ Np es abierto en A.
Sea y A \ Np . Hay que demostrar que existe un > 0 tal que B(y, ) A
esta contenido en A \ Np
Si y A\Np , o(f, y) < p, y por la definicion de oscilacion de una funcion en
un punto, existe algun > 0 tal que o(f, y, ) < p. Sea ahora z B(y, ) A,
y escojamos 0 > 0 tal que B(z, 0 ) B(y, ). Se tiene:
o(f, z) o(f, z, 0 ) o(f, y, ) < p
luego z A \ Np
Luego efectivamente Np es cerrado en A, y como A es cerrado en Rn , Np es
cerrado tambien en Rn .
N
Lema 3. Sea A un rectangulo en Rn , y f : A R una funcion acotada.
Supongamos que existe q > 0 tal que o(f, x) < q para todo x A. Entonces
existe una particion P de A tal que S(f, P ) S(f, P ) q v(A)
Demostracion:
Para cada x A, como por hipotesis o(f, x) < q, existe un x > 0 tal que
o(f, x, x ) < q. Consideramos entonces un rectangulo abierto Qx tal que
x Qx Qx B(x, x )
AVAVAR
S
Tenemos que A xA Qx y {Qx , x A} es un recubrimiento abierto de
A, que es compacto. As pues, existe una familia finita x1 , . . . , xk tal que
A
k
[
Qxi
i=1
k
[
Qxi
i=1
Qx1
Qx1
Qx2
Qx2
Qx3
Qx3
Qx4
Qx4
Sea P la particion de A determinada por los vertices de los rectangulos Qxi

que estan en A. Cada rectangulo R RP esta contenido en alguno de los
Qxi A, con lo que
o(f, R) o(f, Qxi A) o(f, B(xi , xi ) A) = o(f, xi , xi ) < q
Entonces
S(f, P ) S(f, p) =
(MR (f ) mR (f ))v(R) =
o(f, R)v(R)
RRP
RRP
v(R) = qv(A)
RRP
AVAVAR
Teorema (de Lebesgue para la integral de Riemann).

Sean A un rectangulo en Rn, f : A R una funcion
acotada y
N = {x A; f no es continua en x}
f es integrable - Riemann en A si y solo si N tiene
medida cero.
Demostracion:
Supongamos primero que N tiene medida cero, y veamos que entonces f
es integrable en A. Para ello vamos a comprobar que se verifica el Criterio de
Riemann (para todo > 0 existe una particion P de A de modo que S(f, P )
S(f, P ) < )
Sea > 0. Llamamos N = {x A : o(f, x) }. Por el Lema 2,
N es cerrado en A, que es compacto, y por tanto N es compacto. Ademas
N {x A : o(f, x) > 0} = N (lema 1), y como por hipotesis N tiene
medida cero, entonces N tambien tiene medida cero. Por ultimo, al ser N
compacto, tendra contenido cero.
Dado ese mismo , existe entonces una familia finita de rectangulos cerrados
k
k
[
X
R1 , . . . , Rk tales que N
Ri y
v(Ri ) <
i=1
i=1
Consideramos la particion P de A determinada por las coordenadas de los

vertices de los rectangulos Ri . Para cada rectangulo R <P se tiene que, o bien
R Ri para algun i, 1 i k, o bien R Ri = para todo i, 1 i k.
4
AVAVAR
Sea <1 la familia de los rectangulos R <P que estan contenidos en alguno
de los Ri ; y sea <2 el resto de los rectangulos de <P .
Si R <2 , R N = , luego para todo x R la oscilacion o(f, x) < .

Por el lema 3, existe una particion de R, PR , tal que
S(f |R , PR ) S(f |R , PR ) < v(R)
Sea P 0 la particion de A determinada por todas las particiones PR , R <2 ,
y la particion original P . P 0 es mas fina que P , y determina sobre cada R <2
una particion mas fina que PR , PR0 = {R0 <P 0 , R0 R}
As pues para cada R de <2 se tiene

X
(MR0 (f ) mR0 (f ))v(R0 ) = S(f |R , PR0 ) S(f |R , PR0 )
R0 <P 0 ,R0 R
S(f |R , PR ) S(f |R , PR ) < v(R)

Y para todo Q <1 , tomando M una cota de |f |,
5
AVAVAR
(MR0 (f ) mR0 (f ))v(R0 ) 2M
R0 <P 0 ,R0 Q
v(R0 ) = 2M v(Q)
R0 <P 0 ,R0 Q
En consecuencia
S(f, P 0 ) S(f, P 0 ) =
(MR0 (f ) mR0 (f ))v(R0 ))+
Q<1 R0 <P 0 ,R0 Q
(MR0 (f ) mR0 (f ))v(R0 ))
R<2 R0 <P 0 ,R0 R
2M
2M
X
Q<1
m
X
v(Q) +
v(R)
R<2
v(Ri ) + v(A) (2M + v(A))
i=1
Luego f cumple el Criterio de Integrabilidad de Riemann, y por tanto es

integrable en A.
Recprocamente, supongamos ahora que f es integrable en A.
Definimos los conjuntos N1/n = {x A : o(f, x) 1/n}, de modo que
[
N1/n .
N=
n=1
Vamos a ver que cada uno de los conjuntos N1/n tiene contenido cero, con lo
que se obtendra que N es una union numerable de conjuntos de contenido cero,
y por tanto tiene medida cero, terminando la demostracion del Teorema.
Sea n N fijo y sea > 0. Aplicando el criterio de integrabilidad de Riemann,
existe una particion P de A tal que S(f, P ) S(f, P ) < /n.
Llamamos R1 , . . . , Rk los rectangulos definidos por P que tienen algun punto
de N1/n en su interior (N1/n Ri 6= ),
AVAVAR
Y definimos los conjuntos
k
\[
( Ri )
\ i=1
[
= N1/n (
F r(R))
1
= N1/n
N1/n
2
N1/n
R<P
separando por un lado los puntos de N1/n que estan en el interior de algun
rectangulo Ri , y por otro el resto, que estaran en la frontera de alguno de los
rectangulos definidos por P .
Para cada rectangulo R, la frontera de R es una union finita de rectangulos
2
esta contenido en una union
de volumen cero en Rn , luego el conjunto N1/n
finita de rectangulos con suma de volumenes igual
Ska cero.
1
Y por otro lado tenemos el conjunto N1/n i=1 Ri .
Cada Ri contiene en su interior por lo menos un punto xi de N1/n , donde
o(f, xi ) 1/n. Tomamos > 0 de modo que B(xi , ) Ri , y tenemos
o(f, Ri ) o(f, B(xi , )) = o(f, xi , ) o(f, xi ) 1/n
de donde se deduce
1/n
k
X
v(Ri )
i=1
luego
k
X
k
X
o(f, Ri )v(Ri ) S(f, P ) S(f, P ) < /n
i=1
v(Ri ) <
i=1
As pues
N1/n (
k
[
i=1
Ri ) (
F r(R))
R<P
AVAVAR
union finita de rectangulos, cuya suma de volumenes es menor que . y por tanto
tiene contenido cero.
N
Conjuntos Medibles Jordan.

Beatriz Porras
La construccion de la integral de Riemann que hemos estudiado se basa en los
rectangulos como dominio de las funciones integrables, por la comodidad de subdividirlos mediante particiones. Es evidente que un procedimiento de integracion
debe abarcar dominios mas generales.
La posibilidad de utilizar una clase mas amplia de conjuntos, pasa por la
posibilidad de utilizar familias de rectangulos para descomponer el conjunto. Esta
idea da lugar a la definicion de los llamados Conjuntos Medibles Jordan, que son
conjuntos cuyo area de puede aproximar mediante la construccion de polgonos
formados como union de rectangulos, contenidos en el, o que lo contengan,
siguiendo los metodos de calculo de areas de los antiguos matematicos griegos.
La definicion que damos aqu no es exactamente esa, sino que aprovecha la
definicion que ya tenemos de las funciones integrables para dar una descripcion
mas rapida de la clase de los conjuntos medibles.
Definici
on (Funcion Caracterstica).
Sea M un subconjunto de Rn . Se llama funcion caracterstica de M a la funcion
M : Rn R definida por:

1
si x M
M (x) =
0
si x 6 M
Observaciones:
Las funciones caractersticas tienen las siguientes propiedades:
1.- Rn \M = 1 M
2.- AB = A B
3.- AB = A + B AB
4.- A\B = A AB = A (1 B )
5.- (M )2 = M
Y ademas,
Proposici
on. Sea M un conjunto en Rn . El conjunto de puntos de discontinuidad de M es la frontera de M .
1
AVAVAR
Definici
on (Conjunto Medible Jordan).
Un conjunto M Rn se dice medible Jordan si es acotado, y su frontera,
F r(M ), tiene contenido cero.
Observese que la frontera de un conjunto acotado es un conjunto compacto,
as que tiene contenido cero si y solo si tiene medida cero. Eso nos lleva a la
siguiente caracterizacion, basada en el Teorema de Lebesgue:
Teorema.
Un conjunto M Rn es medible Jordan si y solo si existe un rectangulo A que
lo contiene, tal que M es integrable en A.
Observaciones:
De hecho, si existe un rectangulo A que contiene a M en el que M es
integrable, entonces tambien es integrable en cualquier otro rectangulo que lo
contenga, y el valor de la integral es el mismo:
AB
B
Si consideramos las particiones de A y de B definidas por los vertices de
A B, PA y PB , y aplicamos las propiedades de la integral de Riemann, que ya
AVAVAR
hemos demostrado,
Z
X Z
M =
M =
A
RRPA
Z
M +
=
AB
M =
RRPA ,R6=AB
Z
=
M =
ZAB
M +
AB
M =
RRPB ,R6=AB
X Z
RRPB
Z
M =
M
B
ya que en los rectangulos distintos de A B la funcion M vale cero.

Esto nos permite dar la siguiente definicion de volumen de un conjunto,
que generaliza el concepto de volumen de un rectangulo como producto de las
longitudes de sus lados:
Definici
on (Volumen).
Sea M un conjunto medible Jordan. Se llama volumen de M a
Z
v(M ) =
M
A
donde A es un rectangulo cualquiera que contenga a M .

Observaciones:
1.- Si R es un rectangulo, es medible Jordan, y la definicion de volumen como
conjunto medible coincide con la definicion usual de volumen de un rectangulo.
Z
v(R) =
1
R
2.- Los conjuntos acotados en Rn cuya frontera se puede describir como una
union finita de graficas de funciones integrables definidas en rectangulos de Rn1
son medibles Jordan (problemas)
3.- Los conjuntos de medida cero pueden no ser medibles-Jordan, incluso
aunque sean acotados: por ejemplo, el conjunto Q [0, 1] en R, tiene medida
cero, ya que es numerable, pero no es medible Jordan, puesto que su frontera es
todo el intervalo [0, 1], que no tiene medida cero.
3
AVAVAR
Proposici
on. Un conjunto M Rn es de contenido cero si y solo si es medible
Jordan, y tiene volumen cero
Demostracion:
Supongamos en primer lugar que M tiene contenido cero. En particular M
es acotado, ya que tiene que poder sumergirse en una union finita de rectangulos
cerrados. Ademas tambien la adherencia de M , M , tiene contenido cero, y
por lo tanto la frontera, que es un subconjunto de la adherencia, tambien tiene
contenido cero. Por tanto M es medible Jordan.
Ademas si A es un rectangulo que contiene a M , el conjunto de puntos donde
la funcion M es positiva es M , M = {x Rn : M (x) > 0} y por hipotesis
tiene contenido cero, luego M es integrable en A (ya lo sabamos, por ser M
medible Jordan) y la integral vale cero :
Z
v(M ) =
M = 0
A
(este resultado se demostro dos captulos antes, entre las propiedades de los
conjuntos de medida cero y de contenido cero)
Recprocamente, supongamos que M es medible Jordan y que su volumen
es cero. Sea A un rect
Rangulo cualquiera que contenga a M . Estamos diciendo
entonces que v(M ) = A M = 0
Aplicando la definicion de la integral como el nfimo de las sumas superiores
de Riemann, dado > 0 existira alguna particion P de A tal que la suma superior
asociada sea menor que , S(M , P ) < .
Sean R1 , . . . Rk los rectangulos definidos por esa particion P que cortan a
M . Entonces
M
k
[
Ri
i=1
Ademas en cada rectangulo Ri hay algun punto de M , donde la funcion M

vale uno, luego MRi (f ) = 1, y por tanto
k
X
i=1
v(Ri ) =
k
X
MRi (f )v(Ri ) S(M , P ) <
i=1
Luego M tiene contenido cero, como queramos demostrar.

N
Ademas, tienen otras propiedades:
AVAVAR
Proposici
on. Si M es medible-Jordan, tambien lo son su interior y su adherencia,
M o y M , y ademas v(M o ) = v(M ) = v(M ). Mas aun, si B es un conjunto tal
que M o B M , entonces B es medible-Jordan y v(B) = v(M )
Demostracion:
Basta logicamente que demostremos la segunda parte del resultado, ya que
la primera es un caso particular, cuando B = M o o cuando B = M .
En primer lugar, si M es medible Jordan, en particular es acotado, luego la
adherencia M tambien es acotado, y por tanto B M tambien es acotado.
Ademas M o M 0 y B M , luego
F r(B) = B \ B o M \ M o = F r(M )
as que F r(B) tambien tiene contenido cero. Por tanto B es medible Jordan.
Ademas, las dos funciones caractersticas B y M son iguales salvo quiza
en puntos de la frontera de M , que es un conjunto de contenido cero, luego las
dos tienen misma integral:
Z
Z
M = v(M )
B =
v(B) =
A
donde A es un rectangulo cualquiera que contenga a M , y por tanto a M y a

B.
N
Observese que en este resultado, los conjuntos B y M se diferencian solo
en puntos de la frontera de M : Si M es medible Jordan, da igual considerar su
interior, su adherencia, o poner o quitar alguna parte de su frontera, que seguira
siendo medible Jordan.
Proposici
on. a) Sean M y N medibles-Jordan. Entonces los conjuntos M
N, M N, M \ N , son medibles Jordan, y ademas
v(M N ) = v(M ) + v(N ) v(M N )
En general, las operaciones conjuntistas union, interseccion y diferencia,
con una cantidad finita de conjuntos medibles-Jordan, dan lugar a un conjunto
medible-Jordan.
b) Sea M medible-Jordan, y x Rn . Entonces x + M es medible-Jordan, y
v(x + M ) = v(M ) es decir, el volumen es invariante por traslaciones.
Demostracion:
a) Si M y N son medibles Jordan, entonces son acotados, y por tanto M N ,
M N y M \ N tambien son acotados.
5
AVAVAR
Ademas las fronteras de los tres conjuntos M N , M N y M \ N estan
contenidas en la union de la frontera de M y la frontera de N , as que todas
tienen contenido cero.
M
F r(M N )
F r(M N )
M
F r(M \ N )
Por tanto los tres conjuntos son medibles Jordan.

Ademas, por las propiedades de las funciones caractersticas, si A es un
rectangulo que contiene a M N , tenemos
Z
Z
v(M N ) =
M N = (M + N M N =
Z
Z A
ZA
M N = v(M ) + v(N ) v(M N )
=
M +
N
A
b) Observemos primero que si A es un rectangulo cualquiera en Rn , A =

[a1 , b1 ] [an , bn ], y x = (x1 , . . . , xn ) es un punto, el conjunto x + A es un
rectangulo, y v(x + A) = v(A)
AVAVAR
x2 + b2
x+A
x2 + a2
b2
x2
x
a2
a1
x1 x1 + a1
b1
x1 + b1
x + A = {(x + y, y A} =
= {(x1 + y1 , . . . , xn + yn ), y = (y1 . . . , yn ) A} =
= [x1 + a1 , x1 + b1 ] [xn + an , xn + bn ]
y
n
n
Y
Y
v(x + A) =
(xi + bi xi ai ) =
(bi ai ) = v(A)
i=1
i=1
Entonces si M es medible Jordan, y A es un rectangulo que contiene a M ,

x + A contiene a x + M , y por tanto x + M es acotado tambien.
Ademas, utilizando la descripcion de la frontera de un conjunto como el
conjunto de puntos de discontinuidad de su funcion caracterstica,y teniendo en
cuenta que

1
si y x + M
x+M (y) =
=
0
si y 6 x + M

1
si y x M
=
= M (y x)
0
si y x 6 M
entonces
y F r(x + M ) x+M no es continua en y
M no es continua en y x
y x F r(M ) y x + F r(M )
7
AVAVAR
Como F r(M ) tiene contenido cero, dado > 0 existe una familia finita de
k
[
rectangulos R1 , . . . Rk tales que F r(M )
Ri y la suma de sus volumenes
i=1
k
X
v(Ri ) es menor que .
i=1
Pero entonces
x + F r(M )
k
[
(x + Ri )
i=1
union finita de rectangulos, y la suma de los volumenes es

k
X
v(x + Ri ) =
i=1
k
X
v(Ri ) <
i=1
Luego F r(x + M ) = x + F r(M ) tambien tiene contenido cero.

As pues, x + M es medible Jordan. Nos queda por demostrar que ambos
conjuntos tienen el mismo volumen.
Ahora bien, escojamos un rectangulo A que contenga a M . Si P es una
particion de A, P = {P1 , . . . , Pn }, entonces x + P = {x1 + P1 , . . . , xn + Pn }
es una particion de x + A, (obtenida trasladando cada punto de las particiones
de los segmentos [a1 , bi ] sumandoles xi , la coordenada i-esima de x). Y los
rectangulos definidos por la particion x + P son todos de la forma x + R con R
un rectangulo definido por P en A
x2 + b2
x2 + P2
x+A
x+R
x2 + a2
b2
P2
x2
R
a2
a1
P1
x1 x1 + a1
b1
x1 + P1
x1 + b1
AVAVAR
Ademas, si R RP ,
mx+R (x+M ) = inf{x+M (y), y x + R} =
= inf{M (y x), y x M } = mR (M )
y analogamente
Mx+R (x+M ) = sup{x+M (y), y x + R} =
= sup{M (y x), y x M } = MR (M )
Entonces
S(M , P ) =
mR (M )v(R) =
RRP
mx+R (x+M )v(x + R) =
RRP
Z
x+M S(x+M , x + P ) =
= S(x+M , x + P )
x+A
X
X
=
Mx+R (x+M )v(x + R) =
MR (M )v(R) =
RRP
RRP
= S(M , P )
Esta cadena de desigualdades es cierta para cualquier particion P de A. Tomando
en la parte izquierda supremos al variar P entre todas las posibles particiones de
A, y a la derecha nfimos, queda
Z
Z
x+M = v(x + M )
M =
v(M ) =
A
x+A
Esto termina la demostracion.

N
Para terminar este tema, la definicion de esta clase de conjuntos nos permite
generalizar la construccion de la integral de Riemann a una clase mucho mas
amplia de conjuntos que los rectangulos con los que hemos trabajado hasta
ahora:
Definici
on (Integral sobre conjuntos medibles-Jordan).
Sea f : Rn R una funcion acotada, y M un conjunto medible -Jordan.
Se dice que f es integrable en M si el producto f M es integrable en algun
rectangulo A que contenga a M . En este caso, se llama integral de f en M a
Z
Z
f=
f M
M
AVAVAR
Observaciones:
La definicion es correcta, en el sentido de que no depende del rectangulo A
que contiene a M .
Ademas se pueden demostrar facilmente algunas propiedades, como por ejemplo que si M y N son dos conjuntos medibles Jordan,
Z
Z
Z
Z
f=
f+
f
f
M N
M N
y si M y N son disjuntos, la integral en M N es la suma de las integrales en M y

en N . Esta propiedad se llama aditividad respecto al dominio de integracion,
y es una de las propiedades fundamentales de la integral, si ha de servir para
medir volumenes de conjuntos.
10
Teorema de Fubini.
Beatriz Porras
Teorema de Fubini
El teorema de Fubini nos va a dar una tecnica para el calculo de integrales de

funciones de varias variables mediante el calculo de varias integrales de funciones
de una variable. A partir de ah se podran utilizar todas las tecnicas conocidas
del Analisis de una variable para el calculo de integrales mediante calculo de
primitivas y el teorema fundamental del calculo (Regla de Barrow): cambios de
variables, integracion por partes, etc.
Si A es un rectangulo en Rn , con n 2, podemos descomponerlo como
producto cartesiano de dos rectangulos, A = A1 A2 , A1 en Rp (p < n) y A2
en Rq (q = n p)
A = [a1 , b1 ] [ap , bp ] [ap+1 , bp+1 ] [an , bn ]
A1 = [a1 , b1 ] [ap , bp ]
A2 = [ap+1 , bp+1 ] [an , bn ]
Los elementos de A los escribiremos como pares (x, y), con x A1 , e y A2 ,

y las funciones definidas en A como f (x, y)
f : A R,
f (x, y) = f (x1 , . . . , xp , y1 , . . . , yq )
Para cada x A1 fijo, podemos considerar la funcion fx : A2 R definida

por
fx (y) = f (x, y)
donde x es una constante, y la variable es y A2 .
f(
x,
y
AVAVAR
fy
(x
)=
fx (y) = f (x, y)
y
x
Y de igual manera, para cada y A2 fijo,podemos considerar la funcion

fy : A1 R definida por
fy (x) = f (x, y)
donde y es una constante y la variable es x A1 .
Si estas funciones son integrables, sus integrales se escribiran
Z
Z
Z
fx =
fx (y)dy =
f (x, y)dy
A2
A2
A2
y
Z
Z
fy (x)dx =
fx (y)dy
A2
fy
f (x, y)dy
A1
(x
)d
x
A1
fy =
A1
AVAVAR
Z
Para la funcion inicial f : A R escribiremos
f (x, y)d(x, y).

A
Con estas notaciones vamos a demostrar el siguiente teorema
Teorema (de Fubini).

Sean A1 Rp y A2 Rq dos rectangulos, A = A1
A2, y f de A en R una funcion integrable. Entonces las
funciones
Z
Z
f (x, y)dy
I(x) =
f (x, y)dy y S(x) =
A2
A2
son integrables en A1, y ademas se verifica

Z
Z
Z
f (x, y)d(x, y) =
I(x)dx =
S(x)dx
A
A1
A1
Demostracion:
Observemos en primer lugar que una particion de A = A1 A2 esta formada
por una particion de A1 y otra de A2 , = {P, Q} = {P1 , . . . , Pp , Q1 , . . . , Qq }.
Y cualquier rectangulo de la particion es de la forma R = R1 R2 , producto de
un rectangulo de la particion P y otro de la particion Q, y v(R) = v(R1 )v(R2 )
R2
R2
A2
A2
R1
R1
A1
A1
AVAVAR
Sea entonces una particion cualquiera de A. Tenemos
P
P
S(f, ) = R< mR (f )v(R) = R1 <P ,R2 <Q mR1 R2 (f )v(R1 )v(R2 ) =
P

P
= R1 <P
m
(f
)v(R
)
v(R1 )
R1 R2
2
R2 <Q
Sea ahora x0 R1 fijo. Entonces
mR1 R2 (f ) = inf{f (x, y); x R1 , y R2 }
inf{f (x0 , y); y R2 } = mR2 (fx0 )
luego
X
mR1 R2 (f )v(R2 )
R2 <Q
mR2 (fx0 )v(R2 ) =
R2 <Q
Z
= S(fx0 , Q) I(x0 ) =
fx0
A2
Y esto para todo x0 R1 , luego tomando nfimos cuando x0 pertenece a

R1 , tenemos
X
mR1 R2 (f )v(R2 ) mR1 (I)
R2 <Q
y por tanto
S(f, )
mR1 (I)v(R1 ) = S(I, P )
R1 <P
Analogamente se prueba que S(f, ) S(S, P )

Y uniendo las dos desigualdades
S(f, ) S(I, P ) S(I, P ) S(S, P ) S(f, )
Como f es integrable por hipotesis, dado > 0 existira alguna particion
de A de modo que la diferencia entre la suma superior y la inferior de f con esa
particion sea menor que , y entonces la diferencia
S(I, P ) S(I, P ) S(f, ) S(f, )
as que I es integrable en A1 .
Ademas se deduce de las desigualdades anteriores que
Z
Z
S(f, ) S(I, P )
I
I S(I, P ) S(f, )
A1
A1
AVAVAR
para toda particion de A, luego
Z
Z
f (x, y)d(x, y) =
A
I(x)dx =
f (x, y)dy dx
A1
A1
A2
f (x, y)d(x, y) =
Y analogamente se puede obtener

A
Z
A1
A2
f (x, y)dy dx
N
Observaciones:
1. Intercambiando el papel de la x y la y en la demostracion, se puede obtener
una formula de integracion en orden inverso:
Si f es una
Z funcion integrable en un
Z rectangulo A = A1 A2 , las funciones
I(y) =
f (x, y)dx y S(y) =
f (x, y)dx son integrables en A2 , y
ademas
Z
A1
A1
Z
f (x, y)d(x, y) =
Z
I(y)dy =
A2
S(y)dy
A2
2. Si f es continua en A, cada una de las funciones fx : A2 R es tambien

continua, y por tanto integrable, as que
Z
Z
Z
I(x) =
fx (y)dy =
fx (y)dy = S(x) =
fx (y)dy
A2
A2
de modo que
Z
Z
f (x, y)d(x, y) =
A
A1
A2
Z

f (x, y)dy dx
A2
Analogamente, cada una de las funciones fy : A1 R es continua, y

por tanto integrable, de modo que

Z
Z Z
f (x, y)d(x, y) =
f (x, y)dx dy
A
A2
A1
sin necesidad de utilizar integrales inferiores o superiores. Estas integrales

se denominan integrales iteradas.
Sin embargo si f es integrable, como en la hipotesis del teorema, es imprescindible utilizar integrales inferiores o superiores, porque las funciones
fx o fy pueden no ser integrables.
5
AVAVAR
Ejemplo 1. Funcion integrable
Consideremos la funcion
0
0
f (x, y) =
1/q
si
si
si
x 6 Q
x Q; y
6 Q
x Q; y = p/q fraccion irreducible
definida en A = [0, 1] [0, 1]

Esta funcion es integrable, y su integral vale cero (ver problemas)
Sin embargo si queremos aplicar el teorema de Fubini, para cada y [0, 1]
fijo tenemos:
R
Si y 6 Q, fy (x) = 0 para todo x [0, 1], y por tanto A1 fy (x)dx =
R1
0dx = 0
0
pero si y = p/q Q, entonces

0
si x
6 Q
fy (x) =
1/q
si x Q
que no es integrable, por lo que es imprescindible utilizar la integral
inferior o la superior.
3. Si f no es integrable, pueden existir o no las integrales iteradas, ser iguales,
o ser distintas. Solo en este ultimo caso se puede deducir que la funcion
no es integrable.
Ejemplo 2. Funcion no integrable
Consideremos la funcion
y2
1
f (x, y) =
x
0
si
0<x<y<1
si
0<y<x<1
en el resto
definida en A = [0, 1] [0, 1]

Si aplicamos directamente el teorema para integrar primero respecto de y
y luego respecto de x tenemos:
Para cada x0 [0, 1] fijo,
6
AVAVAR
1
y2
x0
x2
10
fyx0 (y) =
y2
si
0 < y < x0
si
x0 < y < 1
si
y = 0, y = x0 ,
o y = 1
1
x20
que es integrable (solo tiene tres puntos de discontinuidad), y verifica

Z
Z 1
1
1
dy +
dy =
2
2
x0
x0 y
0
y=x0
1
1
y
1
1
1+
= 1
+
=
2
x0 y=0
y y=x0
x0
x0
x0
Z
fx0 (y)dy =
A2
Y si planteamos la integral en el orden contrario:

Para cada y0 [0, 1] fijo,
si
y02
1
fy0 (y) =
si
x
0
si
0 < x < y0
y0 < x < 1
x = 0, x = y0 , x = 1
que es integrable (solo tiene tres puntos de discontinuidad), y verifica

Z
y0
fy0 (x)dx =
A1
x
y02
1
dx +
y02
x=y0
+
x=0
1
x
y0
1
dx =
x2
1
=
x=y0
1
1
+1+
=1
y0
y0
En este caso podemos asegurar. como consecuencia del teorema de Fubini,

que f no es integrable (aunque de hecho ya debamos habernos dado cuenta
de que f no es una funcion acotada en A = [0, 1] [0, 1], por lo que no
esta definida la integral de Riemann de f en A)
7
AVAVAR
4. El teorema tiene un aspecto particular cuando se aplica para integrar funciones definidas en conjuntos medibles Jordan.
Supongamos que M es medible Jordan en Rn , y que A = A1 A2 es un
rectangulo que contiene a M . Y sea f : Rn R una funcion integrable
en M . Segun la definicion de integral de una funcion sobre un conjunto
medible Jordan, y aplicando el Teorema de Fubini,
!
Z
Z
Z
Z
f (x, y)M (x, y)dy dx
f=
f M =
M
A1
A2
Es decir, para cada x0 A1 fijo hay que calcular

Z
f (x0 , y)M (x, y)dy
A2
Ahora bien, fijo x0 A1

1
M (x0 , y) =
0

1
=
0
= Mx0 (y)
donde Mx0 = {y A2 :
subespacio x = x0 .
si
si
(x0 , y) M
=
(x0 , y) 6 M
si
si
y M x0
=
y 6 Mx0
(x0 , y) M } es la seccion de M por el
A
Mx0
(x0 , y)
x0
A1
Si cada conjunto Mx es medible Jordan cuando x A1 , podemos escribir

!
Z
Z
Z
f (x, y)d(x, y) =
M
f (x, y)Mx (x, y)dy dx =

A1
A2
Z
=
Z
A1
f (x, y)dy dx
Mx
AVAVAR
o la expresion correspondiente con la integral superior.
Y analogamente, si para cada y A2 los conjuntos My = {x A1 :
(x, y) M } son medibles Jordan,
f (x, y)My (x, y)dx dy =
f (x, y)d(x, y) =
M
A2
A2
Z
=
Z
A2
f (x, y)dx dy
My
o la expresion correspondiente con la integral superior.
Aplicaci
on al c
alculo de vol
umenes
Vamos a utilizar el teorema de Fubini como tecnica para el calculo de volumenes

de conjuntos medibles Jordan. De alguna forma esta ultima seccion justifica la
idea geometrica en la que se basa la construccion de la integral como un metodo
para calcular el volumen encerrado entre la grafica de una funcion y su dominio.
Necesitaremos hacer uso del siguiente lema tecnico sobre los conjuntos de
contenido cero:
Lema 1. Sea M un conjunto en Rn . M tiene contenido cero si y solo si para
cada > 0 existe un conjunto M medible Jordan que lo contiene, M M , y
que tiene volumen menor que , v(M ) <
Demostracion:
Supongamos primero que M tiene contenido cero, y sea > 0. Aplicando la
definicion, existe una familia finita de rectangulos R1 , . . . , Rk tales que
M
k
[
Ri
i=1
k
X
v(Ri ) <
i=1
S
Definimos entonces el conjunto M = ki=1 Ri , que es medible Jordan por
ser union finita de conjuntos medibles Jordan, y verifica
!
k
k
[
X
Ri
v(Ri ) <
v(M ) = v
i=1
i=1
AVAVAR
Recprocamente, supongamos que para cada > 0 existe un conjunto M
que contiene a M y que tiene volumen menor que . Vamos a demostrar que
entonces M es medible Jordan y su volumen es cero, lo que ya hemos probado
en el tema anterior que es equivalente a tener contenido cero.
M
Sea A un rectangulo que contenga a M ; para cada > 0 tenemos que en A

la funcion caracterstica de M es menor que la de A M ,
M AM
y por tanto
Z
AM = v(A M ) v(M ) <
M
A
Luego M es integrable en A, y su integral vale cero, lo que es lo mismo que

decir que M es medible Jordan, y que su volumen es cero.
N
Este lema nos permite demostrar el siguiente teorema, sobre el volumen del
cuerpo en Rn+1 encerrado entre el dominio y la grafica de una funcion integrable
no negativa en un conjunto medible Jordan de Rn
Teorema.
Sea M un conjunto medible Jordan, y f : Rn R una funcion integrable Riemann en M no negativa, f (x) 0 para todo x M . Sea W un conjunto
en Rn+1 tal que
{(x, t) : x M, 0 < t < f (x)} W {(x, y) : x M, 0 t f (x)}
W es medible Jordan, y
Z
v(W ) =
f (x)dx
M
10
AVAVAR
f (x)
(x, t)
W
x
M
Demostracion:
Vamos a hacer la demostracion en dos pasos, suponiendo primero que M es
un rectangulo, y luego en general cuando M es un conjunto medible Jordan.
Primer paso: si M es un rectangulo en Rn
Como f es integrable en M , f es acotada, luego existe una constante K > 0
tal que para todo x M es 0 f (x) K. Entonces el conjunto W esta
contenido en el rectangulo de Rn+1 A = M [0, K], y en particular W es
acotado.
Ademas, dado cualquier > 0, existe alguna particion P de A tal que
S(f, P ) S(f, P ) < . Para cada rectangulo R RP consideramos los conjuntos de Rn+1
CR = R [0, MR (f )]
AR = R0 (0, mR (f ))
CR es un rectangulo cerrado, y AR es un rectangulo abierto.

CR
AR
Y sean
C=
[
RRP
CR
A=
AR
RRP
11
AVAVAR
C y A son conjuntos medibles Jordan, claramente A W C, A es abierto,
C es cerrado, y poniendo C = A (C \ A) como union de conjuntos disjuntos
tenemos
v(C) = v(A) + v(C \ A)
luego
v(C \ A) = v(C) v(A)
y
X
v(C) v(A)
(v(R)MR (f ))
RRP
(v(R)mR (f )) =
RRP
= S(f, P ) S(f, P ) <

De esta forma tenemos
F r(W ) = W \ W 0 C \ A
la frontera de W esta contenido en un conjunto medible Jordan de volumen
menor que . Como esto se puede hacer para cualquier > 0, aplicando el lema
anterior F r(W ) es un conjunto de contenido cero, y por tanto W es medible
Jordan.
Ademas, aplicando el teorema de Fubini para calcular el volumen de W ,

Z
Z Z
v(W ) =
W (x, t)d(x, t) =
W (x, t)dt dx =
A
M
Wx
!
Z
Z
Z
f (x)
1dt dx =
M
f (x)dx
M
Segundo paso: si M es un conjunto medible Jordan.

Sea A un rectangulo que contenga a M en Rn , de modo que g = f M es
integrable en A.
g(x)
W
M
(x, t)
12
AVAVAR
Entonces
{(x, t) : x A, 0 < t < g(x)} =
= {(x, t) : x M, 0 < t < f (x)} {(x, t) : x A \ M, 0 < t < 0} =
= {(x, t) : x M, 0 < t < f (x)} W
y
{(x, t) : x A, 0 t g(x)} =
= {(x, t) : x M, 0 t f (x)} {(x, t) : x A \ M, t = 0} W
Aplicando el paso anterior a la funcion g en el conjunto A, W es medible
Jordan, y
Z
Z
Z
v(W ) =
g(x)dx =
f (x)M (x)dx =
f (x)dx
A
Esto termina la demostracion.

Como consecuencia es muy facil demostrar un caso mas general:
Corolario 1. Sean M un conjunto medible Jordan en Rn , f : Rn R y

g : Rn R dos funciones integrables en M , y W un conjunto en Rn+1 tal que
{(x, t) : x M, g(x) < t < f (x)} W {(x, y) : x M, g(x) t f (x)}
W es medible Jordan, y
Z
v(W ) =
(f (x) g(x))dx
M
Otra aplicacion del teorema de Fubini para el calculo de volumenes de cuerpos

en Rn+1 , es el principio de Cavalieri, que vamos a demostrar a continuacion. Este
resultado es especialmente util en el caso de cuerpos geometricos obtenidos por
revolucion de areas planas alrededor de un eje, o por traslacion a lo largo de una
recta de figuras planas de area conocida. Pero esto se vera mejor en los ejemplos.
Teorema (Principio de Cavalieri).
Sean M un conjunto medible Jordan en Rn+1 , R un rectangulo en Rn , y [a, b]
un intervalo real, de modo que M R [a, b]. Supongamos que para cada
t [a, b] la seccion Mt = {(x R : (x, t) M } es medible Jordan en Rn , y
sea v(t) = v(Mt ). Entonces
Z b
v(M ) =
v(t)dt
a
13
AVAVAR
b
Mt
Demostracion:
Como cada Mt es medible Jordan,
Z
Mt (x)dx
v(t) =
R
donde para cada t [a, b] fijo,

1
si x Mt
=
Mt (x) =
0
si x 6 Mt

1
si (x, t) M
=
=
0
si (x, t) 6 M
= M (x, t)
Z
Luego v(t) =
M (x, t)dx
R
Aplicando el teorema de Fubini

Z
Z b Z
Z b
v(M ) =
M (x, t)d(x, t) =
M (x, t)dx dt =
v(t)dt
R[a,b]
N
Ejemplo 3. Calcular el volumen del conjunto M = {(x, y) : x2 + y 2 z 2 1}
14
AVAVAR
El conjunto M es la parte interior del cono de la figura, entre z = 0 y z = 1

M es acotado,
y su frontera es la union de las graficas de las funciones
p
f (x, y) = x2 + y 2 , y g(x, y) = 1 definidas en el conjunto K = {(x, y) :
x2 + y 2 1}, que son continuas y por tanto integrables. As que M es medible
Jordan (habra que decir que tambien K es un conjunto medible Jordan en R2 ,
con un argumento similar sobre su acotacion y su frontera)
Para cada valor de z0 [0, 1], la seccion de M con el plano z = z0 es el
conjunto de puntos (x, y) que cumple x2 + y 2 z02 , que es una circunferencia
de centro (0, 0) y radio z0 . Por tanto v(z0 ) = z02 , y
Z 1
Z 1
v(M ) =
v(z)dz =
z 2 dz = /3
0
15
Cambio de Variable en la integral Riemann.

Beatriz Porras
Teorema de Cambio de Variable para la Integral de Riemann.
En el caso de la integral de Riemann para funciones reales de una variable real,

se puede demostrar un teorema de cambio de variable de forma muy sencilla
utilizando los teoremas fundamentales del calculo, en condiciones buenas sobre
la funcion que se quiere integrar y sobre la funcion de cambio de variable:
Supongamos que g : [a, b] R es una funcion continua en [a, b], derivable
en (a, b) y con derivada continua, y que f : R R es una funcion continua.
Entonces el teorema de cambio de variable asegura que
Z g(b)
Z b
f =
(f g) g 0
g(a)
En efecto, si F es una primitiva de f en [g(a), g(b)], se tiene que

Z g(b)
f = F (g(b)) F (g(a))
g(a)
Por otro lado, la regla de la cadena asegura que (F g)0 = (F 0 g)g 0 = (f g)g 0 ,
es decir, F g es una primitiva de (f g) g 0 , y se tiene tambien
Z b
(f g) g 0 = F g(b) F g(a) = F (g(b)) F (g(a))
a
Se pueden dar teoremas mas generales de cambio de variable, con condiciones

menos fuertes sobre la funcion f (solo integrable) y mas fuertes en la funcion g
(difeomorfismo de clase C 1 en (a, b)), a los que llegaremos como caso particular
del teorema de cambio de variable para funciones de varias variables que vamos
a demostrar.
La situacion en el caso de funciones en Rn sera en terminos generales la
siguiente: tendremos un conjunto medible-Jordan N , una funcion biyectiva y
1
AVAVAR
diferenciable g : N Rn , y una funcion integrable f definida en g(N ) = M .
Y se tratara de demostrar que, en ciertas condiciones, se verifica la igualdad
Z
Z
f=
(f g) |Jg|
M
donde |Jg| es el valor absoluto del Jacobiano de g.

Para ello habra que asegurar primero que g(N ) es un conjunto medibleJordan, para que tenga sentido la integral de f sobre M = g(N ); en segundo
lugar habra que demostrar que la funcion (f g) |Jg| es integrable; y por ultimo
habra que comprobar la igualdad de las integrales.
Iremos resolviendo cada uno de estos problemas en varios pasos, empezando
por casos sencillos sobre las funciones f y g. El primer teorema va encaminado a
establecer condiciones suficientes sobre la funcion g para asegurar que transforma
conjuntos medibles en conjuntos medibles.
Por la mayor comodidad que supone en la utilizacion de las bolas como
rectangulos, utilizaremos en Rn la norma infinito: si x = (x1 , . . . , xn ), la norma
infinito de x es
kxk = max{|x1 |, . . . , |xn |}
Con esta norma, la bola de centro x y radio r > 0 es
B(x, r) = {y Rn : max{|x1 y1 |, . . . , |xn yn |} r}
que es el rectangulo [x1 r, x1 + r] [xn r, xn + r]
n=2
n=3
1
1
B(0, 1)
B(0, 1)
Antes de nada, conviene tener en cuenta la siguiente observacion:

Observaci
on 1. En las definiciones de conjuntos de contenido cero y de medida
cero, se pueden sustituir los rectangulos por cubos (rectangulos con todos lados
de la misma longitud).
2
AVAVAR
En efecto, basta tener en cuenta que para todo > 0, un rectangulo R de
Rn se puede incluir en otro rectangulo R0 de modo que v(R0 ) v(R) + , y tal
que las longitudes de los lados de R0 sean numeros racionales. De esta forma, si
R0 = [a1 , b1 ] [an , bn ], con bi ai = ri Q, podemos escribir ri = ki /m
poniendo comun denominador, lo que quiere decir que cada segmento [ai , bi ] se
puede subdividir en ki intervalos de longitud m1 ; por tanto R0 se puede dividir
en k1 kn cubos de lado m1 , y la suma de los volumenes de estos cubos es
igual al volumen de R0 .
R
R
1/m
1/m
En consecuencia para todo > 0, un rectangulo R

Rn esta contenido en
Pen
k
una familia finita de cubos Q1 , . . . , Qk de modo que i=1 v(Qi ) v(R) + N
Utilizaremos tambien la siguiente definicion:
Definici
on (Funcion Lipschitziana). Sea U un conjunto en Rn , y G : U Rm
una funcion. Se dice que G es lipschitziana si existe una constante K > 0 tal
que para todo par de puntos x e y en Rn se verifica
kG(x) G(y)k K kx yk
Por ejemplo, las aplicaciones lineales son funciones lipschitizianas en todo Rn ,
y si F es una funcion diferenciable en un punto x0 de un abierto U , entonces es
localmente lipschitziana, es decir, existe una bola centrada en x0 y contenida en
U donde F es lipschitziana.
Teorema 1.
1. Sea H Rn un conjunto de medida cero (resp. de contenido
cero) y sea g : H Rm (n m) una aplicacion lipschitziana. Entonces
g(H) tiene medida cero (resp. contenido cero).
2. Sea A Rn abierto, y g : A Rm (n m) una funcion de clase C 1 en
A. Sea H A un conjunto de medida cero (resp. contenido cero) tal que
H este contenido en A. Entonces g(H) tiene medida cero(resp. contenido
cero).
AVAVAR
3. Sea A Rn abierto y g : A Rm (n m) una funcion de clase C 1 en
A. Sea H A un conjunto de medida cero. Entonces g(H) tiene medida
cero.
Observaci
on 2. El ultimo apartado del teorema no es cierto sustituyendo medida
cero por contenido cero.
, ) R, definida
Para poner un ejemplo, considerese la funcion g : (
2 2
1
por g(x) = tan(x) y el conjunto H = { 2 n , n IN }.
, ), H es un conjunto de
g es una funcion de clase C 1 en el abierto A = (
2 2
contenido nulo, pues es una sucesion convergente en R, y verifica H A, y sin
embargo g(H) no puede tener contenido nulo ya que no es un conjunto acotado
(g( 2 n1 ) = tan( 2 n1 ) tiende a infinito cuando n tiende a infinito).
N
Como consecuencia del teorema anterior veamos ahora que un difeomorfismo
de clase C 1 en un conjunto abierto de Rn transforma conjuntos medibles en
conjuntos medibles. De hecho lo demostramos en condiciones un poco mas
generales, que incluyen la mayora de los casos practicos.
Proposici
on 1. Sea A un abierto de Rn y sea g : A Rn una funcion de
clase C 1 en A. Sea H un conjunto medible-Jordan, tal que H A y tal que la
restriccion de g a H 0 , interior de H, sea un difeomorfismo de clase C 1 . Entonces
g(H) es medible-Jordan.
g(A)
A
g
H0
g(H 0 )
g|H 0
Demostracion:
Si H es medible-Jordan, en particular es acotado y por tanto su adherencia H
es compacto. Entonces como g(H) g(H), y g(H) es compacto por ser la
imagen por una funcion continua de un conjunto compacto, se tiene que g(H)
es acotado.
Ademas, g(H) es el menor cerrado que contiene a g(H), y por tanto g(H)
g(H).
AVAVAR
Por otro lado, la hipotesis de que g|H 0 : H 0 g(H 0 ) es un difeomorfismo
de clase C 1 implica, como consecuencia del teorema de la funcion inversa, que
g(H 0 ) es abierto, y por tanto que g(H 0 ) g(H)0 .
Por ultimo,
F r(g(H)) = g(H) \ g(H)0 g(H) \ g(H 0 ) g(H \ H 0 ) = g(F r(H))
Aplicando el teorema anterior al conjunto F r(H), que es un subconjunto
cerrado de A de contenido cero, se tiene que g(F r(H)) tiene contenido cero, y
por tanto tambien F r(g(H)) tiene contenido cero.
En consecuencia, g(H) es medible-Jordan.
N
Otra aplicacion sencilla del teorema anterior es la siguiente demostracion de
que todo subespacio vectorial propio de Rn (un subespacio vectorial se llama
propio si no es el vaco ni el total) es un conjunto de medida nula, que utilizaremos mas adelante.
Proposici
on 2. Todo subespacio vectorial propio de Rn tiene medida cero.
Demostracion:
Sea H un subespacio de Rn de dimension k <Pn, y sea {v1 , . . . , vk } una base de
H. Cada vector v de H sera de la forma v = ki=1 i vi con (1 , . . . , k ) IRk .
Definamos entonces la funcion
g : IRk+1 Rn
k
X
(1 , . . . , k , )
i v i
i=1
Es claro que podemos poner H = g(IRk {0}).

Ahora bien, IRk {0} tiene medida cero en IRk+1 :
[
k
En efecto, (IR {0})
Qi donde
i=1
k
}|
{
z
Qi = [i, i] [i, i] [

,
]
i+1
k
2
(2i) 2i+1
(2i)k
X
i=1
v(Qi ) =
X
i=1
(2i)k
(2i)k

=
2i+1
5
AVAVAR
Y, por ultimo, g : IRk+1 Rn es lipschitziana:

kg(1 , . . . , k , ) g(1 , . . . , k , )k =
k
k
X
X
=k
(i i )vi k
|i i |kvi k
i=1
i=1
max{|i i |, 1 i k}
k
X
kvi k
i=1
k(1 , . . . , k , ) (1 , . . . , k , )k L
P
siendo L = ki=1 kvi k.
Aplicado el teorema se deduce que H = g(IRk {0}) tiene medida nula. N
Antes de seguir adelante con la demostracion de una primera version de cambio de variable, para aplicaciones lineales, vamos a destacar algunas observaciones
tecnicas que se repiten en las demostraciones siguientes.
Observaci
on 3. Si Q es una familia finita de conjuntos medibles en Rn que no
se solapan (es decir, Mi0 Mj0 = , para todo i 6= j), entonces
v(
M Q
M) =
v(M )
M Q
AVAVAR
En efecto, podemos poner
!
v(
M) = v (
M Q
M 0) (
M Q
F r(M ))
M Q
S
S
Aqu, ( M Q M 0 ) y ( M Q F r(M )) son conjuntos disjuntos. Ademas, para
cada M SQ, la frontera F r(M ) de M tiene contenido cero, por lo que el
conjunto ( M Q F r(M )) tiene contenido cero. Entonces
v(
M ) = v(
M Q
M) =
M Q
v(M 0 ) =
M Q
v(M )
M Q
N
Observaci
on 4. Sea Q una familia de conjuntos mediblesSen Rn que no se
solapan, y sea U un abierto en Rn tal que el conjunto M = ( N Q N ) verifique
M U . Sea g una funcion de clase C 1 de U en Rn , tal que la restriccion a M 0
sea un difeomorfismo de clase C 1 . Entonces
X
v(g(M )) =
v(g(N ))
N Q
g(U )
g
g(N )
N
g(M )
M
En efecto, por un lado
!
v(g(M )) = v g(
N)
!
= v g(
N Q
N 0 ) g(
N Q
F r(N ))
N Q
!
=v
[

g(N 0 )
g(F r(N ))
N Q
N Q
v(
N Q
v(g(N ))
N Q
g(N 0 )) + 0
AVAVAR
S
puesto que, por el teorema
1,
N Q g(F r(N )) tiene contenido cero.
S
Por otro lado, como N Q g(N 0 ) es un subconjunto de g(M ), es claro que
v(
g(N 0 )) v(g(M ))
N Q
Por tanto,
v(g(M )) =
v(g(N 0 )) =
N Q

v(g(N 0 )) + v(g(F r(N )))
N Q
v(g(N ))
N Q
como queramos demostrar.

N
Por ultimo nos interesa destacar una propiedad de descomposicion de los
isomorfismos lineales de Rn , (aplicaciones lineales biyectivas de Rn en o Rn ):
Observaci
on 5. Todo isomorfismo lineal L : Rn Rn se puede descomponer como composicion de aplicaciones lineales elementales de los tres tipos
siguientes:
Si x = (x1 , , xn ) y Lx = ((Lx)1 , , (Lx)n )
Tipo A: Existe R y existe i, 1 i n tal que (Lx)i = xi , y
(Lx)j = xj para todo j 6= i.
Tipo B: Existen i, k, 1 i, k n, tales que (Lx)i = xk , (Lx)k = xi , y
(Lx)j = xj , para todo j 6= i, k.
Tipo C: Existen i, k, 1 i, k n tales que (Lx)k = xi + xk y (Lx)j = xj
para todo j 6= k.
Este resultado, que no vamos a demostrar, es el fundamento del metodo de
Gauss para la inversion de matrices.
Con estas observaciones, podemos demostrar el siguiente teorema:
Teorema 2. Toda aplicacion lineal L : Rn Rn transforma conjuntos mediblesJordan en conjuntos medibles-Jordan. Ademas, para cada conjunto medibleJordan M en Rn se tiene
v(L(M )) = | det L| v(M )
AVAVAR
Demostracion:
Toda aplicacion lineal en Rn es una funcion de clase C 1 en todo el espacio Rn .
Distinguiremos dos casos: cuando L es un isomorfismo y cuando no lo es.
Caso primero: Supongamos que L no es un isomorfismo. Entonces la imagen
L(Rn ) es un subespacio vectorial propio de Rn , y por tanto, por la proposicion 2,
L(Rn ) tiene medida cero. Ademas todo subespacio vectorial es un cerrado, y por
otro lado, si M es medible-Jordan en particular es acotado y L(M ) es tambien
acotado.
As que tenemos L(M ) L(M ) L(Rn ), donde L(M ) es un subconjunto compacto de un conjunto de medida nula. En consecuencia L(M ) tiene
contenido nulo, y tambien L(M ) tiene contenido nulo.
En particular L(M ) es medible, y v(L(M )) = 0. Como por otro lado el
determinante det L es cero, por no ser L un isomorfismo, tambien se verifica que
| det L| v(M ) = 0, y se tiene el resultado.
Caso segundo: Supongamos ahora que L es un isomorfismo en Rn .
En primer lugar, todo isomorfismo lineal es un difeomorfismo de clase C 1
en todo Rn , por lo que, aplicando la proposicion 1, L transforma conjuntos
medibles-Jordan en conjuntos medibles-Jordan.
En segundo lugar, demostraremos que basta probar el teorema en el caso en
que L es una aplicacion lineal elemental como las definidas en la observacion
anterior. En efecto, si L es un isomorfismo, existe una descomposicion de L de
la forma L = L1 L2 Lk , donde Li son aplicaciones elementales, 1 i k.
Si suponemos que el resultado es cierto para estas aplicaciones elementales, y M
es un conjunto medible en Rn , se tiene
v(L(M )) = v(L1 (L2 Lk (M ))) =
= | det L1 |v(L2 Lk (M )) = = | det L1 | . . . | det Lk | v(M ) =
= | det L|v(M )
y por tanto el resultado sera cierto tambien para L.
Y en tercer lugar vamos a ver que dada una aplicacion elemental L, basta
demostrar el resultado cuando el conjunto medible M es un rectangulo.
En efecto, supongamos que el resultado es cierto para rectangulos, y sea M
un conjunto medible-Jordan cualquiera. Sea A un abierto en Rn tal que M A.
Dado > 0, sea P una particion de A tal que
S(M , P ) S(M , P ) <
S
S
Si llamamos E1 = {R P, R M 6= } y E2 = {R0 , R P, R M },
se tiene:
9
AVAVAR
a) E1 y E2 son medibles-Jordan, por ser union finita de conjuntos medibles.
Ademas E2 M E1 , y por tanto v(E2 ) v(M ) v(E1 ).
b)
X
X
S(M , P ) =
MR (M )v(R) =
v(R) = v(E1 )
RP
RP,RM 6=
puesto que si R M = la funcion caracterstica de M vale cero en cada punto

de R, y MR (M ) = 0, y por otro lado, si R M 6= entonces hay al menos un
punto de R en el que M vale uno, y MR (M ) = 1.
Y analogamente
X
X
mR (M )v(R) =
v(R) =
S(M , P ) =
RP
RP,RM
0
v(R ) = v(E2 )
RP,RM
S
S
c) L(E1 )) = L( {R P, R M 6= }) = {L(R), R P, R M 6= }
y por tanto, si el resultado es cierto para rectangulos,
X
v(L(E1 )) =
v(L(R)) = | det L|v(E1 )
RP, RM 6=
S
Y analogamente, L(E2 ) = {L(R0 ), R P, R M }, y
X
v(L(E2 )) =
v(L(R0 )) = | det L|v(E2 )
RP, RM
d) Por otro lado, de la desigualdad E2 M E1 se deduce que tambien

L(E2 ) L(M ) L(E1 ), y por tanto
v(L(E2 )) v(L(M )) v(L(E1 ))
Sustituyendo v(L(E2 )) y v(L(E1 )) por los valores obtenidos en (c), se tiene
| det L|v(E2 ) v(L(M )) | det L|v(E1 )
Por ultimo, si en la desigualdad obtenida en (a) multiplicamos por | det L|,

se tiene
| det L|v(E2 ) | det L|v(M ) | det L|v(E1 )
II
Restando I y II, se obtiene

| det L|(v(E2 ) v(E1 )) v(L(M )) | det L|v(M )
| det L|(v(E1 ) v(E2 ))
10
AVAVAR
de donde
|v(L(M )) | det L|v(M )| | det L|(v(E1 ) v(E2 )) =
= | det L|(S(M , P ) S(M , P )) | det L|
Como esto es cierto para todo > 0, tiene que ser
v(L(M )) = | det L|v(M )
Luego, efectivamente, si el resultado se demuestra para rectangulos, entonces es
cierto para cualquier conjunto medible-Jordan.
Sea entonces R un rectangulo, R = [a1 , b1 ] . . . , [an , bn ], y L una aplicacion lineal elemental.
Primer caso: Si L es de tipo A, es decir, existe i, 1 i n tal que
(Lx)i = xi para algun numero real , y (Lx)j = xj para todo j 6= i, la matriz
de la aplicacion lineal es de la forma
i
1
..
...
1
donde son cero todos los terminos fuera de la diagonal, y unos todos los terminos
de la diagonal excepto el de lugar ii que vale . En particular, | det L| = ||.
Por otro lado, la imagen del rectangulo R es un rectangulo
L(R) = {L(x1 , . . . , xi , . . . , xn ), (x1 , . . . , xi , . . . , xn ) R} =
= {(x1 , . . . , xi , . . . , xn ), (x1 , . . . , xi , . . . , xn ) R} =
= [a1 , b1 ] [ai , bi ] [an , bn ]
que tiene volumen v(L(R)) = ||v(R) = | det L|v(R), y se tiene el resultado.
Segundo caso: Si L es de tipo B, es decir, existen i, k, 1 i, k n tales
que (Lx)i = xk , (Lx)k = xi y para todo j 6= i, k (Lx)j = xj , la matriz de L es
de la forma
11
AVAVAR
i
k
1
...
0
0
1
...
0
..
.
1
donde son unos todos los elementos de la diagonal excepto los de los lugares ii
y kk, que pasan a las posiciones ik y ki, y son cero todos lor terminos que no
estan indicados explcitamente.
Es claro entonces que | det L| = 1. Por otro lado, la imagen del rectangulo
R es un rectangulo
L(R) = {L(x1 , . . . , xi , . . . , xk , . . . , xn ), (x1 , . . . , xi , . . . , xk , . . . , xn ) R} =
= {(x1 , .., xi1 , xk , xi+1 , .., xk1 , xi , xk+1 , .., xn ), (x1 , .., xi , .., xk , .., xn ) R} =
= [a1 , b1 ] [ai1 , bi1 ] [ak , bk ] [ai+1 , bi+1 ] . . .
[ak1 , bk1 ] [ai , bi ] [ak+1 , bk+1 ] [an , bn ]
que tiene el mismo volumen que R. Por tanto tambien en este caso
v(L(R)) = v(R) = | det L|v(R)
Tercer caso: Si L es de tipo C, es decir, existen i, k, 1 i, k n tales que
(Lx)k = xi + xk , y para todo j 6= k (Lx)j = xj , la matriz de L es de la forma
i
i
k
1
..
1
..
1
.
1
...
1
12
AVAVAR
donde son unos todos los terminos de la diagonal y el de posicion ki, y son cero
todos los terminos que no aparecen indicados explcitamente. En particular el
determinante de L verifica | det L| = 1.
Por otro lado, la imagen de R esta contenida en el rectangulo
L(R) = {L(x1 , . . . , xk , . . . , xn ), (x1 , . . . , xk , . . . , xn ) R} =
= {(x1 , ..., xk1 , xi + xk , xk+1 , ..., xn ), (x1 , ..., xk1 , xk , xk+1 , ..., xn ) R}
[a1 , b1 ] ... [ak1 , bk1 ] [ai + ak , bi + bk ] [ak+1 , bk+1 ] ... [an , bn ]
= R0
Llamemos R00 al rectangulo
R00 = [a1 , b1 ] [ak1 , bk1 ] [ak+1 , bk+1 ] [an , bn ]
Aplicando el Teorema de Fubini para calcular v(L(R)), se tiene
Z
L(R) =
(*)
v(L(R)) =
R0

Z
Z
L(R) (y1 , .., yk , .., yn )dyk d(y1 , .., yk1 , yk+1 , .., yn )
=
R00
[ai +ak ,bi +bk ]
Ahora bien, fijo (y1 , . . . , yk1 , yk+1 , . . . , yn ) en R00 , la funcion R) vale uno
en (y1 , . . . , yk1 , yk , yk+1 , . . . , yn ) si y solo si este punto esta en L(R), es decir,
si y solo si existe un punto (x1 , . . . , xi , . . . , xk , . . . , xn ) R tal que
y1 = x1 ; . . . ; yi = xi ; . . .
yk = xi + x k = yi + x k
. . . ; yn = xn
lo que equivale a que yk [yi + ak , yi + bk ]. Sustituyendo estos lmites en la
integral (*), se tiene

Z Z yi +bk
v(L(R)) =
1dyk d(y1 , . . . , yk1 , yk+1 , . . . , yn ) =
R00
yi +ak
Z
=
(bk ak )d(y1 , . . . , yk1 , yk+1 , . . . , yn ) =
R00
= (bk ak )v(R00 ) = v(R)

lo que prueba que tambien en este ultimo caso v(L(R)) = | det L|v(R), y termina
la demostracion del teorema.
13
AVAVAR
N
Este teorema que acabamos de demostrar es el primer teorema de cambio de
variable. Si pensamos en la aplicacion lineal L como una funcion de cambio de
variable, L es una funcion de clase C 1 en todo Rn , tal que para cada x Rn la
diferencial de L en x es la propia funcion L (dL(x) = L). El teorema asegura
que L transforma conjuntos medibles-Jordan en conjuntos medibles-Jordan, y,
expresando los volumenes mediante la integral de la funcion caracterstica, que
Z
Z
1 = v(L(M )) = | det L|v(M ) = | det L|
1=
L(M )
M
Z
Z
=
1 | det L| =
1 L |JL|
M
donde JL es el Jacobiano de L, que es la formula de cambio de variable para la

funcion integrable f 1 y la funcion de cambio g = L.
El siguiente paso en la demostracion del teorema de cambio de variable general es el caso en que f es la funcion constantemente uno, y g es una funcion
de clase C 1 . Para este resultado utilizaremos un lema de tipo tecnico sobre el
comportamiento de una funcion en relacion con su diferencial, que suele utilizarse
tambien en las demostraciones de los teoremas de la funcion inversa y de la
funcion implcita del calculo diferencial.
Lema 1. Sean U un abierto de Rn , y g : U Rn una funcion de clase C 1 en
U . Sea a U tal que dg(a) = I, la identidad en Rn , y sea r > 0 tal que la
bola cerrada de centro a y radio r, B(a, r), este contenida en U . Supongamos
que existe , 0 < < 1, tal que kdg(x) dg(z)k para todos x, z B(a, r).
Entonces
B(g(a), (1 )r) g(B(a, r)) B(g(a), (1 + )r)
(1 + )r
g
a
(1 )r
g(a)
g(B(a, r))
B(a, r)
Demostracion:
Empecemos con el primer contenido, y veamos en primer lugar que basta demostrarlo
en el caso a = g(a) = 0.
14
AVAVAR
En efecto, si definimos h(x) = g(x + a) b, donde b = g(a), definida en
el abierto V = U a, h es una funcion de clase C 1 en V , con h(0) = 0 y
dh(0) = dg(a) = I. Supongamos que h cumple el teorema; entonces, como
g(y) = h(y a) + b para cada y U , si
z B(g(a), (1 )r) = B(b, (1 )r) = b + B(0, (1 )r)
se tiene que z = b + w con w B(0, (1 )r). Por hipotesis, B(0, (1 )r)
h(B(0, r)), y por tanto, existe x B(0, r) tal que w = h(x); y tomando
y = x + a se tiene y B(a, r) y ademas
z = b + h(y a) = g(y)
Es decir, B(g(a), (1 )r) g(B(a, r))
As pues, supongamos que g es una funcion de clase C 1 en un abierto U de
Rn que contiene a 0, con g(0) = 0 y dg(0) = I, y sean r > 0, 0 < < 1 tales
que B(0, r) U , y kdg(x) dg(z)k para todos x, z B(0, r). Hay que
probar que para todo y B(0, (1 )r) existe x B(0, r) tal que y = g(x).
Dado y B(0, (1 )r), definimos la funcion
gy (x) = x g(x) + y
en B(0, r). La funcion gy transforma B(0, r) en s misma, pues para todo
x B(0, r)
kgy (x)k = kx g(x) + yk kx g(x)k + kyk =
= kg(x) g(0) + dg(0)(x)k + kyk
kxk sup kdg(z) dg(0)k + kyk
zB(0,r)
r + (1 ) r = r
aplicando el teorema del valor medio a la funcion h(x) = g(x) dg(0)(x).
El conjunto B(0, r) es un espacio metrico completo, al ser un subconjunto
cerrado de Rn , que es completo. Y ademas gy es contractiva:
kgy (x) gy (z)k = kx z + g(x) g(z)k =
= kdg(0)(x z) g(x) g(z)k
kx zk sup kdg(0) dg(u)k
uB(0,r)
kx zk
aplicando el teorema el valor medio a la funcion h(x) = dg(0)(x) g(x). Como
0 < < 1 por hipotesis, efectivamente la funcion gy es contractiva, y podemos
15
AVAVAR
aplicar el teorema del punto fijo para asegurar que existe un unico punto x
B(0, r) tal que
x = gy (x) = x g(x) + y
Para este punto se tiene entonces g(x) = y, como queramos demostrar.
Para el segundo contenido, dado y g(B(a, r)), existe x B(a, r) tal que
y = g(x), y entonces
kg(x) g(a)k sup kdg(z)k kx ak
zB(a,r)
aplicando el teorema del valor medio a la funcion g; por hipotesis, para cada
z B(a, r)
kdg(z)k kdg(z) dg(a)k + kdg(a)k 1 +
y por tanto y B(g(a), (1 + )r), lo que termina la demostracion del teorema.
N
Proposici
on 3. Sea R un rectangulo en Rn , y U un abierto tal que R U .
Sea g una funcion de U en Rn , que sea un difeomorfismo de clase C 1 en U .
Entonces
Z
v(g(R)) =
|Jg|
R
Demostracion:
Si g es una aplicacion lineal, el resultado es consecuencia inmediata del teorema
2, como ya observamos despues de su demostracion.
El caso general se demuestra aproximando g por su diferencial. Supondremos
primero que R es un cubo en Rn , es decir, que tiene todos sus lados de la misma
longitud. Entonces para cada N IN , se puede dividir R en una particion de
N n cubos de lado N 1 , y considerando en Rn la norma infinito, cada cubo se
puede poner a la vez como
Puna bola para la norma. Si llamamos S a estos cubos,
se tiene que v(g(R)) = S v(g(S)), as que basta demostrar el resultado para
cada cubo S, y se puede suponer que el radio de S es todo lo pequeno que sea
necesario.
Como g es un difeomorfismo de clase C 1 , la funcion x kdg(x)1 k es
continua en U , y alcanzara en R su supremo por ser R compacto. Existira
entonces una constante C > 0 tal que kdg(x)1 k C para todo x R.
16
AVAVAR
Por otro lado, dado , 0 < < 1, como la funcion x kdg(x)k es
uniformemente continua en R, podemos tomar N suficientemente grande para
que se verifique kg(x) g(z)k /C para todo x, z S.
Sea a el centro de S; se tiene
kdg(a)1 dg(x) dg(a)1 dg(z)k kdg(a)1 k

C
Por el lema anterior, dg(a)1 g(S) contiene una bola de radio (1 ) por
el radio de S, y esta contenido en una bola de radio (1 + ) por el radio de S;
como estas bolas son a su vez cubos, las llamaremos Q y Q0 respectivamente,
de modo que
Q dg(a)1 g(S) Q0
y aplicando a cada conjunto la funcion dg(a)
dg(a)(Q) g(S) dg(a)(Q0 )
Como dg(a) es una aplicacion lineal y dg(a)(Q) es un conjunto medibleJordan, aplicando el lema 1, si s es el radio de S, el volumen de dg(a)(Q)
verificara
v(dg(a)(Q)) = |Jg(a)|v(Q) = |Jg(a) (1 )n sn =
= |Jg(a)| v(S) C1 v(S)
para una cierta constante C1
n
((1 ) = 1 +
n
X
(nk )(1)nk nk =
k=1
n
X
= 1 ( (nk )(1)nk1 nk1 ) = 1 C1
k=1
Analogamente dg(a)(Q0 ) es un conjunto medible de volumen

v(dg(a)(Q0 )) = |Jg(a)|v(Q0 ) = |Jg(a)| v(S) + C2 v(S)
para una cierta constante C2 .
En consecuencia
|Jg(a)|v(S) C1 v(g(S)) |Jg(a)|v(S) + C2 v(S)
Tomando nfimos y supremos cuando a recorre S,
mS (|Jg|) v(S) C1 v(S) v(g(S)) MS (|Jg|) v(S) + C2 v(S)
17
AVAVAR
Y sumando en S,
S(|Jg|, P ) C1 v(R) v(g(R)) S(|Jg|, P ) + C2 v(R)
Como esto vale para todo , 0 < < 1, y la funcion |Jg| es integrable al ser
una funcion continua, se tiene que cumplir
Z
Z
|Jg| v(g(R))
|Jg|
R
lo que prueba el resultado.

N
En la demostracion de la proposicion habamos supuesto que R era un cubo.
En el caso general en que R es un rectangulo, definimos = d(R, U c ) = inf{kx
yk, x R, y U c }, la distancia de R al complementario de U , que es un
numero estrictamente positivo al ser R un compacto contenido en el abierto U
(la demostracion se deja como ejercicio), y consideramos el conjunto K = R +
B(0, /2), que es un compacto contenido en U y que contiene a R. Dado > 0
podemos escoger un rectangulo R1 tal que R R1 K, v(R1 ) v(R)+,
S y de
forma que R1 se puede descomponer como union finita de cubos, R1 = ki=1 Qi
(como en la observacion 1).
U
U
R1
R
R2
Entonces
1
v(g(R)) v(g(R )) =
k
X
v(g(Qi )) =
i=1
n Z
X
i=1
Z
|Jg| =
Qi
|Jg| =
R1
Z
|Jg| +
=
R
|Jg|
R1 \R
1
|Jg| + C v(R \ R)
R
|Jg| + C
R
siendo C una cota de |Jg| en K, que existe por ser, por hipotesis, |Jg| una
funcion continua en U , y K U compacto.
18
AVAVAR
Y analogamente, podemos escoger un rectangulo R2 contenido en R, tal que
v(R) v(R2 ) +S, y de modo que R2 se pueda descomponer como union finita
de cubos R2 = m
alogo al definido en la observacion
j=1 Qj (con un proceso an
1). De este modo
Z
Z
Z
|Jg|
|Jg| +
|Jg| v(g(R2 )) + C v(R \ R2 )
R2
R\R2
v(g(R)) v(R) + C
Se deduce entonces que para todo > 0
Z
C v(R)
|Jg| C
R
y por tanto que v(R) =
R
R
|Jg|
N
Como consecuencia se obtiene con relativa facilidad el siguiente resultado,

que es la tercera version del teorema de cambio de variable:
Proposici
on 4. Sea R un rectangulo en Rn , y U un abierto tal que R U .
Sea g : U Rn un difeomorfismo de clase C 1 de U en g(U ). Y sea f una
funcion integrable en g(R). Entonces (f g) es integrable en R y
Z
Z
f = (f g)|Jg|
g(R)
Demostracion:
En primer lugar, veamos que la funcion (f g) es integrable: si notamos por D(h)
el conjunto de puntos de discontinuidad de una funcion h, en general, tenemos
D(f g) =
=
=
=
{x U, f g no es continua en x} =
{x U, f no es continua en g(x)} =
g 1 ({y g(U ), f no es continua en y}) =
g 1 (D(f ))
Como g 1 : g(U ) U es una funcion de clase C 1 , por la hipotesis sobre g,

transforma conjuntos de medida cero en conjuntos de medida cero, y en particular
el conjunto D(f ), que tiene medida cero por ser f integrable, en el conjunto de
puntos de discontinuidad de la composicion f g que tendra medida cero.
En consecuencia, tambien es integrable la funcion (f g)|Jg| por ser producto
de funciones integrables.
19
AVAVAR
En segundo lugar, dada una particion cualquiera P de R, para cada rectangulo
S definido por P y cada y g(S) se tiene
mS (f g) = mg(S) (f ) f (y) Mg(S) (f ) = MS (f g)
(con la interpretacion habitual de mA (f ) = inf{f (t), t A}, y MA (f ) =
sup{f (t), t A})
Z
mS (f g) |Jg| =
mg(S) (f ) |Jg| =
S
Z
Z
= mg(S) (f ) |Jg| = mg(S) (f )v(g(S)) =
mg(S) (f )
S
g(S)
Z
f
g(S)
Z
Z
Mg(S) (f ) = Mg(S) (f )v(g(S)) = Mg(S) (f ) |Jg| =
S
g(S)
Z
Z
MS (f g) |Jg|
Mg(S) (f ) |Jg| =
=
Y tambien se tiene, trivialmente

Z
Z
Z
mS (f g) |Jg| (f g)|Jg|
MS (f g) |Jg|
S
Restando las dos desigualdades, y sumando en S,

Z

g(R)
Z
f
R

Z
X

(f g)|Jg|
(MS (f g) mS (f g)) |Jg|
S
(MS (f g) mS (f g)) v(S) =

= C S((f g), P ) S((f g), P )
siendo C una cota de |Jg| en R. Como hemos probado ya que (f g) es
integrable, esta diferencia puede hacerse tan pequena como se quiera, lo que
implica que
Z
Z
f = (f g)|Jg|
g(R)
como queramos demostrar.

N
Por ultimo, vamos a demostrar la version definitiva del teorema de cambio
de variable para la integral de Riemann de funciones de varias variables:
20
AVAVAR
Teorema 3 (Cambio de Variable en Rn).

Sea U un abierto de Rn, y sea g : U Rn una
funcion de clase C 1 en U . Sea M un conjunto medibleJordan tal que M U , y supongamos que la restriccion
de g al interior de M , g|M 0 es un difeomorfismo de clase
C 1. Sea f una funcion integrable en g(M ). Entonces
(f g) es integrable en M , y
Z
Z
f=
(f g)|Jg|
g(M )
Demostracion:
Podemos suponer para la demostracion que M es cerrado: en efecto, como
M es acotado, entonces M es compacto y por tanto g(M ) = g(M ); se tiene
entonces
Z
Z
Z
f=
f=
(1)
f=
g(M )
g(M )
g(M )
y si el resultado es cierto para conjuntos medibles cerrados

Z
Z
(1)
=
(f g)|Jg| =
(f g)|Jg|
M
Sea entonces M un conjunto medible-Jordan, cerrado (y por tanto compacto), tal que M U . Veamos en primer lugar que la funcion (f g) es
integrable en M , estudiando el conjunto de puntos de discontinuidad.
Sea = d(M, U c ), la distancia de M al complementario de U , que es un
numero estrictamente positivo al ser M compacto, U c cerrado y M U ; consideramos el conjunto K = M + B(0, /2), que es un compacto que contiene a
M en su interior, y que esta contenido en U .
Como por hipotesis F r(M ) tiene contenido cero, dado 0 < S
< (/2)n ,
existe una familia finita de cubos S1 , . . . , Sk tales que F r(M ) ki=1 Si0 , y
Pk
as que para todo i, Si F r(M ) 6= (si
i=1 v(Si ) ; podemos suponer adem
no eliminaramos ese rectangulo), con lo que necesariamente Si M 6= . En
particular el volumen de cada Si es menor que , y por tanto, si li es la longitud
1
del lado de Si , li n /2, y por tanto cada Si esta contenido en K.
21
AVAVAR
Consideramos A un cubo en Rn que contenga a K, y definimos una particion
P de A prolongando los lados de los cubos Si , 1 i k.
A
Si
Si
Sea Q1 la familia de los rectangulos definidos por P que no cortan al interior

de ningun Si , pero estan contenidos en el interior de M , y sea Q2 la familia de
los rectangulos definidos por P que estan contenidos en algun Si , 1 i k.
A
Si
Q1
Q2
Observese que si R es un rectangulo de los definidos por P que corta a M ,

22
AVAVAR
necesariamente esta en algunas de las dos familias:
En efecto, si R P, y R 6 Q2 , entonces RSi0 = para todo ,i, 1 i k,
y por tanto R F r(M ) = . Se tiene entonces que
R M = R (M 0 F r(M )) =
= (R M 0 ) (R F r(M )) = (R M 0 )
de modo que si R M es no vaco, sera a la vez abierto y cerrado en R como
subespacio metrico de Rn , y como R es conexo, tiene que ser el vaco o el total
R; en el primer caso R no corta a M , y en el segundo R estara contenido en
M 0 , y por tanto estara en Q1 .
Llamemos
[
[
M1 = {R Q1 } = {R, R P, R M 0 }
M2 = M \ M1
{R Q2 } =
k
[
Si
i=1
y sean D(f g) el conjunto de puntos de discontinuidad de f g, y D(f ) el

conjunto de puntos de discontinuidad de f . Se tiene
D(f g) = (D(f g) M1 ) (D(f g) M2 )
D(f g) M1 =
=
=
=
{x M1 , f g no es continua en x} =
{x M1 , f no es continua en g(x)} =
(g|M1 )1 ({y g(M1 ), f no es continua en y}) =
(g|M1 )1 (D(f ) g(M1 ))
D(f ) tiene medida cero, ya que por hipotesis f es integrable en g(M ), y

(g|M1 )1 es una funcion de clase C 1 en g(M 0 ), que es un abierto que contiene a g(M1 ), por la hipotesis de que g es un difeomorfismo de clase C 1 en
M 0 . Entonces (g|M1 )1 (D(f ) g(M1 )) tiene medida cero, y existira una familia
numerable de rectangulos {Ri } tal que
(g|M1 )1 (D(f ) g(M1 ))
Ri
i=1
v(Ri )
i=1
23
AVAVAR
Por otro lado,
D(f g) M2 = {x M \ M1 , f no es continua en g(x)}
S
es un subconjunto de M2 , que esta contenido en ki=1 Si , union finita de cubos,
cuya suma de volumenes es menor que .
En consecuencia, D(f g) esta contenido en una union numerable de rectangulos, con suma de volumenes menor o igual que 2.
Como esto se puede hacer para cualquier > 0, se tiene que D(f g) tiene
medida cero, y que f g es integrable.
Como |Jg| es una funcion continua en U , en particular es continua y acotada
en el compacto M , y por tanto es integrable en M ; luego la funcion (f g) |Jg|
es tambien integrable en M . Para demostrar el teorema queda por probar la
igualdad de las integrales.
Sea > 0, y consideremos A, P , Q1 y Q2 , M1 y M2 como antes.
Como M1 , M2 , g(M1 ) y g(M
S 2 ) son medibles-Jordan, M = M1 M2 , g(M ) =
g(M1 ) g(M2 ), y g(M1 ) = RQ1 g(R), se tiene
Z
f=
f+
f =
g(M )\g(M1 )
g(M1 )
g(M )
X Z
RQ1
X Z
RQ1
f=
f+
g(M )\g(M1 )
g(R)
Z
(f g)|Jg| +
Z
(f g)|Jg| +
=
M1
de donde
Z
f
f
g(M )\g(M1 )
g(M )
f=
g(M )\g(M1 )
Z
(f g)|Jg| =
M1
f
g(M )\g(M1 )
y

Z

f
f
(f g)|Jg| =
g(M )\g(M1 )
g(M )
M1
Z
Z
|f |
|f |
(*)
g(M )\g(M1 )
g(M2 )
[
C1 v(g(M2 )) = C1 v(g( {Si M, 1 i k})) =
= C1
k
X
v(g(Si M )) C1
i=1
k
X
i=1
24
v(g(Si ))
AVAVAR
teniendo en cuenta que g(M ) \ g(M1 ) g(M2 ) y |f | es una funcion positiva,
y utilizando despues la observacion 4; la constante C1 es una cota de |f | en el
compacto K que contiene a M .
Aplicando el teorema del valor medio a la funcion g en cada rectangulo Si ,
si a es el centro de R, y C2 es una cota de kdgk en K, se tiene que para cada
x Si existe z Si tal que
kg(x) g(a)k kdg(z)k kx ak C2 kx ak
es decir, g(Si ) esta contenido en un cubo de centro g(a) y lado C2 veces el lado
de Si ; de este modo, v(g(Si )) C2n v(Si ), para cada i, 1 i k. Por tanto
Z
|f | C
k
X
g(M2 )
v(Si ) C
(**)
i=1
para una cierta constante C = C1 C2n .

Por otro lado,

Z
Z
Z

=
=
(f g)|Jg|
(f
g)|Jg|
(f
g)|Jg|

M \M1
M
M1
Z
Z

=
(f g)|Jg|
|f g| |Jg|
M2
M2
C1 C3 v(M2 ) C 0
(***)
donde C3 es una cota de |Jg| en K, y C 0 = C1 C3 .

Como consecuencia de las desigualdades (*), (**), y (***),
Z
Z
C
f
(f g)|Jg| C
g(M )
M1
y
0
C
Z
(f g)|Jg|
M1
(f g)|Jg| C 0
y sumando las dos desigualdades

0
(C + C )
Z
f
g(M )
(f g)|Jg| (C + C 0 )
Como esto es cierto para cualquier > 0, se tiene la igualdad de las integrales
y el fin de la demostracion del teorema.
N
25
Algunos Cambios de Variable en el plano y en el

espacio
Beatriz Porras
Vamos a estudiar en este segundo captulo sobre los cambios de variable
para funciones de varias variables, algunos de los mas habituales: los cambios
de coordenadas a coordenadas polares en el plano, y a coordenadas cilndricas o
esfericas en el espacio.
Recordamos el enunciado del Teorema de Cambio de Variable:
Teorema 1 (Cambio de Variable en Rn).

Sea U un abierto de Rn, y sea : U Rn una
funcion de clase C 1 en U . Sea M un conjunto medibleJordan tal que M U , y supongamos que la restriccion
de al interior de M , M 0 es un difeomorfismo de clase
C 1. Sea f una funcion integrable en (M ). Entonces
(f ) es integrable en M , y
Z
Z
f=
(f )|J|
(M )
Coordenadas Polares en el plano
Como sabemos, los puntos del plano pueden identificarse mediante un sistema de
referencia basado en la distancia del punto P = (x, y) al origen de coordenadas,
r , y el angulo que forma el vector 0P con el sentido positivo del eje horizontal.
Estos dos valores, r y se denominan coordenadas polares de P .
Este sistema de referencia es el que utiliza un radar de superficie:
1
AVAVAR
El estudio trigonometrico del triangulo de la figura nos da las ecuaciones

x = r cos
y = r sen
Para utilizar este sistema de referencia en la descripcion del conjuntos del
plano como un cambio de variable, consideramos la funcion
: R2 R2
definida por
(r, ) = (r cos , r sen )
que verifica las siguientes propiedades:
1. es de clase C 1 en el abierto U = R2 , pues

cos r sen
d(r, ) =
sen r cos
2. Para cada punto (x, y) en R2 existen r > 0 y [0, 2) tales que
(x, y) = (r, )
3. En el conjunto V = (0, ) (0, 2) es inyectiva:
En efecto, si fuese (r, ) = (s, ), tendramos
r cos = s cos
r sen = s sen
elevando al cuadrado las dos ecuaciones, y sumandolas, se obtiene r2 = s2 ,
y como r y s son estrictamente positivos en V , tiene que ser 0 6= r = s.
2
AVAVAR
Dividiendo entonces las dos ecuaciones por r = s, se obtiene que y
tienen a la vez el mismo seno y el mismo coseno; como ambos angulos
estan en un mismo intervalo de longitud 2, necesariamente tienen que ser
iguales: = .
As que es inyectiva en V .
4. Y ademas en V Jacobiano (el determinante de la diferencial) de no se
anula nunca

cos r sen
J(r, ) =
sen r cos

=r>0

El teorema de la Funcion inversa nos sirve para asegurar que en V es un

difeomorfismo de clase C 1 .
Supongamos ahora que tenemos que calcular la integral de una funcion f en
un conjunto K del plano. Existira un conjunto M [0, ) [0, 2) tal que
K = (M ), El interior de M esta contenido en V , y por tanto la restriccion
de a M 0 es inyectiva y regular (el Jacobiano no se anula nunca). As que la
restriccion de a M 0 es un difeomorfismo de clase C 1 . Estamos en condiciones
de aplicar el Teorema de Cambio de Variable:
ZZ
ZZ
(f )(r, )|J(r, )|d(r, ) =
f (x, y)d(x, y) =
K
Z ZM
f (r cos , r sen ) r d(r, )
=
M
x2 + y 2 = 4
Dado el conjunto
2
2
K = {(x,
Z y)Z : 1 x + y 4},
x2 + y 2 = 1
Ejemplo 1.
x2 y 2 d(x, y)
calcular
K
Un punto (x, y) K si y solo si 1 x2 +y 2 4, que en coordenadas polares

(sustituyendo x = r cos , y = r sen ) queda
1 r2 cos2 + r2 sen2 = r2 4
3
AVAVAR
luego, como r 0
1r2
Como sobre el angulo no se obtiene ninguna condicion, puede ser
[0, 2).
El conjunto K en coordenadas polares es
M = {(r, ) : 1 r 2, 0 < 2}
y la integral queda
ZZ
ZZ
2 2
x y d(x, y) =
r2 cos2 r2 sen2 r d(r, ) =
K
Z 2MZ 2
=
r5 cos2 sen2 d dr =
Z1 2 0 Z 2
1
=
r5
sen2 (2)d dr =
4
1
0
Z
Z
1 2 5 2 1 cos(4)
=
r
d dr =
4 1
2
0

=2
Z
1 2 5 1
1
r
dr =
=
sen(4)
4 1
2
8
=0
r=2
Z
21
1 2 5 r6
r =
=
=

4
4 6
8
1
r=1
AVAVAR
Coordenadas Cilndricas en el Espacio

z
P = (x, y, z)
z
z
r
P = (x, y, 0)
P
P
Un punto cualquiera P = (x, y, z) del espacio se puede caracterizar unvocamente

mediante su altura sobre el plano z = 0, que es la coordenada z, y las coordenadas polares de su proyeccion sobre el plano z = 0, P 0 = (x, y, 0)
Con respecto a estos parametros r, , z se tiene
x = r cos
y = r sen
z =z
r [0, ), [0, 2), z R
Los numeros r, y z se denominan coordenadas cilndricas de P

El cambio de coordenadas viene dado por la funcion
: R3 R3
definida por
(r, , z) = (r cos , r sen , z)
y verifica:
1. es de clase C 1 en U = R3 , y
cos r sen 0
d(r, , z) = sen r cos 0
0
0
1
5
AVAVAR
2. Para cada (x, y, z) R3 existe (r, , z) [0, ) [0, 2) R tal que
(x, y, z) = (r, , z)
3. En el conjunto V = (0, ) (0, 2) R es inyectiva:
En efecto, si (r, , z) = (s, , w) entonces
r cos = s cos
r sen = s sen
z
= w
Elevando las dos primeras ecuaciones al cuadrado, y sumandolas, se obtiene
r2 = s2 , y como en V r y s son mayores que cero, tiene que ser 0 6= r = s.
Dividiendo entonces las dos primeras ecuaciones entre r = s, se obtiene
que y tienen a la vez el mismo seno y el mismo coseno, y como ambos
estan en el mismo intervalo (0, 2), tiene que ser = .
Y la tercera ecuacion nos da directamente que z = w.
4. Ademas es regular en V , es decir, el Jacobiano no se anula nunca:

cos r sen 0

sen r cos 0 = r cos2 + r sen2 = r > 0

0
0
1
As pues, si K es un conjunto medible en R3 , existe un conjunto M contenido
en [0, ) [0, 2) R tal que K = (M ), el interior de M estara contenido
en V , y por tanto es inyectiva y regular en M 0 . As, la restriccion de a M 0
es un difeomorfismo, y podemos aplicar el teorema de Cambio de Variable: Si f
es integrable en K,
ZZZ
ZZZ
f (x, y, z)d(x, y, z) =
(f )(r, , z)|J(r, , z)| d(r, , z) =
M
K
ZZZ
=
f (r cos , r sen , z) r d(r, , z)
M
2
2
2
Ejemplo 2.
Z ZSea
Z K = {(x, y, z) : x + y z 1, z 0}. Se pide calcular
la integral
ez (x2 + y 2 )d(x, y, z)
K
Utilizando coordenadas cilndricas, x = r cos , y = r sen , z = z, las ecuaciones que describen el conjunto M quedan
r2 cos2 + r2 sen2 = r2 z 2 1,
6
z0
AVAVAR
De aqu, como r es siempre positivo, tiene que ser 0 r z 1 y
0 z 1. Sobre el angulo no hay ninguna condicion.
Hay que resolver ese sistema de desigualdades: si fijamos primero r, necesariamente tiene que ser 0 r 1, y para un valor de r en esas condiciones
tiene que ser r z 1. Como sobre no hay ninguna condicion, puede tomar
cualquier valor del dominio del cambio de variable, 0 2
z=1
1
z
z=

x2 + y 2
La interpretacion geometrica de lo que estamos haciendo con estas cuentas

es mucho mas intuitiva que las operaciones: para que un punto P = (x, y, z)
este en M , su proyeccion P 0 = (x, y, 0) sobre el plano horizontal tiene que estar
en la circunferencia {(x, y, z) : x2 + y 2 1, z = 0}, que es la proyeccion del
conjunto M sobre el plano horizontal. Y una vez que ponemos las condiciones
para que esto se cumpla, 0 2 y 0 r 1, la
p altura sobre el plano
horizontal puede variar desde la ecuacion del cono, z = x2 + y 2 = r, hasta el
plano z = 1, luego r z 1
Aplicando el teorema de cambio de variable, queda
ZZZ
Z 2 Z 1 Z 1
z
2
2
e (x + y )d(x, y, z) =
ez r2 r dz dr d =
K
0
Z 10 r
z=1
= 2
r3 (ez )z=r
dr =
0
Z 1
= 2
r3 (e er )dr =
0
r=1
Z 1
r4
2
r3 er dr
= 2e
4 r=0
r
La ultima integral se resuelve calculando la primitiva por integracion por
partes. El resultado final es
ZZZ
7 e
ez (x2 + y 2 )d(x, y, z) =
2
K
N
AVAVAR
Coordenadas esf
ericas en el espacio
z
P = (x, y, z)
r
z
P
P = (x, y, 0)
P
Cualquier punto del espacio P = (x, y, z) se puede identificar por tres

numeros, uno que representa su distancia al origen de coordenadas, r, y dos
angulos, que representan uno el angulo que forma el vector 0P con el plano
horizontal, , y otro el angulo que forma la proyeccion en el plano horizontal P 0 = (x, y, 0) con el sentido positivo del eje x, . Estos tres numeros se
denominan coordenadas esfericas del espacio.
Haciendo un poco de trigonometra, sabiendo las coordenadas esfericas de un
punto P es facil obtener sus coordenadas cartesianas, a partir de los triangulos:
Es claro en el triangulo de arriba que
z = r sen y t = r cos
y sustituyendo en el triangulo a abajo
x = t cos = r cos cos
y y = t sen = r cos sen
As
x = r cos cos
y = r cos sen
z = r sen

r [0, ), [ , ], [0, 2)
2 2
Este sistema de referencia es el que utiliza sobre todo en la astronoma, y en

la geografa terrestre (longitud y latitud), con la salvedad de que en este ultimo
8
AVAVAR
caso todos los puntos estan a la misma distancia del origen, situado en el centro
de la tierra, con lo que r es constante.
Cabe indicar que este sistema de referencia no es universal: en algunos textos el

angulo no
se mide desde el plano horizontal, sino desde el eje vertical, el eje z, hacia abajo, con lo que
[0, ] y en las ecuaciones anteriores quedan cambiados el sen y el cos
El cambio de coordenadas viene dado por la funcion : R3 R3 definida

por
(r, ) = (r cos cos , r cos sen , r sen )
Esta funcion verifica:
1. es de clase C 1 en U = R3 , y
cos cos r sen cos r cos sen

d(r, ) = cos sen r sen sen r cos cos
sen
r cos
0
2. Para cada punto P = (x, y, z) existe (r, , ) [0, ) [ 2 , 2 ] [0, 2)
tal que (r, , ) = (x, y, z)
3. En el conjunto V = (0, ) ( 2 , 2 ) (0, 2) es inyectiva.
En efecto, si (r, , ) = (s, , ), entonces
r cos cos = s cos cos
r cos sen = s cos sen
r sen
= s sen
Elevando al cuadrado las tres ecuaciones, y sumandolas, se obtiene
r2 cos2 cos2 + r2 cos2 sen2 + r2 sen2 =
= s2 cos2 cos2 + s2 cos2 sen2 + s2 sen2
es decir
r2 cos2 (cos2 + sen2 ) + r2 sen2 =

= s2 cos2 (cos2 + sen2 ) + s2 sen2
9
AVAVAR
y simplificando queda r2 = s2 . Como r > 0 y s > 0 en V , tiene que ser
0 6= r = s
Dividiendo ahora las tres ecuaciones entre r = s, tenemos en la tercera
ecuacion que sen = sen , y como ambos angulos estan en el intervalo
( 2 , 2 ), tiene que ser iguales, = .
Entonces tambien cos = cos 6= 0, y simplificando en las dos primeras
ecuaciones, obtenemos que y , que estan entre 0 y 2, tienen a la vez
el mismo seno y el mismo coseno, luego tienen que ser iguales, =
4. Por ultimo, el Jacobiano de no se anula nunca en V :

cos cos r sen cos r cos sen

J(r, , ) = cos sen r sen sen r cos cos
sen
r cos
0
= r2 sen2 cos (cos2 + sen2 ) r2 cos2 cos (cos2 + sen2 ) =

= r2 cos 6= 0
Sea ahora K un conjunto medible Jordan en R3 . Existe un conjunto M
medible Jordan, M [0, ) [ 2 , 2 ] [0, 2) tal que K = (M ). Ademas
entonces el interior de M esta contenido en V , y por tanto la restriccion de
a M 0 es un difeomorfismo de clase C 1 . Para calcular la integral de una funcion
en K podemos aplicar el teorema de Cambio de Variable, y queda
ZZZ
ZZZ
f (x, y, z)d(x, y, z) =
(f )(r, , ) |J(r, , )| d(r, , ) =
M
ZZZ
=
f (r cos cos , r cos sen , r sen )r2 cos d(r, , theta)
K
Ejemplo 3. Sea K = {(x, y, z) : a2 x2 + y 2 + z 2 b2 , z 0}, donde
0 < a < b son constantes, y sea f (x, y, z) = p

. Calcular la
x2 + y 2 + z 2
integral de f en K
10
AVAVAR
z
La simetra del conjunto respecto al origen de coordenadas sugiere hacer el

cambio a coordenadas esfericas: poniendo
x = r cos cos
y = r cos sen
z = r sen

r [0, ), [ , ], [0, 2)
2 2
y sustituyendo en las ecuaciones que definen K, obtenemos a r b y r sen

0. Para que esta ultima condicion se cumpla, tiene que ser sen 0, luego
[ 2 , 0]. Sobre el angulo no se obtiene ninguna restriccion, as que [0, 2)
La integral queda entonces
ZZZ
K
x2
y2
z2
d(x, y, z) =
0
2
r cos drdd = (b2 a2 )
r
N
Otros cambios de variable
Vamos a ver algunos ejemplos mas de cambios de variables, a partir de algunos

ejemplos:
Ejemplo 4. Calcular
Z r
x2 x2
1 2 2 d(x, y)
a
b
A
donde A es el interior de la elipse
x2 y 2
+ 2 =1
a2
b
Ejemplo 5. Calcular
Z
(x2 + y 2 )d(x, y)
A
11
AVAVAR
si
A = {(x, y) : 1 x2 y 2 9; 2 xy 4; x 0; y 0}
12
Integral de Lebesgue.
Beatriz Porras
Las diversas formalizaciones de la integral de Riemann y el problema de caracterizar las funciones integrables sugeran la idea de medir el conjunto de puntos
de discontinuidad de una funcion. Los primeros intentos en esta direccion se
deben a Stolz, Harnack y Cantor, y tuvieron lugar en la ultima quincena del siglo
XIX; en concreto Cantor considera conjuntos acotados de Rn y define su medida
como el nfimo de los volumenes de los entornos V (E, p) de E formados por los
puntos que distan de E menos que p. Esta primera definicion tiene sin embargo
graves inconvenientes, como por ejemplo el hecho de no ser aditiva.
Peano y Jordan introducen a partir de la medida de Cantor los conceptos de
contenido interior y exterior de un conjunto, llaman medibles a los conjuntos
para los que ambos contenidos coinciden, y con esta definicion estudian las
propiedades de la integral de Riemann que hemos mencionado anteriormente.
Para estos conjuntos ahora la medida de Cantor es aditiva, pero se encuentran aun
otros problemas, como por ejemplo que un abierto acotado no es necesariamente
medible, o que el conjunto de los numeros racionales de un intervalo real acotado
no es tampoco medible.
Borel es el primero en comprender cuales son los verdaderos problemas que
presentan las definiciones anteriores, y el primero tambien en solucionarlos: basandose
en el resultado de Cantor de que un abierto de R puede descomponerse como la
union numerable de una familia de intervalos abiertos disjuntos dos a dos, define
la medida de un abierto mediante la suma de las longitudes de sus componentes. Define despues una clase de conjuntos mas amplia, obtenidos a partir
de conjuntos abiertos mediante una cantidad numerable de operaciones de union
y diferencia (que hoy denominamos borelianos), y afirma que para esta clase
de conjuntos se puede definir una medida que sea completamente aditiva (e.e.
la medida de una union numerable de conjuntos disjuntos es igual a la suma de
las medidas de cada uno).
La definicion de esta propiedad fue el punto de partida, junto con los trabajos
de Baire, de los estudios sobre la clasificacion topologica de los conjuntos de
puntos, y sirvio tambien de base para la extension de la nocion de integral a
principios del siglo XX debida a Lebesgue.
Lebesgue, preocupado especialmente por el problema de la integracion, se
1
AVAVAR
plantea la posibilidad de aislar las propiedades que deben caracterizar el comportamiento de la integral, anadiendo a las propiedades de linealidad y monotona, y
a la aditividad respecto al conjunto de integracion, la propiedad de conservar los
lmites para sucesiones crecientes. Analizando estos postulados pasa del problema de definir una integral al problema de definir una medida adecuada en los
conjuntos de Rn .
Pasando del proceso finito de Jordan y Peano a un proceso infinito, y basandose
en los resultados de Borel, Lebesgue define P
la medida exterior me (E) de un conjunto E de R como el nfimo de las sumas
n=1 l(In ) donde (In ) es una familia
numerable de intervalos que contiene a E, y l(In ) es la longitud usual de los
intervalos. Define luego la medida interior de un conjunto acotado E [a, b]
por mi (E) = (b a) me ([a, b] \ E), y por ultimo llama conjuntos medibles a
aquellos conjuntos E para los que la medida exterior e interior coinciden. Esta
definicion se extiende a conjuntos no necesariamente acotados por la condicion
m(I) = me (I E) + me (I \ E)
para todo intervalo I. Las definiciones se generalizan a conjuntos de Rn sin mas
que cambiar intervalos por rectangulos.
Con estas definiciones, todo conjunto medible en el sentido de Jordan y Peano
en R es tambien medible en el sentido de Lebesgue, y su medida coincide con
su contenido. Ademas, los abiertos son medibles, y la medida de Borel sobre los
abiertos coincide tambien con la de Lebesgue. Se demuestra que la medida as
definida es completamente aditiva, como haba postulado Borel, es monotona y
no negativa. Pero ademas se verifica que todo conjunto de medida exterior nula
es medible; esta ultima propiedad es la diferencia fundamental entre la medida de
Lebesgue y la definida por Borel, y recibe el nombre de propiedad de completitud.
Una vez definidos los conjuntos medibles se puede extender de forma inmediata la formulacion de Jordan de la integral de Riemann, definiendo las sumas
superiores e inferiores sin mas que sustituir los rectangulos, o los conjuntos medibles en sentido de Jordan, por los conjuntos medibles en el sentido de Lebesgue.
Sin embargo Lebesgue no sigue este camino, sino que parte de la interpretacion
geometrica de la integral de funciones positivas como el area encerrada bajo la
funcion, y aproxima este conjunto sub-dividiendo el rango de la funcion en vez
de su dominio: si f esta definida en [a, b], y 0 m f (x) M para todo x
[a, b], considera una particion del intervalo [m, M ], m a1 < . . . < an M , y
considera en [a, b] los conjuntos Ei de los puntos tales que ai f (x) ai+1 . f
es
integrable si losP
lmites al tomar las particiones cada vez mas finas de las sumas
Pn1
n1
mite comun es
i=1 ai m(Ei ) y
i=1 ai+1 m(Ei ) coinciden. En este caso, el l
la medida del conjunto E = {(x, y), x [a, b], 0 y f (x)}, y es el valor de
la integral de f .
2
AVAVAR
Para que el razonamiento anterior sea valido, los conjuntos Ei deben ser
medibles. Lebesgue define las funciones medibles como aquellas cuya inversa
transforma conjuntos abiertos en conjuntos medibles. La definicion de integral
tiene entonces sentido para las funciones medibles. Uno de los resultados mas
interesantes que se obtienen a continuacion, inspirado en los trabajos de Baire
sobre las clases de funciones estables por lmites puntuales, es el hecho de que
el lmite puntual de una sucesion de funciones medibles es siempre medible. En
particular el celebre ejemplo de Dirichlet es una funcion medible en el sentido de
Lebesgue.
Queda por probar ahora que el lmite de funciones integrables sea integrable.
Para la integral de Riemann se tenan ya algunos resultados para sucesiones de
funciones uniformemente convergentes, y hacia 1885 Arzela haba demostrado
que la integracion termino a termino era posible para una sucesion uniformemente
acotada de funciones imponiendo alguna condicion de continuidad o integrabilidad de la funcion lmite. Lebesgue prueba para su integral, con gran facilidad, un
teorema mas general, en el que se establece que el lmite puntual de una sucesion
de funciones medibles y uniformemente acotadas definidas en un conjunto medible es tambien integrable, y ademas su integral es el lmite de las integrales de los
terminos de la sucesion. Este es el principio para otros teoremas de convergencia
que caracterizan el triunfo de la integral de Lebesgue.
Ademas de los problemas de convergencia, que venan arrastrandose desde el
estudio de las series trigonometricas que haban sido el origen del desarrollo de la
teora de integracion debido a Cauchy, Lebesgue estaba especialmente interesado
en resolver otro problema que haba aparecido junto con la integral de Riemann:
el Teorema Fundamental del Calculo. Con la integral de Cauchy para funciones
continuas se haba establecido la relacion entre derivacion e integracion mediante
las formulas
Z x
f 0 (t)dt = f (x) f (a)
a
f (t)dt = f (x)
a
Estos resultados perdieron generalidad con la integral de Riemann, cuando se vio,

por ejemplo, que existan funciones con derivada acotada pero no integrable, con
lo que la primera formula ya no era cierta para cualquier funcion diferenciable.
Analogamente, la segunda igualdad solo se verifica en los puntos de continuidad
y no en todos los puntos del dominio de una funcion integrable.
Utilizando los teoremas de convergencia, Lebesgue prueba que el teorema
fundamental del calculo (la primera igualdad) sigue siendo valida, para la integral
3
AVAVAR
de Lebesgue, al menos si la derivada es acotada. Pero ademas, partiendo de la
idea geometrica de dividir el rango de la funcion en vez de su dominio, aunque
con bastante mas dificultad, consigue demostrar que el resultado es tambien
cierto si la derivada es una funcion de variacion acotada.
Y mediante un analisis mucho mas sutil Rdemuestra tambien que si f es inx
tegrable (en su sentido), la funcion F (x) = a f (t)dt tiene en casi todo punto
una derivada igual a f (x).
Otro de los avances esenciales de la teora de Lebesgue se refiere a las integrales multiples de funciones de varias variables. No era difcil justificar el metodo
de las integrales iteradas para funciones continuas en recintos de integracion sencillos, como rectangulos, o regiones limitadas por curvas analticas, utilizando la
definicion de las sumas de Riemann, pero las dificultades surgen inmediatamente
al abordar casos mas generales. La solucion definitiva se debe a Fubini, que
establecio el teorema en el marco de la integral de Lebesgue en 1907.
Lebesgue extiende despues sus resultados sobre derivacion de integrales a
integrales multiples. Define una funcion deR conjunto que generaliza la integral
indefinida mediante la ecuacion F (E) = E f (x)dx, donde f es una funcion
integrable sobre cada conjunto compacto de Rn ; esta funcion es completamente
aditiva y absolutamente continua. Una buena parte del trabajo de Lebesgue se
dedica la demostracion del recproco de este resultado.
A partir de aqu, y de la construccion de la integral de Stieltjes, Radon
construye una nueva definicion de integral, con el metodo de Lebesgue pero
sustituyendo la medida por una funcion de conjunto completamente aditiva en
Rn . Frechet extiende luego esta construccion a la integral sobre un conjunto
cualquiera en lugar de Rn . Los desarrollos posteriores mas importantes de
esta teora se deben a Daniell, que introduce el producto infinito de medidas,
y Bochner que define la integral de una funcion con valores en un espacio de
Banach en 1933, y anuncia el estudio mas general de la integral debil que desarrollaran Gelfand, Dunford y Pettis.
Volviendo ahora la vista atras, hay que decir que para Lebesgue el problema
principal era el de la integral y sus propiedades, y elaboro para ello la teora de
la medida como una herramienta de gran precision. Durante mucho tiempo la
teora de Lebesgue se considero un trabajo apropiado solo para los problema que
exigan la mayor abstraccion. La popularizacion de la teora se debe especialmente
a Caratheodory, que, por el contrario, pone el mayor enfasis en la teora de la
medida. Desde entonces la teora de la integracion se ha dividido entre ambas
tendencias, basada una en el desarrollo cada vez mas abstracto y axiomatico de
la medida, y la otra basada en los metodos y tecnicas funcionales, con el tipo de
desarrollo que llevo de la integral de Cauchy a la de Lebesgue.
Actualmente hay distintas formas de abordar la teora incluso en el marco
sencillo de funciones definidas en el espacio eucldeo Rn que consideramos en
4
AVAVAR
este curso. Una de ellas consiste en completar el espacio de las funciones
integrables en el sentido de Riemann con los lmites puntuales de las sucesiones
de funciones integrables. En este proceso se puede partirR incluso del espacio de
funciones continuas, con la norma de la integral kf k1 = I |f (t)|dt.
Otro metodo empieza por construir la integral de Lebesgue definiendo la
integral de una funcion positiva a partir de la medida del conjunto de ordenadas
debajo de la grafica de la funcion.
En este programa pretendemos destacar sobre todo las propiedades de la integral de Lebesgue en cuanto al manejo de las funciones integrables. En especial
pondremos el mayor enfasis en los teoremas de convergencia. Este criterio es una
razon para apartarnos de la construccion original de Lebesgue, para acercarnos a
ella a partir de las propiedades de las funciones medibles. Una vez definida la medida de Lebesgue y los conjuntos medibles, definimos la integral de las funciones
simples, y a partir de estas definimos la integral de funciones medibles positivas
mediante un lmite de integrales de funciones simples. Por ultimo extendemos la
definicion a funciones medibles cualesquiera.
Medida de Lebesgue en Rn
Beatriz Porras
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 conjunto que la definicion eucldea de volumen, y lleva a la
definicion de una familia de conjuntos 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 a la construccion de los numeros reales
frente a los racionales.
Vamos a empezar el estudio por la construccion de la medida de Lebesgue,
y luego desarrollaremos su concepto de integral.
Definici
on (Medida Exterior de Lebesgue).
Sea A un subconjunto cualquiera de Rn . Se define la medida exterior de Lebesgue
de A como
m (A) = inf{
X
n=1
v(Qn ), A
Qn , Qn rectangulos cerrados}
n=1
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 =
1
AVAVAR
Si a es un numero real, a > 0, entonces a =
Si a es un numero real, a < 0, entonces a =
En general 0 , son indeterminaciones
Observaciones:
1. La definicion puede hacerse indistintamente con rectangulos abiertos, cerrados, o semiabiertos.
En efecto, si llamamos
n(A) = inf{
v(Sn ), A
n=1
Sn , Sn rectangulos abiertos}
n=1
es evidente que n(A) m (A), ya que si {Sn }n es una familia de rectangulos

abiertos que recubre a A, la familia de sus adherencias Qn = Sn es una
familia de rectangulos cerrados que tambien recubre a A y la serie de los
volumenes de los Qn es la misma que la de los Sn
v(Sn ), A
Sn , Sn rectangulos abiertos}
n=1
n=1
[
X
Qn , Qn rectangulos cerrados}
v(Qn ), A
{
n=1
n=1
Recprocamente, sea > 0, y sea {Qn }n una familia de rectangulos que
X
recubre a A tal que
v(Qn ) m (A) + /2. Para cada n N podemos
n=1
escoger un rectangulo abierto Sn que contenga ea Qn , y tal que v(Sn )
[
n+1
v(Qn ) + /2 . Entonces A
Sn , y la serie
n=1
X
n=1
v(Sn )
v(Qn ) +
n=1

2n+1
m (A) +
Tomando nfimos entre todas las posibles familias de rectangulos abiertos

que recubren a A, tenemos
n(A) m (A) +
2
AVAVAR
y como esto es cierto para todo > 0, tiene que ser n(A) m (A). Con
la desigualdad de antes se tiene el resultado.
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 un rectangulo en Rn , m (R) = v(R)
En efecto, una desigualdad es trivial, ya que si R es un rect
Sangulo, y
definimos Q1 = R, y Qn = si n 2, entonces R
n=1 Qn y
X
m (R)
v(Qn ) = v(R)
n=1
Por otro lado, sea {Qn }n una familia numerable de rectangulos abiertos
que recubra a R. Como R es compacto, esta familia tiene que admitir un
k
[
subrecubrimiento finito, de modo que R
Qnj . Pero entonces sabemos
j=1
que v(R)
k
X
j=1
v(Qnj )
v(Qn ). Tomando nfimos entre todas las
n=1
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:
En la Teora de la Medida abstracta se pretende construir un procedimiento para medir conjuntos

y para integrar funciones definidas en los subconjuntos de un espacio . Dado un espacio , una
medida exterior es una funci
on de conjunto definida en el conjunto de todos los subconjuntos
de que sea no negativa y verifique las tres primeras propiedades del teorema que viene a
continuaci
on. Las otras dos propiedades son propias de la medida de Lebesgue, y de algunas
otras medidas en espacios topol
ogicos o espacios m
etricos, que dotan a la estructura formada
por el espacio y la medida de mejores propiedades de tipo topol
ogico y geom
etrico, pero no son
imprescindibles para la coherencia de la teora y la construcci
on de una integral.
AVAVAR
Teorema (Propiedades de la medida exterior).

1. m() = 0
2. Si A B, m(A) m(B)
(monotona)
3. Sea {An}n una familia numerable de conjuntos; entonces
[
X
m ( An )
m(An) (subaditividad)
n=1
n=1
4. m(A) = inf{m(G), G abierto, A G} (regularidad)

5. Para todo conjunto A y todo x Rn, m(x + A) =
m(A) (invariancia por traslaciones)
Demostracion:
1) y 2) son triviales. Para demostrar 3), sea > 0, y consideremos para cada
An una familia numerable de rectangulos {Qnm }mN tal que
An
Qnm
m=1
v(Qnm ) < m (An ) +
m=1

2n
Entonces la familia de todos los rectangulos {Qnm , m N, n N} verifica

!
[
[
[
An
Qnm
n=1
n=1
m=1
y se tiene
m(
n=1
An )
n=1
m=1
!
v(Qnm )

X
n=1
X

m (An ) + n = +
m (An )
2
n=1
Como esto es cierto para todo > 0, se deduce que

4
AVAVAR
m(
An )
n=1
m (An )
n=1
Para demostrar 4), una desigualdad es trivial, ya que si A G entonces por

2) la medida exterior de A es menor que la de G, as que
m (A) inf{m (G), G abierto, A G}
Para la otra desigualdad, consideramos la definicion de la medida exterior con
rectangulos abiertos: dado > 0, sea {Qn }n una familia de rectangulos abiertos
tales que
A
Qn
v(Qn ) m (A) +
n=1
n=1
Basta definir G =
Qn , que es un abierto que contiene a A, y
n=1
m (G )
v(Qn ) m (A) +
n=1
Entonces
inf{m (G), G abierto, A G} m (G ) m (A) +
para cualquier > 0 de donde se deduce que
inf{m (G), G abierto, A G} m (A)
Por ultimo, para demostrar 5) sean A Rn , y x Rn . Si {Qn }n es una
familia de rectangulos que recubre a A, entonces {x + Qn }n es una familia de
rectangulos que recubre a x + A, de modo que
m (x + A)
X
n=1
v(x + Qn ) =
v(Qn )
n=1
luego m (x + A) m (A)
Analogamente m (A) = m (x + x + A) m (x + A), por lo que se tiene
la igualdad.
5
AVAVAR
Sin embargo la medida exterior falla en cambio en una propiedad fundamental

respecto al 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 concretos para demostrar que la igualdad
es falsa.
Si queremos conseguir que esta propiedad se verifique, debemos prescindir de
algunos conjuntos. 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
Definici
on (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
m (E) = m (E A) + m (E \ A)
E\A
EA
Llamamos M a la familia de los conjuntos de Rn que son medibles.

Se llama medida de Lebesgue en Rn a la restriccion de la medida exterior m
a M: m : M [0, ], m(A) = m (A).
En el captulo siguiente veremos como se puede construir un conjunto no
medible en la recta real. Y una vez encontrado uno, es facil imaginar infinitos
conjuntos distintos no medibles, en la recta o en el cualquier espacio Rn
Algunas de las propiedades de los conjuntos medibles, y de sus medidas se
recogen en el siguiente teorema:
AVAVAR
Teorema (Propiedades de los conjuntos medibles - 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
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)
4. Si A1 , . . . , Ak es una familia finita de conjuntos medibles, entonces
k
[
Ai M
i=1
k
\
Ai M
i=1
5. Si {Ai }i es una familia numerable de conjuntos medibles, disjuntos dos a
[
[
X
dos, entonces
Ai M. Ademas
m( Ai ) =
m(Ai )
i=1
i=1
i=1
6. Si {Ai }i es una familia numerable de conjuntos medibles, entonces

y
Ai M
i=1
Ai M
i=1
7. Todo conjunto A con m (A) = 0 es medible

8. Si A M, para todo x Rn , x + A M y m(x + A) = m(A)
Demostracion:
(1) Supongamos que A es medible, y sea E un conjunto cualquiera de Rn .
Entonces E Ac = E \ A y E \ Ac = E A, luego
m (E Ac ) + m (E \ Ac ) = m (E \ A) + m (E Ac ) = m (E)
as que Ac es medible tambien.
(2) Sean ahora A y B medibles, y sea E un conjunto cualquiera de Rn . Por
ser A medible
m (E) = m (E A) + m (E \ A)
7
(1)
AVAVAR
Y por ser ahora B medible,
m (E A) = m (E A B) + m (E A \ B)
(2)
de donde sustituyendo en la ecuacion (1) queda

m (E) = m (E A B) + m (E A \ B) + m (E \ A)
m (E A B) + m (E \ (A B))
E\A
\B
AB
B
puesto que
(E A \ B) (E \ A) = E \ (A B)
as que A B es medible.
Y como A \ B = A (B c ), tambien es medible.
(3) Sean ahora A y B dos conjuntos medibles. Por (1), sus complementarios
A y B c son medibles; por (2), la interseccion de los complementarios Ac B c es
medible; y otra vez por (1) el complementario de este conjunto AB = (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
c
m(A B) = m((A B) A) + m((A B) \ A) = m(A) + m(B \ A)

y utilizando ahora que A es medible, con E = B
m(B) = m(B A) + m(B \ A)
si m(A B) es finita, podemos despejar en la segunda ecuacion la medida de
B \ A y sustituir en la primera ecuacion, y queda
m(A B) = m(A) + m(B) m(A B)
8
AVAVAR
(4) Sea ahora A1 , . . . , Ak una familia finita de conjuntos medibles. Para
cada N entre 2 y k podemos poner
!
N
N
1
[
[
Ai =
A i AN
i=1
i=1
1
Razonando por induccion, para N = 1, A1 es medible. Si N
i=1 Ai es medible,
N
entonces aplicando la propiedad (3), i=1 Ai es tambien medible. Repitiendo el
proceso hasta N = k 1 se obtiene que la union ki=1 Ai es medible.
Y poniendo
k
\
i=1
Ai =
k
[
!c
Aci
i=1
y aplicando las propiedades (1) y (3), tambien la interseccion ki=1 Ai es medible.

(5) Sea {An }n una familia numerable de conjuntos medibles disjuntos dos a
dos (es decir, An Am = si n 6= m). Y sea A =
n=1 An
La idea es estudiar las uniones finitas de conjuntos An , e intentar ver lo que
ocurre si n tiende a
Consideramos la familia de conjuntos Bk = kn=1 An . Por la propiedad (4),
los conjuntos Bk son medibles. Ademas verifican para cada k N
Bk = Bk1 Ak
y Bk1 Ak =
luego
Bk Ak = Ak
y Bk \ Ak = Bk1
Sea E un conjunto cualquiera de Rn .

Sabemos que
m (E) = m (E Bk ) + m (E \ Bk )
(3)
Utilizando ahora que Ak es medible

m (EBk ) = m (EBk Ak )+m (EBk \Ak ) = m (EAk )+m (EBk1 )
Repitiendo el proceso con Bk1
m(E Bk1 ) = m (E Ak1 ) + m (E Bk2 )
9
AVAVAR
Y sustituyendo arriba
m (E Bk ) = m (E Ak ) + m(E Ak1 ) + m (E Bk2 )
Y si lo repetimos k veces,
m (E Bk ) =
k
X
m (E An )
n=1
Sustituyendo en la ecuacion (3)
m (E) =
k
X
m (E An ) + m (E \ Bk )
n=1
k
X
m (E Ak ) + m (E \ A)
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
m (E)
m (E An ) + m (E \ A)
n=1
!
+ m (E \ A) =
E An
n=1
= m
!
An
+ m (E \ A) =
n=1
= m (E A) + m (E \ A)
Por tanto A es medible.
Ademas si en esta ultima cadena de desigualdades ponemos en particular
E = A, tenemos
m(A)
m(A An ) + m(A \ A) =
n=1
n=1
Luego efectivamente
!
[
X
m
An =
m(An )
n=1
n=1
10
m(An ) m(A)
AVAVAR
(6) Sea ahora {An }n una familia numerable de conjuntos medibles (no necesariamente disjuntos 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 )
A2
B2 = A2 \ A1
B1 = A1
A1
A3
B3 = A3 \ (A1 A2 )
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.
(7) Sea A un conjunto de Rn de medida cero. Si E es un conjunto cualquiera
de Rn , entonces
como E A A, m (E A) m (A) = 0, luego m (E A) = 0
tambien
y como E \ A E, m (E \ A) m (E)
Sumando las dos ecuaciones
m (E A) + m (E \ A) 0 + m (E)
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
m (E) = m (x + E) = m ((x + E) A) + m ((x + E) \ A) =
= m (x + (E (x + A))) + m (x + (E \ (x + A))) =
= m (E (x + A)) + m (E \ (x + A))
11
AVAVAR
As que x + A es tambien medible. Y ya sabemos que m(A) = m (A) =
m (x + A) = m(x + A)
N
12
AVAVAR
Ademas se tiene el siguiente resultado para sucesiones monotonas de conjuntos:
Proposici
on (Sucesiones monotonas).
9. Sea {An }n una sucesion no decreciente de conjuntos medibles (An An+1
para todo n). Entonces
m(
An ) = lim m(An )
n
n=1
10. Sea {An }n una sucesion no creciente de conjuntos medibles (An An+1
para todo n), y tal que existe algun n0 con m(An0 ) < . Entonces
m(
An ) = lim m(An )
n
n=1
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
S limn m(An ) =
S m(Ak ) = y por tanto
Por otro lado, como Ak0
A
,
tambi
e
n
m(
n=1 An ) = , y se tiene
n=1 n
la igualdad.
Supongamos entonces al contrario que todos los conjuntos An tienen medida
finita.
[
[
Poniendo A0 = , podemos escribir
An =
(An \ An1 )
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,
m(
An ) = m(
n=1
(An \ An1 )) =
n=1
lim
m(An \ An1 ) = lim
n=1
m(An ) m(An1 ) = lim m(AN )

N
n=1
13
N
X
n=1
m(An \ An1 ) =
AVAVAR
(10) Sea ahora {An }nN decreciente, y sea n0 tal que m(An0 ) < . Entonces para todo k mayor que n0 se tiene m(Ak ) m(An0 ) < . Ademas
\
\
An =
An por ser la sucesion decreciente. Podemos suponer entonces
n=1
n=n0
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 \
n=1
= m(
An ) =
n=1
An ) + m(
n=1
(A1 \ An ))
n=1
Ahora la sucesion {A1 \ An }n es creciente, con lo que aplicando el apartado

(1)
m(A1 ) = m(
n=1
= m(
n=1
= m(
An ) + lim m(A1 \ An ) =
n
An ) + lim (m(A1 ) m(An )) =

n
An ) + m(A1 ) lim m(An )

n
n=1
luego
m(
An ) = lim m(An )
n=1
Observaciones:
La propiedad (10) no es cierta si para todo n N, m(An ) = . Como
ejemplo, sen An = [n, ) en R:
An+1 An para todo n, luego es una sucesion decreciente.
m(An ) = para todo n, luego limn m(An ) =
\
Y sin embargo
An = luego su medida es 0.
n=1
14
AVAVAR
Solo falta ver que los conjuntos An as definidos son medibles.
Para ver esto ultimo, vamos a utilizar los resultados anteriores para conocer
en lo posible cuales son los conjuntos medibles de Rn (hasta el momento solo
tenemos como ejemplo los conjuntos que ya conocemos de medida cero).
Los resultados fundamentales son los dos siguientes:
Proposici
on.
Todo rectangulo R Rn es medible.
Demostracion:
Sean R un rectangulo y E un subconjunto cualquiera de Rn . Por la definicion
de la medida exterior de E, dado un > 0, existe una familia numerable de
rectangulos Qn tales que
E
8
[
Qn
n=1
v(Qn ) < m (E) +
n=1
Entonces
m (E) m (E R) + m (E \ R)
!
[

Qn R + m
m
!
Qn \ R
n=1
n=1
(m (Qn R) + m (Qn \ R))
n=1
El conjunto Qn R es un rectangulo, y por tanto su medida exterior coincide

con su volumen, m (Qn R) = v(Qn R)
Qn
S1n
S2n
Qn R
R
Y el conjunto Qn \ R se puede descomponer como una union finita de

rectangulos S1n , . . . , Sknn que no se solapan, de modo que
m (Qn \ R) = m (
kn
[
i=1
Sin )
kn
X
v(Sin )
i=1
15
AVAVAR
Sustituyendo en la serie
m (E) m (E R) + m (E \ R)
"
#
kn
X
X
v(Qn R) +
v(Sin ) =
n=1
i=1
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.
N
Teorema.
Todo conjunto abierto de Rn puede ponerse como union numerable de rectangulos.
Demostracion:
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
[
G = {Q Q, Q G}
que sera como mucho una union numerable de rectangulos.
Como consecuencia de ambos teoremas:
Corolario 1.
1. Todo conjunto abierto de Rn es medible.
2. Todo conjunto cerrado es medible.
16
AVAVAR
3. Cualquier conjunto que se pueda obtener mediante una cantidad numerable
de operaciones conjuntistas de union, interseccion o diferencia de conjuntos
abiertos o cerrados, es medible. (Esta familia de conjuntos recibe el nombre
de -algebra de Borel de Rn )
4. Todo conjunto medible Jordan es tambien medible Lebesgue. (El recproco
no es cierto)
Demostracion:
Los tres primeros apartados se deducen directamente de los dos ultimos teoremas,
utilizando las propiedades de los conjuntos medibles.
Para el ultimo apartado, si A es un conjunto medible Jordan, basta poner el
conjunto A como union de su interior y la parte de la frontera que este en A:
A = A0 (F r(A) A)
Aqu A0 es medible por ser un conjunto abierto, y F r(A) A es un subconjunto
de la frontera de A. Como A es medible Jordan su frontera es un conjunto de
medida cero, luego F r(A)A tambien tiene medida cero, y por tanto es medible
N
- Lebesgue. As que A es medible - Lebesgue.
17
Construccion de un conjunto no medible

Lebesgue.
Beatriz Porras
Vamos a construir un conjunto no medible en el intervalo [0, 1] de R. La
construccion se basa en propiedades fundamentales de la medida de Lebesgue:
que la medida de un intervalo es su longitud
que si {En }nN es una familia numerable de conjuntos medibles disjuntos
dos a dos, la medida de la union es la serie de las medidas
m(
En ) =
n=1
m(En )
n=1
que si E es medible, y x R, entonces x + E es medible y m(x + E) =

m(E)
Definimos una relacion de equivalencia en [0, 1] por la condicion
x y si y solo (x y) Q, es decir, si la diferencia x y es racional
Observemos que en efecto si x y, entonces
racional tambien, y x
Y si x y e y z, entonces
x y = p/q
y z = p0 /q 0
pq 0 + qp0
xz =
qq 0
luego x z
Y evidentemente x x ya que x x = 0
y x = (x y)
es
AVAVAR
Sea ahora A0 un subconjunto de [0, 1] formado por un unico elemento de
cada clase de equivalencia.
Y consideremos la sucesion {rn }nN de todos los numeros racionales del
intervalo [1, 1] (rn 6= rm si n 6= m)
Para cada n N definimos el conjunto An como el conjunto de puntos
An = {rn + x, x A0 } = rn + A0
que consiste en trasladar el conjunto A0 sumandole el numero rn
An = r n + A0
A0
1
rn
Si A0 es medible, tenemos
1. Entonces cada conjunto An es medible, ya que traslacion de un conjunto
medible.
2. Ademas para cada n N
m(An ) = m(A0 )
3. Los conjuntos An son disjuntos dos a dos:

Si hubiese un x AM AN , existiran xN A0 y xM A0 de modo que
x = r N + x N = rM + x M
de donde
x N x M = rM rN Q
luego xN xM .
Como en A0 solo hay un elemento de cada clase de equivalencia, tiene que
ser xN = xM , y por tanto rN = rM , y entonces N = M
4. La union de todos los conjuntos An ,
A=
An
, contiene al inter-
n=1
valo [0, 1] y esta contenida en el intervalo [1, 2]

Todo punto x [0, 1] tiene que estar en alguna de las clases de equivalencia
definidas por la relacion, luego tiene que existir un x0 A0 tal que x x0 ,
y por tanto
r = x x0 es un racional; y como x y x0 estan en [0, 1],
2
AVAVAR
r [1, 1] sera uno de los elementos de la sucesion {rn }nN , r = rk y
x = r k + x 0 Ak
[
As que
[0, 1]
An
nN
Por otro lado, si x esta en un conjunto An , x = rn + xn con rn [1, 1]

y xn A0 [0, 1], luego x [1, 2]
5. En consecuencia
1 = m[0, 1] m(
nN
An =
m(An ) 3 = m[1, 2]
nN
lo que es imposible tanto si m(An ) = m(A0 ) = 0 para todo n como si

m(An ) = m(A0 ) > 0 para todo n
POR TANTO A0 NO ES MEDIBLE LEBESGUE.
Bibliografa: T.M. Apostol. Analisis Matematico. Ed. Reverte
Funciones medibles. Funciones integrables

Lebesgue.
Relacion con la integral de Riemann
Beatriz Porras
Funciones Medibles
Hasta ahora hemos estudiado la medida de Lebesgue definida sobre los conjuntos
de Rn y sus propiedades. Vamos a aplicar ahora esta teora al estudio de las
funciones escalares de varias variables .
Definici
on (Funciones medibles Lebesgue). Sea E Rn E M, y f : E
R. Se dice que f es medible Lebesgue si para todo abierto G en R, la imagen
inversa
f 1 (G) = {x E, f (x) G}
es un conjunto medible de Rn
Observaciones:
1. En primer lugar, E = f 1 (R) debe ser medible. Solo tiene sentido hablar
de funciones medibles si estan definidas en conjuntos medibles.
2. Son equivalentes:
(a) f medible Lebesgue
(b) Para todo conjunto C R cerrado, f 1 (C) M
(c) Para todo rectangulo R R, f 1 (R) M
En efecto, si f es medible y C es cerrado, el complementario R \ C es
abierto, luego f 1 (R \ C), es medible, y por tanto
f 1 (C) = E \ f 1 (R \ C)
1
AVAVAR
tambien es medible. As (1) implica (2)
Que (2) implica (3) es trivial, porque los rectangulos son cerrados.
Por ultimo, supongamos que se verifica la hipotesis (3). Si G es un abierto,
[
se puede poner como union numerable de rectangulos G =
Rn , de
n=1
modo que
f
(G) = f
Rn ) =
n=1
f 1 (Rn )
n=1
sera medible. Por tanto f es medible.

3. Un conjunto A Rn es medible si y solo si su funcion caracterstica

0
si x
/A
n
A : R R, A (x) =
1
si x A
es medible.
En efecto, supongamos que A es medible, y sea G un abierto cualquiera
en R. Si estudiamos como es 1
A (G), tenemos
si 0 6 G, 1 6 G
R
\
A
si
0 G, 1 6 G
1
A (G) =
A
si 0 6 G, 1 G
R
si 0 G, 1 G
y en cualquier caso es medible.
Recprocamente, si A es medible, tomando como G un abierto que contenga al 1 y no al 0, como G = (1/2, 3/2), se tiene A = 1
A (G), y por
tanto A es medible.
La familia de las funciones medibles son la base sobre la que construir la
integral, como las funciones continuas lo eran para la construccion de la integral
de Cauchy. De hecho, lo primero que vamos a ver es que toda funcion continua
es medible:
Teorema.
Toda funcion continua definida en un conjunto medible es medible.
Demostracion:
AVAVAR
Sea E un conjunto medible en Rn , y f : E R una funcion continua. Si
G es un conjunto abierto en R, sabemos que por las propiedades de las funciones
continuas f 1 (G) es abierto en E, es decir, existe un conjunto abierto U Rn
tal que f 1 (G) = E U . As E es medible por definicion de funcion medible, y
U es medible por ser abierto, luego f 1 (G) es medible.
N
Por tanto f es medible.
Ademas la composicion de una funcion medible con una funcion continua
tambien es medible (ojo, no la composicion de dos funciones medibles); as por
ejemplo si f (x) es medible, entonces g(x) = sen(f (x)) tambien es medible :
Teorema.
Sea E Rn , E M, f : E R una funcion medible, y g : f (E) R
continua en f (E). Entonces g f es medible.
Demostracion:
Sea G un abierto cualquiera en R. Como g : f (E) R es continua, g 1 (G) es
abierto de f (E), es decir, existe una abierto U de R tal que g 1 (G) = U f (E).
Y entonces
(g f )1 (G) = f 1 (g 1 (G)) = f 1 (U f (E)) = f 1 (U )
N
es medible. As pues g f es medible.
Vamos a ver tambien que el lmite de una sucesion de funciones medibles

es medible, y algunos otros resultados parecidos. Para ello es util la siguiente
caracterizacion de las funciones medibles:
Teorema.
Sea E Rn , E M, y f : E R. Son equivalentes:
1. f es medible
2. Para todo a R, {x E : f (x) < a} M
3. Para todo a R, {x E : f (x) a} M
4. Para todo a R, {x E : f (x) > a} M
5. Para todo a R, {x E : f (x) a} M
Demostracion:
Es claro que (1) implica las propiedades (2), (3), (4) y (5) ya que
{x E : f (x) < a} = f 1 (, a)
3
AVAVAR
{x E : f (x) a} = f 1 (, a]
{x E : f (x) > a} = f 1 (a, )
y
{x E : f (x) a} = f 1 [a, )
son imagenes inversas por f de conjuntos abiertos o cerrados segun el caso.
Vamos a ver ahora que las propiedades (2) a (5) son equivalentes entre si.
En primer lugar, si suponemos que se verifica (2), es decir que los conjuntos
del tipo {x E : f (x) < a} son medibles para todo a R, poniendo
{x E : f (x) a} =
{x E : f (x) < a +
n=1
1
}
n
se tiene que los conjuntos del tipo {x E : f (x) a} son interseccion

numerable de conjuntos medibles, y por tanto son medibles, lo que prueba la
propiedad (3).
En segundo lugar,
{x E : f (x) > a} = E \ {x E : f (x) a}
luego (3) implica (4).
En tercer lugar, si se verifica (4), razonando como antes y poniendo
{x E : f (x) a} =
{x E : f (x) > a
n=1
1
}
n
se tiene (5).
Y en cuarto lugar, si se verifica (5), como
{x E : f (x) < a} = E \ {x E : f (x) a}
se tiene tambien (1).
Para terminar la demostracion, una vez visto que las ultimas cuatro propiedades
son equivalentes entre si, utilizando las propiedades (3) y (5) se tiene que para
todo rectangulo R = [a, b] en R,
f 1 [a, b] = {x E : a f (x) b} = {x E : f (x) < b}{x E : f (x) a}
N
sera medible, y por tanto f es medible, y se tiene (1).
AVAVAR
Corolario 1.
Sea E Rn , E M, y sean fn : E R funciones medibles. Entonces, si
existen, las funciones
g(x) = sup fn (x)
n
h(x) = inf fn (x)

n
j(x) = lim inf fn (x)

n
k(x) = lim sup fn (x)

n
l(x) = lim fn (x)

n
son medibles.
Y tambien el producto de un numero por una funcion medible es una funcion
medible.
Corolario 2.
Sea E Rn , E M, y sea f : E R medible. Para todo R se tiene
f es medible.
Observaciones:
1. El primer corolario se aplica por supuesto tambien a familias finitas de
funciones: si f1 , . . . , fk son funciones medibles en un conjunto E, las
funciones f (x) = max{fi (x), 1 i k} y g(x) = min{fi (x), 1 i
k} son medibles.
2. Como consecuencia, las funciones f + (x) = max{f (x), 0} y f (x) =
min{f (x), 0} = max{f (x), 0} son medibles.
AVAVAR
f+
Funciones simples
El siguiente objetivo es demostrar que la suma de funciones medibles es medible,

pero esto es bastante mas difcil. Para llegar a este resultado, vamos a introducir
un tipo especial de funciones, que vamos a utilizar tambien como base para la
construccion de la integral de estas funciones medibles: las funciones simples.
Definici
on (Funciones Simples). Sea E Rn , E M; se llama funcion simple
en E a una funcion medible s : E R que solo toma un numero finito de
valores, es decir, tal que s(E) = {a0 , a1 , . . . , ak } es finito.
Llamando Ai = s1 ({ai }) = {x E : s(x) = ai }, estos conjuntos son
medibles (por ser imagenes inversas de cerrados), y verifican
Ai Aj = si i 6= j
E=
k
[
Ai
i=0
y se puede escribir s(x) de la forma s(x) =
k
X
ai Ai (x) combinacion lineal
i=1
de funciones caractersticas de conjuntos Ai ,

De hecho, las funciones simples son las combinaciones lineales de funciones
caractersticas de conjuntos medibles: cualquier combinacion lineal de funciones
AVAVAR
caractersticas de conjuntos medibles se puede descomponer como otra combinacion lineal respecto a una familia de conjuntos medibles disjuntos dos a dos
cuya union es todo el conjunto E
Es facil verlo con un ejemplo sencillo: si
s(x) = a1 A1 (x) + a2 A2 (x)
con Ai subconjuntos medibles de E, podemos escribir
s(x) = a1 A1 \A2 (x) + a2 A2 \A1 (x) + (a1 + a2 )A1 A2 (x) + 0E\(A1 A2 ) (x)
Una descomposicion de este tipo la llamaremos elemental.
m
k
X
X
Si S1 y S2 son dos funciones simples, S1 =
ai Ai y S2 =
bj Bj ,
i=1
j=1
(descomposiciones elementales), se puede conseguir una descomposicion elemental de ambas con respecto a la misma familia de conjuntos, {Bi Aj }i,j
a2
b2
a1
b1
B2
A1
A2
B1
a2
a1
b2
a2
a1
A1 B2
A1 B1
b1
A2 B2
A1 B2
A2 B1
A1 B1
b2
b1
A2 B2
A2 B1
En general, como los conjuntos Bj son disjuntos dos a dos y kj=1 Bj = E,

entonces
E (x) = kj=1 Bj (x) =
k
X
Bj (x) = 1
j=1
AVAVAR
y podemos poner
S1 (x) =
m
X
Ai (x) =
i=1
m
X
i=1
m
X
Ai (x)
i=1
ai
k
X
k
X

Bj (x) =
j=1
Ai (x)Bj (x) =
m,k
X
ai Ai Bj (x)
i=1,j=1
j=1
Y analogamente
S2 (x) =
k
X
bj Bj (x) =
j=1
k,m
X
bj Bj Ai (x)
j=1,i=1
As es facil demostrar
que la suma
Pmde dos funciones simples es una funcion
P
a
y
s
=
simple: si S1 = m
2
i=1 bi Ai , la suma S1 + S2 , es
i=1 i Ai
(S1 + S2 )(x) = S1 (x) + S2 (x) =
m
X
(ai + bi )Ai
i=1
a2 + b2
a1 + b2
a2 + b1
a1 + b1
A1 B2
A1 B1
A2 B2
A2 B1
Pm
Pm
Analogamente S1 S2 =
i=1 ai bi Ai , y S1 /S2 =
i=1 (ai /bi )Ai son
funciones simples (si S2 (x) 6= 0 para todo
Pmx E en el caso del cociente). Y
evidentemente, para todo R, S1 = i=1 ai Ai es tambien una funcion
simple.
El siguiente teorema es fundamental para la construccion de la integral:
AVAVAR
Teorema (Aproximacion de funciones medibles).
Sea E Rn , E M, y f : E R una funcion medible no negativa. Existe
una sucesion {sn }n de funciones simples de E en R, tales que
1. 0 sn (x) sn+1 (x) para todo x E, para todo n N
2. lim sn (x) = f (x) para todo x E
n

Demostracion:
Sea n N fijo. Se definen los conjuntos
E0n = {x E, f (x) n}
y
Ein = {x E, (i 1)2n f (x) < i2n }; 1 i n2n
que son conjuntos medibles, disjuntos dos a dos, y se definen las funciones

sn (x) =
(i 1)2n
n
si
si
x Ein ; 1 i n2n
x E0
es decir,
n
sn (x) =
n2
X
i1
i=1
2n
Ein (x) + nE0n (x)
Veamos un esquema grafico de la construccion de los conjuntos y de las

funciones, para n = 1 y n = 2
2
f
7/4
6/4
5/4
1
3/4
1/2
1/2
1/4
E01
E11
E21
E02
s1 (x)
E22
E32
s2 (x)
E42
E52
E62
E72
E82
AVAVAR
En este caso, el conjunto E12 es vaco.
La idea es dividir el eje vertical en bandas horizontales de anchura 2n , y
construir una funciones escalonadas cuyos escalones estan definidos por estas
bandas, que esten siempre por debajo de la grafica de f , pero lo mas cerca
posible.
Es evidente por la definicion que para todo x E y para todo n N,
sn (x) 0.
En segundo lugar, dado n N, poniendo el intervalo

2(i 1) 2i
2(i 1) 2i 1
2i 1 2i
(i 1) i
=
, n =
,
, n+1
,
2n
2
2n+1 2n+1
2n+1
2
2n+1 2n+1
se tiene
(i 1)
i
f (x) < n } =
n
2
2
2(i 1)
2i
= {x E,
f (x) < n+1 } =
n+1
2
2
2(i 1)
2i 1
= {x E,
f (x) < n+1 }
n+1
2
2
2i 1
2i
{x E, n+1 f (x) < n+1 } =
2
2
n+1
n+1
= E2(i2) E2i1
Ein = {x E,
As que si x Ein , para algun i entre 1 y n2n , pueden ocurrir dos cosas:
n+1
O bien x E2(i1)
, y entonces
sn+1 (x) =
i1
2(i 1)
= n = sn (x)
n+1
2
2
n+1
o bien x E2i1
y entonces
sn+1 (x) =
i1
2i 1
> n = sn (x)
n+1
2
2
Y si x E0n , es decir, si f (x) n, tambien pueden ocurrir dos cosas:

O bien f (x) (n + 1), en cuyo caso sn+1 (x) = n + 1 > n = sn (x)
O por el contrario n f (x) < n + 1, y entonces
(n+1)2n+1
f (x) [n, n + 1] =
[
k=n2n+1 +1
k1 k
,
]
2n+1 2n+1
10
AVAVAR
luego
sn+1 (x) =
k1
n = sn (x)
2n+1
Es decir, siempre sn (x) sn+1 (x)

Para terminar la demostracion falta ver que limn sn (x) = f (x), pero esto
es claro: dado x E, sea n0 un numero natural tal que f (x) < n0 . Por la
definicion de las funciones sn , para todo n n0 la distancia f (x) sn (x) es
menor que 2n que es la anchura de los escalones de sn , luego en efecto
lim |f (x) sn (x)| lim 2n = 0
n
Como consecuencia:
Teorema.
Toda funcion medible es lmite puntual de una sucesion de funciones simples.
Corolario 3.
Sea E Rn , E M, y f, g : E R dos funciones medibles. Entonces:
1. f + g y f g son medibles
2. f g es medible
3. Si g(x) 6= 0 para todo x E, f /g es medible
4. |f | es medible
Una ultima propiedad de las funciones medibles que utilizaremos con frecuencia es la siguiente: si dos funciones son iguales en casi todos los puntos de E,
o ambas son medibles, o ninguna de las dos lo es.
Proposici
on.
Sea E Rn , E M, y f, g : E R dos funciones tales que existe un
conjunto Z E con m(Z) = 0 y f (x) = g(x) para todo x E \ Z. Entonces
f es medible si y solo si g es medible.
Demostracion:
Supongamos que f es medible. Para ver que g es medible, sea U un abierto
de cualquiera de R; podemos poner

g 1 (U ) = g 1 (U ) (E \ Z) g 1 (U ) Z
11
AVAVAR
De aqu, el primer conjunto es
g 1 (U ) (E \ Z) = {x E \ Z : g(x) U } =
= {x E \ Z : f (x) U } = f 1 (U ) (E \ Z)
que es medible por ser f medible y Z medible.
Y el segundo conjunto es un subconjunto de Z, luego tambien tiene que tener
medida cero, como Z, y por tanto es medible.
Entonces g 1 (U ) es medible.
As pues g es una funcion medible. Analogamente, cambiando los lugares N
de
f y de g se prueba que si g es medible, f tambien lo es.
En otras palabras, este resultado muestra que si una funcion f no es medible,
no se puede arreglar cambiando los valores de la funcion en un conjunto de
puntos de medida cero; y que, recprocamente, si f es medible, tampoco se va a
estropear si se cambian sus valores en un conjunto de puntos de medida cero.
El hecho de que una de propiedad se verifique en casi todos los puntos de
un conjunto E, es una caracterstica fundamental de la teora de Lebesgue, y
recibe un nombre:
Definici
on (Propiedad en casi todo punto).
Sea E Rn , E M. Se dice que una cierta propiedad P se verifica en casi
todo punto de E si existe un conjunto Z E con m(Z) = 0, tal que P se
verifica para todo x E \ Z.
Integraci
on de funciones simples
Vamos ahora a construir la integral de Lebesgue de funciones medibles. La idea es

construir la integral de Lebesgue primero para funciones simples, luego para funciones medibles no negativas, y por ultimo para funciones medibles cualesquiera.
En cada caso demostraremos algunas propiedades elementales que son necesarias
para el paso siguiente, y que van encaminadas a demostrar las propiedades elementales de cualquier procedimiento de integracion: la linealidad y la monotona
de la integral, es decir, que la integral de la suma es la suma de las integrales,
que la integral de un numero por una funcion es el producto del numero por
la integral de la funcion, y que si una funcion es mayor que otra en el mismo
conjunto, su integral es tambien mayor.
Definici
on (Integral de una funcion simple no negativa).
Sea E Rn , E M, y sea s : E R una funcion simple no negativa,
12
AVAVAR
s=
k
X
ai Ai , con ai 0 para todo i, 1 i k, Ai Aj = si i 6= j, y
i=1
ki=1 Ai = E Se define la integral de s en E por

k
X
Z
s=
E
ai m(Ai )
i=1
con el convenio de que 0 = 0

Observaciones:
1. La definicion es correcta, en el sentido de que el resultado de la integral no
depende de la descomposicion de s como combinacion lineal de funciones
caractersticas, incluso aunque los conjuntos no sean disjuntos dos a dos.
Vamos a ver que esto es cierto con un ejemplo sencillo: supongamos que
s = aA +bB , donde A y B son subconjuntos medibles de un conjunto E,
pero no necesariamente disjuntos. Podemos obtener una descomposicion
elemental de s de la forma
s = aA\B + (a + b)AB + bB\A + 0E\(AB)
Aplicando entonces la definicion de la integral
Z
s = am(A \ B) + (a + b)m(A B) + bm(B \ A)+
E
+0m(E \ (A B)) =
= a (m(A \ B) + m(A B)) + b(m(A B) + m(B \ A)) =
= am(A) + bm(B)
(utilizando que A y B son medibles)
2. La razon de definir
Pm la integral solo para funciones no negativas es asegurar
que la suma i=1 ai m(Ai ) este bien definida, que no pueda dar lugar a
algo del tipo .
3. La integral sera no negativa, pero puede valer infinito
Z
0
s
E
13
AVAVAR
4. Geometricamente, la integral de s es la suma de los volumenes, o mejor
habra que decir la suma de las medidas, de los prismas de base los conjuntos Ai y alturas respectivas ai
a3
a4
a2
a1
A4
A3
A2
A1
Proposici
on.
Sea E Rn , E M, y sean s1 , s2 : E R funciones simples no negativas.
Entonces:
Z
Z
Z
(s1 + s2 ) =
s1 +
s2
1.
E
Z
2. Para todo R, 0,
s1
s1 =
E
3. Si existe ZZ E con
Z m(Z) = 0, tal que s1 (x) s2 (x) para todo x E\Z,
s1
entonces
E
s2
E
Demostracion:
Consideremos para s1 y para sP
elementales respecto a la
2 descomposicionesP
m
misma familia de conjuntos, s1 = m
a
y
s
=
2
i=1 i Ai
i=1 bi Ai .
Las demostraciones de los apartados (1) y (2) son triviales.
Para el apartado (3), sea Z E un conjunto de medida cero tal que s1 (x)
s2 (x) para todo x E \Z. Entonces para cada conjunto Ai , como Z es medible,
se tiene
m(Ai ) = m(Ai Z) + m(Ai \ Z) = m(Ai \ Z)
ya que Ai Z tiene medida cero.
14
AVAVAR
Ademas, si existe algun punto x Ai \ Z, s1 (x) = ai s2 (x) = bi luego
ai m(Ai \ Z) bi m(Ai \ Z)
y si Ai \ Z = , tambien trivialmente
ai m(Ai \ Z) = 0 = bi m(Ai \ Z)
Por tanto
Z
m
m
X
X
s1 =
ai m(Ai ) =
ai m(Ai \ Z)
E
i=1
m
X
i=1
bi m(Ai \ Z) =
i=1
m
X
Z
s2
bi m(Ai ) =
i=1
Integral de funciones no negativas
Definici
on.
Sea E Rn , E M, y f : E R una funcion medible con f (x) 0 para
todo x E. Se define la integral de f en E por
Z
Z
f = sup{ s, s funcion simple, 0 s f }
E
Observaciones:
1. Se puede sustituir la condicion 0 s f en E, por la condicion 0
s(x) f (x) en casi todo E.
2. La integral de una funcion medible no negativa sera siempre no negativa
tambien, pero puede ser infinita.
3. Geometricamente el significado de esta integral es similar a las sumas inferiores de Riemann. La diferencia fundamental esta en los conjuntos Ai que
utilizamos para dividir el conjunto E: podemos escoger cualquier clase de
conjuntos medibles, no solamente rectangulos.
15
AVAVAR
f
a4
a3
a2
a1
A1
A2
A3
A4
La proposicion siguiente es consecuencia inmediata de las propiedades de la

integral de funciones simples no negativas:
Proposici
on.
Sea E Rn , E M, y sean f, g : E R funciones medibles no negativas.
Se tiene:
Z
Z
a) Si f g en casi todo E, entonces
f
g
ZE
ZE
g
f=
b) Si f = g en casi todo E, entonces
E
E
Z
Z
f = f
c) Si > 0,
E
Funciones IntegrablesLebesgue. Relaci

on con
la Integral de Riemann.
Aunque la definicion de la integral de Lebesgue es correcta para cualquier funcion

medible no negativa, solo vamos a llamar integrables a las funciones cuya integral
es finita; mas exactamente,
Definici
on (Funcion Integrable Lebesgue).
Sea E Rn , E MZ y f : E R. Se dice que f es integrable Lebesgue
|f | < . Se define entonces la integral en E de f por
en E si es medible y
E
f=
E
Observaciones:
R
Observese que E f Resta bienRdefinida, en el sentido de que como
0 f+
+
|f |, R entonces
R 0 E f E |f | < ; y tambien 0 f |f |, as que
0 E f E |f | < . Si f es integrable, su integral es un numero.
16
AVAVAR
Proposici
on.
Sea E Rn , E M, y f : E R integrable. Entonces
Z
Z
| f|
|f |
E
Demostracion:
R +
R
De
las
desigualdades
0
|f | <
E
E
R
|f | < se deduce
E
Z
Z
Z
Z
+
|f |
f
f
|f |
E
R
E
luego en efecto
Z
Z
| f|
|f |
E
N
Tendremos que demostrar que esta forma de integrar tiene las propiedades
fundamentales que debe tener cualquier metodo de integracion, alguna de las
cuales hemos ido demostrando en las casos anteriores para funciones simples y
funciones medibles no negativas: la linealidad de la integral, y la aditividad con
respecto al dominio. Pero vamos a dejar el estudio de estas propiedades hasta el
proximo captulo.
Antes vamos a ver que la integral de Lebesgue generaliza a la de Riemann,
en el sentido de que si E es un rectangulo y f : E R es integrableRiemann,
entonces f es medible,R integrableLebesgue, y ademas las dos integrales
R coinciden. Llamaremos (R) E f a la integral de Riemann de f en E, y (L) E f a la
integral de Lebesgue.
Teorema (Relacion con la Integral de Riemann).

Sea E un rectangulo en Rn, y f : E R una funcion
integrable Riemann. Entonces f es tambien integrable
Lebesgue, y
Z
Z
(R) f = (L) (f )
E
17
AVAVAR
Demostracion:
Observemos en primer lugar que como E es un rectangulo, es un conjunto
medible Lebesgue. Vamos a demostrar que f es medible Lebesgue, que es integrable, y que su integral de Lebesgue coincide con su integral de Riemann.
Como f es integrable Riemann, es acotada, y existe un conjunto Z E con
m(Z) = 0 de modo que la restriccion de f a E \ Z es continua.
Sea G un abierto de R. Podemos poner

f 1 (G) = f 1 (G) Z f 1 (G) (E \ Z)
De estos dos conjuntos f 1 (G)Z Z, luego tiene medida cero y por tanto
es medible Lebesgue.
Y f 1 (G) (E \ Z) = (f |E\Z )1 (G) que es un abierto de E \ Z por la
continuidad de f en ese conjunto, luego existe un abierto U de Rn de modo que
f 1 (G) (E \ Z) = U (E \ Z)
que es medible.
As pues, para todo abierto G de R, f 1 (G) es medible, y por tanto f es
medible Lebesgue.
Por otro lado, de la acotacion de F se tiene que existe M > 0 tal que
|f (x)| M para todo x de E, o lo que es lo mismo, |f | M E . Entonces por
las propiedades de la integral de Lebesgue de funciones medibles no negativas,
Z
Z
|f |
M E = M m(E) = M v(E) <
E
Para demostrar la igualdad entre las dos integrales, supongamos primero que
f es no negativa.
Para cada particion P de E, definimos la funcion simple
X
s(x) =
MR (f ) R (x)
RRP
Esta funcion verifica

0 f (x) s(x) para todo x E, y por las
propiedades de la integral de Lebesgue de funciones medibles no negativas, entonces
Z
Z
X
(L) f (L) s =
MR (f ) m(R) = S(f, P )
E
RRP
Tomando nfimos entre todas las particiones de E, se tiene

Z
Z
(L) f (R) f
E
18
AVAVAR
Definimos ahora la funcion simple
X
k(x) =
mR (f ) R0 (x)
RRP
Esta funcion verifica que

0 k(x) f (x) para todo x E, y por las
propiedades de la integral de Lebesgue de funciones medibles no negativas,
Z
Z
X
(L) f (L) k =
mR (f ) m(R0 ) = S(f, P )
E
RRP
Tomando supremos entre todas las particiones de E, se tiene

Z
Z
(L) f (R) f
E
Para terminar, en el caso general (sin suponer que f es no negativa), basta

considerar las funciones f + y f : Si f es integrable Riemann, tambien f + y f
son integrables Riemann, y ademas como f = f + f , se tiene
Z
Z
Z
Z
Z
Z
+
(R) f = (R) f (R) f = (L) f (L) f = (L) f
E
con lo que queda demostrado el teorema.

19
Teoremas de convergencia
Beatriz Porras
En este captulo tenemos como objetivo demostrar las propiedades mas importantes de la Integral de Lebesgue. tenemos que demostrar todava las propiedades
fundamentales de linealidad y aditividad respecto al dominio, y vamos a estudiar
tambien el comportamiento de la integral frente a los lmites de sucesiones o
series de funciones medibles.
Las propiedades de la integral respecto a los lmites de sucesiones se denominan teoremas de convergencia. Y precisamente gracias a uno de ellos vamos
a poder demostrar de una forma sencilla aquellas dos propiedades que hemos
mencionado.
As que los resultados iran apareciendo de forma un poco desordenada a lo
largo del captulo.
Integral sobre subconjuntos medibles
Empezamos este captulo con un pequeno resultado sobre la integral en un subconjunto de un conjunto medible, y algunas consecuencias, que vamos a utilizar
en los siguientes resultados.
Proposici
on.
Sea E Rn , medible Lebesgue, y f : E R funcion medible no negativa,
o integrable. Sea A E medible Lebesgue. Entonces
Z
Z
f=
f A
A
AVAVAR
f A
Demostracion:
Como A es un conjunto medible, la funcion A es medible, y por tanto f A
es medible Lebesgue.
Supongamos primero que f es no negativa.
Por definicion,
Z
Z
f = sup{ s; s : A R funcion simple , 0 s(x) f (x) x A}
A
y
Z
Z
f A (x) = sup{ t; t : E R funcion simple , 0 t(x) f A (x) x E}
E
Vamos a ver que para cada funcion simple s : A R que verifique 0

s(x) f (x)
para todo x A hay una funci
Ron simple
R t : E R con
0 t(x) f A (x)
para todo x E, tal que A s = E t, y, recprocamente
para cada funcion simple t : E R que verifique 0 t(x) f A (x)
para
todo x E hay unaRfuncionR simple s : A R con 0 s(x) f (x)
para
todo x A tal que A s = E t. As los dos conjuntos que aparecen arriba son
iguales, y por tanto las integrales son iguales.
Sea s : A R una funcion simple en A, tal que 0 s(x) f (x) para
k
X
todo x A. Si s tiene una descomposicion de la forma s(x) =
ai Ai (x),
i=1
con Ai subconjuntos medibles de A, extendemos la definicion de s a E mediante

la funcion
t(x) =
k
X
ai Ai (x) + 0E\A
i=1
t es una funcion simple, que verifica evidentemente 0 t(x) f (x)A (x)

Z
Z
k
X
para todo x de E, y
t=
ai m(Ai ) + 0m(E \ A) =
s
E
i=1
AVAVAR
Recprocamente, si t : E R es una funcion simple con 0 t(x)
f A (x)
para todo x E, necesariamente para cada x E \ A tiene que ser
t(x) = 0, as que
t(x) = t(x)A (x) + 0E\A (x)
P
Si t = m
j=1 bj Bj , podemos poner
t(x) =
m
X
bj Bj A + 0E\A
j=1
y
Z
t=
E
m
X
bj m(Bj A)
j=1
Definimos entonces s como la restriccion de t a A, que tendra una expresion de

la forma
s(x) = t|A (x) =
m
X
bj Bj A
j=1
que verifica 0 s(x) = t(x) f (x) si x A, y

Z
s=
A
m
X
Z
bj m(Bj A) =
t
E
j=1
Si f es una funcion integrable, no necesariamente no negativa, se tiene

Z
f=
A
f A
f =
A
Ahora bien, (f + A )(x) = (f A )+ (x)

Por tanto, sustituyendo arriba,
Z
Z
f=
f A
A
f A
(f A )(x) = (f A ) (x)
AVAVAR
Consecuencias:
1. Si f es una funcion medible no negativa
Z en E,
Z y A, B son subconjuntos
medibles de E con A B, entonces
f
f
A
En efecto, basta tener en cuenta que si A B, A B

2. Si f es una funcion medible no negativa oZintegrable en E, y A es un
subconjunto de E con m(A) = 0, entonces
f =0
A
En efecto, podemos suponer que f es no negativa, y luego razonar con f +

y f . Entonces f A es una funcion medible y no negativa, y f A (x) = 0
para casi todo x de E (para todo x de E \ A), luego
Z
Z
Z
f=
f A =
0=0
A
Z
3. Si f es una funcion medible no negativa en E, y
f = 0, entonces
E
f (x) = 0 en casi todo punto de E.

En efecto, si llamamos
A = {x E : f (x) > 0},
E : f (x) 1/n},
tenemos que:
[
An
An An+1 para todo n N;
y
A=
An = {x
n=1
Entonces m(A) = limn m(An ). Si fuese m(A) > 0, existira algun n0 tal
que m(An0 ) > 0, y entonces
Z
Z
Z
1
1
f
= m(An0 ) > 0
f
n0
E
An0
An0 n0
contra la hipotesis de que f tena integral 0 en E.
AVAVAR
Convergencia Mon
otona
Vamos a demostrar ahora algunos de los teoremas mas importantes de la teora

integral de Lebesgue.
El primer teorema de convergencia se da para sucesiones crecientes de funciones no negativas. De el obtendremos varias consecuencias, entre las que se
encuentra la demostracion de la linealidad de la integral.
Teorema (de Convergencia Monotona).

Sea E Rn un conjunto medible Lebesgue, y sea {fn}nN
una sucesion no decreciente de funciones medibles no negativas, tales que para todo x E existe f (x) = lim fn(x).
n
Entonces f es medible, no negativa, y
Z
Z
fn
f = lim
n
Demostracion:
Ya hemos visto que el lmite puntual de funciones medibles es medible, luego
f es medible.
Ademas, para todo x E, fn (x) 0, luego f (x) = limn fn (x) 0
Y como {fn }n es no decreciente, dado x en E,
fn (x) fn+1 (x)
para
todo n ZN, luego fn (x) f (x) para todo n, y para
Z todo Zx E. Entonces
Z
fn
E
para todo n N y por tanto
fn
lim
n
f
E
Hay que demostrar la otra desigualdad, para loZ que veremos

Z que para toda
funcion simple s con 0 s f en E, se tiene
s lim fn
E
Sea s una funcion simple, tal que 0 s(x) f (x) para todo x de E. Y sea
un numero real, con 0 < < 1
Definimos para cada n N el conjunto An = {x E : fn (x) s(x)}
AVAVAR
f
s
fn
An
An
An
An
Se tiene que cada An es medible, y que

Z
Z
Z
Z
s
s =
fn
fn
An
An
An
Si s tiene una expresion de la forma
s(x) =
k
X
bj Bj ,
entonces
j=1
Z
s=
An
k
X
bj m(Bj An )
j=1
luego
Z
fn
E
k
X
bj m(Bj An )
j=1
y esto para cada n N. Se trata de estudiar que ocurre si n

Ahora bien, como la sucesion {fn }n es no decreciente,
x An fn (x) s(x) fn+1 (x) fn (x) s(x) x An+1
luego {An }n es una sucesion creciente de conjuntos medibles.
[
Ademas E =
An :
n=1
Si x E y s(x) > 0, como f (x) = limn fn (x) s(x) > s(x), existira
algun n0 tal que fn0 (x) s(x), luego x An0
Y si s(x) = 0, trivialmente x An para todo n.
6
AVAVAR
En consecuencia, para cada j entre 1 y k, fijo, la sucesion {Bj An }n es
creciente, y
(Bj An ) = Bj (
n=1
An ) = Bj E = Bj
n=1
de donde limn m(Bj An ) = m(Bj ).

As,
Z
k
k
X
X
lim fn lim(
m(Bj An )) =
bj lim m(Bj An ) =
n
k
X
j=1
j=1
Z
bj m(Bj ) =
s
E
j=1
Y esto para todo con 0 < < 1. Haciendo que tienda a 1, se tiene
Z
Z
lim fn
s
n
Por ultimo, tomando supremos entre todas las funciones simples s con 0
s f en E, se tiene
Z
Z
f
lim fn
n
lo que termina la demostracion.

Observaciones:
El teorema es cierto aunque las condiciones del enunciado se verifiquen en casi
todo punto de E solamente:
Sea E Rn un conjunto medible Lebesgue, {fn }n una sucesion de funciones medibles en E no negativas, y f una funcion en E no negativa, tales
que:
Para cada n N existe un conjunto Zn E con m(Zn ) = 0 tal que
fn (x) fn+1 (x) para todo x E \ Zn
Existe un conjunto Z0 E tal que para todo x E \ Z0 f (x) = lim fn (x).
n
Z
Z
Entonces f es medible y
f = lim
fn
E
AVAVAR
En efecto, basta definir el conjunto Z =
Zn , que verifica m (Z)
n=0
n=0 m(Zn ) = 0, luego es medible, y las funciones gn = fn E\Z y g = f E\Z ,

que son medibles, e iguales a fn y a f en casi todo punto, respectivamente.
Ademas gn (x) gn+1 (x) para todo x E y para todo n N, y g(x) =
limn gRn (x) para todo
R x E. Aplicando el caso anterior a estas funciones se
tiene E g = limn E gn y por tanto
Z
Z
Z
Z
f=
g = lim gn = lim fn
E
Una de las aplicaciones que vamos a utilizar de este teorema es la extension

de la integral de Riemann a funciones no acotadas, o a funciones definidas en
dominios no acotados, utilizando sucesiones crecientes de conjuntos medibles
Jordan en los que podamos utilizar la integral de Riemann, y el siguiente corolario:
Corolario 1.
Sea E Rn medibleLebesgue, y sea f : E R una funcion medible no
negativa. Sea {An }nN una sucesi
on no decreciente de conjuntos medibles (An
S
An+1 para todo n), tal que E =
n=1 An . Entonces
Z
Z
f = lim
f
E
An
Demostracion: Consideremos las funciones fn = f An . Son funciones medibles,

no negativas, y ademas al ser la sucesion de conjuntos creciente, tambien para
todo x E se tiene fn (x) fn+1 (x) para todo n N.
Mas aun, para cada x E, existe un numero n0 tal que x An para todo
n n0 , luego fn (x) = f (x) para todo n n0 . Es decir, limn fn (x) = f (x).
Aplicando el teorema de convergencia monotona,
Z
Z
Z
Z
f = lim fn =
f An =
f
E
An
N
Otra consecuencia del Teorema de convergencia monotona y el teorema de
aproximacion de funciones medibles por funciones simples es la linealidad de la
integral.
AVAVAR
Corolario 2 (Integral de la suma de funciones no negativas).
Sea E Rn medibleLebesgue, y sean f, g : E R funciones medibles no
negativas. Entonces
Z
Z
Z
(f + g) =
f+
g
E
Demostracion: Podemos construir dos sucesiones no decrecientes de funciones

simples no negativas, {sn } y {tn }, y tales que sn (x) f (x) y tn (x) g(x) para
todo x de E. Entonces {sn + tn } es una sucesion no decreciente de funciones
simples, no negativas, que tiende a f + g; aplicando el teorema de convergencia
monotona a f , g y f + g, f + g es medible, no negativa, y
Z
Z
Z
Z
Z
Z
(f + g) = lim( sn + tn ) = lim( sn +
tn ) =
f+
g
n
N
Lema 1.
Sean E Rn medibleLebesgue y f : E R. Supongamos que existen
dos funciones g, h : E Z R no negativas,
Z
Z integrables, tales que f = g h.
Entonces f es integrable y
f=
g
h
E
Demostracion: En primer lugar, f sera medible por ser diferencia de funciones

medibles.
En segundo lugar, si f = g h, entonces |f | |g| + |h|, luego
Z
Z
Z
|f |
|g| +
|h| <
E
Por tanto f es integrable.

Ademas, como f = f + f , se tiene
f+ f = g h
f+ + h = g + f
Aplicando las propiedades de la integral de funciones no negativas,

Z
Z
Z
Z
Z
Z
+
+
f +
h = (f + h) = (g + f ) =
g+
f
E
luego
Z
f=
E
Z
g
f =
E
h
E
AVAVAR
Corolario 3 (Linealidad de la Integral).
Sea E Rn medibleLebesgue,
Z y sean f,Zg : E
Z R funciones integrables.
a) f + g es integrable y (f + g) =
f+
g
E
EZ
E
Z
b) Para todo R, f es integrable, y
f = f
E
Demostracion:
a) f + g es medible
por serZsuma de funciones
Ademas |f + g|
Z medibles.
Z
Z
|f + g| (|f | + |g|) =
|f | +
|g| < ,
as que
|f | + |g|, luego
E
f + g es integrable.
Y aplicando el lema anterior, como f + g = f + + g + f g ,
Z
Z
Z
+
+
(f + g) =
(f + g ) (f + g ) =
E
E
ZE
Z
Z
Z
Z
Z
+
+
=
f +
g
f
g =
f+
g
E
b) Para todo R, f es medible. Ademas

Z
Z
Z
|f | =
|||f | = || |f | <
E
luego f es integrable.
Si 0, (f )+ = (f + ) y (f ) = (f ), luego
Z
Z
Z
Z
+
f =
(f )
(f ) = f
E
Y si < 0, (f )+ = ()f y (f ) = ()f + , luego

Z
Z
Z
Z
+
f = ()f ()f = f
E
N
Y como consecuencia de la linealidad, la aditividad con respecto al dominio
de integracion.
Corolario 4 (Aditividad respecto al dominio).
Sea E Rn medible Lebesgue, y f : E R medible, no negativa o
integrable. Sean A, B E medibles Lebesgue, con A B = . Entonces
Z
Z
Z
f=
f+
f
AB
10
AVAVAR
Demostracion: Basta tener en cuenta que al ser A y B disjuntos, (AB) N
=
A + B , y utilizar el corolario anterior.
Corolario 5.
Sea E Rn medible Lebesgue, y {fn }n una sucesion de funciones medibles
no negativas de E en R. Sea f : E R tal que para casi todo x E
X
f (x) =
fn (x). Entonces f es medible, y
n=1
Z
f=
E
Z
X
fn
n=1
Demostracion: Basta tener en cuenta que
fn (x) = lim
n=1
las funciones gN (x) =
N
X
N
X
fn (x), y definir
n=1
fn (x), que seran medibles, no negativas, y formaran
n=1
una sucesion no decreciente. Aplicando el teorema de convergencia monotona y

la linealidad de la integral,
Z
f (x) =
Z X
Z
fn (x) = lim
N
E n=1
gN (x) = lim
N
N Z
X
n=1
fn (x) =
Z
X
n=1
fn (x)
N
Corolario 6.
Sea E Rn medibleLebesgue, {fn }n una sucesion no decreciente de funciones
integrables de E en R,y f : E R tales que
f (x) = lim fn (x) para casi
n Z
Z
Z
todo x E y lim fn < . Entonces f es integrable y
f = lim fn
n
Demostracion: Basta considerar la sucesion (fn f1 )n , que sera tambien no

decreciente y formada por funciones no negativas. Aplicando el teorema de
convergencia monotona, (f f1 ) = lim(fn f1 ) es medible, y
n
Z
(f f1 ) = lim
Z
(fn f1 ) = lim
11
Z
fn
f1 <
E
AVAVAR
Por tanto, (f f1 ) es integrable, luego f = (f f1 ) + f1 tambien es integrable,
y ademas
Z
Z
Z
Z
f = (f f1 ) +
f1 = lim fn
E
N
El mismo resultado es cierto para sucesiones no crecientes, como se demuestra
cambiando fn por (fn ) y f por (f ).
Convergencia Dominada
Corolario 7 (Lema de Fatou).

Sea E Rn medible Lebesgue, y {fn }n una sucesion de funciones medibles no
negativas de E en R, tales que para todo x E existe lim inf fn (x). Entonces
n
Z
lim inf fn lim inf
n
fn
E
Demostracion:
Por definicion, lim inf fn = lim(inf fk ). Definamos entonces para cada n
n
kn
N gn (x) = inf fk (x)

kn
Las funciones gn son medibles, no negativas, y forman una sucesion no decreciente. Aplicando el teorema de convergencia monotona,
Z
Z
Z
Z
Z
lim inf ff =
lim gn = lim gn = lim inf
gn lim inf
fn
E
pues gn fn para todo n.
Lema 2.
Sea E Rn medibleLebesgue, y sean f, g : E R dos funciones tales que
f = g en casi
Z todoZpunto de E. Si f es integrable, entonces g tambien es
integrable y
f=
E
g.
E
Demostracion: Como f es medible, razonando como en el caso de funciones

medibles no negativas, g tambien es medible. Ademas |fZ| y |g| son
Z funciones
no negativas, y |f | = |g| en casi todo punto de E, luego
|f | =
E
tanto g es integrable.
12
|g|, y por
E
AVAVAR
Por ultimo, si f = g en casi todo punto, tambien f + = g + y f = g en
casi todo punto, luego
Z
Z
Z
Z
Z
Z
+
f=
f
f =
g
g =
g
E
13
AVAVAR
Veamos ahora el segundo teorema de convergencia:
Teorema (de Convergencia Dominada).

Sea E Rn medibleLebesgue. Sea {fn}n una sucesion
de funciones medibles de E en R, g una funcion integrable
no negativa en E, y f : E Rn, de modo que:
1. para todo n N, |fn(x)| g(x) para casi todo
xE
2. para casi todo x E, f (x) = lim fn(x)
n
Z
Z
f = lim fn
Entonces f es integrable y
E
Demostracion:
I(Saltar al final de la demostracion)
Supongamos en primer lugar que las condiciones (1) y (2) se cumplen en todo
el conjunto E: para todo n N
|fn (x)| g(x)
y
lim fn (x) = f (x),
n
para todo x E
Entonces f es medible por ser lmite puntual de funciones
medibles.
R
R
Cada funcion fn es integrable, pues si |fn | g, E |fn | E g < . Y
tambien f es integrable, pues si f (x) = lim fn (x), entonces
n
|f (x)| = lim |fn (x)| g(x)

n
luego
Z
Z
|f |
g<
E
Solo hay que probar por tanto la igualdad del lmite y la integral.
Para tener funciones no negativas, consideremos las funciones fn + g:
Se tiene
|fn (x)| g(x) g(x) fn (x) g(x) 0 fn (x) + g(x) 2g(x)
para todo x de E
Y
lim(fn (x) + g(x)) = (f (x) + g(x))
n
14
para todo x de E.
AVAVAR
Aplicando el Lema de Fatou,
Z
lim(fn + g) lim inf
(f + g) =
E
(fn + g) = lim inf

n
Z
fn +
g
E
de donde se deduce que

Z
Z
f lim inf
fn
n
Para la otra desigualdad, consideremos la sucesion de funciones (fn )n : son

funciones medibles, verifican | fn | g en E, y limn (fn )(x) = (f )(x) para
todo x de E. Repitiendo el proceso anterior,
Z
Z
(f ) lim inf
(fn ) = lim sup
Z
n
fn
E
En consecuencia
Z
Z
Z
Z
f lim inf
fn lim sup fn
lim sup fn
n
luego las dos desigualdades deben ser igualdades, y

Z
Z
f = lim fn
E
En el caso general, existe un conjunto Z0 E tal que limn fn (x) = f (x)

para todo x de E \ Z0 , y m(Z0 ) = 0. Y para cada n N existe un conjunto
Zn E con m(Zn ) = 0 y |fn (x)| g(x) para todo x de E \ Zn
[
X
Definimos entonces Z =
Zn , que verifica m(Z)
m(Zn ) = 0,
n=0
luego en particular es medible; y si
xE\Z =
n=0
(E \ Zn )
se verifican a
n=0
la vez
|fn (x)| g(x) para todo n N, y
Consideramos las funciones
h = f E\Z

|hn (x)| =
|fn (x)|
0
si
si
limn fn (x) = f (x).

y hn = fn E\Z Tenemos:
xE\Z
g(x)
xZ
hn (x) n h(x)para todo x de E

15
AVAVAR
y hn son integrables,
Z ya que
Z hn = fn salvo en Z, que es un conjunto de
medida cero; ademas
hn =
fn .
E
E
Z
Z
h = lim hn .
Aplicando el caso anterior, h es integrable, y
n
Por ultimo, como

h Z= f salvo en Z, que es un conjunto de medida cero, f
Z
es integrable, y
f=
h.
E
Por tanto
Z
Z
Z
Z
f=
h = lim hn = lim fn
E
Corolario 8.
Sea E Rn medibleLebesgue, y {fn }n una
funciones integrables
Xsucesion de X
en E. Si para casi todo x E,
f (x) =
fn (x),
|fn (x)| <
y
n
n
!
Z
X
|fn | < ,
entonces f es integrable, y
E
Z X
E
fn =
XZ
fn
Demostracion: Podemos suponer como en los teoremas anteriores, que las condiciones se verifican en todos los puntos de E.
k
X
fn (x); gk son funciones medibles, y verifican
Definamos gk (x) =
n=1
lim gk (x) =
k
fn (x) = f (x)
n=1
para todo x de E. Ademas

|gk (x)|
k
X
|fn (x)|
n=1
|fn (x)|
n=1
y por hipotesis la funcion g(x) =
|fn (x)| es integrable. As, aplicando el
n=1
teorema de convergencia dominada, f es integrable y

Z
Z
Z X
k
k Z
Z
X
X
f (x) = lim gk = lim
fn (x) = lim
fn (x) =
fn (x)
E
E n=1
16
n=1
n=1
AVAVAR
N
Para terminar, utilizando los teoremas de convergencia, vamos a ver la relacion
entre la integral de Riemann Impropia y la Integral de Lebesgue.
Teorema (Integral de Riemann Impropia Integral de Lebesgue).
a) Sea I = [a, b) un intervalo en R, a < b , y sea f : I R no negativa integrable en sentido impropio de Riemann en I. Entonces f es integrable
Lebesgue en I y
Z
Z
b
f = (L)
(R)
a
f
I
b) Sea I = [a, b) un intervalo en R, a < b , y sea f : I R tal que

|f | es integrable en sentido impropio de Riemann en I. Entonces f es integrable
Lebesgue en I y
Z
Z
b
f = (L)
(R)
Hay funciones integrables en sentido de Riemann Impropio que no son integrables Lebesgue, debido a que la Integral de Lebesgue exige que la integral del
modulo de f sea finita, lo que se corresponde con las integrales absolutamente
convergentes en sentido impropio.
17
Funciones definidas por integrales. Derivacion

bajo el signo de integral
Beatriz Porras
Teorema Fundamental del C

alculo
Vamos a considerar dos clases de funciones, definidas como integrales de otras

funciones
Z t
F (t) =
f (x)dx
a
donde f : R R, y
Z
F (t) =
f (x, t)dx
A
donde f : Rn R R
El primer tipo de integrales son las integrales indefinidas, y tienen para la
integral de Lebesgue un comportamiento similar al teorema fundamental del
calculo demostrado para la integral de Riemann.
El segundo tipo de funciones se llaman integrales parametricas, y estudiaremos condiciones para determinar la continuidad y la derivabilidad de F (t).
Z b
Z
La notacion
f (x)dx corresponde a
f (x)dx si a b, y como en
a
[a,b]
la
de funciones de una variable, si a > b se entiende
Z bintegral de Riemann
Z a
f (x)dx =
f (x)dx
a
AVAVAR
Teorema (Fundamental del Calculo).

Sea I un intervalo real, y sea f : I R una funcion
integrable Lebesgue
Z en I Sea a I fijo, y definamos la
t
f (x)dx para todo t I. Entonces F
funcion F (t) =
a
es continua en I. Ademas, si f es continua en un punto

t0 I entonces F es derivable en t0 y F 0(t0) = f (t0)
Demostracion:
Sea b I fijo, b > a, y vamos a ver que F es continua en b. Sea {sk }k
una sucesion en I que converja a b, y consideremos las funciones caractersticas
[a,sk ] (x)
Si x [a, b), como sk b, existe algun k0 tal que para todo k k0 se tiene
sk > x, y por tanto
[a,sk ] (x) = 1 = [a,b) (x)
Y si x 6 [a, b], tambien como sk b, existe k1 tal que para todo k k1 se
tiene sk < x y por tanto [a,sk ] (x) = 0 = [a,b) (x)
k
Es decir, [a,sk ] (x) [a,b) (x) para todo x I excepto quiza para el punto
b
Sea entonces fk = f [a,sk ]
fk son funciones medibles, por ser producto de funciones medibles.
Para todo x I, x 6= b, se tiene lim fk (x) = f (x)[a,b) (x)
k
|fk (x)| |f (x)| para todo x I y para todo k.

Como f es integrable por hipotesis, podemos aplicar el teorema de convergencia dominada a la sucesion fk , y tenemos
Z
Z
Z
f [a,b) = lim fk = lim f [a,sk ]
k
es decir
Z
F (b) = lim
k
f [a,sk ] = lim F (sk )

I
por tanto F es continua en b.

La segunda parte de la demostracion se puede hacer de forma analoga a la
del teorema fundamental del calculo para la integral de Riemann.
2
AVAVAR
Sea t0 tal que f es continua en t0 . Entonces dado > 0 existe > 0 tal que
si t I y |t t0 | < , entonces |f (t) f (t0 )| < , o equivalentemente, si t I
y |t t0 | < , se tiene
f (t0 ) < f (t) < f (t0 ) +
Si t t0 se tiene entonces
Z t
(f (t0 ) )(t t0 )
f (x)dx (f (t0 ) + )(t t0 )
t0
y si t t0 se tiene
Z
t0
f (x)dx (f (t0 ) + )(t0 t)
(f (t0 ) )(t0 t)
t
Rb
Ra
En cualquier caso (poniendo a f = b f )
Rt
f (x)dx
(f (t0 ) ) t0
(f (t0 ) + )
t t0
o equivalentemente
Rt
f (x)dx
f (t0 )
t0
t t0
si t I y 0Z < |t t0 | <
t
Como
f (x)dx = F (t) F (t0 ), tenemos que si t I y 0 < |t t0 | < ,
t0

F (t) F (t0 )

f (t0 )

t t0
es decir, F (t) es derivable en t0 , y
F 0 (t0 ) = lim
tt0
F (t) F (t0 )
= f (t0 )
t t0
Ejercicio:
Demostrar la primera parte del teorema cuando b a
Observacion: Si f no es continua en ningun punto, la segunda mitad del
teorema no tiene sentido. Sin embargo uno de los teoremas importantes de la
teora de integracion es que de hecho F 0 (s) = f (s) en casi todo punto, tanto si
f es continua como si no. Pero esto no podemos demostrarlo ahora.
3
AVAVAR
Integrales Param
etricas
Vamos a estudiar ahora algunas aplicaciones a las llamadas integrales parametricas.

Consideramos una familia de funciones dependientes de un parametro real t
I R, del tipo ft (x, y) = sen(t(x2 + y 2 )) para x E Rn . Esta familia de
funciones se puede describir como una funcion en E I
f : E I R
(x, t) f (x, t) = ft (x)
de modo que para cada valor de t I tenemos una funcion de varias variables
f (., t) : E R
x f (x, t)
Y tambien para cada x E tenemos una funcion real de una variable real
f (x, .) : I R
t f (x, t)
Llamamos integral parametrica a la funcion F : I R definida por
Z
F (t) =
f (x, t)dx
E
cuando esta integral existe

Para este tipo de funciones se pueden demostrar los dos teoremas siguientes,
sobre continuidad y derivabilidad.
AVAVAR
Teorema (Continuidad de las integrales parametricas).

Sea I un intervalo real, E Rn un conjunto medible
Lebesgue, y f : E I R verificando:
a) Para cada t I, la funcion f (., t) es medible Lebesgue,
y existe una funcion g : E R integrable Lebesgue tal
que para todo t I |f (x, t)| g(x) para casi todo x E
b) Para casi todo x E, la funcion f (x, .) es continua
en I
Z
Entonces la funcion F (t) =
f (x, t)dx es continua en
E
Demostracion:
En primer lugar, F esta bien definida, ya que la condicion (a) nos asegura
que para todo t I la funcion f (., t) : E R es integrable.
Para probar que F es continua, sea a I fijo, y sea {tk }k una sucesion de
puntos de I que tienda a a.
Por la condicion (b), existe un subconjunto Z E con m(Z) = 0, tal que
para todo x E \ Z las funciones f (x, .) : I R son continuas. Entonces,
k
si x E \ Z, se tiene f (x, tk ) f (x, a). Es decir, la sucesion de funciones
{f (., tk )}k tiende a la funcion f (., a) en cada punto de E \ Z.
As pues, tenemos una sucesion de funciones medibles, {f (., tk )}kN , que
converge en casi todo punto de E a una funcion f (., a), y que verifican para
todo k N que |f (x, tk )| g(x) para casi todo x E, con g una funcion
integrable en E.
Aplicando el Teorema de Convergencia Dominada,
Z
Z
f (x, a)dx = lim f (x, tk )dx
E
es decir, F (a) = limk F (tk ). Por tanto F es continua en a.

AVAVAR
Teorema (Derivacion bajo el signo de integral).

Sea I un intervalo en R, E Rn un conjunto medible
Lebesgue, y f : E I R verificando:
a) Para todo t I la funcion f (., t) es medible en E,
y existe t0 I tal que f (., t0) es integrable en E
b) Para casi todo x E la funcion f (x, .) es de clase
C 1 en I
c) Existe g : E R integrableLebesgue en E tal
que para todo t I y para casi todo x E se tiene
df
| (x, t)| g(x)
dt
Z
Entonces la funcion F (t) =
f (x, t)dx es de clase C 1
E
en I, y
F 0(t) =
Z
E
df
(x, t)dx
dt
Demostracion:
Primero vamos a ver que F esta bien definida, es decir, que las funciones
f (., t) son integrables.
Por (b), existe un conjunto Z0 E con m(Z0 ) = 0, tal que las funciones
f (x, .) : I R son de clase C 1 para todo x E \ Z0 .
Por (c), existe un conjunto Z1 E con m(Z1 ) = 0 y tal que para todo
x E \ Z1 se tiene

df
(x, t) g(x)

dt
para todo t I donde g es una funcion integrable.
Sea t0 I tal que f (., t0 ) es integrable, segun se indica en el enunciado. Y
sea t I otro punto de I, fijo.
Para todo x E \ (Z0 Z1 ), podemos aplicar el teorema del valor medio a
f (x, .) en [t0 , t], de modo que
f (x, t) f (x, t0 ) =
df
(x, )(t t0 )
dt
6
AVAVAR
para algun [t0 , t], luego

df

|f (x, t)| |f (x, t0 )| + (x, )|t t0 |
dt
|f (x, t0 )| + g(x)|t t0 |
y la funcion f (., t0 )+g(.)|tt0 ) es integrable en E. Por tanto f (., t) es integrable.
df
Veamos ahora que (., t) son medibles, para cada t I
dt
Sea t I fijo; sea hk 0, y definamos las funciones gk (., t) : E R
gk (x, t) =
f (x, t + hk ) f (x, y)
hk
Las funciones gk (., t) son medibles, por ser cociente de funciones medibles, y
df
df
k
(., t) es
para todo x E \ Z0 se tiene
gk (x, t) (x, t) Por tanto
dt
dt
medible (lmite en casi todo punto de una sucesion de funciones medibles)
Y por ultimo veamos que F es derivable y que se verifica
Z
df
0
F (t) =
(x, t)ds
E dt
calculando esta integral.
Las funciones gk (., t) verifican
|f (x, t + hk ) f (x, t)|
|h |
k

|hk |
df
(x, )
dt
|hk |
g(x)
|gk (x, t)| =
para todo x E \ (Z0 Z1 )

Aplicando el Teorema de Convergencia Dominada,
Z
Z
F (t + hk ) F (t)
df
(x, t)dx = lim gk (x, t)dx = lim
k
k
hk
E dt
E
luego efectivamente F es derivable, y ademas
Z
df
0
(x, t)dx
F (t) =
E dt
Que F es de clase C 1 se deduce del teorema anterior.
Ejercicios:
7
AVAVAR
1. Se define la funcion Gamma de Euler como
Z
(t) =
ex xt1 dx
0
para t > 0. Comprobar que (t) esta bien definida, y es una funcion continua en t (0, ) (Sugerencia: para aplicar el teorema de continuidad,
considerar I un intervalo cualquiera [a, b] con a > 0)
Comprobar tambien que para todo t > 0, (t + 1) = t(t), de donde se
deduce que para todo n N, (n + 1) = n!
Demostrar que es infinitamente diferenciable y que para cada n N
Z
(n)
xt1 (log x)n ex dx
(t) =
0
2. En los siguientes casos comprobar que esta bien definida, y calcular 0 (t):
1
2
ln(x + t )dx; t 6= 0
a) (t) =
0
ext
sen xdx
x
xt 1
dx (t > 1)
ln x
b) (t) =
0
tx
te
c) (t) =
Z
dx
d) (t) =
0
3. Calcular las integrales siguientes, derivando con respecto al parametro:
Z
a)
0
1 etx
dx (t > 1)
xex
Z
b)
0
/4
ln(1 + t cos2 x)
dx (t 0)
cos2 x
BIBLIOGRAFIA:
Kennan T. Smith, Primer of Modern Analysis. Springer-Verlag (1983)
J.A. Facenda - F.J. Freniche, Integracion de funciones de varias variables.
Ed. Piramide (2002)

Riemann y Lebesgue

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Riemann y Lebesgue

Enviado por

Direitos autorais:

Formatos disponíveis

Integral de Riemann.

donde (x) es la diferencia entre x y el entero mas proximo cuando x no es un

Integral de Riemann en Rn. Concepto y

La integral de Riemann en Rn es una generalizacion de la integral de funciones

y llamamos volumen de A al producto de las longitudes de sus lados

Una particion P de A define una familia finita de rectangulos, que llamaremos

Si P = {P1 , . . . , Pn } y Q = {Q1 , . . . , Qn } son dos particiones de A, se dice

Dadas dos particiones P y Q de A, llamaremos P Q a la particion formada

Estas sumas superiores e inferiores verifican las siguientes propiedades:

2.- Si P y Q son dos particiones con P Q, entonces

es decir, cuanto mas fina es la particion, la suma inferior es mayor y la superior

3.- Para toda particion P de A,

Y se llama integral superior de f en A a

Las integrales superior e inferior estan bien definidas, en el sentido de que

Ejemplo 1. Toda funcion constante en

En efecto, si P es una particion cualquiera de A, y R es uno de los rectangulos

las dos integrales son iguales, f es integrable, y

Ejemplo 2. La funcion de Dirichlet, f : [0, 1] R definida por

Ejemplo 3. Funciones no integrables en R2

El primer teorema que vamos a demostrar, da una condicion equivalente para

Teorema (Criterio de Integrabilidad de Riemann).

de donde restando las dos desigualdades se obtiene

ya que por ser f integrable

f S(f, P ) S(f, P ) < 

y esto para todo  > 0, luego necesariamente

y por tanto f es integrable en A.

Como consecuencia de este teorema es facil demostrar que toda funcion

6. max{f, g} y min{f, g} son integrables

I (Saltar al final de la demostracion)

(1) Como f y g son acotadas, tambien f + g es acotada.

(f + g) S(f + g, P ) S(f, P ) + S(g, P )

S(f, P ) + S(g, P ) S(f, P 1 ) + S(g, P 2 )

y tomando ahora supremos en P 2

Repitiendo estos argumentos con la parte derecha de la desigualdad, tomando

luego en efecto f + g es integrable, y su integral es la suma de las integrales de

As que tambien f es integrable y

(3) Es trivial, ya que si f (x) 0 para todo x A, entonces

g. Y por (3), como f (x) g(x) 0 para todo

(5) Como f es integrable, en particular es acotada, y por tanto tambien |f |

(MR (|f |) mR (|f |)) v(R)

(MR (f ) mR (f )) v(R) S(f, P ) S(f, P )

Como f es integrable, aplicando el Criterio de Riemann, dado  > 0 existe

(6) Basta observar que para cada cada x A

f (x) + g(x) + |f (x) g(x)|

f (x) + g(x) |f (x) g(x)|

y aplicar las propiedades anteriores.

Si R es uno de los rectangulos definidos por esa particion, tenemos

mR (f 2 ) = inf{f 2 (x), x R} = inf{|f (x)|2 , x R} =

Aplicando el criterio de Riemann a la funcion f 2 , esta es integrable.

Para un rectangulo R RP cualquiera, si calculamos para esa particion QR

= S(f, Q) S(f, Q) < 

donde k es el numero de rectangulos definidos por la particion P .

Para calcular la diferencia entre la sumas superior e inferior definidas por

Por tanto f es integrable en A.

y tomando supremos cuando P 0 recorre todas las posibles particiones de A se

y tomando nfimos cuando P 0 recorre todas las posibles particiones de A, se tiene

Las funciones f + y f son funciones no negativas, y cumplen

Conjuntos de Medida Cero y de Contenido Cero

As pues, f cumple el criterio de Riemann, y por tanto es integrable.

De hecho, tambien podemos sumergirP

Analogamente, la semi-recta izquierda se puede sumergir en la union de los

As pues, la recta entera se puede sumergir en una union numerable de

La familia {Ri }iN es un recubrimiento abierto de A, que es compacto, luego

as que A tiene contenido cero.

f S(f, P ) S(f, P ) <

y esto para todo > 0, luego necesariamente

Como f es integrable, aplicando el Criterio de Riemann, dado > 0 existe

= S(f, Q) S(f, Q) <

v(Ri ) < /M

para todo > 0, luego tiene que ser

Si R <2 , R N = , luego para todo x R la oscilacion o(f, x) < .

S(f |R , PR ) S(f |R , PR ) < v(R)

v(Ri ) + v(A) (2M + v(A))

o(f, Ri )v(Ri ) S(f, P ) S(f, P ) < /n

MRi (f )v(Ri ) S(M , P ) <

v(Ri ) es menor que .