Notas de apoyo

Particiones de intervalos reales

y sumas de Riemann






David Alexander Durn Osorio
Monitoria de Clculo en una variable






Licenciatura en matemticas y fsica




Universidad de Antioquia
Facultad de educacin
Departamento de enseanza de las ciencias y las artes

Medelln 2013
Definicin (Particin)
sea = [, ] un intervalo real, con , entonces se define:
P: particion del intervalo I al conjunto de intervalos:

1
,
2
, . ,

tales que: =
1

2
, . ,

con

=
,
{1,2, , }
La particin P, puede ser representada tambin de la siguiente manera:
=
0
<
1
<, ,
1
<

<, ,
1
<

=
donde [
1
,

] representa el i simo sub intervalo de la particin

Definicin (El ancho de cada sub intervalo)
El ancho o longitud de cada sub intervalo se define mediante:

1
se tiene,
1
=
1

0
=
1


2
se tiene,
2
=
2

1

.
.
.

se tiene

1

.
.
.

1
=
1


Definicin (Norma de la particin)
La mayor longitud de los sub intervalos, se define como norma de la particin y
se denota:
, de manera que: = {
1
,
2
, ,

}
Es decir, la norma de la particin es el mayor elemento del conjunto de las
normas de los sub intervalos
Definicin (particin regular)
Una particin de un intervalo = [, ], se dice regular, si y solo si:

1
=
2
=, , =

Esto es, todos los sub intervalos tienen el mismo ancho o longitud.
De este modo, el ancho o longitud de cada sub intervalo puede denotarse
simplemente
, donde: =

siendo n es el nmero de sub intervalos

El problema del rea bajo la grfica de una funcin continua y positiva en
un intervalo [, ]
Suponga que se desea calcular el rea limitada por la grfica de la funcin
() =
2
y limitada por el eje x y las rectas x=0 y x=2, es decir en el intervalo
[0,2]
A continuacin se muestra la grfica de la funcin en cuestin


Naturalmente, las frmulas conocidas de la geometra, no nos permiten resolver
el problema. Lo que se har a continuacin ser aproximar el rea buscada
mediante polgonos, cuya rea si podremos calcular fcilmente. Estos polgonos
sern inicialmente rectngulos. Para ello, se har una particin del intervalo dado
[0,2] y en cada sub intervalo se dibujar un rectngulo. Arqumedes de Siracusa,
se anticip a la idea bsica del mtodo que utilizaremos con un procedimiento
para calcular el rea de figuras curvas, conocido como mtodo de exhaustacin.
Las aproximaciones al rea podrn exceder dicha rea, o ser inferior a ella.
Consideremos el primer caso.
Aproximacin mediante rectngulos por exceso
Supngase que el intervalo [0,2] es dividido en 5 sub intervalos de igual longitud
(particin regular), para facilitar los clculos, y en cada sub intervalo se dibuja un
rectngulo cuya altura se traza en el lado derecho del sub intervalo
correspondiente, y llega hasta la grfica de la funcin, como se ilustra en la
siguiente figura.




Vemos que la suma de las reas de los rectngulos

Alude a la suma
de las reas de los rectngulos de altura en el extremo derecho de los sub
intervalos) nos proporciona una aproximacin por exceso del rea A bajo la
grfica, limitada por el eje x y las rectas x=0 y x=2
En este caso, tenemos <

y puede notarse que si aumentamos el

nmero de rectngulos amentando la cantidad de sub intervalos de la particin,
obtenemos una aproximacin mejor del rea A, como se ilustra en la siguiente
grfica, donde se usaron 30 rectngulos.


En el primer caso, el rea

est dada por:

= (0,4)(0.4) +(0.4)(0,8) +(0,4)(1,2) + (0,4)(1,6) +(0,4)(2)

Note que 0,4 es la norma de la particin regular obtenida segn la expresin para
particiones regulares:
=

=
2 0
5
= 0,4
Tambin, el extremo derecho de cada sub intervalo viene dado por:
Para
1
;
1
=
0
+ = + = 0 + = 0,4
Para
2
;
2
=
0
+2 = 0 +2(0,4) = 0,8
Para
3
;
3
=
0
+3 = 0 +3(0,4) = 1,2
.
.
.
Para

=
0
+ = 0 + =
.
.
.
Para

=
5
=

=
5
=
0
+ = 0 +5(0,4) = 2


Ntese adems que para cada rectngulo, el rea viene dada por: (

)
Para 1 5 Luego:

= (0,4)[(0,4) +(0,8) +(1,2) +(1,6) + (2)]

Y como () =
2
se tiene que:

= (0,4)[(0,4)
2
+(0,8)
2
+(1,2)
2
+(1,6)
2
+(2)
2
]

=3.52
2





En el segundo caso, procediendo anlogamente se concluye que:

= (
1
15
) [ (
1
15
) + (
2
15
) ++(2)] Por qu?

= (
1
15
) [(
1
15
)
2
+(
2
15
)
2
++(2)
2
] Por qu?

= 2,814
2

Donde
1
15
es la norma de la particin por qu?
Podemos concluir de estos dos procesos, que el rea A sea un poco menor que
2.814 unidades cuadradas, y enunciar adems una expresin general para
aproximaciones usando rectngulos en cuyo extremo derecho se traza la altura
hasta la grfica de la funcin:

= (

=1

Donde (

) es el rea del i-simo rectngulo.

Analice la siguiente afirmacin, y argumente su veracidad o falsedad
Para una funcin f(x) continua y positiva en un intervalo [a,b], la aproximacin
del rea bajo su grfica en un intervalo dado mediante rectngulos cuya altura
se levanta desde su extremo derecho a la grfica de la funcin, siempre excede
el rea bajo la grfica limitada por el eje x y el intervalo en cuestin.

Aproximaciones con rectngulos cuya altura se traza desde el extremo
izquierdo de los sub intervalos hasta la grfica de la funcin
Si consideramos la misma funcin en el mismo intervalo, con una particin
regular de 10 sub intervalos, pero esta vez trazamos los rectngulos de manera
que su altura se tome en el extremo izquierdo de los sub intervalos, la grfica
sera:

Claramente, si aproximamos el rea esta vez, la aproximacin no exceder el
rea bajo la grfica limitada por el eje x y las rectas x=0 y x=2 es decir:

<
Aqu se tendra que:
=

=
2 0
5
= 0,4
Y el extremo izquierdo de cada sub intervalo ser:
Para
1
;
0
= = 0
Para
2
;
1
=
0
+ = 0 +(0,4) = 0,4
Para
3
;
2
=
0
+2 = 0 +2(0,4) = 0,8
.
.
.
Para

;
1
=
0
+( 1) = 0 + = ( 1)
.
.
.
Para

=
4
;
1
=
0
+( 1) = 0 +4(0,4) = 1.6
Aqu, para cada rectngulo, el rea est dada por: (
1
)
As que el rea A ser aproximada por la suma de las reas de los rectngulos
de altura en el extremo izquierdo

Denota la suma de las reas de los

rectngulos con altura trazada en el extremo izquierdo de los sub intervalos)
como sigue:
[(
0
) +(
1
) +(
2
) +(
3
) +(
4
)] por qu?
0.4[(0)
2
+(0.4)
2
+ (0.8)
2
+(1.2)
2
+(1.6)
2
] por qu?
1.92
2

Si usamos treinta rectngulos, obtenemos como en el caso anterior un valor ms
prximo al rea pero en este caso an menor que el rea que se busca.
As, tendramos que:

1
15
[(
0
) +(
1
) ++(
29
)] por qu?

1
15
[(0)
2
+(
1
15
)
2
+ (
2
15
)
2
++(
29
15
)
2
] por qu?
2.5348
2



En resumen, al utilizar particiones regulares de cinco sub intervalos, se mostr
que:
<

< 3.52
2
(1)
>

> 1.92
2
(2)
Es decir: 1.92
2
< < 3.52
2

Luego se mejor la aproximacin con treinta sub intervalos, y se obtuvo
<

< 2,814
2
(1)
>

> 2.5348
2
(2)
Es decir: 2.5348
2
< < 2,814
2


La expresin general para aproximaciones usando rectngulos en cuyo extremo
izquierdo se traza la altura hasta la grfica de la funcin es:

= (
1
)

=1

Donde (
1
) es el rea del i-simo rectngulo.

Aproximaciones mediante rectngulos cuya altura se toma en el punto
medio de los sub intervalos.
Consideremos el i-simo sub intervalo = [
1
,

] el punto medio de este sub

intervalo puede hallarse mediante:
=

1
+

2

Y nuevamente si hacemos una particin regular de [a,b] en un nmero n de
rectngulos, para aproximar el rea bajo el grfico de una funcin f en el intervalo
en cuestin y entre las rectas x=a y =b, se tendr:
=

As, el rea del i-simo rectngulo ser:
() = (

1
+

2
)

Ahora, se sabe ya que:

=
0
+ = +

1
=
0
+( 1) = +( 1)
As:
() = (
+( 1) + +
2
)

= (
2 +(2 1)
2
)

Luego, la expresin general para aproximar el rea mediante esta clase de
rectngulos ser:

= ()

=1
= (
2 +(2 1)
2
)

=1


(

Denota la suma de las reas de los rectngulos con altura trazada en el

punto medio de los sub intervalos)
Ejercicio 1.
Graficar la particin con rectngulos cuya altura se toma en el punto medio, y
aproximar el rea usando 10 rectngulos. Luego compare esta aproximacin con
las presentadas anteriormente. Qu puede concluir?

Aproximaciones trapezoidales
A continuacin, se mostrar como obtener una mejor aproximacin utilizando
trapecios en lugar de rectngulos. Las bases de los trapecios se trazan en el
extremo izquierdo y derecho de los sub intervalos, y llegan hasta la grfica de la
funcin como se ilustra a continuacin

El rea del trapecio construido en el i-simo rectngulo

, estara dada por:

=
[(
1
) +(

)]
2
de nuevo, =

Siendo la particin regular

=
[( +( 1)) +( +)]
2
por qu?
Luego la expresin para aproximar el rea mediante trapecios es:

=
[( +( 1)) +( +)]
2

=1

Donde

(representa la suma de las reas de los trapecios)

Aunque la expresin es un poco ms tediosa de manejar, la aproximacin es an
mejor. Al parecer lo que se gana de exactitud, se pierde en practicidad.
Ejercicio 2
Graficar la particin regular con trapecios, y aproximar el rea usando 10
trapecios.
Resumen

= (

=1
= (

=1
(1)

= (
1
)

=1
= (
1
)

=1
(2)

= ()

=1
= (
2 +(2 1)
2
)

=1
(3)

=
[( +( 1)) +( +)]
2

=1
(4)
En todos los casos, pudo evidenciarse que la aproximacin mejora, a medida
que la particin se hace ms fina, es decir, a mayor nmero de sub intervalos,
se tiene mayor nmero de polgonos y por lo tanto, la estimacin se aproxima
cada vez ms al rea.

El rea exacta, pude entonces definirse como el lmite cuando el nmero de sub
intervalos tienda a ms infinito, de la aproximacin en cuestin. Esto es:
= lim
+
(

=1

Donde

puede ser el extremo derecho, izquierdo o punto medio del i-simo sub
intervalo tal como se ha mostrado hasta aqu, es decir:
= lim
+

= lim
+
(

=1
(1)
= lim
+

= lim
+
(
1
)

=1
(2)
= lim
+

= lim
+
(
2 +(2 1)
2
)

=1
(3)
= lim
+

= lim
+

[( +( 1)) +( +)]
2

=1
(4)

Para encarar estos lmites es necesario recordar algunas propiedades de la
sumatoria, y algunas sumatorias bsicas para potencias de i

Propiedades de la sumatoria:
1.

=1
=
2. () = ()

=1

=1

3. [() ()] = ()

=1
()

=1

=1

4.

=1
=
( +1)
2

5.
2
=
( +1)(2 +1)
6

=1

6.
3

=1
= (
( +1)
2
)
2


Cabe anotar que las expresiones 4, 5 y 6 pueden probarse por induccin
matemtica o utilizando la siguiente propiedad de las sumatorias, conocida como
propiedad telescpica.
( +1) () = ( +1) (1)

=1
propiedad telescpica
La cual puede justificarse desarrollando la sumatoria.
( +1) () = (2) (1) +(3) (2)

=1
++( +1) (1)
= ( + 1) (1)
A continuacin se demuestra que:

=1
=
( +1)
2

Demostracin
[( +1)
2

2
] = ( +1)
2
1 Segn la propiedad telescpica, luego:

=1

El lado izquierdo puede escribirse como:
[
2
+2 +1
2
] = 2 +1 = 2

=1
+1

=1
por qu?

=1

=1

Por lo tanto,
2

=1
+1

=1
= ( +1)
2
1 por qu?
2

=1
+ = ( +1)
2
1 por qu?

=1
=
( +1)
2
1
2
por qu?

=1
=
( +1)
2
por qu?

Utilizando procesos anlogos pueden probarse las expresiones 5 y 6



Ejercicio 3
Demuestre 5 y 6 utilizando la propiedad telescpica de la sumatoria
Ahora que tenemos las propiedades necesarias de la sumatoria, veamos como
se calcula el rea exacta para la funcin que hemos abordado antes haciendo
uso de la expresin:
= lim
+

= lim
+
(

=1

= lim
+
(

=1
= lim
+
(0 +)

=1

= lim
+
[ (0 +
2

)
2

] =

=1
lim
+
2

(
2

)
2
= lim
+
2

4
2

=1

=1

= lim
+
8

2
= lim
+
8

=1
[
( +1)(2 +1)
6
] = lim
+
4( +1)(2 +1)
3
2

= lim
+
8
2
+12 +4
3
2
=
8
3
2.66
Ahora que tenemos el valor exacto del rea, podemos observar que en efecto,
Las aproximaciones realizadas antes, se acercaban a este valor a medida que
aumentbamos el nmero de polgonos.
Ejercicio 4
Compruebe que con las expresiones siguientes, el clculo del rea da el mismo
valor
= lim
+

= lim
+
(
1
)

=1

= lim
+

= lim
+
(
2 +(2 1)
2
)

=1

= lim
+

= lim
+

[( +( 1)) +( +)]
2

=1





Sumas de Riemann
El mtodo abordado en estas notas, para aproximar el rea bajo la grfica de
una funcin continua y positiva en un intervalo [a,b] limitada por el eje x, se debe
al matemtico alemn Bernhard Riemann. Aqu se ha definido el concepto de
particin en general, pero en los ejemplos se han considerado solo particiones
regulares.
Definicin de suma de Riemann
Sea P una particin de un intervalo [a,b] con y sea llPll la norma de la
particin, llamamos suma de Riemman a la expresin:
= (

=

Donde:

, :

, :

Puede ser el punto medio, el extremo izquierdo o derecho, como en los casos
que se trataron, o cualquier otro punto del intervalo i-simo.

Esta expresin es ms general, y tambin nos permite calcular el rea exacta
siempre que la norma de la particin tienda a cero, pues en ese caso, la longitud
de todos los intervalos tender tambin a cero. Por lo tanto, el rea bajo la grfica
de una funcin continua y positiva en un intervalo [a,b] limitada por el eje x, puede
escribirse en general:
A = lim
llPll0
(

=1
= lim
n+
(

=1

Hay casos en que hacer una particin regular del intervalo, en lugar de facilitar
el trabajo, lo hace ms complicado. Considere que se le pide calcular el rea
bajo la grfica () = de la funcin sobre el eje x en el intervalo [0,1]
Si se hace una particin regular del intervalo [0,1] y se usan aproximaciones
mediante rectngulos con altura trazada en su extremo derecho, se tendr que:
= lim
+
(

=1
esto es:
= lim
+

=1
pero no hay propiedades para calcular esta sumatoria
En este caso, conviene elegir una particin no regular como sigue:
Eljase de nuevo el extremo derecho de los sub intervalos, pero de tal forma que:

0
= 0;
1
=
1

2
;
2
=
2
2

2
; . . ;
1
=
( 1)
2

2
;

= 1
As:

1
=

( 1)
2

2
=
2 1

2

Entonces:
= lim
n+
(

=1
= lim
n+
[ (

2
)(
2 1

2
)] =

=1
lim
n+
[(

2
)(
2 1

2
)]

=1

= lim
n+
[(

2
)(
2 1

2
)]

=1
= lim
n+
[(

) (
2 1

2
)] = lim
n+
1

3
(2
2
)

=1

=1


= lim
n+
1

3
[
2( +1)(2 +1)
6

( +1)
2
] por qu?
= lim
n+
1

2
[
4
2
+3 1
6
] =
2
3
por qu?

Una pregunta final:
Para toda particin P, puede decirse que:
(

=1
=

) justifique su respuesta

=1