Suma Inferior, Superior y de Riemman

Nmero 01-15
Prof. Martnez Rolando Ramn
ISFDyT "Vctor Manuel Almenara"

Mayor Villafae - Formosa
La suma de Riemann
Prof. Martnez, Rolando Ramn
2015
Dedicado a mi esposa, quien soport que yo escriba un texto de matemtica

en vacaciones.
NDICE
ndice
1. Conceptos preliminares
1.1. Extremos en un conjunto . . . . . . . . . . . . . . . . . . . . .
1.1.1. Intervalos y conjuntos acotados . . . . . . . . . . . . . .
1.1.2. Extremos . . . . . . . . . . . . . . . . . . . . . . . . . .
13
1.1.3. Propiedades de los extremos . . . . . . . . . . . . . . . .
17
1.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
2. Suma inferior y superior
23
2.1. Particin de un intervalo . . . . . . . . . . . . . . . . . . . . . .
23
2.1.1. Particiones . . . . . . . . . . . . . . . . . . . . . . . . .
23
2.1.2. Comparacin de particiones . . . . . . . . . . . . . . . .
26
2.1.3. Norma y cantidad de puntos . . . . . . . . . . . . . . .
27
2.1.4. Ubicacin de puntos . . . . . . . . . . . . . . . . . . . .
29
2.2. Suma inferior y superior . . . . . . . . . . . . . . . . . . . . . .
31
2.2.1. Suma inferior y superior para funciones no negativas . .
31
2.2.2. Interpretacin geomtrica . . . . . . . . . . . . . . . . .
49
2.2.3. Suma inferior y superior para funciones no positivas . .
55
2.2.4. Suma inferior y superior para funciones . . . . . . . . .
57
2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
3. Suma de Riemann
69
3.1. La suma de Riemann . . . . . . . . . . . . . . . . . . . . . . . .
69
3.1.1. Anlisis de un ejemplo . . . . . . . . . . . . . . . . . . .
69
3.1.2. Relacin con la suma superior e inferior . . . . . . . . .
71
NDICE
3.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ndice alfabtico
5
74
76
Introduccin
La motivacin del siguiente cuadernillo es proveer a los alumnos del ISFDyT
"Vctor Manuel Almenara" de un texto bsico sobre suma inferior, superior y
suma de Riemann, tema utilizado en los espacios de Anlisis Matemtico I y
II, de la carrera de Profesorado de Educacin Secundaria en Matemtica.
Los temas tratados son complementarios a los que se desarrollan en las clases
tericas, por lo que este cuadernillo es un agregado esencial para entender
muchos de los conceptos tratados en la unidad curricular.
El presente artculo, trata especficamente la Suma de Riemann, a partir del
uso de sumas superiores e inferiores de una funcin acotada. En primer lugar,
se tratarn esos temas a partir del estudio de funciones no negativas. Esto es,
a causa de brindar un significado geomtrico, que permita una mayor comprensin del objeto matemtico estudiado. Luego, se avanzar en el estudio de
funciones no positivas, para luego generalizar la suma superior e inferior para
cualquier tipo de funciones definidas en un intervalo cerrado [a; b] R.
Por ltimo, se definir y estudiar la Suma de Riemann como antesala del
clculo de integrales definidas, tema que no se tratar en este texto.
Este material contiene bastantes ejercicios para que el lector, pueda practicar
teniendo en cuenta los conceptos tratados. Adems, se podr observar una
cantidad interesante de ejemplos luego de cada desarrollo, a partir de los cuales, se intenta que quien lee este texto, pueda ir comprendiendo los conceptos
trabajados.
Rolando Ramn Martnez
CONCEPTOS PRELIMINARES
SECCIN 1
Conceptos preliminares
SUBSECCIN 1.1
1.1.1.
Extremos en un conjunto
Intervalos y conjuntos acotados
Antes de abordar los temas que se tratarn en el presente texto, es necesario,

recordar algunos conceptos bsicos para poder entender lo que se desarrollar
en las secciones posteriores. Estos conceptos, tienen relacin con los extremos
de un subconjunto A R.
Definicin 1. Llamaremos intervalo abierto (a; b), con a < b al conjunto

(a; b) = {x R/a < x < b}
Al nmero a se lo denominar extremo izquierdo y al nmero b, extremo derecho del intervalo.
En otras palabras, un intervalo est formado por todos los nmeros reales
comprendidos entre dos valores a y b. Este tipo de intervalos nos interesar
particularmente para definir lo que llamaremos un conjunto acotado.
Tambin, definimos los siguientes intervalos:
Definicin 2. Siendo a < b, llamaremos:

Intervalo cerrado: [a; b] = {x R/a x b}
Intervalo abierto a izquierda: (a; b] = {x R/a < x b}
Intervalo abierto a derecha: [a; b) = {x R/a x < b}
En este texto, y para lo que vamos a necesitar de ahora en ms, nos interesarn particularmente los intervalos abiertos y los intervalos cerrados. Es por
ello que no generalizaremos la definicin de intervalo cuando los extremos son
infinitos. Los intervalos abiertos los utilizaremos para determinar si una funcin es acotada o no. Los intervalos cerrados utilizaremos para definir sobre
ellos, funciones continuas o no, con el fin de calcular las sumas superiores,
inferiores y de Riemann.
Un tipo de subconjunto especial de la recta real, son los conjuntos acotados.
En trminos poco matemticos, un conjunto acotado es aquel al que se lo puede incluir en un intervalo abierto cualquiera. En otras palabras, un conjunto
ser acotado si no escapa de ese intervalo abierto.
Definicin 3. Sea A R.
Se dir que A es acotado a R, b R/A (a; b)
Analicemos algunos ejemplos:

Ejemplo 1. Sea A = N. Claramente N R, sin embargo no existen dos
nmeros reales a y b tales que N (a; b)
Ejemplo 2. Sea A = [2; 5]. Se tiene que [2; 5] R, y como [2; 5] (1; 8) se
tiene que el intervalo cerrado [2; 5] es un conjunto acotado.
Ejemplo 3. Sea A = [a; b] un intervalo cerrado cualquiera. Dado cualquier
valor > 0 se tiene que a < a y que b + > b, de donde [a; b] (a ; b + )
y por lo tanto, el intervalo cerrado [a; b] es un conjunto acotado.
10
Figura 1: Intervalo cerrado [a; b]

Ejemplo 4. Dada la funcin f (x) = x3 , definimos el conjunto A de la siguiente manera: A = {f (x) R/x [1; 2]}. En otras palabras, A est formado
por las imgenes de los valores de x que pertenecen al intervalo [1;3] usando
la funcin f . Claramente, A R y adems es A = [1; 8]. Al ser un intervalo
cerrado, A es un conjunto acotado.
Ntese que A debe ubicarse grficamente sobre el eje real y. (Vase figura 2)
Ejemplo 5. Sea M = {q Q/q =
1
n ; n
N}. En otras palabras, M est
formado por las fracciones de numerador igual a 1. Este conjunto M puede

incluirse en el intervalo (0; 2) por lo que se tiene que M es un conjunto acotado.
(Vase figura 3)
Por qu no se puede decir que M (0; 1)?
Ejemplo 6. Sea P = {p R/p es un nmero par}. Este conjunto P no puede
incluirse en ningn intervalo (a; b) por lo que se tiene que P no es un conjunto
acotado.
Ejemplo 7. Dado un nmero real a cualquiera, definiremos como intervalo
semiabierto, al conjunto R = {r R/a r} = [a; +). Este conjunto no
puede incluirse en ningn intervalo (a; b) por lo que se tiene que R no es un
conjunto acotado.
Ejemplo 8. Sea el conjunto S = [2; 4) {6}. Este conjunto puede incluirse
en el intervalo (0; 7) por ejemplo, y por lo tanto se tiene que S es un conjunto
acotado.
Figura 2: El conjunto A = {f (x) R/x [1; 2]}
Figura 3: Idea de la representacin grfica del conjunto M
11
12
Como el lector pudo observar, hay una infinidad de conjuntos que pueden ser
acotados o no. De todos ellos, nos interesarn especialmente los conjuntos dados por las imgenes de funciones, tales como el analizado en el ejemplo 4.
A partir de este ejemplo, enunciamos la siguiente:
Definicin 4. Una funcin se dir acotada, si y solo si existen dos nmeros

reales a y b tales que f (x) (a; b) para todo x Dmf .
En otras palabras, una funcin ser acotada si las imgenes pueden incluirse
en algn intervalo abierto (a; b). Esto es importante, puesto que para calcular
las sumas superior, inferior y de Riemann, necesitaremos que las funciones
estn acotadas.
Ejemplo 9. La funcin f (x) = sen(x) es una funcin acotada. Por qu?
Ejemplo 10. La funcin f (x) = c, con c R, es decir, una funcin constante,
es una funcin acotada.
Ejemplo 11. La funcin f definida en el ejemplo 4 es una funcin acotada.
Ejemplo 12. La funcin g : R R/g(x) = x2 no es una funcin acotada.
Ejemplo 13. La funcin g : [0; 2] R/g(x) = x2 es una funcin acotada.
Por qu?
Enunciamos algunos teoremas cuyas demostraciones quedan a cargo del lector
y que pasarn a formar parte de la lista de ejercicios.
13
Teorema 1.1. Si A y B son dos conjuntos no vacos y acotados, entonces:

1. A B es un conjunto acotado
2. A B es un conjunto acotado
Demostracin. La demostracin se deja como ejercicio.

Teorema 1.2. El conjunto vaco es un conjunto acotado.
Demostracin. La demostracin se deja como ejercicio.

1.1.2.
Extremos
A partir de lo analizado anteriormente, definiremos algunos conceptos importantes para entender lo que sigue en el texto. Estos conceptos (cota, nfimo,
supremo, etc.) sern la base sobre las cuales asentaremos las secciones posteriores.
Si tenemos un subconjunto real A cualquiera, interesa saber si existe algn
valor real k que sea mayor que sus elementos. Obviamente si tal nmero existe
no ser nico.
Definamos pues lo que deberemos entender por cota de un conjunto:
Definicin 5. Dado un conjunto A R, se llamar cota superior del conjunto A al nmero k R tal que x k; x A.
14
Definicin 6. Dado un conjunto A R, se llamar cota inferior del conjunto

A al nmero k R tal que k x; x A.
En otras palabras, la cota superior de un conjunto, es un valor que supera o

es igual a todos los valores de dicho conjunto. De la misma manera, la cota
inferior de un conjunto, es un valor que es igual o que superan todos los valores
de dicho conjunto.
Ejemplo 14. El conjunto B = [0; 2] tiene por cota superior a 5 por ejemplo.
Y tiene, por cota inferior a -2 por ejemplo.
Ejemplo 15. Sea el conjunto C = {1} (1; 2] {3}. Este conjunto tiene
por cota superior a cualquier valor mayor o igual a 3 y por cota superior a
cualquier valor menor o igual a -1.
El 2,5 no es una cota superior del conjunto puesto que si bien supera a casi
todos los elementos de C, resulta que es menor que el 3, y 3 es un elemento
de C. Por ello no puede considerarse una cota superior.
De la misma manera, resulta que 0, no puede considerarse una cota inferior,
puesto que existe un elemento del conjunto C, (el -1) que es menor que 0.
Estos valores llamados cotas no son nicos, puesto que por ejemplo, cualquier
valor mayor o igual a 2 es una cota superior del conjunto B del ejemplo anterior. De la misma manera, cualquier valor menor o igual a 0, es una cota
inferior del conjunto B.
De todas las cotas de un conjunto nos interesarn solamente dos. La menor
de todas las cotas superiores y la mayor de todas las cotas inferiores.
Definicin 7. Se llamar nfimo del conjunto A, a la cota inferior i de A tal
15
que k i; k cota inferior de A.
Es decir, el nfimo de un conjunto es la mayor de todas las cotas inferiores del

mismo. Este nfimo, puede o no pertenecer al conjunto.
Ejemplo 16. El conjunto B = (0; 2] tiene como nfimo a 0, y este valor no
es un elemento del conjunto.
Ejemplo 17. Sea la funcin h : [1; 3) R/h(x) =
x.
Sea el conjunto C = {h(x) R/x [1; 3)}.

El conjunto as definido tiene un nfimo que es el nmero 1, y este valor es un
elemento de C.
De la misma manera, se define el supremo de un conjunto.
Definicin 8. Se llamar supremo del conjunto A, a la cota superior s tal

que s k; k cota superior de A.
Es decir, el supremo de un conjunto es la menor de todas las cotas superiores

del mismo. Este supremo, al igual que lo que sucede con el nfimo de un
conjunto, puede o no pertenecer a ste.
Ejemplo 18. El supremo del conjunto B analizado en el ejemplo 16 es el 2,
y este valor es un elemento del conjunto.
Ejemplo 19. El supremo del conjunto C analizado en el ejemplo 17 es
y este valor no es un elemento del conjunto.
3,
16
Definicin 9. Dado un conjunto A, el nmero M se llamar mximo del

conjunto si y solo si M es supremo y M A.
Dado un conjunto A, el nmero m se llamar mnimo del conjunto si y solo
si m es nfimo y m A.
En otras palabras, el mximo de un conjunto es su supremo pero si es que

pertenece a dicho conjunto. Y el mnimo ser el nfimo del conjunto pero si es
que pertenece a dicho conjunto. Si bien, todos los conjuntos tienen supremo
e nfimo, no todos tienen mximos, mnimos o ambos. Todo depende si el
supremo o el nfimo pertenecen a l.
Si tenemos un conjunto A R y si k es cota superior, k 0 es cota inferior, i su
nfimo y s su supremo, en base a las definiciones presentadas anteriormente se
tiene que
k 0 i x s k; x A
.
Ejemplo 20. Todo intervalo abierto (a; b) tiene nfimo y supremo, pero no
mximo ni mnimo.
Ejemplo 21. Todo intervalo cerrado [a; b] tiene mximo y mnimo.
Ejemplo 22. El mximo de la funcin del ejemplo 4 es 8 y su mnimo es -1.
(Ver figura 2)
Ejemplo 23. El conjunto M del ejemplo 5 tiene a 1 como mximo y a 0
como nfimo. (Ver figura 3)
1.1.3.
17
Propiedades de los extremos
En este apartado, enunciaremos algunas propiedades bsicas que tienen los

extremos de un conjunto. Algunas de ellas, muy obvias, y otras no tanto.
Las cotas de un conjunto, como vimos anteriormente, no son nicas. De hecho, si un conjunto tiene un cota superior, tiene infinitas cotas superiores.
Ahora bien, qu ocurre con el supremo de un conjunto? Para responder a
esta pregunta, enunciamos el siguiente:
Teorema 1.3. Un conjunto acotado superiormente, no puede tener dos
supremos s y s0 distintos.
En otras palabras, si un conjunto tiene supremo, ste es nico.
Demostracin. Sea el conjunto M acotado superiormente. Y supongamos por

ahora, que el conjunto M tiene dos supremos, digamos s y s0 . Como s y s0
son supremos, entonces son tambin cotas superiores del conjunto. Ahora bien,
como s es supremo y sabiendo que s0 es cota superior, resulta que por definicin
de supremo, se tiene que s s0 . 1
De la misma manera, como s0 es supremo y sabiendo que s es cota superior,
resulta que por definicin de supremo, se tiene que s0 s. 2
De 1 y 2 se tiene que s = s0 . Es decir, el supremo de un conjunto es
nico.
De la misma manera, el nfimo de un conjunto, si existe es nico, tal como lo
afirma el siguiente:
Teorema 1.4. Un conjunto acotado inferiormente, no puede tener dos
nfimos i e i0 distintos.
18
Demostracin. La demostracin queda a cargo del lector.

Como corolario de los teoremas 1.3 y 1.4 se tiene que:
Corolario 1. Si un conjunto tiene mximo (o mnimo), este es nico.
Otra caracterstica bsica de un supremo o de un nfimo, es su relacin con los
elementos del conjunto. Es por ello que enunciamos dos teoremas ms sobre
estos conceptos.
Teorema 1.5. Dado un conjunto M R, acotado superiormente, se
tiene que si s es el supremo del conjunto M , entonces
> 0 : x M/s < x.
Demostracin. En efecto, como s es el supremo del conjunto M se tiene que

x M : x s. Por otro lado, se tiene que > 0 : s < s. A
Supongamos ahora que no existe ningn x M tal que s < x, de donde
resulta que debera ocurrir que x s . En otras palabras s es una cota
superior del conjunto M y por lo tanto, hemos hallado una cota superior que
es menor por A que el supremo s. Y como consecuencia de esto s no sera el
supremo de M . Absurdo.
Se tiene entonces que > 0 : x M/s < x.
Figura 4: s < x
Teorema 1.6. Dado un conjunto M R, acotado inferiormente, se

tiene que si i es el nfimo del conjunto M , entonces
> 0 : x M/i + > x.
Demostracin. La demostracin es anloga a la del teorema anterior.

Teorema 1.7. Si el conjunto M R es acotado, entonces M tiene cota
superior e inferior.
Demostracin. La demostracin queda como ejercicio para el lector.

Teorema 1.8. Sea A un conjunto, M y m su mximo y mnimo respectivamente. Entonces el conjunto A tiene un slo elemento si y solo
si m = M .
19
SUBSECCIN 1.2
20
Ejercicios
1. Indique para cada conjunto dado, si es acotado o no. Justifique su respuesta.

a) A = Z
b) B = {x R/ 1 x < 3}
c) C = {f (x) R/f (x) = 2x con 1 < x < 3}
d) D = [3; 23 ) (1; 10)
e) E = {f (x) R/f (x) = cos(x)}
2. Sea A B. Si B es un conjunto acotado, entonces A es acotado?
Si la respuesta es si, demostrarlo. Si la respuesta es no, proponer un
contraejemplo.
3. Indica si las siguientes afirmaciones son verdaderas o falsas. Justificar.
1
es acotada.
x
b) La funcion f : [1; 4] R/f (x) = x 1 es acotada.
4
es acotada.
c) La funcin h(x) =
1 + x2
a) La funcin g(x) =
4. Escriba al menos tres cotas superiores y tres cotas inferiores de los conjuntos que sean acotados del ejercicio 1.
5. Halle al menos dos cotas superiores y dos inferiores de los siguientes
conjuntos:
a) A = {x R/|x 2| < 3}
b) B = {x Z/0 < |x 3| 5}

m
[
1 1
c) C =
;
i+1 i
i=1
d) D =
m
\
1
i=1
i+1
21
;1
6. Halle el supremo e nfimo de los conjuntos del ejercicio anterior.

7. Dada la funcin g(t) : [2; 4] R tal que
g(t) =
0 si
t 6= 2, 5
1 si
t = 2, 5
a) Escriba el conjunto D = Imgg (Es decir el conjunto imagen de la

funcin)
b) Grafique la funcin en un sistema de ejes cartesianos.
c) Determine si la funcin g es acotada o no.
d) Si la funcin es acotada encuentre el supremo e nfimo de la funcin.
Encuentre tambin los extremos del dominio de la funcin g.
8. Dada la funcin
h(s) =
sen(s) si
s 6=
+ k, k Z
1 si s =
+ k, k Z
a) Grafique la funcin.
b) Es acotada la funcin h(s)?
c) Si la funcin es acotada, encuentre el supremo e nfimo de la funcin.
Indique si la funcin tiene mximo y mnimo.
9. Dada la funcin f : [2; 2] R tal que
f (x) =
x si
xRQ
0 si
xQ
22
a) Grafique la funcin.
b) Es acotada la funcin?
c) Si la funcin es acotada, encuentre el supremo e nfimo de la funcin.
Indique si la funcin tiene mximo y mnimo.
10. Dado el conjunto A = [0; 1] Q.
a) Encontrar al menos tres cotas superiores y tres cotas inferiores del
conjunto A.
b) Escriba el supremo e nfimo del conjunto. Tiene mnimo y mximo
ese conjunto? Justificar.
SUMA INFERIOR Y SUPERIOR
23
SECCIN 2
Suma inferior y superior

SUBSECCIN 2.1
2.1.1.
Particin de un intervalo
Particiones
Definicin 10. Dado un intervalo real [a; b], se llamar Particin del intervalo
al conjunto de puntos ti de [a; b] de manera tal que
P = {t0 = a; t1 ; t2 ; ; tn1 ; tn = b}.
Estos puntos determinan en [a; b], n subintervalos [ti1 ; ti ], de tal manera que
se cumple
n
[
[ti1 ; ti ] = [a; b].
i=1
t0 = a
t1
t2
t3
...
tn1
tn = b
Figura 5: Particin del intervalo [a; b].
Es obvio que para cada intervalo [a; b], existen infinitas particiones, depende
de cmo se eligen los puntos ti .
As por ejemplo, para el intervalo [-1; 2] se tienen las particiones:
P1 = {1; 0; 2}
24
P2 = {1; 1; 1, 5; 1, 7; 2}
P3 = {1; 0, 5; 0; 0, 5; 1; 1, 5; 2}
Como puede apreciarse en los ejemplos anteriores, no es necesario que los puntos estn a la misma distancia entre s. Lo que importa para que un conjunto
de puntos de un intervalo pueda llamarse Particin es que el primero de ellos,
sea igual a a y el ltimo, sea igual a b.
En los ejemplos precedentes, se puede apreciar que solo P3 tiene todos sus
puntos a la misma distancia entre s.
Definamos, dos conceptos ms que sern de mucha utilidad.
El primer concepto es el de longitud del intervalo.
Definicin 11. Llamaremos longitud del intervalo [ti1 ; ti ] a ti = ti ti1 .
Entonces, tomando como ejemplo a la particin P1 anterior, tenemos que:

t1 = 0 (1) = 1
t2 = 2 0 = 2
Si tomamos la particin P2 , tenemos que:
t1 = 1 (1) = 2
t2 = 1, 5 1 = 0, 5
t3 = 1, 7 1, 5 = 0, 2
t4 = 2 1, 7 = 0, 3
25
En la particin P3 es claro que ti = 0, 5; i

El segundo concepto es el de norma de una particin.
Definicin 12. Llamaremos Norma de la particin P y lo denotaremos como

kP k a
kP k = m
ax{ti , i = 1; 2; 3; ; n}
As, tenemos que:
kP1 k = 2
kP2 k = 2
kP3 k = 0, 5
A estas alturas, resulta claro que:
Teorema 2.1.
n
X
ti = b a
i=1
Demostracin. La demostracin queda como ejercicio.

Teorema 2.2. Dado el intervalo [a; b] y una particin P del mismo,
entonces 0 < b a nkP k
2.1.2.
26
Comparacin de particiones
Comenzaremos con la siguiente:
Definicin 13. Dadas dos particiones P y Q del mismo intervalo, diremos

que P es ms fina que Q si solo si Q P .
En otras palabras, la particin P es ms fina que Q si y solo si todo punto de

Q es un punto de P .
Por ejemplo, dado el intervalo [0;3], y dadas las particiones:
P = {0; 1; 2; 3}
Q = {0; 1; 2; 2, 4; 2, 6; 3}
R = {0; 1, 5; 2; 3}
se tiene por ejemplo que P Q, de donde se puede decir que Q es ms fina
que P . De la misma manera se tiene que Q * R ni R * Q, y por lo tanto
no se pueden comparar esas dos particiones. En estos casos, se dicen que las
particiones Q y R son no comparables. Puede verse tambin que P y R son no
comparables.
Teorema 2.3. Dadas dos particiones P y Q, resulta que la interseccin
entre ambas es menos finas que las particiones dadas. Se tiene tambin
que la unin es ms fina que las particiones dadas.
Demostracin. Utilizando las propiedades de lgebra de Conjuntos se puede

mostrar que dadas dos particiones P y Q del mismo intervalo, se tiene que
P Q P P Q y de la misma manera P Q Q P Q por lo que
27
se puede decir que dadas dos particiones, la interseccin es la menos fina de

ellas y la unin es la ms fina de las particiones.
Notemos que, si bien P Q, resulta que kP k = kQk y por lo tanto, no podemos asegurar que haya relacin entre las inclusin de las particiones con sus
normas. Sin embargo, bajo ciertas condiciones se puede analizar esta relacin.
2.1.3.
Norma y cantidad de puntos
Pues bien, analicemos el siguiente caso. Dado un intervalo cualquiera [a; b]

tomemos los puntos t0 = a; t1 ser el punto medio entre a y b, t2 ser el punto
medio entre t1 y b, t3 ser el punto medio entre t2 y b, t4 ser el punto medio
entre t3 y b y as sucesivamente el punto tk ser el punto medio entre tk1 y b.
Con estos puntos formemos una familia de particiones Pj de la siguiente manera:
P0 = {a; b}
P1 = {a; t1 ; b}
P2 = {a; t1 ; t2 ; b}
P3 = {a; t1 ; t2 ; t3 ; b}
P4 = {a; t1 ; t2 ; t3 ; t4 ; b}
y as sucesivamente.
Quedan clara dos cosas:

Primero se tiene que P0 P1 P2 P3 Pj . Es decir, que cada
particin Pk+1 es ms fina que su particin anterior Pk .
t0 = a
28
t1
t2
t3 ... tn = b
Figura 6: Representacin grfica de los puntos tk .

Y segundo, se tiene que la norma de la particiones es la misma para todas
ellas:
kPj k = t1 = t1 a =
ba
2
Con ello queremos probar que la condicin de menos fina no implica que
kPj k 0. Si analizamos el ejemplo, tambin nos daremos cuenta que si bien
n (es decir, la cantidad de puntos tiende a infinito), ello no implica que
kPj k 0. Por otro lado, si kPj k 0, entonces es necesario que la cantidad
de puntos de las particiones, tienda a infinito, pues no habra forma de lograr
con la misma cantidad de puntos que las norma de una familia de particiones
tienda a cero. En resumen se tiene que kPj k 0 n . Enunciamos as
el siguiente:
Teorema 2.4. Dado el intervalo [a; b] y una familia de particiones P j,
se tiene que
kPj k 0 n .
Demostracin. Sabemos que por teorema 2.2 se tiene que 0 < b a nkP k,
ba
de donde se tiene que
kP k. Ahora, cuando kPj k 0 entonces se tiene
n
ba
que
0. Pero como a < b es necesario que n .
n
Supongamos ahora que queremos que una particin tenga todos sus puntos a
la misma distancia. Por lo tanto, deberemos dividir a la longitud del intervalo
ba
en n partes iguales y por ello ti =
, i = 1; 2; 3; ; n. De esa manera
n
29
ba
= 0, y como
n
kP k = ti , se tiene que si n kP k 0. Esta ltima implicacin, que
resulta que si n , entonces se tiene que lm ti = lm

n
se cumple solamente cuando tengo una familia de particiones con sus puntos
a la misma distancia, es importante, puesto que en muchas ocasiones ser necesario hallar determinados lmites cuando kP k 0 y para ello, utilizaremos
particiones que tengan sus intervalos de la misma medida y por lo tanto podremos calcular el lmite utilizando la variable n que ser mucho ms prctico.
2.1.4.
Ubicacin de puntos
En muchas ocasiones necesitaremos ubicar los puntos de una particin que

tenga a todo sus intervalos de la misma longitud. Esto es importante cuando
querramos calcular ciertos lmites cuando kP k 0.
Veamos entonces cmo ubicar a esos puntos. Para ello, consideremos un interba
valo cualquiera [a; b] y la particin P de tal manera que kP k =
.
n
Entonces se tiene que
ba
t1 = t1 a =
,
n
de donde resulta que
t1 =
ba
+ a.
n
De la misma manera, se tiene que

t2 t1 =
ba
,
n
por lo que resulta que

t2 =
ba
+ t1
n
y por lo tanto
t2 =
ba ba
ba
+
+a=2
+ a.
n
n
n
30
Si seguimos ese proceso, se tiene que

t3 = 3
ba
+a
n
o que
t4 = 4
ba
+ a.
n
En general se tiene entonces que para saber dnde se ubican los puntos ti de
la particin P , se tiene que
ti = i
ba
+ a.
n
1
Ejemplo 24. Por ejemplo: si tenemos el intervalo ; 5 y la particin P
3
tal que

5 13
4
ti =
=
4
3

entonces sus puntos son:

t0 =
1
3
t1 = 1
t2 =
7
3
t3 =
11
3
t4 = 5
13
b
13 0
7
3
11
3
b
b
5
b
Figura 7: Particin del intervalo [ 13 ; 5].
31
Ejemplo 25. Analicemos otro ejemplo. Sea el intervalo [0;2] y n = 5, se tiene

2
entonces que ti = de donde se tiene que:
5
t0 = 0
t1 =
2
5
t2 =
4
5
t3 =
6
5
t4 =
8
5
t5 = 2
SUBSECCIN 2.2
2.2.1.
Suma inferior y superior
Suma inferior y superior para funciones no negativas
A partir de una particin P de un intervalo dado, se definen dos conceptos

muy relacionados entre si, el de suma inferior y el de suma superior, los cuales
nos permitirn aproximar reas encerradas entre una funcin y el eje real x.
Comenzaremos analizando funciones que, en un determinado intervalo, sean
no negativas, a partir de ello, aproximaremos el rea que queda encerrada entre la funcin y el eje x. Luego, analizaremos qu ocurre cuando la funcin
es no positiva para, por ltimo, analizar qu ocurre para cualquier tipo de
funciones.
Comenzaremos nuestro anlisis, para funciones no negativas.
Sea entonces f : [a; b] R, acotada y de tal manera que se cumple que
f (x) 0; x [a; b]. En principio no se pone ninguna otra restriccin a la funcin f tales como que sea continua o que sea derivable, slo que sea acotada,
32
puesto que queremos que la funcin no tenga lmite infinito en ninguno de sus
puntos y obviamente queremos que la funcin sea no negativa.
Funcin continua, no negativa y acotada.
Funcin discontinua, no negativa y no acotada.
Figura 8: Funciones en el intervalo [a; b].
Dada una particin P del intervalo, quedan determinados n subintervalos

[ti1 ; ti ] en los cuales se puede analizar la funcin f . En cada uno de esos
subintervalos, la funcin alcanza su nfimo mi y su supremo Mi . Es importante notar que utilizaremos el nfimo y el supremo de la funcin en cada
subintervalo y no su mnimo y mximo. Esto ser as, puesto que ms adelante vamos a generalizar la nocin su suma inferior y superior a funciones
discontinuas pero acotadas.
Para este tipo de funciones definimos:
Definicin 14. Sea, f una funcin acotada y no negativa, definida en un

intervalo cerrado [a; b]. Sea P una particin cualquiera de dicho intervalo y
mi el nfimo de la funcin en el subintervalo [ti1 ; ti ]. Entonces llamaremos
suma inferior de la funcin f en el intervalo [a; b]; utilizando la particin P a
s(P ) =
n
X
i=1
mi ti
33
Definicin 15. Sea, f una funcin acotada y no negativa, definida en un

intervalo cerrado [a; b]. Sea P una particin cualquiera de dicho intervalo y
Mi el supremo de la funcin en el subintervalo [ti1 ; ti ]. Entonces llamaremos
suma superior de la funcin f en el intervalo [a; b]; utilizando la particin P
a S(P ) =
n
X
Mi ti
i=1
Analicemos los siguientes tres ejemplos:

Ejemplo 26. Sea f : [1; 3] R/f (x) = x2 . Esta funcin es acotada puesto que las imgenes pertenecen al intervalo [1;9], es no negativa, continua y
adems es creciente. Si es creciente en todo el intervalo [1;3], lo ser en todo
subintervalo determinado por cualquier particin.
Sea entonces la particin P = {1; 2; 2, 5; 2, 8; 3}. Hallemos la suma inferior y
superior.
Suma inferior: s(p) =
n
X
mi ti = 11+40, 5+6, 250, 3+7, 840, 2 = 6, 443
i=1
n
X
Suma superior: S(p) =
Mi ti = 41+6, 250, 5+7, 840, 3+90, 2 = 11, 277
i=1
Ejemplo 27. Sea f : [2; 1] R/f (x) = 2. Esta funcin es constante y por
lo tanto acotada, es no negativa y adems continua.Al ser constante, resulta
que los nfimos y supremos en cada subintervalos sern siempre 2. Ello implica, como se podr ver ms adelante, que la suma inferior y superior valen lo
mismo.
En efecto, sea entonces la particin P = {2; 1; 0; 1}. Hallemos la suma inferior y superior.
n
X
mi ti = 2 1 + 2 1 + 2 1 = 6
i=1
n
X
i=1
Mi ti = 2 1 + 2 1 + 2 1 = 6
34
Figura 9: Suma inferior de la funcin f (x) = x2 .
Si P es cualquier particin del intervalo [-2;1], entonces se tiene para la suma

inferior que:
s(p) =
n
X
mi ti = 2t1 + 2t2 + + 2tn = 2
i=1
n
X
ti = 2(1 (2)) = 6
i=1
Y para la suma superior se tiene tambin que:

S(p) =
n
X
i=1
Mi ti = 2t1 + 2t2 + + 2tn = 2
n
X
ti = 2(1 (2)) = 6
i=1
(Hemos utilizado el teorema 2.1 enunciado anteriormente.)
35
Figura 10: Suma inferior y superior de la funcin f (x) = 2 en [-2;1].

Analicemos un ltimo ejemplo. Luego de ello, veremos qu debemos hacer
cuando la funcin es acotada pero no continua.
Ejemplo 28. Sea f : [0; 5] R definida de la siguiente manera:
f (x) =
0 si x [0; 1]
x 1 si
x + 5 si
x [1; 3]
x [3; 5]
Observe que la funcin f es no negativa, continua y acotada. Es decir, cumple

todas las condiciones impuestas para hallar la suma inferior y superior.
Sea entonces, por ejemplo, la particin Q = {0; 1; 3; 4, 7; 5}. Se tiene entonces
que:
n
X
mi ti = 0 1 + 0 2 + 0, 3 1, 7 + 0 0, 3 = 0, 51
i=1
n
X
i=1
Mi ti = 0 1 + 2 2 + 2 1, 7 + 0, 3 0, 3 = 7, 49
36
Figura 11: Suma inferior y superior.
Pensando en el ejemplo 27 analizado con anterioridad, si f es una funcin

constante ocurre que el nfimo y el supremo de la funcin en cada subintervalo
es el mismo y por lo tanto ocurre que:
Teorema 2.5. Sea f (x) = k una funcin constante definida en el intervalo [a; b]. Dada cualquier particin P del intervalo, se tiene que:
1. s(P ) = k(b a)
2. S(P ) = k(b a)
Demostracin. En efecto, como la funcin es constante, se tiene que

mi = k, i = 1; 2; 3; ; n,
37
de donde
s(P ) =
n
X
i=1
mi ti =
n
X
k ti = k
n
X
ti = k(b a)
i=1
i=1
De la misma manera se demuestra para la suma superior.

Que la funcin f sea no negativa, trae como consecuencia el siguiente:
Teorema 2.6. Si f (x) 0 s(P ) 0 y S(P ) 0
Demostracin. En efecto, como f (x) 0; x [a; b] se tiene entonces que

mi 0; i = 1; 2; 3; ; n. Y como ti > 0 se tiene tambin que
mi ti 0; i = 1; 2; 3; ; n
por lo que resulta que
s(P ) =
n
X
mi ti 0.
i=1
De la misma manera se prueba que S(P ) 0.

Adems, resulta claro que como mi Mi ; i = 1; 2; 3; ; n se tiene entonces
que s(P ) S(P ). Y es por ello que enunciamos el siguiente:
Teorema 2.7. Sea f una funcin acotada, continua y no negativa definida en el intervalo [a; b], entonces se cumple que s(P ) S(P ) para
cualquier particin P de dicho intervalo.
Demostracin. Escribir todos los detalles de la demostracin.

Hasta ahora hemos analizado funciones que son continuas, acotadas y no negativas en el intervalo [a; b]. Veamos ahora que ocurre cuando la funcin es
38
acotada, no negativa pero no es continua. Para ello, analizaremos qu ocurre

cuando la funcin tiene una discontinuidad evitable y cuando tiene una discontinuidad esencial.
Ejemplo 29. Sea f : [0; 2] R tal que
f (x) =
si x [0; 1)
si x [1; 2]
Esta funcin tiene una discontinuidad esencial en el punto x0 = 1, puesto que

lm f (x) 6= lm f (x),
x1
x1+
es decir, @ lm f (x).
x1
Ahora bien, dada la particin R = {0; 12 ; 1; 2} tenemos que:

3
X
1
1
mi ti = 0 + 0 + 1 1 = 1
Suma inferior:
2
2
i=1
Ahora, su suma superior ser:
3
X
1
3
1
Suma superior:
Mi ti = 0 + 1 + 1 1 =
2
2
2
i=1
(Ntese que en la suma superior, hemos utilizado el supremo M2 = 1 en el
subintervalo [ 12 ; 1))
Es necesario, recalcar la utilidad de definir la suma superior e inferior utilizando el supremo Mi y el nfimo mi de cada subintervalo en vez de utilizar
el mximo y el mnimo. Si no lo habramos hecho de esa manera, la suma
superior para funciones con discontinuidad del estilo presentado, no se podra
hallar.
Analicemos ahora, el siguiente ejemplo:
39
Ejemplo 30. Sea g : [1; 2, 5] R tal que
g(x) =
x2
si x 6= 0
2 si x = 0
Sea P = {1; 0, 5; 1; 2; 2, 5} una particin del intervalo dado.

Puede apreciarse que la funcin es acotada y no negativa, pero tiene una
discontinuidad evitable en x0 = 0, puesto que existe el lm g(x) = 0.
x0
Calculemos la suma superior e inferior:

Suma superior: S(P ) =
4
X
Mi ti = 1 0, 5 + 2 1, 5 + 4 1 + 6, 25 0, 5 = 10, 625
i=1
(Ntese el uso del supremo 2 en el subintervalo [-0,5;1]. Vase la figura 12.)

Suma inferior: s(P ) =
4
X
mi ti = 0, 25 0, 5 + 0 1, 5 + 1 1 + 4 0, 5 = 3, 125
i=1
(Ntese el uso del nfimo 0 en el subintervalo [-0,5;1]. Vase la figura 12.)

Analicemos un ejemplo ms.
Ejemplo 31. Sea h : [a; b] R tal que
h(x) =
1 si x Q
0 si x R Q
En otras palabras, la funcin h asigna 1 como imagen a los nmeros racionales

del intervalo [a; b] y 0 a los nmeros irracionales del mismo intervalo.
Sea P la particin del intervalo en n subintervalos de la misma longitud. Es
decir que
ti =
ba
; i = 1; 2; 3; ; n.
n
Puede apreciarse que la funcin es acotada, discontinua y no negativa.

Calculemos la suma superior e inferior:
Figura 12: Suma inferior y superior.
40
41
Figura 13: Idea de la representacin grfica de la funcin h(x) del ejemplo 31.
Suma superior: Como en cada subintervalo [ti1 ; ti ] de la particin existen
infinitos nmeros racionales (esto es por la densidad del conjunto Q) entonces
se tiene que Mi = 1; i = 1; 2; 3; ; n.
Entonces
S(P ) =
n
X
Mi ti =
n
X
i=1
ti = b a
i=1
Suma inferior: De la misma manera, en cada subintervalo [ti1 ; ti ] existen

infinitos nmeros irracionales (esto es por la densidad del conjunto R Q),
entonces se tiene que mi = 0; i = 1; 2; 3; ; n.
Entonces
s(P ) =
n
X
mi ti =
i=1
n
X
0 ti = 0
i=1
Analizaremos a continuacin un ejemplo, para a partir de all, obtener resultados interesantes que nos permitirn comprender mejor para qu se obtienen
la suma superior e inferior de una funcin.
En efecto, nos preguntamos ahora, qu ocurre con la suma superior e inferior
42
a medida que se toman particiones ms finas. Esta idea importante, nos permitir obtener el rea de una regin encerrada bajo la curva de una funcin y
el eje x.
1
definida en el intervalo
t
cerrado [1;3]. Y tomemos las siguientes particiones:
Ejemplo 32.
Consideremos la funcin g(t) =
1. P = {1; 2; 3}
2. Q = {1; 1, 5; 2; 2, 5; 3}
3. R = {1; 1, 3; 1, 5; 2; 2, 2; 2, 5; 2, 7; 2, 8; 3}
4. T = {1; 1, 2; 1, 3; 1, 5; 1, 6; 1, 8; 2; 2, 1; 2, 2; 2, 4; 2, 5; 2, 7; 2, 8; 2, 9; 3}
Como se podr observar, P Q R T y por lo tanto las particiones son
cada vez ms finas.
Ahora bien, nos interesar calcular las sumas superiores e inferiores y compararlas entre si, para a partir de all, obtener algunas conclusiones tiles.
Hallemos entonces las sumas inferiores primeramente.
s(P ) = 0, 833...
s(Q) = 0, 95
s(R) = 1, 001...
s(T ) = 1, 044...
Ahora, hallemos las sumas superiores:
S(P ) = 1, 5
S(Q) = 1, 283...
43
S(R) = 1, 212...
S(T ) = 1, 157...
Observando los resultados obtenidos, podemos conjeturar en principio tres
hechos relevantes:
1. Cualquier suma inferior, es menor que cualquier suma superior.
2. A medida que la particin se vuelve ms fina, la suma inferior crece.
3. A medida que la particin se vuelve ms fina, la suma superior decrece.
Esto que sucede, nos hace pensar si habr algn supremo de las sumas inferiores y algn nfimo de las sumas superiores y qu relacin habra entre estos
dos valores. A partir, de esto, es que enunciamos los siguientes teoremas:
Teorema 2.8. Sea f una funcin acotada, no negativa, definida en el

intervalo [a; b]. Dadas dos particiones P y Q de dicho intervalo, tales
que Q es ms fina que P entonces:
s(P ) s(Q)
S(Q) S(P )
Demostracin. Para demostrar el teorema, dividiremos la demostracin en dos

partes.
En primer lugar, como Q es ms fina que P , podemos suponer que Q tiene p
puntos ms que P . Sean estos puntos u1 ; u2 ; ...; up . Luego, es posible obtener,
a partir de P las particiones Rj de la siguiente manera:
44
R1 = P {u1 }
R2 = R1 {u2 }
R3 = R2 {u3 }
y en general, Rj = Rj1 {uj } con j variando de 1 a p.
Evidentemente, se tiene que Rp = Q y adems
P R1 R2 Rp1 Q.
Veamos entonces la relacin entre las sumas superiores e inferiores de las particiones P y R1 . Sea entonces el punto u1 que se encuentra en algn subintervalo determinado por la particin P . Sea [ti1 ; ti ] ese subintervalo. Es claro
que u1 6= ti1 y u1 6= ti (Por qu?) entonces se tiene que u1 (ti1 ; ti ).
(Vase figura 14) Sabemos que mi es el nfimo de la funcin en el subintervalo
[ti1 ; ti ] y llamemos m0i al nfimo de la funcin en el subintervalo [ti1 ; u1 ] y
m00i al nfimo de la funcin en el subintervalo [u1 ; ti ]. Evidentemente se tiene
que mi m0i y mi m00i . En realidad, mi es igual a uno de ellos y menor al
otro, pero como no sabemos, podemos tranquilamente poner las desigualdades
anteriores.
Hallemos entonces las sumas inferiores de las particiones P y R1 .

s(P ) = m1 (t1 t0 ) + m2 (t2 t1 ) + + mi (ti ti1 ) + + mn (tn tn1 )
s(R1 ) = m1 (t1 t0 ) + m2 (t2 t1 ) + + m0i (u1 ti1 ) + m00i (ti u1 ) + +
mn (tn tn1 )
Restando ambas igualdades, y cancelando los trminos opuestos, obtenemos
que:
s(P ) s(R1 ) = mi (ti ti1 ) m0i (u1 ti1 ) m00i (ti u1 )
45
Figura 14: La funcin f (x) en el subintervalo [ti1 ; ti ] (Ntese la discontinuidad

de f )
s(P ) s(R1 ) = mi ti mi ti1 m0i u1 + m0i ti1 m00i ti + m00i u1
s(P ) s(R1 ) = (mi m00i )ti + (m0i mi )ti1 + (m00i m0i )u1
s(P ) s(R1 ) = (mi m00i )ti + (m0i mi )ti1 + (m00i mi + mi m0i )u1 (sumando
y restando mi )
s(P ) s(R1 ) = (mi m00i )ti + (m0i mi )ti1 + (m00i mi )u1 + (mi m0i )u1
s(P ) s(R1 ) = (mi m00i )ti + (m0i mi )ti1 (mi m00i )u1 (m0i mi )u1
s(P ) s(R1 ) = (mi m00i )(ti u1 ) + (m0i mi )(ti1 u1 ) I
Analicemos el segundo miembro de la igualdad I .
Por un lado, tenemos que: mi m00i 0 y como ti u1 > 0 se tiene que
(mi m00i )(ti u1 ) 0
II
Por otro lado, se tiene que: m0i mi 0 y como ti1 u1 < 0 entonces
(m0i mi )(ti1 u1 ) 0
III
46
De II y III resulta que

(mi m00i )(ti u1 ) + (m0i mi )(ti1 u1 ) 0
y por lo tanto resulta que s(P ) s(R1 ) 0, de donde se tiene que
s(P ) s(R1 ).
En segundo lugar, tenemos que hemos mostrado que si tengo una particin
R1 ms fina (por un punto) que P , entonces se cumple que s(P ) s(R1 ).
Entonces aplicando p veces este resultado, se tiene que
s(P ) s(R1 ) s(R2 ) s(Q)
y aplicando la transitividad de la relacin se tiene que s(P ) s(Q).
Con la misma idea, pero ahora calculando las sumas superiores, se tiene que
S(Q) S(P ).
Teorema 2.9. Sea f una funcin acotada, no negativa, definida en el

intervalo [a; b]. Dadas dos particiones P y Q de dicho intervalo, se tiene
que s(P ) S(Q)
Demostracin. Notemos que no es necesario que P y Q sean comparables como

en el teorema 2.8. El teorema afirma en otras palabras, que una suma inferior
usando una particin es menor o igual que una suma superior, usando otra
particin.
Se tiene entonces, por propiedades de lgebra de conjuntos que P (P Q)
y tambin Q (P Q), es decir, la particin P Q es una particin ms fina
que las particiones P y Q. Utilizando el teorema 2.8 se tiene por un lado que
S(P Q) S(Q)
47
y por otro lado

s(P ) s(P Q)
de donde se tiene que s(P ) S(Q) que es lo que se quera demostrar.
En base a los dos teoremas anteriores podemos inferir que para un intervalo
[a; b], el conjunto de las sumas inferiores tiene cota superior (cualquier suma
superior es una cota superior del conjunto de sumas inferiores) y por lo tanto
tiene un supremo. De la misma manera, el conjunto de las sumas superiores
tiene un nfimo.
Es as que enunciamos las siguientes definiciones:
Definicin 16. Dada una funcin f (x) no negativa y acotada, definida en el

intervalo [a; b]. Sea A la familia de todas las particiones del intervalo dado. Se
llamar integral inferior de la funcin f (x) desde a hasta b a:
Z b
f (x)dx = Sup{s(P ), P A}
Definicin 17. Dada una funcin f (x) no negativa y acotada definida en el

llamar integral superior de la funcin f (x) desde a hasta b a:
Z b
a
f (x)dx = Inf {S(P ), P A}
48
Para terminar esta parte, enunciaremos un ltimo teorema que resume algunos
resultados obtenidos hasta ahora.
Teorema 2.10. Dado un intervalo [a; b], sea f : [a; b] R una funcin
acotada y no negativa. Sea m el nfimo de la funcin en el intervalo dado
y M su supremo. Dada una particin P cualquiera del mismo. Se tiene
entonces que:
m(b a) s(P )
Z b
a
f (x)dx
Z b
f (x)dx S(P ) M (b a)

Las dos definiciones anteriores, tambin se pueden reescribir de la siguiente
manera:

llamar integral inferior de la funcin f (x) desde a hasta b a:
Z b
a
f (x)dx = Sup{s(P ), P A} = lm s(P )

kP k0

llamar integral superior de la funcin f (x) desde a hasta b a:
Z b
a
f (x)dx = Inf {S(P ), P A} = lm S(P )

kP k0
2.2.2.
49
Interpretacin geomtrica
En esta parte veremos una interpretacin geomtrica de lo hallado hasta ahora. Dada una funcin acotada y no negativa, definida en un intervalo se tiene
que el grfico, encierra una porcin del plano entre la grfica de la funcin, el
eje x y las abscisas x = a y x = b. A esta porcin del plano, en general, se le
puede asignar un nmero, que medir su rea.
Si observamos el grfico de la figura 15 podremos ver que dada una particin del intervalo [a; b] se tiene que s(P ) A S(P ), llamando A al rea
de la regin que queda encerrada entre el grfico de la funcin y el eje x.
Ahora bien, dada una particin Q ms fina que la particin P se tiene que
s(P ) s(Q) A S(Q) S(P ).
Si la regin del plano, es buena como para asignarle un rea, entonces a medida
que se toman particiones cada vez ms finas, las sumas inferiores y superiores
se acercarn cada vez ms a un nmero. Ese nmero, intuitivamente ser el
rea de la regin.
Por qu decimos si la regin es buena? Bueno, dependiendo de la funcin estudiada, a la regin que queda limitada se puede asignar un rea. En algunas
ocasiones, la funcin es tan discontinua, que el concepto de rea, pierde todo
significado
Un claro ejemplo es la funcin analizada en el ejemplo 31 presentada en el
grfico 13. Se analiz anteriormente que dada cualquier particin, se tiene que
la suma inferior siempre ser 0 y la suma superior, siempre b a, y por lo
tanto, las sumas superiores e inferiores no se acercarn a ningn valor al que
podamos llamar rea.
En base a esta idea intuitiva, definimos lo que llamaremos rea de una regin
del plano limitada por una funcin f , el eje x y las abscisas x = a y x = b.
50
Figura 15: El rea bajo una curva y su aproximacin mediante sumas inferiores
y superiores
Definicin 20. Sea f [a; b] : R una funcin acotada y no negativa.

Si
Z b
Z b
f (x)dx = A
f (x)dx =
a
entonces diremos que la regin limitada por la funcin f , el eje x y las abscisas
x = a y x = b tendr rea A.
Veamos el siguiente ejemplo.
51
Figura 16: Representacin grfica de la suma inferior y superior para n = 10,

n = 20 y n = 50.
Ejemplo 33. Sea f : [0; 1] R/f (x) = x. Dividamos al intervalo en n partes
iguales y hallemos las sumas inferiores y superiores.
Redondeando a dos cifras decimales, se tiene entonces que:
1. Si n = 10 entonces:
a) s(P ) = 0, 45
b) S(P ) = 0, 55
a) s(P ) = 0, 48
b) S(P ) = 0, 52
a) s(P ) = 0, 49
b) S(P ) = 0, 51
A medida que n aumenta, la suma superior decrece y la suma inferior crece,
cada vez ms acercndose al rea de la regin, que por geometra bsica sabemos que es el rea de un tringulo y vale 0,5.
52
Si bien no hemos probado que

Z b
Z b
f (x)dx = 0, 5,
f (x)dx =
a
intuitivamente, el rea de la regin debera ser esa. Y estamos seguros, puesto

que aplicamos una frmula geomtrica.
El problema se agrava cuando la funcin no encierra una regin sencilla como
un tringulo, una circunferencia, un rectngulo, etc. Un ejemplo de ello es la
regin encerrada bajo la funcin f (x) = x2 , el eje x y el intervalo [0;2].
Ejemplo 34. Sea f : [0; 2] R/f (x) = x2 . Hallaremos la suma superior e
inferior para una particin que divide al intervalo en n partes iguales.
Observemos primero que f es creciente en el intervalo dado, luego ser creciente
en cada subintervalo [ti1 ; ti ] por lo que el nfimo mi se encontrar f (ti1 ) y
el supremo Mi en f (ti ).
Recordemos adems que ti = i
20
2
+ 0 = i , de donde
n
n

mi = f (ti1 ) = (i 1)
2
n
2
= (i 1)2
4
n2
y tambin
Mi = f (ti ) = i2
4
.
n2
Por ltimo, como todos los subintervalos tienen la misma longitud, entonces
2
20
ti =
= . Hallemos entonces la suma superior primero.
n
n
S(P ) =
n
X
Mi ti =
i=1
n
X
i=1
4 2
i 2
n n
2
Por lgebra sabemos que

n
X
i=1
i2 =
n(n + 1)(2n + 1)
,
6
n
8 X
i2
n3 i=1
53

S(P ) =
8 n(n + 1)(2n + 1)
4(n + 1)(2n + 1)
8n(n + 1)(2n + 1)
=
=
3
3
n
6
6n
3n2
Por lo tanto:
S(P ) =
8n2 + 12n + 4
.
3n2
Hallemos ahora la suma inferior.
s(P ) =
n
X
mi ti =
i=1
n
X
(i 1)2
i=1
n
X
X
4 2
8 X
8 n1
8 n1
2
2
=
(i
1)
=
i
=
i2
n2 n
n3 i=1
n3 i=0
n3 i=1
Utilizando la frmula usada para la suma superior, se tiene que:
s(P ) =
4(n2 n)(2n 1)
8n3 12n2 + 4n
8 (n 1)n(2(n 1) + 1)
=
=
.
n3
6
3n3
3n3
Ahora hallaremos la integral superior e inferior de la funcin:

Z b
a
Z b
a
8n2 + 12n + 4
8
=
n
3n2
3
x2 dx = lm S(P ) = lm
kP k0
8n3 12n2 + 4n
8
=
3
n
3n
3
x2 dx = lm s(P ) = lm
kP k0
Vemos entonces, que la regin encerrada entre la funcin y el eje x tiene rea
8
igual a .
3
El clculo de reas bajo una funcin no es sencillo, con las herramientas que
se tienen hasta ahora. Para ello, el lector podr leer cualquier libro de Anlisis
Matemtico y estudiar la integracin de funciones como mtodo mucho ms
eficaz para hallar reas que el utilizado hasta ahora.
Figura 17: Regin a la que se le hall su rea en el ejemplo 34.
54
2.2.3.
55
Suma inferior y superior para funciones no positivas
Hasta ahora hemos trabajado slo con funciones no negativas. Ello fue porque
necesitbamos motivar el uso de la suma superior e inferior para hallar el rea
de una regin encerrada entre la funcin y el eje x. Ahora queremos estudiar
qu ocurre cuando la funcin no es positiva. Esto traer como consecuencia
algunos cambios en el significado que le hemos dado a la suma superior e
inferior.
En efecto, comenzamos esta parte del texto analizando un ejemplo sencillo:
Ejemplo 35. Sea la funcin, acotada y no positiva f : [1; 1] R tal que
f (x) = x 2.
Dada la particin Q = {1; 0; 12 ; 1}, hallemos su suma superior e inferior:
s(Q) =
3
X
i=1
S(Q) =
3
X
i=1
mi ti = 2 1
5 1
1
5 3
19
3 = 2 =
2 2
2
4 2
4
Mi ti = 1 1 2
1 5 1
5
13
= 1 1 =
2 2 2
4
4
Observemos que si la regin analizada tiene rea A, entonces debera ocurrir

13
que s(P ) A S(P ) o lo que es lo mismo 19
4 A 4 con lo que
estaramos asegurando que el rea A es un nmero negativo. Sabemos que el

rea de una figura plana no debera dar un nmero negativo, pero entonces
qu ocurri?
Pues bien, en realidad, lo que se obtiene con las sumas superior e inferior es el
rea con signo o rea orientada que existe entre la funcin f (x) y el eje x. As,
si la funcin es no positiva, el rea de la regin debera ser no positiva tambin.
Es por ello que enunciamos el siguiente:
56
Teorema 2.11. Sea f : [a; b] R una funcin acotada y no positiva.

Dada cualquier particin Q del intervalo, se tiene que:
1. s(Q) 0
2. S(Q) 0

Con lo analizado anteriormente, nos vemos obligados a reformular la definicin
20:
Definicin 21. Sea f [a; b] : R una funcin acotada.

Si
Z b
Z b
f (x)dx = A
f (x)dx =
a
entonces diremos que la regin limitada por la funcin f , el eje x y las abcisas
x = a y x = b tendr rea orientada A.
Ntese que ya no necesitaremos hacer hincapi en que la funcin sea no positiva

ni no negativa. Es por ello que slo pedimos que la funcin sea acotada en el
intervalo analizado.
Al igual que para funciones no negativas, tambin pueden existir regiones del
plano a las que no se les puede asignar ningn valor A como rea. Tal es el
caso del siguiente:
57
Ejemplo 36. Sea g : [a; b] R tal que
g(x) =
1 si
xQ
0 si x R Q
Como se puede apreciar, la funcin g(x) no es continua pero s acotada y

no negativa. Dada una particin Q cualquiera, se tiene que S(Q) = 0 y
s(Q) = (b a) por lo que no se puede asignar ningn valor A como rea.
Es natural ahora, preguntarse qu ocurre cuando la funcin en el intervalo
[a; b] es no negativa y no positiva.
2.2.4.
Suma inferior y superior para funciones
Para ello, analizaremos el siguiente ejemplo:
Ejemplo 37. Sea f : [2; 2] R tal que f (x) = x2 1 y sean las particiones
P, Q y R de tal manera que dividen al intervalo en 10, 30 y 100 subintervalos
de la misma longitud. Hallando ahora las sumas inferiores y superiores utilizando ambas particiones se obtienen los siguientes resultados con dos cifras
decimales:
1. S(P ) = 3, 04
2. S(Q) = 1, 88
3. S(R) = 1, 49
y
58
1. s(P ) = 0, 16
2. s(Q) = 0, 81
3. s(R) = 1, 17
Se puede ver en el ejemplo anterior, que para la particin P la suma inferior
y superior tienen distinto signo, sin embargo cuando la particin se hace ms
fina, ambas sumas tienen el mismo signo. Esto ocurre porque la funcin vara
de signo en todo el intervalo.
Si analizamos la funcin en los intervalos [-2;-1], [-1;1] y [1;2] vemos que el
rea de la regin en los intervalos [-2;-1] y [1;2] tiene signo positivo porque la
funcin es no negativa all. Y el rea de la regin en el intervalo [-1;1] tiene
signo negativo, porque la funcin es no positiva all.
Cabe preguntarse entonces hacia qu valor tienden la suma superior e inferior
a medida que la particin es ms fina? y cul es el significado de dicho valor?
Para contestar ambas preguntas hallemos el rea de la regin estudiada.
Dividiremos la regin en cuatro subregiones. La regin encerrada en el intervalo
[-2;-1], a la que llamaremos R1 . La encerrada en el intervalo [-1;0] a la que
llamaremos R2 . R3 ser la regin encerrada en el intervalo [0;1] y R4 ser la
regin encerrada en el intervalo [1;2]. Por cuestiones de simetra, las regiones
R1 y R4 tienen la misma rea. As tambin las regiones R2 y R3 .
Calculemos entonces el rea A3 de la regin R3 .
59
Hallemos primeramente la suma inferior:

s(P ) =
=
n
X
i=1
n
X
mi ti =
f (ti1 )ti =
i=1
n
X
1
=
f (i 1)
n
i=1
=
=
[[(i 1)2 ]
1
1
1]
n2
n
n
X
i=1
n 2
X
i
i=1
=
=
=
=
=
2i + 1
1
n3
n
X
i2
i=1
1
=
n
n3
X i
n3
X 1
n3
1=
n(n + 1)(2n + 1)
n(n + 1)
n
2
+ 3 1=
3
3
6n
2n
n
(n + 1)(2n + 1) n + 1
1
+ 2 1=
6n2
n2
n
2
2n + 3n + 1 1
1=
6n2
n
2
2n 3n + 1
1
6n2
Luego, la integral inferior es:

Z 1
0
x 1 dx = lm s(P ) = lm
kP k0
2n2 3n + 1
1
6n2
1
2
1=
3
3
60
Hallemos ahora, la suma superior:

S(P ) =
=
n
X
i=1
n
X
Mi ti =
f (ti )ti =
i=1
n
X
1
=
f (i)
n
i=1
=
=
n
X
i=1
n
X
i=1
=
=
=
1
=
n
[i2
1
1
1]
n2
n
i2
n3
n(n + 1)(2n + 1)
1=
6n3
(n + 1)(2n + 1)
1=
6n2
2n2 + 3n + 1
1=
6n2
Luego, la integral superior es:

Z 1
0
x 1 dx = lm S(P ) = lm
kP k0
Vemos entonces que, como
Z 1
2n2 + 3n + 1
1
6n2
x2 1 dx =
Z 1
decimos que el rea A3 de la regin R3 es 23 .

Calculemos ahora el rea A4 de la regin R4 .
1
2
1=
3
3

2
x2 1 dx = , entonces
3
61
Figura 18: Sumas para dos particiones de la funcin f (x) = x2 1.

Hallemos primeramente la suma inferior:
s(P ) =
=
=
=
n
X
i=1
n
X
i=1
n
X
i=1
n
X
mi ti =
f (ti1 )ti =

f 1 + (i 1)
"
=
=
n
X
i=1
n
X
i=1
n
X
i=1
=
=
=
=
1
1 + (i 1)
n
i=1
1
n
"
1
=
n
2
1
1
n
1
1
1
1 + 2(i 1) + (i 1)2 2 1
n
n
n

2i 2
i2
2i
1 1
+ 2 2+ 2
n
n n
n
n n
2i
2
i2
2i
1
+
3+ 3
2
2
3
n
n
n
n
n
2n(n + 1) 2n n(n + 1)(2n + 1) 2n(n + 1)

n
2 +
+ 3 =
2
3
3
2n
n
6n
2n
n
n + 1 2 (n + 1)(2n + 1) n + 1
1
+
+ 2 =
n
n
6n2
n2
n
6n2 + 6n 12n + 2n2 + 3n + 1 6n 6 + 6
=
6n2
8n2 9n + 1
6n2
62
Luego, la integral inferior es:

Z 2
8n2 9n + 1
6n2
x 1 dx = lm s(P ) = lm
kP k0
4
3
4
3
Hallemos ahora, la suma superior:

S(P ) =
=
=
=
n
X
i=1
n
X
i=1
n
X
i=1
n
X
Mi ti =
f (ti )ti =

f 1+i
"
=
=
""
i=1
n
X
i=1
=
=
=
=
1
1+i
n
i=1
n
X
1
n
1
=
n
2
1
1
n
2i
i2
1
1+
+ 2 1
n
n
n
i2
2i
+
n2 n3
2n(n + 1) n(n + 1)(2n + 1)

+
=
2n2
6n3
n + 1 (n + 1)(2n + 1)
+
=
n
6n2
6n2 + 6n + 2n2 + 3n + 1
=
6n2
8n2 + 9n + 1
6n2
Luego, la integral superior es:

Z 2
x 1 dx = lm S(P ) = lm
Vemos entonces que, como
kP k0
Z 2
x 1 dx =
decimos que el rea A4 de la regin R4 es 43 .
8n2 + 9n + 1
6n2
Z 2
1
x2 1 dx =
4
, entonces
3
63
Llamemos A = A1 + A2 + A3 + A4 . Se tiene entonces, por los clculos realizados anteriormente y por la igualdad de las reas de las subregiones que
4 2 2 4
4
A= + = .
3 3 3 3
3
Este valor es entonces el valor hacia el cual tienden las suma inferior y superior
a medida que la particin se hace cada vez ms fina. Y como se puede apreciar,
es la suma de las reas orientadas.
Es por ello que nos vemos nuevamente en la obligacin de cambiar nuestra
definicin 21 dada anteriormente.
Definicin 22. Sea f [a; b] : R una funcin acotada.

Z b
Z b
f (x)dx =
Si
a
f (x)dx = A entonces diremos A es la suma de las reas

a
orientadas de la regin limitada por la funcin f , el eje x y las abscisas x = a

y x = b.
SUBSECCIN 2.3
64
Ejercicios
1. Dado el intervalo [2;5] escriba cinco particiones del mismo.

2. Dado el intervalo [; 1]:
a) Escriba una particin P de 5 puntos.
b) Escriba una particin Q que sea ms fina que P .
c) Escriba una particin R que sea ms fina que P pero no ms fina
que Q.
d) Escriba una particin S no comparable con ninguna de las particiones anteriores.
3. Dado el intervalo [-2;3], escriba una particin P de manera tal que se
tenga que kP k = 0, 8
4. Para cada una de las particiones de los ejercicios anteriores calcule todas
las longitudes de los subintervalos. Obtenga tambin la norma de las
particiones.
5. Dado el intervalo [ 32 ; 1] halle una familia de 5 particiones Pj de manera tal que todas ellas dividan al intervalo en subintevalos de la misma
longitud y que Pj Pj+1 .
6. Para cada una de las siguientes funciones, halle la suma superior e inferior
de acuerdo a la particin dada.
a) f : [2; 3] R/f (x) = x + 4
siendo P = {2; 2, 2; 2, 5; 2, 7; 3}
b) f : [1; 4] R/f (x) = |x|
siendo P = {1; 0, 5; 1; 3; 3, 5; 4}
65
c) f : [3; 1] R/f (x) = x2

siendo P = {3; 2, 5; 2; 1, 4; 1, 1; 1}
d) f : [5; 5] R/f (x) = 2
siendo P = {5; 4; 3; 2; 1; 0; 1; 2; 3; 4; 5}
e) f : [1; 4] R/
f (x) =
x+1
si x
/N
0 si x N
siendo P = {1; 1, 5; 2; 2, 5; 3, 5; 4}
f ) f : [1; 3] R/
f (x) =
x2
si x > 0
si x 0
siendo P = {1; 0, 3; 0, 1; 0; 1; 2; 2, 5; 2, 6; 2, 8; 3}
7. Dado el intervalo [1; ] y la funcin f (t) = t + 2 definida sobre l,
encuentra una particin Q de manera tal que S(Q) s(Q) < 43 .
8. Para cada una de las siguientes funciones, halle la integral superior e
inferior, tomando una particin P que divida al intervalo dado en n
partes iguales y haciendo tender el n hacia infinito.
a) f : [2; 3] R/f (x) = x
b) f : [1; 0] R/f (x) = x + 2
c) f : [3; 3] R/f (x) = x2
d) f : [0; 2] R/f (x) = x2
e) f : [2; 0] R/f (x) = 2x + 2
66
f ) f : [2; 1] R/f (x) = 3x2 + 2

g) f : [1; 1] R/f (x) = x2 + x
h) f : [2; 2] R/f (x) = x2 + 3
i) f : [1; 3] R/f (x) = 2
9. Sea f (x) = x2 + 1 y el intervalo [-2;4]. Escriba una particin de al menos
4 puntos. Hallar la suma superior y la suma inferior de la particin.
10. Sea g(x) = x y el intervalo [1;3]. Encuentre una particin P del intervalo
dado de manera tal que S(P ) s(P ) < 0, 5.
11. Dada la funcin y = sen(x) y el intervalo 2 ; 2 . Elija una particin R
de al menos 4 puntos y que los subintervalos no sean todos de la misma

longitud. Dibuje la suma inferior de la particin en el intervalo dado.
12. Dada la funcin h(x) = x4 + 4 y el intervalo [-4;2], elige una particin P
con al menos 5 puntos de manera tal que los subintevalos sean todos de
la misma longitud. Dibuje la suma superior de la particin en el intervalo
dado.
13. Pruebe que dada una funcin constante y un intervalo [a; b] cualquiera,
se tiene que para cualquier particin P del intervalo resulta que
S(P ) s(P ) = 0.
14. Sea f (x) = x2 + 2 y el intervalo [-1;3].
Sea la particin P = {1; 0, 5; 0, 5; 1; 2; 2, 5; 3}.
a) Calcule la suma superior de la particin en el intervalo dado.
b) Halle una particin Q ms fina que P .
c) Calcule la suma superior de la particin Q en el intervalo dado.
67
d) Compruebe que S(P ) S(Q) > 0.

15. Ser cierto que si g > 0 en el intervalo [a; b], entonces S(P ) > 0 para
cualquier particin P ? Justifique su respuesta.
16. Ser cierto que si g < 0 en el intervalo [a; b], entonces S(P ) < 0 para
cualquier particin P ? Justifique su respuesta.
17. Encuentre una particin P , una funcin f y un intervalo [a; b] de tal
manera que S(P ) > 0 pero que f no sea mayor a cero en todo el intervalo.
1
y el intervalo [-1;1], entonces
x2
no es posible encontrar S(P ) para cualquier particin P del intervalo
18. Demuestre que dada la funcin f (x) =
dado.
19. Pruebe que la funcin tg() no es R-integrable en el intervalo [; 0].
(Sug.: demuestre que no se puede calcular la suma inferior usando cualquier particin Q de dicho intervalo).
20. Dada una funcin g, un intervalo [a; b] y una particin Q de dicho intervalo, ser cierto que si S(Q) > 0 entonces g > 0 en todo el intervalo
[a; b]? Justifique su respuesta.
u+1
y el intervalo [1; 0], escriba una particin
u1
P de al menos cuatro puntos. Halle la suma superior e inferior.
21. Dada la funcin h(u) =
1
22. Existe el rea entre la funcin m(t) = y el eje de las abscisas en el
t
intervalo [1; 2]? Si la respuesta es SI, encuentre el valor de la integral.

Si la respuesta es NO, justifique por qu no lo es.
23. Dado el intervalo [2; 4]. Encuentra una particin R del intervalo de manera tal que kRk < 12 .
68
24. Repita el ejercicio anterior para el intervalo [-1; 3] pero con la condicin
que
1
2
< kRk < 1.
25. Escriba una sucesin de particiones

h
P1 ; P2 ; P3 ; P4 ; P5 del intervalo 1; 52 de manera tal que

P1 P2 P3 P4 P5
pero que la norma de las particiones no tienda a cero.
SUMA DE RIEMANN
69
SECCIN 3
Suma de Riemann
SUBSECCIN 3.1
3.1.1.
La suma de Riemann
Anlisis de un ejemplo
En la seccin anterior, hemos definido la suma inferior y superior, a partir de

tomar el nfimo y el supremo de la funcin en cada subintervalo determinado
por una particin P del intervalo [a; b] en el cual est definida la funcin. Nos
proponemos estudiar ahora, otro tipo de suma, en la que no se tiene en cuenta
el nfimo o supremo de la funcin.
Comencemos entonces por tomar un ejemplo, a partir del cual, desarrollaremos los conceptos que se estudiarn en esta seccin.
Ejemplo 38. Sea f : [1; 2] R tal que f (x) = x.

Sea la particin P = {1; 1, 3; 1, 5; 1, 6; 1, 8; 2}. En cada subintervalo [ti1 ; ti ]
tomaremos un valor cualquiera, al que llamaremos ci . En otras palabras,
ci [ti1 ; ti ].
Tomaremos entonces a c1 = 1, 2; c2 = 1, 35; c3 = 1, 58; c4 = 1, 75 y c5 = 1, 9.
Como puede apreciarse, no es necesario que el ci sea el punto medio del intervalo [ti1 ; ti ]. Puede ser cualquier punto que est en dicho intervalo, inclusive
ci puede tomar el valor de los extremos ti1 o ti .
Hallemos la siguiente suma:
5
X
f (ci )ti = 1, 2 0, 3 + 1, 35 0, 2 + 1, 58 0, 1 + 1, 75 0, 2 + 1, 9 0, 2 = 1, 518
i=1
Podramos haber tomado otros valores ci , a partir de los cuales, podemos

hallar nuevamente la suma anterior.
SUMA DE RIEMANN
70
Tomaremos entonces a c1 = 1, 25; c2 = 1, 4; c3 = 1, 52; c4 = 1, 7 y c5 = 2.

Hallemos ahora, la siguiente suma con los nuevos ci :
5
X
f (ci )ti = 1, 25 0, 3 + 1, 4 0, 2 + 1, 52 0, 1 + 1, 7 0, 2 + 2 0, 2 = 1, 547
i=1
Las sumas anteriores estn muy cerca del valor 1,5 que es el rea de la regin
encerrada entre la funcin f (x) = x, el eje x y las abscisas x = 1 y x = 2.
Entonces deberamos preguntarnos: qu relacin hay entre esta suma y el
clculo de reas? y tambin qu relacin hay entre esta suma y las suma
superior e inferior?
Para responder a esta pregunta, definamos la suma realizada con anterioridad y luego demostraremos algunos teoremas importantes que responder a las
cuestiones anteriores.
Comencemos entonces con la siguiente:
Definicin 23. Sea f : [a; b] R, una funcin acotada. Sea P una particin
del intervalo dado. Llamaremos suma de Riemann y lo denotaremos con la
letra griega a:
P (f ) =
n
X
f (ci )ti
i=1
con ci [ti1 ; ti ], i.
Una suma de Riemann es como una suma superior o inferior, nada ms que en
vez de tomar el supremo o el nfimo en cada subintervalo, se toma la imagen
de los ci elegidos.
SUMA DE RIEMANN
3.1.2.
71
Relacin con la suma superior e inferior
Como se vio anteriormente, para una funcin, un intervalo y una particin

dada, hay una sola suma inferior y una sola suma superior. Sin embargo, se
puede observar que hay infinitas sumas de Riemann, dependiendo de cmo
son elegidos los ci en cada subintervalo. Ahora bien, el tener infinitas sumas
de Riemann para una particin es una desventaja.
Sin embargo, como lo muestra el siguiente teorema, todas las sumas de Riemann se encuentran entre la suma inferior y superior.
Teorema 3.1. Sea f : [a; b] R, una funcin acotada. Sea P una
particin del intervalo dado. Se tiene que s(P ) P (f ) S(P ) con
ci [ti1 ; ti ], i.
Demostracin. Veamos en primer lugar que, en cada subintervalo [ti1 ; ti ] se

tiene que
mi f (ci ) Mi , ci [ti1 ; ti ]
(Vease figura 19)
Multiplicando en todos los miembros de la desigualdad por ti se tiene que

mi ti f (ci )ti Mi ti
Y sumando con i variando de 1 a n, resulta que:
n
X
mi ti
i=1
n
X
f (ci )ti
i=1
n
X
Mi ti
i=1
Es decir: s(P ) P (f ) S(P ).

En base al teorema anterior, podemos deducir una cuestin terica muy importante. Para ello, enunciamos el siguiente:
SUMA DE RIEMANN
Figura 19: f (x) en el subintervalo [ti1 ; ti ]
72
SUMA DE RIEMANN
73
Teorema 3.2. Sea f : [a; b] R, una funcin acotada. Sea P una

particin del intervalo dado. Se tiene que
Z b
Z b
f (x)dx lm P (f )
f (x)dx
kP k0
Demostracin. En efecto, como s(P ) P (f ) S(P ), tomando lmite en

cada miembro de la desigualdad resulta que:
lm s(P ) lm P (f ) lm S(P )
kP k0
kP k0
kP k0

Z b
f (x)dx lm P (f )
Z b
kP k0
f (x)dx
a
En otras palabras, todas las sumas de Riemann, a medida que la particin se

vuelve ms fina, quedarn entre dos valores: el supremo de las sumas inferiores
y el nfimo de las sumas superiores.
Y si la suma de las reas orientadas de la regin encerrada entre la funcin
Z b
y el eje x tiene valor A, o en otras palabras, si
Z b
f (x)dx = A
f (x)dx =
a
entonces resulta que:

lm P (f ) = A
kP k0
Hemos encontrado otra forma de definir la suma de las reas orientadas de

una regin encerrada entre la funcin f y el eje x en el intervalo [a; b]. Esta
definicin, tiene usos ms tericos que prcticos, y se utilizar para definir por
ejemplo, la integral definida de una funcin, tema que excede a las pretensiones de este cuadernillo.
SUMA DE RIEMANN
SUBSECCIN 3.2
74
Ejercicios
1. Sea la funcin h(x) = x3 en [1;3].

Sea la particin P = {1; 1, 2; 1, 5; 2; 2, 4; 2, 7; 3}.
a) Calcule su suma inferior y superior.
b) Calcule su suma de Riemman, eligiendo cualquier xi en [ti1 ; ti ]
c) Compare los resultados con la de tus compaeros y compruebe que
siempre se cumple que s(P ) (P ) S(P ).
2. Para cada una de las siguientes funciones, escriba una particin del intervalo de al menos 6 puntos y halle la suma de Riemann, eligiendo a
voluntad los xi en [ti1 ; ti ].
a) f (x) = x2 en [1;3]
b) g(x) = x 2 en [-1;2]
x
c) h(x) = 2
en [0;4]
x +1

d) j(x) = sen(x2 ) en ; 2
1
e) k(x) = 2 en [-2;2]
x
3. Dada la funcin f : [1; 3] R/
f (x) =
x + 1 si x [1; 0)
4 si x = 0
x + 2 si
0 si
x (0; 2]
x (2; 3]
y la particin P = {1; 0, 5; 0; 0, 2; 0, 7; 1, 3; 1, 6; 2; 2, 5; 3}, halle la suma

inferior, la suma superior y la suma de Riemann, .
Compare los resultados.
Este libro ha sido diseado mediante las siguientes herramientas:

LaTeXila
TexMaker
LatexDraw
Inkscape
Geogebra
TeXstudio
sobre Ubuntu Linux 14.04
ndice alfabtico
rea, 49
intervalo
orientada, 55
abierto, 8
suma de reas, 63
cerrado, 8
conjunto
particin, 23
acotado, 9
comparables, 46
cota
ms fina, 26, 43
inferior, 14
no comparables, 26
superior, 13
norma, 25
subintervalos, 31
extremos, 17
nfimo, 14, 17, 19, 32
suma
mnimo, 16
inferior, 32
mximo, 16
superior, 32
supremo, 15, 17, 18
suma de Riemann, 70
funcin
acotada, 12
constante, 36
discontinua, 37
no negativa, 31
no positiva, 55
integral inferior, 47
integral superior, 47
76
NDICE ALFABTICO
77
A pesar de todas las correcciones hechas al texto, puede que el lector encuentre algn error. En ese caso deseara que me lo haga llegar a [email protected]. Todas las apreciaciones sern bienvenidas.
Mayor Villafae, Provincia de Formosa.
29 de octubre de 2015
ISFDyT "Vctor Manuel Almenara"

Mayor Villafae - Formosa

Suma Inferior, Superior y de Riemman

Cargado por

Copyright:

Formatos disponibles

Suma Inferior, Superior y de Riemman

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Suma Inferior, Superior y de Riemman

Cargado por

Copyright:

Formatos disponibles

Nmero 01-15

Prof. Martnez Rolando Ramn

ISFDyT "Vctor Manuel Almenara"

Dedicado a mi esposa, quien soport que yo escriba un texto de matemtica

1.1. Extremos en un conjunto . . . . . . . . . . . . . . . . . . . . .

1.1.1. Intervalos y conjuntos acotados . . . . . . . . . . . . . .

1.1.3. Propiedades de los extremos . . . . . . . . . . . . . . . .

2. Suma inferior y superior

2.1. Particin de un intervalo . . . . . . . . . . . . . . . . . . . . . .

2.1.2. Comparacin de particiones . . . . . . . . . . . . . . . .

2.1.3. Norma y cantidad de puntos . . . . . . . . . . . . . . .

2.1.4. Ubicacin de puntos . . . . . . . . . . . . . . . . . . . .

2.2. Suma inferior y superior . . . . . . . . . . . . . . . . . . . . . .

2.2.1. Suma inferior y superior para funciones no negativas . .

2.2.2. Interpretacin geomtrica . . . . . . . . . . . . . . . . .

2.2.3. Suma inferior y superior para funciones no positivas . .

2.2.4. Suma inferior y superior para funciones . . . . . . . . .

3.1. La suma de Riemann . . . . . . . . . . . . . . . . . . . . . . . .

3.1.1. Anlisis de un ejemplo . . . . . . . . . . . . . . . . . . .

3.1.2. Relacin con la suma superior e inferior . . . . . . . . .

Intervalos y conjuntos acotados

Antes de abordar los temas que se tratarn en el presente texto, es necesario,

Definicin 1. Llamaremos intervalo abierto (a; b), con a < b al conjunto

Definicin 2. Siendo a < b, llamaremos:

Intervalo abierto a derecha: [a; b) = {x R/a x < b}

Analicemos algunos ejemplos:

Figura 1: Intervalo cerrado [a; b]

N}. En otras palabras, M est

formado por las fracciones de numerador igual a 1. Este conjunto M puede

Figura 2: El conjunto A = {f (x) R/x [1; 2]}

Figura 3: Idea de la representacin grfica del conjunto M

Definicin 4. Una funcin se dir acotada, si y solo si existen dos nmeros

Teorema 1.1. Si A y B son dos conjuntos no vacos y acotados, entonces:

Demostracin. La demostracin se deja como ejercicio.

Demostracin. La demostracin se deja como ejercicio.

Definicin 6. Dado un conjunto A R, se llamar cota inferior del conjunto

En otras palabras, la cota superior de un conjunto, es un valor que supera o

Definicin 7. Se llamar nfimo del conjunto A, a la cota inferior i de A tal

que k i; k cota inferior de A.

Es decir, el nfimo de un conjunto es la mayor de todas las cotas inferiores del

Sea el conjunto C = {h(x) R/x [1; 3)}.

Definicin 8. Se llamar supremo del conjunto A, a la cota superior s tal

Es decir, el supremo de un conjunto es la menor de todas las cotas superiores

Definicin 9. Dado un conjunto A, el nmero M se llamar mximo del

En otras palabras, el mximo de un conjunto es su supremo pero si es que

Propiedades de los extremos

En este apartado, enunciaremos algunas propiedades bsicas que tienen los

Demostracin. Sea el conjunto M acotado superiormente. Y supongamos por

Demostracin. La demostracin queda a cargo del lector.

Demostracin. En efecto, como s es el supremo del conjunto M se tiene que

Teorema 1.6. Dado un conjunto M R, acotado inferiormente, se

Demostracin. La demostracin es anloga a la del teorema anterior.

Demostracin. La demostracin queda como ejercicio para el lector.

Demostracin. La demostracin queda como ejercicio para el lector.

1. Indique para cada conjunto dado, si es acotado o no. Justifique su respuesta.

6. Halle el supremo e nfimo de los conjuntos del ejercicio anterior.

a) Escriba el conjunto D = Imgg (Es decir el conjunto imagen de la

SUMA INFERIOR Y SUPERIOR

Suma inferior y superior