Lecturas Matemticas a Volumen 23 (2002), pginas 2740 a

La integral como l mite de sumas

Alfonso Rider Moyano & Rafael Mar Rubio Ruiz a Departamento de Matemticas, Universidad de Crdoba, Espaa a o n

Resumen. Este trabajo aborda la denicin de integral de Rieo

mann desde formas tradicionalmente utilizadas, claricando su equivalencia y su conveniencia de uso. Key words and phrases. Riemanns Integral. 2000 Mathematics Subject Classication. Primary 26A42. Secondary 00A99. Abstract. In this work, we present the denition of Riemanns Integral with traditional forms, which clarify its equivalence and its suitability of use.

Introduccin o Sea f una funcin continua (teor de Cauchy), o simplemente acotada o a (teor de Riemann), en un intervalo cerrado [a, b]. Sea a P = {a = x0 , x1 , x2 , . . . , xn1 , xn = b} una particin del intervalo en n trozos. Sea o {t1 , t2 , . . . , tn }

28

A. RIDER MOYANO & R. M. RUBIO RUIZ

una n-upla arbitraria de valores tomados en cada uno de los subintervalos, es decir, tales que xi1 ti xi, para cada valor de i = 1, 2, . . . , n. El nmero u
n

f (ti )(xi xi1 )

i=1

se dice que es una suma ordinaria (de Riemann), correspondiente a la funcin f y la particin P . Suele anotarse como (P, f ), pero debe o o observarse que para una misma particin hay muchas de estas sumas, o dada la arbitrariedad en la eleccin de los puntos ti . o Frecuentemente la integral de f en [a, b] se dene como l mite de tales sumas cuando aumentamos arbitrariamente la cantidad n de puntos de divisin (cuando n tiende a innito), o bien cuando la anchura de los o trozos se hace arbitrariamente pequea (tiende a cero la mayor de las n anchuras en cada particin). o Estas deniciones, dadas a alumnos de ense anza media y frecuent n simas despus en los primeros cursos universitarios de Matemticas Aplie a cadas, son de las que pueden chocar a cualquier profesor de Matemticas a de nuestros d (el cual, no podr menos que sentirse deudor de los deas a sarrollos elementales del Anlisis expuestos por autores tan eminentes a , Henri Cartan, Serge Lang, Tom M. como Jean Dieudonne Apostol o Michael Spivak . . . ). Y chocan porque no se aclara la naturaleza de estos l mites, los cuales no entran en ninguna de las categor de l as mites numricos previamente estudiados por los alumnos, e tratndose, en realidad, de l a mites dirigidos o l mites segn ltros, conu ceptos que se incardinan en desarrollos ms superiores y abstractos de a la Matemtica. a Se trata, por tanto, de deniciones matemticamente incompletas y a tales que, aunque se completaran, resultar metodolgicamente inadean o cuadas. En el transcurso de nuestra actividad docente, hemos eliminado el uso de las sumas ordinarias de Riemann, para tomar como herramienta de

LA INTEGRAL COMO L IMITE DE SUMAS

29

construccin de la integral las llamadas sumas inferiores y sumas supeo riores, en las cuales los valores de f en puntos arbitrarios de cada trozo se sustituyen, respectivamente, por el nmo (mxima cota inferior) o a el supremo (m nima cota superior) de la funcin acotada f (no se olvide o que las continuas lo son, por lo que carece de sentido ceirse a la teor n a de Cauchy) en cada uno de los trozos de la particin. o Hay muchos desarrollos en esta l nea, siendo destacable el seguido por Spivak en su popular Calculus. Trabajando en esta l nea, la integral de f en [a, b] aparece como un nmero unico I (si existe) intermedio a todas las sumas inferiores (que u quedan como aproximaciones por defecto a la integral) y las respectivas superiores (aproximaciones por exceso). Las sumas ordinarias, las cuales pueden evitarse, ser aproximaciones a la integral sin especicacin ni an o ley alguna en cuanto a serlo por defecto o exceso. Sin embargo, habr que decir, para ampliaciones posteriores a la a simple exposicin de la teor de la integral de funciones de una variable o a en un intervalo cerrado, es conveniente el conocimiento de las sumas generales de Riemann y la manera de aproximarse stas al valor de la e integral. Hay que recurrir, pues, a los citados l mites dirigidos. Ahora bien, no queremos excedernos, y caer en metodolog tales as como la de armar que, ya que la integral es un l mite segn ltros, u dmos previamente una teor extensa de estos l e a mites para preparar el terreno... Ni mucho menos: una teor nueva no ha de explicarse nunca a en extenso sin conocer previamente modelos concretos de la misma y sin tener en horizonte su aplicacin a nuevos mltiples casos. Basta o u con dar la denicin general de estos l o mites con el disfraz del modelo concreto (integral en nuestro caso) y como mucho informar al alumno que se trata de un tipo ms general de l a mites que los numricos por ellos e conocidos y que existe una teor ms amplia que los abarca. Si antes a a se ha estudiado la integral mediante sumas inferiores y superiores, basta con comprobar la equivalencia con las deniciones mediante l mites y seguir adelante. En efecto.

30

A. RIDER MOYANO & R. M. RUBIO RUIZ

1. Tres deniciones para un mismo concepto Sea f una funcin acotada en el segmento [a, b]. Para cada particin o o P = {a = x0 , x1 , x2 , . . . , xn1 , xn = b} y cada valor de i = 1, 2, . . . , n, existen los nmeros u mi (P, f ) = Inf {f (x)/xi1 x xi }, Mi (P, f ) = Sup {f (x)/xi1 x xi }, los cuales permiten denir estos otros:
n

s(P, f ) =
i=1 n

mi (P, f )(xi xi1 ), Mi (P, f )(xi xi1 ),

i=1

S(P, f ) =

conocidos, respectivamente, como suma inferior y suma superior de f correspondiente a la particin P. Por otra parte, para cada n-upla de o valores tomados de forma que xi1 ti xi , para cada valor de i = 1, 2, . . . , n, tenemos una suma ordinaria
n

(P, f ) =
i=1

f (ti )(xi xi1 ).

Finalmente, anotemos que el nmero u (P ) = Mx. {x1 x0 , x2 x1 , . . . , xn xn1 } a recibe el nombre de norma de la particin P. o 1.1. La integral como valor encajado entre las sumas inferiores y superiores. Se dice que f es integrable-1 en [a, b] si existe un nmero unico I tal que u s(P, f ) I S(P, f ), cualquiera que sea la particin P del segmento. o

LA INTEGRAL COMO L IMITE DE SUMAS

31

1.2. La integral como l mite de sumas cuando aumentamos arbitrariamente la cantidad de puntos de divisin en el sego mento. Se dice que f es integrable-2 en [a, b] si existe un nmero J u tal que, jado cualquier nmero > 0, existe al menos una particin u o P () de [a, b] de manera que para cualquier otra particin o P = {a = x0 , x1 , x2 , . . . , xn1 , xn = b} ms na que P () y para cualesquiera n-uplas a {t1 , t2 , . . . , tn } elegidas de forma que xi1 ti xi , para cada valor de i = 1, 2, . . . , n, se verique
n

f (ti )(xi xi1 ) J < .

i=1

1.3. Integral como l mite de sumas cuando disminuimos arbitrariamente las longitudes de los trozos en que dividimos el segmento. Se dice que f es integrable-3 en [a, b] si existe un nmero u K tal que, jado cualquier nmero > 0, existe al menos otro > 0 de u manera que para cualquier particin o P = {a = x0 , x1 , x2 , . . . , xn1 , xn = b} de norma (P ) < y para cualesquiera n-uplas {t1 , t2 , . . . , tn } elegidas de forma que xi1 ti xi , para cada valor de i = 1, 2, . . . , n, se verique
n

f (ti )(xi xi1 ) K < .

i=1

He aqu tres nmeros candidatos a convertirse en la integral de f en u [a, b]. El primero, I recuerda a los denidos mediante los clsicos encajes a de intervalos de Cantor, J parece ser un l mite de sucesiones, mientras que Kse asemeja a un l mite de funciones con su variable tendiendo a

32

A. RIDER MOYANO & R. M. RUBIO RUIZ

cero. Tres nmeros cuya existencia ser simultnea y cuya coincidencia u a a cabe esperar. . . 2. Equivalencia entre las tres deniciones de integrabilidad Para probar la equivalencia entre estas deniciones supondremos que alguna de ellas (la primera en nuestro caso) ya ha sido estudiada en extenso. Podremos, pues, usar, por ejemplo, la condicin de Riemann o que es equivalente a la que acabamos de llamar de integrabilidad-1. Por haber tres armaciones, la demostracin habr de ser circular. Anao a lizadas sus posibles ordenaciones, hemos encontrado como ms simple a la cadena Denicin1 Denicin3 Denicin2 Denicin-1 o o o o 2.1. Integrabilidad1 Integrabilidad-3. Dada una particin o arbitraria P se tendr, por la denicin de I, a o s(P, f ) I S(P, f ), a la vez que s(P, f ) (P, f ) S(P, f ), cualquiera que sea la suma ordinaria que construyamos con P . Restando las dos desigualdades, se tiene s(P, f ) S(P, f ) (P, f ) I S(P, f ) s(P, f ) |(P, f ) I| S(P, f ) s(P, f ). Ahora bien, como f cumple la condicin de Riemann, jado un positivo o , encontraremos una particin P () tal que o S(P (), f ) s(P (), f ) < /2. Sea N la cantidad de subintervalos de P () y sean m y M los nmeros u m = Inf{f (x)/a x b}, M = Sup{f (x)/a x b}. Para cada particin P pongamos o S(P, f ) s(P, f ) = A + B, donde A est formado por los sumandos del primer miembro correspona dientes a los trozos de P que no incluyan ningn punto de P () y B por u los restantes. Siendo n la cantidad de estos segundos trozos, es claro

LA INTEGRAL COMO L IMITE DE SUMAS

33

que n no puede superar estrictamente a N (en el caso de mayor dispersin, pinsese que cada uno de ellos slo tendr un punto de P () . . . ). o e o a Adems, en cada uno de ellos, es a (Mi (P, f ) mi (P, f ))(xi xi1 ) (M m)(P ), de manera que B (M m)(P )n (M m)(P )N. Por otro lado, si un trozo aporta su sumando al nmero A, estar conu a tenido en alguno de los subintervalos de la particin P (), con lo cual o el sumando es menor o igual que el aportado al nmero S(P (), f ) u s(P (), f ) por el trozo de P () en que est contenido. De aqu se cone cluye que A S(P (), f ) s(P (), f ) < /2. Fundiendo los razonamientos anteriores, podemos resumirlos as : |(P, f ) I| S(P, f ) s(P, f ) = A + B < + (M m)(P )N < , 2 si tomamos P de forma que , (P ) < = 2(M m)N con lo cual nuestro I verica la tercera condicin de integrabilidad. o 2.2 Integrabilidad3 Integrabilidad2. Tomemos P () como una particin con norma inferior a (siempre existen tales particiones: o por ejemplo, en la sucesin de particiones equilongitudinales, a partir de o un cierto lugar todas sern de norma menor que pues su valor genrico a e (b a)/n, tiende a cero). Para cualquier particin P ms na que esta o a P (), se tendr a (P ) (P ()) < , y, por tanto, para una suma ordinaria cualquiera asociada a ella, ser a |(P, f ) K| < , lo que demuestra que K verica la segunda denicin. o

34

A. RIDER MOYANO & R. M. RUBIO RUIZ

2.3. Integrabilidad2 Integrabilidad1. Fijado > 0, sea P () la particin asociada a l por la denicin del nmero J. Para o e o u cada particin arbitraria P consideremos la o Q = P P (). Entonces, usando cualquiera de las sumas ordinarias asociadas a Q, obtenemos las desigualdades s(P, f ) s(Q, f ) (Q, f ) < J + , J < (Q, f ) S(Q, f ) S(P, f ). Dada la arbitrariedad del positivo , la primera implica que s(P, f ) J, mientras que la segunda nos lleva a J S(P, f ). Por tanto, el nmero J es un posible valor de la integral entendida u en nuestro primer sentido. Si logramos demostrar que f satisface la condicin de Riemann, quedar probado que es unico y, en consecuencia, o a coincidir con dicha integral. A este n empecemos por observar que a para una particin arbitraria o P = {a = x0 , x1 , x2 , . . . , xn1 , xn = b}, se tiene
n

S(P, f ) s(P, f ) =
i=1

(Mi (P, f ) mi (P, f ))(xi xi1 ),

donde Mi (P, f ) mi (P, f ) coincide con el nmero u Sup{f (x) f (y)/x, y [xi1 , xi ]}. Esto signica que, jado cualquier positivo , existen nmeros u ti , ui [xi , xi1 ] para los cuales Mi (P, f ) mi (P, f ) < f (ti ) f (ui ).

LA INTEGRAL COMO L IMITE DE SUMAS

35

Multiplicando esta desigualdad por la longitud del trozo y sumando para todos los de la particin, tenemos o
n

S(P, f ) s(P, f )
i=1 n

(xi xi1 ) = S(P, f ) s(P, f ) (b a)

n

<
i=1

f (ti )(xi xi1 )

i=1

f (ui )(xi xi1 )

lo que es equivalente a
n

S(P, f ) s(P, f ) < (b a) +

n i=1

f (ti )(xi xi1 ) J +

J
n i=1 i=1

f (ui )(xi xi1 ) (b a) +

n

f (ti )(xi xi1 ) J + J

i=1

f (ui )(xi xi1 ) .

Fijado , basta tomar la particin P () asociada por la denicin de J o o al positivo /3 y particularizar la anterior desigualdad a esta particin o y al valor , = 3(b a) para obtener nalmente S(P (), f ) s(P (), f ) < . Las demostraciones estn acabadas, pero cabe algn comentario pera u sonal. El segundo paso (integrabilidad-3 integrabilidad-2) es casi trivial, el tercero (integrabilidad2 integrabilidad-1 ) queda bien elaborado, es clsico, cannico, pero he aqu que queda como curioso el a o primero (integrabilidad1 integrabilidad3). La relacin o S(P, f ) s(P, f ) (M m)(P )n,

36

A. RIDER MOYANO & R. M. RUBIO RUIZ

donde n es ahora la cantidad de trozos de P , es inmediata pero no permite seguir acotando adecuadamente el segundo trmino por la pree sencia del factor n; hemos tenido que acotar ste mediante la introduce cin de la componente B del primer trmino y ah ha estado la clave o e de la demostracin porque, adems, el otro sumando A se logra acotar o a mediante la condicin de Riemann. o 3. Por qu tres nombres para un mismo objeto? e En nuestro primer punto hab amos se alado que para ciertas aplican ciones de la integral es preferible usar la versin de l o mite dirigido y no la de nmero encajado. Ilustrmoslo a travs de algunos ejemplos que u e e muestren la conveniencia de cada caso. En los tres primeros ejemplos, las sumas inferiores y superiores ofrecen un mtodo natural de aproximacin: e o 1) Area encerrada por un trapecio recto, con un lado curvado Hay un caso elemental que es el del rectngulo. Su area es el producto a de la longitud de la altura por la longitud de la base. 2) Masa de un alambre recto, conocida la densidad El caso elemental es el de densidad constante. La masa, entonces, es el producto de tal constante por la longitud del alambre. 3) Trabajo realizado por una fuerza variable a lo largo de un segmento rectil neo si la direccin es constante e igual a la del o desplazamiento El caso de fuerza con intensidad o mdulo constante es elemental. El o trabajo, para l, se mide mediante el producto de esta constante por la e longitud recorrida. En estos modelos, el primer factor de la medida para el caso elemental es una funcin sin ms. El primero de ellos tiene un uso tan antiguo o a como la propia Teor de la Integral y es el que los Profesores utilizan a habitualmente para motivar el concepto de integral. Nosotros, actuando en consecuencia con lo sealado al principio de no estudiar teor genen as rales hasta conocer varios modelos concretos, solemos dar un paso ms a y actuamos de otra forma: desarrollamos independientemente los tres

LA INTEGRAL COMO L IMITE DE SUMAS

37

modelos, haciendo ver al alumno que siempre llegamos a que el n mero u para medir bien el rea, bien la masa o bien el trabajo, se aproxima siema pre por unos nmeros que aritmticamente son los mismos. Entonces u e queda justicado el darles nombre: son las sumas inferiores y superiores de Riemann, y a nadie extraar que el nmero buscado (rea, masa n a u a o trabajo), cuando prescindamos de la interpretacin propia de cada o modelo, nos lleve a un nuevo concepto: la integral de Riemann. Sin embargo, si el primer factor es resultado a su vez de operaciones con una o varias funciones, las aproximaciones se expresan mejor con sumas ordinarias de Riemann y esto tiene su explicacin: no hay un o a lgebra clara para trabajar ni con los nmos ni con los supremos. Precisamente por ello, la introduccin de modelos compuestos debe hacerse o cuando ya se ha desarrollado sucientemente la Teor de la Integral y se a conozca, por ejemplo, que ciertas operaciones con funciones integrables tienen resultado integrable o que las funciones continuas siempre lo son. Desarrollaremos en detalle un modelo de este tipo: Momento de inercia de un alambre recto no homogneo rese pecto de un elemento geomtrico r (punto o recta) dado. e Partimos del caso simple de una masa puntual m situada a una distancia de r, cuyo momento de inercia se dene como el nmero u Ir = m 2 . Esta misma frmula se mantiene para un sistema nito de masas o {m1 , m2 , . . . , mn } situadas a distancias {1 , 2 , . . . , n } de r, sin ms que sumar. Es decir, el momento de inercia del sistema a ser el nmero a u
n

Ir =
i=1

2 i m i .

El paso de este sistema discreto a uno continuo (segmento de alambre no homogneo) requiere referenciarlo convenientemente, lo cual se consigue e situando el alambre en un intervalo [a, b] del primer eje coordenado, para poder expresar dos funciones: una f (x) que nos se ale la densidad (masa n

38

A. RIDER MOYANO & R. M. RUBIO RUIZ

por unidad de longitud) y otra (x) que mida la distancia desde r a cada valor x del intervalo. Tomada ahora una particin o P = {a = x0 , x1 , x2 , ..., xn1 , xn = b}, cabr la construccin de un nmero que mida aproximadamente el moa o u mento de inercia del alambre sin ms que imaginar que a cada trozo le a asignamos una densidad constante e igual, por ejemplo, a la de su punto inicial, as como imaginar que la masa de este trozo se encuentra toda concentrada en el mismo punto inicial. Este nmero ser u a
n i=1

2 (xi1 )f (xi1 )(xi xi1 ),

y observamos enseguida que se trata de una suma ordinaria de Riemann asociada a la particin P y a la funcin o o 2 (x)f (x). Si y f se suponen continuas, tambin lo es la anterior y, por tanto, e se trata de una funcin integrable en [a, b]. Tomando particiones bien o cada vez con ms puntos de divisin, bien con norma cada vez menor, a o las anteriores sumas aproximan por un lado a la medida buscada del momento de inercia y por otro lado a su integral. Nada ms natural, a entonces, que tomar el nmero u
b

Ir =

2 (x)f (x)dx

como extensin continua del momento de inercia conocido para casos o discretos. Hemos tratado el caso simple de un alambre recto. Si fuese curvo, razonamientos similares nos conducir a una integral curvil an nea. O una integral doble si se tratase de una lmina plana, una de supercie si a fuese una lmina curvada o una triple para el caso ms general (y real a a por cierto) de un slido. o 4. Los elementos diferenciales Este mismo problema ser abordado del siguiente modo, en algunos a casos, por usuarios de la matemtica de formacin tcnica a o e

LA INTEGRAL COMO L IMITE DE SUMAS

39

-Tmese un trozo pequeo de alambre con longitud dx en el que o n la densidad y la distancia sean constantes, su momento de inercia ser a 2 (x)f (x)dx. Esta es la diferencial del momento de inercia, luego si lo queremos para todo el alambre, hagamos lo contrario de diferenciar, integrmoslo. e Si abordamos el problema mas general de una lmina plana, no ser a a tan clara la existencia de una funcin (de dos variables, por supuesto) o que tuviera como diferencial el leibniziano integrando 2 (x, y)f (x, y)dxdy Para dar justicacin a este modo de proceder, habr que adentrarse o a en la teor del clculo diferencial exterior, lo cual quedar fuera del a a a alcance habitual en los cursos de matemticas de las distintas carreras a tcnicas. e Sin embargo, el uso de este tipo de razonamientos (con variantes ms o menos esmeradas) no es del todo rechazable. La misma histoa ria est llena de ellos. Se trata de lo que podr a amos llamar mentiras, que encierran una verdad, y en cualquier caso, de maravillas del lenguaje sinttico, porque bien conducidas lo unico que hacen es abreviar toda e nuestra exposicin para llegar, no ya a una diferencial, sino ms bio a en al conocimiento del sumando genrico que aparece en las sumas de e Riemann de la integral que vamos buscando. Pero lo mismo que hemos hablado de modelos simples y modelos compuestos, sugiriendo que stos se empleen en etapas ms avanzadas dentro e a de la exposicin de una Teor de la Integral, la consideracin de los eleo a o mentos diferenciales debe hacerse cuando el alumno haya avanzado en la madurez del tema.

Referencias
[1] [2] [3] [4] Apostol, Tom M. Anlisis matemtico, 2a. edicin. Revert, Barcelona, 1996. a a o e Apostol, Tom M. Calculus, Vols. I, II. Revert, Barcelona, 1989. e Dieudonn, Jean. Elementos de anlisis. Revert, Barcelona, 1981. e a e Gaughn, E. Introduccin al anlisis. Editorial Alhambra. o a

40

A. RIDER MOYANO & R. M. RUBIO RUIZ

[5] Spivack, Michael. Calculus, 2a. edicin, Revert, Barcelona, 1992. o e [6] Schwartz, Laurent. Cours danalyse. Hermann, Paris, .

(Recibido en septiembre 2001)

Alfonso Rider Moyano & Rafael Mara Rubio Ruiz e-mail: ma1rimoa@uco.es, ma1rurur@uco.es Universidad de Cordoba, Campus de Rabanales. Edificio C-2.C.P. Espaa, 14071. Telfono: 957211023 n e