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. 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.

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 nxn1+((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 . Por si fuese necesario en su obra Principia Mathematica aclara el concepto de lmite: "Cantidades, y la razn de cantidades, que en cualquier intervalofinito 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.

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.

En anlisis real para funciones de una variable, se puede hacer una definicin de lmite similar a la de lmite de una sucesin, en la cual, los valores que toma la funcin dentro de un intervalo se van aproximando a un punto fijado c, independientemente de que ste pertenezca al dominio de la funcin. Esto se puede generalizar an ms a funciones de varias variables o funciones en distintos espacios mtricos.

Informalmente, se dice que el lmite de la funcin f(x) es L cuando x tiende a c, y se escribe:

si se puede encontrar para cada ocasin un x suficientemente cerca de c tal que el valor de f(x) sea tan prximo a L como se desee.

Para un mayor rigor matemtico se utiliza la definicin psilon-delta de lmite, que es ms estricta y convierte al lmite en una gran herramienta del anlisis real. Su definicin es la siguiente:

"El lmite de f(x) cuando x tiende a c es igual a L si y slo si para todo nmero real mayor que cero existe un nmero real mayor que cero tal que si la distancia entre x y c es menor que , entonces la distancia entre la imagen de x y L es menor que unidades".

Esta definicin, se puede escribir utilizando trminos lgico-matemticos y de manera compacta:

Infinitsimo La funcin f es un infinitsimo en el punto a si y slo si

1) La funcin f (x) = x es un infinitsimo en 0 pues 2) La funcin g (x) = x 1 es un infinitsimo en 1 porque 3) La funcin h (x) = sen x es un infinitsimo en 0 ya que 4) La funcin m(x) = 4-2x es un infinitsimo en 2 pues 5) La funcin r(x) = cos x es un infinitsimo en porque

Infinitsimos equivalentes.

Dos infinitsimos en un mismo punto son equivalentes, cuando el lmite de su cociente es la unidad.

Cuando en un lmite, un infinitsimo est multiplicado o dividido se le puede sustituir por otro infinitsimo equivalente. La suma de varios infinitsimos de distinto orden se puede reducir al infinitsimo de menor orden.

Infinitsimos ms frecuentes en 0.

Lmite por la izquierda.

Sea f definida en cada nmero del intervalo abierto

El lmite de f (x),

cuando x se acerca al nmero a por la izquierda es L, lo cual se escribe si para cualquier tal que si entonces sin importar que tan pequea sea, existe una .

Lmite por la derecha.

Sea f una funcin definida en cada nmero del intervalo abierto

El

lmite de f(x), cuando x se acerca al nmero a por la izquierda es L, lo cual se escribe existe una si para cualquier tal que si sin importar que tan pequea sea, .

entonces

El son iguales a L.

existe y es igual a L, si y slo si,

existen y

Funciones que crecen sin lmite

Sea f una funcin definida en algn intervalo abierto que contiene al nmero a, excepto posiblemente en a mismo. La funcin f (x) crece sin lmite, cuando x se aproxima al nmero a, lo cual se escribe existe una tal que si si para cualquier N > 0

entonces f (x) > N

Por ejemplo:

Supongamos que f es la funcin definida por se muestra en la figura siguiente.

La grfica de esta funcin

El comportamiento de la funcin f es que crece sin lmite cuando x se acerca al nmero cero por la izquierda o por la derecha. Cuando esto sucede decimos que el lmite de f(x) es menos infinito cuando x tiende al nmero 0, lo que se indica mediante la siguiente notacin:

Funciones que decrecen sin lmite.

Sea f una funcin definida en algn intervalo abierto que contiene al nmero a, excepto posiblemente en a mismo. La funcin f (x) decrece sin lmite, cuando x se aproxima al nmero a, lo cual se escribe existe una tal que si entonces f (x) < N si para cualquier N < 0

Por ejemplo: Supongamos que f es la funcin definida por la ecuacin grfica de f se muestra en la figura siguiente. La

A partir de la grfica se observa que el comportamiento de la funcin f es que decrece sin lmite cuando x se acerca a "0" por la izquierda o por la derecha. Este comportamiento lo expresamos diciendo que el lmite de f (x) es menos infinito cuando x tiende a cero, lo que se escribe de la siguiente manera:

Ahora consideremos la funcin h definida por la ecuacin grfica de h se presenta en la figura 4.

La

El comportamiento de h cuando x se acerca al nmero 1 por la izquierda es diferente a su comportamiento cuando x se acerca al 1 por la derecha. Cuando se acerca al 1 por la izquierda h(x) decrece sin lmite, mientras que cuando x se acerca al 1 por la derecha h(x) crece sin lmite.

Estos comportamientos de h lo escribimos de las siguientes maneras: y

Lmites indeterminados.

Los lmites indeterminados que se estudiarn son: La forma indeterminada

Si f y g son dos funciones tales que funcin tiene la forma indeterminada en a.

entonces la

La manera de resolver los lmites indeterminados mediante el siguiente ejemplo.

ser explicada

1) Calcular Se tiene que y entonces,

Para eliminar la indeterminacin, factorizamos el numerador y el denominador, simplificamos y resolvemos el lmite obtenido, as:

Por lo tanto,

La forma indeterminada

Si f y g son dos funciones tales que funcin es indeterminada con la forma

entonces la

La forma de resolver stos lmites ser explicada mediante el siguiente ejemplo. 1. Calcular

Es evidente que

por lo tanto,

Para resolver ste lmite dividimos el numerador y el denominador entre la x de mayor exponente, as:

Por lo tanto,

La forma indeterminada

Si f y g son dos funciones tales que funcin es indeterminada de la forma

entonces la

La manera de resolver stos

lmites ser explicado con el siguiente ejemplo.

1) Calcular Como y entonces, Para

resolver ste lmite racionalizamos, as:

Hemos transformado el lmite en otro indeterminado de la forma se resuelve dividiendo el numerador y el denominador entre x, as:

que

Por lo tanto,

Teorema de estriccin o del encaje.

Si excepto en el propio a y si

para todo x en un intervalo abierto que contiene a a, entonces

Por ejemplo:

Sean f, g y h las funciones definidas por: y

Las grficas de estas funciones estn trazadas en la siguiente figura.

Las grficas de h, f y g son parbolas que tienen sus vrtices en el punto (3; 2). Las tres funciones estn definidas en x = 3. Tambin se observa que Adems, de acuerdo al teorema de estriccin y . Por lo tanto,

Continuidad de una funcin.

Funcin continua en un nmero.

Una funcin f es continua en un nmero a si y slo si se satisfacen las tres condiciones siguiente: i. ii. iii. Si por lo menos una de estas tres condiciones no se cumple en a, entonces se dice que la funcin f es discontinua en a. f (a) existe; existe;

Por ejemplo:

1) La funcin definida por

es discontinua en 2, pues dicha

funcin no est definida en el 2. Veamos como es su comportamiento grficamente, mostrado en la figura 9.

La grfica muestra un salto en el punto (2; 4), esto se debe a la discontinuidad de la funcin en x= 2, por lo tanto, f(2) no existe. Observando la grfica se sospecha que existe y es igual a 4.

Veamos si esto es cierto:

Cuando una funcin f presenta las caractersticas anteriores, es decir, no est definida en un nmero a pero existe, se dice que f presenta una

discontinuidad removible o eliminable, porque si f es redefinida en a de manera que la nueva funcin es continua en a. Si una discontinuidad no es

removible se dice que es una discontinuidad esencial.

La discontinuidad de la funcin redefine en 2, se obtiene la siguiente funcin:

es removible, porque si se

La funcin F es continua en 2, puesto que, y 2) Sea g la funcin definida por mostrada en la figura 10. La grfica de la funcin es

La grfica de g se rompe en el punto donde definida en dicho punto. Adems, no existe. Por lo tanto, i) ii) no est definida. no existe. y

pues la funcin no est luego,

Entonces, la funcin g es discontinua en porque

y la discontinuidad es esencial

no existe. La discontinuidad de ste ejemplo recibe el nombre de

discontinuidad infinita.

3) Sea h la funcin definida por

La grfica de h es mostrada en la siguiente figura:

Veamos que sucede con las condiciones de continuidad de la funcin h en x = 2. i) g(2) = 3 ii) y , por lo tanto, no existe.

Como la condicin ii) no se cumple, h es discontinua en 2. La discontinuidad es infinita, y desde luego esencial.

BIBLIOGRAFA

1. Rabuffetti Hebe T. Introduccin al Anlisis Matemtico. Dcima edicin. 2. Apostol Tom M. Calculus. segunda edicin. 3. O. Faure, R. Macias. Un nuevo enfoque de la nocin de lmite. Revista de 4. Educacin Matemtica, UMA, FaMAF, 2004, Vol 13, nro 3.

5. B. Cornu. Limits. Kluwer Academic Publisher, 1991, Vol 1, pag 153-166.

6. S. Salas, E. Hille. Calculus. Editorial Revert, Tercera Edicin, 1999.

7. M. Guzmn, B. Rubio. Problemas, conceptos y mtodos del anlisis

matemtico. Estrategias del anlisis matemtico. Madrid, Pirmide, 19991993, Vol 2.

NDICE

1. Lmite

2. Evolucin histrica y concepto de lmite

3. Definicin psilon-delta

10

4. Infinitsimos

11

5. Lmite por la izquierda y derecha

12

6. Funciones que crecen sin lmite

12

7. Funciones que decrecen sin lmite

13

8. Lmites indeterminados

15

9. Teorema de estriccin

18

10.

Continuidad de una funcin

19

11.

Bibliografa

23

Lmites de funciones
Trabajo correspondiente a la Cuarta Evaluacin