Editorial de la Universidad Tecnolgica Nacional

Gua de estudio

UNA INTRODUCCIN AL CONCEPTO DE LIMITE (DOS MIL AOS EN UN RENGLN) Ing. Jorge J. L. Ferrante

Anlisis Matemtico I Facultad Regional General Pacheco Universidad Tecnolgica Nacional

2009

edUTecNe - Editorial de la U. T. N. http://www.edutecne.utn.edu.ar edutecne@utn.edu.ar

UNA INTRODUCCIN AL CONCEPTO DE LIMITE (DOS MIL AOS EN UN RENGLN) Ing. Jorge J. L. Ferrante

PROLOGO
Ao 2009. Al frente de la ctedra de Anlisis Matemtico I, me encontr frente a un grupo poco homogneo de docentes, de esos que, con tiza y pizarrn conforman da a da con sus alumnos una sociedad para el aprendizaje. Algunos experimentados y de aos de trayectoria en la materia y otros, para decir lo mnimo indispensable, no tanto como los primeros. El discurso, necesariamente deba ser nico porque nica es la ctedra y sus procesos de ejercitacin y evaluacin. Rpidamente comprend que una Gua de Trabajos Prcticos no bastaba para los fines buscados por la sencilla razn que faltaba el elemento por el cual quedase en claro, para todo el mundo, cual era la profundidad con que pretenda tratar cada tema y cual o cuales no haba que tratar. Es bastante obvio que esto no se logra con enunciados de carcter general en algn cronograma o con algunas ausencias en el mismo. Adems, haba que hacerlo rpido porque las clases empezaban ya. As nacieron las Guas de Estudio y Prctica donde, adems de los ejercicios propuestos para cada tema se incluyen aspectos tericos, muchas veces incompletos, para que sea el profesor quien los trate en forma definitiva con sus alumnos, quienes tienen en sus manos las llamadas GEP. Adems, como nunca se aprecia cmo ha evolucionado el pensamiento matemtico a travs del tiempo y los nombres aparecen y desaparecen sin que el alumno tome conciencia del tiempo en que actuaron y aportaron a la matemtica, me pareci adecuado incluir en las GEP, aspectos que hacen al desarrollo histrico del pensamiento matemtico. Esto implica consultar textos de historia de la matemtica. Entre ellos, los clsicos, de C. Boyer, revisado por Merzbachd, editorial Wiley "A History of Mathematics" y los de E. T. Bell "Les Grands Matematiciens" e "Historia de las Matemticas" y adems pasar horas y horas navegando (o resbalando) entre la multitud de trabajos y referencias que arroja como resultado cualquier incursin en el espacio virtual con claves a veces mal puestas. De todo eso, fue tomando forma, por descarte y seleccin, un collage para cada GEP en donde junto a los "cortar pegar" ya clsicos puse mis opiniones o criterios.

En este trabajo, extracto de GEP03 LIMITE - CONTINUIDAD, mucho proviene de NUEVA DEFINICIN DE LIMITE FUNCIONAL de Blzquez S. y Ortega T, Barcelona y de la consulta de los textos antes mencionados y otros muchos, cuyo contenido tuve que comprimir en trminos inteligibles para docentes y alumnos. Las preguntas perversas son exclusivamente mas as como las Notas del Autor y algunos prrafos en negrita. Asumo la responsabilidad que, por ellos, me cabe. Lo que sigue, definitivamente, no es una definicin de lmite funcional pero puede llegar a ayudar a quien en dos o tres clases tiene que lograr la proeza intelectual de entender junto a sus alumnos qu es el lmite. Jorge J. L. Ferrante LIMITE El concepto de lmite funcional forma parte de las currcula de educacin en la totalidad de las escuelas de ingeniera. Es puerta de entrada al anlisis diferencial e integral, y, desde siempre, su enseanza no ha dejado de preocupar a profesores e investigadores que ven cmo fracasan sus intentos para que los alumnos comprendan su significado, y cmo esta enseanza, en muchas ocasiones, se acaba reduciendo a un conjunto de clculos que tienen poco sentido. Hay que partir del hecho de que la comprensin de conceptos como el de lmite funcional supone la utilizacin de estrategias mentales de alto nivel como las que se consideran en el pensamiento matemtico avanzado y que la clave reside en la creacin de un diseo de enseanza adecuado a la capacidad y nivel del alumno, que genere un mnimo de inters por el estudio y que le facilite la adquisicin de tales conceptos. EVOLUCIN HISTRICA DEL CONCEPTO DE LMITE Siguiendo las investigaciones realizadas, la evolucin histrica del concepto de lmite se puede dividir en cuatro etapas, que se diferencian bsicamente por la concepcin de lmite que subyace en ellas aunque la separacin no siempre sea ntida. En la larga evolucin del concepto (desde la matemtica griega hasta el siglo XIX) se observa claramente la necesidad de explicitar y formalizar la nocin, que se utiliza de forma implcita desde la poca griega y que no llega a su forma actual hasta el siglo pasado, en parte para validar algunos resultados ya obtenidos y en parte para demostrar otros ms generales.

De Eudoxo de Cnido a la primera mitad del siglo XVIII. Aparece en esta etapa una idea muy intuitiva del proceso del paso al lmite. No existe el concepto como tal, ya que ni siquiera se ha explicitado el concepto de funcin, pero s aparece como proceso implcito en algunos mtodos utilizados, bsicamente, para resolver cuatro tipos de problemas: Dada la frmula del espacio en funcin del tiempo, obtener la velocidad y aceleracin en cualquier instante o recprocamente, dada la aceleracin o velocidad obtener la frmula del espacio Obtencin de la tangente a una curva. En ptica es necesario conocer la normal a una curva y en el estudio del movimiento la direccin de la tangente. Aparecen problemas de definicin de tangentes en general (cuando surgen nuevas curvas) pues la definicin de tangente como recta que toca en un slo punto o deja a un lado la curva slo sirve para algunas cnicas. Estudio de mximos y mnimos de una funcin, relacionado con el movimiento de los planetas, el movimiento de proyectiles, etc. Clculo de reas acotadas por curvas, volmenes acotados por superficies, longitudes de curvas, centros de gravedad y atraccin gravitatoria.

A continuacin se presenta un brevsimo resumen de algunos de estos mtodos infinitesimales.

Mtodo de exhaucin. Se atribuye a Eudoxo, aunque su utilizacin ms conocida la hizo Arqumedes en Sobre la esfera y el cilindro y en La cuadratura de la Parbola. El mtodo se aplicaba al clculo de reas de figuras, volmenes de cuerpos, longitudes de curvas, tangentes a las curvas, etc. Consiste en aproximar la figura por otras en las que se pueda medir la correspondiente magnitud, de manera que sta vaya aproximndose a la magnitud buscada. Por ejemplo para estimar la superficie del crculo se inscriben y circunscriben polgonos regulares de n lados cuya superficie se conoce (en definitiva es la de n tringulos issceles) luego se duplica el nmero de lados de los polgonos inscriptos y circunscriptos hasta que la

diferencia queda exhausta. Arqumedes hall la superficie del crculo con este mtodo llegando a polgonos de noventa y seis lados. Mtodo de los infinitsimos de Kepler (1571-1630). Era utilizado para resolver problemas de medidas de volmenes o reas como los que aparecen en Nova stereometria doliolum vinatorum (1615) (Nota del autor: escrito para la evaluacin de la capacidad de toneles de vino.) La base del mtodo consiste en pensar que todos los cuerpos se descomponen en infinitas partes, infinitamente pequeas, de reas o volmenes conocidos. Galileo utilizar un mtodo semejante para mostrar que el rea encerrada bajo la curva tiempo-velocidad es el espacio Mtodo de los indivisibles de Cavalieri (1598-1647). Fue utilizado para determinar reas de figuras planas y volmenes de cuerpos. Cavalieri representaba estos objetos mediante una superposicin de elementos cuya dimensin era una unidad menor que aquella a evaluar. Lo hace en su libro Geometria indivisibilibus continuorum nova quadam ratione promota (1635). Este caballero merece algo ms que una mencin por el dao que hizo en la conceptualizacin del anlisis. No fue un antecesor del clculo, fue el que impregn a muchos bien pensantes hombres que un infinitsimo es un cero pequeo. Es el mismo que logr que se dijese que la tangente a una curva estaba definida por dos puntos sucesivos sobre la misma, dado que es como un collar de cuentas muy pequeas, una al lado de otra; es el que dijo que una superficie estaba conformada por lneas sin ancho y que un volumen, un montn de superficies sin espesor. Quien tenga dudas sobre esta nota del autor, dirjase a Historia de las Matemticas, de E. T. Bell, Fondo de Cultura Econmica, Mxico, 1995, Pg. 146 y 147. Mtodo de Fermat para buscar extremos de curvas. Lo aplic a las parbolas e hiprbolas de Fermat y consiste en considerar que en una cumbre o en un valle de la curva, cuando E es pequeo, los valores de la funcin f(x) y f(x+E) estn tan prximos que se pueden tomar iguales. El mtodo consiste en hacer f(x+E)=f(x), dividirlo por E y tomar E=0. Si bien no habla de lmite, est bastante cerca. Mtodo de las tangentes. Fermat enva a Mersenne en 1637 una memoria que se titula Sobre las tangentes a las lneas curvas donde parece plantear un mtodo para calcular tangentes en un punto de cualquier curva, si bien slo lo utiliza con la parbola. En un intento de clarificar dicho mtodo, Descartes crea el suyo propio segn reza en la carta que enva a Mersenne en Mayo de 1638 y, as, considera que la curva y su tangente en un punto coinciden en un entorno pequeo de dicho punto. Lo que pretende es

dibujar la recta tangente en el punto P=(x, f(x)) y, para ello, calcula la subtangente utilizando un criterio de semejanza de tringulos. En la prctica, para obtener los segmentos necesarios se consideraba f(x+E)-f(x), se divida por E y se tomaba E=0, lo que equivale a hallar el lmite funcional en la abscisa del punto P. Mtodo de Barrow (1630-1677). Su mtodo es muy semejante al de Fermat, pero en l aparecen dos incrementos e y a, que equivalen a los x y y actuales. Todos estos mtodos fueron el germen del anlisis infinitesimal y surgieron motivados por las exigencias de la mecnica, de la astronoma y de la fsica. El lgebra aport las herramientas necesarias para que algunos de estos mtodos se desarrollaran, destacando el mtodo de las coordenadas, que facilit el estudio de las curvas. Sin embargo, estos mtodos funcionaban de forma separada y no se tena conciencia de su generalidad; faltaba algo que les armonizara y adems les diera ese carcter de universalidad, Faltaba el concepto de lmite. Aparecen en escena los creadores del anlisis: Newton y Leibniz El primero, Newton (1648-1727) es el creador de la teora de las fluxiones, un mtodo de naturaleza geomtrico-mecnica para tratar de forma general los problemas del anlisis infinitesimal. Propone el mtodo de las fluxiones, expuesto en la obra Methodus fluxionum et serierum infinitorum (publicada en 1736), donde se estudian las magnitudes variables, introducidas como abstraccin de las diferentes formas del movimiento mecnico continuo denominadas fluentes. Todas las fluentes son variables dependientes y tienen un argumento comn, el tiempo. Despus se introducen las velocidades de la corriente de los fluentes, que se denominan fluxiones. La teora de fluxiones resuelve dos problemas: la determinacin de la relacin entre fluxiones, conocidas la relacin entre fluentes y el recproco, dada la relacin entre fluxiones, encontrar las fluentes Para resolver estos problemas aplic sendos mtodos basados en el uso de cantidades infinitamente pequeas. Para el propio Newton en estos mtodos resolutivos no se explicaban de forma satisfactoria. En 1704 en su obra Tractatus quadratura curvarum, explicita el

mtodo de las "razones primeras y ltimas", en la que el incremento de la variable se "desvanece", lo que supone la explicitacin de una idea de lmite un tanto metafsica. All resuelve el siguiente problema

Fluya una cantidad x uniformemente; ha de encontrarse la fluxin de la cantidad xn. En este tiempo, la cantidad x, al fluir, se convierte en x+o, la cantidad xn resultar (x+o)n; que por el mtodo de las series infinitas es xn+noxn-1+((n2-n)/2)o2xn-2+ etc. Y los incrementos o y noxn-1+((n2- n)/2)o2xn-2+ etc., estarn entre s como 1 y nxn-1+((n2-n)/2)oxn-2+ etc. Desvanzcanse ahora aquellos incrementos, y su ltima razn ser 1 a nxn-1. Y por eso, la fluxin de la cantidad x es a la fluxin de la cantidad xn como 1 a nxn-1 . Obsrvese la terminologa y se comprender de inmediato la enorme fortuna de ensear y aprender en este siglo. Por si fuese necesario en su obra Principia Mathematica aclara el concepto de lmite: "Cantidades, y la razn de cantidades5, que en cualquier intervalo

finito de tiempo convergen continuamente a la igualdad, y que antes del final de dicho tiempo se aproximan una a la otra ms que cualquier diferencia dada, se hacen finalmente iguales".

Leibnitz (1646-1716), por su parte preocupado por la claridad de los conceptos y el aspecto formal de la matemtica, contribuye al nacimiento del anlisis infinitesimal con su teora sobre las diferenciales. Se dio cuenta de que la pendiente de la tangente a una curva depende de la razn entre las diferencias de las ordenadas y de las abscisas, cuando se hacen infinitamente pequeas estas diferencias. Usa una notacin que perdura actualmente, pero no aclara lo que, para l significa infinitamente pequeo.Para peor, a veces habla de "infinitamente, infinitamente pequeo". La concepcin que subyace en esta etapa es una concepcin geomtrica de lmite puesto que se trabaja en problemas de ndole geomtrica. La nocin de lmite en realidad se encuentra implcita, y se ve una evolucin de su estatus, pasando de ser una nocin que ni siquiera se explicita como til al ser, con los infinitsimos y las razones primeras y ltimas de Newton, una herramienta para resolver problemas.

Ahora bien, esta idea de lmite como aproximacin sin ms no basta. Por una parte, la aproximacin tiene que ser indefinida, es decir, tiene que existir la posibilidad de tomar aproximaciones cada vez mejores, cosa que se consigue en todos los mtodos revisados, pero hasta Newton esta posibilidad no se plasma claramente en el hecho de que los objetos se han de aproximar ms que cualquier diferencia dada, lo cual implica que el lmite debe ser la mejor de todas las aproximaciones posibles

Segunda mitad del siglo XVIII. Transformacin de los fundamentos del anlisis infinitesimal. Utilizando infinitsimos pequeos y grandes, que surgen de la teora de las razones primeras y ltimas de Newton, los matemticos de la poca obtienen solucin para muchos de sus problemas. La dificultad ms importante para el desarrollo del anlisis infinitesimal era la necesidad de extender las operaciones del anlisis a un mayor nmero de funciones, para lo que se requera una idea clara de dependencia funcional y, para ello, fue necesario investigar el significado del concepto de funcin y sus manipulaciones algebraicas. Los matemticos del siglo XVIII, que se preocuparon de la fundamentacin del anlisis, buscaban eliminar lagunas y clarificar los matices msticos, no se dieron cuenta de la necesidad del concepto de lmite

Euler (1707-1743) toma como punto de partida el clculo diferencial de Leibnitz y el mtodo de fluxiones de Newton y los integra en una rama ms general de las matemticas, que, desde entonces, se llama Anlisis y se ocupa del estudio de los procesos infinitos. Se plantea la regularidad de las funciones, introduciendo la funcin continua como sumas, productos y composiciones de funciones elementales D'Alembert (1717-1783) crea la teora de los lmites al modificar el mtodo de las primeras y ltimas razones de Newton. En el tomo IX de la Encyclopdie, DAlembert escribe la siguiente definicin de lmite:

Se dice que una cantidad es lmite de otra cantidad, cuando la segunda puede aproximarse a la primera ms que cualquier cantidad dada por pequea que se la pueda suponer, sin que, no obstante la cantidad que se

aproxima pueda jams sobrepasar a la cantidad a la que se aproxima; de manera que la diferencia entre una tal cantidad y su lmite sea absolutamente inasignable.
En esta definicin las variables son montonas y el lmite unilateral, es decir, la magnitud que se aproxima no le puede superar, y as, aunque la aproximacin es objetiva no se puede tener un control completo de la misma. Lagrange (1736-1813) trabaj con desarrollos de funciones en series de potencias Los resultados conseguidos le hicieron creer que se podan evitar los lmites y continu haciendo desarrollos en series de potencias, sin darse cuenta de que la convergencia de las mismas necesitaba del concepto de lmite.

Siglo XIX y principios del siglo XX. Aritmetizacin del anlisis. A finales del siglo XVIII y comienzos del XIX las obras de un gran nmero de matemticos ya reflejaban la necesidad objetiva de construccin de la teora de lmites como base del anlisis matemtico y una reconstruccin radical de este ltimo, en la que fueron determinantes la clarificacin del concepto de funcin, la aparicin de nuevos problemas matemticos y fsicos, y la evolucin de la enseanza de las matemticas, que tras la Revolucin Francesa pasa de ser una disciplina obligatoria en la Escuela Normal Superior y en la Politcnica. (nota del autor: Napolen Bonaparte, como buen artillero conoca y respetaba la matemtica. Fue el gran impulsor de esas escuelas, que aun perduran con xito) Los matemticos se ven obligados a ensear anlisis matemtico y, por tanto, tienen que apoyarse en unas bases rigurosas. De estos matemticos se destacan Cauchy, Bolzano y Weierstrass. Cauchy (1789-1857). Retoma el concepto de lmite de D'Alembert, rechazando el planteamiento de Lagrange, prescinde de la geometra, de los infinitsimos y de las velocidades de cambio, dndole un carcter ms aritmtico, ms riguroso pero an impreciso. La definicin de lmite que propone Cauchy (1821) es la siguiente:

, cuando los sucesivos valores que toma una variable se aproximan indefinidamente a un valor fijo, de manera que terminan por diferir de l en tan poco

como queramos, este ltimo valor se llama el lmite de todos los dems

La nocin de lmite dada por Dalembert es ms objetiva que la de Cauchy, ya que en sta aparece el trmino "tanto como queramos" que la subjetiviza. Define adems infinitsimos como una cantidad variable que converge a cero Cauchy basa todo el anlisis en el concepto de lmite. Bolzano (1781-1848) da una definicin de continuidad basada en la de lmite. De hecho la obra de Bolzano se desarrolla de forma paralela a la de Cauchy, basada en la misma idea de lmite. Weierstrass (1815-1897) contribuy con notoriedad a la aritmetizacin del anlisis, dando una definicin satisfactoria de nmero real y otra del concepto de lmite. Weierstrass critic la expresin "la variable se acerca a un lmite" puesto que, segn l, esto sugiere tiempo y movimiento, y dio una formulacin mtrica, puramente esttica, definicin bastante cercana a la que se utiliza hoy en da. Esta definicin, que aparece en la obra de su discpulo Heine Elemente, es la siguiente:

"Si, dado cualquier , existe un no, tal que para 0<n<no, la diferencia f(xon)-L es menor en valor absoluto que , entonces se dice que L es el lmite de f(x) para x=xo".
La nocin de lmite es ya, en esta etapa, una nocin matemtica que sirve como soporte a otras como la continuidad, la derivada y la integral, hecho que ha contribuido a un uso universalizado de la misma. Sin embargo, esta definicin, que evoluciona desde la concepcin dinmica de Cauchy a una concepcin esttica, no es el final de un largo proceso evolutivo, ya que en el siglo XX surgen concepciones de tipo topolgico, ligadas a la generalizacin de los conceptos del clculo a conjuntos no necesariamente numricos, lo que constituye una cuarta etapa en el desarrollo del concepto. Todo el esfuerzo realizado en ms de dos milenios permite presentar la siguiente

Definicin: Sea f una funcin y a un nmero real, el nmero L es el lmite de la funcin f en el punto a, y se escribe lim f ( x) = L (se lee lmite de xa f(x) cuando x tiende a a es L), si cuando x tiende a a, siendo distinto de a, sus imgenes, f(x), tienden a L.

L+ L L-

a -

a +

lim f ( x) = L xa f ( x) L < , > 0 0< xa <

Esta es la famosa definicin , que desconcierta a la mayora de los que tratan de estudiarla y sobre todo si es la primera vez que lo intentan. Varios factores son contribuyentes al desconcierto. La humanidad empez a lidiar con el concepto de lmite, sin ser capaz de explicitarlo, desde Eudoxo hasta el siglo XX, donde lleg a lo que ahora se conoce como lmite. Tratar de asimilar ms de dos milenios en dos o tres clases de Anlisis Matemtico es directamente una proeza intelectual, que los grandes de la historia del pensamiento matemtico no lograron.

La definicin de lmite aceptada es psicolgicamente crispante. Todo el discurso del anlisis se desarrolla sobre funciones en las que, dado un valor de x, a por ejemplo, valor que, a travs de la funcin f(x) permite obtener el valor f(a). Es decir, se va de abscisa a ordenada o, coloquialmente, de eje horizontal a eje vertical. En la definicin de lmite es al revs. Se arranca por un nmero L, ordenada y se baja a abscisa. Es decir el camino inverso al usual. PREGUNTAS A SER CONTESTADAS EN EL AULA La definicin avanza diciendo se dice que el nmero L es el lmite de . , pero acaso alguien dice de dnde sale ese nmero L? Nadie lo dice. Por qu ese valor L y no otro cercano a l? Sigue diciendo cuando el valor absoluto de la diferencia entre la funcin y el lmite sea menor que un positivo, y algunos machacan tan pequeo como se quiera. De dnde sale ?, Qu quiere decir pequeo?, Ese es fijo o es variable? El valor absoluto de la diferencia entre f(x) y L es una distancia. Por qu no se lo dice? El tema empeora. Est claro que x no puede valer a por qu? Pero adems el valor absoluto de x-a tiene que ser menor a un . Qu quiere decir eso? Acaso que depende de ? Cmo?, entonces por qu no escriben ()? Cul es la nica forma de saber que una nmero L es el lmite de f(x) para x->a? Todas esas preguntas tienen que ser contestadas y hacerlo y mucho menos entenderlo no es cosa simple. Y hay que hacerlo porque todo, absolutamente todo, el anlisis est preado de este concepto.

Utilizando una nomenclatura de entornos, la definicin de lmite funcional se reduce a lo siguiente (topolgica) Definicin: El nmero L es el lmite de f(x) para x tendiendo a a si para todo entorno de L existe un entorno reducido de a de forma tal que

cada x perteneciente al entorno reducido de a y al dominio de la funcin tiene una imagen f(x) en el entorno de L

U (L )U * (a ) / x U * (a ) D( f ) , f ( x ) U (L )
Con la siguiente interpretacin grfica

D(f)

U(L) U*(a)

C(f)

Ms de dos milenios en un rengln! Magnfica oportunidad para reflexionar lo que cuesta lograr

una idea clara!