UNIVERSIDAD PEDAGGICA NACIONAL

CONCEPCIONES HISTRICAS ASOCIADAS AL CONCEPTO DE LMITE

E IMPLICACIONES DIDCTICAS

Ana Cecilia Medina M.

Estudiante del Programa de Maestra en Docencia de la Matemtica.
Universidad Pedaggica Nacional

Abstract

ln this article, a synthesis of an approximate fo the study of the different conceptions

relative to the concept of limit, identified throughout its historical evolution, and of the
role that this epistemological study plays in an investigation, developed under the
framework of the comprehension of the mathematical concepts, is presented.

RESUMEN

En este artculo se presenta una sntesis de un estudio aproximativo de las concepciones

histricas relativas al concepto de lmite, identificadas en su gnesis y evolucin, y el
papel que desempea este estudio epistemolgico en un trabajo de investigacin
desarrollado en el marco de la comprensin de los conceptos matemticos.

1. INTRODUCCIN

El trabajo que aqu se presenta posee una doble intencionalidad: primero, caracterizar
las principales concepciones identificadas en la evolucin histrica de la nocin de lmite y
segundo, generar reflexin acerca de la enseanza y aprendizaje del clculo. Este estudio
hace parte del trabajo de tesis titulado Imgenes del concepto de lmite en estudiantes
universitarios, el cual se encuadra en la lnea de investigacin Una aproximacin
epistemolgica, didctica y cognitiva al clculo, propuesta por la Maestra en Docencia de
la Matemtica de Fa Universidad Pedaggica Nacional, que se orienta a estudiar los
fenmenos de la enseanza, aprendizaje y comunicacin de las nociones bsicas y
conceptos del clculo (Garca, G., Serrano, O., Daz, H., 1999). Para abordar el
contenido de esta presentacin, se comienza con algunas razones que explican la
importancia del estudio epistemolgico de la nocin de limite, luego los referentes tericos
que apoyan el modelo de Anlisis para despus presentar. a manera de sntesis. la
descripcin de cada categora de concepciones histricas relativas a la nocin de limite,
los problemas conceptuales, las dificultades y obstculos epistemolgicos asociados a
cada una de estas concepciones y concluir con algunas reflexiones e interrogantes sobre
sus implicaciones didcticas.

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
2. ALGUNOS ASPECTOS DEL ESTUDIO EPISTEMOLGICO DE LA NOCIN DE
LMITE

2.1 Por qu el concepto de lmite?

El concepto de lmite ocupa una posicin central en el campo conceptual del clculo y
su complejidad resulta ser fuente de dificultades tanto en la enseanza como en el
aprendizaje. Primero por su carcter estructural que lo constituye el eje central y concepto
bsico sobre el cual se construye la estructura del Clculo diferencial e integral y otros
conceptos de otras ramas de la matemtica; tambin por su carcter instrumental como
herramienta para la solucin de problemas tanto al interior de las matemticas como de
ciencias aplicadas como la Fsica, la Ingeniera y finalmente, como objeto matemtico que
se gesta en diferentes con-textos: geomtrico, aritmtico, mtrico, topolgico y asociado a
otros objetos matemticos

2.2 Tratamiento didctico tradicional

Una de las intencionalidades del educador matemtico es la bsqueda de la

comprensin como construccin y apropiacin de significados relativos a elementos
constitutivos (Sierpinska, 1998), de los conceptos matemticos por parte de los
estudiantes, lo cual genera interrogantes acerca de su actividad matemtica, como:
Qu concepciones o imgenes del concepto se forman? Estas concepciones los
aproximan al concepto? Cmo aprenden el concepto?

Estos interrogantes cobran mayor importancia cuando se privilegia el acercamiento al

concepto de lmite por medio de la definicin formal - . Al respecto, investigaciones en
Educacin Matemtica han evidenciado que la definicin de un concepto no garantiza la
comprensin del concepto (Tall y Vinner, 1981), ya que la definicin formal encapsula las
situaciones y procesos que le dan sentido al concepto, ocultando su significacin y
complejidad.

2.3 Por qu el estudio de las concepciones histricas?

Como el objetivo principal de este trabajo de investigacin es estudiar las concepciones

que manifiestan los estudiantes acerca de la nocin de lmite, se debe tener como punto
de partida los significados atribuidos al concepto, los cuales no se construyen consultando
los libros de texto de Clculo ms elevados, porque all por una parte se encuentra el
conocimiento matemtico terminado y pulido con su apariencia perfecta inequvoca y
rigurosa, ocultando las dificultades y obstculos que hicieron evolucionar la nocin hasta
llegar a institucionalizarse como concepto matemtico; y por otra, los textos portan
concepciones de la noosfera, es decir, del sistema poltico, econmico y educativo de un
pas (Chevallard, 1991), de los autores y otras concepciones que se inducen por la inser-
cin de objetos didcticos para convertir el conocimiento en saber escolar. A este
conjunto de adaptaciones que experimenta un conocimiento desde su estado de saber
cientfico (aceptado por la comunidad cientfica) hasta convertirse en saber escolar y en
un sentido ms amplio hasta convertirse en saber del alumno, proceso en que interviene
tambin las adaptaciones del maestro y la relacin didctica es lo que Chevallard (1991)
ha denominado Transposicin Didctica.

Por lo tanto, para acercarnos a la configuracin de los elementos constitutivos de la

significacin del concepto la mejor alternativa es ir a fuentes que muestran la forma de

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
produccin del conocimiento como la Historia de las Matemticas e Investigaciones en
Educacin Matemtica.

2.4 El modelo de anlisis

Este estudio aproximativo de la evolucin de la nocin de lmite se ha apoyado en las

teoras sobre concepciones de Vergnaud (1982, citado por Ruiz, 1993), problemas
conceptuales de Toulmin (1977. citado por Delgado, 1998), dificultades y obstculos
epistemolgicos de Brousseau (citado por Ruiz, 1993) y El Bouazzaoui (1988) y el estatus
de un concepto matemtico de Chevallard (1991) y Sfard (1991).

Para el estudio de las concepciones histricas de la nocin de lmite se adopt la

definicin de concepcin de Vergnaud, quin parte de la definicin de un concepto
matemtico:

Un concepto matemtico est determinado por una terna (S, I, s) en donde S: es el

conjunto de situaciones que dan sentido al concepto, I: el conjunto de invariantes que
constituyen el concepto y s: el conjunto de representaciones simblicas usadas para
presentar el concepto, sus propiedades y las situaciones a las que se refiere.

Anlogamente una concepcin estara formada por esta misma terna, pero
considerndola en un momento dado de la evolucin del concepto(Vergnaud, 1 982b,
citado por Ruiz, 1993)

Esta definicin proporciona elementos que permiten hacer un seguimiento de la

evolucin de la nocin para diferenciar y caracterizar las diferentes etapas en las que los
matemticos la manipularon de acuerdo con las preocupaciones de cada poca.

El anlisis de la evolucin de las concepciones se apoy en la Teora de dificultades y

obstculos epistemolgicos de Brousseau y El Bouazzaoui (1988) quienes consideran
que la evolucin de una nocin matemtica para convertirse en concepto hace que la
elaboracin del mismo, sea un proceso en el que aparecen dificultades y obstculos.
Cada concepcin histrica permite la resolucin de un conjunto de situaciones problema,
llamado dominio de aplicacin de la concepcin. Una dificultad aparece cuando un
problema nuevo se resuelve reorganizando la teora de la concepcin que se dispone,
pero si para la solucin se requiere de un cambio importante o radical de punto de vista, o
sea se requiere una nueva concepcin, se dice que un obstculo ha sido superado.

A estos obstculos presentados en el desarrollo histrico del conocimiento se les ha

denominado Obstculos epistemolgicos, trmino introducido por Bachelard para afirmar
que:

El conocimiento cientfico no se desarrolla en un proceso continuo, sino que resulta del

rechazo de formas previas de conocimiento que se constituyen en obstculos
epistemolgicos (Bachelard, 1993).

De otra parte, el estudio filogentico de los conceptos revelan que las nociones sufren
un proceso lento de institucionalizacin, en el cual pasan de ser procesos de uso, a ser
instrumentos de la matemtica y finalmente a objetos de estudio (Chevallard, 1998), en el
que intervienen factores internos de la Matemtica como disciplina cientfica y externos de
los entornes social, cultural y cientfico de la poca. Punto de vista que se complementa
con el expuesto por Sfard (1991) quien sostiene que muchas nociones matemticas

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
pueden concebirse de dos formas: operacionalmente o como proceso y estructuralmente,
como objete de una forma esttica; y la posibilidad de manejar con eficacia estas dos
dimensiones requiere proceso cognitivos especiales como la reificacin que convierte un
proceso en un objeto abstracto.

3. CONCEPCIONES HISTRICAS RELATIVAS AL CONCEPTO DE LMITE

Hacer un seguimiento a la evolucin histrica de la nocin de lmite, implica hacer un

recorrido histrico a las Matemticas, encontrando que esta nocin no se desarroll en
forma independiente y autnoma sino que hace parte de una red
o entramado que se obtiene por medio de la interaccin e interdependencia con otras
nociones vecinas del clculo; variable, funcin, funcin continua, infinito, infinitesimal,
nmero, nmero real, continuo numrico.

Funcin continua
Funcin
Variable

Sucesin
LIMITE Infinitesimal
Nmero

Nmero real Sucesin Continuo numrico

Para facilitar el anlisis se tuvo en cuenta el contexto matemtico, en el que se fue

desarrollando la nocin a excepcin de las concepciones de Newton y Leibniz, las cuales
se analizan por separado, debido a los matices particulares que poseen. Es importante
aclarar que estas categoras de concepciones no son independientes, sino que
permanentemente se interrelacionan y afectan mutuamente. En cada una se ha
pretendido agrupar el pensamiento de la comunidad matemtica de la poca y se elige un
matemtico como representante aunque tambin en una misma poca coexisten posturas
divergentes.

3.1 Concepcin geomtrica

Est relacionada con situaciones ligadas al contexto geomtrico y tienen su origen en

el origen de las matemticas cuyo nfasis fue geomtrico. Se han considerado tres
categoras de concepciones correspondientes a tres pocas:

Antigedad Griega - poca clsica

(S. VI a. C. - S. III a. C.)

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL

CONCEPCIN GEOMTRICA
RIGUROSA - EUDOXO - EUCLIDES

El paso al limite no es una operacin matemtica, sino que est oculta en el m-

todo de exhaucin, para probar ciertas relaciones entre magnitudes. (Serpinska,
1987 pg 32).

RIGUROSA: Mtodo de exhaucin de Eudoxo. Se privilegian las demostraciones

por doble reduccin al absurdo, para probar relaciones entre magnitudes geo-
mtricas, deducidas intuitivamente, ms que el hallazgo de resultados.

poca Greco - Alejandrina

(S. III a.C. - S II)

CONCEPCIN GEOMTRICA HEURSTICA - RIGUROSA -

ARQUMEDES

El paso al limite est implcito en el mtodo heurstico de aproximaciones suce-

sivas que conduce a hallazgos gracias a la intuicin geomtrica y conocimiento
sobre mecnica y que luego demuestra por reduccin al absurdo.

HEURISTICA - RIGUROSA: Con su mtodo mecnico (oculto) y de aproxi-

maciones sucesivas encuentra resultados que luego prueba por el mtodo de
exhaucin.

En la poca griega se presentan situaciones que dan oportunidad a las primeras

manifestaciones intuitivas de la idea de lmite. Ellas tienen que ver con el encuentro de
procesos geomtricos infinitos que surgen de las paradojas de Zenn, el descubrimiento
de los inconmensurables o irracionales y la comparacin de reas y volmenes de figuras
curvilneas por aproximacin de figuras rectilneas. Por ejemplo el problema de calcular el
rea del crculo proporcion una oportunidad para desarrollar herramientas muy similares
al concepto de lmite. (Oornu, 1991, p. 159)

Renacimiento (S. XV S. XVII)

CONCEPCIN GEOMETRICA HEURSTICA DE APROXIMACIN

FINITA - CAVALIERI - KEPLER

El paso al limite no es una operacin matemtica, pero est implcito en un mto-

do heuristico que permite la bsqueda de lo que no conocemos ms que aproxi-
maciones.

HEURlSTICA: Se acude a la intuicin geomtrica, al libre uso del infinito y ex-

tensos clculos numricos, para hallar resultados cuantitativos.

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
A finales del siglo XVI y comienzos del siglo XVII, los matemticos del renacimiento,
basados en el mtodo de Arqumedes, pero tratando de evadir la rigurosidad del mtodo
de exhaucin y aprovechando la insercin del infinito en los razonamientos matemticas
por algunos filsofos escolsticos, surgen nuevos mtodos para resolver problemas de
reas de figuras curvilneas. Por ejemplo tanto Stevin (1548 - 1620) como Luca Valerio en
1604 se aproximaron a la idea de lmite aunque en lo geomtrico al indicar la condicin
necesaria para la existencia de un lmite a saber, que la diferencia entre determinadas
reas puede hacerse menor que un rea especfica. (Boyer, 1959, p. 105, 106)
48
Cavalieri (1598 1647) propone el mtodo de los indivisibles para comparar reas y
volmenes, mtodo que ocupa un lugar intermedio entre las rigurosas concepciones de
Arqumedes y los nuevos mtodos infinitesimales de Newton y Leibniz Y Kepler (1571
1630) inicia los planteamientos del infinitamente pequeo, para el clculo de reas,
superficies barridas en el movimiento planetario, volmenes, estudio de curvas
representando trayectorias de movimientos.

Invariantes de la concepcin geomtrica

El lmite se aplica a magnitudes geomtricas, como reas, volmenes, superficies

barridas, ngulos de rotacin. En la poca griega se considera como una aproximacin de
procesos geomtricos infinitos, dada por la intuicin geomtrica o espacial y en el
Renacimiento el lmite se considera como una aproximacin finita, como que toma una
de un nmero finito de cantidades que se aproximan al limite como la mejor aproximacin,
y no tanto como se desee. El infinito que es un concepto consustancial a la nocin de
lmite se rechaza y evade en matemticas, generndose el obstculo Horror al infinito
(Cantor) que impide ver el proceso de aproximacin como una operacin que llega a un
resultado (Limite).

Sistemas de representacin de la concepcin geomtrica

Aproximaciones de reas mediante construcciones geomtricas con regla y comps,

basadas en iteraciones indefinidas. Suma infinita de magnitudes infinitamente pequeas.
Aproximaciones de volmenes mediante clculos numricos. Fracciones decimales y la
notacin decimal (Stevin)

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
3.2 Concepcin de Newton (1643-1727)

CONCEPCIN HEURSTICA DE APROXIMACIN CINTICA

INFINITESIMAL NEWTON

El limite es una cantidad (Cociente) a la cual una razn de cantidades en

movimiento se aproxima continuamente, mas que cualquier diferencia dada y no
puede alcanzarla o sobrepasarla antes que las cantidades hayan decrecido
indefinidamente.

HEURSTICA: Mtodos heursticos de induccin incompleta, analoga,

interpolacin lo llev a mtodos algortmicos y frmulas universales.

APROXIMACIN CINTICA: Guiada por su conocimiento de la Fsica y de a

variacin continua sugerida por el movimiento.

VARIABLES: Fluentes, magnitudes geomtricas o fsicas asociadas al

movimiento, que varan con el tiempo. El tiempo es la variable independiente
universal.

FUNCIN: Expresin analtica. El conjunto de los nmeros reales no est

formalizado.

Uno de los aportes ms relevantes de Newton a la evolucin de la nocin de lmite, fue

darse cuenta que para calcular una razn de cambio instantnea (velocidad instantnea)
era necesario considerar procesos infinitos entre dos valores suficientemente prximos.
Su centro de inters fue la resolucin de problemas de movimiento y variacin que
implican el clculo de velocidades, distancias, aceleraciones. Problemas de Tangentes y
cuadraturas. Rectificacin de curvas, Mximos y mnimos y series infinitas.

La nocin de lmite transita implcitamente en sus mtodos, especficamente cuando

calcula la Fluxin: velocidad de cambio de la fluente (magnitud que fluye o vara con el
tiempo). Pero en donde est ms cerca de la idea de lmite es un su mtodo de Primera y
ltima Razn de cantidades nacientes o evanescentes las que describe en su Principia
as:

3.3 Concepcin de Leibniz (1 646-1 71 6)

Cocientes (o razones ltimas) en las que las cantidades se anulan, no son

estrictamente hablando, razones de cantidades ltimas sino lmites a donde se acercan
las razones de esas cantidades, al decrecer sin lmite, las cuales aunque pueden
hacerse ms prximas a sus limites que cualquier diferencia dada, no pueden ni
sobrepasar/os ni alcanzarlos antes que las cantidades hayan decrecido
indefinidamente... Por razn ltima de cantidades evanescentes debe entenderse la
razn de cantidades, no antes de que se anulen, no despus, sino aquella con la que
se anulan. (Kline, 1992, p. 482)

Invariantes de la concepcin de Newton

El lmite se aplica a magnitudes variables que involucran tanto magnitudes

geomtricas como fsicas Se interpreta como aproximacin infinitesimal cintica tanto

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
como se desee, lo cual se traduce en una aproximacin infinita equivalente a aproximar
tanto como se quiera o a la aproximacin con cualquier error. Aunque la concepcin de
Newton no acepta explcitamente el infinito actual, su actitud hacia el infinito puede
considerarse actualista potencial en cuanto considera el limite como el ltimo trmino
surgiendo en el tiempo y cuando todos estn, all est el lmite (Sierpinska, 1987), porque
encuentra resultados de procesos infinitos como las razones de magnitudes
evanescentes.

Representaciones

Razn de cambio instantneo (razn ltima). Pendiente de tangentes a curvas. Sumas

de series infinitas, aproximaciones numricas mediante procesos iterativos.
Representaciones grficas de curvas, algebraicas y numricas.

CONCEPCIN METAFSICA
ALGEBRAICA
INFINITESIMAL - LEIBNIZ

Lmite es un ente ltimo tal, que existe una diferencia infinitesimal entre l y los
valores que se le aproximan, tanto como se quiera.

METAFSICA: Principio de Continuidad

ALGEBRAICA: Predominio de simbologa, frmulas y algoritmos generales.

INFINITESIMAL: Considera el diferencial como la diferencia infinitamente pequea,

a veces nasignable o cuantitativamente cero.

VARIABLES: Recorriendo una sucesin de valores infinitamente prximos.

DEFINICIN DE FUNCIN y DE NMERO REAL: Estn ausentes. La funcin es

una expresin analtica y la diferencia entre 1 y 0.99999... es el segmento que falta
por recorrer ms que un nmero.

Igual que Newton, estuvo interesado en resolver problemas de movimiento y variacin,

pero mientras que a Newton le interesaba la descripcin cientfica de la generacin de
magnitudes, a Leibniz le preocupaba la explicacin metafsica de tal generacin (Boyer,
1959, p, 306). Sus mtodos estuvieron ms orientados por el trabajo aritmtico de
sucesiones de sumas y diferencias, reconoce la potencia del lgebra y su simbolismo
para el clculo infinitesimal es el aceptado por la comunidad matemtica. La idea de lmite
de Leibniz estuvo ms orientada por su preocupacin filosfica y la bas en su principio
de continuidad:

En cualquier supuesta transicin que acaba en un trmino, es vlido elaborar un

razonamiento en el que el trmino final quede incluido (Kline, 1992, p. 510)

Invariantes de la concepcin de Leibniz

El lmite se aplica a cantidades variables, relativas a valores numricos, las que

considera con una visin esttica en el sentido de valores fijos pero indeterminados. El

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
modelo de lmite es infinitesimalista por considerar diferencias infinitamente pequeas.
Su actitud hacia el infinito tambin es actualista potencial, por cuanto admite que
despus de un tiempo la sucesin infinita ser completada y sus trminos estarn
disponibles. (Sierpinska, 1987).

Sistemas de representacin

Razones entre magnitudes, tringulo diferencial, simbologa especfica de derivada e

integral. Series infinitas y representaciones geomtricas, algebraicas y aritmticas.
Representaciones grficas de curvas.

3.4 Concepcin algebraica

La nocin de lmite transita implcitamente en los algoritmos y las frmulas algebraicas.

Esta concepcin est determinada por los trabajos de los matemticos que usaron el
lgebra como herramienta para obtener resultados a problemas que involucraban la
nocin de lmite.

CONCEPCIN ALGEBRAICA
FINITISTA - FERMAT
(Comienzos deI S. XVII)

El paso al limite es una operacin matemtica que consiste en aplicar nmeros a las
variables y omitir valores despreciables respecto de otros. (Sierpinska, 1987).

ALGEBRAICA: El incremento E tiene cualquier valor fijo. La adigualdad es un

proceso algebraico, por equivalencias. Se busca una frmula mgica para resolver
los problemas del mismo tipo.
FINITISTA: E es una variable finita como en las ecuaciones de Viet, en el sentido
de un valor fijo pero indeterminado.

FUNCIN: Expresin analtica.

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL

Es el primer matemtico que tiene la idea de tomar un incremento diferencial en la que

llamamos variable independiente y analizar el comportamiento de la variable dependiente
en su mtodo de Adigualdad para hallar mximos y mnimos de curvas polinmicas y
que luego extiende a las tangentes. Este mtodo no implica ningn concepto de lmite
sino que es algebraico.

CONCEPCIN ALGORTMICA
ALGEBRAICA - EULER (1701-1783)

El paso al limite queda disimulado cuando considera apropiado tomar las cantidades
infinitamente pequeas como ceros (finitas) pero sus razones pueden ser finitas
(Limite).

ALGEBRAICA: los diferenciales son cantidades finitas.

ALGORTMICA: Privilegia las frmulas y los algoritmos ms que las demostraciones

y poco se preocupa por la bsqueda de los Fundamentos del Clculo Infinitesimal

FUNCIN: Expresin analtica.

Euler y los Bernoulli tratando de resolver problemas de Geodesia, Fsica, Mecnica,

navegacin, calendarios, movimiento de proyectiles, diseo de lentes, que exigen
conocimiento cuantitativo desarrollaron y ampliaron el clculo de Leibniz y generaron
nuevas ramas de la matemtica. Euler usa los diferenciales de Leibniz que los considera
cero cuando es apropiado. El argumenta que dy/ dx, que para l era 0/0 poda ser un
nmero bien definido, usando propiedades del lgebra finita. A Euler le interesa ms que
todo los resultados y poco los fundamentos de los mtodos, tanto que dice: Para qu
probar lo ms evidente con lo que es menos evidente (Boyer, 1959)

CONCEPCIN RIGUROSA
FINITISTA - LAGRANGE (1736 - 1813)

No se admite la idea de lmite, ni transita implcitamente en los mtodos algebraicos.

FUNCION: Expresin analtica

Es el primer matemtico que se interesa por buscar los fundamentos del Clculo
Infinitesimal de Newton Y Leibniz. Pero como se ve influenciado por el Horror al infinito,
para deshacerse del infinito y los infinitesimales, busca la fundamentacin del Clculo en
el Algebra en donde usa como herramienta las Series de Taylor. Su propuesta Teora
Analtica de funciones sin lmites contribuye a independizar el Anlisis de lo geomtrico y
lo mecnico.

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
Invariantes de la concepcin algebraica

El lmite se aplica a cantidades variables en expresiones analticas (y = f(x)) Las

cantidades variables hacen referencia a valores de magnitudes fsicas o geomtricas, en
el sentido de valores fijos pero indeterminados. Aqu hallar el lmite consiste en aplicar
algoritmos y artificios algebraicos. Predomina la actitud finitista ya que el infinito se consi-
dera como un nmero muy grande o se rechaza.

Sistemas de representacin

Incrementos fijos de las variables. Representaciones grficas y algebraicas de curvas.

Se introduce el smbolo f(x) para funcin y esta se concibe como una expresin analtica
(y =f(x))

3.5 Concepcin aritmtica

Se consideran tres fases:

S. XVII Transicin de la concepcin geomtrica a la Aritmtica cuyo representante es

Walls.

S. XVIII Siguiendo la lnea de la bsqueda de los fundamentos del Clculo infinitesimal,

DAlembert es el primero en proponer la Teora de limites como un alternativa de
solucin.

S. XIX Cauchy inicia el camino hacia la formalizacin del concepto.

CONCEPCIN ARITMETICA HEURSTICA INFINITISTA-WALLIS (1661-1703)

El paso a lmite no es una operacin matemtica sino un mtodo heurstico que

conduce a hallazgos gracias a razonamientos basados en induccin incompleta.

(Sierpinska, 1987, p. 372)

ARITMTICA: Mtodos Geomtricos Mtodos Aritmticos.

HEURISTICA: Induccin incompleta, interpelacin. Su lema es: Primero inventar y
luego probar.

INFINITISTA: Se ibera del temor al infinito heredado de los griegos. Trabaja con el
infinito en series infinitas e induce el smbolo

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL

CONCEPCIN GEOMTRICA-ARITMETICA
DINMICA - DALEMBERT
(1717-1783)

El lmite de una cantidad variable es visto como una cantidad fija a la cual se acerca
o aproxima tanto como se quiera (con un error menor que cualquier cantidad dada)

GEOMTRICA - ARIMTICA: Magnitud fsica geomtrica Cantidad Variable

DAlembert es el primero que propone explcitamente como una solucin al problema

de los fundamentos del Clculo infinitesimal La Teora de Lmites siguiendo la tradicin
de cantidades variables. As con base en las definiciones de Jurin (1734) y Robins (1735)
que interpretan la nocin de lmite de Newton, publica en la Enciclopedia de Diderot la
siguiente definicin:

Se dice que una cantidad es el lmite de otra cantidad cuando la segunda puede
aproximarse a la primera tan cerca como una cantidad dada, tan pequea como se
pueda suponer, sin que la cantidad que se acerca pueda sobrepasar la cantidad a la
que se acerca; de suerte que la diferencia de una semejante cantidad a su lmite es
absolutamente inasignable (DAlembert, 1765 en Enciclopedie, Artculo Lmite citada
por Sierpinska, 1985, p.49)

CONCEPCIN NUMRICA DINMICA

INFINITESIMAL - CAUCHY (11789-1 857)

Lmite como valor fijo al cual se aproximan indefinidamente valores numricos de

una variable en tanto como se desee.

Cantidad variable Variable Numrica dinmica.

FUNCION: como dependencia entre variables. Es el Conjunto de los valores que

toma la variable dependiente.

A l se le atribuye el honor de ser el primero en institucionalizar el concepto de lmite

como objeto matemtico ya que el concepto de lmite antes se usaba como una nocin
instrumental en los procesos de aproximacin. La principal situacin que lleva a Cauchy
a la bsqueda del rigor es su compromiso de Enseanza del Curso de Anlisis, en el cual
se propone alejarse de la manipulacin de frmulas y figuras geomtricas. Empieza por
definir variable, lmite e infinitesimal. As, define lmite en su Cours de Anlise, tomando
como referencia la definicin de DAlembert:

Cuando los sucesivos valores que toma una variable se aproximan indo finida-mente a
un valor filo, de manera que termina por diferir de l en tanto como queramos, este
ltimo valor se llama lmite de todos los dems (Cauchy citado por Boyer, 1992, p.
647)

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
Invariantes de la concepcin aritmtica

Se habla de limite de una variable numrica dinmica. Algunos autores (Kline, 1992)
interpretan la definicin de Cauchy como Lmite de una sucesin por aplicarla a los
sucesivos valores que toma una variable y otros como lmite de una funcin refirindose
solo a la variable dependiente. El lmite se ve como una aproximacin tan precisa como
se desee entre valores numricos (aproximacin infinita), y el uso de las expresiones
dinmicas aproximarse indefinidamente y diferir tanto como se desee, empiezan a
encapsular los procesos infinitos implicados, generando los modelos dinmicos de limito
como frontera a veces alcanzable y otras veces inalcanzable.

Sistemas de representacin

Simbologa aritmtica y algebraica, usadas en procesos infinitos (sumas, productos,

cocientes, expansiones decimales). Definiciones verbales de lmite. Notacin de lmite
como operacin y Simbologa de operaciones y relaciones de entre nmeros reales.

3.6 Concepcin analtica Weierstrass (1815- 1897)

CONCEPCIN ARITMTICA ANALTICA

ESTTICA - WEIERSTRASS

El limite es un concepto riguroso y esttico en trminos de nmeros reales, sus

relaciones y operaciones y sirve para demostrar teoremas generales de clases de
funciones.

ARITMTICA: Aritmetizacin del Anlisis:

fundamentar las matemticas en R
ANALITICAs El limite se refiere a una funcin, y sobre este se estructura todo el
Anlisis.
RIGUROSA: Definicin formal y precisa.

ESTTICA: La variable continua se define en forma esttica.

Variable Dinmica Variable esttica

(Recorriendo un conjunto (Representando uno cualquiera de los valores)

El padre del rigor y la formalizacin de las matemticas, Weierstrass, se encuentra en

mitad del siglo XIX , cuando la Matemtica sufre la crisis de fundamentos. La base sobre
la cual estaba construida la matemtica, la Geometra, se desestabiliza, con la aparicin
de las geometras no Euclideas. Entonces, los fundamentos del Clculo infinitesimal no se
podan buscar en la geometra y es Weierstrass quin inicia el programa de
aritmetizacin del Anlisis, que consista en fundamentarlo en el concepto de nmero
real.

Para llegar a la definicin de lmite, se requiri precisar Nmero real, para lo cual se
necesita el concepto de conjunto infinito que incorpora el infinito actual; tarea que
emprenden simultneamente Cantor, Dedekind, Weierstrass y Heme.

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
Weierstrass resuelve la cuestin de la existencia del lmite de una sucesin
convergente haciendo la sucesin en s misma el lmite o el nmero (Boyer, 1959, p.
254). Esta apreciacin lleva implcita la consideracin del infinito actual que le permite ver
el lmite como el objeto creado por el proceso infinito terminado. Para l la sucesin 0.3,
0.33, 0.333, 0.3333, ... = 1/3

Y as presenta la siguiente definicin de lmite:

L es el limite de una funcin f(x) para x = x0, si, dado arbitrariamente cualquier nmero
pequeo puede ser encontrado un nmero tal que para todo valor de x difiriendo de
x0 por menos que , el valor de f(x) diferir de L por menos el valor de (Weierstrass,
citado por Boyer, 1959, p. 287)

Esta definicin la hizo ms formal Heme, con la introduccin de los cuantificadores y la

definicin de funcin de Dirichlet y Riemann como correspondencia arbitraria en 1872:

Si dado cualquier existe 0 tal que para 0< < o, la diferencia f (x0, ) L es
menor en valor absoluto que , entonces se dice que L es el lmite de f(x) para x = x0
(Heine Weierstrass, en Boyer, 1992, p. 696)

Hoy la (de Weierstrass), se ha reemplazado casi universalmente por y la definicin

se conoce as:

L es el lmite de f en x=p si A > 0,> 0 tal que 0< x - p < f(x) - L <

En esta definicin no se da la imagen de cantidades en movimiento, o cantidades

variables que se aproximan a un valor o de puntos movindose en una curva.

Invariantes de la concepcin analtica

El lmite se aplica a funciones, pero las funciones vistas como correspondencia arbitraria
entre nmeros, donde prima la unicidad. Esta concepcin refleja una visin esttica de
lmite. Se ocultan los proceso infinitos y se destierran las ideas de variabilidad continua,
de aproximacin e infinitsimos constantes o variables.

Sistemas de representacin

A travs de los reales, de funciones reales. Definicin simblica -

4. PROBLEMAS CONCEPTUALES PARA LA EVOLUCIN DE LA NOCIN DE LMITE

La nocin de lmite evoluciona tratando de dar respuesta a los siguientes problemas

planteados al interior de las matemticas:

P1 La relacin entre nmero (lo discreto) y magnitud (lo continuo)

Surge de las paradojas de Zenn y el descubrimiento de los inconmensurables,

separando lo geomtrico de lo numrico y a pesar de los aportes para solucionarlo como
los de: Stevin (s. XVI) con su planteamiento sobre el concepto de nmero, Descartes y
Fermat con la geometra Analtica, Newton y Leibniz que asocian nmeros a magnitudes y

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
viceversa y Cauchy que hace transferencia del continuo geomtrico al numrico, solo es
resuelto definitivamente por Dedekind (1831 1916) cuando define continuo numrico
y recta analtica en donde coexisten los discreto y lo continuo y se es consciente que
tanto los nmero reales como los puntos de la recta son construcciones intelectuales y
no dependen de la intuicin fsica o espacial.

P2 Naturaleza de los elementos infinitesimales

Nace con las primeras versiones de los mtodos infinitesimales y se moviliza en los
mtodos de Newton y Leibniz, los cuales son cuestionados y criticados Por ej. por
Berkeley). Se refiere especialmente a la naturaleza de los incrementos fijos o
incrementos variables o elementos infinitesimales y se soluciona con Cauchy cuando
define infinitsimo y Lmite en el marco numrico.

P3 Bsqueda del rigor en el lgebra

Es la tendencia a buscar el rigor de los mtodos del clculo en el lgebra, para huir del
infinito y los infinitsimos, especialmente por Lagrange (S. XIX)

P4 Razonamiento circular en las definiciones de lmite y de nmero irracional

Surge de la definicin de lmite de Cauchy en la cual asume al existencia de los

nmeros reales, para definir lmite y luego define nmero irracional (real) como lmite de
sucesiones de racionales.

5. OBSTCULOS EPISTEMOLGICOS

Oi - Horror al infinito

Surge del problema entre lo discreto y lo continuo en la Matemtica griega. Los griegos
desterraron el concepto de infinito en Matemticas y todo los que tuviera que ver con el
infinito, y este fue el motivo para idear el mtodo de demostracin indirecta o por
reduccin al absurdo. Pero ms que considerar el temor al infinito heredado de los
griegos, el Horror al infinito, expresin acuada por Cantor, se refiere a la no aceptacin
del infinito actual en matemticas, es decir la no aceptacin de un proceso infinito
completado o terminado.

Aunque se empieza a desmitificar el infinito en la edad media con los trabajos de

Oresme y en el renacimiento con las reflexiones de Galileo sobre el infinito actual, solo
hasta los trabajos de Wallis se manipula el infinito libremente, luego en le Clculo
infinitesimal de Newton y Leibniz y el Anlisis Infinitesimal de Euler, las series infinitas se
convierten en herramientas potentes para el desarrollo de las matemticas , pero todos
ellos incluso Cauchy se vieron afectados por este obstculo, y solo es completamente
superado con la teora de conjuntos de Cantor y la aceptacin de infinito actual en mate-
mticas el cual permite definir limite en el contexto numrico.

Og v n - Separacin de lo geomtrico y lo numrico

Ligado a los problemas de la relacin entre lo discreto y lo continuo y el descubrimiento

de los inconmensurables.

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
Og Obstculo geomtrico Paradigma eucldeo

Bsicamente dificult hacer transferir la idea de lmite de lo geomtrico a lo numrico.

El modelo de razonamiento geomtrico Eucldeo era el perfecto y a pesar de que se
haban hecho trabajos para superarlo como los de Wallis, Newton, Leibniz, Euler, solo se
logra superar totalmente con el descubrimiento de las Geometras no Eucldeas y la
Aritmetizacin del Anlisis.

Of a i Transferencia de lo finito a lo infinito

Se inicia desde al edad media, cuando Oresme y Calculator incorporaron el infinito en

los trabajos de sumas infinitas y luego se acenta en los trabajos sobre series infinitas de
Wallis [Ej. ( a/( ). ( = a, Newton, Leibniz, Bernoulli, Euler ya encuentran inconsistencias
con algunas series infinitas como la serie de Grandi: 1-1+1-1+1.... y solo es librado por
Cauchy quien reconoce que los procesos infinitos requieren tratamientos diferentes a los
finitos y que el clculo necesita razonamientos y tratamientos diferentes a los algebraicos
y geomtricos.

Oc Principio de continuidad de Leibniz (transferir una propiedad de una su-

cesin convergente a su lmite)

Por ejemplo se manifiesta cuando se cree que el lmite de 0.9, 0.99, 0.999, tiene la
misma propiedad de sus trminos y por consiguiente debe ser menor que 1. Este se
extiende en los trabajos de Bernoulli, Euler y DAlembert.

Of(x) Obstculo relativo a funciones

Se genera de la concepcin que tiene Euler de Funcin como expresin analtica y =

f(x), concepcin que se puede extender a Newton y Leibniz en donde no se mira la
naturaleza de los x y los y. Se supera cuando se precisa el concepto de funcin real de
variable real, funcin continua y esto se logra simultneamente con la institucionalizacin
del concepto de lmite.

OL El lmite se alcanza o no

Surge por el uso de expresiones dinmicas en las primeras definiciones de limito de

Jurn, Robins, DAlembert, Lhuilier y Cauchy por la influencia del infinito potencial. Es
superado cuando Weierstrass, haciendo uso del infinito actual, considera el limite como
el objeto creado por el proceso infinito. Por ejemplo establecer que 0.3, 0.33, 0.333,
0.3333 = 1/3

OS Obstculo de la simbologa

Es el producido por el uso de la simbologa propia de la matemticas y la insercin de

cuantificadores de la lgica. La simbologa utilizada denota semejanzas con el lgebra,
esconde las diferencias llevando a una prdida de significacin (Sierpinska, 1985, p. 55).
En ella se encapsulan los procesos infinitos y situaciones que le dan sentido a la nocin
de lmite y oculta su complejidad.

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
6. DIFICULTADES

Ligadas a los obstculos aparecen dificultades para la evolucin de la nocin de lmite;

son menos resistentes que los obstculos epistemolgicos pero los refuerzan. Las
dificultades identificadas que nacen en al antigedad griega son: la influencia de la
intuicin geomtrica, el excesivo rigor en los mtodos y falta de hallar resultados directos,
en la edad media y renacimiento surgen el carcter emprico y heurstico de las
matemticas que impide la explicacin de los resultados, luego surgen las dificultades
asociadas al lgebra como influencia de la posicin finitista del lgebra de Viet (s. XVII)
que lleva a ver el clculo como una extensin del lgebra (s. XVIII). Por otro lado surgen
las dificultades generadas por el uso de expresiones dinmicas (finales del siglo XVIII y
comienzos del s. XIX) y en las cuales se detecta la falta de la nocin clara de conjunto
infinito y la omisin de una definicin clara de nmero (s. XIX), para poder llegar a la
definicin forma! y simblica de lmite, la cual tambin ha generado dificultades didcticas.
A continuacin se muestra tal transicin:

Carcter Carcter Carcter Predominio Uso de expres. Carcter

Riguroso Emprico Heurstico de frmulas dinmicas formal

S.VIA.C. S.XIV S.XVI S.XVIII S.XVIIIa S.XIX

a S.II a S.XV a SXVII a comienzos XIX

A finales del siglo XIX y durante el siglo XX, se ha objetado la eliminacin de los
infinitesimales, procesos infinitos y las ideas de aproximacin y variabilidad en la
definicin de Weierstrass. Al respecto comenta Cornu:

A pesar de los intentos de desvanecer los infinitesimales del Anlisis moderno, estos
continan vivos en las mentes y comunicaciones de los matemticos profesionales. El
regreso de los infinitesimales basados en el trabajo de Robinson (1966), la construccin
de un sistema hiperreal que contuviera nmeros reales e infinitesimales, reabri el debate,
el cual continua siendo muy confrontado (Cornu, 1991, p. 162, 163).

7. PROCESO DE INSTITUCIONALIZACIN DEL CONCEPTO DE LMITE

Es notoria la lentitud del proceso de institucionalizacin del concepto de limite, proceso

que dur aproximadamente 25 siglos. En su primer estatus (protomatemtico), como idea
que se moviliza implcitamente en los razonamientos , se extendi desde el siglo VI a. O.
hasta el siglo II porque los griegos huyeron a todo aquello que no tuviera interpretacin l-
gica y no fuera evidente por la experiencia fsica, por lo tanto desterraron los conceptos
ligados a la nocin de lmite como: infinito, variacin, continuidad, infinitesimal.

En el siglo XIV, la iniciacin del estudio del cambio y la introduccin del infinito en
matemticas, abre el camino para que los matemticos de los siglos XVI y XVII ideen

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
mtodos heursticos en los cuales transita la nocin de lmite como instrumento til
(estatus paramatemtico) para resolver problemas de clculo diferencial e integral, y
luego con un enfoque algebraico se genera la creacin de nuevas ramas de la
matemtica en el siglo XVIII, pero an no est definida ni fundamentada la nocin de
lmite.

Solo inicia su fase hacia el estatus matemtico con las primeras definiciones a finales
del siglo XVIII, luego se toma conciencia de su funcin en la estructura del campo del
clculo, se define en forma rigurosa para ser aceptada por la comunidad matemtica y as
convertirse en objeto de estudio de las Matemticas (s. XIX)

Este anlisis se complementa con la Teora de Sfard (1991), segn la cual conceptos
matemticos como el de lmite, se desarrolla primero en un gran proceso de trabajo
procedimental u operacional (s. VI a. O. SXVIII), antes de llegar a encapsularse en una
definicin o una teora, que sera la fase estructural o formal del concepto (s. XIX)

8. CONSIDERACIONES FINALES

El estudio epistemolgico de la nocin de lmite permite reconocer que su gnesis y

proceso de institucionalizacin fue bastante difcil y controvertido y que la forma en que a
comunidad matemtica lo manipul en cada poca da origen a las diferentes facetas que
generan la complejidad del concepto. Adems se advierte que el conocimiento
matemtico no es el resultado de un proceso continuo y progresivo; por el contrario, la
evolucin de la nocin de lmite requiere de momentos de ruptura con conocimientos
anteriores, se aprecian avances, retrocesos, desvos, retornos, dependiendo de las
dificultades por vencer y obstculos por superar en cada poca.

Las ideas que conforman las concepciones generadas durante el proceso de evolucin
como: lmite de procesos infinitos, ideas de aproximacin finita e infinita, lmite de
magnitudes variables, cantidades infinitamente pequeas e infinitamente grandes, quedan
ocultas en la definicin formal, lo cual lleva a formular numerosos interrogantes acerca del
tratamiento didctico del concepto de lmite. Por ejemplo: Es posible acercar a la
comprensin del concepto a partir de la definicin formal - ? La comprensin del
concepto se puede lograr mediante la secuencializacin y temporalizacin tradicional de
los contenidos? Tiene sentido hacer un estudio independiente de lmites, como
introduccin al clculo, con tratamientos formales y rigurosos sin ubicarlos en algn
escenario que involucre la nocin? Los acercamientos al clculo por medio de la revisin
de algoritmos y artificios algebraicos son apropiados para inducir al pensamiento
variacional del clculo?

Pero, antes de reflexionar sobre las posibles respuestas a tales interrogantes, se hace
necesario hacer el estudio de las concepciones o imgenes que los estudiantes se estn
formando sobre de la nocin de lmite, para determinar que tanto se acercan o alejan del
concepto y en un futuro poder presentar alguna propuesta didctica.

BIBLIOGRAFA

Artigue, M. (1998). Enseanza y aprendizaje del anlisis elemental: Qu se puede

aprender de las investigaciones didcticas y los cambios curriculares? Revista
Latinoamericana de Investigacin en Matemtica Educativa. N0 1, p. 40-55.

Digitalizado por RED ACADEMICA

 UNIVERSIDAD PEDAGGICA NACIONAL
Bachelard, G. (1993). La formacin del espritu cientfico. Siglo XXI editores, S. A. Mxico.

Boyer, C.B. (1959). The History of the Calculus and its Conceptual Development. Dover
Publications, Inc. New York.

Chevallard, Y. (1991) La transposicin didctica: del saber sabio al saber enseado.

Argentina: Copyright Aique Grupo editor S.A.

Cornu, B. (1991). Limits. En: Advanced Mathematical Thinking. Netherlands: Kluwer

Academic Publishers. P. 153-165.

Delgado, G. C. (1998). Estudio Microgentico de esquemas conceptuales asociados a

definiciones de limite y continuidad en universitarios de primer curso. Tesis Doctoral.
Universitat Autnoma de Barcelona.

El Bouazzaoui, H. (1988). Conceptions des leves et des prof esseu rs a propos de la

notion de continuit dune function. Thse Ph.D. Universit Laval.

Garca, G.; Serrano, O.; Das, H. (1999). Una aproximacin epistemolgica, didctica y
cognitiva al clculo. En la Revista de la Facultad de Ciencia y Tecnologa No. 5, p. 51-
58. Universidad Pedaggica Nacional, Santaf de Bogot.

Gonzlez, U. P. (1992). Las races del Clculo Infinitesimal. Alianza Editorial, S. A.

Madrid.

Kline, M. (1992). El pensamiento matemtico de la antigedad a nuestros das, I, Alianza,

Editorial SA. Madrid.

Ruiz Higueras, L. (1993). Concepciones de los alumnos de secundaria sobre la nocin de

funcin: Anlisis epistemolgico y didctico. Granada, Tesis Doctoral. Universidad de
Granada.

Snchez, O. y Contreras, A. (1998). Anlisis de manuales a travs del tratamiento di-

dctico dado al concepto de lmite de una funcin: una perspectiva desde la nocin de
obstculo. En Enseanza de las Matemticas, V. 16, N0 1. p. 7384.

Sfard, A. (1991). Qn the dual Nature of Mathematical Conceptions: Reflections en Pro-

cesses and Objects as Difterent sSides of the Same Coin. Educatonal Studies in
Mathematics 22, pp. 1 - 36.

Sierpinska, A. (1987). Humanities students y epistemological obstacles related te limits.

Educational Studies in Mathematics 18, p 371 397.

Tall, D. y Vinner, S. (1981). Concept lmage y Concept Definition in Mathematics with par-
ticular reference te Limits and Continuity. Educational Studies in Mathematics 12, p. 151
169.

Digitalizado por RED ACADEMICA