Teorema de

Fubini.
Teorema de Fubini
Aplicacion al . . .


1. 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 R
n
, con n 2, podemos descomponerlo como producto cartesiano
de dos rectangulos, A = A
1
A
2
, A
1
en R
p
(p < n) y A
2
en R
q
(q = n p)
A = [a
1
, b
1
] [a
p
, b
p
] [a
p+1
, b
p+1
] [a
n
, b
n
]
A
1
= [a
1
, b
1
] [a
p
, b
p
] A
2
= [a
p+1
, b
p+1
] [a
n
, b
n
]
Los elementos de A los escribiremos como pares (x, y), con x A
1
, e y A
2
, y las funciones
denidas en A como f(x, y)
f : A R, f(x, y) = f(x
1
, . . . , x
p
, y
1
, . . . , y
q
)
Para cada x A
1
jo, podemos considerar la funcion f
x
: A
2
R denida por
f
x
(y) = f(x, y)
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


donde x es una constante, y la variable es y A
2
.
x
f
x
(y) = f(x, y)
y
f
y
(
x
)
=
f
(
x
,
y
)
Y de igual manera, para cada y A
2
jo,podemos considerar la funcion f
y
: A
1
R
denida por
f
y
(x) = f(x, y)
donde y es una constante y la variable es x A
1
.
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Si estas funciones son integrables, sus integrales se escribiran
_
A
2
f
x
=
_
A
2
f
x
(y)dy =
_
A
2
f(x, y)dy
y
_
A
1
f
y
=
_
A
1
f
y
(x)dx =
_
A
1
f(x, y)dy
x

A
2
f
x
(y)dy
y

A
1
f
y
(
x
)
d
x
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Para la funcion inicial f : A R escribiremos
_
A
f(x, y)d(x, y).
Con estas notaciones vamos a demostrar el siguiente teorema
Teorema (de Fubini).
Sean A
1
R
p
y A
2
R
q
dos rectangulos, A = A
1
A
2
, y f de
A en R una funcion integrable. Entonces las funciones
I(x) =
_
A
2
f(x, y)dy y S(x) =
_
A
2
f(x, y)dy
son integrables en A
1
, y ademas se verica
_
A
f(x, y)d(x, y) =
_
A
1
I(x)dx =
_
A
1
S(x)dx
Demostracion: (Saltar al nal de la demostracion)
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Observemos en primer lugar que una particion de A = A
1
A
2
esta formada por una
particion de A
1
y otra de A
2
, = {P, Q} = {P
1
, . . . , P
p
, Q
1
, . . . , Q
q
}. Y cualquier rectangulo
de la particion es de la forma R = R
1
R
2
, producto de un rectangulo de la particion P y
otro de la particion Q, y v(R) = v(R
1
)v(R
2
)
A
1
A
2
R
1
R
2 R
A
1
A
2
R
1
R
2
R
Sea entonces una particion cualquiera de A. Tenemos
S(f, ) =

m
R
(f)v(R) =

R
1

P
,R
2

Q
m
R
1
R
2
(f)v(R
1
)v(R
2
) =
=

R
1

P
_

R
2

Q
m
R
1
R
2
(f)v(R
2
)
_
v(R
1
)
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Sea ahora x
0
R
1
jo. Entonces
m
R
1
R
2
(f) = inf{f(x, y); x R
1
, y R
2
}
inf{f(x
0
, y); y R
2
} = m
R
2
(f
x
0
)
luego

R
2

Q
m
R
1
R
2
(f)v(R
2
)

R
2

Q
m
R
2
(f
x
0
)v(R
2
) =
= S(f
x
0
, Q) I(x
0
) =
_
A
2
f
x
0
Y esto para todo x
0
R
1
, luego tomando nmos cuando x
0
pertenece a R
1
, tenemos

R
2

Q
m
R
1
R
2
(f)v(R
2
) m
R
1
(I)
y por tanto
S(f, )

R
1

P
m
R
1
(I)v(R
1
) = S(I, P)
Analogamente se prueba que S(f, ) S(S, P)
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


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 A
1
.
Ademas se deduce de las desigualdades anteriores que
S(f, ) S(I, P)
_
A
1
I
_
A
1
I S(I, P) S(f, )
para toda particion de A, luego
_
A
f(x, y)d(x, y) =
_
A
1
I(x)dx =
_
A
1
_
_
A
2
f(x, y)dy
_
dx
Y analogamente se puede obtener
_
A
f(x, y)d(x, y) =
_
A
1
__
A
2
f(x, y)dy
_
dx
(Volver al enunciado)
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


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 funcion integrable en un rectangulo A = A
1
A
2
, las funciones I(y) =
_
A
1
f(x, y)dx
y S(y) =
_
A
1
f(x, y)dx son integrables en A
2
, y ademas
_
A
f(x, y)d(x, y) =
_
A
2
I(y)dy =
_
A
2
S(y)dy
2. Si f es continua en A, cada una de las funciones f
x
: A
2
R es tambien continua, y
por tanto integrable, as que
I(x) =
_
A
2
f
x
(y)dy =
_
A
2
f
x
(y)dy = S(x) =
_
A
2
f
x
(y)dy
de modo que
_
A
f(x, y)d(x, y) =
_
A
1
__
A
2
f(x, y)dy
_
dx
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Analogamente, cada una de las funciones f
y
: A
1
R es continua, y por tanto integrable,
de modo que
_
A
f(x, y)d(x, y) =
_
A
2
__
A
1
f(x, y)dx
_
dy
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 f
x
o f
y
pueden no ser integrables.
Ejemplo 1. Funcion integrable
Consideremos la funcion
f(x, y) =
_
_
_
0 si x Q
0 si x Q; y Q
1/q si x Q; y = p/q fraccion irreducible
denida 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] jo tenemos:
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Si y Q, f
y
(x) = 0 para todo x [0, 1], y por tanto
_
A
1
f
y
(x)dx =
_
1
0
0dx = 0
pero si y = p/q Q, entonces
f
y
(x) =
_
0 si x Q
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
f(x, y) =
_

_
1
y
2
si 0 < x < y < 1
1
x
2
si 0 < y < x < 1
0 en el resto
denida en A = [0, 1] [0, 1]
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Si aplicamos directamente el teorema para integrar primero respecto de y y luego respecto
de x tenemos:
Para cada x
0
[0, 1] jo,
1
x
2
0
1
y
2
y
1
x
0 0
f
x
0
(y) =
_

_
1
x
2
0
si 0 < y < x
0
1
y
2
si x
0
< y < 1
0 si y = 0, y = x
0
,
o y = 1
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


que es integrable (solo tiene tres puntos de discontinuidad), y verica
_
A
2
f
x
0
(y)dy =
_
x
0
0
1
x
2
0
dy +
_
1
x
0
1
y
2
dy =
=
y
x
2
0
_
y=x
0
y=0
+
1
y
_
1
y=x
0
=
1
x
0
1 +
1
x
0
= 1
Y si planteamos la integral en el orden contrario:
Para cada y
0
[0, 1] jo,
f
y
0
(y) =
_

_
1
y
2
0
si 0 < x < y
0
1
x
2
si y
0
< x < 1
0 si x = 0, x = y
0
, x = 1
que es integrable (solo tiene tres puntos de discontinuidad), y verica
_
A
1
f
y
0
(x)dx =
_
y
0
0
1
y
2
0
dx +
_
1
y
0
1
x
2
dx =
=
x
y
2
0
_
x=y
0
x=0
+
1
x
_
1
x=y
0
=
1
y
0
+ 1 +
1
y
0
= 1
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


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 denida la integral de Riemann de f en
A)
4. El teorema tiene un aspecto particular cuando se aplica para integrar funciones denidas
en conjuntos medibles Jordan.
Supongamos que M es medible Jordan en R
n
, y que A = A
1
A
2
es un rectangulo que
contiene a M. Y sea f : R
n
R una funcion integrable en M. Seg un la denicion
de integral de una funcion sobre un conjunto medible Jordan, y aplicando el Teorema de
Fubini,
_
M
f =
_
A
f
M
=
_
A
1
_
_
A
2
f(x, y)
M
(x, y)dy
_
dx
Es decir, para cada x
0
A
1
jo hay que calcular
_
A
2
f(x
0
, y)
M
(x, y)dy
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Ahora bien, jo x
0
A
1

M
(x
0
, y) =
_
1 si (x
0
, y) M
0 si (x
0
, y) M
=
=
_
1 si y M
x
0
0 si y M
x
0
=
=
Mx
0
(y)
donde M
x
0
= {y A
2
: (x
0
, y) M} es la seccion de M por el subespacio x = x
0
.
A
A
1
x
0
(x
0
, y)
M
x0
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Si cada conjunto M
x
es medible Jordan cuando x A
1
, podemos escribir
_
M
f(x, y)d(x, y) =
_
A
1
_
_
A
2
f(x, y)
Mx
(x, y)dy
_
dx =
=
_
A
1
_
_
Mx
f(x, y)dy
_
dx
o la expresion correspondiente con la integral superior.
Y analogamente, si para cada y A
2
los conjuntos M
y
= {x A
1
: (x, y) M} son
medibles Jordan,
_
M
f(x, y)d(x, y) =
_
A
2
_
_
A
2
f(x, y)
My
(x, y)dx
_
dy =
=
_
A
2
_
_
My
f(x, y)dx
_
dy
o la expresion correspondiente con la integral superior.
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


2. Aplicacion al calculo de vol umenes
Vamos a utilizar el teorema de Fubini como tecnica para el calculo de vol umenes de conjuntos
medibles Jordan. De alguna forma esta ultima seccion justica la idea geometrica en la que se
basa la construccion de la integral como un metodo para calcular el volumen encerrado entre la
graca 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 R
n
. 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 denicion, existe
una familia nita de rectangulos R
1
, . . . , R
k
tales que
M
k
_
i=1
R
i
y
k

i=1
v(R
i
) <
Denimos entonces el conjunto M

k
i=1
R
i
, que es medible Jordan por ser union nita de
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


conjuntos medibles Jordan, y verica
v(M

) = v
_
k
_
i=1
R
i
_

i=1
v(R
i
) <
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

A
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
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


y por tanto
0
_
A

M

_
A

M

_
A

AM
= v(A M

) v(M

) <
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.

Este lema nos permite demostrar el siguiente teorema, sobre el volumen del cuerpo en R
n+1
encerrado entre el dominio y la graca de una funcion integrable no negativa en un conjunto
medible Jordan de R
n
Teorema.
Sea M un conjunto medible Jordan, y f : R
n
R una funcion integrable - Riemann en M no
negativa, f(x) 0 para todo x M. Sea W un conjunto en R
n+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
v(W) =
_
M
f(x)dx
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


M
W
x
f(x)
(x, t)
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 R
n
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
R
n+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) < .
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Para cada rectangulo R R
P
consideramos los conjuntos de R
n+1
C
R
= R [0, M
R
(f)] y A
R
= R
0
(0, m
R
(f))
C
R
es un rectangulo cerrado, y A
R
es un rectangulo abierto.
A
R
C
R
R
Y sean
C =
_
RR
P
C
R
y A =
_
RR
P
A
R
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)
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


y
v(C) v(A)

RR
P
(v(R)M
R
(f))

RR
P
(v(R)m
R
(f)) =
= S(f, P) S(f, P) <
De esta forma tenemos
Fr(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 Fr(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,
v(W) =
_
A

W
(x, t)d(x, t) =
_
M
__
Wx

W
(x, t)dt
_
dx =
=
_
M
_
_
f(x)
0
1dt
_
dx =
_
M
f(x)dx
Segundo paso: si M es un conjunto medible Jordan.
Sea A un rectangulo que contenga a M en R
n
, de modo que g = f
M
es integrable en A.
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


M
W
x
g(x)
(x, t)
A
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
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Aplicando el paso anterior a la funcion g en el conjunto A, W es medible Jordan, y
v(W) =
_
A
g(x)dx =
_
A
f(x)
M
(x)dx =
_
M
f(x)dx
Esto termina la demostracion.
Como consecuencia es muy facil demostrar un caso mas general:
Corolario 1. Sean M un conjunto medible Jordan en R
n
, f : R
n
R y g : R
n
R dos
funciones integrables en M, y W un conjunto en R
n+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
v(W) =
_
M
(f(x) g(x))dx
Otra aplicacion del teorema de Fubini para el calculo de vol umenes de cuerpos en R
n+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 guras planas de area conocida. Pero esto se vera
mejor en los ejemplos.
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Teorema (Principio de Cavalieri).
Sean M un conjunto medible Jordan en R
n+1
, R un rectangulo en R
n
, y [a, b] un intervalo real,
de modo que M R [a, b]. Supongamos que para cada t [a, b] la seccion M
t
= {(x R :
(x, t) M} es medible Jordan en R
n
, y sea v(t) = v(M
t
). Entonces
v(M) =
_
b
a
v(t)dt
a
b
R
M
t
t
Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Demostracion:
Como cada M
t
es medible Jordan,
v(t) =
_
R

Mt
(x)dx
donde para cada t [a, b] jo,

Mt
(x) =
_
1 si x M
t
0 si x M
t
=
=
_
1 si (x, t) M
0 si (x, t) M
=
=
M
(x, t)
Luego v(t) =
_
R

M
(x, t)dx
Aplicando el teorema de Fubini
v(M) =
_
R[a,b]

M
(x, t)d(x, t) =
_
b
a
__
R

M
(x, t)dx
_
dt =
_
b
a
v(t)dt

Teorema de
Fubini.
Teorema de Fubini
Aplicacion al . . .


Ejemplo 3. Calcular el volumen del conjunto M = {(x, y) : x
2
+ y
2
z
2
1}
El conjunto M es la parte interior del cono de la gura, entre z = 0 y z = 1
M es acotado, y su frontera es la union de las gracas de las funciones f(x, y) =
_
x
2
+ y
2
,
y g(x, y) = 1 denidas en el conjunto K = {(x, y) : x
2
+ 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 R
2
, con un argumento similar sobre su acotacion y su frontera)
Para cada valor de z
0
[0, 1], la seccion de M con el plano z = z
0
es el conjunto de puntos
(x, y) que cumple x
2
+ y
2
z
2
0
, que es una circunferencia de centro (0, 0) y radio z
0
. Por tanto
v(z
0
) = z
2
0
, y
v(M) =
_
1
0
v(z)dz =
_
1
0
z
2
dz = /3