Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Renato Benazic
Renato Benazic
Introduccion
Contenido
1 Integrales Multiples 1
1.1 La Definicion de Integral sobre m-bloques . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Propiedades Basicas de la Integral sobre m-Bloques Compactos . . . . . . . . . . . . . . . 9
1.3 Conjuntos de Medida Cero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4 Caracterizacion de las Funciones Riemann Integrables . . . . . . . . . . . . . . . . . . . . 21
1.5 Integracion Iterada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.6 Integrales sobre Conjuntos J-medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.7 Cambio de Variables en la Integral Multiple . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3
Captulo 1
Integrales Multiples
Primeramente introducimos la notacion necesaria. Si I R es un intervalo acotado (es decir, del tipo
[a, b], ]a, b[, ]a, b], [a, b[ o inclusive [a] = [a, a]), el volumen unidimensional o longitud de I, se define por
vol (I) = b a.
Si todo los intervalos Ii son abiertos (resp. cerrados, acotados, compactos, etc.), diremos que el m-bloque
Ym
B= Ii es abierto (resp. cerrado, acotado, compacto, etc.). Si todos los intervalos Ii tienen la misma
i=1
m
Y
longitud, entonces B = Ii es llamado m- cubo.
i=1
Para propositos posteriores, vamos a admitir que uno o mas de los intervalos Ii pueda constar de un
Ym
solo punto. En este caso, decimos que B = Ii es un m-bloque degenerado.
i=1
m
Y
Si B = Ii es un m-bloque acotado, el volumen m-dimensional o simplemente volumen de B,
i=1
denotado por vol (B), se define como el producto de las longitudes de los intervalos Ii , es decir
m
Y
vol (B) = vol (Ii ).
i=1
1
Analisis Real II 2
Observaciones:
m
Y
Sea B = Ii un m-bloque acotado, donde Ii es un intervalo de extremos ai , bi . Una cara (m 1)-
i=1
dimensional o simplemente (m 1)-cara de B es un producto cartesiano del tipo
donde k = 1, 2, . . . m.
Para m = 1, 2, 3, una (m 1)-cara es un extremo del intervalo, un lado del rectangulo o una cara del
paraleleppedo.
Es claro que toda (m 1)-cara de un m-bloque, tiene volumen (m-dimensional) cero.
De manera analoga se definen las (m k)-caras (k = 2, . . . , m) de un m-bloque. Las 0-caras son
llamadas vertices del m-bloque.
m
Y
Definicion 1.1.1 Sea B = [a1 , bi ] un m-bloque compacto.
i=1
kP k = max{kPi k; 1 i m}
Observaciones:
Si denotamos por Ijii = [tiji 1 , tiji ] (1 ji ki ) al ji -esimo intervalo generado por Pi P([ai , bi ])
entonces
Ij11 Ij22 Ijmm
es un m-bloque contenido en B, al cual denotaremos por Bj1 ,...,jm y llamaremos m-subbloque
generado por P P(B). En muchas ocasiones es conveniente enumerar consecutivamente a estos
Analisis Real II 3
m
Y
Sea B = [a1 , bi ] un m-bloque compacto y f : B R una funcion acotada, denotemos
i=1
Es claro que
m(f ) vol (B) L(f, P ) U (f, P ) M (f ) vol (B), P P(B)
La Integral Superior y la Integral Inferior de una funcion acotada f : B R se definen respectivamente
como
Z
f (x)dx = inf{U (f, P ); P P(B)}
ZB
f (x)dx = sup{L(f, P ); P P(B)}
B
Z Z Z Z
En muchas ocasiones, denotaremos f y f en vez de f (x)dx y f (x)dx, respectivamente.
B B B B
Analisis Real II 4
Bi1 ,i2 ,...,im = Ii1 Ii2 Iim = Ii1 Bi2 ,...,im = Ii1 BJ
donde J = (i2 , . . . , im ).
Si P1 = {a1 = t0 < . . . < tk1 = b1 } entonces existe i {1, . . . , k1 } tal que ti1 < t < ti , luego
Q1 = {a1 = t0 < t1 < . . . < ti1 < t < ti < < tkn = b1 }. De esta manera tenemos
P = {Ii1 BJ ; 1 i1 k1 , J}
Q = {Ii1 BJ ; 1 i1 6= i k1 , J} {Bi,J = [ti1 , t ] BJ , Bi,J
= [t , ti ] BJ ; J}
Si denotamos
mi,J (f ) mi,J (f ), m
i,J (f )
y de aqu
mi,J (f ) vol (Bi,J ) = mi,J (f ) vol (Bi,J ) + mi,J (f ) vol (Bi,J )
mi,J (f ) vol (Bi,J ) + mi,J (f ) vol (Bi,J )
Luego:
XX
L(f, P ) = mi1 ,J (f ) vol (Bi1 ,J )
i1 J
X X X
= mi1 ,J (f ) vol (Bi1 ,J ) + mi,J (f ) vol (Bi,J )
J i1 6=i J
X X X
mi1 ,J (f ) vol (Bi1 ,J ) + mi,J (f ) vol (Bi,J
) + m
i,J (f ) vol (Bi,J )
J i1 6=i J
= L(f, Q)
Z Z
Demostracion. Es suficiente probar que f f . Del Corolario 1 tenemos L(f, P ) U (f, Q),
B B
P, Q P(B). Luego
Z
f = sup{L(f, P ); P P(B)} U (f, Q), Q P(B)
B
Z Z
Vamos a hallar f y f , para ello, tomemos
B B
De aqu se sigue que la integral superior tambien es cero, en efecto, sea > 0, existe n N tal que
1
< . Consideremos entonces la particion
n
1 1
P = {0, , 1} {0, , 1} P(B)
n n
Z Z Z
1
Por lo anterior U (f, P ) = 2 < y de aqu f = 0. Por tanto, f= f = 0.
n B B B
Se sigue que
Z
f = sup {L(f, P ); P P(B)} = 0
B
Z
f = inf {U (f, P ); P P(B)} = 1
B
Z Z
De esta manera f< f.
B B
El ejemplo anteior muestra que, la suma inferior puede ser estrictamente menor que la suma superior.
Aquellas funciones cuya integral superior coincide con su integral inferior, son de relevancia para la teora.
Definicion 1.1.2 Sea B un m-bloque compacto y f : B R una funcion acotada. Decimos que f es
Riemann integrable sobre B si y solo si Z Z
f= f
B B
Z Z
Si f es integrable sobre B entonces la integral de Riemann sobre B, denotada por f (x)dx o f se
B B
define como Z Z Z
f= f= f
B B B
Denotaremos por R(B) al conjunto de todas las funciones Riemann integrables sobre el m-bloque com-
pacto B.
Teorema 1.1.2 Sea B un m-bloque compacto y f : B R una funcion acotada. Se cumple f R(B)
si y solo si dado > 0, existe P = P () P(B) tal que U (f, P ) L(f, P ) < .
luego Z
f = inf{U (f, P ); P P(B)} = sup{L(f, P ); P P(B)}
B
Analisis Real II 8
Z Z
Dado > 0, existe P1 P(B) tal que U (f, P1 ) < f+ y existe P2 P(B) tal que f < L(f, P2 ).
B 2 B 2
Tomando P = P1 + P2 tenemos
Z
U (f, P ) U (f, P1 ) < f < L(f, P2 ) + L(f, P ) +
2 2 B 2 2
As, existe P P(B) tal que U (f, P ) L(f, P ) < .
() Dado > 0, por hipotesis existe P = P () P(B) tal que U (f, P ) L(f, P ) < . Por el Corolario 3
al Teorema 1.1.1 tenemos que
Z Z
0 f f U (f, P ) L(f, P ) <
B B
Z Z
Se sigue que f= f.
B B
Existe otra caracterizacion de funcion Riemann integrable, la cual usa el concepto de oscilacion.
Demostracion. 1.) Sean x, y X, cosideremos dos casos: Si f (x) f (y) entonces |f (x) f (y)| =
f (x) f (y) MX (f ) mX (f ).
Si f (x) < f (y) entonces |f (x) f (y)| = f (y) f (x) MX (f ) mX (f ).
En cualquier caso se tiene que |f (x) f (y)| MX (f ) mX (f ), x, y X, es decir
(f, X) MX (f ) mX (f ).
Supongamos que (f, X) < MX (f ) mX (f ) (Hip. Aux.) entonces (f, X) + mX (f ) < MX (f ), luego
existe un x0 X tal que (f, X) + mX (f ) < f (x0 ), se sigue que mX (f ) < f (x0 ) (f, X), luego existe
un y0 X tal que f (y0 ) < f (x0 ) (f, X). As
(f, X) < f (x0 ) f (y0 ) |f (x0 ) f (y0 )| (f, X)
Analisis Real II 9
Demostracion. Sea f C(B) entonces f es u. c. en B, luego dado > 0 > 0 tal que si x, y B y
kx yk < entonces |f (x) f (y)| < .
2 vol (B)
Si tomamos P = {Bi } P(B) con kP k < , para x, y Bi se cumple
m
m
X m
X
kx yk2 = |xj yj |2 kPj k2 mkP k2 < 2
j=1 j=1
Luego |f (x) f (y)| < , x, y Bi lo cual implica que (f, Bi ) < y por lo tanto
X 2 vol (B) vol (B)
(f, Bi ) vol (Bi ) < . De esta manera f R(B).
i
f: B R
x 7 f (x) = 1
entonces f R(B) y Z
1 = vol (B)
B
luego
mi (f ) + mi (g) mi (f + g), i
Por tanto
X k
X X
L(f + g, P ) = mi (f + g) vol (Bi ) mi (f ) vol (Bi ) + mi (g) vol (Bi )
i i i
= L(f, P ) + L(g, P ), P P(B)
Analisis Real II 11
Z Z Z
Se sigue que f + g R(B) y (f + g) = f+ g.
B B B
Observacion: Los resultados anteriores nos dice que R(B) es un R-espacio vectorial y el operador
: R(B) R Z
f 7 (f ) = f
B
es un funcional lineal.
Teorema 1.2.4 Si B es un m-bloque compacto y f, g R(B) tales que f (x) g(x), x B entonces
Z Z
f g
B B
Demostracion. Sea P = {Bi } P(B). Para x Bi se cumple que mi (f ) f (x) g(x), luego
mi (f ) mi (g). Se sigue que
X X Z Z
L(f, P ) = mi (f ) vol (Bi ) mi (g) vol (Bi ) = L(g, P ) g= g, P P(B)
i i B B
Z Z
esto implica que f g.
B B
Observaciones:
Z
1. Si B un m-bloque compacto y f R(B) es tal que f (x) 0, x B entonces f 0.
B
f + = max{f, 0} y f = min{f, 0}
Observaciones:
Mi (f ) mi (f ) = Mi (f + ) mi (f + ) + Mi (f ) mi (f )
Demostracion. () Dado > 0, existe un P P(B) tal que U (f, P ) L(f, P ) < . Por el lema
anterior
U (f + , P ) L(f + , P ) U (f, P ) L(f, P ) < y U (f , P ) L(f , P ) U (f, P ) L(f, P ) <
Luego f + , f R(B).
() Si f + , f R(B) entonces f = f + f R(B).
Corolario. Si B es un m-bloque compacto y f, g R(B) entonces
1. |f | R(B) y Z Z
f |f |
B B
Demostracion. Como f R(B) entonces f + , f R(B), luego |f | = f + + f R(B). Por otro lado,
desde que |f | f |f |, se tiene que
Z Z Z
|f | f |f |
B B B
Dado > 0, como f R(B), existe P P(B) tal que U (f, P ) L(f, P ) < . Se sigue que
2M (f )
U (f 2 , P ) L(f 2 , P ) < y por lo tanto f 2 R(B).
En el caso general, tenemos
f 2 = (f + f )2 = (f + )2 2f + f + (f )2 = (f + )2 + (f )2
Como f R(B) entonces f + , f R(B) y por lo tanto (f + )2 , (f )2 R(B). As f 2 = (f + )2 + (f )2
R(B).
Corolario. Si B es un m-bloque compacto y f, g R(B) entonces f g R(B).
1 1
Demostracion. Es inmediato, puesto que f g = (f + g)2 (f g)2 .
4 4
Observacion: Si B es un m-bloque compacto entonces R(B) es un algebra.
1. 1X es discontinua en x si y solo si x X.
2. Si Y X entonces 1Y 1X .
3. 1XY 1X + 1Y .
4. 1XY + 1XY = 1X + 1Y .
Demostracion. Sea P0 P(B) particion que contiene a A como subbloque. Dado P = {Bi } P(B)
refinamiento de P0 , denotemos por I al conjunto de ndices i tales que Bi A. Se cumple:
X X
L(1A , P ) = mi (1A ) vol (Bi ) = vol (Bi ) = vol (A)
i iI
X X
U (1A , P ) = Mi (1A ) vol (Bi ) vol (Bi ) = vol (A)
i iI
Se sigue que
Z
1A = sup{L(1A , P ); P P(B) y P es refinamiento de P0 } = vol (A)
B
Z
1A = inf{U (1A , P ); P P(B) y P es refinamiento de P0 } vol (A)
B
Analisis Real II 15
Sea A0 m-bloque compacto tal que A A0 B y fijemos Q0 P(B) particion que contiene a A0 como
subbloque. Dado Q = {Ci } P(B) refinamiento de Q0 , se cumple:
X X
U (1A , Q) = Mi (1A ) vol (Ci ) = vol (Ci ) vol (A0 )
i iJ
Definicion 1.3.1 Decimos que X Rm tiene medida m-dimensional cero o simplemente m-medida cero,
si y solo si para todo > 0, existe una familia numerable {Ck }kN de m-cubos abiertos y acotados tales
que
[
1. X Ck .
k=1
X
2. vol (Ck ) < .
k=1
Observaciones:
Proposicion 1.3.1 Si {Xk }kN es una familia numerable de subconjuntos de Rm que tienen m-medida
[
cero, entonces X = Xk tiene m-medida cero.
k=1
Demostracion. Sea > 0, dado j Z+ (fijo, arbitrario), existe {Cj,k }kN coleccion numerable de
[
m-cubos abiertos tales que Xj = Cj,k y
k=1
X
vol (Cj,k ) < .
2j+1
k=1
2. Sea F N N conjunto finito entonces existe k0 N tal que si (j, k) F entonces j, k k0 . Luego
k0
k ! k0
X X X 0 X
vol (Cj,k ) vol (Cj,k ) < j+1
<
j=1 j=1
2 2
(j,k)F k=1
se sigue que
X
vol (Cj,k ) <
2
j,k=1
X
vol (B) vol (Cj )
j,1
Analisis Real II 17
Demostracion. En [
primer lugar, consideramos B m-bloque cerrado, se sigue entonces que B es com-
pacto. Como B Cj y Cj son m-cubos abiertos, tenemos que existen j1 , . . . , jk N tales que
jN
k
[ k
[ k
X
B Cji . Sea D un m-bloque compacto tal que C ji D, entonces 1B 1 k
S
! 1C . Se
ji
Cj
i=1 i=1 i=1 i i=1
sigue que
Z k Z
X k
X X
vol (B) = 1B 1C = vol (Cji ) vol (Cj )
ji
D i=1 D i=1 j,1
Teorema 1.3.2 Sea B un m-bloque acotado. B tiene m-medida cero si y solo si B es degenerado.
X
vol (B) vol (Cj ) < vol (B)
j,1
X
X 0
vol (Bj ) = vol (B 0 ) = 2 vol (B 0 )0
j=1 j=1
2j1
Si tomamos 0 < , concluimos que B tiene m-medida cero.
2 vol (B 0 )
Analisis Real II 18
1. En la categora de los m-bloques degenerados, tener m-medida cero es equivalente a tener volumen
cero.
2. Las (m k)-caras de los m-bloques tienen m-medida cero.
3. Si X Rm tiene m-medida cero entonces int (X) = . El recproco de este resultado es falso, en
efecto, consideremos X = [0, 1] I, es claro que int (X) = , sin embargo X no tiene medida cero.
Para demostrarlo, suponga lo contrario, como se cumple
entonces [0, 1] sera union (disjunta) de dos conjuntos de medida cero, por tanto tendra medida
cero y como [0, 1] es un 1-bloque, tendra que ser degenerado, lo cual es una contradiccion.
Vamos a dar un ejmplo mas interesante de un conjunto de interior vaco y que no tiene medida cero.
Ejemplo 1.3.1 (Conjunto de Cantor que no tiene medida cero) Vamos a construir inductivamente
un conjunto compacto X [0, 1] de interior vaco pero que no tiene 1-medida cero. Para ello tomemos
a ]0, 1/2[ , se cumple
X
1
an = 1 < 1,
n=1
1 a
X
tomemos = 1 an > 0.
n=1
Etapa 1: Del intervalo [0, 1] retiramos el intervalo abierto J1 = Ia/2 (1/2) de centro 1/2 y longitud a, y
nos quedamos con [0, 1] J1 el cual es union de dos intervalos cerrados, disjuntos, cada uno de longitud
1a
. Observe que vol (J1 ) = a.
2
Etapa 2: Sean b2,1 , b2,2 los puntos medios de los dos intervalos de la Etapa 1. Consideramos J2,1 =
Ia2 /4 (b2,1 ) y J2,2 = Ia2 /4 (b2,2 ) y denotemos J2 = J2,1 J2,2 y nos quedamos con
1 a a2
que es la union de 4 intervalos cerrados, disjuntos, cada uno de longitud . Si denotamos por
22
vol (J2 ) a la suma de las longitudes de los dos intervalos J2,1 y J2,2 , entonces tenemos vol (J2 ) = a2 .
Analisis Real II 19
1 a a2 ak
el cual el la union de 2k intervalos cerrados, disjuntos, cada uno de longitud .
2k
Observe que
Jk = Jk,1 Jk,2k1 ,
ak
siendo la union disjunta y cada Js,i tiene longitud , luego su suma, denotada por vol (Jk ), viene
2k1
dada por vol (Jk ) = ak .
[
Definimos X = [0, 1] Js . Por construccion X es compacto, no puede contener ningun intervalo
sN
(es decir int (X) = ) y ademas, afirmo que X no tiene 1-medida cero. En efecto, en primer lugar observe
que
X
X
vol (Js ) = as = 1 .
s=1 s=1
Si X tuviera 1-medida cero (Hip. Aux.) entonces existira {Cj } familia numerable de intervalos abiertos
[
X
tal que X Cj y vol (Cj ) < . Pero
jN j=1
!
[ [ [ [
[0, 1] = X ([0, 1] X) Cj Js
jN sN
Sea X un conjunto de m-medida cero y f : X Rm Bajo que condiciones f (X) tiene m-medida
cero? Para responder esta interrogante, necesitamos una definicion.
Ademas !
X
X
X
vol (Dk ) = ( mK)m `m
k = ( mK)
m
vol (Ck ) <
k=1 k=1 k=1
Proposicion 1.3.4 Sea U Rm abierto y f C 1 (U, Rn ) donde m < n entonces f (U ) tiene n-medida
cero.
Analisis Real II 21
g: W Rn
(x, y) 7 g(x, y) = f (x)
Se sigue que g C 1 (U, Rn ) y g(U {0}) = f (U ). Por el corolario al Teorema 1.3.2 tenemos que U {0}
tiene n-medida cero luego f (U ) = g(U {0}) tiene n-medida cero.
Observacion: Si I R es un intervalo abierto tal que [0, 1] I y f C 1 (I, Rn ) entonces f ([0, 1]) tiene
n-medida cero, luego int (f ([0, 1])) = . Se deduce que en clase C 1 no existen curvas de Peano.
En la presente seccion, daremos condiciones necesarias y suficientes para que una funcion acotada f :
B R, en donde B es un m-bloque compacto, sea Riemann integrable sobre B. Para ello, necesitamos
algunos resultados previos.
Sea X Rm y f : X R funcion acotada. Recordemos que la oscilacion de f en X se definio como
x : ]0, +[ R
7 x () = (f, X B (x))
Teorema 1.4.1 Sea X Rm y f : X R una funcion acotada. Se cumplen las siguientes propiedades:
1. (f, x) 0, x X.
2. (f, x0 ) = 0 si y solo si f es continua en x0 .
3. Si x int (Y ) e Y X entonces (f, x) (f, Y ). En particular, si x int (X) entonces
(f, x) (f, X).
4. Si (f, x0 ) < c entonces > 0 tal que (f, x) < c, x X B (x0 ).
5. Si X Rm es cerrado (respectivamente compacto) entonces el conjunto {x X; (f, x) c} es
cerrado (respectivamente compacto), para todo c 0.
Demostracion. 2.) () Si (f, x0 ) = 0 entonces inf{(f, X B (x0 )); > 0} = 0, luego dado > 0
existe un > 0 tal que (f, X B (x0 )) < , luego |f (x) f (y)| < , x, y X B (x0 ). En particular
si x X y kx x0 k < entonces |f (x) f (x0 )| < . Es decir, f es continua en x0 .
() Dado > 0 existe un > 0 tal que si x X y kx x0 k < entonces |f (x) f (x0 )| < . Sean
3
x, y X B (x0 ) entonces
2
|f (x) f (y)| |f (x) f (x0 )| + |f (x0 ) f (y)| <
3
2
Luego (f, X B (x0 )) < y esto prueba que (f, x0 ) = 0.
3
3.) Si x int (Y ) entonces > 0 tal que B (x) Y , luego
Como (f, B (0)) = sup{f (x, y); (x, y) B (0)} inf{f (x, y); (x, y) B (0)} = 1, > 0, se cumple
Teorema 1.4.2 (Lebesgue) Sea B un m-bloque compacto, f : B R una funcion acotada y denotemos
Df = {x B; f es discontinua en x}
Demostracion. () Sea K = (f, B). Dado > 0, existe una coleccion numerable de m-cubos abiertos
[ X
0
0
{Cj } tales que Df Cj y vol (Cj0 ) < .
j=1 j=1
2K
Sea x B Df . Afirmo que existe Cx00 m-cubo abierto tal que x Cx00 y
(f, Cx00 B) <
2 vol (B)
En efecto, como f es continua en x entonces (f, x) = 0, luego existe un > 0 tal que (f, B (x) B) <
. Tomando Cx00 un m-cubo abierto, centrado en x, tal que Cx00 B (x), se prueba la afirmacion.
2 vol (B)
Observe que
[ [ [
B = Df (B Df ) Cj0 Cx00
j=1 xBDf
Consideremos P = {Bi } P(B) tal que cumple por lo menos una de las dos alternativas siguientes:
Bi Cj0 o Bi Cx00k . Denotando por I = {i; Bi Cj0 } y J = {i; Bi Cx00k }, se cumple:
X X X
(f, Bi ) vol (Bi ) (f, Bi ) vol (Bi ) + (f, Bi ) vol (Bi )
i iI iJ
X X
< K vol (Bi ) + vol (Bi )
2 vol (B)
iI iJ
< K + vol (B) =
2K 2 vol (B)
[
Claramente se tiene que Df Dj . Es suficiente probar que Dj tiene m-medida cero, j N.
j=1
Dados j N y > 0, por hipotesis, existe P = {Bi } P(B) tal que
X
(f, Bi ) vol (Bi ) < .
i
j
1
Sea I = {i; Dj int (Bi ) 6= }. Si x Dj int (Bi ) entonces (f, x) (f, Bi ), luego
j
1X X X
vol (Bi ) (f, Bi ) vol (Bi ) (f, Bi ) vol (Bi ) <
j i
j
iI iI
es decir X
vol (Bi ) <
iI
f : [0, 1] [0, 1] R
0, si x 6= 1/2
(x, y) 7 f (x, y) = 1, si x = 1/2, y Q
0, si x = 1/2, y I
Claramente Df = {1/2} [0, 1]. Como Df tiene 2-medida cero, concluimos que f R([0, 1] [0, 1]),
pero
f1/2 : [0, 1] R
1, si y Q
y 7 f1/2 (y) =
0, si y I
se sigue que Df1/2 = [0, 1], luego f1/2
/ R([0, 1]).
Analisis Real II 25
L: B1 R Z U: B1 R
Z
x 7 L(x) = fx (y)dy x 7 U (x) = fx (y)dy
B2 B2
Z Z Z Z
U(x)dx = f (x, y)dy dx = f
B1 B1 B2 B1 B2
Demostracion. Sean P1 = Bi1 P(B1 ) y P2 = Bj2 P(B2 ) entonces P = P1 P2 = Bi1 Bj2
P(B1 B2 ). Se cumple
X X
L(f, P ) = mi,j (f ) vol (Bi1 Bj2 ) = mi,j (f ) vol (Bi1 ) vol (Bj2 )
i,j i,j
X X
= mi,j (f ) vol (Bj2 ) vol (Bi1 ) (1.1)
i j
mi,j (f ) = inf{f (x, y); (x, y) Bi1 Bj2 } inf{fx (y); y Bj2 } = mj (fx )
Luego
X X Z
mi,j (f ) vol (Bj2 ) mj (fx ) vol (Bj2 ) = L(fx , P2 ) fx (y)dy = L(x), x Bi1
j j B2
X
es decir mi,j (f ) vol (Bj2 ) mi (L), x Bi1 . Reemplazando en (1.1)
j
X
L(f, P ) mi (L) vol (Bi1 ) = L(L, P1 ) (1.2)
i
Analisis Real II 26
Analogamente
De (1.2) y (1.3)
Como f R(B1 B2 ), dado > 0, existe P = P = P1 P2 P(B1 B2 ) tal que U (f, P ) L(f, P ) < ,
luego existe P1 P(B1 ) tal que U (L, P1 )L(L, P1 ) < y esto implica que que L R(B1 ). Analogamente,
se demuestra que U R(B1 ).
Finalmente, usando la propiedad:
Sean A, B R conjuntos acotados tales que, dado a A, existe b = ba B tal quwe a b, entonces
sup(A) sup(B).
En nuestro caso, para
Observaciones:
Por lo tanto Z Z Z
f (x, y)dy dx = f
B1 B2 B1 B2
Analogamente Z Z Z
f (x, y)dx dy = f
B2 B1 B1 B2
Analisis Real II 27
m
Y
3. Si B = [ai , bi ] y f C(B) entonces
i=1
Z Z Z ! !
bn b1
f= f (x1 , . . . , xn )dx1 dxn
B an a1
Este resultado es util para calcular integrales de funciones continuas sobre m-bloques compactos.
Ejemplo 1.5.2 Sea B = [1, 1] [1, 4] y f : B R definida por f (x, y) = xe y , como f C(B), por
la observacion anterior:
Z Z 4 Z 1 Z 4 Z 1
y y
f= xe dx dy = e xdx dy = 0
B 1 1 1 1
Hasta ahora solo sabemos integrar sobre m-bloques compactos, en la presente seccion vamos a ver que se
puede integrar sobre conjuntos mas generales.
Observaciones:
D1X = {x B; 1X es discontinua en x}
Se sigue que D1X = X, por lo tanto X J (Rm ) si y solo si 1X R(B) si y solo si D1X = X tiene
m-medida cero.
Observaciones:
Demostracion. () Como X es cerrado se tiene que (X) X, de la hipotesis se sigue que (X)
tiene m-medida cero y por tanto X J (Rm ). Por otro lado, sea > 0, como X tiene m-medida cero,
[
X
existe {Cj } coleccion numerable de m-cubos abiertos acotados tales que X Cj y vol (Cj ) < .
jN j=1
Como X es compacto, X C1 Cs . Sea B un m-bloque compacto cuyo interior contenga a la
clausura de C1 Cs , se cumple
Z Z s Z
X s
X
vol (X) = 1X 1C1 Cs 1Cj = vol (Cj ) <
B B j=1 B j=1
Dado > 0, existe P = {Bi } P(B) tal que U (1X , P ) < . Denotemos
I = {i; X Bi 6= }
[
claramente X Bi y ademas
iI
X X
> Mi (1X ) vol (Bi ) = vol (Bi )
i iI
Analisis Real II 29
1. Como (XY ) XY , se sigue que (XY ) tiene m-medida cero y por lo tanto XY J (Rm ).
2. Ejercicio.
3. Sea B un m-bloque compacto tal que X, Y int (B). Sabemos que 1XY + 1XY = 1X + 1Y , luego
Z Z Z
vol (X Y ) + vol (X Y ) = (1XY + 1XY ) = 1X + 1X = vol (X) + vol (Y )
B B B
Definicion 1.6.2 Sea X J (Rm ) y f : X R una funcion acotada. Decimos que f es Riemann
Integrable sobre X, lo que denotamos f R(X) si y solo si 1X f = fX R(B), en donde B es un
m-bloque compacto tal que X int (B). En caso afirmativo definimos
Z Z
f= fX
X B
Demostracion. Sea B un m-bloque compacto tal que X int (B). Desde que (f + g)X = fX + gX
(Ejercicio!) se sigue que si f, g R(X) entonces fX , gX R(B), luego (f + g)X = fX + gX R(B), es
decir f + g R(X). Ademas
Z Z Z Z Z Z Z
(f + g) = (f + g)X = (fX + gX ) = fX + gX = f+ g
X B B B B X X
Teorema 1.6.6 (Teorema del Valor Medio para Integrales) Si X J (Rm ) es conexo y f C(X)
entonces existe un x0 X tal que Z
f = f (x0 ) vol (X)
X
Demostracion. Si vol (X) = 0, por la parte 9 del teorema anterior, la igualdad es inmediata. Consi-
deremos el caso en que vol (X) > 0. Como f C(X) y X es conexo entonces f (X) es un intervalo cuyos
extremos lo denotamos por m y M , luego m f (x) M , x X, as
Z Z Z
m vol (X) = m f M = M vol (X)
X X X
Analisis Real II 31
Z Z
1 1
Se sigue que f f (X) luego existe un x0 X tal que f (x0 ) = f.
vol (X) X vol (X) X
Teorema 1.6.7 Sean X, Y J (Rm
). Se cumple que f R(X Y ) si y solo si f R(X) y
X
f Y R(Y ). En caso afirmativo
Z Z Z Z
f+ f= f+ f
XY XY X Y
D D Df D D X Y
f f f f
X Y X Y
m
Como X, Y J (R ) se tiene que X y Y tienen m-medida cero, luego f R(X Y ) si y solo si Df
tiene m-medida cero si y solo si D y D tienen m-medida si y solo si f X R(X) y f Y R(Y ).
f f
X Y
Sea B un m-bloque compacto tal que X Y int (B) y consideremos las funciones fXY , fXY :
B R, se cumple fXY + fXY = fX + fY , luego
Z Z Z Z Z Z Z Z
f+ f= fXY + fXY = fX + fY = f+ f
XY XY B B B B X Y
m
Finalmente
Z como X, Y J (R ) e int (X Y ) = entonces por el ejercicio vol (X Y ) = 0, luego
f = 0 y por la parte 9 del Teorema 1.6.5 el resultado se sigue.
XY
m
Demostracion. Como U = Z int (X)
Z entonces U X luego U J (R ) e int (X U ) = int (X) = .
Luego, por el Corolario 1: f= f.
X U
Observacion: En virtud del corolario anterior, de ahora en adelante podemos suponer que las integrales
se realizan sobre conjuntos abiertos J-medibles.
Z
Sea X J (Rm ), se puede usar el Teorema 1.6.1 para calcular f , puesto que, por definicion
Z Z X
fX : B R
f (x, y), si (x, y) X
(x, y) 7 fX (x, y) =
0, si (x, y) B X
es decir
( p p
y 2 +1
fX (x, y) = xe , si 1 x < 1 y 2 o 1 y 2 < x < 1, 1 y 1
0, (x, y) B X
De esta manera
Z Z Z "Z Z #
1 1y 2 1
y 2 +1 y 2 +1
f= fX = xe dx + xe dx dy = 0
X B 1 1 1y 2
Para finalizar la seccion, probaremos que existen abiertos acotados que no son J-medibles. En efecto,
sea X el conjunto de Cantor de medida positiva y denotamos Y = X [0, 1]. Supongamos que Y tiene
2-medida cero (Hip. Aux.) denotemos B = [0, 1] [0, 1] Y , como Y Y , por la hipotesis auxiliar
concluimos que f = 1Y R(B). Por el teorema de la integracion iterada, la funcion
L: [0, 1] R
Z 1
x 7 L(x) = fx (y)dy
0
es Riemann integrable sobre [0, 1]. Observe que para x X tenemos fx = 1 (puesto que si y [0, 1]
entonces (x, y) Y , luego 1 = fx (y) = 1Y (x, y)). Analogamente, si x
/ X entonces fx = 0. Luego
Z 1
1, si x X
L(x) = fx (y)dy =
0 0, si x
/X
es decir L = 1X , concluimos que 1X R([0, 1]) y por tanto X = X tiene 1-medida cero lo cual es una
contradiccion. De esta manera Y = X [0, 1] tiene 2-medida cero. Ahora es facil construir un abierto
Analisis Real II 33
de R2 cuya frontera no tiene 2-medida cero. En efecto, sea B cualquier 2-bloque abierto que contenga a
[0, 1] [0, 1] y sea U = B Y . Como Y es cerrado tenemos que U es abierto y como Y U (Ejercicio!)
deducimos que U no tiene 2-medida cero.
La existencia de abiertos acotados que no sean J-medibles es mala para la teora de la integracion
Z
puesto que si U es uno de tales abiertos, con la teora estudiada hasta el momento la integral f no
U
necesariamente estara definida, aun suponiendo que f C(U ).
Del Analisis en una variable real, tenemos el siguiente resultado: Sea f C([a, b]) y g : [c, d] R tal que
g 0 R([c, d]) y g([c, d]) [a, b]. Entonces
Z g(d) Z d
f (x)dx = f (g(t))g 0 (t)dt
g(c) c
La demostracion del teorema anterior, usando solo integral de Riemann, es muy complicada y sera
pospuesta hacia el final, en donde ya tendremos a mano la integral de Lebesgue.
Se debe observar que en el Teorema de Cambio de variables, el abierto no necesariamente es J-medible.
ESto se debe al hecho que es posible definir la integral de Riemann de una funcion definida sobre un
abierto no necesariamente J-medible, pero para ello se requiere el manejo de particiones de la unidad.
En el calculo, los cambios de variables mas usados son:
1. Coordenadas polares: Es la funcion (x, y) = g(r, ) = (r cos , rsen ), en cuyo caso se tiene
Z Z
f (x, y)dxdy = f (r cos , rsen )r drd.
g(U ) U
2. Coordenadas cilndricas: Es la funcion (x, y, z) = g(r, , z) = (r cos , rsen , z), en cuyo caso se
tiene Z Z
f (x, y, z)dxdydz = f (r cos , rsen , z)r drddz.
g(U ) U
Analisis Real II 34
3. Coordenadas esfericas: Es la funcion (x, y, z) = g(, , ) = ( cos sen , rsen sen , cos ), en
cuyo caso se tiene
Z Z
f (x, y, z)dxdydz = f ( cos sen , rsen sen , cos )2 sen ddd.
g(U ) U