Integral definida segn Riemann

Instituto Profesorado Concordia Seccin Matemtica Ao 2010 1

Aspectos formales de la integral definida y la funcin integral

A continuacin, se presentan los aspectos formales vinculados a las funciones integrables segn
Riemann, siguiendo los lineamientos establecidos en los captulos 13 y 14 de Spivak (1996).
Se comienza el estudio planteando el problema de calcular el rea de una regin acotada del plano. La
intencin es plantear la necesidad de definir conceptos, procedimientos y criterios vinculados a la integracin.
De esta manera, se definirn las sumas superiores y sumas inferiores de una funcin acotada cualquiera
definida en un intervalo acotado y cerrado; para luego determinar bajo qu condiciones, tal funcin se dice
Riemann Integrable. Se consideran varios ejemplos elementales y se establece un criterio para la
integrabilidad de Riemann. A partir de ello, se estudian las propiedades ms relevantes que cumple la integral.

La integral segn Riemann
Si bien se ha trabajado desde los primeros aos el clculo de reas en figuras elementales, es comn que
el estudiante que llega a niveles superiores de estudio, tenga dificultad para definir o consolidar el concepto de
rea de una regin cualquiera del plano.
A este concepto se lo puede interpretar como el nmero de unidades de longitudes cuadradas contenidas
en una regin acotada del plano (Spivak, 1996; pg. 345). Esto ltimo es comprensible e intuitivo para regiones
poligonales, podemos llamarlas simples (estudiadas en la primaria y la secundaria); pero pierde algo de
sentido si queremos hallar el rea A de las siguientes regiones sombreadas:







O tambin cuando decimos que un crculo de radio t
1
tiene rea 1; lo que sugiere pensar que el crculo
tiene la misma superficie que un cuadrado de lado unitario. Dicho de otro modo, un cuadrado puede llenar el
crculo dado. Bajo estas cuestiones, claramente es necesario reformular y sobre todo ampliar el significado del
rea de una regin y la forma de calcularla.

Motivacin: Aproximando el rea
A continuacin se desarrolla una situacin particular para aproximar el rea de una regin, pero cuyo
procedimiento, dar una idea sobre los conceptos que subyacen en la definicin de integral de una funcin f
definida sobre un intervalo.
En la siguiente figura se representa una regin R limitada en su parte superior por la grfica de una
funcin f(x) continua no negativa, en su parte inferior por el eje x, a la izquierda por la recta x = a y a la
derecha por la recta x = b. Dicha regin se denotar por R(f, a, b).

A
Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 2
Qu nmero, si lo hubiese, debera considerarse como el rea de R? Esta es la cuestin que se desea
resolver.
El nmero que se asignar como rea de R(f, a, b) se llamar eventualmente integral de f sobre el
intervalo [a; b].
Para calcularlo se podra comenzar dividiendo el intervalo [a;b], en un nmero finito de intervalos que
no se superponen, por ejemplo en cuatro subintervalos como se aprecia en la siguiente figura. Estos son: [t
0
,
t
1
] [t
1
, t
2
] [t
2
, t
3
] [t
3
, t
4
] por medio de los nmeros t
0
, t
1
, t
2
, t
3
, t
4
siendo a = t
0
< t
1
< t
2
< t
3
< t
4
= b .


Pero observando que en cada subintervalo cerrado, la funcin f tiene un mnimo m
i
y un valor mximo
M
i
(pues estamos asumiendo f continua), es posible plantear dos sumatorias, que representarn sumas de reas
de rectngulos, determinados por la subdivisin, que se llamarn: por defecto y por exceso.

Estas son: s a la suma por defecto: ( )

=

=
4
1
1
i
i i i
t t m s :






y S es la suma exceso: ( )

=

=
4
1
1
i
i i i
t t M S
:





Estas sumas justamente nos aproximan al valor del rea buscada. Pero observando las figuras es
evidente que los valores que se obtienen no seran los deseables, ya que visualmente, se observa que el error
que se comete es grande con respecto al valor que se desea encontrar como rea. Un hecho intuitivo y
determinante, es que el numero que representar al rea A de la regin R(f;a;b) deber cumplir la siguiente
desigualdad: S A s s s ; para cualquier subdivisin del intervalo [a;b].
Hasta aqu, existen algunas suposiciones implcitas, por ejemplo que la funcin f(x) sea continua,
positiva y acotada en un [a; b]. Pero cmo se resuelve una situacin similar cuando las funciones carecen de
ciertas propiedades, entre ellas la de la continuidad? En qu casos es posible encontrar el rea?
Para responder a estas preguntas, se necesitan formalizar algunos conceptos. Por medio de los mismos
se podr establecer bajo qu condiciones y en qu casos es vlido este procedimiento para aproximar el rea de
R(f;a;b).
Una cuestin a destacar es que, como veremos, se puede calcular el rea de regiones determinadas por
funciones que no satisfacen la condicin f(x) > 0 para todo x de [a; b]. Si f es la funcin dibujada en la siguiente
Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 3
figura, la integral representar la diferencia entre las reas de las regiones sombreadas por encima y por debajo
del eje de abscisas, rea "algebraica" de R(f, a, b))

Definiciones y propiedades
Definicin 1: dado un intervalo [a, b], siendo a < b, se llama particin a toda coleccin finita de puntos del
[a, b]; es decir, al conjunto { }
n
t b t t a P = = = ;...; ;
1 0

Definicin 2: sea una funcin f acotada en el [a, b] y { }
n
t b t t a P = = = ;...; ;
1 0
una particin del mismo.
Sea: { }
i i i
t x t x f m s s =
1
: ) ( inf { }
i i i
t x t x f M s s =
1
: ) ( sup donde n i s s 1
La suma inferior de la funcin f para P, se denota como ( )

=

=
n
i
i i i
t t m P f L
1
1
) ; ( ; y la suma superior de la
funcin f para la particin P, como ( )

=

=
n
i
i i i
t t M P f U
1
1
) ; (
+

Observar que se habla de nfimo y supremo, pues la definicin no expresa que la funcin sea continua
en [a; b]. Pero s exige que sea acotada para asegurar la existencia de ellos.

Estas particiones cumplen ciertas propiedades, que se estudian a continuacin:

Teorema 1
Siendo f una funcin acotada en el [a;b] y P una particin cualquiera, se cumple que ) ; ( ) ; ( P f U P f L s .

Demostracin:
Sea la particin { }
n
t b t t a P = = = ;...; ;
1 0
; como la funcin es acotada en cada intervalo, resulta que
i i
M m s , donde n i s s 1 .
Por las propiedades de monotona resulta que ( ) ( )
1 1
s
i i i i i i
t t M t t m , pues el nmero ) (
1

i i
t t es
no negativo.
Entonces
( ) | | ( ) | |

=

=
s
n
i
i i i i i i
n
i
t t M t t m
1
1 1
1
.
Luego, por definicin de L(f; P) y U(f; P), se verifica que ) ; ( ) ; ( P f U P f L s .


+
Notacin: se ha optado por utilizar las letras L y U, en relacin a las palabras Lower y Upper (inferior y superior
respectivamente).
Nomenclatura: estas sumas inferior y superior, son llamadas sumas de Riemann (en honor a Bernard Riemann s. XIX).

Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 4
Esta propiedad garantiza que sea cual fuere la particin elegida, siempre sucede que la suma inferior es
menor que la suma superior; a lo ms, ser igual.
Ahora bien, es necesario considerar la variante donde las particiones sean diferentes; en tal caso,
observaremos si la desigualdad antes vista entre L y U sigue siendo vlida.
Para tal fin, se analiza primeramente el comportamiento de L y U cuando se aaden ms puntos a una
particin.
En los siguientes ejemplos, se observa que si se agregan ms nmeros a la particin del [a;b], se obtiene
una mejor aproximacin al rea encerrada:

Esta observacin motiva el siguiente lema:

Lema:
Si Q es una particin que contiene a una particin P, entonces ) ; ( ) ; ( Q f L P f L s y por otro
lado tambin se cumple que ) ; ( ) ; ( Q f U P f U >
Demostracin:
Consideremos el caso particular en Q que tenga un solo punto ms que P:
{ }
{ }
n k k
n
t t u t t Q
t t P
;...; ; ; ;...;
;...;
1 0
0

=
=

Denotaremos los nfimos
{ }
{ }
k
k
t x u x f m
u x t x f m
s s =
s s =

: ) ( inf
: ) ( inf
1

De esta forma para P:
( )

=

=
n
i
i i i
t t m P f L
1
1
) , (
y para la particin Q:
( ) ( ) ( ) ( )

+ =

=

+ + + =
n
k i
i i i k k
k
i
i i i
t t m u t m t u m t t m Q f L
1
1 1
1
1
1
`` ) , (
Podemos representar los subndices en el eje x para una mejor interpretacin de la igualdad anterior:

Es decir, basta probar que ) ; ( ) , ( Q f L P f L s en (t
k-1
;t
k
).
O sea que ( ) ( ) ( ) u t m t u m t t m
k k k k k
+ s


1 1
. En efecto:
Para el intervalo (t
k-1
;u): el conjunto { }
k k
t x t x f s s
1
: ) ( contiene todos los nmeros de
{ } u x t x f
k
s s
1
: ) ( y posiblemente otros ms pequeos; entonces el nfimo del primer conjunto es menor o
igual que el nfimo del segundo conjunto:

Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 5
Lo mismo sucede para el intervalo (u; t
k
).

O sea que m m
k
s . m m
k
s , entonces:
( ) ( ) ( ) ( )
1 1 1
+ = + =
k k k k k k k k k k
t u m u t m u u t t m t t m
Pero: ( ) ( ) u t m u t m m m
k k k k
s s
( ) ( )
1 1


s s
k k k k
t u m t u m m m
Sumando miembro a miembro resulta que: ( ) ( ) ( ) u t m t u m t t m
k k k k k
+ s


1 1
. Que es la
desigualdad buscada.
Anlogamente se demuestra que ) ; ( ) , ( Q f U P f U > .
Con el Lema anterior, se deduce el caso ms general donde la particin Q se puede obtener adicionando
a P un punto ms, obteniendo una nueva particin P
1
, luego con otro punto P
2
, y as sucesivamente hasta llegar a
tener todos los puntos de la particin Q, cumplindose que:
) , ( ) , ( ... ) , ( ) , ( ) , (
2 1
Q f L P f L P f L P f L P f L
n
= s s s s

Y anlogamente: ) , ( ) , ( ... ) , ( ) , ( ) , (
2 1
Q f U P f U P f U P f U P f U
n
= > > > > .

El resultado del lema anterior se utiliza para demostrar que, efectivamente, si las particiones P
1
y P
2
son
distintas, la desigualdad entre ) , (
1
P f L y ) ; (
2
P f U , estudiada para el caso que dichas particiones sean iguales,
tambin se cumple.

Teorema 2
Sean P
1
y P
2
particiones de [a;b], y f una funcin acotada en dicho intervalo, entonces ) ; ( ) , (
2 1
P f U P f L s .
Demostracin:
Existe una particin P que contiene a P
1
y P
2
; podemos considerar incluso la que contiene mayor
cantidad de elementos, y aplicando los resultados anteriores resulta que:
) , ( ) , ( ) , ( ) , (
2 1
P f P P f U P f L P f L s s s .

Observacin: cualquier suma superior U(f, P) es mayor o igual que el supremo de todas las sumas
inferiores, es decir que : ) , ( sup{ P f L P es una particin de [a; b]} s U(f, P) para toda P. Esto significa a su
vez que sup{L(f, P)} es una cota inferior para el conjunto inf{U(f, P)}, o sea que sup{L(f, P)} s inf{U(f, P)}.
Es evidente que tanto uno como otro de estos nmeros se encuentran entre la suma inferior y la suma
superior de f para todas las particiones:
) , ( )} , ( sup{ ) , ( P f U P f L P f L s s para toda particin P.
Como caso particular, puede ocurrir que sup{L(f, P)} = inf{U(f, P)}; siendo as, es el nico nmero
entre las sumas inferiores y las sumas superiores de f para todas las particiones, y ste nmero es un candidato
ideal para asignarlo como el rea de R(f;a;b).
Pero tambin puede ocurrir que sup{L(f, P)} < inf{U(f, P)}, entonces todo nmero x comprendido
entre sup{L(f, P)} y el nmero inf{U(f, P)} cumplir la desigualdad L(f, P) s x s U(f, P).



Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 6
Definicin 3:
Una funcin f acotada sobre [a; b] es integrablesobre dicho intervalo si:
sup {L(f, P): P es una particin de [a;b]} = inf {U(f, P): P es una particin de [a;b]}
En este caso, este nmero comn recibe el nombre de integral de f sobre [a; b]; denotado
}
b
a
x f ) (
.
La integral
}
b
a
x f ) (
recibe el nombre de rea de R(f; a; b) si f(x) > 0 x e [a; b].
Adems, se define que
} }
=
a
b
b
a
x f x f ) ( ) (
y tambin que
0 ) ( =
}
a
a
x f
.

Segn la definicin, si f es integrable, entonces: L (f, P) s
}
b
a
x f ) ( s U(f, P) para toda particin P del
[a;b]. Adems
}
b
a
x f ) ( es el nico nmero que cumple esta propiedad (pues
{ } { } ) ; ( ) ; ( ) ( ) ; ( sup ) ; ( P f U P f U nf x f P f L P f L
b
a
s = = s
}
).
A continuacin se analizan dos ejemplos referidos a la determinacin del rea de una regin (cuestin
claramente relacionada a la integrabilidad de una funcin):

1.- Calcular el rea de la funcin f(x) = c, con x e[a;b].
Definimos una particin { }
n
t b t t a P = = = ;...; ;
1 0
, resultando m
i
= M
i
= c.
Donde ( ) | | ( ) a b c t t c P f L
n
i
i i
= =

=

1
1
) , (


En este caso coinciden: sup{L(f, P)} = inf{U(f, P)} = c . (b-a); es decir, ( )
}
=
b
a
a b c c
+

2.- Sea

=
1
0
) (x f

Esta funcin tiene un nombre propio, se la llama Funcin de Dirichlet.
Definimos una particin { }
n
t b t t a P = = = ;...; ;
1 0
, donde m
i
= 0 i pues en todo subintervalo de la
particin existen irracionales. Y por otro lado M
i
= 1 i pues lo mismo sucede con los racionales.
O sea que:





+
Observar que este resultado es la frmula para el clculo del rea de un rectngulo ya conocida.
0 si x es irracional
1 si x es racional
( ) | |
( ) | | a b t t P f U
t t P f L
n
i
i i
n
i
i i
= =
= =

=

=

1
1
1
1
1 ) , (
0 0 ) , (
Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 7
Se puede hacer un grfico orientativo como figura de anlisis de la situacin, pero no es posible
representar correctamente la funcin ya que entre dos nmeros reales cualesquiera del intervalo [a; b] existen
infinitos nmeros racionales e irracionales y lo mismo sucede para los nmeros racionales, as que la grfica de
la funcin consta de una nube lineal de puntos de ordenada unidad y otra nube lineal de puntos de ordenada
nula:

Luego L (f, P) = U(f, P), no se puede especificar un nmero para asignarlo como rea de R(f; a; b);
pues cualquier nmero entre 0 y b a sera candidato, y no podemos determinarlo.

Hasta aqu surgen preguntas intuitivas, ms all de los conceptos anteriores y primeras propiedades:
Qu funciones son integrables? Existe algn criterio parar reconocer la integrabilidad de las mismas?
Notemos que hasta ahora slo conocemos dos ejemplos: la funcin constante y la funcin de Dirichet.

El siguiente teorema proporciona un criterio para determinar qu funciones son integrables.

Teorema 3
La funcin f(x) es integrable sobre [a;b], siendo acotada en dicho intervalo c > 0 existe una particin P
de [a; b] tal que U(f, P) L (f, P) < c.
+


Demostracin
Para simplificar la notacin, se indica L(f) al supremo de las sumas inferiores para cualquier particin
del intervalo [a; b]. Y anlogamente, U(f) es el nfimo de las sumas superiores para cualquier particin del
intervalo [a; b].
De esta forma, si f (x) es integrable, se tiene que L(f) = U (f). Si se da un nmero real >0, por la
definicin de supremo existe una particin P
1
del intervalo [a; b] tal que ) ; (
2
) (
1
P f L f L <
c
. De forma similar,
existe una particin P
2
del [a; b] tal que
2
) ( ) , (
2
c
+ < f U P f U .
Si se considera una particin P = P
1
P
2
, por las propiedades ya vistas, se cumple que:
2
) ( ) ; ( ) ; (
2
) (
2
) ( ) ; ( ) ; (
2
) (
c c c c
+ + < + + < . < f U P f L P f U f L f U P f U P f L f L
De donde resulta que U(f; P) L(f; P) < .

Para probar el recproco, se tiene que c > 0 existe una particin P de [a; b] tal que
U(f, P) L (f, P) < c, y siendo una particin Pque contiene a P, se cumple que:
inf {U(f, P)} s U(f, P)
sup {L(f, P)} > L(f, P)
Como esta ltima desigualdad se cumple para todo c > 0, entonces se cumple que
inf {U(f, P)} = sup {L(f, P)}. Es decir, la funcin f(x) es integrable en el [a; b].

Este teorema expresa de otro modo la definicin de integrabilidad, como se ve, es suficiente dar un
psilon y encontrar una particin P tal que U(f; P) L(f; P) < .

+
Las funciones que cumplan esta condicin, se llaman funciones Riemann Integrables.
inf {U(f, P)} - sup {L(f, P)} < c

Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 8
Seguidamente, se ejemplifica la utilizacin del teorema anterior:
1.- Integrar la funcin f(x) = x en [0; b] siendo b un nmero real positivo

Sea { }
n
t b t t P = = = ;...; ; 0
1 0
en [0; b]
1
=
i i
t m .
i i
t M =


Calculamos L y U:
( ) | | ( ) ( ) ( )
( ) | | ( ) ( ) ( )

+ + + = =
+ + + = =

=


=

. ... ) , (
. ... ) , (
1 1 2 2 0 1 1
1
1
1 1 1 2 1 0 1 0
1
1 1
n n n
n
i
i i i
n n n
n
i
i i i
t t t t t t t t t t t t P f U
t t t t t t t t t t t t P f L

Sea una particin de n intervalos de igual amplitud; es decir que
n
b
t t
i i
=
1
. De esta forma, el valor de la
abscisa t
i
es igual a
n
b i
:
( )
( )
n
n b n n
n
b
n
n
b
n
b
n
n
b
n
b
n
b
n
b
n
b n
n
b
n
b
n
b
n
b
n
b
n
b
n
b n
n
b n
n
b n
n
b
n
b
n
b
n
b
n
b
n
b
n
b
P f L
n
1
2 2
1
) 1 ( ... 3 2 1
) 1 ( ... 3 2 1 0
). 1 (
...
3 2
0
) 1 ( . ). 1 (
...
2 3 2 2
0 0 ) , (
2
2 2
2 2 2 2

=

|
.
|

\
|
= + + + + |
.
|

\
|
=
= |
.
|

\
|
+ + |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
+ =
=

+ + + + + =
= |
.
|

\
|

+ + |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
=
(
+
)
De forma anloga:

= + + + + =
= |
.
|

\
|
+ + |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
|
.
|

\
|
=
n
b
n
b
n
n
b
n
b
n
b
n
b
n
b
n
b
n
b n
n
b n
n
b n
n
b
n
b
n
b
n
b
n
b
n
b
n
b
n
b
P f U
n
...
3 2
). 1 ( . .
...
2 3 3 2 2
0 ) , (




( )
n
n b n n
n
b
n
n
b
n
b
n
n
b
n
b
n
b
1
2 2
) 1 (
) ... 3 2 1
... 3 2 1
2
2 2
2 2 2 2
+
=
+
|
.
|

\
|
= + + + + |
.
|

\
|
=
= |
.
|

\
|
+ + |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
=




+
Nota: S = 1+2+3+4++m, es la suma de los m primeros nmeros naturales, y se demuestra por Induccin completa
que dicha suma S se calcula haciendo
( )
2
1 +
=
n n
S
.

Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 9
Observemos que:
n
b
n
b
n
n
n
n b
P f L P f U
n n
2 2 2
2
2
1 1
2
) , ( ) , ( = =
|
.
|

\
|

+
=
.
Esto significa que existen particiones P
n
de modo que la diferencia U(f, P
n
) L(f, P
n
) se puede hacer tan
pequea como se quiera:
si n :
0
n
b
;
2
) , (
2
b
P f U
n

.
2
) , (
2
b
P f L
n



Segn el Teorema 2 antes visto, la funcin es integrable.
Es evidente que
) , (
2
) , (
2
n n
P f U
b
P f L s s
para todo valor de n.
Pero se sabe que U(f, P
n
) L(f, P
n
) puede hacerse tan pequea como se quiera, de modo que se concluye que:
}
=
b
b
x
0
2
2
.(
+
)

2.- Integrar la funcin f(x) = x
2
en [0; b], siendo b un nmero real positivo
Sea una particin
{ } b t t t P
n
= = = ;...; ; 0
1 0
donde
( )
2
1 1
) (

= =
i i i
t t f m
y
( )
2
) (
i i i
t t f M = =
.

Sea la particin P de n partes iguales donde
n
b i
t
i

=
. Las sumas superiores e inferiores resultan:
( ) ( ) | | ( ) ( ) ( )
| | ( ) ( ) 1 2 1
6
1
) 1 ( ... 2 1 0
1 1 1 ) , (
3
3
2 2 2 2
3
1
2
3
3
1
3
2
1
2
1
1
2
1
= + + + + |
.
|

\
|
=
= =
(
(

|
.
|

\
|
=

= =

= = =

n n n
n
b
n
n
b
i
n
b
n
b
i
n
b
n
b
i t t t P f L
n
i
n
i
n
i
n
i
i i i n

( ) ( ) | | ( )
| | ( ) ( ). 1 2 ) 1 (
6
1
... 2 1 0
) , (
3
3
2 2 2 2
3
1
2
3
3
1
3
2
1
2
1
1
2
+ + = + + + +
|
.
|

\
|
=
= =
(
(

|
.
|

\
|
=

|
.
|

\
|
= =

= = =

n n n
n
b
n
n
b
i
n
b
n
b
i
n
b
n
b
i t t t P f U
n
i
n
i
n
i
n
i
i i i n

Verificar que
n
b
P f L P f U
n n
3
) , ( ) , ( =
.
Por otro lado verificar tambin que si n :
0
n
b
;
3
) , (
3
b
P f U
n

.
3
) , (
3
b
P f L
n


Resultando que
) , (
3
) , (
3
n n
P f U
b
P f L s s
; y como U L puede hacerse tan pequeo como se quiera,
eligiendo n suficientemente grande, se concluye que
}
=
b
b
x
0
3
2
3
(el mismo resultado que lleg Arqumedes en el
siglo III a.C.!!!) (
+
)

+
Observacin: el valor de esta integral coincide con el rea de un tringulo rectngulo de base y altura de longitud b.

Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 10
Algunas funciones discontinuas pero integrables.

El siguiente ejemplo corresponde al de una funcin integrable pero discontinua en un punto del
intervalo de integracin (Spivak, 1996; pg. 357).

Sea f(x) definida en el intervalo [0; 2], siendo:


Consideremos una particin P = {t
0
; t
1
; ;t
n
} de [0; 2] con t
j-1
< 1 < t
j
.
La representacin cartesiana resulta:


Entonces m
i
= M
i
= 0 si i j; pero m
j
= 0 y M
j
= 1.
Las sumas inferiores y superiores resultan:
( ) ( ) ( )
( ) ( ) ( )


+ =

=

+ =

=

+ + =
+ + =
n
j i
i i i
j
i
j j j i i i
n
j i
i i i
j
i
j j j i i i
t t M t t M t t M P f U
t t m t t m t t m P f L
1
1
1
1
1 1
1
1
1
1
1 1
) , (
) , (


De las cuales se tiene que
1
) , ( ) , (

=
j j
t t P f L P f U .
O sea que f es integrable, notar que para obtener c < ) , ( ) , ( P f L P f U basta con elegir una particin
P tal que t
j-1
< 1 < t
j
de modo que t
j
t
j-1
<
Adems, es claro que ) , ( 0 ) , ( P f U P f L s s para todas las particiones P.
De esta manera, siendo f integrable, existe solamente un nmero entre todas las sumas inferiores y
superiores que verifican la desigualdad anterior; de aqu que 0 ) (
2
0
=
}
x f .

Cabe aclarar que funciones acotadas pero discontinuas en un conjunto finito de puntos son integrables.
Ms an esta propiedad sigue siendo vlida an si la funcin es discontinua en un conjunto numerable de
puntos, como se puede observar en el siguiente ejemplo.
Definamos la funcin:
| (

>
e
|
.
|

\
|
=
1 , 0
1 ; 0 ,
1
1
) (
x
x
x
E
x f
Donde E(x), representa a la funcin parte entera de x.
La representacin aproximada de la grfica de esta funcin es:

+
Observacin: logramos calcular el rea de una regin limitada por una parbola; que no se obtiene por herramientas de la
geometra elemental.

0 si x 1
1 si x = 1
f(x) =
Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 11







Esta funcin es Integrable, porque la serie cuyos trminos est representada por las reas de los
rectngulos escalonados es convergente. Y sin embargo, no es continua en una cantidad numerable de puntos,
es decir, en todos los puntos de la forma 1/n, siendo n un nmero natural.
Acerca de la notacin utilizada:
Se ha tratado a la integral como la suma de rectngulos del altura f(x) y anchura x
i
x
i-1
que podemos denotarlos
Ax
i
; es decir, siendo n la cantidad de intervalos, indicamos la sumatoria
| |

=
A
n
i
i i
x f
1
) (
. Cuando n (el paso
al lmite), se sustituye la sumatoria por el smbolo de integral } ; f(x
i
) se sustituye por f(x) y Ax
i
por dx.
Resultando
}
b
a
dx x f ) (
.
Esta notacin tiene la ventaja sobre la que venamos utilizando
}
b
a
f
que la expresin dx nos indica la
variable respecto a la cual se est integrando.
O sea que se tiene el mismo significado si se escribe
}
b
a
dx x f ) ( ,
}
b
a
dm m f ) ( o la expresin . ) (
}
b
a
dz z f

A continuacin, se estudian otros teoremas y corolarios acerca de la integrabilidad de las funciones; de
esta forma, es posible ahorrar tiempo en la bsqueda de la solucin de una integral, o al menos conocer sus
restricciones.

Para el siguiente teorema, es necesario el concepto de funcin uniformemente continua.
Definicin:
Sea un conjunto 9 c A , y sea 9 A f : . Se dice que f es uniformemente continua en A, si para
cada > 0, existe () > 0 tal que si u, v eA son nmeros cualesquiera que satisfacen ) (c o < v u entonces
c < ) ( ) ( v f u f .
Sin mayores tecnicismos, una funcin es uniformemente continua si pequeos cambios en el valor de x
producen pequeos cambios en el valor de la funcin (continuidad) y el tamao de los cambios en f(x) depende
solo del tamao de los cambios en x pero no del valor de x (uniforme). O sea que, a diferencia de la definicin
de la continuidad donde el valor de depende del punto x, para funciones uniformemente continuas, es
independiente.
Por ejemplo, se puede probar que:
La funcin y = 1/x para x>0 es continua pero no uniformemente continua.
Integral definida segn Riemann
Instituto Profesorado Concordia Seccin Matemtica Ao 2010 12
La funcin y = x es uniformemente continua en el intervalo [0,1].

El siguiente teorema conecta la propiedad de continuidad de una funcin con la condicin de
integrabilidad. Ms an la continuidad ser una condicin suficiente para la integrabilidad.

Teorema 4
Si una funcin f(x) es continua en |a; b|, entonces f(x) es integrableen dicho intervalo.

Demostracin:
Sea { }
n
t b t t a P = = = ;...; ;
1 0
una particin del [a;b].
Por ser f(x) continua en un intervalo cerrado, es acotada en dicho intervalo (Teorema de Weiestrass para
funciones continuas). Esto asegura la existencia de mximos y mnimos en cada subintervalo de la particin.
Para mostrar la integrabilidad es necesario demostrar que: c > 0 - una particin P de [a; b] tal que
U(f, P) L(f, P) < c.
Adems por ser f continua en un intervalo cerrado y acotado, la funcin f es uniformemente continua.
O sea que, si se da > 0, existe () > 0 tal que si u, v e [a; b] y siendo ) (c o < v u entonces
a b
v f u f

<
c
) ( ) ( . Por lo dicho anteriormente, existen los nmeros u
i
y v
i
en cada subintervalo [t
i-1
; t
i
] de
la particin, tales que f(u
i
) = M
i
y f(v
i
) = m
i.
.
Se tiene entonces que
( ) a b
m M m M v f u f
i i i i i i

< = =
c
) ( ) ( . De donde se sigue que:
( ) ( ) | | ( ) | | ( )
( ) ( ) c c
c c
c
< =

=
=
(

< = =

=

=

=

=

) , ( ) , (
) ( ) , ( ) , (
1
1
1
1
1
1
1
1 1
P f L P f U a b
a b
i t
a b
i t
a b
t t m M t t m t t M P f L P f U
n
i
i i
n
i
i i
n
i
i i i i
n
i
i i i i i i