Analisis Real III

Renato Benazic

August 15, 2017

 Prefacio

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

1.1 La Definicion de Integral sobre m-bloques

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.

Decimos que B Rm es un bloque m-dimensional o simplemente m-bloque si y solo si B es producto

cartesiano de m intervalos I1 , . . . , Im , es decir
m
Y
B = I1 I2 Im = Ii .
i=1

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:

1. El volumen de un m-bloque degenerado es cero.

2. Si m = 1, 2, 3 entonces el m-bloque B se denomina respectivamente intervalo, rectangulo, pa-
raleleppedo y su volumen vol (B) pasa a ser llamado longitud, area y volumen, respectivamente.

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

I1 Ik1 {ak } Ik+1 Im o I1 Ik1 {bk } Ik+1 Im

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

1. Una particion P de B es un producto cartesiano P = P1 Pm donde Pi P([ai , bi ]),

1 i m. Denotaremos por P(B) al conjunto de todas las particiones del m-bloque compacto
B.
2. Sea P = P1 Pm P(B). La norma de P , denotada por kP k es definida como

kP k = max{kPi k; 1 i m}

3. Sean P = P1 Pm , Q = Q1 Qm P(B). Decimos que Q es un refinamiento de P si y

solo si Pi Qi , 1 i m.

Observaciones:

1. Sea P = P1 Pm P(B) donde

Pi = {ai = ti0 < ti1 < < tiki = bi } P([ai , bi ]), (1 i m)

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

subbloques y denotarlos por Bi , con 1 i k = k1 km . En cualquier caso, escribiremos

P = {Bj1 ,...,jm } o P = {Bi } P(B) para decir que los Bj1 ,...,jm (o los Bi ) son los subbloques
generados por la particion P . Es claro que
k
X
vol (B) = vol (Bi ).
i=1

2. Si P, Q P(B) entonces P Q no necesariamente es una particion de B. En efecto, considere

P = {0, 1}{0, 1/2, 1} y Q = {0, 1/2, 1}{0, 1}. Es claro que P y Q son particiones de [0, 1][0, 1],
sin embargo P Q no es una particion de [0, 1] [0, 1].
3. Sean P = P1 Pm , Q = Q1 Qm P(B), denotaremos
P + Q = (P1 Q1 ) (P2 Q2 ) (Pm Qm )
Es claro que P + Q P(B) y P + Q es un refinamiento comun de P y Q, (es decir P P + Q y
Q P + Q).

m
Y
Sea B = [a1 , bi ] un m-bloque compacto y f : B R una funcion acotada, denotemos
i=1

m(f ) = inf{f (x); x B} y M (f ) = sup{f (x); x B}

Es claro que m(f ) f (x) M (f ), x B.
Si P = {Bi } P(B), denotamos
mi (f ) = inf{f (x); x Bi } y Mi (f ) = sup{f (x); x Bi }
Se cumple
m(f ) mi (f ) f (x) Mi (f ) M (f ), x Bi , i
La suma inferior y la suma superior de f relativa a la particion P se definen respectivamente como
X X
L(f, P ) = mi (f ) vol (Bi ) y U (f, P ) = Mi (f ) vol (Bi )
i i

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

Teorema 1.1.1 Sea B un m-bloque compacto, P, Q P(B) y f : B R una funcion acotada. Si Q es

un refinamiento de P entonces L(f, P ) L(f, Q) y U (f, Q) U (f, P ).

Demostracion. Sean P = P1 Pm , Q = Q1 Qm P(B) donde Q es un refinamiento de

P , luego P1 Q1 , . . . , Pm Qm . Es suficiente considerar el caso en que Q1 = P1 {t }, P2 = Q2 , . . . ,
Pm = Qm .
Sabemos que un m-subbloque de la particion P es del tipo

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 ) = inf{f (x); x Bi,J

} y m
i,J (f ) = inf{f (x); x Bi,J }

es claro que se cumplen las siguientes desigualdades

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)

La otra desigualdad se demuestra de manera analoga.

Corolario 1. Sean B un m-bloque compacto y f : B R una funcion acotada. Se cumple

L(f, P ) U (f, Q) P, Q P(B).

 Analisis Real II 5

Demostracion. Sean P, Q P(B), sabemos que P + Q P(B) es un refinamiento comun de P y Q.

Del teorema anterior se tiene:

L(f, P ) L(f, P + Q) U (f, P + Q) U (f, Q)

Corolario 2. Sean B un m-bloque compacto, f : B R una funcion acotada y fijemos P0 P(B).

Entonces
Z
f = inf{U (f, P ); P P(B) y P es refinamiento de P0 }
B
Z
f = sup{L(f, P ); P P(B) y P es refinamiento de P0 }
B

Demostracion. Probaremos solo la segunda igualdad, la demostracion de la primera es similar. Es claro

que
A = {L(f, P ); P P(B) y P es refinamiento de P0 } {L(f, P ); P P(B)}
Luego Z
sup A f
B
Z
Supongamos que sup A < f (Hip. Aux.) luego existe P1 P(B) tal que sup A < L(f, P1 ). Pero
B
P0 + P1 P(B) es un refinamiento de P0 , luego L(f, P0 + P1 ) sup A < L(f, P1 ) L(f, P0 + P1 ) lo cual
es absurdo. Esta contradiccion prueba el resultado.
Corolario 3. Sean B un m-bloque compacto y f : B R una funcion acotada. Se cumple:
Z Z
L(f, P ) f f U (f, P ), P P(B)
B B

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

De aqu se sigue el resultado.

Del Corolario
Z Z anterior, surge de manera natural la siguiente interrogante Existe f : B R acotada
tal que f< f ? Veamos un par de ejemplos.
B B

Ejemplo 1.1.1 Sea B = [0, 1] [0, 1] y definamos f : B R mediante

1, si (x, y) = (0, 0)
f (x, y) =
0, en otro caso
 Analisis Real II 6

Z Z
Vamos a hallar f y f , para ello, tomemos
B B

P = {0 = t0 < t1 < < tm = 1} {0 = s0 < s1 < < sn = 1} P(B)

y denotemos Bij = [ti1 , ti ] [sj1 , sj ], 1 i m, 1 j n.
Por definicion de f se tiene que

1, si i = j = 1
mij = 0, y Mij (f ) =
0, en otro caso
m X
X n
luego L(f, P ) = mij (f ) vol (Bij ) = 0. Se sigue que
i=1 j=1
Z
f = sup {L(f, P ); P P(B)} = 0
B

Por otro lado

m X
X n
U (f, P ) = Mij (f ) vol (Bij ) = vol (B11 ) = t1 s1
i=1 j=1

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

Ejemplo 1.1.2 Sea B = [0, 1] [0, 1] y definamos f : B R mediante

1, si (x, y) Q2
f (x, y) =
0, en otro caso
Z Z
Para hallar f y f , tomemos
B B

P = {0 = t0 < t1 < < tm = 1} {0 = s0 < s1 < < sn = 1} P(B)

y denotemos Bij = [ti1 , ti ] [sj1 , sj ], 1 i m, 1 j n. Por definicion de f se sigue que
mij = 0, y Mij (f ) = 1, i, j
luego
m X
X n
L(f, P ) = mij (f ) vol (Bij ) = 0
i=1 j=1
Xm X n m X
X n
U (f, P ) = Mij (f ) vol (Bij ) = vol (Bij ) = vol (B) = 1
i=1 j=1 i=1 j=1
 Analisis Real II 7

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.

Observacion: Sea B un m-bloque compacto, f : B R una funcion acotada. Si f R(B) entonces

por el Corolario 3 se tiene que
Z
L(f, P ) f U (f, P ) P P(B)
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 ) < .

Demostracion. () Por hipotesis

Z Z Z
f= f= f
B B B

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.

Definicion 1.1.3 Sea X Rm y f : X R una funcion acotada. La oscilacion de f sobre el conjunto

X, denotada por (f, X) es definida como
(f, X) = sup{|f (x) f (y)|; x, y X}

Proposicion 1.1.3 Sea X Rm y f : X R una funcion acotada, se cumple:

1. Si mX (f ) = inf{f (x); x X} y MX (f ) = sup{f (x); x X} entonces

(f, X) = MX (f ) mX (f )

2. Si Y X entonces (f, Y ) (f, X).

3. Si X = B es un m-bloque compacto y P = {Bi } P(B) entonces
X
U (f, P ) L(f, P ) = (f, Bi ) vol (Bi )
i

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

lo cual es una contradiccion. La parte 2.) es evidente.

3.) De la definicion y la parte 1, tenemos
X X X
U (f, P ) L(f, P ) = Mi (f ) vol (Bi ) mi (f ) vol (Bi ) = [Mi (f ) mi (f )] vol (Bi )
i i i
X
= (f, Bi ) vol (Bi )
i

lo cual prueba el resultado.

Corolario. Sea B un m-bloque compacto, f : B R unaX funcion acotada. Se cumple f R(B) si y
solo si dado > 0, existe P = P () = {Bi } P(B) tal que (f, Bi ) vol (Bi ) < .
i

Demostracion. Consecuencia directa del Teorema 1.1.2 y la parte 3 de la proposicion anterior.

Teorema 1.1.4 Si B un m-bloque compacto entonces C(B) R(B).

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

1.2 Propiedades Basicas de la Integral sobre m-Bloques Com-

pactos

Teorema 1.2.1 Si B es un m-bloque compacto y

f: B R
x 7 f (x) = 1

entonces f R(B) y Z
1 = vol (B)
B

Demostracion. Como f = 1 C(B), se sigue que f = 1 R(B).

 Analisis Real II 10

Por otro lado, dado P = {Bi } P(B), se cumple

X
L(1, P ) = vol (Bi ) = vol (B).
i
Z
Se sigue que 1 = vol (B).
B

Teorema 1.2.2 Si B es un m-bloque compacto, f R(B) y c R, entonces cf R(B) y

Z Z
cf = c f
B B

Demostracion. Sea P = {Bi } P(B). Si c 0 entonces

mi (cf ) = inf{(cf )(x); x Bi } = c inf{f (x); x Bi } = c mi (f )

Analogamente Mi (cf ) = c Mi (f ). Luego

X X
L(cf, P ) = mi (cf ) vol (Bi ) = c mi (f ) vol (Bi ) = c L(f, P )
i i

Analogamente U (cf, P ) = c U (f, P ). Por lo tanto

Z Z Z
cf = sup{L(cf, P ); P P(B)} = c sup{L(f, P ); P P(B)} = c f = c f
B B B
Z Z Z Z
Analogamente cf = c f . Se sigue que cf R(B) y cf = c f.
B B B B

Lema 1.2.1 Si B es un m-bloque compacto y f, g : B R son funciones acotadas entonces se cumple

Z Z Z
1. (f + g) f + g.
B B B
Z Z Z
2. (f + g) f+ g.
B B B

Demostracion. 1.) Sea P = {Bi } P(B). Dado x Bi se cumple

mi (f ) + mi (g) f (x) + g(x) = (f + g)(x)

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

Sean P1 , P2 P(B) y P = P1 + P2 , luego

Z
L(f, P1 ) + L(g, P2 ) L(f, P ) + L(g, P ) L(f + g, P ) (f + g)
B
Z Z Z
Se sigue que (f + g) f+ g.
B B B

Teorema 1.2.3 Si B es un m-bloque compacto y f, g R(B) entonces f + g R(B) y

Z Z Z
(f + g) = f+ g
B B B

Demostracion. Por hipotesis y el lema anterior

Z Z Z Z Z Z Z Z Z Z
f+ g= f+ g (f + g) (f + g) f+ g= f+ g
B B B B B B B B B B

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

2. El operador : R(B) R es monotono, es decir si f, g R(B) con f g entonces (f ) (g).

 Analisis Real II 12

Definicion 1.2.1 Sea X Rm y f, g : X R

1. El maximo de f y g, y el mnimo de f y g son las funciones max{f, g}, min{f, g} : X R definidas

por
max{f, g}(x) = max{f (x), g(x)} y min{f, g}(x) = min{f (x), g(x)}, x X

2. La parte positiva de f y la parte negativa de f , denotadas respectivamente por f + , f son las

funciones f + , f : X R definidas por

f + = max{f, 0} y f = min{f, 0}

Observaciones:

1. De las definiciones de maximo y mnimo se sigue directamente que:

1 1
max{f, g} = (f + g + |f g|) y min{f, g} = (f + g |f g|)
2 2
luego
1 1
f+ = (f + |f |) y f = (|f | f )
2 2
2. f + y f son funciones no negativas.
3. f = f + f .
4. |f | = f + + f .
5. f 0 f + = f y f = 0.
6. f 0 f + = 0 y f = f .
7. f + f = 0.

Lema 1.2.2 Si B es un m-bloque compacto y f : B R una funcion acotada entonces se cumple

U (f, P ) L(f, P ) = [U (f + , P ) L(f + , P )] + [U (f , P ) L(f , P )], P P(B)

Demostracion. Sea P = {Bi } P(B). Afirmo que

Mi (f ) mi (f ) = Mi (f + ) mi (f + ) + Mi (f ) mi (f )

En efecto, consideremos tres casos:

Caso 1: mi (f ) 0. En este caso tenemos que f + = f y f = 0 y por tanto la igualdad se cumple
trivialmente.
Caso 2: Mi (f ) 0. En este caso tenemos que f + = 0 y f = f , por tanto nuevamente la igualdad se
cumple trivialmente.
 Analisis Real II 13

Caso 3: mi (f ) < 0 < Mi (f ). En este caso Mi (f + ) = Mi (f ), mi (f + ) = 0, Mi (f ) = mi (f ) y

mi (f ) = 0, luego
Mi (f ) mi (f ) = Mi (f + ) + Mi (f ) = Mi (f + ) mi (f + ) + Mi (f ) mi (f )
lo cual prueba la afirmacion.
Multiplicando la igualdad por vol (Bi ) y sumando sobre i, el lema se sigue.

Teorema 1.2.5 Si B es un m-bloque compacto y f : B R es una funcion acotada, se tiene

f R(B) f + , f R(B)

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

2. max{f, g}, min{f, g} R(B) y

Z Z Z Z Z Z
max{f, g} max f, g , min{f, g} min f, g
B B B B 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

De aqu, el resultado se sigue. La prueba de 2) es similar.

Teorema 1.2.6 Sea B un m-bloque compacto y f R(B) entonces f 2 R(B).

Demostracion. Primeramente, consideremos el caso en que f (x) 0, x B. Sea P = {Bi }

P(B), dado x Bi , se cumple f (x) Mi (f ), luego f 2 (x) Mi (f )2 y por tanto Mi (f 2 ) Mi (f )2 .
Analogamente mi (f 2 ) mi (f )2 . Por lo tanto
X X
U (f 2 , P ) L(f 2 , P ) = [Mi (f )2 mi (f 2 )] vol (Bi ) = [Mi (f ) + mi (f )][Mi (f ) mi (f )] vol (Bi )
i i
X
2M (f ) [Mi (f ) mi (f )] vol (Bi ) = 2M [U (f, P ) L(f, P )], P P(B)
i
 Analisis Real II 14

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.

Definicion 1.2.2 Sea X Rm , la funcion caracterstica de X, denotada por 1X es definida por

1X : Rm R
1, si x X
x 7 1X (x) =
0, si x Rm X

Observacion: Se cumplen los siguientes resultados

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 .

Teorema 1.2.7 Si A, B son m-bloques compactos con A B entonces 1A R(B) y

Z
1A = vol (A)
B

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

Donde J es el conjunto de ndices i tales que Ci A 6= . Se sigue que

Z
vol (A) 1A vol (A0 )
B

Tomando A0 con volumen suficientemente proximo del volumen

m de A, el resultado se sigue. En efecto,
Ym Y !
1 1
supongamos A = [ai , bi ], para k N definimos A0k = ai , bi + B. Como A0k es un
i=1 i=1
k k
m-bloque compacto tal que A A0k B, por la desigualdad anterior tenemos
Z m
Y
2
vol (A) 1A vol (A0k ) bi ai + , kN
B i=1
k
Z
Haciendo k se llega a 1A = vol (A).
B

1.3 Conjuntos de Medida Cero

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:

1. Todo conjunto unitario de Rm tiene m-medida cero.

2. Todo subconjunto finito de puntos de Rm tiene m-medida cero.
3. Todo subconjunto de un conjunto de m-medida cero tiene m-medida cero.
4. La union de una familia finita de conjuntos de m-medida cero tiene m-medida cero.
5. En la definicion anterior podemos reemplazar m-cubos abiertos por m-cubos cerrados, m-bloques
cerrados, m-bloques abiertos.
 Analisis Real II 16

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

Considero {Cj,k }j,kN coleccion numerable de m-cubos abiertos, la cual satisface:

[
1. X Cj,k .
j,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

Concluimos que X tiene m-medida cero.

Observaciones:

1. Todo subconjunto numerable de Rm tiene m-medida cero.

2. N, Z y Q tienen medida unidimensional cero.

3. El conjunto de Cantor tiene 1-medida cero. Esto es una consecuencia directa de la propia cons-
truccion del conjunto de Cantor.

Lema 1.3.1 Sea B un m-bloque

[ acotado. Si {Cj }jN es una familia numerable de m-cubos abiertos y
acotados tales que B Cj entonces
jN

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

Si B es un m-bloque acotado cualquiera, entonces no es difcil ver (Ejercicio!) que

vol (B) = sup{ vol (A); A B, A es un m-bloque compacto}

X
Luego si A B es un m-bloque compacto, por la primera parte tenemos que vol (A) vol (Cj ) y
j,1
X
por la definicion de supremo, tenemos vol (B) vol (Cj ).
j,1

Teorema 1.3.2 Sea B un m-bloque acotado. B tiene m-medida cero si y solo si B es degenerado.

Demostracion. () Sea B un m-bloque B de m-medida cero y supongamos que B es no degenerado

(Hip. Aux.). Como vol (B) > 0 existe una coleccion numerable {Cj }jN de m-cubos abiertos tales que
[ X
B Cj y vol (Cj ) < vol (B), pero por el lema anterior
jN j=1

X
vol (B) vol (Cj ) < vol (B)
j,1

lo cual es una contradiccion.

() Sea B un m-bloque degenerado. Es suficiente considerar B del tipo

B = I1 Im1 {a} = B 0 {a}

donde I1 , .. . , Im1 son intervalos

acotados no degenerados. Dado > 0 para j N, consideramos
0
0 0 0
Bj = B a j , a + j , (con > 0 dependiente de a elegir). Claramente {Bj }jN es una coleccion
2 2 [
de m-bloques cerrados tales que B Bj y
jN

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

Corolario. Si X Rm y p Rn entonces X {p} Rm+n tiene (m + n)-medida cero.

[
Demostracion. Sea {Cj }jN coleccion de m-cubos cerrados tales que X Cj , luego X {p}
jN
[
(Cj {p}). Por el teorema anterior, el cubo degenerado Cj {p} tiene (m + n)-medida cero y de aqu,
jN
el resultado se sigue.
Observaciones:

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

[0, 1] = ([0, 1] I) ([0, 1] Q) = X ([0, 1] Q)

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

[0, 1] J1 J2 = [0, 1] (J1 J2 )

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

Prosiguiendo inductivamente, en la etapa k tenemos el conjunto

k
[
[0, 1] J1 Jk = [0, 1] Jj
j=1

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

Por el Lema 1.3.1:

X
X
1 = vol ([0, 1]) vol (Cj ) + vol (Js ) < + (1 ) = 1
j=1 s=1

lo cual es una contradiccion.

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.

Definicion 1.3.2 Sea X Rm y f : X Rn . Decimos que f es localmente Lipschitz

en X si y solo si
para todo x X existe Vx Rm vecindad abierta de x tal que la restriccion f XV : X Vx Rn es
x
Lipschitz en X Vx .

Proposicion 1.3.3 Si X Rm tiene m-medida cero y f : X Rm es localmente Lipschitz en X

entonces f (X) tiene m-medida cero.
 Analisis Real II 20

Demostracion. Primeramente, consideremos el caso en que f es Lipschitz en X. Luego existe K > 0

tal que si x, y X entonces kf (x) f (y)k Kkx yk.
Como X tiene m-medida cero, dado > 0 existe una familia numerable {Ck }kN de m-cubos tales que
[ X

X Ck y vol (Ck ) < . Si `k es la longitud de la arista del m-cubo Ck entonces dados
( mK)m
k=1 k=1
y1 , y2 f (X Ck ), existen x1 , x2 X Ck tales que f (x1 ) = y1 y f (x2 ) = y2 , luego para 1 i m
tenemos
|i (y1 ) i (y2 )| ky1 y2 k = kf (x1 ) f (x2 )k Kkx1 x2 k K m`k

Se sigue que y1 , y2 Dk donde Dk es un m-cubo cuya arista tiene longitud K m`k , es decir f (X Ck )
Dk , k N, luego

! !
[ [ [ [
f (X) = f X Ck = f X Ck = f (X Ck ) Dk
k=1 k=1 k=1 k=1

Ademas !

X
X
X

vol (Dk ) = ( mK)m `m
k = ( mK)
m
vol (Ck ) <
k=1 k=1 k=1

Esto prueba que f (X) tiene m-medida cero.

En el caso que f es localmente Lipschitz, dado x X existe Vx Rm vecindad
[ abierta de X tal que
la restriccion f XVx : X Vx R es Lipschitz en X Vx . Como X
m
Vx , por Lindelof existen
xX

[
x1 , x2 , . . . tales que X Vxk . Por la primera parte f (X Vxk ) tiene m-medida cero, k N y desde
k=1
que !

[
[
f (X) = f X Vx k = f (X Vxk )
k=1 k=1

se sigue que f (X) tiene m-medida cero.

El resultado siguiente establece que la mayora de funciones de Rm a Rm que conocemos conserva la
m-medida cero.
Corolario. Sea U Rm abierto y f C 1 (U, Rm ). Si X U tiene m-medida cero entonces f (X) tiene
m-medida cero.
Demostracion. Es suficiente probar que f es localmente Lipschitz. Sea x X, existe un = x > 0 tal
que B [x] U . Denotemos
Kx = sup{kf 0 (y)k : y B [x]}
Por la desigualdad del valor medio
kf (y) f (x)k Kx ky zk y, z B [x]
es decir, f es localmente Lipschitz.

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

Demostracion. Sea W = U Rnm Rn y defino

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.

1.4 Caracterizacion de las Funciones Riemann Integrables

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

(f, X) = sup{|f (x) f (y)|; x, y X}

y satisfaca las siguientes propiedades:

1. Si MX (f ) = sup{f (x); x X} y mX (f ) = {f (x) : x X} entonces (f, X) = MX (f ) mX (f ).

2. Si Y X entonces (f, Y ) (f, X).
3. f R(B) si y solo si dado > 0, existe P = P = {Bi } P(B) tal que
X
U (f, P ) L(f, P ) = (f ; Bi ) vol (Bi ) <
i

Nos proponemos definir la oscilacion de una funcion en un punto x X

Dado x X, definimos

x : ]0, +[ R
7 x () = (f, X B (x))

Esta funcion satisface las siguientes propiedades:

1. x es acotada. En efecto, dado > 0 se tiene

x () = (f, X B (x)) (f, X) = MX (f ) mX (f )

2. x es una funcion monotona creciente. En efecto dados 1 < 2 entonces

x (1 ) = (f, X B1 (x)) (f, X B2 (x)) = x (2 ).

 Analisis Real II 22

Como 0 es punto de acumulacion a derecha de ]0, +[ , tenemos

lim x () = inf{x (); > 0} = inf{(f, X B (x)); > 0}

0+

Definicion 1.4.1 Sea X Rm y f : X R una funcion acotada. La oscilacion de f en el punto x,

denotada por (f, x), se define como

(f, x) = inf{(f, X B (x)); > 0}

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

(f, x) (f, X B (x)) = (f, B (x)) (f, Y ).

Observacion: La propiedad 3.) no necesariamente se cumple si retiramos la hipotesis x int (Y ). En

efecto, sean X = R2 , Y = ] , 0] R y f : R2 R definida por

0, si x 0
f (x, y) =
1, si x > 0

Como (f, B (0)) = sup{f (x, y); (x, y) B (0)} inf{f (x, y); (x, y) B (0)} = 1, > 0, se cumple

(f, 0) = inf{(f, B (0)); > 0} = 1

 Analisis Real II 23

Por otro lado

(f, Y ) = sup{f (x, y); (x, y) Y } inf{f (x, y); (x, y) Y } = 0
De esta manera (f, Y ) < (f, 0).

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}

Entonces f R(B) si y solo si Df tiene m-medida cero.

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

Como B es compacto se tiene que

!
r
[ [ s
[
B Cj0 Cx00k
j=1 k=1

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)

Por lo tanto f R(B).

() Dado j N, definimos
1
Dj = x B; (f, x)
j
 Analisis Real II 24

[
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

Por otro lado [ [ [

Dj (int (Bi ) Dj ) (Bi Dj ) int (Bi ) Y,
iI i iI
[
en donde Y = Bi tiene m-medida cero.
i

1.5 Integracion Iterada

Sean B1 Rm y B2 Rn dos bloques compactos y f : B1 B2 R una funcion acotada. Dado x B1 ,

definimos
fx : B 2 R
y 7 fx (y) = f (x, y)
Observe que fx es la restriccion de f al (m + n)-bloque degenerado {x} B2 Si f R(B1 B2 ) entonces
fx R(B2 ), x B1 ?

Ejemplo 1.5.1 Consideremos la funcion

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

Observacion: Se puede probar que si f R(B1 B2 ) entonces el conjunto {x B1 ; fx / R(B2 )}

tiene m-medida nula. Este resultado es parte importante del Teorema de Fubini. Un caso especial es el
siguiente:

Teorema 1.5.1 (Integracion Iterada) Sean B1 Rm , B2 Rn bloques compactos y f R(B1 B2 ).

Para cada x B1 denotamos
fx : B 2 R
y 7 fx (y) = f (x, y)
Si definimos las funciones L y U como

L: B1 R Z U: B1 R
Z
x 7 L(x) = fx (y)dy x 7 U (x) = fx (y)dy
B2 B2

entonces L, U R(B1 ) y ademas

Z Z Z ! Z
L(x)dx = f (x, y)dy dx = f
B1 B1 B2 B1 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

Por otro lado, si x Bi1 entonces

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

U (U, P1 ) U (f, P ) (1.3)

De (1.2) y (1.3)

L(f, P ) L(L, P1 ) U (L, P1 ) U (U, P1 ) U (f, P ), P = P1 P2 P(B1 B2 )

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

A = {L(f, P ); P P(B1 B2 )} y B = {L(L, P1 ); P1 P(B1 )} ,

Por (1.2) se cumple la condicion anterior, luego

Z Z Z Z
f= f = sup(A) sup(B) = L(x)dx = L(x)dx
B1 B2 B1 B2 B1 B1

Analogamente. se prueba que Z Z

f U(x)dx,
B1 B2 B1
Z Z Z
y de aqu se sigue que f= L(x)dx = U(x)dx.
B1 B2 B1 B1

Observaciones:

1. Una demostracion analoga muestra que

Z Z Z ! Z Z
f= f (x, y)dx dy = f (x, y)dx dy
B1 B2 B2 B1 B2 B1

2. Si f C(B1 B2 ) entonces fx R(B2 ), x B1 , luego

Z Z Z
fx (y)dy = fx (y) = fx (y)dy
B2 B2 B2

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

1.6 Integrales sobre Conjuntos J-medibles

Hasta ahora solo sabemos integrar sobre m-bloques compactos, en la presente seccion vamos a ver que se
puede integrar sobre conjuntos mas generales.

Definicion 1.6.1 Sea X Rm un conjunto acotado.

1. Decimos que X es Jordan medible o simplemente J-medible en Rm si y solo si existe un m-bloque

compacto B con X int (B) tal que 1X R(B).

2. Sea X un conjunto J-medible en Rm , el volumen m-dimensional de X o simplemente volumen de

X, denotado por vol (X), se define como
Z
vol (X) = 1X
B

en donde B es un m-bloque compacto tal que X int (B).

Observaciones:

1. No es difcil probar que la definicion de conjunto J-medible as como de su volumen no dependen

de la eleccion del m-bloque B con la propiedad X int (B).
2. La parte 2 de la definicion anterior es una generalizacion del Teorema 1.2.7.
3. Denotaremos por J (Rm ) a la coleccion de todos los subconjuntos acotados J-medibles en Rm .

Teorema 1.6.1 Sea X Rm un conjunto acotado. X J (Rm ) si y solo si su frontera X tiene

m-medida cero.
 Analisis Real II 28

Demostracion. Sea B un m-bloque compacto tal que X int (B). Denotemos

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:

1. Como la frontera de un m-bloque acotado es union (finita) de m-bloques degenerados, concluimos

que los m-bloques acotados son J-medibles en Rm .
2. Las bolas abiertas y cerradas son conjuntos J-medibles en Rm .
3. Hasta ahora solo sabamos calcular el volumen de m-bloques acotados, la definicion anterior extiende
el calculo del volumen a conjuntos J-medibles. Los Teoremas 1.2.7 y 1.6.1 establecen que esta es
una buena extension. Mas aun, si denotamos por F a la familia de todos los m-bloques compactos,
hemos extendido vol : F [0, +[ a vol : J (Rm ) [0, +[.

Proposicion 1.6.2 Sea X Rm un conjunto acotado. X J (Rm ) si y solo si X J (Rm ) y

vol (X) = 0.

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

Se sigue que vol (X) = 0.

() Sea B un m-bloque compacto tal que X int (B). Por hipotesis
Z
0 = vol (X) = 1X = inf {U (1X , P ); P P(B)}
B

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

Se sigue que X tiene m-medida cero y por tanto X J (Rm ).

Ejercicio: Sea X J (Rm ), pruebe que vol (X) = 0 int (X) = . Pruebe que el resultado es falso
si retiramos la hipotesis de ser X J-medible.

Teorema 1.6.3 Si X, Y J (Rm ) entonces

1. X Y , X Y , X Y J (Rm ).
2. Si X Y entonces vol (X) vol (Y ).
3. vol (X Y ) = vol (X) + vol (Y ) vol (X Y ).

Demostracion. Por hipotesis X y Y tienen m-medida cero.

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

A continuacion, definiremos la integral de una funcion acotada sobre un conjunto J-medible.

Sea X J (Rm ) y f : X R una funcion acotada, consideremos B un m-bloque compacto tal que
X int (B). Definimos la funcion
1X f = fX : B R
f (x), xX
x 7 fX (x) =
0, xBX

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

Teorema 1.6.4 Sea X J (Rm ), f : X R una funcion acotada y denotemos

Df = {x X; f es discontinua en x}
Se cumple f R(X) si y solo si Df tiene m-medida cero.

Demostracion. En primer lugar afirmo que Df DfX Df X. En efecto: Supongamos que

Df (Rm DfX ) 6= (Hip. Aux.) y tomemos x Df con x / DfX entonces (xk ) X tal que
lim xk = x y lim f (xk ) 6= f (x). Como fX es continua en x entonces lim fX (xk ) = fX (x), luego
k k k
lim f (xk ) = f (x) contradiccion! esto prueba que x DfX . El otro contenido es analogo, y as la
k
afirmacion esta probada. Como X J (Rm ), X tiene m- medida cero, luego f R(X) si y solo si
fX R(B) si y solo si DfX tiene m-medida cero si y solo si Df tiene m-medida cero.
 Analisis Real II 30

Teorema 1.6.5 Dado X J (Rm ), se cumple

Z Z
1. Si f R(X) y c R entonces cf R(X) y cf = c f.
X X
Z Z Z
2. Si f, g R(X) entonces f + g R(X) y (f + g) = f+ g.
X X X
Z Z
3. Si f, g R(X) y f (x) g(x), x X entonces f g. En particular, si m f (x) M ,
X X
x X entonces Z
m vol (X) f M vol (X)
X

4. Si f, g R(X) entonces max{f, g}, min{f, g} R(X).

5. f R(X) si y solo si f + , f R(X).
Z Z Z


6. Si f R(X) entonces |f | R(X) y f |f |. En particular f M (f ) vol (X), donde

X X X
M (f ) = sup{|f (x)|; x X}.
7. Si f R(X) entonces f 2 R(X).
8. Si f, g R(X) entonces f g R(X).
Z
9. Si f R(X) y vol (X) = 0 entonces f = 0.
X

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

Las demas son analogas.

m
Observacion: Si X J (R ), entonces R(X) es una R-algebra.

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

En particular, si int (X Y ) = entonces

Z Z Z
f= f+ f
XY X Y

Demostracion. Se cumple que

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

Corolario 1. Si X, Y J (Rm ), Y X, f R(X) e int (X Y ) = entonces

Z Z
f= f
X Y

Demostracion. Como X = (X Y ) Y , (X Y ) Y = y X Y J (Rm ) entonces

Z Z Z
f= f+ f
X XY Y

Ademas como int (X Y ) = , por el ejercicio vol (X Y ) = 0, luego

Z Z Z Z
f= f+ f= f
X XY Y Y

Corolario 2. Sean X J (Rm ) y f R(X). Si U = int (X) entonces

Z Z
f= f
X U
 Analisis Real II 32

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

f= fX , en donde B es un m-bloque tal que X int (B).

X B

Ejemplo 1.6.1 Sea X = [1, 1] [1, 1] B1 (0) J (R2 ) y considero f : R2 R definida

Z por
2
y +1 2
f (x, y) = xe . Como f C(R ) entonces f C(X) R(X), nos proponemos hallar f , para
X
ello consideremos el 2-bloque B = [2, 2] [2, 2] y la funcion

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

1.7 Cambio de Variables en la Integral Multiple

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

No es difcil probar que si g es inyectiva e I = ]c, d[ , entonces

Z Z
f = (f g) |g 0 |.
g(I) I

La generalizacion de este resultado a integrales multiples es la siguiente:

Teorema 1.7.1 (Cambio de coordenadas) Sea U Rm un abierto acotado y g C 1 (U ; Rm ) inyectiva

tal que g(U ) sea acotado y det[Jg(x)] 6= 0, x U . Si f R(g(U )) entonces
Z Z
f= (f g) | det Jg|.
g(U ) U

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