Definicin y propiedades bsicas de la integral 394

Ha llegado el momento de preguntarse por condiciones que garanticen que una funcin es
integrable Riemann. Nos vamos a contentar con una respuesta parcial a esta pregunta, que es
suficiente para nuestros propsitos.

8.11 Teorema (Condiciones suficientes de integrabilidad Riemann). Sea f W a; b ! R .

Cada una de las siguientes condiciones garantizan que f es integrable Riemann en a; b.
i) f est acotada en a; b y tiene un nmero finito de discontinuidades en a; b. En parti-
cular, toda funcin continua en un intervalo cerrado y acotado es integrable en dicho intervalo.
ii) f es montona en a; b.

Demostracin. Segn la definicin dada, una funcin f positiva y acotada en un intervalo a; b

es integrable en a; b cuando las aproximaciones superiores estn arbitrariamente prximas
de las aproximaciones inferiores al rea del conjunto ordenado de f . En otros trminos, una
funcin f positiva y acotada en un intervalo a; b es integrable en a; b si, y slo si, para todo
" > 0, hay una particin P" de a; b tal que S.f; P" / I.f; P" / 6 "3 . Probaremos que las
funciones continuas y las funciones montonas en a; b satisfacen esta condicin.
Ses f W a; b ! R continua en a; b, entonces sabemos que f est acotada en a; b. En
particular, hay un nmero M tal que f .x/ 6 M para todo x 2 a; b. Por tanto la funcin
M f es continua y positiva en a; b y, como las funciones constantes son integrables, la
integrabilidad de la funcin M f equivale a la integrabilidad de f . Podemos, por tanto,
suponer que f es positiva en a; b. En virtud del teorema 7.59 la funcin f es uniformemente
continua en a; b. Por tanto, dado " > 0, hay un nmero > 0, tal que para todos x; y 2 a; b
con jx yj < se verifica que jf .x/ f .y/j < "=.b a/. Sea P" una particin del intervalo
a; b cuyos subintervalos Ik D xk 1 ; xk tienen longitud menor que . En virtud del teorema
4.29 hay puntos uk ; vk enIk en los que la funcin f alcanza su valor mnimo y mximo
absolutos respectivamente en el intervalo Ik . Tenemos que:
n n
X
" X
S.f; P" / I.f; P" / D f .vn / f .un / .xk 1 xk / < .xk 1 xk / D ":
b a
kD0 kD0

Lo que prueba que f es integrable en a; b.

Supongamos ahora que f es continua en a; b y acotada en a; b pudiendo tener dis-
continuidades en los extremos del intervalo. Como f est acotada en a; b, podemos seguir
suponiendo, por las mismas razones anteriores, que f es positiva en a; b. Sea M > 0 tal
que f .x/ 6 M para todo x 2 a; b. Dado " > 0, consideremos un intervalo c; d donde
a < c < d < b y c a < "=3M , b d < "=3M . Por la ya demostrado, como f es inte-
grable en c; d , hay una particin Q de c; d tal que S.f; Q/ I.f; Q/ < "=3. Ampliamos
dicha particin a una particin del intervalo a; b aadindole los puntos a y b. Llamemos a la
particin de a; b as obtenida P" . Tenemos que:

S.f; P" / I.f; P" / 6 .c a/M C S.f; Q/ I.f; Q/ C .b d /M < ":

Lo que prueba que f es integrable en a; b. Si ahora se suponemos que f est acotada en a; b

y tiene un nmero finito de discontinuidades en a; b, llamando d1 < d2 <


< dp a las
3 Esta caracterizacin de la integrabilidad es vlida para cualquier funcin acotada en a; b sin necesidad de

suponer que sea positiva.

Universidad de Granada Prof. Javier Prez

Dpto. de Anlisis Matemtico Clculo diferencial e integral
Definicin y propiedades bsicas de la integral 395

discontinuidades de f en a; b, por la ya demostrado la funcin f es integrable en cada uno

de los intervalos a; d1 , dk ; dkC1 (k D 1; 2; : : : ; p 1), dp ; b. Por tanto f es integrable en
la unin de todos ellos, es decir, en a; b.
Supongamos ahora que f es montona en a; b. Podemos suponer que f es creciente, en
cuyo caso f .b/ f .x/ > 0 para todo x 2 a; b, por lo que, al igual que hicimos antes, podemos
suponer que f es creciente y positiva en a; b. Dado " > 0, tomemos una particin P" de a; b
cuyos subintervalos Ik D xk 1 ; xk tengan longitud menor que "=.f .b/ f .a//. Tenemos
que:
n n
X
" X

S.f;P" / I.f;P" /D f .xk / f .xk 1 / .xk 1 xk / < f .xk / f .xk 1 / D
f .b/ f .a/
kD0 kD0
"
D .f .b/ f .a// D ":
f .b/ f .a/

Lo que prueba que f es integrable en a; b. 2

En relacin con el punto ii) de este teorema, conviene observar que hay funciones monto-
nas con infinitas discontinuidades.
E.1=x/
1 X
8.12 Ejemplo. La funcin f W 0; 1 ! R dada por f .0/ D 1 y f .x/ D para to-
2n
nD1
do x 20; 1, donde E.1=x/ indica la parte de entera de 1=x, es decreciente en 0; 1 y tiene
1
discontinuidades en todos los puntos de la forma nC1 para n D 1; 2; : : : .
Observa que la funcin viene dada por:
8
1 1


2; 2 < x 6 1;
1 1 1
< x 6 12 ;

< 2 C 4;

3

f .x/ D 1 1 1 1
< x 6 13 ;

2 C 4 C 8; 4
1 1 1 1
< x 6 n1 ;

2 C 4 C


C 2n ;

nC1

:
1; x D 0;

En la figura 8.5 puedes ver su grfica en la que se han indicado con trazos verticales punteados
las discontinuidades de salto de la funcin. 

Un tipo frecuente de funciones integrables son las que se definen a continuacin.

8.13 Definicin. Se dice que funcin f es continua a trozos en un intervalo a; b si hay una
particin a D x0 < x1 < x2 < : : : < xn 1 < xn D b del intervalo a; b de forma que:
 f es continua en cada intervalo xi 1 ; xi , para i D 1; 2; : : : ; n.
 f tiene lmites laterales finitos en los puntos xi , i D 0; 1; : : : ; n.

Una funcin continua a trozos en a; b tiene un nmero finito de discontinuidades y est

acotada en a; b, por tanto es integrable en a; b.

Universidad de Granada Prof. Javier Prez

Dpto. de Anlisis Matemtico Clculo diferencial e integral