Captulo 5

Integraci on
1. La integral de Riemann
Empecemos por recordar la integral de Riemann de una funci on acotada
f : [a, b] R. Una partici on P de [a, b] es un subconjunto nito P [a, b]
tal que a, b P. Escribimos
P = {x
0
= a < x
1
< . . . < x
n
= b}.
Denimos entonces la suma inferior de f con respecto a P como
L(f, P) =
n

i=1
m
i
(f)(x
i
x
i1
),
y la suma superior de f con respecto a P como
U(f, P) =
n

i=1
M
i
(f)(x
i
x
i1
),
donde
m
i
(f) = inf{f(x) : x [x
i1
, x
i
]}
y
M
i
(f) = sup{f(x) : x [x
i1
, x
i
]}.
Decimos entonces que f es Riemann-integrable si
L(f) = sup{L(f, P) : P partici on de [a, b]}
y
U(f) = inf{U(f, P) : P partici on de [a, b]}
son iguales, y escribimos
_
b
a
f = L(f) = U(f).
61
62 5. Integraci on
La denici on de la integral de Riemann de una funci on sobre un rect angu-
lo est a motivada a partir de la denici on anterior. Observamos que L(f, P)
y U(f, P) son sumas de la longitud de cada intervalo multiplicado por m
i
(f)
y M
i
(f), respectivamente. As que lo primero que tenemos que hacer es ex-
tender nuestra denici on de longitud de un intervalo en R a volumen de un
rect angulo en R
n
.
Denici on 5.1. Sea R = [a
1
, b
1
] . . . [a
n
, b
n
] R
n
un rect angulo cerrado.
El volumen de R, denotado por v(R), se dene como
v(R) = (b
1
a
1
)(b
2
a
2
) . . . (b
n
a
n
).
Ahora denimos una partici on de un rect angulo cerrado R. Para cada
i, tomamos una partici on P
i
de [a
i
, b
i
], y sea P el conjunto de todos los
rect angulos de la forma
S = [y
1
, z
1
] [y
2
, z
2
] . . . [y
n
, z
n
],
donde y
i
, z
i
P
i
son consecutivos. A cada S P lo llamamos subrect angulo
de R. P est a formada entonces por N = N
1
N
2
...N
n
subrect angulos, y cada
uno de los lados de los subrect agulos de R en P corresponde a alg un intervalo
en [a
i
, b
i
], inducido por P
i
. Denotaremos P como
P = (P
1
, P
2
, ...P
n
),
donde cada P
i
es partici on de [a
i
, b
i
].
Denici on 5.2. Sea f : R R acotada. La suma inferior de f con respecto
a P es est a dada por
L(f, P) =

SP
m
S
(f)v(S),
donde
m
S
(f) = inf{f(x) : x S}
y v(S) es el volumen de S.
La suma superior de f con respecto a P est a dada por
U(f, P) =

SP
M
S
(f)v(S),
donde
M
S
(f) = sup{f(x) : x S}.
Es claro que, para cada partici on P de R, L(f, P) U(f, P). Sin em-
bargo, no es obvio que, para cualquiera dos particiones P y Q,
L(f, P) U(f, Q).
Demostraremos esto a continuaci on, y para tal efecto deniremos el concepto
de renamiento.
1. La integral de Riemann 63
Decimos que Q = (Q
1
, Q
2
, . . . , Q
n
) es un renamiento de P si P
i

Q
i
, para cada i. Es decir, cada rect angulo en Q es subrect angulo de alg un
rect angulo en P.
Proposici on 5.3. Si Q es un renamiento de P,
L(f, P) L(f, Q) y U(f, Q) U(f, P).
Demostraci on. Si T Q, existe S P tal que T S, y
m
T
(f) m
S
(f), M
T
(f) M
S
(f).
Adem as, cada S P est a subdividido en rect angulos T
1
, T
2
, ..., T
k
Q, y
v(S) = v(T
1
) + v(T
2
) + ... + v(T
k
).
Entonces
m
S
(f)v(S) = m
S
(f)
k

j=1
v(T
j
) =
k

j=1
m
S
(f)v(T
j
)
k

j=1
m
T
j
(f)v(T
j
).
As que L(f, P) L(f, Q).
De la misma forma,
M
S
(f)v(S) =
k

j=1
M
S
(f)v(T
j
)
k

j=1
M
T
j
(f)v(T
j
),
as que U(f, P) U(f, Q).
Nota que L(f, P) L(f, Q) U(f, Q) U(f, P).
Corolario 5.4. Si P y Q son particiones de R,
L(f, P) U(f, Q).
Demostraci on. Sea R la partici on
R = (P
1
Q
1
, P
2
Q
2
, . . . , P
n
Q
n
).
Entonces R es un renamiento de P y de Q y, por la proposici on anterior,
L(f, P) L(f, R) U(f, R) U(f, Q).

Denici on 5.5. Sea R R

n
un rect angulo cerrado y f : R R acotada.
Denimos la suma inferior de f como
L(f) = sup{L(f, P) : P partici on de R},
y la suma superior de f como
U(f) = inf{U(f, P) : P partici on de R}.
64 5. Integraci on
Por el corolario 5.4, L(f) y U(f) existen para cualquier funci on acotada
f : R R, y adem as L(f) U(f).
Decimos que la funci on acotada f : R R acotada es Riemann-
integrable si L(f) = U(f). Al valor com un de L(f) y U(f) se la llama
la integral de Riemann de f y se denota por
_
R
f.
Ejemplo 5.6 (Funciones constantes). Sea f : R R dada por f(x) = c
para alg un c R. Si P es una partici on de R y S P,
m
S
(f) = M
S
(f) = c,
as que L(f, P) = U(f, P) = cv(R). Claramente L(f) = U(f) y entonces
_
R
f = cv(R).
Ejemplo 5.7. Sea f : [0, 1] [0, 1] R dada por
f(x, y) =
_
1 x Q
0 x / Q.
Si P es partici on de R y S P, entonces existen puntos (r, y) y (, z) en S
tales que r Q y / Q. Entonces m
S
(f) = 0 y M
S
(f) para todo S P, lo
cual implica que L(f, P) = 0 y U(f, P) = v([0, 1] [0, 1]) = 1. Entonces
L(f) = 0 < U(f) = 1,
por lo que f no es Riemann-integrable.
Teorema 5.8. Sea f : R R acotada. Entonces f es Riemann-integrable
si, y s olo si, para cada > 0 existe una partic on P tal que
U(f, P) L(f, P) < .
Demostraci on. Si f es Riemann-integrable, entonces L(f) =
_
R
f = U(f).
Sea > 0. Entonces existen particiones P y Q tales que
L(f, P) >
_
R
f

2
y U(f, Q) <
_
R
f +

2
.
Si
R = (P
1
Q
1
, P
2
Q
2
, . . . , P
n
Q
n
),
entonces
L(f, P) L(f, R) U(f, R) U(f, Q),
as que
U(f, R) L(f, R) U(f, Q) L(f, P) < .
Para la inversa, sea > 0 dado y tomamos una partici on P tal que
U(f, P) L(f, P) < .
1. La integral de Riemann 65
Entonces, como L(f) L(f, P) y U(f) U(f, P),
U(f) L(f) U(f, P) L(f, P) < .
Como es arbitrario, L(f) = U(f), y entonces f es Riemann-integrable.
El criterio establecido por el teorema 5.8 nos ser a de mucha utilidad
para clasicar las funciones Riemann-integrables en un rect angulo, lo cual
discutiremos con detalle en la siguiente secci on.
Antes, establecemos la siguiente proposici on, que resume las propiedades
b asicas de la integral de Riemann.
Proposici on 5.9. Sean f, g : R R Riemann-integrables. Entonces
1. f + g es Riemann-integrable y
_
R
(f + g) =
_
R
f +
_
R
g;
2. Si f g,
_
R
f
_
R
g;
y
3. |f| es Riemann-integrable y

_
R
f

_
R
|f|.
Demostraci on. 1. Sea P una partici on de R, y S P. Entonces
m
S
(f) + m
S
(g) m
S
(f + g),
M
S
(f) + M
S
(g) M
S
(f + g).
Esto implica que
L(f, P) + L(g, P) L(f + g, P) y U(f, P) + U(g, P) U(f + g, P).
Dado > 0, el teorema 5.8 implica que existe una partici on P tal
que
U(f, P) L(f, P) < /2 y U(g, P) L(g, P) < /2.
Entonces
U(f + g, P) L(f + g, P) U(f, P) + U(f, P) (L(f, P) + L(f, P))
= U(f, P) L(f, P) + U(g, P) L(g, P)
<

2
+

2
= .
Entonces f + g es Riemann-integrable.
Ahora bien, si P es un partici on de R,
_
R
(f + g) = L(f + g) = L(f + g, P) L(f, P) + L(g, P),
66 5. Integraci on
as que
_
R
(f + g) L(f) + L(g) =
_
R
f +
_
R
g.
De manera similar
_
R
(f + g)
_
R
f +
_
R
g,
as que
_
R
(f + g) =
_
R
f +
_
R
g.
2. Si P es un partici on y S P, claramente
m
S
(f) m
S
(g),
por lo que entonces
L(f, P) L(g, P) L(g) =
_
R
g.
Como P es cualquier partici on,
_
R
f = L(f)
_
R
g.
3. Sea P una partici on de R y S P. Si x, y S, la desigualdad del
tri angulo inversa implica que

|f(x)| |f(y)|

|f(x) f(y)|.
Entonces
M
S
(|f|) m
S
(|f|) M
S
(f) m
S
(f),
y esto implica que
U(|f|, P) L(|f|, P) U(f, P) L(f, P).
Entonces, dado , si P es tal que U(f, P) L(f, P) < ,
U(|f|, P) L(|f|, P) < ,
y |f| es Riemann-integrable.
La desigualdad se sigue de la parte 2 y del hecho que
|f| f |f|.

2. Funciones Riemann-integrables 67
2. Funciones Riemann-integrables
En esta secci on clasicaremos las funciones Riemann-integrables en fun-
ci on de sus puntos de continuidad. Para esto necesitaremos de dos conceptos
fundamentales: el de medida cero y el de oscilaci on, este ultimo introducido
en el segundo captulo.
Denici on 5.10. Sea A R
n
. Decimos que A es de medida cero si para
todo > 0 existen rect angulos R
1
, R
2
, . . . tales que
A
_
i
R
i
y

i
v(R
i
) < .
Ejemplo 5.11. es de medida cero.
Ejemplo 5.12. Un conjunto nito {x
1
, ...x
k
} es de medida cero. Dado > 0,
para cada x
i
tomamos un rect angulo R
i
, x
i
R
i
, tal que v(R
i
) < /k.
Entonces
{x
1
, ...x
k
}
k
_
i=1
R
i
y
k

i=1
v(R
i
) <
k

i=1

k
= .
Ejemplo 5.13. Q es de medida cero. Como Q es contable, Q = {r
k
}

k=1
.
Dado > 0, sea
I
k
=
_
r
k


2
k+2
, r
k
+

2
k+2
_
.
Entonces v(I
i
) = /2
k+1
, Q

k
I
k
y

k=1
v(I
k
) =

k=1

2
k+1
=

2
< .
Es claro que el argumento del ejemplo anterior puede ser aplicado a
cualquier conjunto contable, por lo que entonces cualquier conjunto contable
es de medida cero. De hecho, podemos demostrar algo m as fuerte.
Proposici on 5.14. Sean A
1
, A
2
, ... R
n
conjuntos de medida cero. Enton-
ces

i=1
A
i
es de medida cero.
Demostraci on. Sea > 0. Para cada A
i
tomamos {R
ij
}

j=1
tal que
A
i

_
j=1
R
ij
y

j=1
v(R
ij
) <

2
i+1
.
68 5. Integraci on
Tenemos entonces la siguiente sucesi on de contenciones
A
1
R
11
R
12
R
13
. . .
A
2
R
21
R
22
R
23
. . .
A
3
R
31
R
32
R
33
. . .
.
.
.
Reordenamos los {R
ij
} en la forma
R
11
, R
21
, R
12
, R
31
, R
22
, R
13
, . . . ,
y obtenemos una sucesi on (S
k
) de rect angulos tal que
_
i
A
i

_
k
S
k
y

k
v(S
k
) =

i,j
v(R
ij
) =

2
i+1
=

2
< .
La doble suma en i, j es independientes del orden de los sumandos porque,
como todos los v(R
ij
) 0, converge absolutamente.
Es claro que la proposici on 5.14 implica que todos los conjuntos contables
son de medida cero. A continuaci on mostramos un ejemplo de un conjunto
incontable de medida cero.
Ejemplo 5.15 (El conjunto de Cantor). Consideramos la sucesi on de con-
juntos
C
0
= [0, 1]
C
1
= [0, 1/3] [2/3, 1]
C
2
= [0, 1/9] [2/9, 1/3] [2/3, 7/9] [8/9, 1]
.
.
.
C
n
= [0, 1/3
n
] . . . [1 1/3
n
, 1]
.
.
.
Nota que cada C
n+1
es el conjunto que resulta de remover el tercio cen-
tralde cada uno de los intervalos de C
n
. El conjunto de Cantor es el conjunto
dado por
C =

k=0
C
k
.
Aunque no lo demostraremos aqu, el conjunto es incontable. Ahora ob-
servaremos que es de medida cero.
2. Funciones Riemann-integrables 69
Cada C
k
es la uni on de 2
k
intervalos de longitud 1/3
k
cada uno. Si a
estos los llamamos I
1
, I
2
, . . . , I
2
k , entonces
C C
k
=
2
k
_
i=1
I
i
y
2
k

i=1
v(I
i
) =
_
2
3
_
k
.
Dado > 0, podemos tomar k tal que (2/3)
k
< . Entonces la ecuaci on
anterior implica que C es de medida cero.
Observamos que fue suciente utilizar, para vericar la denici on de
medida cero para C, s olo un n umero nito de intervalos. Dichos conjuntos
tienen un nombre propio.
Denici on 5.16. Decimos que el conjunto A R
n
es de contenido cero si
para todo > 0 existen rect angulos R
1
, R
2
, . . . , R
N
tales que
A
N
_
i=1
R
i
y
N

i=1
v(R
i
) < .
Es decir, los conjuntos de contenido cero son aquellos de medida cero en
los cuales es suciente un n umero nito de rect angulos de la denici on de
medida cero.
Es claro que, adem as de C, los conjuntos nitos son de contenido cero.
De hecho, tenemos la siguiente proposicion.
Proposici on 5.17. Si A es de medida cero y es compacto, entonces es de
contenido cero.
Para demostrar la proposici on 5.17 haremos uso del siguiente lema, el
cual nos permite vericar la denici on de medida cero usando s olo rect angu-
los abiertos.
Lema 5.18. Si R
1
, R
2
, . . . son rect angulos,
A
_
i
R
i
y

i
v(R
i
) < ,
entonces existen rect angulos abiertos S
i
tales que
A
_
i
S
i
y

i
v(S
i
) < .
Demostraci on. Sea
=
1
2
_

i
v(R
i
)
_
.
Para cada i, sea S
i
el rect angulo abierto que resulta de ensancharR
i
de
tal forma que
R
i
S
i
y v(S
i
) < v(R
i
) +

2
i
.
70 5. Integraci on
Entonces A

i
S
i
y

i
v(S
i
)

i
v(R
i
) + < .

Demostraci on de la Proposici on 5.17. Dado > 0, existe una sucesi on

de rect angulos R
i
tales que A

i
R
i
y

i
v(R
i
) < . El lema 5.18 implica
que podemos suponer que estos rect angulos son abiertos. Entonces forman
una cubierta para A. Como A es compacto, existen R
i
1
, . . . , R
i
N
tales que
A
N
_
j=1
R
i
j
Como
N

j=1
v(R
ij
)

i
v(R
i
) < ,
esto implica que A es de contenido cero.
El resultado anterior es util para mostrar que ciertos conjuntos no son
de medida cero.
Proposici on 5.19. El intervalo [a, b] R, a < b, no es de contenido cero.
Demostraci on. Sean I
1
, . . . , I
N
intervalos cerrados tales que
[a, b] I
1
. . . I
N
.
Sea {t
0
< t
1
< . . . < t
M
} el conjunto de todos los extremos de los intervalos
I
j
. Entonces t
0
a, t
M
b, y para cada i existe j tal que [t
i1
, t
i
] I
j
.
Adem as, cada I
j
es de la forma [t
i
, t
k
] por lo que v(I
j
) = t
k
t
i
t
i+i
t
i
.
Entonces
b a t
M
t
0
=
M

i=1
(t
i
t
i1
)
N

j=1
v(I
j
).
Por lo tanto, no es posible encontrar intervalos I
1
, . . . , I
N
tales que
N

j=1
v(I
j
) < b a.

Corolario 5.20. [a, b] no es de medida cero.

La proposici on 5.19 tambien implica que un rect angulo no degenerado
en R
n
no es de contenido cero, lo cual hemos dejado como ejercicio (ejercicio
5).
2. Funciones Riemann-integrables 71
Corolario 5.21. A = Q

[a, b] no es de contenido cero.

Demostraci on. Sean I
1
, . . . , I
N
intervalos cerrados tales que A I
1
. . .
I
N
. Entonces

A I
1
. . . I
N
, y

A = [a, b]. Entonces

i
v(I
i
) b a.
Ejemplo 5.22. Como el conjunto A del corolario tiene medida cero, existen
(a
i
, b
i
), i = 1, 2, . . . tales que A

i
(a
i
, b
i
) y

(b
i
a
i
) es tan peque na
como queramos. Sea U =

i
(a
i
, b
i
). U es abierto y

U = [0, 1]. Sin embargo
U = [0, 1] \ U. Si

i
(b
i
a
i
) < 1, entonces U no tiene medida cero.
Para ver esto, sea = 1

i
(b
i
a
i
). Entonces existen intervalos
I
1
, I
2
, . . . tales que U

j
I
j
y

j
v(I
j
) < .
Entonces [0, 1]

i
(a
i
, b
i
)

j
I
j
. Como [0, 1] es compacto, existen
i
1
, . . . , i
N
, j
1
, . . . , j
M
tales que
[0, 1] (a
i
1
, b
i
1
) . . . (a
i
N
, b
i
N
) I
j
1
. . . I
j
M
y
N

k=1
(b
i
k
a
i
k
) +
M

l=1
v(
j
l
) < 1,
lo cual contradice la demostraci on de la proposici on anterior.
Ahora procedemos a recordar la oscilaci on de una funci on en un punto.
Sea f : A R acotada y x
0
A. Dado > 0, denimos
M(f, x
0
, ) = sup{f(x) : x A, |x x
0
| < }
m(f, x
0
, ) = inf{f(x) : x A, |x x
0
| < }.
Los n umeros M(f, x
0
, ) y m(f, x
0
, ) est an bien denidos porque A es
acotada y, adem as, si
(5.1) M(f, x
0
, ) M(f, x
0
, ) y m(f, x
0
, ) m(f, x
0
, ).
La oscilaci on de f en x
0
est a dada por
O(f, x
0
) = lm
0
_
M(f, x
0
, ) m(f, x
0
, )
_
.
Dicho lmite existe porque la diferencia
M(f, x
0
, ) m(f, x
0
, )
es decreciente en , por (5.1). As que el lmite est a dado simplemente por
el nmo de todas las diferencias para > 0.
72 5. Integraci on
Recordemos que, por la proposici on 2.14, la oscilaci on de f en x
0
es igual
a 0 si, y s olo si, f es continua en x
0
. A continuaci on demostraremos otras
propiedades de la oscilaci on.
Proposici on 5.23. Sea A R
n
, f : A R acotada, > 0 y
U

= {x A : O(f, x) < }.
Entonces existe un abierto U R
n
tal que U

= A U.
Demostraci on. Sea x U

. Entonces o(f, x) < , por lo que existe > 0

tal que
M(f, x, ) m(f, x, ) < .
Demostraremos que B
0

(x) A U

.
Sea y B
0

(x) A, y sea r = |x y|. Si |y z| < r,

|x z| |x y| +|y z| < .
Esto implica que
f(z) M(f, x, ) y f(z) m(f, x, )
para todo z tal que |y z| < r. As que
M(f, y, r) m(f, y, r) M(f, x, ) m(f, x, ) < ,
as que O(f, y) < . Por lo tanto y U

.
Podemos tomar entonces
U =
_
xU
B
0

(x).

Corolario 5.24. Si A es cerrado y f : A R es acotada, el conjunto

{x A : O(f, x) }
es cerrado para todo > 0.
Corolario 5.25. Sea R un rect angulo cerrado, f : R R acotada, y sea
F = {x R : f no es continua en x}.
Si F tiene medida cero, entonces, para cada > 0, el conjunto
F

= {x R : O(f, x) }
es de contenido cero.
Demostraci on. Para todo > 0, F

F. As que F

es de medida cero y
es cerrado por el corolario anterior. Como F

R es acotado, por el teorema

de Heine- Borel es compacto. Por lo tanto F

es de contenido cero, por la

proposici on 5.17.
2. Funciones Riemann-integrables 73
Estamos listos para demostrar nuestro teorema de clasicaci on de funcio-
nes Riemann-integrables. Empezamos por el siguiente lema, el cual establece
la relaci on entre oscilaci on y sumas respecto a una partici on.
Lema 5.26. Sea R un rect angulo cerrado y f : R R acotada tal que
O(f, x) < para todo x R. Entonces existe una partici on P de R tal que
U(f, P) L(f, P) < v(R).
Demostraci on. Para cada x R tomamos un rect angulo abierto R
x
tal
que x R
x
y
M
Rx
(f) m
Rx
(f) < .
Tal rect angulo existe porque O(f, x) < . Entonces {R
x
}
xR
es una cubierta
para R y, como R es compacto, existen R
x
1
, . . . , R
x
k
tales que
R R
x
1
. . . R
x
k
.
Sea P la partici on inducida por todos los limites de los R
x
i
. Esta satisface
que si S P, entonces S

R
x
i
para alg un i. Entonces
M
S
(f) m
S
(f) M
Rx
i
(f) m
Rx
i
(f) < .
Entonces
U(f, P) L(f, P) <

SP
v(S) = v(R).

Como resultado inmediato de este lema, por ejemplo, tenemos el hecho

de que las funciones continuas son Riemann-integrables.
Corolario 5.27. Si f es cotinua entonces es Riemann-integrable.
La generalizaci on de este corolario, que a su vez clasica las funciones
Riemann-integrables, est a dada por el siguiente teorema.
Teorema 5.28. Sea f : R R acotada y
F = {x : f no es continua en x}.
Entonces f es Riemann-integrable si, y s olo si, F es de medida cero.
Demostraci on. Para > 0, denimos F

= {x : o(f, x) }. Nota que

F =

_
k=1
F
1/k
.
Suponemos primero que f es Riemann-integrable, y demostraremos que cada
F
1/k
es de medida cero. Sea > 0 y P una partici on tal que
U(f, P) L(f, P) <

k
.
74 5. Integraci on
Sea
= {S P : S F
1/k
= }.
Entonces
F
1/k

_
S
S
y
M
S
(f) m
S
(f)
1
k
para todo S . Entonces

S
1
k
v(S)

S
_
M
S
(f) m
S
(f)
_
v(S) U(f, P) L(f, P) <

k
.
Por lo tanto

S
v(S) < . Como es arbitrario, F
1/k
es de medida cero.
Supongamos ahora que F es de contenido cero. Sea > 0 y
=

2v(R)
.
Por la proposici on 5.17, F

es de contenido cero. Sea M > 0 tal que |f(x)|
M para todo x R, y sean R
1
, . . . , R
k
rect angulos tales que
F

R
1
... R
k
y
k

i=1
v(R
i
) <

4M
.
Sea P
1
una partici on tal que, para todo S P
1
, S R
i
para alg un i
o S R
i
= para todo i. Entonces P
1
=
F

B
, donde

F
= {S P
1
: S R
i
para alg un i }
y

B
= {S P
1
: S R
i
= para todo i }.
Por el lema 5.26, existe un renamiento P de P
1
tal que, para cada S
B
,

TP
TS
_
M
T
(f) m
T
(f)
_
v(T) < v(S) .
Sean

F
= {S P : S R
i
para alg un i }
y

B
= {S P : S T para alg un T
B
}.
2. Funciones Riemann-integrables 75
Entonces
U(f, P) L(f, P) =

SP
_
M
S
(f) m
S
(f)
_
v(S)
=

S
B

_
M
S
(f) m
S
(f)
_
v(S) +

S
F

_
M
S
(f) m
S
(f)
_
v(S)

S
B

TS
_
M
T
(f) m
T
(f)
_
v(T) + 2M

S
F
v(S)
<

S
B
v(S) + 2M

4M
v(R) +

2
= .
Por lo tanto, f es Riemann-integrable.
Como primer consecuencia de este teorema, tenemos el siguiente corola-
rio, que establece que la multiplicaci on de funciones Riemann-integrables es
Riemann-integrable.
Corolario 5.29. Sean f, g : R R Riemann-Integrables. Entonces fg es
Riemann-integrable.
Demostraci on. Sean
F = {x R : f es discontinua en x}, G = {x R : g es discontinua en x}.
Como el producto de funciones continuas es continua, si
H = {x R : fg es discontinua en x},
entonces H F G. Si f y g son Riemann-integrables, F y G son de medida
cero. Por lo tanto H es de medida cero, y fg es Riemann-integrable.
Sea C R
n
un conjunto acotado. Vamos a denir
_
C
f, la integral sobre
Cde f. Suponemos C R, donde R es un rect angulo cerrado, y f : R R
es Riemann-integrable. Deniremos entonces
(5.2)
_
C
f =
_
R
f
C
,
donde
C
es la funci on caracterstica sobre C,

C
(x) =
_
1 x C
0 x / C.
Sin embargo, para que la ecuaci on (5.2) tenga sentido, es necesario asegurar
que la funci on f
C
es Riemann-integrable. Como f es Riemann-integrable,
por el corolario (5.29) es suciente con garantizar que
C
sea Riemann-
integrable. La siguiente proposici on estable la Riemann-integrabilidad de

C
en funci on de la frontera de C.
76 5. Integraci on
Proposici on 5.30.
C
es Riemann-integrable si y s olo si C es de medida
cero.
Demostraci on. Vamos que demostrar que
C
es continua s olo en R\ C.
Dado x R \ C, x C
0
o x se encuentra en el exterior de C.
Si x C
0
, entonces existe un rect angulo abierto U tal que x U y
U C. Pero entonces
C
1 en U, por lo que es continua en x. De manera
similar, si x est a en el exterior de C, existe un rect angulo abierto V tal que
x V y V C = . Pero entonces
C
0 en V , as que es continua en x.
Si x C, para todo rect angulo abierto W tal que x W, w C = y
w \ C = . As que
C
toma el valor de 0 y de 1 en W, por lo que entonces

C
es discontinua en C.
Entonces C es el conjunto de discontinuidades de
C
, y la proposici on
se sigue por el teorema 5.28.
Ejemplo 5.31 (Funci on de Dirichlest). La funci on de Dirichlet es igual a

Q[0,1]
. Como (Q [0, 1]) = [0, 1] no tiene medida cero, entonces no es
Riemann-integrable.
Denici on 5.32. Si C R
n
es un conjunto acotado tal que C es de
medida cero, entonces decimos que es Jordan-medible.
Ejemplo 5.33. Sea U el conjunto abierto en [0, 1] formado por la uni on de
intervalos (a
i
, b
i
) tales que cada
Q [0, 1]
_
i
(a
i
, b
i
) y

i=1
(b
i
a
i
) < 1.
Entonces U = [0, 1] \ U y no tiene medida cero, como habamos observado
antes. As que U es un conjunto abierto que no es Jordan-medible.
Denici on 5.34. Si f : R R es Riemann-integrable y C R es Jordan-
medible, denimos la integral de f sobre C como
_
C
f =
_
R
f
C
.
Si C R es Jordan-medible,
_
C
1 es llamada la medida de Jordan de C.
En R, R
2
y R
3
, la medida de Jordan es comunmente llamada longitud,
area y volumen, respectivamente.
Observa que si C = R, entonces la medida de Jordan de R es simple-
mente su volumen, v(R).
Si C, D son Jordan-medibles y disjuntos, entonces
_
CD
1 =
_
C
1 +
_
D
1.
3. El teorema de Fubini 77
3. El teorema de Fubini
En esta ultima secci on del captulo, estudiaremos el problema de evaluar
una integral. Es decir, dada una funci on f : R R, c omo calculamos el
valor explcito de
_
R
f ?
En c alculo de una sola variable, el algoritmo m as poderoso es el otorgado
por el teorema fundamental del c alculo.
Teorema 5.35 (Fundamental del c alculo). Sea f : [a, b] R diferenciable
tal que su derivada f

es Riemann-integrable. Entonces
_
[a,b]
f

= f(b) f(a).
El teorema 5.35 reduce entonces el problema de calcular
_
f a encontrar
una antiderivada de f, es decir, una funci on F tal que F

= f. Aunque no
siempre es posible encontrar F de forma explcita, s nos permite resolver
un buen n umero de problema que aparecen en distintos contextos.
En esta secci on demostraremos el teorema conocido como el teorema de
Fubini, que establece el concepto de integrales iteradas. Esto nos permite
reducir el problema de calcular integrales sobre rect angulos a calcular inte-
grales sobre intervalos, y entonces usar el teorema fundamental del c alculo.
Teorema 5.36 (Fubini). Sean R R
n
y S R
m
rect angulos cerrados,y
f : R S R Riemann-integrable. Para cada x R, sea g
x
: S R dada
por g
x
(y) = f(x, y), e I, S : R R como
I(x) = L(g
x
) y S(x) = U(g
x
),
las sumas inferior y superior de g
x
, respectivamente. Entonces I y S son
Riemann-integrables y
_
R
I =
_
R
S =
_
RS
f
Si las funciones g
x
son Riemann-inmtegrables para cada x, entonces
I(x) = S(x) =
_
S
g
x
,
que escribimos simplemente como
_
S
f(x, y)dy.
En este caso podemos escribir
_
RS
f(x, y)dxdy =
_
R
_
_
S
f(x, y)dy
_
dx.
78 5. Integraci on
A estas integrales se le llama integrales iteradas, o integrales m ultiples.
Desde luego, este resultado es simetrico en x y y: Si h
y
(x) = f(x, y) es
Riemann-integrable para cada y, entonces
_
RS
f(x, y)dxdy =
_
S
_
_
R
f(x, y)dx
_
dy.
Demostraci on del teorema de Fubini. Si P es una partici on de RS,
induce particiones P
R
y P
S
de R y S, respectivamente, y de manera inversa,
ya que cada T P es de la forma T
R
T
S
, donde T
R
P
R
y T
S
P
S
.
Para x T
R
,
m
T
(f) = m
T
R
T
S
(f) m
T
S
(g
x
),
M
T
(f) = M
T
R
T
S
(f) M
T
S
(g
x
).
Luego
L(f, P) =

TP
m
T
(f)v(T) =

T
R
P
R
T
S
P
S
m
T
R
T
S
(f)v(T
R
T
S
)

T
R
P
R
_

T
S
P
S
m
T
S
(g
x
T
R
)v(T
S
)
_
v(T
R
),
para cualquier selecci on de puntos x
T
R
T
R
. Ahora bien,

T
S
P
S
m
T
S
(g
x
T
R
)v(T
S
) = L(g
x
T
R
, P
S
),
por lo que entonces
L(f, P)

T
R
P
R
L(g
x
T
R
, P
S
)v(T
R
)

T
R
P
R
L(g
x
T
R
)v(T
R
)
=

T
R
P
R
I(x
T
R
)v(T
R
),
de nuevo, para cualquier selecci on de puntos x
T
R
T
R
. Por lo tanto,
L(f, P) L(I, P
R
).
De manera similar podemos demostrar que
U(f, P) U(I, P
R
).
Por lo tanto,
L(f, P) L(I, P
R
) U(I, P
R
) U(S, P
R
) U(f, P),
y
L(f, P) L(I, P
R
) L(S, P
R
) U(S, P
R
) U(f, P),
porque, claramente, I(x) S(x) para cada x R.
3. El teorema de Fubini 79
Como f es Riemann-integrable, para cada > 0 podemos escoger P tal
que
U(f, P) L(f, P) < .
Entonces, para > 0 existe P
R
tal que
U(I, P
R
) L(I, P
R
) <
y
U(S, P
R
) L(S, P
R
) < ,
lo cual implica que I y S son Riemann-integrables. Adem as, las desigualda-
des anteriores implican que
_
RS
f =
_
R
I =
_
R
S.

En general, las funciones g

x
no son Riemann-integrables, por lo que es
necesario utilizar el teorema con el uso explcito de I y S.
Ejemplo 5.37. Conseideramos la funci on f : [0, 1] [0, 1] R denida por
f(x, y) =
_
_
_
0 si x o y es irracional
1
q
si x y y son racionales y x =
p
q
.
Ahora sea x [0, 1]. Si x Q, x =
p
q
para algunos p, q Z, y
g
x
(y) =
_
0 y es irracional
1
q
y es racional
es la funci on de Dirichlet multiplicada por 1/q. Entonces g
x
no es Riemann-
integrable. De hecho I(x) = 0 y S(x) = 1/q.
Si x / Q, g
x
(y) = 0 para todo y. Entonces tenemos
I(x) = 0, S(x) =
_
0 x / Q
1
q
x =
p
q
Ahora S es la funci on de Dirichlet modicada, es Riemann-integrable y
_
[0,1]
S = 0. Entonces
_
[0,1][0,1]
f =
_
[0,1]
I =
_
[0,1]
S = 0.
El teorema de Fubini es tambien util para calcular integrales sobre con-
juntos Jordan-medibles.
80 5. Integraci on
Ejemplo 5.38. Sea B la bola de radio 1 alrededor de 0 en R
2
. Entonces
B [1, 1] [1, 1], B es Jordan-medible (no es muy difcil mostrar que su
frontera, la esfera de radio 1, es de medida cero) y
_
B
f =
_
[1,1][1,1]
f
B
.
Por el teorema de Fubini, esta integral es igual a
_
1
1
_
_
1
1
(f
B
)(x, y)dy
_
dx =
_
1
1
_
_

1x
2

1x
2
f(x, y)dy
_
dx,
porque (x, y) B si, y s olo si, |y|

1 x
2
.
Ejercicios
1. Sea f : R R Riemann-integrable y c R. Muestra que cf es Riemann-
integrable y
_
R
cf = c
_
R
f.
2. Sean f, g : R R Riemann-integrables tales que f g. Muestra que
_
R
f
_
R
g.
3. Sea f : R R Riemann-integrable y g : R R tal que g(x) = f(x)
excepto a lo m as un n umero nito de x. Muestra que g es Riemann-
integrable y
_
R
g =
_
R
f.
4. Sea f : R R y P una partici on de R. Muestra que f es Riemann-
integrable si y s olo si f|
S
es Riemann-integrable para cada S P, y en
tal caso
_
R
f =

SP
_
S
f|
S
.
5. Muestra que [a
1
, b
1
] [a
n
, b
n
] no es de contenido 0 si a
i
< b
i
para
todo i.
6. a) Muestra que un conjunto no acotado no puede ser de contenido 0.
b) Da un ejemplo de un conjunto cerrado de medida 0 que no sea de
contenido 0.
7. a) Si C es de contenido 0, muestra que C es de contenido 0.
b) Sin embargo, da un ejemplo de un conjunto de medida 0 cuya fron-
tera no sea de medida 0.
8. Sea f : [a, b] R creciente. Si x
1
, . . . , x
k
[a, b] son distintos, muestra
que
k

i=1
O(f, x
i
) < f(b) f(a).
Ejercicios 81
9. Sea f : [a, b] R creciente. Muestra que el conjunto
{x [a, b] : f es discontinua en x}
es de medida 0. Concluye entonces que toda funci on creciente en [a, b]
es Riemann-integrable.
10. Sea f : R R Riemann-integrable, f 0 y tal que
_
R
f = 0. Muestra
que {x R : f(x) = 0} es de medida 0.
11. Muestra que si C es de contenido 0, entonces es Jordan-medible.
12. Muestra que si C es Jordan-medible y de medida 0, entonces
_
C
1 = 0.
13. Sea A Jordan-medible y > 0. Muestra que existe un conjunto compacto
Jordan-medible C A tal que
_
A\C
1 < .
14. Sean R y S rect angulos y C R S de contenido cero. Sea A R
el conjunto de todos los x R tal que {y S : (x, y) C} no es de
contenido cero. Muestra que A es de medida cero.
15. Sea C [0, 1] [0, 1] la uni on
_
p/qQ[0,1]
{p/q} [0, 1/q],
donde se asume que los p/q son fracciones reducidas. Muestra que C es
de contenido cero y que el conjunto A, denido como en el problema
anterior, no es de contenido cero.
16. Sea f : [a, b] [a, b] R continua. Muestra que
_
b
a
_
y
a
f(x, y)dxdy =
_
b
a
_
b
x
f(x, y)dydx.
17. Sea f : [a, b] [c, d] R continua tal que D
2
f existe y es continua.
a) Dene F : [c, d] R como
F(y) =
_
b
a
f(x, y)dx.
Muestra que
F

(y) =
_
b
a
D
2
f(x, y)dx.
b) Dene G : [a, b] [c, d] R como
G(x, y) =
_
x
a
f(t, y)dt.
Encuentra D
1
G y D
2
G.
c) Sea h : [c, d] [a, b] diferenciable y dene H : [c, d] R como
H(y) =
_
h(y)
a
f(x, y)dx.
82 5. Integraci on
Encuentra H

(y).