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
Editorial de la Universidad
Tecnolgica Nacional
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 L x f
a x
=

) ( lim (se lee lmite de

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.

< <
> <
=

a x
L x f
L x f
a x
0
0 , ) (
) ( lim



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.
L
L+
L-
a -

a a +


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


( ) ( ) ( ) ( ) [ ] ( ) ( ) L U x f f D a U x a U L U , /
* *


Con la siguiente interpretacin grfica


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

una idea clara!

U
*
(a)
a
D(f) C(f)
L
U(L)