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.