Integracion Multiple

Captulo 17
Integracin de Riemann
17.1. Concepto de integral doble
El clculo del rea de un recinto plano limitado por el eje x, las rectas x = a,
y = b, y la grca de la funcin acotada f denida en el intervalo [a, b] condujo
al concepto de integral simple.
El clculo del volumen de un cuerpo limitado por los planos z = 0, x = a,
x = b, y = c, y = d y la grca de la funcin acotada f denida en [a, b] [c, d]
conducir al concepto de integral doble.
En ambos casos las deniciones son totalmente anlogas.
479
Los autores, 2002; Edicions UPC, 2002.
480 CAPTULO 17. INTEGRACIN DE RIEMANN
Denicin 154 Un rectngulo cerrado de R
2
es el conjunto
U = [a, b] [c, d]
= {(x, y) R
2
: a x b, c y d}
Una particicin P de U es una coleccin de puntos P
1
P
2
en donde
P
1
= {a = x
0
, x
1
, ..., x
n1
, x
n
= b}
y
P
2
= {c = y
0
, y
1
, ..., y
m1
, y
m
= d}
son particiones de los intervalos [a, b] y [c, d], respectivamente. La particin P
determina una coleccin de n m subrectngulos
U
ij
= [x
i1
, x
i
] [y
j1
, y
j
]
con 1 i n y 1 j m, que se llaman subrectngulos de la particin
P. El rea del subrectngulo U
ij
es
a(U
ij
) = (x
i
x
i1
)(y
j
y
j1
)
Designamos por S
P
, o simplemente por S, la coleccin de todos los subrectn-
gulos de la particin de P; es decir,
S = {S : S es un subrectngulo de P}
Denicin 155 Dadas dos particiones P = P
1
P
2
y Q = Q
1
Q
2
de un
rectngulo cerrado U de R
2
, se dice que P es ms na que Q cuando P
1
es
ms na que Q
1
y P
2
es ms na que Q
2
.
De manera alternativa, viendo que una particin est determinada por los
vrtices de sus subrectngulos, P es ms na que Q si y slo si todos los vrtices
contenidos en Q estn en P.
Existe siempre una particin P
0
de U ms na que P y Q; basta tomar
P
0
= (P
1
Q
1
) (P
2
Q
2
).
17.1. CONCEPTO DE INTEGRAL DOBLE 481
Denicin 156 Sean U = [a, b] [c, d], f : U R una funcin acotada y P
una particin de U. Para cada subrectngulo S de P, designemos por
m
S
(f) = inf{f(x, y) : (x, y) S}
y
M
S
(f) = sup{f(x, y) : (x, y) S}
Los nmeros reales
L(f, P) =
X
SS
m
S
(f) a(S)
y
U(f, P) =
X
SS
M
S
(f) a(S)
se llaman, respectivamente, suma inferior y suma superior de f respecto
de la particin P.
Teorema 303 Sean U = [a, b] [c, d] y f : U R una funcin acotada. Se
cumplen las siguientes propiedades:
1. Para toda particin P de U,
L(f, P) U(f, P)
2. Si P y Q son dos particiones de U tales que P es ms na que Q, entonces
L(f, Q) L(f, P) y U(f, P) U(f, Q)
3. Para todo par de particiones P y Q de U, se cumple
L(f, P) U(f, Q)
Demostracin: La demostracin es anloga a la correspondiente para fun-
ciones de una variable; ver la unidad Integral de Riemann en Clculo I.
Denicin 157 Sean U = [a, b] [c, d] y f : U R una funcin acotada. Los
nmeros reales
L(f) = sup{L(f, P) : P es una particicin de U}
y
U(f) = inf{U(f, P) : P es una particin de U}
se llaman, respectivamente, integral inferior y integral superior de f en
U.
Observacin 161 Puesto que f es una funcin acotada en U, la existencia de
los nmeros m
S
(f) y M
S
(f) est garantizada. Adems, si a(U) = (b a)(dc)
es el rea de U, M es el supremo de f en U y m es el nmo de f en U,
cualquiera que sea la particin P, es claro que se cumple
m a(U) L(f, P) U(f, P) M a(U)
Por tanto, los conjuntos de todas las sumas superiores y de todas las sumas
inferiores estn acotados por ma(U) y Ma(U) y, en consecuencia, las integrales
superior e inferior existen siempre, pues, todo conjunto acotado de nmeros
reales posee supremo e inmo. Del apartado 3 teorema anterior ??? se deduce
enseguida que se cumple
L(f) U(f)
Denicin 158 Sean U = [a, b] [c, d] y f : U R una funcin acotada.
Se dice que f es Riemann integrable en U, o simplemente integrable en U,
cuando
L(f) = U(f)
En este caso la integral de Riemann de f en U es el nmero real L(f) = U(f)
y se designa por
Z
U
f o por
Z
U
f(x, y) dxdy
Observacin 162 1. Como en el caso de la integral simple, tambin la in-
tegral doble tiene una interpretacin sencilla. Supongamos que f es una
funcin continua y positiva denida en el rectngulo U. Cada suma supe-
rior es una aproximacin superior del volumen V que limitan los planos
x = a, x = b, y = c, y = d y la grca de f; del mismo modo, cada suma
inferior es una aproximacin inferior. En otras palabras, cualquiera que
sea la particin P de U, se cumple
L(f, P) V U(f, P)
Como consecuencia, el volumen V es la integral de f en U. En la sigu-
iente gura se ilustra la aproximacin superior e inferior del volumen en
un subrectngulo S
2. Otra notacin usual para la integral de f en A es
Z Z
A
f o por
Z Z
A
f(x, y) dxdy
Teorema 304 (Criterio de integrabilidad de Riemann) Sean U = [a, b]
[c, d] y f : A R una funcin acotada. Entonces f es integrable en U si y slo
si para cada > 0 existe una particin P
de A tal que
U(f, P
) L(f, P
) <
Demostracin: Si se cumple esta condicin es claro que L(f) = U(f) y f es
integrable en U. Recprocamente, si f es integrable en U, entonces para cada
> 0 existen particiones P y P
0
tales que
U(f, P) U(f) <

2
y L(f) L(f, P
0
) <

2
Si tomamos P
00
= P P
0
, entonces P
00
es ms na a la vez que P y P
0
. Del
apartado 2 del teorema anterior ??? se deduce que
U(f, P
00
) U(f, P) y L(f, P
0
) L(f, P
00
)
Por tanto, se tiene
U(f, P
00
) U(f) <

2
y L(f) L(f, P
00
) <

2
y de aqu, por ser f integrable en U, resulta
U(f, P
00
) L(f, P
00
) <
Ejemplo 357 Sean U = [a, b] [c, d] y f : U R una funcin constante, es
decir, f(x) = k para todo x U. Demostrar que f es integrable en U y que
Z
U
f = k a(U)
Solucin: Es claro que para toda particin P de U y en cualquier subrec-
tngulo S de P se cumple
m
S
(f) = M
S
(f) = k
de manera que
L(f, P) = U(f, P) =
X
SS
k a(S)
= k
X
SS
a(S)
= k a(U)
Ejemplo 358 Sea f : U = [0, 1] [0, 1] R denida por
f(x, y) =

0 si x Q
1 si x R Q
Demostrar que f no es integrable en U.
Solucin: Si P es una particin de U, entonces cada subrectngulo S de P
contiene puntos (x, y) con x Q, y tambin puntos (x, y) con x R Q. Por
tanto, m
S
(f) = 0 y M
S
(f) = 1, de manera que
L(f, P) =
X
SS
0 a(S) = 0
y
U(f, P) =
X
SS
1 a(S)
= a(U) = 1
Por tanto, f no es integrable en U.
Denicin 159 Sean U = [a, b] [c, d] y f : U R una funcin acotada. Una
suma de Riemann S(f, P) correspondiente a una particin P de U viene dada
por
S(f, P) =
m
X
k=1
f(
k
) a(S
k
)
en donde
k
es cualquier punto intermedio del subrectngulo S
k
de P, k =
1, ..., m.
Observacin 163 Para una funcin positiva f en U, una suma de Riemann se
puede interpretar como el volumen de la unin de los paraleleppedos con bases
los rectngulos S
k
y alturas f(
k
). Si la particin P es muy na, resulta razon-
able esperar que la suma de Riemann produzca una aproximacin del volumen
bajo la grca de f y, en consecuencia, que est cerca del valor de la integral
de f, siempre que dicha integral exista.
Si f es continua, podemos interpretar las sumas superiores e inferiores para
una particin como sumas de Riemann especiales, pues f alcanza su mximo y
su mnimo en algn punto de cada subrectngulo de la particin. Si f es con-
tinua en todo el rectangulo, entonces la continuidad uniforme de f y la condi-
cin de Riemann implican que f es integrable en dicho rectngulo. De hecho,
demostraremos un resultado ms general en el teorema de Lebesgue ???.
Teorema 305 (Teorema de Darboux) Sean U = [a, b] [c, d] y f : U R
una funcin acotada. Si para cada > 0 existe > 0 tal que si P es cualquier
particin de U en subrectngulos S
1
, ..., S
m
con sus lados de longitud menor que
y S(f, P) es cualquier suma de Riemann correspondiente a P, entonces f es
integrable en U con valor I de su integral si y slo si
|S(f, P) I| <
Demostracin: Probaremos primero que si f satisface la condicin de Dar-
boux, entonces f es integrable en U. En efecto, dado > 0 elegimos > 0 de
manera que si P es una particin de U, S
1
, ..., S
m
son sus subrectngulos con
lados menores que y S(f, P) es cualquier suma de Riemann correspondiente
a P, tenemos
|S(f, P) I| <

2
Tomando los puntos intermedios de manera que
|f(
i
) M
Si
(f)| <

2m a(S
i
)
es decir,
|f(
i
) a(S
i
) M
S
i
(f) a(S
i
)| <

2m
para todo i = 1, ..., m. Entonces tenemos
|U(f, P) S(f, P)| =
m
X
i=1
[M
Si
(f) a(S
i
) f(
i
) a(S
i
)]
m
X
i=1
|M
S
i
(f) a(S
i
) f(
i
) a(S
i
)|
<

2
De aqu obtenemos
|U(f, P) I| |U(f, P) S(f, P)| + |S(f, P) I| <
Al ser arbitrario se deduce que U(f) I. El caso de las sumas inferiores es
anlogo, obtenindose I L(f). Por tanto, I L(f) U(f) I y, como
consecuencia, f es intregrable en U y el valor la integral es I.
Recprocamente, probaremos que si f es integrable en U, entonces f satisface
la condicin de Darboux. En efecto, sea P una particin de U y > 0. Primero
mostraremos que existe > 0 tal que para cada particin P
0
en subrectngulos
con lados menores que , la suma de las reas de los subrectngulos de P
0
que
no estn totalmente contenidos en algn subrectngulo de P es menor que . En
efecto, supongamos que la particin P consta de los subrectngulos S
1
, ..., S
m
y sea K la longitud total de las aristas situadas entre dos subrectngulos cua-
lesquiera de P. Sea
=

K
y P
0
cualquier particin de U en subrectngulos con lados de longitud menor .
Para cualquier subrectngulo S de P
0
tal que no est contenido en algn S
i
, S
interseca dos subrectngulos adyacentes de P. Se puede ver que
a(S) = kL L
donde L es la longitud de la arista entre dos subrectngulos de P contenidos en
S.
De este modo, tenemos
X
SS
0
a(S) < K =
Finalmente, probaremos que f cumple la condicin de Darboux. En efecto,
como f est acotada, existe M > 0 tal que |f(x)| < M para todo U. Por ser f
integrable, existen particiones P
1
y P
2
tales que
I L(f, P
1
) <

2
y U(f, P
2
) I <

2
Escogemos una particin P ms na que P
1
y P
2
; por ejemplo, P = P
1
P
2
.
Entonces se cumple
I L(f, P) <

2
y U(f, P) I <

2
Segn lo que hemos mostrado anteriormente, existe > 0 tal que para toda par-
ticin P
0
de U en rectngulos S
1
, ..., S
m
con lados de longitud menor que , la
suma de las reas de los subrectngulos no contenidos en algn subrectngulo de
P es menor que /2M. Supongamos que S
1
, ..., S
k
son los subrectngulos de P
0
que estn contenidos en algn subrectngulo de P, y que S
k+1
, ..., S
m
, son los
subrectngulos restantes. Entonces, para cualquier suma de Rieman correspon-
diente a P
0
se tiene
S(f, P) =
k
X
i=1
f(
i
) a(S
i
) +
m
X
i=k+1
f(
i
) a(S
i
)
U(f, P) +M

2M
= U(f, P) +

2
< I +
Anlogamente, se tiene
S(f, P) L(f, P)

2
> I
En consecuencia, obtenemos
|S(f, P) I| <
que es lo que queramos probar.
Teorema 306 Sean U = [a, b] [c, d] y f : U R una funcin acotada. Sea
(P
n
: n N) una sucesin de particiones de U tal que
lm
n
(U(f, P
n
) L(f, P
n
)) = 0
entonces f es integrable en U y se verica
lm
n
L(f, P
n
) =
Z
U
f = lm
n
U(f, P
n
)
Demostracin: Por denicin de lmite, dado > 0 existe k N tal que para
todo n k se tiene
U(f, P
n
) L(f, P
n
) <
y, en consecuencia, por el criterio de integrabilidad de Riemann, f es integrable
en U. Como para todo n N se cumple
L(f, P
n
)
Z
U
f U(f, P
n
)
jado > 0, existe k N tal que para todo n k se cumple
U(f, P
n
)
Z
U
f
= U(f, P
n
)
Z
U
f U(f, P
n
) L(f, P
n
) <
y, por tanto,
Z
U
f = lm
n
U(f, P
n
)
y del mismo modo se obtiene
Z
U
f = lm
n
L(f, P
n
)
Teorema 307 Sean U = [a, b] [c, d], f, g : U R dos funciones acotadas e
integrables en U y R. Entonces las funciones f +g, f, fg y |f| son tambin
integrables en U y se verican las siguientes propiedades:
1.
Z
U
(f +g) =
Z
U
f +
Z
U
g
2.
Z
U
f =
Z
U
f
3. Si f(x) g(x) para todo x U, entonces
Z
U
f
Z
U
g
4.

Z
U
f
Z
U
|f|
Demostracin: Se procede de manera anloga a como se hizo para funciones
de una variable; ver la unidad Integral de Riemann de Clculo I; ver tambin el
teorema ??? para deducir estas propiedades a partir del teorema de Lebesgue.
Sin embargo, probaremos la primera propiedad a modo de ejemplo. Puesto
que f es integrable en U, dado > 0 por el teorema ??? existe
1
> 0 tal que si
P
1
es cualquier particin de U en subrectngulos U
1
, ..., U
m
con lados menores
que
1
y S(f, P
1
) es cualquier suma de Riemann correspondiente a P
1
, entonces
S(f, P
1
)
Z
U
f
<

2
Del mismo modo, al ser g integrable en U, existe
2
> 0 tal que si P
2
es cualquier
particin de U en subrectngulos V
1
, ..., V
k
con lados menores que
2
y S(g, P
2
)
es cualquier suma de Riemann correspondiente a P
2
, entonces
S(g, P
2
)
Z
U
g
<

2
Si = mn{
1
,
2
} y P es cualquier particin de U en subrectngulos W
1
, ..., W
r
con lados menores que y tomamos los mismos puntos intermedios considerados
en las sumas de Riemann consideradas anteriormente, entonces
r
X
i=1
(f +g)(
i
)v(W
i
)
Z
U
f
Z
U
g
r
X
i=1
f(
i
)v(W
i
)
Z
U
f +
r
X
i=1
g(
i
)v(W
i
)
Z
U
g
r
X
i=1
f(
i
)v(W
i
)
Z
U
f
r
X
i=1
g(
i
)v(W
i
)
Z
U
g
<
Por el teorema ??? se sigue que f +g es integrable en U y se cumple
Z
U
(f +g) =
Z
U
f +
Z
U
g
17.2. Concepto de integral mltiple
El proceso para establecer el concepto de integral de una funcin real aco-
tada y denida en un rectngulo de R
n
es una repeticin del proceso utilizado
en la integral doble. Por esta razn, aqu slo se mencionarn los conceptos
bsicos para su introduccin. Los resultados obtenidos para la integral doble se
extienden sin ninguna dicultad a rectngulos de R
n
.
Sea U = [a
1
, b
1
] [a
2
, b
2
] [a
n
, b
n
] un rectngulo de R
n
. Para cada
k = 1, ..., n, sea P
k
una particin de [a
k
, b
k
] en un nmero nito de subintervalos
cerrados en R. Esto induce una particin P en U en un nmero nito de sub-
rectngulos cerrados en R
n
. Si P y Q son particiones de U, se dice que P es ms
na que Q si cada subrectngulo de P est contenido en algn subrectngulo
de Q; de manera alternativa, viendo que una particin est determinada por los
vrtices de sus subrectngulos, P es ms na que Q si y slo si todos los vrtices
contenidos en Q tambin estn en P.
17.2. CONCEPTO DE INTEGRAL MLTIPLE 489
Supongamos que U es un rectngulo de R
n
, f : U R es una funcin
acotada y P es una particin de U. Para cada subrectngulo S de la particin
P sea
m
S
(f) = inf{f(x) : x S}
y
M
S
(f) = sup{f(x) : x S}
y sea v(S) el volumen n-dimensional de S (el volumen de un rectngulo U =
[a
1
, b
1
] [a
2
, b
2
] [a
n
, b
n
], y tambin de su interior

U = (a
1
, b
1
) (a
2
, b
2
)
(a
n
, b
n
), se dene como
v(U) = v(
U) = (b
1
a
1
) (b
n
a
n
)
Las sumas inferior y superior de f correspondientes a la particin P estn
denidas por
L(f, P) =
X
S
m
S
(f) v(S)
y
U(f, P) =
X
S
M
S
(f) v(S)
Las sumas inferiores y superiores verican las propiedades habituales. En par-
ticular, el conjunto de las sumas inferiores est acotado superiormente por
cualquier suma superior y el conjunto de las sumas superiores est acotado
inferiormente por cualquier suma inferior, luego existen el supremo y el nmo
de estos dos conjuntos. Por tanto, las integrales inferior y superior de f en
U estn denidas por
L(f) = sup{L(f, P) : P es una particin de U}
y
U(f) = inf{U(f, P) : P es una particicin de U}
Sea U un rectngulo de R
n
. Una funcin

f : A R se llama Riemann
integrable en U, o simplemente integrable en U, si f es acotada y
L(f) = U(f)
Este nmero comn se designa por
Z
U
f
y se llama la integral de f en U. Con frecuencia se utiliza la notacin
Z
U
f(x
1
, ..., x
n
) dx
1
dx
n
El criterio de integrabilidad de Riemann es una condicin necesaria y
suciente para que exista la integral de f en el rectngulo U. Recordemos que
dicha condicin arma que f es integrable en el rectngulo U si y slo si para
cada > 0 existe una particin P
de U tal que
U(f, P
) L(f, P
) <
La demostracin de este hecho es similar al caso de la integral doble.
17.3. Medida y contenido cero
La condicin de integrabilidad de Riemann constituye la primera caracteri-
zacin de la funciones integrables en R
n
. Para ver una segunda caracterizacin,
debida a Lebesgue, necesitamos establecer previamente los conceptos de medida
cero y contenido cero.
Denicin 160 Se dice que un subconjunto A de R
n
tiene medida cero (ndimensional)
cuando para cada > 0 existe una sucesin (U
m
: m N) de rectngulos cerra-
dos tal que
A
[
m1
U
m
y
X
m1
v(U
m
) <
donde v(U
m
) designa el volumen ndimensional del rectngulo U
m
.
Teorema 308 Se cumplen las siguientes propiedades:
1. Un subconjunto A de R
n
tiene medida cero si y slo si para cada > 0
existe una sucesin (U
m
: m N) de rectngulos abiertos tal que
A
[
m1
U
m
y
X
m1
v(U
m
) <
2. Si A R
n
tiene medida cero y B A, entonces B tiene medida cero
3. Si A R
n
tiene un nmero nito de puntos, entonces A tiene medida
cero
4. Si A R
n
tiene innitos puntos que pueden ordenarse de manera que
formen una sucesin x
1
, x
2
, ..., entonces A tiene medida cero
Demostracin: (1) Dado > 0, supongamos que existe una sucesin (U
m
:
m N) de rectngulos abiertos que recubren A con un volumen total menor que
. Es claro que si tomamos V
m
=

U
m
para todo m N, entonces (V
m
: m N) es
una sucesin de rectngulos cerrados que recubren A y con volumen total menor
que . Recprocamente, dado > 0, supongamos que tenemos un recubrimiento
numerable (U
m
: m N) de A mediante rectngulos cerrados con volumen total
menor que /2
n
. Para cada m N, sea V
m
el rectngulo abierto que contiene a
U
m
con el doble de lado. Entonces
v(V
m
) = 2
n
v(U
m
)
y, por tanto,
X
m1
v(V
m
) = 2
n
X
m1
v(U
m
) <
(2) Es inmediato a partir de la relacin B A y se deja como ejercicio para
el lector.
(3) Es evidente y se deja tambin como ejercicio para el lector.
(4) Sea > 0 y elegimos rectngulos cerrados U
i
tales que x
i
U
i
y
v(U
i
) <

2
i
17.3. MEDIDA Y CONTENIDO CERO 491
para todo i = 1, 2, .... Entonces,
X
i1
v(U
i
) <
X
i1
1
2
i
=
Teorema 309 Si A = A
1
A
2
y cada A
i
tiene medida cero en R
n
, entonces
A tiene medida cero en R
n
.
Demostracin: Sea > 0. Puesto que todos los A
i
tienen medida cero, existe
un recubrimiento (U
i1
, U
i2
, ...) de A
i
con rectngulos cerrados tal que
X
j1
v(U
ij
) <

2
i
Entonces, es claro que la coleccin (U
11
, U
12
, ..., ..., U
n1
, U
n2
, ...) es un recubrim-
iento numerable de A. Considerando el siguiente diagrama
V
1
V
2
V
3
% % %
A
11
A
12
A
13

A
21
A
22
A
23

A
31
A
32
A
33

.
.
.
.
.
.
.
.
.
Se ve enseguida que con esta coleccin se puede formar una sucesin V
1
, V
2
, V
3
, ....
Evidentemente se cumple
X
i1
X
j1
v(U
ij
) =
X
i1
v(V
i
) <
X
i1
1
2
i
=
Denicin 161 Se dice que un subconjunto A de R
n
tiene contenido cero
(ndimensional) si para cada > 0 existe un nmero nito de rectngulos
cerrados U
1
, ..., U
m
tales que
A
m
[
i=1
U
i
y
m
X
i=1
v(U
i
) <
donde v(U
i
) designa el volumen n-dimensional del rectngulo U
i
.
Teorema 310 Se cumplen las siguientes propiedades:
1. Cualquier subconjunto nito de R
n
tiene contenido cero
2. Un subconjunto A de R
n
tiene contenido cero si y slo si para cada > 0
existe un nmero nito de rectngulos abiertos U
1
, ..., U
m
tales que
A
m
[
i=1
U
i
y
m
X
i=1
v(U
i
) <
3. Si A R
n
tiene contenido cero y B A, entonces B tiene contenido cero
4. Si A R
n
tiene contenido cero, entonces A tiene medida cero
Demostracin: (1) Si A = {x
1
, ..., x
k
} R
n
, entonces para > 0 escogemos
los rectngulos cerrados U
1
, ..., U
k
tales que x
i
U
i
y
v(U
i
) <

k
para todo i = 1, ..., k. Entonces, es evidente que A tiene contenido cero.
(2) Dado > 0, supongamos que existen rectngulos abiertos U
1
, ..., U
m
que
recubren A con un volumen total menor que . Es claro que si tomamos V
i
=

U
i
(i = 1, ..., m), entonces V
1
, ..., V
m
son rectngulos cerrados que recubren A y
con volumen total menor que . Recprocamente, dado > 0, supongamos que
tenemos un recubrimiento de A mediante rectngulos cerrados U
1
, ..., U
m
con
volumen total menor que /2
n
. Sea V
i
el rectngulo abierto que contiene a U
i
con el doble de lado. Entonces
v(V
i
) = 2
n
v(U
i
) (i = 1, ..., m)
y, por tanto,
m
X
i=1
v(V
i
) = 2
n
m
X
i=1
v(U
i
) <
(3) Es inmediato a partir de la relacin B A y se deja para el lector.
(4) Es obvio y se deja tambin para el lector. El recproco, sin embargo, es
falso como nos muestra el ejemplo de la observacin ???
Ejemplo 359 Si (x
m
)
mN
es una sucesin de puntos de R
n
que converge a
x
0
R
n
, entonces el conjunto X = {x
m
: m 0} tiene contenido cero.
Solucin: Dado > 0, sea U
0
un rectngulo abierto que contiene a x
0
tal
que v(U
0
) < . Por lo tanto, al ser convergente hacia x
0
la sucesin (x
m
)
mN
,
existe k N tal que x
m
U
0
para todo m > k, y entonces podemos tomar
A
i
= {x
i
} (i = 1, ..., k) para obtener X U
0
A
1
A
k
. Dado que
v(U
0
) +v(A
1
) + +v(A
k
) < + 0 + + 0 =
y como > 0 es arbitrario, se sigue que X tiene contenido cero.
Ejemplo 360 Probar que el conjunto S = {(x, y) R
2
: |x| + |y| = 1} tiene
contenido cero en R
2
.
Solucin: Recubrimos S con cuadrados tales que sus diagonales estn sobre
S. La siguiente gura muestra la construccin de estos cuadrados
17.3. MEDIDA Y CONTENIDO CERO 493
Se puede ver entonces que S se puede encerrar en 4n cuadrados cerrados de
rea 1/n
2
cada uno. Por lo tanto, el rea total es 4/n, que se puede hacer
arbitrariamente pequeo.
Ejemplo 361 Probar que si a < b, entonces [a, b] R no tiene contenido cero
en R.
Solucin: Demostraremos por induccin respecto n, que si U
1
, ..., U
m
es un
recubrimiento nito de [a, b] por intervalos cerrados, entonces
m
X
i=1
v(U
i
) b a
En efecto, es evidente para n = 1. Supongamos que esta propiedad se cumple
para recubrimientos con n intervalos y sea {U
1
, ..., U
n
, U
n+1
} un recubrimiento
de [a, b] por intervalos cerrados. Podemos suponer (cambiando los subndices si
es necesario) que a U
1
. Entonces, U
1
= [, ] con a . Si b,
entonces v(U
1
) ba. Si < b, entonces [, b] es recubierto por {U
2
, ..., U
n+1
}
y, segn la hiptesis de induccin, se cumple
n+1
X
i=2
v(U
i
) b
y, como consecuencia,
n+1
X
i=1
v(U
i
) ( a) + (b ) = b a
Ejemplo 362 Sea f : [a, b] R una funcin continua. Entonces su grca
G = {(x, f(x)) R
2
: x [a, b]}
tiene contenido cero en R
2
.
Solucin: Sea > 0, como f es uniformemente continua en [a, b], existe un
> 0 tal que
|f(x) f(y)| <

b a
para todo x, y [a, b] tales que |x y| < . Sea P = {a = x
0
, x
1
, ..., x
n1
, x
n
=
b} una particin de [a, b] tal que
max{x
i
x
i1
: i = 1, ..., n} <
Sean M
i
y m
i
el mximo y el mnimo de f en [x
i
, x
i1
]. Si c
i
y c
0
i
son puntos
de [x
i
, x
i1
] tales que M
i
= g(c
i
) y m
i
= g(c
0
i
), como
|c
i
c
0
i
| |x
i
x
i1
| <
entonces se tiene
M
i
m
i
= f(c
i
) f(c
0
i
) <

b a
y los n rectngulos U
i
= [x
i1
, x
i
] [m
i
, M
i
] recubren G y, adems, se cumple
n
X
i=1
v(U
i
) =
n
X
i=1
(M
i
m
i
)(x
i
x
i1
)
<

b a
n
X
i=1
(x
i
x
i1
)
=
Teorema 311 Si A R
n
es compacto y tiene medida cero, entonces A tiene
contenido cero.
Demostracin: Como A tiene medida cero, para cada > 0 existe una sucesin
(U
m
: m N) de rectngulos abiertos que recubren A y
X
m1
v(U
m
) <
Por ser A es compacto, existe un nmero nito de estos rectngulos U
m
1
, ..., U
m
k
que recubren tambin A y, adems, se cumple
k
X
i=1
v(U
m
i
) <
X
m1
v(U
m
) <
Observacin 164 La conclusin de este teorema es falsa si A no es compacto.
Por ejemplo, sea A el conjunto de todos los nmeros racionales de [0, 1]. En-
tonces, al ser A numerable y tener cada uno de sus puntos medida cero ya que
tienen contenido cero por qu?, A tiene medida cero ya que es unin numer-
able de conjuntos de medida cero por qu? Supongamos que A tuviera contenido
cero, entonces para cada > 0 existira recubrimiento nito de intervalos cer-
rados {[a
1
, b
1
], ..., [a
n
, b
n
]} tal que
n
X
i=1
v([a
i
, b
i
]) =
n
X
i=1
(b
i
a
i
) <
Ahora bien, la unin
n
[
i=1
[a
i
, b
i
]
es un conjunto cerrado y recubre A = [0, 1]. Por el ejemplo ???, se deduce que
n
X
i=1
(b
i
a
i
) 1
lo que es absurdo. Por consiguiente, A no tiene contenido cero.
17.4. TEOREMA DE LEBESGUE 495
17.4. Teorema de Lebesgue
Otro concepto necesario para establecer el teorema de Lebesgue de carac-
terizacin de las funciones integrables es el de oscilacin de una funcin en un
punto. La oscilacin mide en cierto sentido la discontinuidad de la funcin en un
punto; si la oscilacin de una funcin en un punto es cero, entonces la funcin
es continua.
Denicin 162 Consideremos un subconjunto A de R
n
y una funcin acotada
f de A en R. Sea a A y sean
M(f, a, ) = sup{f(x) : x A y kx ak < }
y
m(f, a, ) = inf{f(x) : x A y kx ak < }
Se llama oscilacin de f en a y se designa por o(f, a) al lmite
o(f, a) = lm
0
[M(f, a, ) m(f, a, )]
Este lmite existe siempre ya que M(f, a, )m(f, a, ) es positivo y decrece con
.
Teorema 312 La funcin f : A R
n
R acotada es continua en a si y slo
si o(f, a) = 0.
Demostracin: Supongamos que f es continua en a, entonces para cada > 0
existe > 0 tal que
|f(x) f(a)| <
para todo x A tal que kx ak < . Por tanto,
M(f, a, ) m(f, a, ) < f(a) + (f(a) )
= 2
y, en consecuencia, o(f, a) = 0. El recproco es anlogo y se deja para el lector.
Ejemplo 363 Sea la funcin f : R
2
R denida como sigue
f(x, y) =

1 si x o y son racionales
0 si x e y son irracionales
Determinar su oscilacin en cualquier punto.
Solucin: Es claro que en cualquier punto a R
2
la bola abierta B(a, )
contiene puntos en los que f toma el valor 0 y puntos en los que toma el valor
1. Por tanto, su oscilacin en este punto vale 1.
Teorema 313 Sea A un conjunto cerrado de R
n
y > 0. Si f : A R es
acotada, entonces el conjunto
B = {x A : o(f, x) }
es cerrado.
Demostracin: Vamos a probar que R
n
B es abierto. En efecto, si x R
n
B,
entonces pueden ocurrir dos casos:
1. x / A
2. x A y x / B
En el primer caso, puesto que A es cerrado, existe un rectngulo abierto U
que contiene a x tal que
U R
n
A R
n
B
y, por tanto, R
n
B es abierto.
En el segundo caso, existe > 0 tal que
M(f, x, ) m(f, x, ) <
entonces cualquier rectngulo abierto U que contenga a x y tal que kx yk <
para todo y U, est contenido en R
2
B, ya que de lo contrario existira
z U tal que para cualquier
0
> 0 se tendra
M(f, z,
0
) m(f, z,
0
)
pero entonces
M(f, x, ) m(f, x, ) M(f, z,
0
) m(f, z,
0
)
lo que no es posible por hiptesis.
Lema 18 Sea U un rectngulo cerrado de R
n
y f : A R una funcin acotada
tal que o(f, x) < para todo x U. Entonces existe una particin P de U con
U(f, P) L(f, P) < v(U)
Demostracin: Para cada x U, existe una bola abierta B(x,
x
) tal que
M(f, x,
x
) m(f, x,
x
) <
Por ser U compacto, existe un nmero nito de bolas B(x
1
,
x
1
), ..., B(x
k
,
x
k
)
que lo recubren. Sea P una particin de U tal que cada subrectngulo S de P
est contenido en algn B(x
i
,
x
i
). Entonces,
M
S
(f) m
S
(f) <
para cada subrectngulo S de P, de manera que
U(f, P) L(f, P) =
X
S
[M
S
(f) m
S
(f)] v(S)
<
X
S
v(S)
= v(U)
Obsrvese que hemos denotado por M
S
(f) y m
S
(f) el supremo y el nmo de f
en S.
Es de esperar que si f es continua en un rectngulo cerrado U, entonces f
es integrable en U. Probaremos un resultado ms fuerte que permite que f sea
discontinua en un conjunto de medida cero.
17.4. TEOREMA DE LEBESGUE 497
Teorema 314 (Teorema de Lebesgue) Sean U un rectngulo cerrado de R
n
,
f : U R una funcin acotada y el conjunto
D = {x A : f no es continua en x}
Entonces, f es integrable en A si y slo si D tiene medida cero.
Demostracin: Supongamos que D tiene medida cero. Fijado > 0, el con-
junto
D
= {x D : o(f, x) }
es acotado y cerrado por el teorema ??? y, por tanto, compacto. Por ser un
subconjunto de D tiene contenido cero por el teorema ???. Por tanto, D
tiene
un recubrimiento nito U
1
, ..., U
k
de rectngulos cerrados tales que
k
X
i=1
v(U
i
) <
Consideremos una particin P de U tal que cada subrectngulo S de P pertenece
a uno de los dos grupos siguientes: o bien est contenido en algn U
i
, o bien
est contenido en el complementario de D
. Designemos por S
1
la coleccin de
los primeros y por S
2
, la coleccin de los segundos. Si M es una cota de f en
U, es decir, si
|f(x)| M
para todo x U, entonces
X
SS1
[M
S
(f) m
S
(f)] v(S) < 2M
k
X
i=1
v(U
i
) < 2M
Por otra lado, si S S
2
, entonces o(f, x) < para todo x S. Por el lema ???,
existe una particin P
0
, que podemos considerar ms na que P, tal que
X
S
0
S
[M
S
0 (f) m
S
0 (f)] v(S
0
) <
X
S
0
S
v(S
0
) < v(S)
para cada S S
2
. Si ahora hacemos la suma para todos los subrectngulos
S S
2
, tenemos
X
S
0
SS2
[M
S
0 (f) m
S
0 (f)] v(S
0
) <
X
SS2
v(S) < v(U)
Por tanto, de las dos desigualdades obtenidas anteriormente se deduce
U(f, P
0
) L(f, P
0
) =
X
S
0
SS1
[M
S
0 (f) m
S
0 (f)] v(S
0
)
+
X
S
0
SS
2
[M
S
0 (f) m
S
0 (f)] v(S
0
)
< 2M + v(U) = (2M +v(U))
Por lo tanto, f cumple la condicin de integrabilidad de Riemann ya que M y
v(U) son jos.
Recprocamente, supongamos que f es integrable en U y sea
D
= {x D : o(f, x) }
Puesto que
D = D
1
D1
2
D1
3

bastar demostrar por el teorema ??? que cada C 1
m
tiene contenido cero ya que
C 1
m
es compacto por qu? Sea > 0, por ser f integrable en U, existe una
particin P de U tal que
U(f, P) L(f, P) <

m
Sea S la coleccin de subrectngulos S de P que cortan a C 1
m
. Entonces S es
un recubrimiento de C 1
m
. Ahora bien, si S S, entonces
M
S
(f) m
S
(f)
1
m
De aqu,
1
m
X
SS
v(S)
X
SS
[M
S
(f) m
S
(f)] v(S)
Por otro lado, como S es una coleccin de subrectngulos de P, para cada S S
se tiene
X
S
[M
S
(f) m
S
(f)] v(S) U(f, P) L(f, P) <

m
De las dos ltimas desigualdades se decuce resulta
1
m
X
SS
v(S)
X
SS
[M
S
(f) m
S
(f)] v(S)
X
S
[M
S
(f) m
S
(f)] v(S)
<

m
y, por tanto,
X
SS
v(S) <
El teorema de Lebesgue nos permite razonar de forma inmediata la integra-
bilidad de funciones que se construyen a partir de funciones integrables.
Teorema 315 Sean U un rectngulo cerrado de R
n
y f, g : U R dos fun-
ciones integrables en U y R. Entonces las funciones f + g, f, f g, |f| y
f/g (con g(x) 6= 0 para todo x U) son integrables en U.
Demostracin: El conjunto de puntos de discontinuidad de f+g est contenido
en la unin de los conjuntos de discontinuidad de f y g. Como ambos conjuntos
tienen medida cero, su unin tiene medida cero y, por el teorema de Lebesgue,
f +g es integrable. Del mismo modo se prueban las restantes propiedades. Ver
tambin los resultados obtenidos en el teorema ??? de la seccin anterior.
17.5. INTEGRACIN SOBRE CONJUNTOS ACOTADOS 499
17.5. Integracin sobre conjuntos acotados
En este apartado se extiende el concepto de integral de Riemann a funciones
denidas sobre conjuntos acotados de R
n
.
Denicin 163 Si A es un subconjunto de R
n
, la funcin
A
: R
n
R
denida por
A
(x) =

0 x / A
1 x A
se llama la funcin caracterstica de A.
Denicin 164 Si A est contenido en algn rectngulo cerrado U de R
n
y
f : U R es acotada. Se llama integral de f sobre A y se denota por
Z
A
f
a la integral de f
A
sobre U. En caso de existir dicha integral tenemos
Z
A
f =
Z
U
f
M
Evidentemente, la integral
Z
A
f
existe si f y
A
son integrables en U.
Observacin 165 En caso de existir dicha integral, es independiente del rec-
tngulo considerado, es decir, si A est contenido en otro rectngulo cerrado V
de R
n
, entonces se cumple
Z
U
f
A
=
Z
V
f
A
Esto es as porque
A
vale cero en los puntos que no pertenecen a A.
Teorema 316 Si A est contenido en algn rectngulo cerrado U de R
n
, en-
tonces la funcin
A
: U R es integrable si y slo si la frontera de A tiene
medida cero.
Demostracin: Si a

A, entonces existe una bola abierta B tal que a
B A. De este modo,
A
= 1 en B y
A
es evidentemente continua en a.
Anlogamente, si a ext(A), entonces existe una bola abierta B tal que a
B R
n
A. Por tanto,
A
= 0 en B y
A
es continua en a. Finalmente, si
a fr(A), entonces para cada bola abierta B que contiene a, existe a
1
B A
tal que
A
(a
1
) = 1, y existe a
2
B (R
n
A) tal que
A
(a
2
) = 0. Por tanto,
A
no es continua en a y, en consecuencia,
fr(A) = {a U :
A
no es continua en a}
Por tanto, segn el teorema de Lebesgue,
A
es integrable en U si y slo si fr(A)
tiene medida cero.
Observacin 166 Obsrvese que, al ser fr(A) un conjunto cerrado y acotado
(por estar contenido en U), fr(A) es compacto y, como consecuencia, tener
medida cero equivale a tener contenido cero. De este modo, el teorema puede
enunciarse equivalentemente como sigue:
A
es integrable en U si y slo si la
frontera de A tiene contenido cero.
De este modo, a cada subconjunto acotado A de R
n
cuya frontera tenga
contenido cero, le podemos asociar el valor de la integral de la funcin constante
igual a 1 sobre el conjunto A.
Denicin 165 Un subconjunto acotado A de R
n
cuya frontera tiene contenido
cero (y, por tanto, medida cero) se llama medible-Jordan. Entonces, si U es
un rectngulo cerrado que contiene a A, el valor de la integral
Z
A
1 =
Z
U
1
A
=
Z
U

A
se denomina contenido (ndimensional) o volumen (ndimensional) de A y
lo designaremos por c(A).
Observacin 167 1. La existencia de la integral
Z
A
1
y su valor son independientes del rectngulo U, pues fuera de A la funcin
caracterstica vale 0.
2. Esta denicin es natural, pues la regin debajo de la grca de
A
es la
regin cilndrica con altura 1 y base el recinto plano determinado por A.
Naturalmente que un contenido o volumen unidimensional se acostumbra
a llamar longitud, y un contenido o volumen bidimensional, rea.
3. Obsrvese que si U R
2
es un rectngulo, por ejemplo, U = [a, b] [c, d],
entonces su frontera es la unin de las cuatro caras siguientes
[a, b] [c, c] [a, b] [d, d]
[a, a] [c, d] [b, b] [c, d]
que son rectngulos de contenido cero en R
2
; los mismos cuatro rectngulos
tambin son la frontera del rectngulo abierto (a, b) (c, d). Por tanto, un
rectngulo en R
2
es un conjunto medible-Jordan y su contenido es
c(U) =
Z
U
1 = (b a)(d c)
que coincide con su rea.
A continuacin se demostrar que el concepto de contenido cero que se in-
trodujo en la denicin ??? es equivalente al concepto de contenido que se ha
introducido en la ltima denicin.
Teorema 317 Sea U un rectngulo cerrado de R
n
y A un subconjunto U. En-
tonces, A es medible-Jordan y
c(A) =
Z
A
1 = 0
si y slo si A tiene contenido cero en el sentido de la denicin ???.
Demostracin: Supongamos que A tiene contenido cero. Dado cualquier >
0, existe una coleccin de rectngulos cerrados U
1
, ..., U
m
que recubren A con
volumen total menor que
m
X
i=1
v(U
i
) <
Dado que
m
[
i=1
U
i
es un conjunto acotado, entonces A es acotado y, como esta unin es un conjunto
cerrado, tambien contiene a fr(A). De aqu resulta que fr(A) tiene contenido
cero y, como consecuencia, medida cero. Por tanto, A es medible-Jordan y tiene
contenido
c(A) =
Z
A
1
Consideremos ahora la particin P de U tal que los rectngulos U
i
(i = 1, ..., m)
sean unin de subrectngulos de P. Ahora, si P
0
es ms na que P, entonces
aquellos subrectngulos de P
0
que contienen puntos de A tambin tendrn vol-
umen total menor que . Por ser
A
(x) = 1 para todo x A y
A
(x) = 0 para
todo x U A, cualquier suma de Riemann correspondiente a P
0
cumplir
|S(
A
, P
0
)| =
X
S
A
(
k
) v(S) =
m
X
i=1
v(S) <
Puesto que es arbitrario, segn el teorema ???, resulta
Z
U

A
=
Z
A
1 = 0
Recprocamente, supongamos que A es medible-Jordan y que
c(A) =
Z
A
1 = 0
Dado cualquier > 0, por el teorema ??? consideremos una particin P
de U
tal que cualquier suma de Riemann correspondiente a P
cumpla
0 S(
A
, P
) <
Si tomamos los puntos intermedios de manera que pertenezcan a A, siempre
que sea posible, se deduce que A est contenido en la unin de un nmero nito
de subrectngulos de P
con volumen total menor que . Por tanto, A tiene

contenido cero.
Observacin 168 Segn este resultado, el concepto de contenido n-dimensional
cero de un conjunto medible-Jordan equivale al concepto de contenido cero. Por
tanto no hay que confundirlo con el concepto de medida cero. Por ejemplo, el
conjunto A de los nmeros racionales del intervalo [0, 1] tiene medida cero por
ser unin numerable de conjuntos de medida cero, sin embargo A no es medible-
Jordan ya que no existe la integral
Z
[0,1]
A
o sea no tiene contenido unidimensional o longitud.
Teorema 318 Sea A R
n
un conjunto medible-Jordan y f : A R una
funcin acotada. Entonces, f es integrable en A si y slo si su conjunto de
puntos de discontinuidad tiene medida cero.
Demostracin: Si A es medible-Jordan, por el teorema ???,
A
es integrable
en cualquier rectngulo U que contenga a A. Extendamos f a U de manera que
sea cero en los puntos de U no contenidos en A. Por el teorema de Lebesgue,
f
A
es integrable en U si y slo si su conjunto de puntos de discontinuidad tiene
medida cero, lo cual se cumple siempre que tengan medida cero los conjuntos de
puntos de discontinuidad de f y
A
.
Observacin 169 1. Este ltimo resultado nos lleva a considerar como re-
giones de integracin a los conjuntos medibles-Jordan. Sin embargo, debe-
mos tener presente que hay funciones integrables en conjuntos no medibles-
Jordan. Por ejemplo, consideremos el conjunto M = {(x, y) [0, 1]
[0, 1] : x e y son irracionales} y la funcin f : R
2
R denida por
f(x, y) =

0 si x, y son irracionales
x
2
+y
2
otro caso
Es claro que la funcin producto f
M
cumple
(f
M
)(x, y) = f(x, y)
M
(x, y) = 0
para todo (x, y) [0, 1] [0, 1] y, por tanto, la funcin es continua en
[0, 1] [0, 1]; adems, se tiene
Z
M
f =
Z
[0,1][0,1]
f
M
= 0
En cambio, M no es medible-Jordan, pues,
M
es discontinua en fr(M) =
[0, 1] [0, 1], cuyo contenido es 1.
2. Por otra parte, las propiedades de la integral estudiadas en la seccin an-
terior se cumplen de forma anloga en caso de sustituirse el rectngulo
cerrado por un conjunto medible-Jordan.
Corolario 45 Sea A un conjunto medible-Jordan de R
n
y supongamos que f :
A R es acotada y continua en A. Entonces f es integrable en A.
Demostracin: Es inmediato a partir del teorema anterior.
Teorema 319 Un subconjunto A de R
n
es medible-Jordan si y slo si para cada
> 0 existe una particin P de un rectngulo U que contiene a A tal que
X
SS
v(S)
X
SS
0
v(S) <
en donde S es la coleccin de subrectngulos de P que cortan a A y S
0
es la
coleccin de subrectngulos de P contenidos en A.
Demostracin: Supongamos que A es medible-Jordan por lo que su frontera
tiene medida cero. Por ser fr(A) compacto, fr(A) tiene contenido cero. En-
tonces, para cada > 0 existe una familia nita de rectngulos cerrados U
1
, ..., U
m
que recubren fr(A) y cumplen
m
X
i=1
v(U
i
) <
Consideremos la particin P de U tal que cada U
i
sea unin de subrectngulos
de P. Sea S la coleccin de subrectngulos S de P tales que S

A 6= , y
consideremos la subcoleccin S
00
de los subrectngulos S
00
tales que S
00
fr(A) 6=
y la subcoleccin S
0
formada por el resto, es decir, por los subrectngulos S
0
tales que S
0
A.
Entonces tenemos
X
SS
v(S)
X
SS
0
v(S) =
X
SS
00
v(S)
m
X
i=1
v(U
i
) <
Recprocamente, dado > 0, existe una particin P que satisface la condi-
cin del enunciado. Entonces, a la coleccin S le suprimimos la coleccin S
0
y
obtenemos una familia de subrectngulos U
1
, ..., U
m
que recubre la frontera de
A y cumple
m
X
i=1
v(U
i
) =
X
SS
v(S)
X
SS
0
v(S) <
Teorema 320 Supongamos que A, B son conjuntos medibles-Jordan de R
n
.
Entonces se cumplen:
1.

A y

A son medibles-Jordan y c(
A) = c(

A) = c(A)
2. Si A B, entonces c(A) c(B)
3. AB y AB son medibles-Jordan y c(A) +c(B) = c(AB) +c(AB)
4. AB y B A son medibles-Jordan y c(AB) = c(AB) +c(AB) +
c(B A)
5. Si x+A = {x +a : a A}, entonces x+A es medible-Jordan y c(x+A) =
c(A)
Demostracin: (1) Es claro que las fronteras de

A y

A tienen medida cero ya
que fr(
A) = fr(

A) = fr(A). Adems, se cumple
Z
U

A
=
Z
U

A
=
Z
U

A
para cualquier rectngulo cerrado U que contiene a A.
(2) Se cumple
c(B) =
Z
U

B
=
Z
U

A
+
Z
U

BA

Z
U

A
= c(A)
para cualquier rectngulo cerrado U que contiene a B.
(3) Por hiptesis, las fronteras de A y B tienen medida cero. Se deja como
ejercicio para el lector demostrar que las fronteras de AB, AB, AB y BA
estn contenidas en la frontera de AB. De esto y del teorema ??? se sigue que
AB, AB, AB y B A son medibles-Jordan. Sea ahora U un rectngulo
cerrado que contiene a AB y consideremos las funciones caractersticas de A,
B, A B y A B. Dado que cada una de estas funciones es continua excepto
en la frontera que es un conjunto de medida cero, son integrables en U. Como
A
+
B
=
AB
+
AB
se inere que
c(A) +c(B) =
Z
U

A
+
Z
U

B
=
Z
U
(
A
+
B
)
=
Z
U
(
AB
+
AB
)
=
Z
U

AB
+
Z
U

AB
= c(A B) +c(A B)
(4) La demostracin de este resultado usa un razonamiento similar al del
apartado anterior y se deja al lector.
(5) Obsrvese que dado cualquier > 0 y si U
1
, ..., U
m
son rectngulos con
volumen total menor que cuya unin contiene a fr(A), entonces x+U
1
, ..., x+
U
m
son rectngulos con volumen total menor a cuya unin contiene a fr(x +
A). Dado que > 0 es arbitrario, entonces el conjunto x+A es medible-Jordan.
Para probar que c(x+A) = c(A), sea U un rectngulo cerrado que contiene a A,
por lo que x +U es un rectngulo cerrado que contiene a x +A. Consideremos
las funciones caractersticas de A y x+A, es fcil demostrar que a cada suma de
Riemann para
A
corresponde una suma de Riemann para
x+A
y son iguales.
Por lo tanto,
c(A) =
Z
U

A
=
Z
x+U

x+A
= c(x +A)
Corolario 46 Supongamos que A y B son conjuntos medibles-Jordan de R
n
.
Entonces se cumplen:
1. Si A B = , entonces c(A B) = c(A) +c(B)
2. Si A B, entonces c(B A) = c(B) c(A)
Demostracin: Ambos resultados son inmediatos a partir de las frmulas obtenidas
en el teorema ???.
17.6. Otras propiedades
La integral de una funcin sobre un conjunto acotado depende no slo de
la naturaleza de la funcin sino tambin del contenido del conjunto. Veremos a
continuacin que si un conjunto tiene contenido cero, la integral de una funcin
sobre este conjunto es cero.
Teorema 321 Sean A un subconjunto de R
n
de contenido cero y f : A R
cualquier funcin acotada. Entonces f es integrable en A y
Z
A
f = 0
Demostracin: Por ser f acotada en A, existe M > 0 tal que |f(x)| < M
para todo x A. Dado cualquier > 0, por ser A de contenido cero, existe
un recubrimiento nito de A por rectngulos cerrados que no se solapan (ver
observacin a continuacin) U
1
, ..., U
m
tales que
m
X
i=1
v(U
i
) <

M
Sea P una particin de un rectngulo cerrado U que contiene a A cuyos subrec-
tngulos contienen a U
i
, i = 1, ..., m. Entonces,
L(f
A
, P)
Z
A
f =
Z
U
f
A
U(f
A
, P)
Ahora bien,
L(f
A
, P) =
X
S
m
S
(f
A
) v(S)
m
X
i=1
M v(U
i
) >
y
U(f
A
, P) =
X
S
M
S
(f
A
) v(S)
m
X
i=1
M v(U
i
) <
Por tanto,
< L(f
A
, P)
Z
A
f U(f
A
, P) <
y como es arbitrario, se tiene lo que queramos demostrar.
Observacin 170 Una familia de rectngulos cerrados U
1
, ..., U
m
se dice que
no se solapan cuando

U
i
U
j
= para todo i 6= j, i, j = 1, ..., m. Supongamos
que esta familia recubre a un conjunto A de R
n
. Consideremos la familia de
hiperplanos anes de R
n
tales que cada uno de ellos contiene al menos una cara
de alguno de los rectngulos U
i
. Esta familia determina una nueva coleccin de
rectngulos V
i
que no se solapan y cuya unin es igual a la unin de los U
i
,
por lo que tambin constituyen un recubrimiento nito del conjunto A. Como
consecuencia, en un subconjunto A de contenido cero, para cada > 0 siempre
podemos considerar un recubrimiento nito de A formado rectngulos que no
se solapan cuyo volumen total es menor que . La siguiente gura ilustra este
hecho
17.6. OTRAS PROPIEDADES 507
Teorema 322 Sean f, g : A R funciones acotadas y supongamos que f es
integrable en A. Supongamos tambin que B A tiene contenido cero y que
f(x) = g(x) para toda x AB. Entonces, g es integrable en A y
Z
A
f =
Z
A
g
Demostracin: Sea U un rectngulo cerrado de R
n
que contiene a A. Las
hiptesis implican que h = f
A
g
A
es acotada en U y es igual a cero excepto
en B. Puesto que B tiene contenido cero, por el teorema ??? se deduce que h es
integrable en U y el valor de su integral es 0. Aplicado el teorema ??? se inere
que g
A
= f
A
h es integrable en U y
Z
A
g =
Z
U
g
A
=
Z
U
(f
A
h) =
Z
U
f
A
=
Z
A
f
Teorema 323 Si f : A R es integrable en A, f(x) 0 para todo x A y
Z
A
f = 0
entonces el conjunto B = {x A : f(x) 6= 0} tiene medida cero.
Demostracin: Consideremos el conjunto
B
m
= {x A : f(x) >
1
m
}
Primero probaremos que B
m
tiene contenido cero. Dado > 0, sea U un rec-
tngulo cerrado que contiene a A y P una particin de U tal que
U(f
A
, P) <

m
Dicha particin existe ya que
Z
A
f =
Z
U
f
A
= 0
Si U
1
, ..., U
k
son los subrectngulos cerrados de P que tienen interseccin no
vaca con B
m
, entonces
k
X
i=1
c(U
i
)
k
X
i=1
m M
U
i
(f) c(U
i
) <
ya que m M
U
i
(f) > 1. Por lo tanto, U
1
, ..., U
k
es un recubrimiento por rectn-
gulos cerrados de B
m
tal que
k
X
i=1
c(U
i
) <
y, en consecuencia, B
m
tiene contenido cero; adems, como tiene contenido
cero, tambin tiene medida cero. Observemos, por ltimo, que se cumple
B =
[
m1
B
m
y, por tanto, B tiene medida cero por el teorema ???.
Teorema 324 (a) Supongamos que A
1
y A
2
son subconjuntos medibles-Jordan
de R
n
y que A
1
A
2
tiene contenido cero. Si A = A
1
A
2
y f : A R es
integrable en A
1
y A
2
, entonces f es integrable en A y se cumple
Z
A
f =
Z
A
1
f +
Z
A
2
f
(b) Supongamos que A es un subconjunto medible-Jordan de R
n
y sean A
1
, A
2
dos conjuntos medibles-Jordan tales que A = A
1
A
2
y tales que A
1
A
2
tiene
contenido cero. Si f : A R es integrable en A y las restricciones de f a A
1
y
A
2
son integrables, entonces se cumple tambin
Z
A
f =
Z
A
1
f +
Z
A
2
f
Demostracin: (a) Sea U un rectngulo cerrado que contiene a A = A
1
A
2
.
Por hiptesis, f
A1
y f
A2
son integrables en U y se cumple
Z
U
f
A
i
=
Z
A
i
f (i = 1, 2)
Del teorema ??? se sigue que f
A
1
+f
A
2
es integrable en U y que
Z
U
(f
A
1
+f
A
2
) =
Z
U
f
A
1
+
Z
U
f
A
2
Ahora bien, como
f(x) = (f
A
1
)(x) + (f
A
2
)(x)
siempre que x A (A
1
A
2
), del teorema ??? se deduce que f es integrable
en A y que se cumple
Z
A
f =
Z
A
1
f +
Z
A
2
f
(b) Por hiptesis, f
A1
y f
A2
son integrables en U. Ahora bien, como
(f
A
)(x) = (f
A
1
)(x) + (f
A
2
)(x)
excepto para x en A
1
A
2
. Puesto que A
1
A
2
tiene contenido cero, por los
teoremas ??? y ??? se inere que
Z
A
f =
Z
U
f
A
=
Z
U
(f
A1
+f
A2
)
=
Z
U
f
A
1
+
Z
U
f
A
2
=
Z
A1
f +
Z
A2
f
Observacin 171 Hacemos la aclaracin de que si f : A R es una funcin
acotada e integrable, entonces se satisface automticamente el supuesto que se
hizo en el teorema ??? (b) de que las restricciones de f a A
1
y A
2
son integrables.
El siguiente resultado es til a menudo para calcular la magnitud de una
integral.
Teorema 325 Sea A un conjunto medible-Jordan de R
n
y supongamos que
f : A R es integrable en A y es tal que |f(x)| M para toda x A.
Entonces, se cumple

Z
A
f
M c(A)
De manera ms general, si m f(x) M para toda x A, entonces
m c(A)
Z
A
f M c(A)
Demostracin: Sea U un rectngulo cerrado que contiene a A. Dado > 0,
entonces existe una particin P de U con subrectngulos U
1
, ..., U
k
tal que si
S(f
A
, P) es cualquier suma de Riemann correspondiente a P, entonces
S(f
A
, P)
Z
U
f
A
S(f
A
, P) +
Obsrvese que si los puntos intermedios de la suma de Riemann se eligen fuera
de A, cuando sea posible, se tiene
S(f
A
, P) =
X
f(
i
) c(U
i
)
en donde la suma se extiende sobre aquellos subrectngulos de P completamente
contenidos en A. De donde
S(f
A
, P) M
X
c(U
i
) M c(A)
Por lo tanto, se tiene
Z
A
f =
Z
U
f
A
M c(A) +
y puesto que > 0 es arbitrario se obtiene la desigualdad
Z
A
f M c(A)
La otra desigualdad se prueba de manera anloga y se deja al lector.
Teorema 326 (Teorema del valor medio para integrales) Sea A un con-
junto medible-Jordan y conexo de R
n
y f : A R una funcin acotada y
continua en A. Entonces, existe un punto a A tal que
Z
A
f = f(a) c(A)
Demostracin: Si c(A) = 0, el teorema es consecuenica del teorema ??? y la
conclusin es trivial. Por tanto, podemos suponer que c(A) 6= 0. Sea
m = inf {f(x) : x A} y M = sup{f(x) : x A}
de la segunda parte del teorema anterior ??? se sigue que
m
1
c(A)
Z
A
f M
Si ambas desigualdades son estrictas, el resultado se deduce del teorema de los
valores intermedios ya que f es continua y A es conexo. Supongamos ahora que
Z
A
f = M c(A)
Si el supremo M se alcanza en algn a A, la conclusin tambin se sigue.
Por ello, vamos a suponer que el supremo M no se alcanza en A. Dado que
c(A) 6= 0, existe un rectngulo cerrado K A que tiene contenido, es decor, tal
que c(K) 6= 0. Como K es compacto y f es continua en K, existe > 0 tal que
f(x) M para toda x K. Dado que A = K (A K) de los teoremas
??? y ??? se inere que
M c(A) =
Z
A
f
=
Z
K
f +
Z
AK
f
(M ) c(K) +M c(AK)
< M c(A)
lo que es una contradiccin. Si ocurre
Z
A
f = m c(A)
entonces un argumento anlogo es aplicable.
17.6.1. Ejemplos
Ejemplo 364 Estudiar si son o no medibles-Jordan los siguientes conjuntos:
1. M = {(x, y) [0, 1] [0, 1] : x o y son irracionales}
2. M = {(x, y) R
2
: 0 < x 1, 0 < y 1, x 6=
1
n
, y 6=
1
m
, n, m N}
3. M = {(x, y) R
2
: 1 x
2
+y
2
2, x, y Q}
Solucin: (1) La frontera de M es el rectngulo U = [0, 1] [0, 1], ya que
M = U. Por tanto, M no tiene contenido cero y, en consecuencia,

M
no es
integrable en U. Por consiguiente, M no es medible-Jordan.
(2) La frontera de M puede considerarse como la unin numerable de los
segmentos del tipo
X
n
= {(x, y) R
2
: 0 < y 1, x =
1
n
, n N}
Y
m
= {(x, y) R
2
: 0 < x 1, y =
1
m
, m N}
y de
X
0
= {(x, y) R
2
: 0 y 1, x = 0}
Y
0
= {(x, y) R
2
: 0 x 1, y = 0}
Cada uno de estos segmentos tiene medida cero en R
2
y, por tanto, la frontera de
M tiene medida cero. Como consecuencia,
M
es integrable en U = [0, 1][0, 1].
Por consiguiente, M es medible-Jordan.
(3) Sea U un rectngulo que contiene a la corona circular. Como la fron-
tera de M es toda la corona, cuya contenido es no cero, la funcin
M
no es
integrable en U y, por tanto, M no es medible-Jordan.
Ejemplo 365 Consideremos la funcin f : R
2
R denida por f(x, y) =
2x
2
y. Estudiar si existe o no la integral
Z
M
f dxdy
en los siguientes casos:
1. M = {(x, y) [2, 3] [1, 4] : y Q}
2. M = {(x, y) R
2
: x
2
+y
2
= 1/n, n N}
3. M = {(x, y) R
2
: x
2
y < x}
Solucin: (1) La frontera de M es todo el rectngulo, luego su medida es 5
y, por tanto, no existe la integral sobre M.
(2) Cada circunferencia tiene medida cero en R
2
. La frontera de M es el
conjunto M unin con {(0,0)}. La unin numerable de conjuntos de medida
cero tiene medida cero. Por lo tanto, la frontera de M tiene medida cero y, en
consecuencia, existe la integral sobre M.
(3) M es la porcin del plano limitada por la recta y = x y la parbola
y = x
2
, que son grcas de funciones continuas y, por tanto, segn ejemplo 6
???, tienen contenido cero en R
2
, luego medida cero. Como la frontera de M
tiene medida cero, existe la integral sobre M.
17.7. Integracin iterada
El problema de calcular integrales mltiples sobre un rectngulo cerrado de
R
n
(n > 1) se reduce al clculo de integrales simples sobre intervalos cerrados en
R. La idea intuitiva es la siguiente: consideremos una funcin continua y positiva
f : [a, b] [c, d] R. Sea P = {a = x
0
, x
1
, ..., x
n1
, x
n
= b} una particin de
[a, b] y dividamos el rectngulo [a, b] [c, d] en n bandas paralelas por medio
de los segmentos {x
i
} [c, d]. Si g
x
es la funcin denida por g
x
(y) = f(x, y),
entonces el rea de la regin que est por debajo de la grca de f y por encima
del segmento {x} [c, d] es
Z
d
c
g
x
=
Z
d
c
f(x, y) dy
Por tanto, el volumen de la regin que est por debajo de la grca de f y por
encima del rectngulo [x
i1
, x
i
] [c, d] es aproximadamente igual a
(x
i
x
i1
)
Z
d
c
f(x, y) dy
donde x [x
i1
, x
i
].
Como
Z
[a,b][c,d]
f =
n
X
i=1
Z
[x
i1
,x
i
][c,d]
f
se obtiene que la integral
Z
[a,b][c,d]
f
es aproximadamente igual a
n
X
i=1
(x
i
x
i1
)
Z
d
c
f(
i
, y) dy
17.7. INTEGRACIN ITERADA 513
donde
i
[x
i1
, x
i
].
Ahora bien, esta ltima expresin es una suma de Riemann correspondiente
a la particin P de [a, b] de la funcin h denida por
h(x) =
Z
d
c
g
x
=
Z
d
c
f(x, y) dy
Es razonable esperar que h sea integrable en [a, b] (esto ocurrir siempre que f
sea continua) y, por tanto, que el valor de su integral
Z
b
a
h =
Z
b
a
Z
d
c
f(x, y) dy
!
dx
coincida con el de la integral
Z
[a,b][c,d]
f
Por otra parte, del mismo modo se establece a partir de una particin de [c, d]
que el valor de esta ltima integral coincide tambin con el de
Z
d
c
Z
b
a
f(x, y) dx
!
dy
Las integrales
Z
b
a
Z
d
c
f(x, y) dy
!
dx y
Z
d
c
Z
b
a
f(x, y) dx
!
dy
si existen, se llaman integrales iteradas de la funcin f en el rectngulo [a, b]
[c, d]. Al margen de las consideraciones intuitivas hechas, es natural preguntarse
en qu condiciones las integrales iteradas existen, son iguales y coinciden con la
integral doble. De esta manera disponemos de un mtodo para calcular integrales
dobles por medio de integrales simples.
Teorema 327 Sea U = [a, b] [c, d] y f : U R una funcin integrable en
U. Si la funcin f
x
: [c, d] R denida por f
x
(y) = f(x, y) es integrable en
[c, d] para cada x [a, b] jo, entonces
Z
[a,b][c,d]
f =
Z
b
a
Z
d
c
f(x, y) dy
!
dx
De manera anloga, si la funcin f
y
: [a, b] R denida por f
y
(x) = f(x, y)
es integrable en [a, b] para cada y [c, d] jo, entonces
Z
[a,b][c,d]
f =
Z
d
c
Z
b
a
f(x, y) dx
!
dy
Por ejemplo, la expresin
Z
b
a
Z
d
c
f(x, y) dy
!
dx
se llama integral iterada y signica que la funcin
g(x) =
Z
d
c
f(x, y) dy
se integra en [a, b].
Demostracin: Sea g : [a, b] R la funcin dada por
g(x) =
Z
d
c
f(x, y) dy
Sea P = P
[a,b]
P
[c,d]
una particin de U, en donde P
[a,b]
= {a = x
0
, x
1
, , x
n
=
b} y P
[c,d]
= {c = y
0
, y
1
, , y
m
= d} Supongamos que M
ij
y m
ij
son el supre-
mo y el nmo de f en el subrectngulo S
ij
= V
i
W
j
, en donde V
i
= [x
i1
, x
i
]
y W
j
= [y
j1
, y
j
]. Como f
x
es integrable para cada x [a, b], por el teorema ???
se cumple
m
ij
(y
j
y
j1
)
Z
W
j
f
x
M
ij
(y
j
y
j1
)
para cada x V
i
. De aqu, si se suma obtenemos
m
X
j=1
m
ij
(y
j
y
j1
)
m
X
j=1
Z
W
j
f
x

m
X
j=1
M
ij
(y
j
y
j1
)
Ahora bien,
m
X
j=1
Z
W
j
f
x
=
Z
d
c
f
x
= g(x)
y, por tanto,
m
X
j=1
m
ij
(y
j
y
j1
) g(x)
m
X
j=1
M
ij
(y
j
y
j1
)
para cada x V
i
. Fijado para cada i = 1, ..., n un punto
i
[x
i
, x
i1
] y,
multiplicando la desigualdad por x
i
x
i1
tenemos
m
X
j=1
m
ij
(x
i
x
i1
) (y
j
y
j1
) (x
i
x
i1
) g(
i
)
m
X
j=1
M
ij
(x
i
x
i1
) (y
j
y
j1
)
para cada i = 1, ..., n. De aqu, si se suma obtenemos
n
X
i=1
m
X
j=1
m
ij
(x
i
x
i1
) (y
j
y
j1
)
n
X
i=1
(x
i
x
i1
) g(
i
)
n
X
i=1
m
X
j=1
M
ij
(x
i
x
i1
) (y
j
y
j1
)
Ahora bien,
L(f, P) =
n
X
i=1
m
X
j=1
m
ij
(x
i
x
i1
) (y
j
y
j1
)
U(f, P) =
n
X
i=1
m
X
j=1
M
ij
(x
i
x
i1
) (y
j
y
j1
)
y
n
X
i=1
(x
i
x
i1
) g(
i
)
es una suma de Riemann arbitraria para la integral
Z
b
a
g(x) dx =
Z
b
a
Z
d
c
f(x, y) dy
!
dx
Por tanto, de la desigualdad anterior obtenemos
L(f, P)
Z
b
a
Z
d
c
f(x, y) dy
!
dx U(f, P)
y, como f es integrable en U, se deduce que
Z
U
f =
Z
b
a
Z
d
c
f(x, y) dy
!
dx
Con un razonamiento similar, si suponemos que
Z
b
a
f
y
existe para cada y [c, d], obtenemos la otra igualdad
Z
U
f =
Z
d
c
Z
b
a
f(x, y) dx
!
dy
Observacin 172 Podemos aplicar este resultado a una regin no necesaria-
mente rectangular, extendiendo f como ya es habitual y aplicando este teorema
a un rectngulo que la contenga. Sin embargo, obsrvese que al hacer esta ex-
tensin, f puede desarrollar discontinuidades en la frontera de dicha regin.
No podemos eliminar la hiptesis de existencia de las integrales iteradas y
reemplazarlas por la existencia de la integral doble de f en el presente contexto.
Para obtener dicho resultado es preciso aplicar resultados ms avanzados de
teora de la medida. Sin embargo, lo habitual es que en la prctica este teorema
resulte adecuado.
Como consecuencia de este teorema, se obtendr un resultado que a menudo
se usa para calcular integrales de funciones denidas en un conjunto acotado por
curvas continuas. Por conveniencia, se establecer el resultado para el caso en que
el conjunto tiene segmentos de lnea verticales como fronteras laterales y curvas
continuas como sus fronteras superior e inferior. Es claro que, un resultado
anlogo es vlido si las fronteras laterales son curvas continuas y las fronteras
superior e inferior son segmentos de lnea verticales. Conjuntos ms complicados
se tratan descomponindolos en la unin de subconjutos de estos dos tipos.
Corolario 47 Sean , : [a, b] R dos funciones continuas tales que (x)
(x) para todo x [a, b]. Consideremos A R
2
denido por
A = {(x, y) R
2
: a x b, (x) y (x)}
Si f : A R es acotada y continua en A, entonces f es integrable en A y se
cumple
Z
A
f =
Z
b
a
Z
(x)
(x)
f(x, y) dy
!
dx
En particular,
c(A) =
Z
b
a
( )
Demostracin: Sea U = [a, b] [c, d] un rectngulo cerrado que contenga a A.
Los grafos de y ,
G
= {(x, (x)) : x [a, b]} y G
= {(x, (x)) : x [a, b]}

y los segmentos de lnea verticales,
{a} [(a), (a)] y {b} [(b), (b)]
tienen medida cero (ver ejemplo ???). De este modo, el conjunto de discon-
tinuidades de f
A
denidas en U tiene medida cero, por lo que f
A
es integrable
en U. Adems, para cualquier x [a, b], la funcin f
x
denida por
f
x
(y) = f(x, y)
A
(x, y)
es continua en [c, d] excepto tal vez en (x) y (x), de modo que f
x
es tambin
integrable en x. Aplicando el teorema ??? anterior obtenemos
Z
A
=
Z
U
f
A
=
Z
b
a
Z
d
c
f(x, y)
A
(x, y) dy
!
dx
Ahora bien
A
(x, y) =

1 (x) y (x)
0 otro caso
Por tanto,
Z
A
=
Z
U
f
A
=
Z
b
a
Z
(x)
(x)
f(x, y) dy
!
dx
Por otra parte,
c(A) =
Z
A
1 =
=
Z
U
1
A
=
Z
b
a
Z
(x)
(x)
1 dy
!
dx
=
Z
b
a
((x) (x)) dx
Teorema 328 (Teorema de Fubini) Sea A un rectngulo cerrado de R
n
, B
un rectngulo cerrado de R
m
, f : AB R una funcin integrable en AB.
Para x A, sea g
x
: B R la funcin denida por g
x
(y) = f(x, y) y
F(x) =
Z
B
f(x, y) dy
G(x) =
Z
B
f(x, y) dy
en donde
Z
B
f(x, y) dy y
Z
B
f(x, y) dy
indican las integrales inferior y superior de g
x
en B. Entonces, las funciones F
y G son integrables en A y se cumple
Z
AB
f =
Z
A
F =
Z
A
Z
B
f(x, y) dy
!
dx
Z
AB
f =
Z
A
G =
Z
A
Z
B
f(x, y) dy
dx
Demostracin: Sea P
A
una particin de A y P
B
una particin de B. Ambas
denen una particin P de AB en la cual cada subrectngulo S es de la forma
S = S
A
S
B
, en donde S
A
es un subrectngulo de P
A
y S
B
es un subrectngulo
de P
B
. Se tiene
L(f, P) =
X
S
m
S
(f) c(S)
=
X
S
A
,S
B
m
S
A
S
B
(f) c(S
A
S
B
)
=
X
S
A
X
S
B
m
SASB
(f) c(S
B
)
!
c(S
A
)
Ahora bien, si x S
A
entonces
m
S
A
S
B
(f) = sup{f(x, y) : (x, y) S
A
S
B
}
sup{g
x
(y) : y S
B
}
= m
S
B
(g
x
)
Por consiguiente, para x S
A
se tiene
X
S
B
m
S
A
S
B
(f) c(S
B
)
X
S
B
m
S
B
(g
x
) c(S
B
)
F(x)
Por tanto,
L(f, P) =
X
S
A
X
S
B
m
S
A
S
B
(f) c(S
B
)
!
c(S
A
)
X
S
A
F(x) c(S
A
)
L(F, P
A
)
Anlogamente se prueba que
U(G, P
A
) U(f, P)
Por otro lado, como siempre se cumple
U(F, P
A
) U(G, P
A
)
se obtiene
L(f, P) L(F, P
A
) U(F, P
A
) U(G, P
A
) U(f, P)
Puesto que f es integrable en AB, se cumple
L(f) = U(f) =
Z
AB
f
Por tanto,
L(F) = U(F) =
Z
AB
f
o, en otras palabras, F es integrable en A y
Z
AB
f =
Z
A
F
El otro resultado para G se deduce del mismo modo y se deja para el lector.
Observacin 173 1. Obsrvese que si hubisemos considerado la funcin
g
y
: A R denida por g
y
(x) = f(x, y), la conclusin del teorema sera
anloga aunque las integrales iteradas apareceran en el orden inverso, es
decir,
Z
AB
f =
Z
B
Z
A
f(x, y) dx
!
dy =
Z
A
Z
B
f(x, y) dy
dx
2. En la prctica se presentar con frecuencia el caso en que la funcin g
x
es integrable y, por tanto, que
Z
AB
f =
Z
A
Z
B
f(x, y) dy
dx
Esto ocurrir si f es continua en AB.
3. El problema que se presenta en los casos corrientes es que g
x
no sea inte-
grable para un nmero nito de puntos de A. En este caso
F(x) =
Z
B
f(x, y) dy
salvo en este nmero nito de puntos x. Puesto que la integral de F en A
no se altera si se dene de nuevo en un nmero nito de puntos, entonces
podemos escribir
Z
AB
f =
Z
A
Z
B
f(x, y) dy
dx
siempre que el valor de la integral
Z
B
f(x, y) dy
se dena arbitrariamente, por ejemplo, dndole el valor 0, cuando no ex-
iste. Sin embargo hay casos donde esto no se puede hacer y, por tanto, el
teorema ha de aplicarse tal como se ha establecido (ver ejemplo ???).
4. En general, si U = [a
1
, b
1
] [a
n
, b
n
] y f : U R y las sucesivas
funciones que aparecen en las integrales iteradas son integrables (por ejem-
plo, cuando f es continua en U), entonces se puede aplicar el teorema de
Fubini repetidamente para obtener
Z
U
f =
Z
b
n
a
n

Z
b
2
a
2
Z
b
1
a
1
f(x
1
, x
2
, ..., x
n
) dx
1
!
dx
2
!
. . . dx
n
Este es el mtodo que se sigue para calcular integrales dobles y triples por
medio de integrales iteradas que le es familiar al lector desde el clculo
elemental.
Ejemplo 366 Por integracin iterada calcular la integral de f sobre el rectn-
gulo U en los siguientes casos:
1. U = [1, 1] [1, 1] y f(x, y) = (x y)
2
2. U = [1, 2] [1, 2] [0, 1] y f(x, y, z) = x
2
ye
xyz
3. U = [1, 2] [1, 0] [2, 1] [0, 2] y f(x, y, z, t) = (y x)(t +z)
Solucin: (1) Se cumple
Z
U
(x y)
2
dxdy =
Z
1
1
Z
1
1
(x y)
2
dy
dx
=
Z
1
1
x
2
y xy
2
+
y
3
3
1
1
dx
=
Z
1
1
(2x
2
+
2
3
) dx
=
8
3
(2) Se cumple
Z
U
x
2
ye
xyz
dxdy dz =
Z
2
1
Z
2
1
Z
1
0
x
2
ye
xyz
dz
dy
dx
=
Z
2
1
Z
2
1
xe
xyz
1
0
dy
dx
=
Z
2
1
Z
2
1
(x xe
xy
) dy
dx
=
Z
2
1
xy +e
xy
2
1
dx
=
Z
2
1
(x +e
2x
e
x
) dx
=
3
2

e
4
2
+
3e
2
2
e
1
(3) Se cumple
Z
U
(y x)(t +z) dxdy dz dt =
Z
2
1
Z
0
1
Z
1
2
Z
2
0
(y x)(t +z) dt
dz
dy
dx
=
Z
2
1
Z
0
1
Z
1
2
(y x)
t
2
2
+zt
2
0
dz
!
dy
!
dx
=
Z
2
1
Z
0
1
Z
1
2
(y x)(2z + 2) dz
dy
dx
=
Z
2
1
Z
0
1
2(y x)
z
2
2
+z
1
2
dy
!
dx
=
Z
2
1
Z
0
1
2(y x)
3
2
dy
dx
=
Z
2
1
3
y
2
2
xy
0
1
dx
= 3
Z
2
1
(
1
2
+x) dx
= 6
Ejemplo 367 La integral de una funcin f es igual a la integral iterada
I =
Z
1
2
Z
x
2
+2
x
f dy
!
dx
Determinar el recinto e invertir el orden de integracin.
Solucin: El recinto A viene dado por
A = {(x, y) R
2
: 2 x 1, x y x
2
+ 2}
Es claro que A = A
1
A
2
, siendo
A
1
= {(x, y) R
2
: 2 y 1,
p
2 y x y}
A
2
= {(x, y) R
2
: 1 y 2,
p
2 y x
p
2 y}
De este modo, tenemos
I =
Z
1
2
Z
y
2y
f dx
dy +
Z
2
1
Z

2y
2y
f dx
!
dy
Ejemplo 368 Calcular
Z
A
(x +y +z)
2
dxdy dz
donde A = {(x, y, z) R
3
: 0 x, 0 y, x +y +z 1}.
Solucin: Es claro que
A = {(x, y, z) R
3
: x 0, y 0, x +y 1, 0 z 1 (x +y)}
Sea
B = {(x, y) R
2
: x 0, y 0, x +y 1}
Entonces
Z
A
(x +y +z)
2
dxdy dz =
Z
B
Z
1(x+y)
0
(x +y +z)
2
dz
!
dxdy
=
Z
1
0
Z
1x
0
Z
1(x+y)
0
(x +y +z)
2
dz
!
dy
!
dx
=
Z
1
0
Z
1x
0
(x +y +z)
3
3
1(x+y)
0
dy
!
dx
=
Z
1
0
Z
1x
0
1
3

(x +y)
3
3
dy
dx
=
Z
1
0
y
3

(x +y)
4
12
1x
0
dx
=
Z
1
0
1 x
3

1
12
+
x
4
12
dx
=
1
10
Captulo 18
Clculo de integrales
mltiples
18.1. Clculo de integrales dobles y triples
18.1.1. Recintos de integracin
La existencia de la integral de una funcin sobre un conjunto no slo depende
de las propiedades de la funcin, sino tambin de la naturaleza del conjunto.
Sabemos que si A es un conjunto medible-Jordan de R
n
y f : A R es
una funcin acotada, entonces el teorema de Lebesgue permite caracterizar la
existencia de la integral en trminos de la funcin: la integral existe sobre A
si y slo si el conjunto de puntos de discontinuidad de f es un conjunto de
medida cero. Por esta razn, es natural denominar como regiones o recintos
de integracin a los conjuntos medibles-Jordan.
Denicin 166 Un subconjunto acotado A de R
n
se dice que es un recinto
de integracin si es medible-Jordan.
Teorema 329 Sea A un conjunto acotado medible-Jordan de R
n
y f : A R
una funcin integrable en A. Entonces la grca de f,
G = {(x, y) R
n+1
: x A, y = f(x)}
es un conjunto medible-Jordan de contenido n + 1-dimensional cero.
Demostracin: Como f es integrable en A, entonces f
A
es integrable en un
rectngulo U que contiene a A. Por la condicin de integrabilidad de Riemann,
dado cualquier > 0 existe una particin P de A tal que
U(f
A
, P) L(f
A
, P) <
Si S
1
, ..., S
k
es la coleccin de subrectngulos de P cuya interseccin con A es
no vaca y
M
i
= sup{(f
A
)(x) : x S
i
}
m
i
= inf{(f
A
)(x) : x S
i
}
523
524 CAPTULO 18. CLCULO DE INTEGRALES MLTIPLES
entonces
U(f
A
, P) =
k
X
i=1
M
i
c(S
i
)
L(f
A
, P) =
k
X
i=1
m
i
c(S
i
)
Como consecuencia, la familia formada por los rectngulos de R
n+1
de la forma
T
i
= S
i
[m
i
, M
i
] (i = 1, ..., k)
recubren la grca de f y se cumple
k
X
i=1
c(T
i
) =
k
X
i=1
c(S
i
) (M
i
m
i
)
= U(f
A
, P) L(f
A
, P)
<
y, en consecuencia, G tiene contenido cero.
El hecho de que la grca de una funcin integrable f : A R
n
R tenga
medida cero en R
n+1
nos asegura que las regiones limitadas por las grcas de
dos funciones integrables f y g denidas sobre el mismo conjunto medible-Jordan
A y tales que g(x) f(x) para todo x A, sean conjuntos medibles-Jordan de
R
n+1
. En general, cualquier regin cuya frontera est formada por grcas de
funciones integrables es un conjunto medible-Jordan y, por tanto, un recinto de
integracin.
Corolario 48 Sea A un conjunto acotado medible-Jordan de R
n
y f : A
R una funcin no negativa, acotada e integrable en A. Entonces el recinto de
ordenadas
B = {(x, y) R
n+1
: x A, 0 y f(x)}
es un conjunto medible-Jordan en R
n+1
que se denomina recinto de orde-
nadas de f en A.
Demostracin: Es una consecuencia inmediata del teorema anterior.
18.1. CLCULO DE INTEGRALES DOBLES Y TRIPLES 525
Recintos proyectables en el plano
Denicin 167 Un recinto plano de integracin A decimos que es proyectable
respecto al eje x (resp. al eje y) si las rectas parelelas al eje y (resp. al eje x)
que cortan a A determinan un nico segmento o un punto.
A los recintos proyectables sobre el eje x se les llama con frecuencia regiones
planas de tipo 1.
Los recintos limitados por las grcas de dos funciones continuas f y g denidas
en un intervalo [a, b] son regiones de tipo 1
A los recintos proyectables sobre el eje y se les llama regiones planas de
tipo 2. Los recintos limitados por las grcas de dos funciones f y g denidas
en un intervalo [c, d] son regiones de este tipo.
En general, los recintos no son proyectables, pero la mayor parte de los casos se
pueden descomponer como un nmero nito de recintos proyectables. La integral
sobre el recinto es la suma de las integrales sobre los recintos parciales.
Recintos proyectables en el espacio
Denicin 168 Un recinto A de R
3
decimos que es proyectable respecto a un
plano coordenado si las rectas perpendiculares al plano que cortan a A determi-
nan un solo segmento o un punto.
A un recinto proyectable A de R
3
se le llama regin de tipo 1 si existe un
intervalo [a, b], dos funciones continuas f
1
y f
2
en [a, b] que determinan una
regin plana B de tipo 1, y dos funciones continuas F
1
, F
2
: B R en B tales
que
1. A = {(x, y, z) R
3
: x [a, b], f
1
(x) y f
2
(x), F
1
(x, y) z F
2
(x, y)}
2. Si F
1
(x, y) = F
2
(x, y), entonces (x, y) fr(B)
Del mismo modo, intercambiando los papeles de x e y, una regin de tipo 1
puede quedar determinada por las siguientes condiciones:
1. A = {(x, y, z) R
3
: y [c, d], g
1
(y) x g
2
(y), G
1
(x, y) z
G
2
(x, y)}
2. Si G
1
(x, y) = G
2
(x, y), entonces (x, y) fr(B)
Las regiones de tipo 2 y 3 se denen de forma anloga a como se denen
las regiones de tipo 1, intercambiando, respectivamente, los papeles de x y z, y
los de y y z.
En la mayora de los casos, los recintos de integracin no son proyectables
respecto a ninguno de los planos coordenados pero pueden descomponerse en un
nmero nito de recintos proyectables. La integral sobre dicho recinto es la suma
de las integrales sobre los recintos en que se ha dividido.
18.1.2. Clculo de integrales dobles
El teorema de Fubini se puede aplicar al caso de la integral doble de una
funcin sobre un recinto plano de integracin A. Si la regin es de tipo 1, y est
determinada por las grcas de dos funciones continuas f y g denidas en [a, b]
y tales que g(x) f(x) para todo x [a, b], entonces
Z
A
f =
Z
b
a
Z
d
c
f(x, y)
A
(x, y) dy
!
dx
en donde A [a, b] [c, d]. Ahora bien,
A
(x, y) =

1 si x [a, b] y g(x) y f(x)
0 en los dems casos
por tanto,
Z
b
a
Z
d
c
f(x, y)
A
(x, y) dy
!
dx =
Z
b
a
Z
f(x)
g(x)
f(x, y) dy
!
dx
es decir, obtenemos la siguiente frmula para calcular integrales dobles sobre
regiones de tipo 1
Z
A
f(x, y) dxdy =
Z
b
a
Z
f(x)
g(x)
f(x, y) dy
!
dx
Razonando del mismo modo, si la regin es de tipo 2, tenemos
Z
A
f(x, y) dxdy =
Z
d
c
Z
f(y)
g(y)
f(x, y) dx
!
dy
En los dems casos, el recinto A se descompone en un nmero nito de regiones
elementales (es decir, de tipo 1 o tipo 2) A
1
, ..., A
k
y la integral sobre A se calcula
como suma de las integrales sobre regiones elementales en la forma indicada
anteriormente,
Z
A
=
Z
A
1
f + +
Z
A
k
f
Z
A
xy dxdy
siendo A la regin limitada por las rectas y = 0, x = 2 y la parbola y = x
2
.
Solucin: El recinto dado puede considerarse como una regin de tipo 1 (o
de tipo 2), siendo g(x) = 0 y f(x) = x
2
para todo x [0, 2].
Entonces,
Z
A
xy dxdy =
Z
2
0
Z
x
2
0
xy dy
!
dx
=
Z
2
0
xy
2
2
x
2
0
dx
=
Z
2
0
x
5
2
dx
=

x
6
12
2
0
=
16
3
Z
A
(x
2
+y
2
) dxdy
en donde A es la regin limitada por la recta y = x y la parbola y
2
= x.
Solucin: El recinto puede considerarse como una regin de tipo 2 (o de
tipo 1), siendo g(y) = y
2
y f(y) = y para todo y [0, 1].
Entonces,
Z
A
(x
2
+y
2
) dxdy =
Z
1
0
Z
y
y
2
(x
2
+y
2
) dx
dy
=
Z
1
0
x
3
3
+y
2
x
y
y
2
dy
=
Z
1
0
y
3
3
+y
3
y
6
3
y
4
dy
=
Z
1
0
4y
3
3

y
6
3
y
4
dy
=

4y
4
12

y
7
21

y
5
5
1
0
=
1
3

1
21

1
5
=
3
35
Z
A
x
2
y dxdy
siendo A la regin del primer cuadrante limitada por las rectas y = x, y = 4x,
la hiprbola xy = 1 y la parbola y = x
2
5x + 8.
Solucin: La regin A es la unin de B y C que son regiones de tipo 1 (o
de tipo 2).
Entonces,
Z
A
x
2
y dxdy =
Z
B
x
2
y dxdy +
Z
C
x
2
y dxdy
=
Z
1
1/2
Z
4x
1/x
x
2
y dy
!
dx +
Z
2
1
Z
x
2
5x+8
x
x
2
y dy
!
dx
=
Z
1
1/2
x
2
y
2
2
4x
1/x
dx +
Z
2
1
x
2
y
2
2
x
2
5x+8
x
dx
=
Z
1
1/2
(8x
4
1
2
) dx +
Z
2
1
(
1
2
x
6
5x
5
+ 20x
4
40x
3
+ 32x
2
) dx
=

8x
5
5

x
2
1
1/2
+
x
7
14

5x
6
6
+
20x
5
5

40x
4
4
+
32x
3
3
2
1
=
13
10
+
110
21
=
1373
210
Z
A
x
2
y dxdy
en donde A es la regin limitada por las circunferencias de centro el origen de
coordenadas y radios 1 y 2.
Solucin: El recinto dado es una regin general que se puede descomponer
en dos regiones elementales de tipo 1 (o de tipo 2). Sin embargo, es ms sencillo
calcular la integral de la funcin sobre la regin B determinada por el crculo
de radio 2 y restarle la integral sobre la regin C determinada por el circulo de
radio 1. As tenemos
Z
A
x
2
y dxdy =
Z
B
x
2
y dxdy
Z
C
x
2
y dxdy
=
Z
2
2
Z

4x
2
4x
2
x
2
y dy
!
dx
Z
1
1
Z

1x
2
1x
2
x
2
y dy
!
dx
=
Z
2
2
x
2
y
2
2
4x
2
4x
2
dx
Z
1
1
x
2
y
2
2
1x
2
1x
2
dx
=
Z
2
2
x
2
(4 x
2
) dx
Z
1
1
x
2
(4 x
2
) dx
=
128
15

5
15
=
124
15
18.1.3. Clculo de integrales triples
El teorema de Fubini se puede aplicar al caso de la integral triple de una
funcin sobre un recinto de integracin A de R
3
. Si la regin A es de tipo 1,
entonces por proyeccin sobre el plano z = 0 determina una regin plana B de
tipo 1 denida por el intervalo [a, b] y las grcas de dos funciones continuas
f
1
y f
2
tales que f
1
(x) f
2
(x) para todo x [a, b]. De este modo, para cada
x [a, b] la variable y toma valores en el intervalo [f
1
(x), f
2
(x)] y para cada
(x, y) B la variable z toma valores en el intervalo [F
1
(x, y), F
2
(x, y)]. Entonces
Z
A
f =
Z
b
a
Z
d
c
Z
f
e
f(x, y, z)
A
(x, y) dz
!
dy
!
dx
en donde A [a, b] [c, d] [e, f]. Ahora bien,
A
(x, y, z) =

1 si x [a, b], f
1
(x) y f
2
(x), F
1
(x, y) z F
2
(x, y)
0 en los dems casos
por tanto,
Z
b
a
Z
d
c
Z
f
e
f(x, y, z)
A
(x, y, z) dz
!
dy
!
dx
=
Z
b
a
Z
f2(x)
f1(x)
Z
F2(x,y)
F1(x,y)
f(x, y, z) dz
!
dy
!
dx
es decir, obtenemos la siguiente frmula para calcular integrales triples sobre
regiones de tipo 1
Z
A
f(x, y, z) dxdy dz =
Z
b
a
Z
f2(x)
f
1
(x)
Z
F2(x,y)
F
1
(x,y)
f(x, y, z) dz
!
dy
!
dx
Razonando del mismo modo, se obtienen frmulas anlogas para las regiones del
tipo 2 y 3. En los dems casos, el recinto A se descompone en un nmero nito de
regiones elementales (es decir, de tipo 1, tipo 2 o tipo 3) A
1
, ..., A
k
y la integral
sobre A se calcula como suma de las integrales sobre regiones elementales en la
forma indicada anteriormente,
Z
A
=
Z
A
1
f + +
Z
A
k
f
Z
A
xz dxdy dz
siendo A el tetraedro determinado por los planos x = 0, y = 0, z = 0 y 2x +
2y +z = 2.
Solucin: El recinto dado es una regin de tipo 1. La proyeccin del tetrae-
dro sobre el plano z = 0 es el tringulo B limitado por las rectas x = 0, y = 0
y x +y = 1.
Entonces
Z
A
xz dxdy dz =
Z
1
0
Z
1x
0
Z
22x2y
0
xz dz
dy
dx
=
Z
1
0
Z
1x
0
xz
2
2
22x2y
0
dy
!
dx
=
Z
1
0
Z
1x
0
(2x 4x
2
4xy + 2x
3
+ 4x
2
y + 2xy
2
) dy
dx
=
Z
1
0
2xy 4x
2
y 2xy
2
+ 2x
3
y + 2x
2
y
2
+
2xy
3
3
1x
0
dx
=
Z
1
0
(
2
3
x 2x
2
+ 2x
3
2
3
x
4
) dx
=

x
2
3

2x
3
3
+
x
4
2

2x
5
15
1
0
=
1
30
Ejemplo 374 Determinar las integrales iteradas de una funcin f sobre la
regin A limitada por la supercie z = x
2
+y
2
y el plano z = 2x.
Solucin: El recinto dado es una regin de tipo 1. Eliminando z entre las
dos ecuaciones dadas, obtenemos
2x = x
2
+y
2
1 = (x 1)
2
+y
2
que es la ecuacin de la circunferencia proyeccin sobre el plano z = 0, de la
curva interseccin de las dos supercies dadas. Por tanto, esta circunferencia
es la frontera de una regin plana B que podemos considerar denida por
B = {(x, y) R
2
: 0 x 2,
p
2x x
2
y
p
2x x
2
}
con lo que la regin A viene dada por
A = {(x, y, z) R
3
: (x, y) B, x
2
+y
2
z 2x}
Entonces,
Z
A
f =
Z
2
0
Z

2xx
2
2xx
2
Z
2x
x
2
+y
2
f(x, y, z) dz
dy
!
dx
Ejemplo 375 Dada la integral iterada
Z
1
1
Z

1x
2
1x
2
Z
1
x
2
+y
2
f(x, y, z) dz
!
dy
!
dx
Determinar el tipo de regin del recinto de integracin A y expresar la integral
en otra integral iterada equivalente.
Solucin: Por la forma que tiene la integral iterada se ve enseguida que la
regin es de tipo 1; en el plano z = 0 tenemos 1 x 1 y
1 x
2

y

1 x
2
, es decir, la regin plana B delimitada por la circunferenicia de
ecuacin
x
2
+y
2
= 1
Esta circunferencia constituye la proyeccin sobre el plano z = 0 de la curva
interseccin de las supercies z = 1 y z =
p
x
2
+y
2
.
18.2. TRANSFORMACIN DE CONJUNTOS E INTEGRALES 535
Por tanto, tenemos
A = {(x, y, z) R
3
: 1 x 1,
p
1 x
2
y
p
1 x
2
,
p
x
2
+y
2
z 1}
Otra forma equivalente de escribir la integral iterada es intercambiando los
papeles de x e y. Entonces,
Z
1
1
Z

1y
2
1y
2
Z
1
x
2
+y
2
f(x, y, z) dz
!
dx
!
dy
18.2. Transformacin de conjuntos e integrales
Lema 19 Sea U un subconjunto abierto de R
n
y supongamos que f : U R
n
es una funcin de clase C
1
. Sea A un conjunto acotado con

A U. Entonces,
existe un conjunto abierto acotado V con

A V

V U y una constante
M > 0 tal que si A est contenido en la unin de un nmero nito de cubos
cerrados en V con volumen o contenido total a lo sumo k, entonces f(A) est
contenido en la unin de un nmero nito de cubos cerrados con volumen total
a lo sumo (
nM)
n
k.
Demostracin: Construimos V de la siguiente manera: si U = R
n
, se toma
= 1; de lo contrario, se toma
=
1
2
inf{kx ak : a

A, x / U}
Dado que

A es compacto, se inere que para cada x / U existe a

A tal que
kx ak = > 0, es decir, a es el punto de

A ms prximo a x. Ahora denimos
V = {x R
n
: existe a A tal que kx ak < }
de tal manera que V es abierto y acotado y, por construccin se cumple

A
V

V U. Dado que f es de clase C
1
y

V es compacto, se deduce que
M = sup{kDf(x)k : x V }
es nito, donde
kDf(x)k = sup{kDf(x)(y) : y R
n
, kyk 1k}
Si A I
1
I
m
, en donde los I
j
son cubos cerrados contenidos en V ,
entonces por el teorema del valor medio se deduce que para x, y I
j
se tiene
kf(x) f(y)k M kx yk
Supongamos que la longitud de la arista de I
j
es 2r
j
y sea x el centro de I
j
,
entonces se tiene
kx yk

nsup{|x
1
y
1
| , ..., |x
n
y
n
|}

nr
j
para todo y I
j
, de donde se sigue que
kf(x) f(y)k
nM r
j
De modo que f(I
j
) est contenido en un cubo cerrado de longitud lateral 2
nM r
j
.
Por lo tanto, se sigue que f(A) est contenido en la unin de un nmero nito
de cubos cerrados. Adems, si
v(A)
X
v(I
j
)
=
X
(2r
j
)
n
= k
entonces
v(f(A))
X
v(f(I
j
))
=
X
(2
nM r
j
)
n
= (
nM)
n
X
(2r
j
)
n
= (
nM)
n
k
Teorema 330 Sea U un subconjunto abierto de R
n
y supongamos que f : U
R
n
1
. Sea A un conjunto que tiene contenido cero, si
A U, entonces f(A) tiene contenido cero.

Demostracin: Al tener A contenido cero, A est acotada. Por el lema 19,
existe un conjunto abierto acotado V con

A V U y una constante M > 0.
Dado > 0, como A tiene contenido cero existe un recubrimiento nito de A
formado por cubos cerrados en V con volumen total menor que /(
nM)
n
. Por
el lema 19, entonces f(A) est recubierto por un nmero nito de cubos cerrados
con volumen total menor que y, en consecuencia, f(A) tiene contenido cero.
Observacin 174 En general, no es verdad que las funciones de clase C
1
trans-
formen conjuntos de contenido cero en conjuntos de contenido cero. Por ejem-
plo, sea
U = (
2
,

2
)
y la funcin f(x) = arctanx. El conjunto
A = {
2

1
n
: n N}
est contenido en U y tiene contenido cero, pues /2 es el nico punto de acu-
mulacin de A. Sin embargo, f(A) no tiene contenido cero, pues no es acotado.
Corolario 49 Sea p < n y sea V un subconjunto abierto de R
p
y supongamos
que g : V R
n
1
. Si A V es un conjunto acotado
con

A V , entonces g(A) tiene contenido cero en R
n
.
Demostracin: Denimos U = V R
np
de tal manera que U sea un conjunto
abierto en R
n
, y denimos la funcin f : U R
n
como
f(x
1
, ..., x
p
, x
p+1
, ..., x
n
) = g(x
1
, ..., x
p
)
Es claro que f es una funcin de clase C
1
. Sea A
0
= A{0, ..., 0} de tal manera
que

A
0
U y A
0
tiene contenido cero en R
n
. Por el teorema 330 se deduce que
g(A) = f(A
0
) tiene contenido cero en R
p
.
Observacin 175 Obsrvese que este resultado asegura que la imagen por una
funcin de clase C
1
de cualquier conjunto acotado de menor dimensin tiene
contenido cero.
Dado que la frontera de un conjunto acotado A medible-Jordan tiene con-
tenido cero, del teorema 330 se inere que si f es de clase C
1
entonces f(fr(A))
tiene contenido cero. Desafortunadamente f(fr(A)) tiene poca relacin, en gen-
eral, con fr(f(A)). Esta observacin incrementa el inters del siguiente resulta-
do.
Teorema 331 Sea U un conjunto abierto acotado en R
n
y supongamos que
f : U R
n
1
e inyectiva. Si A es un conjunto
medible-Jordan y

A U y J
f
(x) 6= 0 para toda x

A, entonces f(A) es un
conjunto medible-Jordan.
Demostracin: Dado que

A es compacto y f es continua, entonces f(

A) es
compacto y, como f(A) f(

A), f(A) es acotado. Para probar que f(A) es
medible-Jordan se habr de probar que fr(f(A)) tiene contenido cero. Para ello,
primero probaremos que fr(f(A) f(fr(A)) y, despus, que f(fr(A)) tiene
contenido cero.
Como f(

A) es compacto, se tiene
fr(f(A)) f(

A) = f(
A fr(A))
Por lo que, si y fr(f(A)), existe una x

Afr(A) tal que y = f(x). Si x

A,
como por hiptesis J
f
(x) 6= 0 y f es inyectiva, entonces y = f(x) es un punto
interior de f(
A) f(A) por qu? Si A es un abierto de R

n
y f : A R
n
es
una funcin inyectiva tal que J
f
(x) 6= 0 para todo x A, entonces f(A) es un
abierto de R
n
, pero esto no es posible ya que hemos supuesto que y fr(f(A)).
Por tanto, x fr(A) y, como consecuencia, y = f(x) f(fr(A)). Por lo tanto.
deducimos que fr(f(A) f(fr(A)). De hecho se cumple fr(f(A)) = f(fr(A)),
pues para probar la otra inclusin podemos aplicar el mismo razonamiento a
f
1
: f(A) A que es diferenciable bajo las condiciones del enunciado.
Ahora, como A es un conjunto medible-Jordan, su frontera fr(A) U es
un conjunto cerrado que tiene contenido cero. Por lo tanto, del teorema 330 se
deduce que f(fr(A)) tiene contenido cero.
18.2.1. Transformacin de conjuntos medibles-Jordan por
aplicaciones lineales
A continuacin se ver que los conjuntos medibles-Jordan se transforman
por una aplicacin lineal g en conjuntos medibles-Jordan y que su volumen o
contenido es un mltiplo jo del volumen original. Este factor jo es el valor ab-
soluto del determinante correspondiente a la aplicacin lineal. Esto proporciona
la interpretacin geomtrica de det g: es el factor de cambio de los volmenes
bajo la transformacin g.
Teorema 332 Si g : R
n
R
n
es una aplicacin lineal y A R
n
es medible-
Jordan, entonces g(A) es medible-Jordan y se cumple
Z
g(A)
1 =
Z
A
|det g|
es decir, su volumen viene dado por
v(g(A)) = |det g| v(A)
Demostracin: Si la aplicacin no es inversible, es decir, si det g = 0, entonces
g aplica R
n
en un subespacio vectorial propio de R
n
. Dado que este subespacio
vectorial tambin se puede obtener como la imagen de alguna aplicacin lineal
g
0
: R
p
R
n
con p < n, del corolario 49 se deduce que v(g(A)) = 0, por lo que
la armacin es vlida para aplicaciones lineales que sean no inversibles.
Consideremos ahora el caso en que g es una aplicacin lineal inversible, es
decir, tal que det g 6= 0. Primero consideramos el caso particular en que A es un
rectngulo de R
n
y la matriz de g, expresada en la base cannica, es una matriz
elemental (Una matriz elemental es una matriz cuadrada que resulta de aplicar
una transformacin elemental a las las o columnas de la matriz identidad).
Entonces, la matriz de g representa una de las tres transformaciones elemen-
tales: (1) intercambio de dos coordenadas; (2) multiplicacin de una coordenada
por un escalar distinto de cero; y (3) suma de una coordenada con el mltiplo
escalar de otra. Su determinante, en el primer caso, es 1, en el segundo , y
1 en el tercero. Supongamos que A = [a
1
, b
1
] [a
n
, b
n
], entonces es claro
que si g es del tipo (1) y consiste en intercambiar las coordenadas x
i
y x
j
con
i < j (1 i, j n), tenemos
g(A) = [a
1
, b
1
] [a
j
, b
j
] [a
i
, b
i
] [a
n
, b
n
]
de modo que su volumen es
Z
g(A)
1 = v(g(A))
= v(A)
= |det g| v(A)
=
Z
A
|det g|
ya que det g = 1. Si es del tipo (2) y consiste en multiplicar la coordenada x
i
por 6= 0, tenemos
g(A) = [a
1
, b
1
] [a
i
, b
i
] [a
n
, b
n
]
de modo que su volumen es
Z
g(A)
1 = v(g(A))
= || v(A)
= |det g| v(A)
=
Z
A
|det g|
ya que det g = . Finalmente, si es del tipo (3) y consiste en sustituir la coor-
denada x
j
por la suma x
j
+x
i
(i < j), tenemos
g(A) = [a
1
, b
1
] [a
i
, b
i
] [a
j
+a
i
, b
j
+b
i
] [a
n
, b
n
]
Usando el teorema de Fubini y sabiendo que para cada x
i
[a
i
, b
i
] se tiene
x
j
[a
j
+x
i
, b
j
+x
i
], tenemos
v(g(A)) =
Z
g(A)
1
=
Z
b1
a1

Z
bi
ai

Z
bj+xi
aj+xi

Z
bn
an
1 dx
n

!
dx
j

!
dx
i

!
dx
1
=
Z
b
1
a
1

Z
b
i
a
i

Z
b
j
+x
i
a
j
+x
i
(b
n
a
n
) (b
j+1
a
j+1
) dx
j

!
dx
i

!
dx
1
= (b
n
a
n
) (b
j+1
a
j+1
)
Z
b1
a
1

Z
bi
a
i
(b
j
a
j
) (b
i+1
a
i+1
) dx
i

!
dx
1
= (b
n
a
n
) (b
i+1
a
i+1
)
Z
b
1
a
1

Z
b
i
a
i
1 dx
i

!
dx
1
= (b
n
a
n
) (b
1
a
1
)
= v(A)
= |det g| v(A)
ya que det g = 1.
Supongamos ahora que A es un conjunto arbitrario medible-Jordan y que la
matriz de g es elemental, y consideremos un rectngulo U de R
n
que contiene
a A. Por ser A medible-Jordan, dado > 0 existe una particin P
tal que
X
SS
v(S)
X
SS
0
v(S) <

|det g|
en donde S es la coleccin de subrectngulos de P
que cortan a A y S
0
es
la coleccin de subrectngulos de P contenidos en A. Segn lo que ya hemos
demostrado, se cumple
X
SS
v(g(S)) =
X
SS
|det g| v(S)
= |det g|
X
SS
v(S)
y
X
SS
0
v(g(S)) =
X
SS
0
|det g| v(S)
= |det g|
X
SS
0
v(S)
Por tanto,
X
SS
v(g(S))
X
SS
0
v(g(S)) = |det g|
X
SS
v(S)
X
SS
0
v(S)
!
< |det g|

|det g|
=
y, en consecuencia, como > 0 es arbitrario, deducimos que g(A) es medible-
Jordan. Adems, se cumple
v(g(A))
X
SS
v(g(S))
= |det g|
X
SS
v(S)
|det g| U(
A
, P
)
y, anlogamente,
v(g(A))
X
SS
0
v(g(S))
= |det g|
X
SS
0
v(S)
|det g| L(
A
, P
)
Por tanto,
|det g| L(
A
, P
) v(g(A)) |det g| U(
A
, P
)
y, como A es medible-Jordan, se deduce
v(g(A)) = |det g| v(A)
pues,
v(A) =
Z
A
1 =
Z
U

A
Finalmente, si g es una aplicacin lineal inversible cuya matriz M no es ele-
mental y A es un conjunto medible-Jordan, entonces del hecho de que cualquier
matriz inversible M es el producto de matrices elementales, obtenemos que
M = E
1
E
2
E
r
, donde las E
i
son matrices elementales. Aplicando repeti-
das veces lo que acabamos de probar se sigue que g(A) es medible-Jordan y se
cumple
v(g(A)) = |det E
1
| |det E
2
| |det E
r
| v(A)
= |det g| v(A)
18.2.2. Transformacin de conjuntos medibles-Jordan por
aplicaciones no lineales
Se obtendr ahora una extensin del teorema anterior ??? para funciones de
clase C
1
que no son lineales. Desde luego, en este caso el volumen o contenido
de la imagen de un conjunto arbitrario no es necesariamente un mltiplo jo
del volumen del conjunto dado sino que puede variar de un punto a otro. El
teorema jacobiano implica que si K es un cubo sucientemente pequeo con
centro x entonces v(f(K)) es aproximadamente igual a |J
f
(x)| v(K). Este re-
sultado es crucial para poder demostrar el teorema del cambio de variables. Ser
tcnicamente conveniente considerar primero el siguente caso especial.
Lema 20 Sea K un cubo cerrado con centro 0 en R
n
y U un conjunto abierto
que contiene a K. Supongamos que f : U R
n
1
e
inyectiva. Supongamos adems que J
f
(x) 6= 0 para x K y que
kf(x) xk kxk
para x K, en donde satisface 0 < < 1/
n. Entonces
(1
n)
n
v(f(K))
v(K)
(1 +
n)
n
Demostracin: Del teorema ??? se sigue que f(K) es un conjunto medible-
Jordan y que fr(f(K)) = f(fr(K)). Si la longitud lateral de K es 2r y si
x fr(K), entonces se tiene
r = |x
i
| kxk
n sup{|x
1
| , ..., |x
n
|} = r
n
Entonces, la desigualdad
kf(x) xk kxk
implica que
kf(x) xk r
n
para x fr(K). Por lo tanto, el conjunto compacto f(fr(K)) = fr(f(K))
no interseca a un cubo abierto C
i
con centro 0 y longitud lateral 2(1
n)r.
Si ahora se toma A (resp. B) como el conjunto de todos los puntos interiores
(resp. exteriores) de f(K), entonces A y B son conjuntos abiertos no vacos
con unin R
n
fr(f(K)). Dado que C
i
es conexo en R
n
, se debe tener C
i
A
o bien C
i
B. Pero dado que 0 C
i
A, se inere que C
i
A f(K). De
manera anloga, el lector puede probar que si C
0
es el cubo cerrado con centro
0 y longitud lateral 2(1 +
n)r, entonces f(K) C

0
. Por tanto, tenemos
v(C
i
) = (1
n)
n
(2r)
n
= (1
n)
n
V (K) v(f(K))
y
v(f(K)) (1 +
n)
n
(2r)
n
= (1 +
n)
n
V (K) = v(C
0
)
Como consecuencia obtenemos
(1
n)
n
v(f(K))
v(K)
(1 +
n)
n
Teorema 333 (Teorema jacobiano) Sea U un conjunto abierto en R
n
y
supongamos que f : U R
n
1
, inyectiva y que
J
f
(x) 6= 0 para x U. Supongamos adems que A es un conjunto medible-
Jordan tal que

A U. Entonces, dado > 0, existe > 0 tal que si K es un
cubo cerrado con centro x A y longitud lateral menor que 2, entonces
|J
f
(x)| (1 )
n
v(f(K))
v(K)
|J
f
(x)| (1 +)
n
Demostracin: Construimos > 0 y V como en la demostracin del lema
???. Dado que det Df(x) = J
f
(x) 6= 0 para toda x U, se deduce que existe
L
x
= (Df(x))
1
para cada x U. Puesto que
det(L
x
Df(x)) = (det L
x
)(det Df(x)) = 1
se deduce que
det L
x
=
1
J
f
(x)
para x U. Puesto que L
x
es lineal, existe una constante M > 0 tal que
kL
x
(y)k M kyk
para todo y R
n
. De aqu se obtiene
kL
x
k = sup{kL
x
(y)k : y R
n
, kyk 1} M
para todo x U. Dado 0 < < 1, al ser f de clase C
1
la aplicacin x 7 Df(x)
es continua en U y, como

V es compacto, es uniformemente continua en

V . Por
tanto, existe con 0 < < tal que si x
1
, x
2

V y kx
1
x
2
k , entonces
kDf(x
1
) Df(x
2
)k

M
n
Dado x A, si kzk , segn la denicin de V en el lema ???, tenemos que
x y x +tz pertenecen a V , con 0 t 1. Entonces,
kf(x +z) f(x) Df(x)(z)k kzk sup{kDf(x +tz) Df(x)k : 0 t 1}
n
kzk
ya que si U es un conjunto abierto, f : U R
n
es diferenciable y a, b U,
entonces
kf(b) f(a) Df(x
0
)(b a)k kb ak sup{kDf(a +tb) Df(x
0
)k : 0 t 1}
donde x
0
U. Defnimos ahora la funcin g por
g(z) = L
x
[f(x +z) f(x)]
para kzk . Dado que L
x
= (Df(x))
1
, de la desigualdad obtenida anteriori-
ormente se deduce
kg(z) zk = kL
x
[f(x +z) f(x)] L
x
[Df(x)(z)]k
= kL
x
[f(x +z) f(x) Df(x)(z)]k
M kf(x +z) f(x) Df(x)(z)k
n
kzk
para kzk . Aplicamos ahora el lema ???, tomando = /
n, para deducir
que si K
1
es cualquier cubo cerrado con centro 0 y contenido en una bola abierta
con radio , entonces
(1 )
n
v(g(K
1
))
v(K
1
)
(1 +)
n
Puesto que L
x
es lineal, si tomamos K = x+K
1
, entonces K es un cubo cerrado
con centro en x y, por el teorema ??? se deduce
v(g(K
1
)) = |det L
x
| v(f(x +K
1
) f(x))
= |det L
x
| v(f(K
1
) f(x))
=
1
|J
f
(x)|
v(f(K))
ya que v(K) = v(x + K
1
) = v(K
1
). Por lo tanto, si K es un cubo cerrado
con centro x A y longitud lateral menor que 2 (en donde = /
n), la
desigualdad
|J
f
(x)| (1 )
n
v(f(K))
v(K)
|J
f
(x)| (1 +)
n
es vlida.
18.2.3. Transformacin de integrales
Se aplicar ahora el teorema jacobiano para obtener un importante teorema
que es una generalizacin a R
n
del teorema del cambio de variables para inte-
grales simples. Este ltimo resultado asegura que si g : [a, b] R tiene una
derivada continua y si f es continua en el recorrido de g, entonces se cumple
Z
g(b)
g(a)
f =
Z
b
a
(f g) g
0
El resultado que se va a probar exige la inyectividad de una aplicacin g
denida en un subconjunto abierto U R
n
con valores en R
n
. Se habr de
suponer que g C
1
(U) y que el jacobiano
J
g
(x) = det[D
j
g
i
(x)]
no es cero en U. Si A es un conjunto medible-Jordan tal que

A U y f es
una funcin acotada y continua de g(A) en R, entonces g(A) es medible-Jordan
y se cumple
Z
g(A)
f =
Z
A
(f g) |J
g
|
Se podr ver que en cierto modo, las hipteis son ms restrictivas que en el
caso n = 1. De hecho, en
Z
g(b)
g(a)
f =
Z
b
a
(f )
0
no se supone que g sea inyectiva o que g
0
(x) 6= 0 para x [a, b]. Obsrvese que
si g fuera inyectiva, la frmula
Z
g(A)
f =
Z
A
(f g) |J
g
|
se traducira en el caso n = 1 como
Z
B
A
f =
Z
b
a
(f g) |g
0
|
en donde A = inf {g(a), g(b)} y B = sup{g(a), g(b)}. Desde luego, si g
0
(x) >
0 para todo a x b, entonces, la frmula se reduce a
Z
B
A
f =
Z
b
a
(f g) |g
0
| =
Z
b
a
(f g) g
0
mientras que si g
0
(x) < 0 para todo a x b, la frmula se reduce a
Z
g(a)
g(b)
f =
Z
b
a
(f g) (g
0
)
y, por tanto,
Z
g(b)
g(a)
f =
Z
b
a
(f g) g
0
La razn de esta diferencia reside en que la integral sobre intervalos en R
est orientada en el sentido que se dene
Z
v
u
f =
Z
u
v
f
para cualesquiera nmeros reales u, v; ninguna orientacin de este tipo se ha
denido para integrales sobre R
n
.
Teorema 334 (Teorema del cambio de variables) Sea U R
n
un conjunto
abierto y supongamos que g : U R
n
1
(U), inyectiva
y que J
g
(x) 6= 0 para x U. Supongamos que A es un conjunto medible-Jordan
tal que

A U y f : g(A) R una funcin acotada y continua. Entonces
Z
g(A)
f =
Z
A
(f g) |J
g
|
Demostracin: Del teorema ??? se deduce que g(A) es un conjunto medible-
Jordan. Dado que los integrandos son funciones continuas, se deduce que existen
las integrales que aparecen en la frmula y, por tanto, slo queda por demostrar
su igualdad. Obsrvese en primer lugar que si se toma
f = f
+
f
donde
f
+
=
1
2
(f + |f|)
f
=
1
2
(|f| f)
y se usa la linealidad de la integral, entonces no es restrictivo suponer que f(y)
0 para toda y g(A).
Tomamos V como en el lema ??? y sean
M
g
= sup{kDg(x)k : x V }
M
f
= sup{f(y) : y g(A)}
M
J
= sup{|J
g
(x)| : x A}
en donde kDg(x)k = sup{kDg(x)(y)k : y R
n
, kyk 1}. Dado cualquier
0 < < 1, sea S un rectngulo cerrado que contiene a A y sea {K
i
: i = 1, ..., m}
una particin de S en cubos cerrados que no se solapan con longitud lateral
menor que 2, en donde es la constante del teorema jacobiano. Supongamos
que los cubos contenidos completamente en A se enumeran como K
1
, ..., K
r
;
aquellos que tienen puntos tanto en A como en su complemento se enumeran
como K
r+1
, ..., K
s
, y los cubos completamente contenidos en el complemento de
A, como K
s+1
, ..., K
m
. Dado que A es medible-Jordan se puede suponer que la
particin se ha elegido lo sucientemente na como para que
v(A)
r
X
i=1
v(K
i
) + y
s
X
i=r+1
v(K
i
) <
Se toma B = K
1
K
r
de tal manera que B A. Dado que v(A B) =
v(A) v(B) < , se tiene
Z
A
(f g) |J
g
|
Z
B
(f g) |J
g
|
Z
AB
(f ) |J
M
f
M
J
v(AB)
M
f
M
J

Del lema ??? se deduce que
v(g(AB)) (
nM
g
)
n

de tal manera que
Z
g(A)
f
Z
g(B)
f
Z
g(AB)
f
M
f
(
nM
g
)
n
Si x
i
es el centro de K
i
, i = 1, ..., r, entonces del teorema jacobiano se deduce
que
|J
g
(x
i
)| (1 )
n
v(g(K
i
))
v(K
i
)
|J
g
(x
i
)| (1 +)
n
Ahora, como 0 < < 1, se puede ver por induccin sobre n que
1 2
n
(1 )
n
y
(1 +)
n
1 + 2
n
y esta desigualdad se puede escribir en la forma

|v(g (K
i
)) |J
g
(x
i
)| v (K
i
)| v (K
i
) M
J
2
p
Dada la continuidad de las funciones en el integrando en el conjunto compacto

B, se inere que se puede suponer que para cualquier punto y
i
K
i
, se cumple
Z
B
(f g) |J
g
|
r
X
i=1
(f )(y
i
) |J
(x
i
)| v (K
i
)
< v(B)
ya que , si fuera necesario, se podran dividir los cubos K
1
, ..., K
r
en cubos ms
pequeos. Dado que g es inyectiva, dos conjuntos de {g (K
i
) : i = 1, ..., r} se
intersecan cuando ms en un conjunto g(K
i
K
j
) que tiene contenido cero ya
que v(K
i
K
j
) = 0. Adems, dado que g (K
i
) es medible-Jordan, f es integrable
en g (K
i
); por lo tanto, deducimos que
Z
g(B)
f =
r
X
i=1
Z
g(Ki)
f
Ahora, como K
i
es conexo, g (K
i
) es conexo. Dado que f es acotada y continua
en g (K
i
), del teorema del valor medio se deduce que existe p
i
g (K
i
) tal que
Z
g(Ki)
f = f(p
i
) v(g (K
i
))
para todo i = 1, ..., r. Dado que p
i
g (K
i
), existe una nica y
i
K
i
con
p
i
= g(y
i
), i = 1, ..., r. Por lo tanto, se tiene
Z
g(B)
f =
r
X
i=1
(f g)(y
i
) v(g (K
i
))
Pero puesto que (f )(y
i
) 0, de la desigualdad obtenida
|v(g (K
i
)) |J
g
(x
i
)| v (K
i
)| v (K
i
) M
J
2
p

se deduce que
r
X
i=1
(f g)(y
i
) v(g (K
i
))
r
X
i=1
(f g)(y
i
) |J
g
(x
i
)| v (K
i
)
"
M
J
2
n
r
X
i=1
(f g)(y
i
) v (K
i
)
#

"
M
J
M
f
2
n
r
X
i=1
v (K
i
)
#

[M
J
M
f
2
n
v (A)]
Si se combina esta ltima relacin con
Z
B
(f g) |J
g
|
r
X
i=1
(f )(y
i
) |J
(x
i
)| v (K
i
)
< v(B)
y
Z
g(B)
f =
r
X
i=1
(f g)(y
i
) v(g (K
i
))
se obtiene
Z
g(B)
f
Z
B
(f g) |J
g
|
(1 +M
J
M
f
2
n
) v (A)
Combinando esta ltima relacin con
Z
A
(f g) |J
g
|
Z
B
(f g) |J
g
|
M
f
M
J

y

Z
g(A)
f
Z
g(B)
f
M
f
(
nM
g
)
n
se obtiene
Z
g(A)
f
Z
A
(f g) |J
g
|
M
f
(
nM
g
)
n
+ (1 +M
J
M
f
2
n
) v (A) +M
f
M
J

Como que es un nmero arbitrario con 0 < < 1, la frmula
Z
g(A)
f =
Z
A
(f g) |J
g
|
queda probada.
Se ofrecer ahora un teorema ms fuerte que hace posible manejar el mismo
resultado cuando J
g
se anula y f g es discontinua en un conjunto de medida
cero.
Teorema 335 (Forma fuerte del teorema de cambio de variables) Sea
U R
n
un conjunto abierto y supongamos que g : U R
n
es una funcin
de clase C
1
(U). Sea V un conjunto abierto medible-Jordan tal que

V U y tal
que g es inyectiva en V . Sea K U un conjunto compacto con contenido cero
(es decir, de medida cero) tal que J
g
(x) 6= 0 para x V K. Supongamos que
A U es medible-Jordan,

A

V , f : g(A) R es acotada y que f es continua
en g(AK). Entonces
Z
g(A)
f =
Z
A
(f g) |J
g
|
Demostracin: Dado que fr(A) y fr(V ) son compactos y tienen contenido
cero, se puede suponer que estn contenidos en K; por lo tanto,

AK V K.
Dado que A y K son medibles-Jordan, el conjunto A K es medible-Jordan;
ms an, como K es cerrado,
\
AK =

AK
de tal manera que J
g
(x) 6= 0 para x

\
AK. Por lo tanto, por el teorema ???
aplicado a AK, se deduce que g(AK) es medible-Jordan. Del teorema ???
se deduce que g(K) tiene contenido cero, y adems, como
g(A) = g((AK) (A K)) = g(AK) g(A K)
que g(A) es medible-Jordan. Dado que f es acotada en g(A) y continua excepto
en un subconjunto de medida cero de g(K),se deduce que f es integrable sobre
g(A). Ms an, como f es continua excepto en un subconjunto de medida
cero de K, se deduce que (f g) |J
g
| es integrable sobre A. Por consiguiente,
queda por demostrar que estas integrales son iguales.
Ahora, aplicaremos el lema ??? a K para obtener un conjunto acotado abierto
V con K V

V U y una constante M
1
> 0, con la propiedad de que si
K est contenido en una unin nita de cubos cerrados en V con volumen total
a lo ms > 0, entonces g(K) est contenido en una unin nita de cubos
cerrados con volumen total a lo ms (
nM
1
)
n
. Dado > 0, y encerremos K
en una unin nita T
de cubos abiertos en V con v(T
) < y tal que la unin

W
de sus adherencias en T
siga estando contenida en V . Entonces, v(W
) <
y del lema ??? se deduce que
v(g(T
)) v(g(W
)) (
nM
1
)
n
Tomamos ahora B = A T
de tal manera que B es medible-Jordan. Ahora,

dado que T
es abierto y contiene a fr(V ) y K, se deduce que

B V K.
Aplicamos ahora el teorema del cambio de variables a B y V K en el lugar de
A y U respectivamente para obtener
Z
g(B)
f =
Z
B
(f g) |J
g
|
Con facilidad se puede ver que g(A) g(B) g(A T
) por lo que
Z
g(A)
f
Z
g(B)
f
Z
g(AT
)
f
M
f
v(g(A T
))
(
nM
1
)
n
M
f

De manera anloga se tiene
Z
A
(f g) |J
g
|
Z
B
(f g) |J
g
|

Z
AT
(f g) |J
g
|
M
f
M
J
v(A T
)
M
f
M
J

Por tanto, deducimos que
Z
g(A)
f
Z
A
(f g) |J
g
|
nM
1
)
n
M
f
+M
f
M
J

Dado que > 0 es arbitrario, se deduce la conclusin.
Ejemplo 376 Sea U R
n
un subconjunto medible-Jordan y A R
n
un sub-
conjunto tal que

U A

U. Probar que A es un conjunto medible-Jordan.
Poner un ejemplo de un conjunto U tal que

U y

U son medibles-Jordan pero U
no lo es.
Solucin: Como

U es abierto y

U es cerrado, la relacin

U A

U implica
U

A y

A

U. Entonces,

A

A

U
U, es decir, fr(A) fr(U). Como

U es medible-Jordan, fr(U) tiene medida cero y, por tanto, fr(A) tiene medida
cero y, en consecuencia, A es medible-Jordan. Por ejemplo, el subconjunto U
de [0, 1] formado por los nmeros racionales no es medible-Jordan, ya que su
frontera es [0, 1] y este conjunto no tiene medida cero. Sin embargo,

U = [0, 1]
y

U = s lo son.
Ejemplo 377 Sea g : R
2
R
2
la transformacin denida por g(u, v) = (x, y),
en donde x = u + v, y = v u
2
, y sea A el tringulo limitado por las rectas
u + v = 2, u = 0 y v = 0. (a) Determinar un abierto U que contenga a A de
manera que g cumpla en U las hiptesis del teorema del cambio de variables
para la integral de Riemann. (b) Representar grcamente g(A) y calcular
Z
g(A)
x
2
+y
2
p
1 + 4(x y)
dxdy
Solucin: (a) Es claro que g es una funcin de clase C
1
(R
2
). Por tanto, es
suciente obtener un abierto U que contenga a A en el cual g sea inyectiva y
J
g
(u, v) 6= 0 para todo (u, v) U. Observamos que
J
g
(u, v) =
1 1
2u 1
= 1 + 2u
Por tanto, podemos tomar
U = {(u, v) R
2
: 1 + 2u > 0}
Veamos a continuacin que g es inyectiva en U. En efecto,
g(u, v) = g(s, t)
u +v = s +t
v u
2
= t s
2
= u +u
2
= s +s
2
= u s + (u +s)(u s) = 0
= (u s)(1 +u +s) = 0
Como u >
1
2
y s >
1
2
, obtenemos 1 +u +s 6= 0 y, por tanto, u = s y, como
consecuencia, tambin v = t. Por ltimo, es claro que U contiene a A.
(b) Observemos que la recta u + v = 2 en el plano uv se transforma en la
recta x = 2 en el plano xy. Puesto que x y = u + u
2
, la recta u = 0 se
transforma en la recta y = x. Como y = v +x
2
2xv +v
2
, la recta v = 0 se
transforma en la parbola y = x
2
. Por tanto, tenemos
g(A) = {(x, y) R
2
: 0 x 2, x
2
y x}
Para calcular la integral efectuamos el cambio de variables denido por la trans-
formacin dada. As tenemos
Z
g(A)
x
2
+y
2
p
1 + 4(x y)
dxdy =
Z
A
(u +v)
2
+ (v u
2
)
2
1 + 4u + 4u
2
(1 + 2u) dudv
=
Z
2
0
Z
2v
0
(u +v)
2
+ (v u
2
)
2
1 + 2u
(1 + 2u) du
dv
=
Z
2
0
Z
2v
0
(u
2
+ 2uv + 2v
2
+u
4
2vu
2
) du
dv
=
32
5
18.3. Cambio de variables
18.3.1. Cambio de variables en intregrales dobles
Desde un punto de vista prctico, el teorema del cambio de variables se
expresa en este caso como sigue: sea
g : U R
2
R
2
(u, v) 7 (x, y)
una funcin de clase C
1
en el abierto U de R
2
y denida como sigue
x = g
1
(u, v)
y = g
2
(u, v)

18.3. CAMBIO DE VARIABLES 551
tal que g es inyectiva en U y
J
g
(u, v) =
g1
u
g1
v
g
2
u
g
2
v
6= 0
para todo (u, v) U. Si D es un conjunto medible-Jordan tal que

D U y
f : A = g(D) R es acotada y continua, entonces se cumple
Z
A
f(x, y) dxdy =
Z
D
f(g
1
(u, v), g
2
(u, v)) |J
g
(u, v)| dudv
que es la frmula del cambio de variables para integrales dobles.
Sin embargo, con bastante frecuencia se presenta el problema de que g no es
inyectiva o que el jacobiano de g se anula sobre la frontera del conjunto D, por
lo que no es posible elegir un abierto U de modo que se cumplan las hiptesis
del teorema. En estos casos, el teorema ??? resuelve estas dicultades acudiendo
al articio de aproximar el conjunto U por otro ms pequeo V sobre el que
se pueda aplicar correctamente el cambio de variables. Ms en detalle, cuando
se presentan estas dicultades, se tratara de encontrar un conjunto V abierto
medible-Jordan tal que

V U y en el que g sea inyectiva. En tal caso, si
J
g
(u, v) =
g1
u
g1
v
g
2
u
g
2
v
se anula a lo sumo en un conjunto de medida cero, D es un conjunto medible-

Jordan tal que

D

V , y f : A = g(D) R es acotada y es discontinua a lo
sumo en un conjunto de medida cero. En estas condiciones tambin se cumple
Z
A
f(x, y) dxdy =
Z
D
f(g
1
(u, v), g
2
(u, v)) |J
g
(u, v)| dudv
Observacin 176 1. Por lo general el uso del teorema sobre el cambio de
variables cuando n > 1 es diferente de la aplicacin del teorema corre-
spondiente cuando n = 1. Por ejemplo, al calcular
Z
1
0
x(1 +x
2
)
1/2
dx
es natural observar que si se introduce g(x) = 1 +x
2
entonces g
0
(x) = 2x,
por lo que el integrando tiene la forma
1
2
(g(x))
1/2
g
0
(x)
y entonces
Z
1
0
x(1 +x
2
)
1/2
dx =
Z
1
0
1
2
(1 +x
2
)
1/2
2xdx
=
1
2
2
3
(1 +x
2
)
3/2
1
0
=
1
3
h
(1 +x
2
)
3/2
i
1
0
=
1
3
(2
3/2
1)
De modo que la integracin se lleva a cabo observando que el integran-
do dado es una composicin de alguna funcin y g, multiplicada por la
derivada de g. Aplicaciones anlogas para calcular integrales en ms de
una variable por lo general son posibles slo cuando el jacobiano es con-
stante o muy sencillo. Por ejemplo, una integral de la forma
Z Z
A
f(x + 2y, 2x 3y) dxdy
se puede tratar introduciendo la aplicacin lineal g(x, y) = (x+2y, 2x3y).
En este caso
J
g
(x, y) = det
1 2
2 3
= 3 4 = 7
y entonces se tiene
Z Z
A
f(x + 2y, 2x 3y) dxdy =
Z Z
A
1
7
[(f g) 7] dxdy
=
1
7
Z Z
g(A)
f(u, v) dudv
Esta segunda integral puede ser ms sencilla si f(u, v) es ms sencilla,
por ejemplo, f(u, v) = (u) (v), o si g(A) es ms sencillo, por ejemplo,
un rectngulo. De otra manera, puede no simplicar mucho las cosas. En
general, el uso ms tpico del teorema es el de calcular una integral mltiple
R
A
f observando que el conjunto A es la imagen por una cierta funcin g
de un conjunto ms sencillo D como, por ejemplo, un rectngulo.
2. En realidad la condicin J
g
(x) 6= 0 puede ser eliminada en virtud del
teorema de Sard. Este teorema arma que dada una funcin g : U R
n
de clase C
1
en el abierto U R
n
y el conjunto
B = {x U : J
g
(x) = 0}
entonces g(B) tiene medida cero. Una demostracin de este teorema se
encuentra en el texto de M. Spivak titulado Clculo en variedades.
Ejemplo 378 Dada la integral
Z Z
A
f(x, y) dxdy
donde A designa al rectngulo de vrtices (0, 0), (2, 2), (1, 3) y (1, 1) y f es una
funcin continua en A, transformar la integral mediante el cambio de variables
dado por las ecuaciones
u = x +y
v = x +y
Solucin: El rectngulo A es la regin acotada por las rectas dadas por

y = x, y = x + 4, y = x + 2 e y = x. Mediante el cambio, estas rectas se
transforman respectivamente en u = 0, v = 4, u = 2 y v = 0. Por lo tanto, si
denimos g : (u, v) 7 (x, y) de manera que
x =
1
2
(u +v)
y =
1
2
(u +v)

entonces g aplica el rectngulo D = [0, 2] [0, 4] en A.
Obsrvese que g es una aplicacin lineal biyectiva y
J
g
(u, v) =

1
2
1
2
1
2
1
2
=
1
2
Es claro que se cumplen las condiciones del teorema del cambio y, como conse-
cuencia tenemos
Z Z
A
f(x, y) dxdy =
Z Z
D
f

1
2
(u +v),
1
2
(u +v)
1
2
dudv
=
1
2
Z
4
0
Z
2
0
f

1
2
(u +v),
1
2
(u +v)
du
dv
donde hemos aplicado el teorema de Fubini en la segunda igualdad.
Ejemplo 379 Dado el conjunto
D =

(u, v) R
2
: 1 u
2
v
2
9, 1 uv 4
y la integral
Z Z
D
f(u, v) dudv
Transformar esta integral en otra de equivalente cuyo recinto de integracin sea
un rectngulo.
Solucin: Denimos h : (u, v) 7 (x, y) como
x = u
2
v
2
y = uv
entonces es claro que h aplica las hiprbolas del plano uv en las rectas x = 1,
x = 9, y = 1 e y = 4 del plano xy.
A pesar de que h no es inyectiva en todo R
2
, es inyectiva en el conjunto B =
(u, v) R
2
: u > 0, v > 0
y se cumple
J
h
(u, v) =
2u 2v
v u
= 2(u
2
+v
2
) > 0
Adems, es claro que h(B) =

(x, y) R
2
: x R, y > 0
. De este modo, podemos

denir g : h(B) B como g = h
1
. De lo anterior, es claro que g aplica las
rectas x = 1, x = 9, y = 1 e y = 4 del plano xy en las hiprbolas u
2
v
2
= 1,
u
2
v
2
= 9, uv = 1 y uv = 4 del plano uv respectivamente, y que el conjunto D
es la imagen por g del rectngulo A = [1, 9] [1, 4]. Mediante clculos directos
se deduce que g : (x, y) 7 (u, v) con
u =

x + (x
2
+ 4y
2
)
1/2
2
1/2
v =

x + (x
2
+ 4y
2
)
1/2
2
1/2
De aqu se deduce tambin que u
2
+v
2
= (x
2
+ 4y
2
)
1/2
de tal manera que
J
g
(x, y) =
1
J
h
(u, v)
=
1
2
(x
2
+ 4y
2
)
1/2
De modo que se tiene
Z Z
D
f(u, v) dudv =
Z Z
A
f (u(x, y), v(x, y))
2
p
x
2
+ 4y
2
dxdy
en donde u(x, y) y v(x, y) vienen dadas por las expresiones calculadas anterior-
mente.
Coordenadas polares
Una aplicacin de la frmula del cambio de variables es la evaluacin de
integrales dobles por medio de las coordenadas polares. La funcin g que pasa
de coordenadas polares a coordenadas cartesianas viene dada por
g(r, ) = (r cos , r sin)
A cualquier par de nmeros (r, ) R
2
tales que
(x, y) = (r cos , r sin)
se le llama un conjunto de coordenadas polares del punto (x, y). Por lo general
se requiere que r 0; an as, cada punto (x, y) en R
2
tiene una innidad de
conjuntos de coordenadas polares.
Por ejemplo, si (x, y) = (0, 0), (0, 0) es un conjunto de coordenadas polares
de (0, 0) para todo R; si (x, y) 6= (0, 0) y (r, ) es un conjunto de coordenadas
polares para (x, y), entonces para cada n Z el par (r, +n2) tambin es un
conjunto de coordenadas polares para (x, y).
Si (x, y) 6= (0, 0), entonces el par nico (r, ) con r > 0, 0 < 2, se llama
el conjunto principal de coordenadas polares del punto (x, y). De modo
que la funcin g da origen a una aplicacin inyectiva de (0, +) [0, 2) sobre
R
2
{(0, 0)}. Tambin da una aplicacin de [0, +) [0, 2) sobre R
2
pero no
es inyectiva, ya que manda todos los puntos de la forma (0, ) con 0 < 2
en (0, 0). Obsrvese tambin que el jacobiano est dado por
J
g
(r, ) = det
cos r sin
sin r cos
= r cos
2
+r sin
2
= r
que es cero para r = 0.
Es claro que g aplica el rectngulo D = [0, 1] [0, 2] del plano (r, ) en el
disco unitario
A =

(x, y) R
2
: x
2
+y
2
1
pero puesto que g no es inyectiva en D y J

g
es cero para r = 0, no se puede
aplicar el teorema del cambio de variables en su forma dbil para transformar la
integral sobre A en una integral sobre D. Ahora bien, podemos aplicar la forma
fuerte de este teorema, eligiendo V = (0, 1) (0, 2) como conjunto abierto
medible-Jordan en (0, +) (0, 2). Aunque la imagen de (0, 1] (0, 2) por
el cambio excluye el conjunto de puntos sobre el eje x, con x 0, ste es un
conjunto de medida cero y, por tanto, no contribuye al valor de la integral.
Es til el cambio a polares cuando el recinto de integracin est limitado
por curvas de la forma = a y r = b, donde a y b son constantes reales, ya que
con el cambio estas regiones se transforman en rectngulos como se ilustra en
la siguiente gura.
Z
A
(x
2
y
2
) dxdy
donde A = {(x, y) R
2
: 1 x
2
+y
2
4}.
Solucin: Efectuaremos el cambio a polares
entonces g(D) = A, donde D = {(r, ) R
2
: 1 r 2, 0 < 2}. Por tanto
Z Z
A
(x
2
y
2
) dxdy =
Z Z
D
r
2
(cos
2
sin
2
) r dr d
=
Z
2
0
(cos
2
sin
2
) d
Z
2
1
r
3
dr
=
15
4
Z
2
0
cos 2 d = 0
18.3.2. Cambio de variables en integrales triples
Desde un punto de vista prctico, el teorema del cambio de variables se
expresa en este caso como sigue: sea
g : U R
3
R
3
(u, v, w) 7 (x, y, z)
una funcin de clase C
1
en el abierto U de R
3
y denida como sigue
x = g
1
(u, v, w)
y = g
2
(u, v, w)
z = g
3
(u, v, w)
tal que g es inyectiva en U y

J
g
(u, v, w) =
g1
u
g1
v
g1
w
g
2
u
g
2
v
g
2
w
g3
u
g3
v
g3
w
6= 0
para todo (u, v, w) U. Si D es un conjunto medible-Jordan tal que

D U y
f : A = g(D) R es acotada y continua, entonces se cumple
Z
A
Z
D
f(g
1
(u, v, w), g
2
(u, v, w), g
3
(u, v, w))|J
g
(u, v, w)| dudv dw
que es la frmula del cambio de variables para integrales dobles.
Sin embargo, con bastante frecuencia se presenta el problema de que g no es
inyectiva o que el jacobiano de g se anula sobre la frontera del conjunto D, por
lo que no es posible elegir un abierto U de modo que se cumplan las hiptesis
del teorema. En estos casos, el teorema ??? resuelve estas dicultades acudiendo
al articio de aproximar el conjunto U por otro ms pequeo V sobre el que
se pueda aplicar correctamente el cambio de variables. Ms en detalle, cuando
se presentan estas dicultades, se tratara de encontrar un conjunto V abierto
medible-Jordan tal que

V U y en el que g sea inyectiva. En tal caso, si
J
g
(u, v, w) =
g
1
u
g
1
v
g
1
w
g
2
u
g
2
v
g
2
w
g3
u
g3
v
g3
w
se anula a lo sumo en un conjunto de medida cero, D es un conjunto medible-

Jordan tal que

D

V , y f : A = g(D) R es acotada y es discontinua a lo
sumo en un conjunto de medida cero. En estas condiciones tambin se cumple
Z
A
Z
D
f(g
1
(u, v, w), g
2
(u, v, w), g
3
(u, v, w))|J
g
(u, v, w)| dudv dw
Ejemplo 381 Efectuando el cambio de variable
x +y +z = u
y +z = uv
z = uvw

calcular la integral
Z
A
xyz(1 x y z) dxdy dz
donde A es el tetraedro siguiente
A = {(x, y, z) R
3
: x > 0, y > 0, z > 0, x +y +z < 1}
Solucin: Dados u, v, w, el sistema lineal
x +y +z = u
y +z = uv
z = uvw
es compatible determinado y su solucin es

x = u(1 v)
y = uv(1 w)
z = uvw
Por consiguiente, la aplicacin g : (u, v, w) 7 (x, y, z) es inyectiva. Las de-

sigualdades que determinan A se transforman en trminos de las nuevas coor-
denadas en
u(1 v) > 0
uv(1 w) > 0
uvw > 0
u < 1
Es fcil comprobar que este sistema de desigualdades es equivalente a

0 < uvw < uv
uv < u < 1
y, por tanto, al siguiente

0 < u < 1
0 < v < 1
0 < w < 1
En consecuencia, tenemos g(D) = A, donde A = (0, 1) (0, 1) (0, 1). Por otra
parte, tenemos
J
g
(u, v, w) =
1 v u 0
v(1 w) u(1 w) uv
vw uw uv
= u
2
v
que no se anula en el interior de A, luego se cumplen las hiptesis del teorema
del cambio de variables y, por tanto,
Z Z Z
A
xyz(1 x y z) dxdy dz =
Z Z Z
D
u
3
v
2
w(1 v)(1 w)(1 u)u
2
v dudv dw
=
Z
1
0
(1 u)u
5
du
Z
1
0
(1 v)v
3
dv
Z
1
0
(1 w)wdw
=
1
7!
Coordenadas esfricas y cilndricas
Las mismas tcnicas que hemos aplicado a las coordenadas polares se pueden
aplicar a las coordenadas esfricas. Recurdese que las coordenadas esfricas
estn denidas por la aplicacin g : R
3
R
3
en donde
g(r, , ) = (r cos sin, r sin sin, r cos )
Cualquier terna de nmeros (r, , ) R
3
tales que (x, y.z) = g(r, , ) se
llama un conjunto de coordenadas esfricas del punto (x, y, z). Por lo general
se requiere que r 0, pero an con esta restriccin cada punto en R
3
tiene una
innidad de conjuntos de coordenadas esfricas.
Por ejemplo, si (x, y, z) = (0, 0, 0), entonces (0, , ) es un conjunto de co-
ordenadas esfricas para todo , R; si (x, y, z) 6= (0, 0, 0) y (r, , ) es un
conjunto de coordenadas polares para (x, y, z), entonces para cada m, n Z, las
ternas (r, +2m, +2n) y (r, +(2m+1) , +(2n +1) ) son conjuntos
de coordenas esfricas para este punto.
Si (x, y, z) es tal que (x, y) 6= (0, 0), entonces la terna nica (r, , ) con
r > 0, 0 < 2, 0 < < , se llama conjunto principal de coordenadas
esfricas de (x, y, z). De modo que la funcin g da entonces una aplicacin
inyectiva de (0, +)[0, 2)(0, ) sobre R
3
{(0, 0, z) : z R}. La restriccin
de g a [0, +) [0, 2] [0, ] da una aplicacin sobre todo R
3
pero no es
inyectiva, ya que manda todos los puntos de la forma (0, , ) en (0, 0, 0) y
si = 0 o , entonces todos los puntos (r, , ) se aplican en (0, 0, r cos ).
Obsrvese tambin que
J
g
(r, , ) = det
cos sin r sin sin r cos cos

sin sin r cos sin r sin cos
cos 0 r sin
= r
2
sin
Es claro que g aplica el rectngulo D = [0, 1] [0, 2] [0, ] del espacio
(r, , ) en la bola unitaria A =

(x, y, z) R
3
: x
2
+y
2
+z
2
1
, pero dado
que g no es inyectiva en D y J
g
es cero cuando r
2
sin = 0, no se puede
usar directamente el teorema del cambio de variables en su forma dbil para
transformar la integral sobre A en una integral sobre D. Ahora bien, podemos
aplicar la forma fuerte de este teorema, eligiendo V = (0, 1) (0, 2) (0, )
como conjunto abierto medible-Jordan en (0, +) (0, 2) (0, ). Aunque la
imagen de (0, 1] (0, 2) (0, ) por el cambio excluye el conjunto de puntos
sobre el plano xz tal que x 0, ste es un conjunto de medida cero en R
3
y,
por tanto, no contribuye al valor de la integral.
Las coordenadas cilndricas se tratan de forma anloga a las coordenadas po-
lares y esfricas. La transformacin es en este caso g(r, , z) = (r cos , r sin, z)
sobre el conjunto A = {(r, , z) R
3
: r > 0, 0 < < 2}.
Es inmediato comprobar que el jacobiano es J
g
(r, , z) = r, de modo que el
teorema del cambio de variables implica
Z
A
Z
D
f(r cos , r sin, z) r dr d dz
Esta frmula es til para calcular integrales triples con simetra cilndrica,
frente a los problemas con simetra esfrica que se resuelven con coordenadas
esfricas.
Z
A
(x
2
+y
2
+z
2
) dxdy dz
donde
A = {(x, y, z) R
3
: x
2
+y
2
+z
2
< 1}
Solucin: El conjunto A es la imagen de
D = {(r, , ) R
3
: 0 < r < 1, 0 < < 2, 0 < < }
por la aplicacin
g(r, , ) = (r cos sin, r sin sin, r cos )
18.4. APLICACIONES GEOMTRICAS DE LA INTEGRAL 561
excepto los puntos de A en el plano xz con x 0. En consecuencia,
Z
A
(x
2
+y
2
+z
2
) dxdy dz =
Z
D
r
2
r
2
sindr d d
=
Z
2
0
d
Z

0
Z
1
0
r
4
sindr
d
= 2
Z

0
1
5
cos d
= 2(
1
5

1
5
) =
4
5

Z
A
ze
x
2
y
2
dxdy dz
donde
A = {(x, y, z) R
3
: x
2
+y
2
1, 0 z 1}
Solucin: Efectuando el cambio a cilndricas, obtenemos
Z
A
ze
x
2
y
2
dxdy dz =
Z
D
ze
r
2
r dr d dz
=
Z
2
0
d
Z
1
0
re
r
2
dr
Z
1
0
dz
= 2

1
2
e
r
2
1
0
= (1 e
1
)
18.4. Aplicaciones geomtricas de la integral
El volumen o contenido de un subconjunto acotado medible-Jordan A es
la integral sobre A de su funcin caracterstica. La integracin iterada y las
porpiedades geomtricas de algunos conjuntos nos permiten, en ciertos casos,
expresar las reas y volmenes de manera sencilla.
18.4.1. Clculo de reas de recintos planos
El rea S de un recinto plano A viene dado por
S =
Z Z
A
dxdy
siempre que dicha integral exista. Por ejemplo, si A es proyectable sobre el eje x
y viene limitado por las grcas de dos funciones continuas f
1
y f
2
denidas en
el intervalo [a, b], tales que f
2
(x) f
1
(x) para todo x [a, b], entonces tenemos
S =
Z Z
A
dxdy
=
Z
b
a
dx
Z
f2(x)
f
1
(x)
dy
=
Z
b
a
[f
2
(x) f
1
(x)] dx
De forma anloga se obtiene el resultado para recintos proyectables sobre el eje
y. Recordemos tambin que para facilitar los clculos, en el caso de un recinto
plano con un eje de simetra es suciente determinar el rea de una de las partes
simtricas.
Ejemplo 384 Calcular el rea del recinto limitado por la recta y x = 0 y la
parbola y = 2 x
2
.
Solucin: Determinemos los puntos de interseccin de las curvas dadas. Es
claro que
x = 2 x
2
y, por tanto, obtenemos los puntos (2, 2) y (1, 1). Por consiguiente el rea
buscada es
S =
Z
1
2
Z
2x
2
x
dy
!
dx
=
Z
1
2
(2 x
2
x) dx
=

2x
x
3
3

x
2
2
1
2
=
27
6
18.4.2. Clculo de volmenes
El volumen V de un cuerpo A en R
3
viene dado por
V =
Z Z Z
A
dxdy dz
siempre que exista dicha integral. Por ejemplo, si A es proyectable sobre el plano
xy y est limitado por las grcas de dos funciones continuas f
1
y f
2
denidas
en el recinto A
0
proyeccin de A sobre xy y tales que f
2
(x) f
1
(x) para todo
(x, y) A
0
. Supongamos tambin que A
0
est limitado por las grcas de g
1
y
g
2
denidas en el intervalo [a, b], tales que g
2
(x) g
1
(x) para todo x [a, b].
Entonces el volumen V de A viene dado por
V =
Z
b
a
Z
g2(x)
g1(x)
Z
f2(x,y)
f1(x,y)
dz
!
dy
!
dx
=
Z
b
a
Z
g
2
(x)
g
1
(x)
[f
2
(x, y) f
1
(x, y)] dy
!
dx
Podemos obtener frmulas anlogas para recintos proyectables sobre los otros
planos de coordenadas. Finalmente, recordemos que si el cuerpo presenta un
plano de simetra es suciente determinar el volumen de una de las partes
simtricas.
18.4.3. Mtodo de las secciones
Supongamos que U R
n
y U = V W, donde V R
p
y W R
q
, son
rectngulos cerrados y p + q = n, y sea A U un conjunto medible-Jordan,
jado w W, sea A
w
la seccin de A por w, es decir,
A
w
= {v V : (v, w) A}
Supongamos ahora que A
w
es medible-Jordan para todo w W; esto es lo que
ocurre habitualmente en las aplicaciones. Si suponemos tambin que f : A
U R es una funcin integrable sobre A que, adems, para cada w W la
funcin parcial f
w
(v) = (v, w) es integrable en A
w
. Aplicando el teorema de
Fubini, entonces obtenemos
Z
A
f =
Z
W
Z
Aw
f
En particular, cuando f es la funcin constante igual a 1 y en las mismas

condiciones anteriores, obtenemos
v(A) =
Z
W
Z
A
w
1
En el caso n = 3, se toma a menudo q = 1, con lo que el clculo del volumen de

un conjunto medible-Jordan A R
3
se expresa mediante una integral simple
de una funcin que da el rea de la seccin A
z
, es decir,
v(A) =
Z
z
2
z
1
Z
A
z
1
Este mtodo de clculo de volmenes suele llamarse mtodo de las secciones

y es til cuando las secciones consideradas son guras geomtricas elementales
de rea conocida.
Ejemplo 385 Calcular el volumen comprendido entre el paraboloide z = x
2
+y
2
y el plano z = 1.
Solucin: La proyeccin de este volumen sobre el plano xy es la circunfer-
encia x
2
+y
2
= 1. Por tanto, el volumen V buscado es
V =
Z
1
1
Z

1x
2
1x
2
Z
1
x
2
+y
2
dz
dy
!
dx
=
Z
1
1
Z

1x
2
1x
2
(1 x
2
y
2
) dy
!
dx
Efectuando el cambio a polares
x = r cos
y = r sin
la integral anterior se transforma en
V =
Z
1
0
Z
2
0
(1 r
2
) r d
dr
= 2
Z
1
0
(r r
3
) dr
= 2
r
2
2

r
4
4
1
0
=

2
18.4.4. Clculo de reas de supercies
El rea S de una supercie dada por la ecuacin z = f(x, y), donde f es una
funcin de clase C
1
, y delimitada por una curva que se proyecta en el plano xy
en un recinto A viene dada por
S =
Z Z
A
s
1 +
z
x
2
+
z
y
2
dxdy
Frmulas anlogas se obtienen si la proyeccin se efecta sobre el plano xz o
bien sobre el plano yz.
Ejemplo 386 Calcular la supercie S de la esfera x
2
+y
2
+z
2
= r
2
.
Solucin: Calculemos la supercie de la mitad superior de la esfera denida
por
z =
p
r
2
x
2
y
2
En este caso tenemos
z
x
=
x
r
2
x
2
y
2
z
y
=
y
r
2
x
2
y
2
Por tanto,
s
1 +
z
x
2
+
z
y
2
=
s
r
2
r
2
x
2
y
2
=
r
p
r
2
x
2
y
2
Esta parte de la esfera se proyecta sobre el eje xy en la circunferencia x
2
+y
2
=
r
2
. Por tanto, el recinto que se obtiene viene dado por
A = {(x, y) R
2
: x
2
+y
2
r
2
}
y, en consecuencia, tenemos
S
2
=
Z Z
A
r
p
r
2
x
2
y
2
dxdy
=
Z
r
r
Z

r
2
x
2
r
2
x
2
r
p
r
2
x
2
y
2
dy
!
dx
Para calcular esta integral efectuamos el cambio a polares
x = cos
y = sin
De esta forma, obtenemos
S
2
=
Z
r
0
Z
2
0
r
p
r
2
2
d
!
d
= 2r
Z
r
0
p
r
2
2
d
= 2r
Z
r
0
2
2
p
r
2
2
d
= 2r
h
p
r
2
2
i
r
0
= 2r
2
es decir,
S = 4r
2
18.4.5. Volmenes de cuerpos de revolucin
Dado un conjunto medible-Jordan A R
2
, se puede considerar este conjun-
to inmerso en R
3
mediante la inyeccin j : R
2
R
3
denida por j(x, y) =
(x, y, 0). Denotamos por r
x
(A) (resp. r
y
(A) )el subconjunto de R
3
obtenido por
la rotacin de j(A) alrededor del eje x (resp. eje y). Si A cumple la condicin de
que y 0 para todo (x, y) A, entonces r
x
(A) es un conjunto medible-Jordan
de R
3
, cuyo volumen V
x
viene dado por
V
x
= 2
Z Z
A
y dxdy
Anlogamente, si suponemos que A cumple la condicin de que x 0 para todo
(x, y) A, entonces r
y
(A) es un conjunto medible-Jordan de R
3
, cuyo volumen
V
y
viene dado por
V
y
= 2
Z Z
A
xdxdy
Por ejemplo, si A es un recinto de ordenadas denido por
A = {(x, y) R
2
: a x b, 0 y f(x)}
donde f es una funcin continua no negativa, entonces se tiene
V
x
= 2
Z
b
a
Z
f(x)
0
y dy
!
dx
=
Z
b
a
[f(x)]
2
dx
Una frmula anloga se obtiene para V
y
en este caso.
Ejemplo 387 Sea A = {(x, y) R
2
: x
2
y

x}. Determinar el volumen
del cuerpo de revolucin engendrado por A al girar alrededor del (a) eje x y (b)
del eje y.
Solucin: (a) El recinto est determinado por dos parbolas que se cortan
en los puntos tales que
x
2
=
x
es decir, los puntos son (0, 0) y (1, 1). Por tanto, tenemos
V
x
= 2
Z Z
A
y dxdy
= 2
Z
1
0
Z

x
x
2
y dy
!
dx
= 2
Z
1
0
y
2
2
x
x
2
dx
=
Z
1
0
(x x
4
) dx
=
3
10
(b) En este caso tenemos que y
2
x
y para todo (x, y) A. Por tanto,

tenemos
V
y
= 2
Z Z
A
xdxdy
= 2
Z
1
0
Z

y
y
2
xdx
!
dy
= 2
Z
1
0
x
2
2
y
y
2
dy
=
Z
1
0
(y y
4
) dy
=
3
10

Integracion Multiple

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Integracion Multiple

Загружено:

Авторское право:

Доступные форматы

Captulo 17

con volumen total menor que . Por tanto, A tiene

M = U. Por tanto, M no tiene contenido cero y, en consecuencia,

= {(x, (x)) : x [a, b]} y G

= {(x, (x)) : x [a, b]}

A U, entonces f(A) tiene contenido cero.

A) f(A) por qu? Si A es un abierto de R

n)r, entonces f(K) C

Los autores, 2002; Edicions UPC, 2002.

y esta desigualdad se puede escribir en la forma

Dada la continuidad de las funciones en el integrando en el conjunto compacto

Los autores, 2002; Edicions UPC, 2002.

de cubos abiertos en V con v(T

) < y tal que la unin

siga estando contenida en V . Entonces, v(W

de tal manera que B es medible-Jordan. Ahora,

es abierto y contiene a fr(V ) y K, se deduce que

U, es decir, fr(A) fr(U). Como

Los autores, 2002; Edicions UPC, 2002.

se anula a lo sumo en un conjunto de medida cero, D es un conjunto medible-

Solucin: El rectngulo A es la regin acotada por las rectas dadas por

Los autores, 2002; Edicions UPC, 2002.

. De este modo, podemos

pero puesto que g no es inyectiva en D y J

tal que g es inyectiva en U y

se anula a lo sumo en un conjunto de medida cero, D es un conjunto medible-

Los autores, 2002; Edicions UPC, 2002.

es compatible determinado y su solucin es

Por consiguiente, la aplicacin g : (u, v, w) 7 (x, y, z) es inyectiva. Las de-

Es fcil comprobar que este sistema de desigualdades es equivalente a

y, por tanto, al siguiente

cos sin r sin sin r cos cos

Ejemplo 383 Calcular

En particular, cuando f es la funcin constante igual a 1 y en las mismas

En el caso n = 3, se toma a menudo q = 1, con lo que el clculo del volumen de

Este mtodo de clculo de volmenes suele llamarse mtodo de las secciones

y para todo (x, y) A. Por tanto,

Вам также может понравиться