Resumen sobre el artculo:

La Historia del Infinito por Kleiner, Israel (2002)

Giovanni Valladares Araya
El presente resumen expone las ideas principales referidas a la Historia del Infinito: sea este
pequeo o grande, el cual data desde los siglos XVII a XX. Esta mirada corresponde al
concepto Ontognico respecto a qu aporta la historia en el aprendizaje de objetos
matemticos como lo es El Infinito propio de la materia del clculo; a modo de ejemplo,
Fauvel y van Maanen (2000), Katz (2000), entre otros. O en otros trminos: Despus de
haber entendido cmo la raza humana ha adquirido el conocimiento de ciertos hechos o
conceptos, estamos en una mejor posicin para juzgar cmo [los estudiantes] deben
adquirir dichos conocimientos (Polya, 1962, 2, p. 132). Es as como el tema del Infinito en
la Historia del Clculo ha aparecido en diversos trminos: infinitesimales, indivisibles,
diferenciales, cantidades evanescentes, momentos, magnitudes infinitamente grandes y
pequeas, sumas infinitas, series de potencias, lmites y nmeros hiperreales. Desde la
aparicin del clculo, la ciencia, la filosofa, la matemtica, la fsica y la tecnologa han
evolucionado notablemente respecto a lo qu es movimiento, continuidad, variabilidad y el
infinito (Kleiner, 2002). Del mismo modo, la topologa, la probabilidad, la teora de
nmeros y conjuntos, el lgebra, la geometra y otros, han sido enriquecidos por El
clculo creado desde el s. XVII (Newton y Leibniz), el cual nos acompaa hasta nuestros
das. Por lo tanto, se considera al clculo como: 1.- un conjunto de reglas o algoritmos
(Clculo, Conteo); 2.- una teora para explicar por qu las reglas funcionan; 3.- aplicaciones
(de la teora y las reglas) a los problemas fundamentales en la ciencia.
Otro punto a considerar son los aportes realizados por los predecesores de Newton y
Leibniz, como la geometra analtica de Descartes y Fermat en las primeras dcadas del s.
XVII. As como la recuperacin completa y el estudio serio de las obras matemticas de los
griegos (Arqumedes con sus clculos de reas, volmenes y centros de gravedad de
slidos. Sin embargo, no se utiliza el clsico mtodo de agotamiento de los griegos,
producto de la interaccin de las ideas geomtricas, algebraicas y aritmticas, de este siglo).

Tambin vemos como las observaciones de Galileo (1604) y Cavalieri (1635), respecto a
los Indivisibles; as como las Tangentes de Fermat (1630),

fue incorporada en el

pensamiento cientfico medieval del clculo. As una superficie consiste en un nmero

infinito de lneas paralelas equidistantes y un slido de un nmero infinito de planos
paralelos equidistantes. Luego, si los elementos indivisibles correspondientes estn siempre
en una proporcin determinada, entonces las reas (o volmenes) de las dos figuras estn
en la misma proporcin (citado por Kleiner. 2002. p. 140). A pesar de ser criticado los
estudios de Fermat por Descartes, sus ideas dieron paso al concepto de lmite 200 aos
despus. No obstante, los aportes posteriores de Newton y Leibniz se resumen en la
invencin del concepto general de la derivada (Fluxin o Diferencial) e Integral. Lo mismo
se aplica a la distincin entre la determinacin de las tangentes, mximos y mnimos y
velocidades instantneas (Kleiner. 2002. p. 142).

Del mismo modo, Barrow (1669)

establece que la Integral y la Derivada son operaciones inversas. Con Newton y Leibniz se
ampla la gama de la aplicabilidad de los mtodos de clculo: de polinomiales, de bajo
grado, a todas las funciones, algebraicas y trascendentales.
En sntesis, el clculo creado por Leibniz y Newton nos muestra como la matemtica
evoluciona con el tiempo, existiendo falsos comienzos, ensayos y errores y fallas as como
xitos. Esta evolucin es lenta, abrupta y, a veces, casi discontinua. Tal conciencia es
acompaada generalmente por un reconocimiento de la importancia del concepto y de su
explotacin y aplicacin. Tal es el caso de la nocin de Infinitesimal de Newton, con un
enfoque geomtrico (fluxiones), un enfoque cinemtico y un enfoque algebraico. A pesar de
ello, esta nocin de Infinitesimal (variables fluentes: cantidad en continuo cambio) no se
relaciona con la posterior conceptualizacin de funcin del s. XVIII (propio de los aportes
de Cantor, Euler, entre otros). A pesar de ello, sus estudios de la Pendiente de la Tangente y
las curvaturas sorprenden hoy en da. Con sus Series de Potencias (Polinomios Infinitos),
Newton estim que "las operaciones de clculo en nmeros y variables son muy similares"
(Katz, 1998, p. 505).

Incluso acu el concepto de integraciones de mal

comportamiento, tratando de solucionarlo con Teorema del Binomio. Newton nunca

cuestion la legitimidad de la integracin del trmino a trmino de la suma infinita a la
derecha, aunque l parece haber sido consciente de la cuestin de la convergencia (Kleiner.
2002. p. 145).
2

En el caso de Leibniz, la nocin de Diferencial tuvo distintas acepciones para l. Consider

una curva (asociado al concepto griego del crculo) como un polgono con muchos lados
infinitamente, cada una de longitud infinitesimal. Con tal curva se asocia a una secuencia
infinita (discreta) de abscisas x1, x2, x3,... y una secuencia infinita de datos y1, y2, y3., tal que
(x, y) son las coordenadas de los puntos de la curva. As surge el concepto de diferencial
entre dos variables xa xb como x e ya yb como y . Es decir, hay una secuencia de
diferenciales asociados con la curva, la secuencia de las diferencias x -xi1 asociado con
las abscisas x1, x2, x3,... de la curva. Y del mismo modo en las Ordenadas. Tambin,
concibi los lados del polgono conformado en la curva como ds [lado que se toma como
coincidente con la tangente a la curva (en el punto x)]. He de ah el surgimiento del
concepto de Cociente del Diferencial de la Tangente, dando lugar al famoso y
caracterstico tringulo con lados infinitesimales dx, dy, ds cuyo como resultado fue la
relacin (ds)2 = (dx)2 + (dy)2. La Integral de Leibniz es una suma infinita de rectngulos
infinitesimales de base dx y de altura y. As, el clculo implementado por Leibniz como
relacin funcional fue antecesor del concepto de funcin. Leibniz es el ejemplo supremo
en todas las ciencias y matemticas, de un sistema de notacin y terminologa tan
perfectamente acoplado con su tema en cuanto a reflejar fielmente los procesos del sujeto y
las operaciones lgicas bsicas (Edwards, 1979, p. 232). Esto nos conlleva a entender el
por qu los matemticos del s. XVII no pudieron ver la perspectiva general inherente en sus
diversos mtodos para resolver problemas de clculo. Consecuentemente el lenguaje
ordinario utilizado por ellos, sin ninguna notacin especial, les dificult formular las
conexiones entre los problemas que abordaban. Por ende, los estudios de Leibniz (1696) en
clculo prevalecieron por los de Newton precisamente por el uso de un lenguaje ad-hoc:
Notacin utilizada (L'Hospital en su texto El anlisis de lo infinitamente pequeo, para la
comprensin de las lneas curvas). Adems, cabe mencionar los aportes posteriores de los
hermanos Bernoulli, Jakob y Johann, ya en el s. XVIII. En particular, se trataba de un
clculo de variables relacionadas por ecuaciones en lugar de un clculo de funciones. No
obstante, el salto cuantitativo y cualitativo lo da Euler (1755) al afirmar que el clculo no
trata de curvas, sino de funciones [seno, coseno, logaritmo, variable compleja, etc.].

Referencias: Kleiner, (2002). History of the Infinitely Small and the Infinitely Large in
Calculus. Kluwer Academic Publishers. Printed in the Netherlands.