Vous êtes sur la page 1sur 23

rea

Probablemente tiene una idea intuitiva de que el rea de una fgura


geomtrica es la medida que, en alguna forma, proporciona el tamao de la
regin encerrada por la fgura. Por ejemplo, se sabe que el rea de un
rectngulo es el producto de su largo y su ancho, y el rea de un tringulo es la
mitad del producto de las longitudes de su base y de su altura. l rea de un
pol!gono puede defnirse como la suma de las reas de los tringulos en que
puede ser descompuesto, y puede demostrarse que el rea as! obtenida es
independiente de cmo se descompuso el pol!gono en tringulos. "bserve la
fgura #.
n esta seccin, se defne el rea de una regin en un plano si la regin est
limitada por una curva. $i desea saber porque se trataran tales reas, la
respuesta es que se establecern los fundamentos necesarios para motivar
geomtricamente la defnicin de integral defnida en la seccin siguiente.
%ecuerde, se motiv geomtricamente la defnicin de la derivada de una
funcin como la pendiente de la recta tangente a la grfca de la funcin. &usto
como con la derivada, despus de haber establecido la integral defnida vera
que puede aplicarse la defnicin en una gran variedad de campos
n el estudio del rea se trataran sumas de muchos trminos, de modo que
se introduce una notacin, llamada notacin sigma, para facilitar la escritura
de estas sumas. sta notacin requiere el uso del s!mbolo ', la letra sigma
may(scula del alfabeto griego. n el ejemplo ilustrativo siguiente se dan
algunos ejemplos de notacin sigma.
Ejemplo ilustrativo 1
4.4.1 Defnicin de la notacin sigma
)onde m y n son n(meros enteros, y m * n.
l miembro derecho de la ecuacin de la defnicin consiste de la
suma de +n,m-#. trminos, el primero de los cuales se obtiene al
sustituir i por m en /+i., el segundo se obtiene al reempla0ar i por m-#
en /+i., y as! sucesivamente, hasta el (ltimo termino se obtiene
sustituyendo i por n en /+i..
l n(mero m se denomina l!mite inferior de la suma, y n se denomina
l!mite superior de la suma. l s!mbolo i recibe el nombre de !ndice de la
suma. ste es un s!mbolo 1fcticio2 porque cualquier otra letra puede
emplearse para este propsito. Por ejemplo,
s equivalente a
Ejemplo ilustrativo 2
n ocasiones los trminos de una suma contienen sub!ndices, como se muestra
en el ejemplo ilustrativo siguiente.
Ejemplo ilustrativo 3
3os teoremas siguientes tratan sobre el uso de la notacin sigma, son (tiles
para ciertos clculos y se demuestran fcilmente.
4.4.2 Teorema
Demostracin
4.4.3 Teorema
Demostracin
4.4.4 Teorema
4.4.5 Teorema
+#.
4
+5.
Ejemplo ilustrativo 4
)e la ecuacin +#. del teorema anterior,
)e la ecuacin +5. del teorema anterior,
4.4.6 Teorema
Demostracin
n el miembro derecho de esta ecuacin se escribe la primera suma en otra
forma, y se aplica la ecuacin +5. del teorema, con c6#, a la segunda suma.
ntonces,
4.4. Teorema
$i n es un n(mero entero positivo, entonces,
+/ormula #.
+/ormula 5.
+/ormula 7.
+/ormula 8.
9ntes de estudiar el rea de una regin plana, se indicara porque se utili0a la
terminolog!a 1medida del rea2. 3a palabra medida se refere a un n(mero +no
se incluyen las unidades.. Por ejemplo, si el rea de un tringulo es 5: , se
dice que la medida del rea del tringulo, en cent!metros cuadrados, es 5:.
;uando la palabra medicin se aplica, se incluyen las unidades.
)e este modo, la medicin del rea del tringulo es 5: .
9hora considere una regin % del plano como muestra la fgura 5. 3a regin
% est limitada por el eje <, las rectas <6a y <6b, y la curva cuya ecuacin es
y6f+<., donde f es una funcin continua en el intervalo cerrado =a, b>. Por
simplicidad, se toma f+<. ? : para toda < en =a, b>. $e desea asignar un n(mero
9 a la medida del rea de %, y utili0ar un proceso de limita semejante al
empleado en la defnicin del rea de un c!rculo@ l rea de un c!rculo est
defnida como el l!mite de las reas de los pol!gonos regulares inscritos cuando
el n(mero de lados aumenta sin l!mite. Antuitivamente, se ve que cualquiera
que haya sido el n(mero elegido para representar 9, ese n(mero debe ser por
lo menos tan grande como el rea de cualquier regin poligonal contenida en
%, y no debe ser mayor que la medida del rea de cualquiera regin poligonal
que contenga a %.
Primero se defne una regin poligonal contenida en %. $e divide el intervalo
cerrado =a, b> en n subintervalos. Para simplifcar se consideran estos
subintervalos de igual longitud, por ejemplo, . Por tanto,
3os e<tremos de estos subintervalos se denotan por donde
. l i,esimo
subintervalo se denotara por = >. ;omo f es continua en el intervalo
cerrado =a, b>, es continua en cada subintervalo. Por el teorema del valor
e<tremo, e<iste un numero en cada subintervalo para el cual f tiene un valor
m!nimo absoluto. n el i,esimo subintervalo sea este n(mero, de modo que f
+ es el valor m!nimo absoluto de f en el subintervalo = >. ;onsidere los n
rectngulos +o elementos de rea., cada uno de ancho unidades y altura de
f + unidades +refrase a la fgura 7.. $ea unidades cuadradas la suma de
las reas de estos n rectngulosB entonces,
", con la notacin sigma,
+7.
l miembro derecho de +7. proporciona la suma de las medidas de las reas de
los n rectngulos inscritos. )e este modo, independientemente de cmo se
defne 9, debe ser tal que
9 ?
n la fgura 7 la regin sombreada tiene un rea de unidades cuadradas.
9 continuacin se incrementara n. spec!fcamente, multiplique n por 5B
entonces el n(mero de rectngulos es el doble, y el ancho de cada rectngulo
se redujo a la mitad. sto se ilustra en la fgura 8, la cual muestra el doble de
rectngulos de la fgura 7. 9l comparar las dos fguras, se observa que la regin
sombreada de la fgura 8 parece que se apro<ima ms a la regin % que la
regin de la fgura 7. 9s!, la suma de las reas de los rectngulos de la fgura 8
est ms pr<ima al n(mero que se desea para representar la medida del rea
de la regin %.
;onforme n se incrementa, los valores de determinados a partir de la
ecuacin +7. aumentan, y los valores sucesivos de diferen uno del otro en
cantidades arbitrariamente pequeas. sto se demuestra en ;alculo avan0ado
mediante un teorema que establece que si f es continua en =a, b>, entonces
conforme n crece sin l!mite, el valor de dado por +7. se apro<ima al l!mite.
ste l!mite es el que se toma como defnicin de la medida del rea de la
regin %.
4.4.! Defnicin del "rea de una regin plana
$uponga que la funcin f es continua en el intervalo cerrado =a, b>, con f+<.?:
para toda < en =a, b>, y que % es la regin limitada por la curva y6f+<., el eje <
y las rectas <6a y <6b. )ivida el intervalo =a, b> en n subintervalos, cada uno
de longitud , y denote el i,esimo subintervalo por = >. ntonces si
es el valor de funcin m!nimo absoluto en el i,esimo subintervalo, la
medida del rea de la regin % est dada por
+8.
sta ecuacin signifca que para cualquier e<iste un n(mero tal que
si n es un numero entero positivo y si entonces
n la discusin anterior pudieron haberse considerado rectngulos circunscritos
en lugar de rectngulos inscritos. n este caso, se toman como medidas de las
alturas de los rectngulos los valores m<imos absolutos de f en cada
subintervalo. 3a e<istencia de un valor m<imo absoluto de f en cada
subintervalo est garanti0ada por el teorema del valor e<tremo. 3as sumas
correspondientes de las medidas de las reas de los rectngulos circunscritos
son por lo menos tan grandes como la medida del rea de la regin %, y puede
demostrarse que el l!mite de estas sumas conforme n crece sin l!mite es
e<actamente el mismo que el l!mite de la suma de las reas de los rectngulos
inscritos. sto tambin se demuestra en ;lculo avan0ado. )e esta manera, se
puede defnir la medida del rea de la regin % por
+C.
donde es el valor m<imo absoluto de f en .
3a medida de la altura del rectngulo del i,esimo subintervalo en realidad
puede tomarse como el valor de la funcin de cualquier n(mero del
subintervalo, y el l!mite de la suma de las medidas de las reas de los
rectngulos ser el mismo sin importar que n(meros se hayan elegido. n la
seccin 8.C se e<tender la defnicin de la medida del rea de una regin
como el l!mite de dicha suma.
#ntegral Defnida
n la seccin anterior, para llegar a la defnicin de la medida del rea de una
regin plana como
+#.
se dividi el intervalo cerrado =a, b> en n subintervalos, cada uno de longitud
, y se tomo como el punto del i,esimo subintervalo para el cual f tiene un
valor m!nimo absoluto. Dambin se restringieron los valores de funcin f+<. a
valores no negativos en =a, b> y se pidi que f fuese continua en =a, b>. l l!mite
en +#. es un caso especial de un 1nuevo tipo2 de proceso de l!mite que conduce
a la defnicin de la integral defnida. 9hora se discutir este 1nuevo tipo2 de
limite.
$ea f una funcin defnida en el intervalo cerrado =a, b>. )ivida este
intervalo en n subintervalos eligiendo cualesquiera n,# puntos intermedios
entre a y b. $ean , y sean los puntos intermedios de
modo que
3os puntos no son necesariamente equidistantes. $ea la
longitud del primer subintervalo de modo que B sea la longitud
del segundo subintervalo de modo que B y as! sucesivamente de
modo que la longitud del i,esimo subintervalo es , y
9l conjunto de estos subintervalos del intervalo =a, b> se le denomina particin
del intervalo =a, b>. $ea dicha particin. 3a fgura # ilustra una de estas
particiones de =a, b>.
3a particin contiene n subintervalos. Eno de estos subintervalos es ms
largoB sin embargo, puede haber ms de uno. 3a longitud del subintervalo ms
largo de la particin se llama norma de la particin y se denota por .
lija un punto en cada subintervalo de la particin @ sea el punto elegido
en de modo que y as! sucesivamente, de modo que es el
punto elegido en y . ;onsidere
" bien
+5.
sta (ltima suma recibe el nombre de suma de %iemann, en honor al
matemtico alemn Feorg /riedrich Gernhard %iemann +#H5I,#HII..
Ejemplo ilustrativo 1
$uponga que , con . $e calculara la suma de
%iemann para la funcin f en =:.5C, 7> para la siguiente particin
, y
.
3a fgura 5 muestra la grfca de f en =:.5C, 7> y los cinco rectngulos, cuyas
reas son los trminos de la suma de %iemann siguiente@
3a norma de la particin es la longitud del subintervalo mas largoB en
consecuencia,
n la defnicin anterior de +5. como una suma de %iemann, los valores de
funcin no se restringieron a valores no negativos. Por tanto, algunos de los
podr!an ser negativos. n tal caso la interpretacin geomtrica de la
suma de %iemann ser!a la suma de las medidas de las reas de los rectngulos
los que estn sobre el eje < y los negativos de las medidas de las reas de los
rectngulos que se encuentran debajo del eje <. sta situacin se ilustra en la
fgura 7. 9qu!,
Porque y son n(meros negativos.
9hora suponga que para la funcin f en +5. e<iste un n(mero 3 tal que
Puede hacerse tan pequeo como se desee para todas las particiones cuyas
normas sean sufcientemente pequeas, y para cualquier en el intervalo
cerrado = , . n tal caso se dice que f es integrable en =a, b>.
4.5.1 Defnicin de $uncin integra%le en un intervalo cerrado
$ea f una funcin cuyo dominio contiene al intervalo cerrado =a, b>. $e dice que
f es integrable en =a, b> si e<iste un numero 3 que satisface la condicin de
que, para cualquier , e<iste una tal que para toda particin para la
cual , y para cualquier del intervalo cerrado ,
entonces
+7.
sta situacin se representa como
+8.
sta defnicin establece que, para una funcin f defnida en el intervalo
cerrado =a, b>, se puede apro<imar los valores de las sumas de %iemann a 3
tanto como se desee tomando las normas de todas las particiones de =a,
b> sufcientemente pequeas para todas las posibles elecciones de los n(meros
para los cuales ,
"bserve que el proceso de limite dado por +8. es diferente del que se
estudi en el cap!tulo #.
l numero 3 en +8. e<iste si para cada e<iste una tal que para toda
particin para la cual , y para cualquier del intervalo cerrado =
, entonces la desigualdad +7. se cumple.
n la defnicin se tuvo
+C.
$i para cualquier e<iste una tal que
$i entonces
n el proceso de limite +8., para una particular e<iste un numero infnito
de particiones que tienen norma . sto es anlogo al hecho de que en
el proceso de limite +C., para una dada e<iste un numero ininito de
valores de < para los cuales . $in embargo, en el proceso de
limite +8. para cada particin e<iste un numero infnito de elecciones de .
s en este aspecto en el que diferen los dos procesos de l!mite.
l teorema, demostrado en la seccin suplementaria, establece que si e
numero 3 en el proceso de limite +C. e<iste, entonces es (nico.
)e manera semejante se puede demostrar que si e<iste un n(mero 3 que
satisfaga la defnicin, entonces es (nico. 9hora puede defnirse la integral
defnida.
4.5.2 Defnicin de integral defnida
$i f es una funcin defnida en el intervalo cerrado =a, b>, entonces la integral
defnida de f de a , denotada por , est dada por
+I.
$i el l!mite e<iste.
"bserve que la oracin 1la funcin f es integrable en el intervalo cerrado =a,
b>2 equivale a la oracin 1la integral defnida de f de a e<iste2.
n la notacin de la integral defnida , es el integrando, es el
limite inferior, y es el l!mite superior. l s!mbolo es el signo de integracin.
l signo de integracin se parece a la letra may(scula $, el cual es apropiado
porque la integral defnida es el l!mite de una suma. s el mismo s!mbolo que
se ha utili0ado para indicar la operacin anti derivacin. 3a ra0n para emplear
el mismo s!mbolo se debe a que un teorema, llamado segundo teorema
fundamental del clculo, permite evaluar una integral defnida mediante una
anti derivada +tambin denominada integral indefnida..
l teorema siguiente proporciona condiciones que garanti0an el hecho de
que una funcin es integrable en un intervalo cerrado dado.
4.5.3 Teorema
$i una funcin es continua en el intervalo cerrado =a, b>, entonces es integrable
en =a, b>.
3a demostracin de este teorema est ms all del alcance de este libro y
puede encontrarse en te<tos de clculo avan0ado. 3a condicin de que f es
continua en =a, b>, es sufciente para garanti0ar que f es integrable en =a, b>,
mas no es una condicin necesaria para la e<istencia de la integral defnida.
sto es, una funcin puede ser integrable en un intervalo cerrado aunque no
sea continua en ese intervalo. ;uando estudie integrales impropias en el
cap!tulo J, encontrara algunas funciones de este tipo. n el comien0o de esta
seccin se dijo que el l!mite empleado en la defnicin para defnir la medida
del rea de una regin es un caso especial del l!mite utili0ado en la defnicin
para defnir la integral defnida. n este estudio de rea, en intervalo =a, b> se
dividi en n subintervalos de igual longitud. Dal particin del intervalo =a, b> se
llama particin regular. $i es la longitud de cada subintervalo de una
particin regular, entonces cada , y la norma de la particin es . 9l
sustituir esto en +I. se obtiene
+J.
9dems,
4
9s!,
4
3a ra0n de que es que y se apro<ima a cero a travs de
valores positivos +porque .. 9 partir de estos l!mites se concluye que
s equivalente a
)e modo que de este enunciado y de +J., se tiene
+H.
$i se compara el l!mite de la defnicin con el l!mite del miembro derecho de
+H., se tiene el primer caso
+K.
)onde es el valor de funcin m!nimo absoluto en . n el segundo
caso se tiene
+#:.
donde es cualquier n(mero del intervalo
$i la integral defnida e<iste, es el l!mite de todas las sumas de
%iemann de f en =a, b> incluyendo las de +K. y +#:.. )ebido a esto, se redefne
el rea de una regin de manera ms general.
4.5.4 Defnicin del "rea de una regin plana
$ea f una funcin continua en =a, b> y para toda < en =a, b>. $ea % la
regin limitada por la curva , el eje < y las rectas y . ntonces
la medida 9 del rea de la regin % est dada por
)e esta defnicin, si f es continua en =a, b> y para toda < en =a, b>,
entonces la integral defnida puede interpretarse geomtricamente
como la medida del rea de la regin % mostrada en la fgura 8.
4.5.5 Defnicin de si
$i y e<iste, entonces
4.5.6 Defnicin de
$i e<iste, entonces
l proceso para calcular el valor e<acto de una integral defnida a partir de
la defnicin determinando el l!mite de una suma, como se hi0o en la seccin
anterior para obtener reas de regiones planas, es demasiado tedioso y casi
imposible. $in embargo, los dos teoremas fundamentales del clculo,
presentados en la seccin 8.J, proporcionan un mtodo ms conveniente para
este clculo. Para demostrar estos dos teoremas importantes se necesitan
algunas propiedades de la integral defnida, las cuales se estudian en el resto
de esta seccin y en la seccin 8.I.
Primero se presentaran los dos teoremas siguientes acerca de las sumas de
%iemann.
4.5. Teorema
$i es una particin del intervalo cerrado =a, b>, entonces
Demostracin
n consecuencia, para cualquier , cualquier eleccin de garanti0a
que
$i entonces
9s!, por la defnicin 8.C.#
4.5.! Teorema
$i f est defnida en el intervalo cerrado =a, b>, y si
<iste, donde es cualquier particin de =a, b>, entonces si L es cualquier
constante,
4.5.& Teorema
$i L es cualquier constante, entonces
Demostracin
$i f+<.6L para todo < en =a, b>, de la ecuacin anterior se tiene
4.5.1' Teorema
$i la funcin f es integrable en el intervalo cerrado =a, b>, y si L es cualquier
constante, entonces
Demostracin
;omo f es integrable en =a, b>,
<iste de modo que
Por tanto
4.5.11 Teorema
$i las funciones f y g son integrables en =a, b>, entonces f - g es integrable en
=a, b> y
3a demostracin de este teorema se presenta en el suplemente de esta
seccin. "bserve la semejan0a del teorema 8.C.## y el teorema de limites 8
+#.C.C., el l!mite de la suma de dos funciones. 3a demostracin de los teoremas
son similares.
l signo ms en el enunciado del teorema 8.C.## puede reempla0arse por
un signo menos aplicando el teorema 8.C.#: con L6,#.
l teorema 8.C.## puede e<tenderse a n funciones. sto es, si las funciones
son integrables en =a, b>, entonces es integrable en
=a, b> y
4.5.12 Teorema
$i la funcin f es integrable en los intervalos cerrados =a, b>, =a, c> y =c, b>,
entonces
)onde a M c M b.
4.5.13 Teorema
$i f es integrable en un intervalo cerrado que contiene los tres n(meros a, b y
c, entonces
+##.
sin importar el orden de a, b y c.
Demostracin
$i a, b y c son diferentes, entonces e<isten seis ordenes posibles de estos tres
n(meros@ . l segundo
orden, , corresponde al teorema 8.C.#5. $e aplica este teorema a fn de
demostrar que la ecuacin +##. se cumple para los otros rdenes.
$uponga que B entonces por el teorema 8.C.#5
+#5.
)e la defnicin 8.C.C,
9l sustituir de esta ecuacin en +#5. se obtiene
)e donde
3o cual es el resultado deseado.
3as demostraciones para los otros cuatro casos son semejantes y se dejan
como ejercicio. %efrase a los ejercicios 87 a 8I.
"tra posibilidad consiste en que dos n(meros sean igualesB por ejemplo, a 6
c M b. ntonces
Dambin, como a 6 c,
Por tanto,
l cual es el resultado deseado.

Vous aimerez peut-être aussi