Integracion Tema1

Funciones de varias variables II
Integración
Tema 1
Universidad de Murcia
curso 2010-2011
Antonio José Pallarés Ruiz
14 de octubre de 2010
2 Funciones de varias variables II, 2010-2011
Fe de erratas
En la versión de 5 de octubre de 2010
En el esquema de prueba de 1.3.6, en el punto 4 debe poner C := R \

S
k Nk
En el enunciado del ejercicio 1.16 (entrega voluntaria) debe poner
kP k = máx{diametro(S) : S subrectángulo de P }
En la versión de 6 de octubre de 2010
En el ejemplo 1.5.2 en la descripción de g(int(RK ) debe ser

S T
en lugar de
En el jacobiano del cambio a polares, sobra una r y hay un error en los signos
En el jacobiano del cambio a cilindrícas sobra la misma r y está el mismo error en los
signos (copiar y pegar).
En el jacobiano del cambio a esféricas debe ser ρ en lugar de r

Introducción
La asignatura "Funciones de varias variables II" es una de las tres que componen la materia
"Análisis Matemático en varias variables". Está dedicada al estudio de los fundamentos de la
Integral de Lebesgue y de las técnicas de cálculo de integrales de funciones de varias variables,
así como a sus aplicaciones a problemas geométricos, físicos, etc.
En el curso estudiaremos la integral de Lebesgue, con especial atención a la integral con
respecto a la medida de Lebesgue de R, que es una extensión de la integral multiple de Riemann
de funciones de varias variables.
Razones para el desarrollo de la integral.

Nos podemos referir a la definición de integral dada por Cauchy a principios del siglo XIX
como la primera definición de integral que satisface los actuales estándares de rigor. Cauchy
definió la integral de una función continua f en un intervalo [a, b] como un límite de sumas
n
X
f (ti )(ti − ti−1 )
i=1
donde a = t0 < t1 < · · · < tn = b y máx(ti − ti−1 ) → 0. Con esta definición se podían medir
longitudes, áreas y volúmenes, y también se conocía la relación con el cálculo diferencial dada
por la fórmula
Z b
f (x) dx = F (b) − F (a)
a
donde F es una primitiva de f .
El estudio de las series trigonométricas (series de Fourier),
X
an cos nx + bn sen nx
donde los coeficientes se expresan en términos de su suma f por las fórmulas

1 2π 1 2π
Z Z
an = f (x) cos nx dx bn = f (x) sen nx dx,
π 0 π 0
motivó a Riemann y a otros matemáticos a extender la definición de integral a una clase más am-
plia de funciones dado que ya existían ejemplos de algunas funciones discontinuas desarrollables
como sumas de series trigonométricas.
El método para definir la integral de una función f sobre un intervalo [a, b] definido por
Riemann consistía en hacer un límite sobre las sumas de Riemann:
n
X
f (ξi )(ti − ti−1 )
i=1
donde, a diferencia de la integral definida por Cauchy, se consideran valores de la función f (ξi )
eligiendo de forma arbitraria cualquier punto ξi ∈ [ti−1 , ti ].
Más adelante, Darboux introdujo una forma equivalente de definir la integral haciendo apro-
ximaciones por defecto y por exceso de este límite con sumas inferiores y superiores.
Pero a finales de ese siglo XIX el uso de la integral de Riemann fué revelando una serie de
fenómenos contrarios a la efectividad esperada:
La relación entre primitiva e integral no subsiste sin restricciones.
La fórmula tradicional de integración reiterada

Z bZ d Z b Z d
f (x, y) dx dy = f (x, y) dy dx.
a c a c
carece de sentido en algunos casos porque f (x, y) puede ser integrable (Riemann) mientras
que las funciones y → f (x, y) no son integrables en [c, d] para muchos valores de x ∈ [a, b]
No hay buenos resultados de convergencia bajo el signo integral para sucesiones de suce-
siones y series de funciones (salvo para la convergencia uniforme).
Sea fn (x) la función cuya gráfica está dada por la figura:
Esta sucesión converge puntualmente hacia la función nula, mientras que sus
integrales permanecen constantes
Z 1
fn (x) dx = 1.
0
En 1901 Henri Lebesgue extendió la integral a una familia más amplia de funciones pro-
porcionando buenos teoremas de convergencia y eliminando las patologías descritas. El punto
de partida de Lebesgue fue la noción de medida desarrollada por Borel junto con la idea de
considerar los conjuntos de medida nula. La idea de conjunto de medida pequeña aparece en los
intentos de caracterización de las funciones integrables en relación con la continuidad dados por
Riemann que probó la siguiente condición suficiente:
UMU Grado en Matemáticas 7
Sea f una función definida en [a, b] con la propiedad de que para cualquier número positivo
α > 0 el subconjunto de puntos de [a, b] donde la oscilación de f es mayor que α, se puede recubrir
con una unión finita de intervalos cuyas longitudes suman una cantidad arbitrariamente pequeña.
Entonces f es integrable en [a, b].
En el primer capítulo vamos a estudiar la integral de Riemann de funciones de varias variables

y las reglas de cálculo de integración reiterada (Teorema de Fubini) y de cambio de variable (sin
demostración). En los siguientes capítulos estudiar la integral de Lebesgue siguiendo “el método
conjuntista” describiendo cada uno de los objetos que forman parte de esta teoría: las familias
de conjuntos a medir, las medidas, las familias de funciones a integrar y la integral.
Índice general
1. Integral de Riemann 11
1.1. La integral de Riemann en [a, b] . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2. Integral de Riemann para funciones de varias variables . . . . . . . . . . . . . . . 13
1.2.1. Definiciones básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3. Conjuntos de contenido y de medida nula . . . . . . . . . . . . . . . . . . . . . . 19
1.3.1. El conjunto de Cantor (*) . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.2. Teorema de caracterización de las funciones integrables . . . . . . . . . . . 23
1.3.3. Conjuntos medibles Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.4. Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.5. Cambio de variable en las integrales múltiples . . . . . . . . . . . . . . . . . . . . 29
1.6. La integral de Riemann-Stieltjes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.7. Actividades complementarias del capítulo . . . . . . . . . . . . . . . . . . . . . . 38
Bibliografía 39
1
Capítulo
Integrales de Riemann y de
Riemann-Stieltjes
#
# Interrogantes centrales del capítulo
• Conocer los fundamentos de la Integrales de Riemann.

• Conocer la caracterización de Lebesgue de las funciones integrables Rie-
mann.
• Aprender reglas de cálculo de integrales múltiples: integración reiterada y
cambio de variable.
• Realizar una aproximación a la Integral de Riemann-Stieltjes y a alguna
de sus propiedades.
"
" !
!

Destrezas a adquirir en el capítulo

• Ser capaz de identificar algunas funciones integrables Riemann.

• Saber calcular algunas integrales múltiples haciendo integración reiterada
• Saber calcular algunas integrales múltiples con los cambios de variable
usuales
• Ser capaz de identificar sumas e integrales de Riemann-Stieltjes.

Desarrollo de los contenidos fundamentales

Repaso de la Integral de Riemann en [a, b].
Integral de Riemann para funciones de varias variables.
Conjuntos de contenido nulo y de medida nula.
Teorema de Fubini.
Cómo se realiza el cambio de variable.
La Integral de Riemann-Stieltjes, una breve introducción
Temporalización: xxHTe + xxHPb + xxHLab = xxHPres

1.1. La integral de Riemann en [a, b]

En esta sección vamos a recordar las definiciones de Darboux y Riemann de la integral.
Definición 1.1.1 Dado un intervalo [a, b], se llama partición del intervalo a cualquier subcon-
junto finito y ordenado a = t0 < t1 < · · · < tn = b.
Dada una función f sobre un intervalo [a, b], se llama suma de Riemann de la función f
asociada a la partición a = t0 < t1 < · · · < tn = b a cualquier suma de la forma
n
X
f (ξi )(ti − ti−1 )
i=1
eligiendo de forma arbitraria cualquier punto ξi ∈ [ti−1 , ti ].

Si existe el límite I de las sumas de Riemann de f cuando máx(ti − ti−1 ) → 0, se dice que
Rb
f es integrable Riemann en [a, b] y que su integral es I = a f (x)dx.
Con esta definición es sencillo establecer que el conjunto de las funciones integrables en [a, b]
es un espacio vectorial y que la integral define una aplicación lineal que conserva el orden.
La definición equivalente dada por Darboux es la siguiente:
Definición 1.1.2 Sea f es una función acotada y P = {a = t0 < t1 < · · · < tn = b} es una
partición de [a, b], denotamos
Mi = sup{f (x) : x ∈ [ti−1 , ti ]} y mi = ı́nf{f (x) : x ∈ [ti−1 , ti ]}.
Se llaman sumas superiores y sumas inferiores de f con respecto a P a las sumas:
n
X n
X
S(f, P ) = Mi (ti − ti−1 ) y s(f, P ) = mi (ti − ti−1 )
i=1 i=1
respectivamente.
Si P y P 0 son dos particiones de [a, b] y P0 es más fina que P (P ⊂ P 0 ), se cumple la
siguiente cadena de desigualdades:
s(f, P ) ≤ s(f, P 0 ) ≤ S(f, P 0 ) ≤ S(f, P ).
En general para dos particiones cualesquiera P y Q de [a, b] se verifica que
s(f, P ) ≤ S(f, Q).
Teniendo en cuenta estas desigualdades, se definen la integral inferior y superior de f en

[a, b], respectivamente, como
Z b
f (x) dx = sup{s(f, P ) : P partición de [a, b]} y
a
Z b
f (x) dx = ı́nf{S(f, P ) : P partición de [a, b]}
a
Se dice que f es integrable Riemann en [a, b], cuando las integrales superior e inferior coin-
ciden, definiendo
Z b Z b Z b
f (x) dx = f (x) dx = f (x) dx.
a a a
Integral de Riemann UMU Grado en Matemáticas 13
La condición de Cauchy correspondiente a esta definición es la siguiente: la función f es

integrable en [a, b] si, y sólo si, para cada ε > 0 es posible encontrar una partición P tal que
X
S(f, P ) − s(f, P ) = (Mi − mi )(ti − ti−1 ) < ε.
Utilizando esta caracterización junto con la observación
Mi − mi = sup{|f (x) − f (y)| : x, y ∈ [ti − ti−1 ]},
se prueba fácilmente que las funciones monótonas y las funciones continuas son integrables en
[a, b]. También queda patente que la integrabilidad de una función puede depender del “tamaño"
del conjunto formado por los puntos en los que es discontinua.
Con esta definición de integral se puede establecer el Teorema fundamental del Cálculo que
establece el que toda función continua tiene primitiva y que permite recuperar los valores de
cualquier función integrable en los puntos de continuidad a partir de su integral indefinida. En
particular, cualquier función derivable de clase C 1 (continua con derivada continua) se puede
recuperar a partir de los valores de su derivada.
Rb
Para funciones positivas, el valor de la integral a f (x)dx se puede identificar con la medida
del área de la región plana comprendida entre la gráfica de la función en el intervalo [a, b] y el
eje de abcisas y = 0.
Rb
a f (x)dx se puede interpretar como el promedio de los valores de
1
En general el valor (b−a)
f (x) en el intervalo [a, b].
1.2. Integral de Riemann para funciones de varias variables

Para funciones de varias variables, por ejemplo, f : [a1 , b1 ] × [a2 , b2 ] → R, tiene sentido el
intentar identificar el promedio de sus valores en el rectángulo [a1 , b1 ] × [a2 , b2 ] o, en el caso
de funciones positivas, el preguntarnos por el volumen de la región del espacio limitada por la
“gráfica” (ver figura 1.1) de la función
graf(f ) := {(x, y, z) ∈ R3 : (x, y) ∈ [a1 , b1 ] × [a2 , b2 ], z = f (x, y)}
y el plano z = 0. Se denomina subgrafo a esa región:
subgraf(f ) := {(x, y, z) ∈ R3 : (x, y) ∈ [a1 , b1 ] × [a2 , b2 ], 0 ≤ z ≤ f (x, y)}
En esta sección vamos a seguir las mismas ideas con las que se construye la integral de
Riemann en una variable para dar respuesta a estas cuestiones.
1.2.1. Definiciones básicas

Recuerda que una partición P en un intervalo real I = [a, b] es una sucesión ordenada y finita
de puntos
P = {a = t0 < t1 < t2 , ..., tk = b.}
La partición P divide el intervalo [a, b] en k subintervalos Ii = [ti−1 , ti ].

Figura 1.1: Gráfica de f (x, y) = 2 + x2 − y 2 en [−1, +1] × [−1, 1]
Definición 1.2.1 Una partición de un rectángulo n-dimensional
R = [a1 , b1 ] × [a2 , b2 ] × ... × [an , bn ] ⊂ Rn
es una lista
P = {P1 , P2 , ..., Pn }
donde cada Pi es una partición del intervalo real [ai , bi ].
En general, si cada Pi divide el intervalo real [ai , bi ] en ki subintervalos, P = (P1 , P2 , ..., Pn )

divide el rectángulo n-dimensional R en k = k1 .k2 ...kn subrectángulos, que se suelen llamar
subrectángulos de la partición P.
Por ejemplo en el caso del intervalo bidimensional R = [a1 , b1 ] × [a2 , b2 ], si P1 = {a1 = t0 <
t1 < ... < tk1 = b1 } y P2 = {a2 = s0 < s1 < ... < sk2 = b2 }, la partición P = {P1 , P2 ) divide el
rectángulo R en k1 .k2 subrectángulos Ri,j = [ti−1 , ti ] × [sj−1 , sj ] (ver la figura 1.2).
(a1 , b2 ) (b1 , b2 )
b2 = sk2
sj
sj−1
a 2 = s0
(a1 , a2 ) (b1 , a2 )
a 1 = t0 ti−1 ti b1 = tk1
Figura 1.2: Partición del rectángulo bidimensional [a1 , b1 ] × [a2 , b2 ].
Definición 1.2.2 Si R = [a1 , b1 ] × [a2 , b2 ] × ... × [an , bn ] es un rectángulo n-dimensional, se

define el volumen de R como
v(R) = (b1 − a1 ).(b2 − a2 )...(bn − an ).

Observa que en el caso n = 1, R es un intervalo y su volumen es su longitud; en el caso n = 2,

R es un rectángulo y su volumen es su área; y en el caso n = 3, R es un paralelepípedo recto
y v(R) es su volumen tridimensional.
Definición 1.2.3 Supongamos que R = [a1 , b1 ] × [a2 , b2 ] × ... × [an , bn ] ⊂ Rn , f : R → R una

función acotada y P = {P1 , P2 , ..., Pn } es una partición de R que lo divide en una cantidad
finita de subrectángulos S1 , ..., SN . Para cada subrectángulo Sh de la partición denotamos
mSh (f ) = ı́nf{f (x) : x ∈ Sh },
MSh (f ) = sup{f (x) : x ∈ Sh }.

La suma inferior de f correspondiente a la partición P están definidas por
N
X
s(f, P ) := mSh (f ).v(Sh ),
h=1
y la suma superior de f correspondiente a la partición P por

N
X
S(f, P ) := MSh (f ).v(Sh )
h=1
Figura 1.3: Uno de los sumandos de S(f, P ) .
Las sumas superiores e inferiores de Riemann pueden interpretarse como aproximaciones por
exceso y por defecto del volumen del subgrafo de f (dimensión 2, véase la figura 1.3).
Es evidente que mSh (f ) ≤ MSh (f ) y en consecuencia que s(f, P ) ≤ S(f, P ), pero también se
cumple que
Lema 1.2.4 Si P y P 0 son dos particiones del rectángulo n-dimensional R, P 0 es más fina que
P (en el sentido de que cada subrectángulo de la partición P 0 está contenido en un subrectángulo
de la partición P , o equivalentemente que las particiones de las aristas de R que definen P 0 son
más finas que las particiones que definen P en esas mismas aristas). Entonces para cada función
acotada f : R → R se cumple
s(f, P ) ≤ s(f, P 0 ) ≤ S(f, P 0 ) ≤ S(f, P ).
En general para dos particiones cualesquiera P y Q de R se verifica que
s(f, P ) ≤ S(f, Q).
Demostración:
Ideas que intervienen
Si Sj ⊂ S ⊂ R
mS (f ) = ı́nf{f (x) : x ∈ S} ≤ mSj (f ) = ı́nf{f (x) : s ∈ Sj }

≤ MSj (f ) = sup{f (x) : x ∈ Sj } ≤ MS (f ) = sup{f (x) : x ∈ S}.
Si S es un subrectángulo de P que se expresa como unión de subrectangulos S1 , ..., Sk de

P 0,
[k
S= Sj ,
j=1
entonces
k
X
v(S) = v(Sj ) = v(S1 ) + ... + v(Sk ).
j=1
Reuniendo las dos ideas anteriores se tiene

k
X k
X
mS (f ).v(S) = mS (f ) v(Sj ) = mS (f ).v(Sj )
j=1 j=1
k
X
≤ mSj (f ).v(Sj )
j=1
y ahora sumando los miembros de la desigualdad para los S de la partición P se tiene
X k
XX
s(f, P ) = mS (f ).v(S) ≤ mSj (f ).v(Sj )
S∈P S∈P j=1
X
= mS 0 (f ).v(S 0 ) = s(f, P 0 ).
S 0 ∈P 0
De forma análoga se prueba que S(f, P 0 ) ≤ S(f, P ).
Del lema anterior se deduce que
sup{s(f, P ) : P partición de R} ≤ ı́nf{S(f, P ) : P partición de R}
Como en el caso de funciones de una variable definimos:
Definición 1.2.5 Sea R un rectángulo n-dimensional R, entonces para cada función acotada
f : R → R se definen las integrales superior e inferior de Riemann de f en R como
Z
f (x1 , ..., xn )dx1 ...dxn = ı́nf{S(f, P ) : P partición de R},
R
Z
f (x1 , ..., xn )dx1 ...dxn = sup{s(f, P ) : P partición de R}.
R
Si las integrales superior e inferior de f en R coinciden se dice que f es integrable Riemann en

R y que su integral vale
Z Z Z
f (x1 , ..., xn )dx1 ...dxn = f (x1 , ..., xn )dx1 ...dxn = f (x1 , ..., xn )dx1 ...dxn .
R R R
También como en el caso de una variable, tenemos el siguiente criterio de integrabilidad
Teorema 1.2.6 f : R → R es integrable Riemann en el rectángulo R si, y sólo si, para cada
ε > 0 existe una partición Pε tal que
S(f, Pε ) − s(f, Pε ) ≤ ε.
Demostración:
(para la suficiencia de la condición) Si se cumple la condición,

Z Z
0 ≤ f (x1 , ..., xn )dx1 ...dxn − f (x1 , ..., xn )dx1 ...dxn
R R
≤ ı́nf{S(f, P ) : P partición de R} − sup{s(f, P ) : P partición de R}
≤ S(f, Pε ) − s(f, Pε ) ≤ ε.
Haciendo ε tender a 0, se tiene la igualdad de las integrales superior e inferior de Riemann.
(para la condición necesaria) Se aproxima la integral de Riemann con una suma superior
ε
Z
S(f, P ) ≤ f (x1 , ..., xn )dx1 ...dxn + ,
R 2
y con una suma inferior
ε
Z
s(f, P ) ≥
0
f (x1 , ..., xn )dx1 ...dxn − .
R 2
Si Pε es cualquier partición más fina que P y que P 0 , restando las expresiones anteriores
queda
S(f, Pε ) − s(f, Pε ) ≤ S(f, P ) − s(f, P 0 ) ≤ ε.
Un buen ejercicio para asimilar esta noción es hacer las pruebas de las siguientes afirmaciones.
Ejercicio 1.1 Toda función constante en R es integrable Riemann,

Z
cdx1 ...dxn = c.v(R).
R
Proposición 1.2.7 (la integral es un operador lineal) Sean f, g : R → R son dos funcio-
nes integrables y c ∈ R.
(i) Para cada S ⊂ R
mS (f ) + mS (g) ≤ mS (f + g) y Ms (f + g) ≤ MS (f ) + MS (g).
(ii) f + g es integrable en R y
Z Z Z
(f (x1 , ..., xn )+g(x1 , ..., xn ))dx1 ...dxn = f (x1 , ..., xn )dx1 ...dxn + g(x1 , ..., xn )dx1 ...dxn .
R R R
(iii) c.f es integrable en R y

Z Z
c.f (x1 , ..., xn )dx1 ...dxn = c f (x1 , ..., xn )dx1 ...dxn .
R R
Proposición 1.2.8 (la integral es un operador positivo) Sean f, g : R → R son dos fun-
ciones integrables.
(i) Si f (x1 , ..., xn ) ≥ 0 para cada (x1 , ..., xn ) ∈ R

Z
f (x1 , ..., xn )dx1 ...dxn ≥ 0.
R
(ii) Si f (x1 , ..., xn ) ≥ g(x1 , ..., xn ) para cada (x1 , ..., xn ) ∈ R

Z Z
f (x1 , ..., xn )dx1 ...dxn ≥ g(x1 , ..., xn )dx1 ...dxn .
R R
(iii) (desigualdad triangular)|f |(x1 , ..., xn ) := |f (x1 , ..., xn )| también es integrable Riemann
en R y Z Z
f (x1 , ..., xn )dx1 ...dxn ≤ |f (x1 , ..., xn )|dx1 ...dxn .

R R
Definición 1.2.9 Sea f : R → R una función acotada definida en el rectángulo cerrado (abier-
to). La oscilación de f en el conjunto S ⊂ R se define como
osc(f, S) := MS (f ) − mS (f ) = sup{|f (~x) − f (~y )| : x, y ∈ S},
y la oscilación de f en un punto ~x ∈ R se define como

\
osc(f, ~x) := ı́nf{osc(f, S R) : S es un rectángulo (abierto) centrado en , x ∈ S}.
Observaciones:
(i) La diferencia S(f, P ) − s(f, P ) que aparece en la caracterización del teorema 1.2.6 depende
de lo que oscila la función en cada rectángulo de la partición.
(ii) f es continua en ~x si, y sólo si, osc(f, ~x) = 0.
(iii) Para cada ε > 0 y cada punto ~x donde f es continua, se puede encontrar un cubo abierto
C~x (dx ) centrado en ~x con diámetro dx y donde la oscilación de f es menor que ε.
(iv) Recordar que la continuidad uniforme de las funciones continuas f en subconjuntos

compactos, en particular en rectángulos cerrados y acotados R, se puede deducir de la
observación anterior pasando del cubrimiento {C~x (dx /2) : ~x ∈ R} a un subrecubrimiento
finito.
Teorema 1.2.10 Toda función continua f : R → R definida en un rectángulo cerrado n-

dimensional (compacto) R es integrable Riemann en el rectángulo R.
Ejercicio 1.2 Sea h : R → R una funcion acotada, que se anula excepto en los puntos de un
subconjunto finito de R. Probar que h es integrable Riemann en R y que
Z
h(x1 , ..., xn )dx1 ...dxn = 0.
R
Prueba que si f : R → R y g : R → R son dos funciones acotadas que difieren en un conjunto

finito de puntos, entonces f es integrable si, y sólo si, g es integrable y en ese caso las dos
integrales coinciden.
Ejercicio 1.3 Sea f : [0, 1] → R la función característica de los racionales de [0,1]

(
0 si x es irracional
f (x) :=
1 si x es racional.
Prueba que f no es integrable Riemann en [0,1].
1.3. Conjuntos de contenido y de medida nula
En esta sección vamos a ver la caracterización de Lebesgue de las funciones integrables

Riemann.
Definición 1.3.1 (Conjuntos de medida nula) Un subconjunto N ⊂ Rn tiene medida (n-

dimensional) 0 si para cada ε > 0 existe una sucesión de rectángulos cerrados n-dimensionales
R1 , ..., Rj , ... tal que
∞
[
N⊂ Rj := {~x : existe jx ∈ N con ~x ∈ Rjx }, y
j=1
∞
X
v(Rj ) < ε
j=1
Ejercicio 1.4 Comprueba que en la definición anterior se pueden sustituir los rectángulos ce-
rrados por rectángulos abiertos (A = (a1 , b1 ) × ... × (an , bn )) obteniendo la misma noción de
conjunto de medida nula.
Ind: Ver problema resuelto número 24 de [2, pag.24]
Ejercicio 1.5 Comprueba que
(i) todo conjunto finito tiene medida nula.
(ii) todo conjunto numerable {x~j : j ∈ N} ∈ Rn tiene medida nula.
(iii) el conjunto de los números racionales en [0,1] es numerable y por lo tanto tiene medida
nula.
Teorema 1.3.2 “La unión numerable de conjuntos de medida nula tiene medida nula”, en otras
palabras: Si {Ni : i ∈ N} es una sucesión de subconjuntos de medida nula en Rn , entonces su
unión
∞
[
N= Ni = {~x : existe ix ∈ N con ~x ∈ Nix }
i=1
también es un conjunto de medida nula
Demostración:
Fijado ε > 0, lo describimos como suma de una serie

∞
X ε
ε= .
2i
i=1
Para cada Ni , i ∈ N, utilizamos que es de medida nula para recubrirlo con una sucesión
de rectángulos cerrados {Ri,j }∞ ε
j=1 cuyos volúmenes suman menos que 2i :
∞ ∞
[ X ε
Ni ⊂ Ri,j y v(Ri,j ) ≤
2i
j=1 j=1
La familia numerable de rectángulos cerrados
{Ri,j : i ∈ N y j ∈ N}
se puede describir como una sucesión (este es un buen ejercicio, si no lo habéis hecho antes)
que recubre N y cuyos volúmenes suman
 
∞ ∞ ∞ ∞
X X X X ε
v(Ri,j ) = v(Ri,j ) ≤ = ε.
2i
 
i,j=1 i=1 j=1 i=1
(Es un buen momento para preguntarse el porqué de la primera identidad en la fórmula anterior)

Ejercicio 1.6 Prueba que la familia de todos los rectángulos cerrados [a1 , b1 ] × ... × [an , bn ] con
extremos racionales (ai ∈ Q, bi ∈ Q) se puede describir como una sucesión.
Ejercicio 1.7 Comprueba que en la definición de conjunto de medida nula se pueden utilizar
cubos cerrados n-dimensionales.
Definición 1.3.3 (Conjuntos de contenido nulo) Un subconjunto N ⊂ Rn tiene conteni-

do (n-dimensional) 0 si para cada ε > 0 existe una familia finita de rectángulos cerrados
n-dimensionales R1 , ..., Rm tal que
m
[
N⊂ Rj := {~x : existe jx ∈ N con ~x ∈ Rjx }, y
j=1
m
X
v(Rj ) < ε
j=1
Como en el caso de los conjuntos de medida nula, en la definición anterior también se pueden
sustituir los rectángulos por rectángulos abiertos.
Ejercicio 1.8 Prueba que si N ⊂ Rn tiene contenido (n-dimensional) 0, su cierre N también

tiene contenido nulo.
Es evidente que todo conjunto de contenido nulo tiene medida nula, si además el conjunto es
compacto el recíproco también es cierto:
Teorema 1.3.4 Si N es un subconjunto compacto de Rn de medida nula, entonces N tiene

contenido nulo.
Demostración:
Es suficiente considerar cubrimientos con rectángulos abiertos en la definición de medida

nula y extraer subrecubrimientos finitos usando la compacidad.
Ejemplo 1.3.5 La condición de integrabilidad dada en 1.2.6 nos da muchos ejemplos de con-
juntos de contenido nulo, así si R ⊂ Rm es un rectángulo cerrado y f : R → R es una función
integrable Riemann, entonces
graf (f ) = {(~x, f (~x)) ∈ Rm+1 : x ∈ R}
es un conjunto de contenido (m + 1)-dimensional cero.

En particular las curvas que son gráficas de funciones integrables Riemann en un intervalo
[a, b] son conjuntos de contenido nulo en R2 .
Ejercicio 1.9 Prueba un rectángulo n-dimensional [a1 , b1 ] × ... × [an , bn ] no tiene medida (resp.
contenido) nula, salvo que una de las aristas se reduzca a un punto (e.d. ai = bi para algun
i ∈ {1, ..., n})
Ejercicio 1.10 Prueba que si T : Rn → Rn es una transformación (localmente) Lipschitziana,

entonces T lleva conjuntos de medida nula a conjuntos de medida nula.
Ejercicio 1.11 Prueba que las rectas y los planos contenidos en R3 tienen medida nula.
Ejercicio 1.12 Prueba que el teorema anterior es falso si se suprime la condición de compacidad.
Ind: Considera un conjunto numerable no compacto denso en un intervalo. Por ejemplo, los
números racionales en [0,1] como subconjunto de R.
Ejercicio 1.13 Prueba que si f : R → R ⊂ Rn es una función acotada, definida en el rectángulo

R, y {~x ∈ R : f (~x) 6= 0} tiene contenido nulo, entonces f es integrable Riemann en R y
Z
f (x1 , ...xn )dx1 ...dxn = 0.
R
1.3.1. El conjunto de Cantor (*)
El conjunto de las sucesiones formadas por ceros y unos {0, 1}N con la topología producto
(convergencia coordenada a coordenada) es un compacto metrizable no numerable. En general
se llama compacto de Cantor a cualquier copia isomorfa de {0, 1}N . A continuación vamos a
describir un subconjunto del intervalo [0, 1], que es un compacto de Cantor (y por lo tanto no
es numerable) y que tiene medida nula.
Vamos a proceder por inducción a aplicar el procedimiento de dividir un intervalo en tres
intervalos de igual longitud y quedarnos con los dos intervalos que están en los extremos (véase
la figura 1.4).
Figura 1.4: Conjunto de Cantor
De forma más concreta:

Sea C−1 = [0, 1], denotamos A0 = ( 31 , 23 ) y definimos C0 = C−1 \ A0 .
Supuesto construido Ck−1 como unión de los 2k intervalos compactos de longitud 1
3k
descritos
por los índices α = (a1 , a2 , . . . , ak ) ∈ {0, 1}k como
k
1 X 2aj
Iα = [gα , gα + ] donde gα = .
3k 3j
j=1
Para cada α ∈ {0, 1}k definimos
1 2
Jα = (gα + , gα + ) ⊂ Iα .
3k+1 3k+1
Denotamos por Ak la unión de los 2k intervalos abiertos Jα de longitud 3k+11

. Y definimos
por Ck = Ck−1 \ Ak .
Definimos C = +∞ k=0 Ck . C es un conjunto de medida nula pues para ε > 0, existe k tal que
T
2k+1
3k+1
< ε, y C ⊂ Ck que es unión de 2k+1 intervalos de longitud 3k+1
1
.
Por otra parte la aplicación ϕ : {0, 1}N → C definida por
+∞
X 2an
ϕ((an )n∈N ) = ,
3n
n=1
define un isomorfismo entre los dos compactos, y en consecuencia, C es un compacto de Cantor.

Nos referiremos a C como “el conjunto de Cantor”.
Ejercicio 1.14 Repite la construcción del conjunto de Cantor pero eliminando en cada etapa
intervalos de longitud 41k en lugar para obtener un subconjunto compacto C 1 de interior vacío
2
que no es un conjunto de medida nula.
Observa que [0, 1] \ C 1 es un conjunto abierto acotado cuya frontera es C 1 .
2 2
1.3.2. Teorema de caracterización de las funciones integrables

Teorema 1.3.6 (caracterización de Lebesgue) Sea R un rectángulo cerrado n-dimensional
y f : R → R una función acotada. Sea B = {~x ∈ R : f no es continua en ~x}, Entonces f es
integrable Riemann en R si, y sólo si, B es un conjunto de medida (n-dimensional) cero.
Demostración:
Fijado ε > 0, se trata de encontrar una partición P tal que S(f, P ) − s(f, P ) < ε.
Si |f (x)| ≤ K(K > 0) para todo x ∈ R, observa que MN (f ) − mN (f ) ≤ 2K para cada
subrectángulo N ⊂ R.
ε
El conjunto de puntos x donde osc(f, x) ≥ 2v(R) es un cerrado en R, por tanto es un
compacto de contenido nulo. Así se puede cubrir con una cantidad finita de rectángulos
abiertos Nk tales que k v(Nk ) < 4K , y en consecuencia
ε
P
X X ε
MNk (f )v(Nk ) − mNk (f )v(Nk ) < .
2
k k
En los puntos C := R \ k Nk la oscilación de osc(f, x) < 2v(R)

ε
S
. Para cada uno de estos
puntos se puede tomar un rectángulo cerrado de interior no vacío Sx centrado en x donde
ε
la oscilación es menor que 2v(R) .
Como C es compacto se puede cubrir con una cantidad finita de rectángulos Sxi .
Existe una partición P cuyos subintervalos están contenidos, bien en un rectángulo Sxi , o
bien en un rectángulo Nk .
P es la partición buscada.
Véase la prueba en [8, Teorema 3.8].
Ejercicio 1.15 Prueba que el producto de dos funciones integrables Riemann en R es una
función integrable Riemann en R.
Ejercicio 1.16 (Entrega voluntaria (antes del 25 de octubre de 2010)) Se trata de es-
tablecer la equivalencia entre las definiciones de Darboux y Riemann para la integral. Dada una
partición P de un rectángulo cerrado (n-dimensional) R, llamaremos
kP k = máx{diametro(S) : S subrectángulo de P }.
Dada una función f : R → R acotada, llamaremos suma de Riemann asociada a P a cualquier
suma X
R(f, P, ξ) := f (ξS )v(S)
S
donde S recorre todos los subrectángulos de P y ξS ∈ S. Prueba que f : R → R acotada, es
integrable Riemann en R (Definición 1.2.5) si, y sólo si, existe
I := lı́m R(f, P, ξ).
kP k→0
Es decir, existe I ∈ R de forma que para cada ε > 0 existe δ > 0 tal que, si P es una partición
de R con kP k < δ, entonces cualquier suma de Riemann asociada a P cumple
|I − R(f, P, ξ)| < ε.
Además se cumple I = R f (x1 , ..., xn )dx1 , ..., xn .
R
1.3.3. Conjuntos medibles Jordan
Hemos definido sin problemas el volumen n-dimensional de un rectángulo cerrado, pero cómo
se puede definir el volumen de otros conjuntos acotados de Rn .
Definición 1.3.7 (Conjunto medible Jordan) Sea A ⊂ Rn un subconjunto acotado. Se dice

que A es medible Jordan, si su función característica
(
0 si ~x 6∈ A
χA (~x) = ,
1 si x ∈ A
es integrable Riemann en un (cualquier) rectángulo cerrado R ⊃ A, en este caso se define el

volumen n-dimensional de A por
Z
v(A) = χA (x1 , ..., xn )dx1 ...dxn .
R
Proposición 1.3.8 Un conjunto A es medible Jordan si, y sólo si, su frontera
δ(A) = A \ interior(A)
es un conjunto de medida nula.
Ejercicio 1.17 Prueba que todo conjunto acotado N tiene contenido nulo si, y sólo si, es medible
Jordan y v(N ) = 0.
Definición 1.3.9 (Integral de Riemann sobre conjuntos acotados) Sea A ⊂ Rn un sub-

conjunto acotado medible Jordan, y f : A → R una función acotada. Se dice que f es integrable
Riemann en A si (
0 si ~x 6∈ A
f.χA (~x) = ,
f (x) si x ∈ A
es integrable Riemann en un (cualquier) rectángulo cerrado R ⊃ A, en este caso se define la
integral Z Z
f (x1 , ..., xn )dx1 ...dxn = f.χA (x1 , ..., xn )dx1 ...dxn .
A R
Ejemplo 1.3.10 Si N es un conjunto de contenido nulo y f : N → R es una función acotada

entonces, f es integrable Riemann en N y N f (~x)d~x = 0.
R
Ejercicio 1.18 Prueba que los rectángulosSn-dimensionales

T son medibles Jordan, y que si A
y B son dos conjuntos medibles Jordan, A B, A B, A \ B y B \ A también son medibles
Jordan y que [ \
v(A B) = v(A) + v(B) − v(A B).
Ejercicio 1.19 Prueba que si A y es un conjuntos medible Jordan contenido en el rectángulo

n-dimensional R, y f : R → R es una función integrable Riemann en R, entonces f también es
integrable en A y en R \ A y
Z Z Z
f (x1 , ..., xn )dx1 ...dxn = f (x1 , ..., xn )dx1 ...dxn + f (x1 , ..., xn )dx1 ...dxn .
R A R\A
1.4. Teorema de Fubini

El teorema de Fubini es el primer resultado que permite hacer cálculos de integrales múltiples
reduciéndolos a cálculos de integrales en intervalos de R.
Antes de enunciar el teorema, vamos a presentar la idea:
Supongamos que f : R = [a1 , b1 ] × [a2 , b2 ] → R es una función integrable Riemann. Para cada
partición P = {P1 , P2 } de R, P1 = {a1 = t0 < t1 < ... < tk1 = b1 } y P2 = {a2 = s0 < s1 < ... <
sk2 = b2 }, las sumas de Riemann se pueden reescribir por la propiedad conmutativa de la suma
como
 
X k1
X k2
X
f (xi , yj )(ti − ti−1 )(sj − sj−1 ) =  f (xi , yj )(sj − sj−1 ) (ti − ti−1 ),
(ti ,sj )∈P i=1 j=1
Si pudiésemos tomar límites iterados en la expresión anterior, haciendo primero el límite cuando
kP2 k → 0 y después el límite cuando kP1 k → 0 esperando encontrar el mismo límite que al hacer
kP k → 0, tendríamos:
Z X
f (x, y)dxdy = lı́m f (xi , yj )(ti − ti−1 )(sj − sj−1 )
[a1 ,b1 ]×[a2 ,b2 ] kP k→0
(ti ,sj )∈P
 
k1
X k2
X
= lı́m  lı́m f (xi , yj )(sj − sj−1 ) (ti − ti−1 )
kP1 k→0 kP2 k→0
i=1 j=1
k1 Z
X b2
= lı́m f (xi , y)dy (ti − ti−1 )
kP1 k→0 a2
i=1
Z b1 Z b2
= f (xi , y)dy dx.
a1 a2
El Teorema de Fubini viene a dar sentido a las expresiones anteriores. Por otra parte también
tiene efecto en la notación de la integral como integral múltiple llevándonos a escribir
Z ZZ Z b1 Z b2
f (x, y)dxdy = f (x, y)dxdy = f (x, y)dydx
[a1 ,b1 ]×[a2 ,b2 ] [a1 ,b1 ]×[a2 ,b2 ] a1 a2
Ejemplo 1.4.1 Consideramos la función f (x, y) = 2 + x2 − y 2 en el rectángulo del plano R =

[−1, 1]×[−1, 1]. La integral de f en R es el volumen de la región comprendida entre el rectángulo
R en el plano z = 0 y la gráfica de f . Consideremos cada intervalo I = [ti−1 , ti ] de una partición
P de [−1, 1] y restrinjamos la función al rectángulo I × [−1, 1]
Si la longitud del intervalo I es pequeña, la integral de f en I × [−1, 1] se puede aproximar

por el volumen de un “cilindro recto” con base en el plano x = ti y “generatiz” en el eje 0X que
R1
es el área de la base −1 f (ti , y)dy por la altura (ti − ti−1 ). Con estas aproximaciones, si tiene
sentido, podemos escribir:
Z k1 Z
X 1 Z 1 Z 1
f (x, y)dxdy ≈ f (ti , y)dy (ti − ti−1 ) ≈ f (x, y)dy dx.
[−1,1]×[−1,1] i=1 −1 −1 −1
Z Z 1 Z 1
(2 + x − y )dxdy =
2 2
(2 + x − y )dy dx
2 2
[−1,1]×[−1,1] −1 −1
2
Z 1
= 4 + 2x − 2
dx
−1 3
4 4
= 8 + − = 8.
3 3
Para formalizar el teorema se necesita un poco de terminología, sean:
R1 ⊂ Rn un rectángulo cerrado n-dimensional, R2 ⊂ Rm un rectángulo cerrado m-

dimensional y
R = R1 × R2 ⊂ Rn+m
su producto cartesiano que sigue siendo un rectángulo cerrado.
f : R → R una función acotada.
Para cada ~x ∈ R1 se define la función lf~x : R2 → R por
lf~x (~y ) := f (~x, ~y ).
Como está función está acotada podemos calcular sus integrales superior e inferior de
Riemann y definir dos funciones slf , Slf : R1 → R por
Z
slf (~x) := lf~x (y1 , ..., ym )dy1 ...dym ,
R2
Z
Slf (~x) := lf~x (y1 , ..., ym )dy1 ...dym ,
R2
Para cada ~y ∈ R2 se define la función rf~y : R1 → R por
rf~y (~x) := f (~x, ~y ).
Como antes, podemos definir dos funciones srf , Srf : R2 → R por

Z
srf (~y ) := rf~y (x1 , ..., xn )dx1 ...dxm ,
R1
Z
Srf (~y ) := rf~y (x1 , ..., xx )dx1 ...dxm ,
R1
Teorema 1.4.2 Con la notación anterior, si f : R1 × R2 → R es una función integrable Rie-

mann entonces las funciones slf y Slf son integrables Riemann en R1 , las funciones srf y Srf
son integrables Riemann en R2 y se cumple
Z Z
f (x1 , ..., xn , y2 , ..., ym )dx1 ...dxn .dy1 ...dym = slf (x1 , ..., xn )dx1 ...dxn
R1 ×R2 R1
Z
= Slf (x1 , ..., xn )dx1 ...dxn
R1
Z
= srf (y1 , ..., ym )dy1 ...dym
R2
Z
= slf (y1 , ..., ym )dy1 ...dym
R2
Demostración: Véase la prueba en [8, Teorema 3.10].
Con la notación anterior si las funciones lf~x y rf~y son integrables en R2 y R1 para cada
~x ∈ R1 y cada ~y ∈ R2 , se cumple la fórmula de integración reiterada1 :
Z Z Z Z Z
f (~x, ~y )d~xd~y = f (~x, ~y )d~y d~x = f (~x, ~y )d~x d~y .
R1 ×R2 R1 R2 R2 R1
Ejercicio 1.20 Sea S = {(x, y, z) : 0 ≤ x ≤ 1, 0 ≤ y ≤ 1, 0 ≤ z ≤ x2 − y} ⊂ R3 , calcula el

volumen de S.
Ejercicio 1.21
(i) Sea N ⊂ Rn un conjunto de medida n-dimensional cero. Prueba que N × Rm tiene medida
n + m-dimensional cero.
(ii) Como aplicación de la propiedad anterior, del teorema de caracterización de Lebesgue y

del teorema de Fubini, prueba que si f : R → R es integrable Riemann en el rectángulo
n-dimensional R y g : S → R es integrable Riemann en el rectángulo m-dimensional S,
entonces la función F (~x, ~y ) := f (~x)g(~y ) es integrable Riemann en el rectángulo n + m-
dimensional R × S y se cumple
Z Z
f (~x)g(~y )d~xd~y = f (~x)d~xintS g(~y )d~y .
R×S R
Ejercicio 1.22 Calcule las siguientes integrales dobles:
xy
RR
(i) [0,1]×[0,1] ye dxdy
a2 − y 2 dxdy donde A = {(x, y) : x2 + y 2 ≤ a2 , x ≥ 0, y ≥ 0}

RR p
(ii) A
(x 1) 1 + e2 ydxdy donde B = {(x, y) : 1 ≤ x ≤ 2, 0 ≤ y ≤ log x}

RR p
(iii) B −
Indicación: ver el problema resuelto [9, Ejercicio 11.13]

Determinantes como medidas de volúmenes.
Ejercicio 1.23 (Transformaciones lineales) Sea T : Rn → Rn una aplicación lineal tal que
la matriz asociada es uno de los tres tipos
1 0 ... 0 0
 
...
0 1 ... 0 0
...
 
. .. .. 
 .. . .
(i) homotecia en uno de los ejes principales: 
 
0 0 ... a ... 0

 .. . . .. 
 
. . .
0 0 ... 0 ... 1
1 0 ... 0 1
 
...
0 1 ... 0 0
...
 
. .. .. 
 .. . .
(ii) suma de una coordenada en otra: 
 
0 0 ... 1 ... 0

 .. . . .. 
 
. . .
0 0 ... 0 ... 1
1 ... 0 ... 0 0
 
...
 .
..

 
 
0 ... 0 ... 1 ... 0
 

(iii) permutación de dos coordenadas:  .. . . .. 
 . . . 

0 ... 1 ... 0 ... 0
 
..
 
. 
 

0 ... 0 ... 0 ... 1
Probar que para cada rectángulo n-dimensional R el volumen de la imagen del rectángulo, T (R)
se puede calcular como
v(T (R)) = |det(T )|v(R).
1
A partir de aquí nos vamos a permitir escribir d~
x = dx1 ...dxn y d~
y = dy1 ...dyn .
Como cada transformación lineal T : Rn → Rn se puede expresar como composición de

transformaciones lineales de los tipos anteriores, la fórmula v(T (R)) = |det(T )|v(R) sigue siendo
válida.
Más adelante probaremos que si N es un conjunto de medida nula, entonces T (N ) tiene medida
nula, y que si además T es inyectiva y A es medible Jordan T (A) también es medible Jordan.
También probaremos que V (T (A)) = |det(T )|v(A).
1.5. Cambio de variable en las integrales múltiples

El teorema fundamental del cálculo integral nos proporciona el siguiente resultado de “cambio
de variable” para integrales de funciones de una variable: Si g : [a, b] → R es derivable con
derivada continua y f : [c, d] → R es continua con g([a, b]) ⊂ [c, d], entonces
Z g(b) Z b
f (t)dt = f (g(x))g 0 (x)dx.
g(a) a
Si además g es inyectiva, sabemos que g ha de ser estrictamente monótona. Si g es crecien-

te g 0 (x) ≥ 0 y g([a, b]) = [g(a), g(b)], mientras que si es decreciente g 0 (x) ≤ 0 y g([a, b]) =
[g(b), g(a)], en los dos casos el cambio de variable se puede escribir como
Z Z
f (t)dt = f (g(x))|g 0 (x)|dx.
g([a,b]) [a,b]
La extensión de esta fórmula para integrales múltiples no es, en absoluto, sencilla (Para varias
variables no hay teorema fundamental del cálculo) :
En la asignatura «Funciones de Varias Variables I» vais a estudiar la noción de función
diferenciable: Sea A ⊂ Rn un conjunto abierto y g : A → Rn una función. Se dice que g es
diferenciable en p~ = (p1 , ..pn ) ∈ A si existe una transformación lineal Tp~ : Rn → Rn , que se
suele denotar como dg(~ p) = Tp~ , que aproxima “bien” a la función g en el sentido de que
g(~x) = g(~
p) + Tp~ (~x − p~) + o(k~x − p~k).
Supongamos que las coordenadas componentes de g son g(~x) = (g1 (~x), g2 (~x), ..., gn (~x), y que
existen y son continuas en A, las derivadas parciales:
∂gi (~y )
= gi,j,~
0
y (yj )
∂xj
donde gi,j,~y (t) son las función de una variable real definidas (al dejar fijas todas las coordenadas
menos la de la posición j-ésima) por
gi,j,~y (t) = gi (y1 , ..., yj−1 , t, yj+1 , ..., yn ),
Entonces g es diferenciable en todos los puntos de A y

 
∂g1 (~
y) ∂g1 (~
y)
∂x1 ... ∂xn
∂gi (~y )

dg(~p) ≡ =
 .. .. 
.
∂xj  . . 
∂gn (~
y) ∂gn (~
y)
∂x1 ... ∂xn

∂gi (~
y)
A la matriz ∂xj se le llama el jacobiano de g en ~y .
La idea en el teorema de cambio de variable es considerar por un lado transformaciones
lineales y luego, en general, funciones inyectivas diferenciables con derivadas parciales continuas
que se pueden aproximar localmente por traslaciones de transformaciones lineales
Teorema 1.5.1 (Cambio de Variable) Sea A ⊂ Rn un conjunto abierto (+ medible Jordan)

y g : A → Rn una función inyectiva diferenciable con derivadas parciales continuas tal que
det(dg(~x) 6= 0 para todo x ∈ A. Si f : g(A) → R es integrable Riemann en g(A), entonces
f ◦ g(~x) = f (g(~x)) también es integrable Riemann en A y
Z Z
f (~y )d~y = f (g(~x))|det(dg(~x))|d~x
g(A) A
Sistemas de Coordenadas
A veces en la descripción de funciones o de recintos del plano o el espacio puede resul-
tar más conveniente (por simplicidad en las expresiones y en los cálculos) utilizar otros sis-
temas de referencia para determinar puntos distintos, del sistema cartesiano. Vamos a re-
pasar algunos de ellos que usaremos en el cálculo de algunas integrales múltiples. Visitad
http://es.wikipedia.org/wiki/Coordenadas polares para un repaso rápido.
Coordenadas polares en el plano

Los puntos del plano se pueden especificar por la distancia del punto a un punto distinguido
que llamamos “origen” y el ángulo que forma el vector que parte del origen hasta el punto con una
semirecta que parte del origen fijada de antemano. Normalmente, teniendo presente un sistema
cartesiano se toma como origen el origen del sistema O, y como semirecta el semieje OX:
Figura 1.5: Coordenadas Polares en el Plano
La función cambio de variable es g(r, θ) = (r cos θ, r sen θ) que es inyectiva en cualquier banda
de la forma (0, +∞) × (a, b) = {(r, θ) : r > 0,p
a < θ < b}, con b − a ≤ 2π. En efecto:
Si x = r cos θ e y = r sen θ, se tiene que r = x2 + y 2 y tan θ = y/x.
El determinate del jacobiano de este cambio de variable es

cos θ −r sen θ
det(dg(r, θ)) = = r.

sen θ r cos θ
Ejemplo 1.5.2 El disco DK = {(x, y) : x2 +y 2 ≤ K 2 } en coordenadas polares se puede describir

por RK = {(r, θ) : 0 ≤ r ≤ K, 0 ≤ θ < 2π}.
Además la aplicación g es inyectiva en el rectángulo abierto int(RK ) = {(r, θ): 0 < r ≤

K, 0 ≤ θ < 2π} y g(int(RK ) = DK \ {(x, 0) : 0 ≤ x ≤ K} {(x, y) : x2 + y 2 = K 2 }
S
El conjunto DK \ g(int(RK ) tiene

√ medida (contenido) cero porque es la unión de dos gráficas
de funciones continuas (y = ± K 2 − x2 en [−K, K]) y el segmento {(x, 0) : x ∈ [0, K]}.
También el conjunto la frontera del rectángulo RK es de medida (contenido) cero.
Como las integrales de funciones acotadas sobre conjuntos de contenido nulo son nulas, el
teorema de cambio de variable a polares para integrales de funciones definidas en DK se puede
utilizar escribiendo
ZZ ZZ ZZ
f (x, y)dxdy = f (x, y)dxdy = f (r cos θ, r sen θ).r drdθ
DK g(int(RK ) int(RK )
ZZ Z 2π Z K
= f (r cos θ, r sen θ).r drdθ = f (r cos θ, r sen θ).r drdθ.
RK 0 0
2 2
Ejemplo 1.5.3 Con la notación anterior si f (x, y) = e−(x +y ) , al cambiar a polares se tiene
2
f (r cos θ, r sen θ) = e−r y se tiene que para todo K > 0
ZZ ZZ ZZ
−(x2 +y 2 ) −(x2 +y 2 ) 2
e dxdy = e dxdy = e−r .r drdθ
DK g(int(RK ) int(RK )
ZZ Z 2π Z K
−r2 −r2
= e .r drdθ = e .r dr dθ
RK 0 0
2π
1
Z
2 2
= (1 − e−K )dθ = π(1 − e−K ).
0 2
Si consideramos los cubos CK = [−K, K]×[−K.K], el teorema de Fubini nos permite afirmar
que
ZZ Z K Z K
−(x2 +y 2 ) −x2 −y 2
e dx, dy = e e dx dy
CK −K −K
Z K Z K Z K Z K
−y 2 −x2 −x2 2
= e e dx dy = e dx e−y dy
−K −K −K −K
Z K 2
2
= e−x dx .
−K
Como se cumple que DK ⊂ CK ⊂ D√2K , La monotonía de la integral de Riemann nos permite

establecer las desigualdades
ZZ ZZ
−K 2 −(x2 +y 2 ) 2 2
π(1 − e )= e dx, dy ≤ e−(x +y ) dx, dy
DK CK
Z K 2 ZZ
2 2 +y 2 ) 2
= e−x dx ≤ e−(x dx = π(1 − e−2K )
−K D√2K
R∞ 2 RK 2
La integral impropia −∞ e−x dx es convergente y su valor es el límite lı́mK→+∞ −K e−x dx.
Al tomar límites en la cadena de desigualdades de más arriba se tiene
Z +∞ √
2
e−x dx = π.
−∞
Coordenadas cilíndricas en el espacio
Los puntos del espacio (x, y, z) se pueden especificar describiendo el punto (x, y) en coor-
denadas polares, y por la coordenada z. Este sistema de referencia es muy útil para describir
funciones y recintos de revolución.
Figura 1.6: Coordenadas Cilindricas en el espacio
La función cambio de variable es g(r, θ, z) = (r cos θ, r sen θ, z) que es inyectiva en cualquier

banda espacial de la forma (0, +∞) × (a, b) × R = {(r, θ, z) : r > 0, a < θ < b}, con b − a ≤ 2π.
En efecto:
Si x = r cos θ e y = r sen θ, se tiene que r = x2 + y 2 y tan θ = y/x.
p

cos θ −r sen θ 0

det(dg(r, θ)) = sen θ r cos θ 0 = r.

0 0 1

Ejemplo 1.5.4 Los puntos que en coordenadas cilíndricas satisfacen la ecuación r = 1 son los
puntos del cilindro recto con base en la circunferencia unidad del plano XY y con el eje OZ de
generatriz.
Los puntos que cumplen θ = 0 son los puntos del semiplano {(x, y, z) : y = 0, x ≥ 0}.
Los puntos que cumplen z = r2 son los puntos del paraboloide de revolución z = x2 + y 2 .
Ejemplo 1.5.5 Consideremos el cilindro C = {(x, y, z) : x2 + y 2 ≤ 1, −1 ≤ z ≤ 1}, C = g(U )

donde U = {(r, θ, z) : 0 ≤ r ≤ 1, 0 ≤ θ < 2pi, −1 ≤ z ≤ 1}, así
ZZZ ZZZ
(x2 + y 2 + z 2 )dxdydz = (r2 + z 2 )rdrdθdz
C U
Z 2 Z 1 Z 1
= π (r z )rdr dz dθ
+ 2
0 −1 0
2 z2
1
2π
Z
= 2π( ( + )dz =
−1 3 2 3
Ejemplo 1.5.6 Vamos a calcular el volumen del sólido
S = {(x, y, z) : 0 ≤ x2 + y 2 ≤ z ≤ 1}
En coordenadas cilíndricas S = G(U ), con U = {0 ≤ r2 ≤ z ≤ 1, 0 ≤ θ < 2π}, Observad que

0 ≤ r ≤ 1, que una vez fijo r, r2 ≤ z ≤ 1
2π Z 1 Z 1
π
ZZZ ZZZ Z
v(S) = dxdydz = rdrdθdz = rdz dr dθ =
S U 0 0 r2 2
Como ejercicio, podéis comprobar (Fubini) que si fijais primero z (0 ≤ z ≤ 1), una vez fijo z,
√
0 ≤ r ≤ z, y también debe ser
ZZZ ZZZ Z Z Z √ ! !
2π 1 z
v(S) = dxdydz = rdrdθdz = rdr dz dθ
S U 0 0 0
Ejercicio 1.24 Sea B = {(x, y, z) : 0 ≤ z ≤ x2 + y 2 ≤ 1}. Usando el cambio a coordenadas

cilíndricas, calcula
z
ZZZ
dxdydz.
B 1+x +y +z
2 2 2
Coordenadas esféricas (polares) en el espacio

Los puntos del espacio P ≡ (x, y, z) También se pueden describir en función de la distancia
ρ del punto al origen de coordenadas, del ángulo θ que forma el vector de posición del punto
~ con el semieje positivo OX (x > 0), y el ángulo ϕ que forma OP con el semieje positivo
OP
OZ (z > 0). Este sistema de referencia es muy útil para describir funciones y recintos que se
expresan en términos de la distancia euclídea del punto al origen.
Figura 1.7: Coordenadas Esféricas en el espacio
La función cambio de variable es g(ρ, θ, ϕ) = (ρ cos θ sen ϕ, ρ sen θ sen ϕ, ρ cos ϕ) que es inyec-
tiva en el cuadrante espacial de la forma (0, +∞) × (a, b) × [0, π] = {(r, θ, z) : r > 0, a < θ < b},
con b − a ≤ 2π. En efecto:
= cos sen = sen sen = cos = x2 + y 2 + z 2 , cot ϕ =
p
Si
√ x ρ θ ϕ, y r θ ϕ y z ρ ϕ, se tiene que ρ
x2 +y 2
z y tan θ = y/x.

cos θ sen ϕ ρ sen θ sen ϕ ρ cos θ cos ϕ

det(dg(r, θ)) = sen θ sen ϕ −ρ cos θ sen ϕ ρ sen θ cos ϕ = ρ2 sen ϕ.

cos ϕ 0 −ρ sen ϕ

Ejemplo 1.5.7 Cálculo de la integral

ZZZ 3
2 2 2
I= e(x +y +z ) 2 dxdydx
B
donde B = {x2 + y 2 + z 2 ≤ 1} es la esfera sólida centrada en el origen de radio 1.

Con el cambio a coordenadas esféricas B = g(U ) donde U = {(ρ, θ, ϕ) : 0 ≤ r ≤ 1}. Así
4π
ZZZ Z 2π Z π Z 1
3 3
I= eρ ρ2 sen ϕdρdθdϕ = eρ ρ2 sen ϕdρdϕdθ = (e − 1).
U 0 0 0 3
Ejemplo 1.5.8 Cálculo de la integral

1
ZZZ
I= dxdydx
x + y2 + z2
p
S 2
donde S = {x2 + y 2 + z 2 ≤ 1, 21 ≤ z ≤ 1} es la esfera sólida centrada en el origen de radio 1.

Con el cambio a coordenadas esféricas S = g(V ) donde
1 1
V = {(ρ, θ, ϕ) : 0 ≤ θ2π, 0 ≤ z ≤ arc cos , ≤ ρ ≤ 1}.
2 2 cos ϕ
Así π
ZZZ Z 2π Z
6
Z 1
I= ρ sen ϕdρdθdϕ = ρ sen ϕdρdϕdθ.
1
V 0 0 2 cos ϕ
Ejercicio 1.25 Como se describe en coordenadas esféricas el cilindro
{−1 ≤ z ≤ 1, 0 ≤ x2 + y 2 ≤ 1}.
Ejercicio 1.26 Como se describe la región cerrada comprenda entre los dos paraboloides
z = x2 + y 2 , z − 4 = −(x2 + y 2 )
en coordenadas esféricas.¿Y en coordenadas cilíndricas?
Ejercicio 1.27 Cálcula el área del recinto elíptico
x2 y 2
E(a, b) = { + 2 ≤ 1}
a2 b
y el volumen del cuerpo limitado por elipsoide
2
x2 y2 z2
E(a, b, c) = { + 2 + 2 ≤ 1}.
a b c
Ejercicio resuelto en [9, Ej 11.12]
Ejercicio 1.28 Calcula las siguientes integrales dobles:

RR
(i) {x2 +y2 ≤2x} xdxdy,
(ii) {x2 +y2 ≤1,x≥0,y≥0} x 1 − x2 − y 2 dxdy.

RR p
Ejercicio resuelto en [9, Ej 11.14]

1.6. La integral de Riemann-Stieltjes

En esta sección vamos a realizar una visita a la Integral de Riemann-Stieltjes desarrollada
por Stieltjes (1894).
Nuestro interés en esta integral lo podemos centrar en dos puntos:
(i) En primer lugar porque, como veremos en los próximos capítulos, la integral de Lebesgue
asociada a una medida sirve para dar un tratamiento unificado tanto a la integral de Riemann
como a la de Riemann-Stieltjes.
(ii) Y, por otra parte, porque, como también veremos, la integral de Lebesgue de cualquier
función con respecto a una medida, se puede interpretar como una integral de Riemann-Stieltjes
con respecto a su función de distribución, tal y como se hace en Teoría de Probabilidad al evaluar
la esperanza de una variable aleatoria con respecto a una medida de probabilidad.
Stieltjes consideraba en la recta “distribuciones" dadas por una función real ϕ haciendo
corresponder a cada intervalo (a, b] la masa
λϕ ((a, b]) = ϕ(b) − ϕ(a).
Para que esta medida de masas sea positiva es necesario que ϕ sea creciente y si además se
quiere que λϕ se comporte bien al hacer uniones crecientes (resp. intersecciones decrecientes) de
intervalos será necesario que ϕ sea continua por la derecha.
Definición 1.6.1 Si f y ϕ son dos funciones acotadas definidas en el intervalo [a, b] y P =

{a = t0 < t1 < · · · < tn = b} es una partición del intervalo, se llama suma de Riemann-Stieltjes
de f con respecto a ϕ asociada a la partición P , a cualquier suma de la forma
n
X
R(f, ϕ, P ) = f (ξi )(ϕ(ti ) − ϕ(ti−1 )),
i=1
donde ξi ∈ [ti−1 , ti ] son puntos cualesquiera de los subintervalos definidos por la partición.
Si existe el límite de estas sumas R(f, ϕ, P ) cuando |P | = sup{(ti −ti1 ) : i = 1, 2, . . . , n} → 0,
es decir, si existe I tal que ∀ε > 0 existe un δ > 0 verificando |I − R(f, ϕ)| < ε si |P | < δ; se
dice que f es integrable en el sentido de Riemann-Stieltjes con respecto a ϕ en el intervalo [a, b].
Además, se dice que I es la integral de Riemann-Stieltjes de f con respecto a ϕ en [a, b], y se
denota Z b Z b
I= f (x) dϕ(x) = f dϕ.
a a
Rb
Obsérvese que si ϕ(x) = x es la identidad, entonces la integral a f dϕ es exactamente la
integral de Riemann que acabamos de repasar en la sección anterior.
La condición de Cauchy correspondiente a la existencia del límite que define la integral de
Riemann-Stieltjes es la siguiente
Proposición 1.6.2 Para que f sea integrable Riemann-Stieltjes con respecto a ϕ en [a, b] es
condición necesaria y suficiente el que para cualquier ε > 0 exista δ > 0 tal que
|R(f, ϕ, P ) − R(f, ϕ, Q)| < ε
para cualquier par de particiones P y Q de [a, b] tales que |P | < δ y |Q| < δ.
Demostración: Ver [6, sec 1.4, proposición 2]
Al igual que para la integral de Riemann, la continuidad uniforme de las funciones continuas
definidas en intervalos compactos asegura la existencia de las integrales de Riemann-Stieltjes
con respecto a funciones monótonas.
Proposición 1.6.3 Sea f una función continua en [a, b] y ϕ una función monótona creciente
definida en [a, b] entonces f es integrable Riemann-Stieltjes con respecto a ϕ en [a, b].
Demostración: Ver [6, sec 1.4, proposición 3]
En el caso particular de que ϕ es además una función de clase C 1 en [a, b] entonces la fórmula
de los incrementos finitos nos permite afirmar que
Corolario 1.6.4 Si f es una función continua en [a, b] y ϕ es una función creciente de clase
C 1 en [a, b] entonces se cumple la fórmula
Z b Z b
f (x) dϕ(x) = f (x)ϕ0 (x) dx.
a a
(La fórmula anterior viene a explicar la notación utilizada para la integral de Riemann-Stieltjes)
La proposición que sigue contiene una lista de propiedades de la integral de Riemann-Stieltjes
cuyas pruebas son una sencilla aplicación de la definición de integral como límite de sumas.
Proposición 1.6.5
Rb
(i) Si existe la integral a f dϕ y c ∈ R es una constante, entonces también existen las inte-
Rb Rb
grales a cf ϕ y a f dcϕ, y se tiene la igualdad
Z b Z b Z b
cf dϕ = f dcϕ = c f dϕ.
a a a
Rb Rb Rb
(ii) Si existen las integrales a f dϕ e a g dϕ, entonces también existe la integral a (f + g) dϕ
y se cumple
Z b Z b Z b
(f + g) dϕ = f dϕ + g dϕ.
a a a
Rb Rb
(iii) Si existen las integrales a f dϕ e a g dϕ, f (t) ≥ g(t) para todo t ∈ [a, b] y ϕ es monótona
creciente, entonces se cumple
Z b Z b
f dϕ ≥ g dϕ.
a a
Rb Rb Rb
(iv) Si existen las integrales a f dϕ e a f dφ, entonces también existe la integral a f d(ϕ + φ)
y se cumple
Z b Z b Z b
f d(ϕ + φ) = f dϕ + f dφ.
a a a
La propiedad de aditividad del intervalo de integración sólo se verifica en una dirección:

Rb
Proposición 1.6.6 Si existe la integral de Riemann-Stieltjes a f dϕ y a < c < b, entonces
Rc Rb
también existen las integrales de Riemann-Stieltjes a f dϕ e c f dϕ, y se cumple
Z b Z c Z b
f dϕ = f dϕ + f dϕ.
a a c
Demostración: Ver [6, sec 1.4, proposición 6 y ejemplo 6]
La fórmula de sumación de Abel proporciona la fórmula de integración por partes que aparece
en la siguiente proposición:
Rb
Proposición 1.6.7 (Integración por partes) Si existe la integral de Riemann-Stieltjes a f dϕ,
Rb
entonces también existe la integral a ϕ df , y se cumple
Z b Z b
ϕ df = (f (b)ϕ(b) − f (a)ϕ(a)) − f dϕ.
a a
Demostración: La fórmula de sumación de Abel relaciona las sumas de Riemann-Stieltjes de

ϕ con respecto a f , con sumas de f con respecto a ϕ.
Sea P = {a = t0 < t1 < · · · < tn = b} una partición de [a, b] y sean ξi ∈ [ti−1 , ti ] (i = 1, . . . , n)
elecciones de puntos intermedios en los intervalos de la partición P . Consideremos la partición
definida por estos puntos
Q = {a = ξ0 ≤ ξ1 ≤ ξ2 ≤ · · · ≤ ξn ≤ ξn+1 = b},
y consideremos la elección de puntos intermedios dada por:

x1 = t0 = a ∈ [ξ0 , ξ1 ], xi = ti−1 ∈ [ξi−1 , ξi ] si (i = 1, . . . , n), y
xn+1 = tn = b ∈ [ξn , ξn+1 ].
Entonces se tiene la igualdad
n
X
R(ϕ, f, P ) = ϕ(ξi )(f (ti ) − f (ti−1 ))
i=1
Xn n
X
= f (ti )ϕ(ξi ) − f (ti−1 )ϕ(ξi )
i=1 i=1
n−1
X n
X
= f (b)ϕ(b) + f (ti )ϕ(ξi ) − f (a)ϕ(ξ1 ) − f (ti−1 )ϕ(ξi )
i=1 i=2
= (f (b)ϕ(b) − f (a)ϕ(a)) − f (a)(ϕ(ξ1 ) − ϕ(a))
Xn n
X
− f (xi )ϕ(ξi ) + f (xi )ϕ(ξi−1 )
i=2 i=2
n
X
= (f (b)ϕ(b) − f (a)ϕ(a)) − f (xi )(ϕ(ξi ) − ϕ(ξi−1 ))
i=1
= (f (b)ϕ(b) − f (a)ϕ(a)) − R(f, ϕ, Q)
Tomando límites en esta última expresión cuando |Q| ≤ 2|P | → 0 se concluye la prueba.
Ejercicio 1.29 Suponiendo que ϕ es una función creciente en [a,R b] y que f es una función
x
positiva integrable con respecto a ϕ en [a, b], definimos ψ(x) = a f dϕ. Pruébese que para
Rb Rb
cualquier función continua g definida en [a, b] se cumple a g dψ = a g.f dϕ.
Ejercicio 1.30 Sea f : [a, b] → R una función continua y ϕ : [a, b] → R una función monótona
creciente. Pruébese que existe un punto intermedio ξ ∈ [a, b] tal que
Z b
f dϕ = f (ξ)(ϕ(b) − ϕ(a)).
a
Ejercicio 1.31 (Cambio de variable) Sea ϕ una función creciente y continua en [a, b], con
ϕ(a) = c y ϕ(b) = d, y f una función continua en [c, d]. Pruébese que
Z d Z b
f (y) dy = f (ϕ(x)) dϕ(x).
c a
1.7. Actividades complementarias del capítulo

Lecturas complementarias:
Integral de Riemann: Capítulo 3 de [8]; Capítulos 10 y 11 de [9]; Lección 24 de [4]
Referencias históricas e integral de Riemann-Stieltjes: Capítulo 1 de [6]; Introducción de

[5]
Riemann-Stieltjes: en capítulo 7 de [1] y en “Chapter” 2 de [7]
Descargas de internet:
Hoja de problemas no 1 (contiene los ejercicios repartidos en el tema y alguno adicional).

en SUMA
Problemas resueltos y propuestos en los capítulos 10 y 11 de [9]
Applet de Geogebra para repasar la integral de Riemann en http://webs.um.es/apall.
Programa DPGRAPH desde http://www.dpgraph.com (opción Update y selección de "Li-

cenced sites": Universidad de Murcia 30100 ES). Es un programa de Windows que también
funciona en Linux y Mac OSX a través del programa libre Wine.
Documentación DPGRAPH en castellano en las páginas web de G. Vera:

http://webs.um.es/gvb/OCW/OCW-AM-II files/LecAM-II.html.
Bibliografía
[1] T.A. Apostol, Análisis matemático, Reverté, Barcelona, 1976.
[2] G. Vera F. Bombal, L. Rodríguez, Problemas de análisis matemático vol 3, AC., Madrid,
1987.
[3] F.J. Freniche J.A. Facenda, Integración de funciones de varias variables, Piramide, Madrid,
2002.
[4] E. Linés, Análisis matemático ii, vol 2, UNED, Madrid, 1996.
[5] B. Rubio M. de Guzmán, Análisis numérico, 7a edición, Alhambra, Madrid, 1979.
[6] A. Pallarés, Teoría de la medida, Universidad de Murcia, SUMA. Murcia, 1999.
[7] A. Zigmund R.L. Wheeden, Measure and integral, Marcel Dekker, New York, 1977.
[8] M. Spivak, Cálculo en variedades, Reverté, Barcelona, 1975.
[9] G. Vera, Lecciones de análisis matemático ii, Universidad de Murcia, SUMA. Murcia, 2005.
[10] J.A. Fernández Viña, Análisis matemático iii, Tecnos, Madrid, 1992.

Integracion Tema1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Integracion Tema1

Cargado por

Copyright:

Formatos disponibles

Funciones de varias variables II

Antonio José Pallarés Ruiz

En el esquema de prueba de 1.3.6, en el punto 4 debe poner C := R \

En el enunciado del ejercicio 1.16 (entrega voluntaria) debe poner

En la versión de 6 de octubre de 2010

En el ejemplo 1.5.2 en la descripción de g(int(RK ) debe ser

En el jacobiano del cambio a esféricas debe ser ρ en lugar de r

Razones para el desarrollo de la integral.

donde los coeficientes se expresan en términos de su suma f por las fórmulas

La relación entre primitiva e integral no subsiste sin restricciones.

La fórmula tradicional de integración reiterada

Sea fn (x) la función cuya gráfica está dada por la figura:

En el primer capítulo vamos a estudiar la integral de Riemann de funciones de varias variables

• Conocer los fundamentos de la Integrales de Riemann.

• Ser capaz de identificar algunas funciones integrables Riemann.

Desarrollo de los contenidos fundamentales

Temporalización: xxHTe + xxHPb + xxHLab = xxHPres

1.1. La integral de Riemann en [a, b]

eligiendo de forma arbitraria cualquier punto ξi ∈ [ti−1 , ti ].

Teniendo en cuenta estas desigualdades, se definen la integral inferior y superior de f en

La condición de Cauchy correspondiente a esta definición es la siguiente: la función f es

Utilizando esta caracterización junto con la observación

Mi − mi = sup{|f (x) − f (y)| : x, y ∈ [ti − ti−1 ]},

1.2. Integral de Riemann para funciones de varias variables

graf(f ) := {(x, y, z) ∈ R3 : (x, y) ∈ [a1 , b1 ] × [a2 , b2 ], z = f (x, y)}

y el plano z = 0. Se denomina subgrafo a esa región:

subgraf(f ) := {(x, y, z) ∈ R3 : (x, y) ∈ [a1 , b1 ] × [a2 , b2 ], 0 ≤ z ≤ f (x, y)}

1.2.1. Definiciones básicas

La partición P divide el intervalo [a, b] en k subintervalos Ii = [ti−1 , ti ].

Figura 1.1: Gráfica de f (x, y) = 2 + x2 − y 2 en [−1, +1] × [−1, 1]

Definición 1.2.1 Una partición de un rectángulo n-dimensional

R = [a1 , b1 ] × [a2 , b2 ] × ... × [an , bn ] ⊂ Rn

En general, si cada Pi divide el intervalo real [ai , bi ] en ki subintervalos, P = (P1 , P2 , ..., Pn )

Figura 1.2: Partición del rectángulo bidimensional [a1 , b1 ] × [a2 , b2 ].

Definición 1.2.2 Si R = [a1 , b1 ] × [a2 , b2 ] × ... × [an , bn ] es un rectángulo n-dimensional, se

v(R) = (b1 − a1 ).(b2 − a2 )...(bn − an ).

Observa que en el caso n = 1, R es un intervalo y su volumen es su longitud; en el caso n = 2,

Definición 1.2.3 Supongamos que R = [a1 , b1 ] × [a2 , b2 ] × ... × [an , bn ] ⊂ Rn , f : R → R una

mSh (f ) = ı́nf{f (x) : x ∈ Sh },

MSh (f ) = sup{f (x) : x ∈ Sh }.

y la suma superior de f correspondiente a la partición P por

Figura 1.3: Uno de los sumandos de S(f, P ) .

s(f, P ) ≤ s(f, P 0 ) ≤ S(f, P 0 ) ≤ S(f, P ).

En general para dos particiones cualesquiera P y Q de R se verifica que

s(f, P ) ≤ S(f, Q).

mS (f ) = ı́nf{f (x) : x ∈ S} ≤ mSj (f ) = ı́nf{f (x) : s ∈ Sj }

Si S es un subrectángulo de P que se expresa como unión de subrectangulos S1 , ..., Sk de

Reuniendo las dos ideas anteriores se tiene

y ahora sumando los miembros de la desigualdad para los S de la partición P se tiene

De forma análoga se prueba que S(f, P 0 ) ≤ S(f, P ).

Del lema anterior se deduce que

sup{s(f, P ) : P partición de R} ≤ ı́nf{S(f, P ) : P partición de R}

Como en el caso de funciones de una variable definimos:

Si las integrales superior e inferior de f en R coinciden se dice que f es integrable Riemann en

También como en el caso de una variable, tenemos el siguiente criterio de integrabilidad

(para la suficiencia de la condición) Si se cumple la condición,

Haciendo ε tender a 0, se tiene la igualdad de las integrales superior e inferior de Riemann.

Ejercicio 1.1 Toda función constante en R es integrable Riemann,

(i) Para cada S ⊂ R

(iii) c.f es integrable en R y

(i) Si f (x1 , ..., xn ) ≥ 0 para cada (x1 , ..., xn ) ∈ R

(ii) Si f (x1 , ..., xn ) ≥ g(x1 , ..., xn ) para cada (x1 , ..., xn ) ∈ R

osc(f, S) := MS (f ) − mS (f ) = sup{|f (~x) − f (~y )| : x, y ∈ S},