Historia de la concepcin del infinito en matemticas

Jess Flix Tlapanco

Jonathan Ramrez Aragn

Resumen
El concepto de infinidad ocupa un lugar importante en la historia de las matemticas,
su comprensin fue fundamental para construir y resolver problemas relacionados con el
clculo, geometra, aritmtica y lgebra. El infinito aparece de diferentes maneras en todas
las reas de conocimiento antes mencionadas, su importancia se debe a esto, dicho concepto
puede no corresponder a diferentes problemas con la misma nocin. El trmino infinito se
form a travs de un largo periodo de tiempo, a consecuencia de preguntas e ideas de un
determinado nmero de personajes. Este trmino hace referencia a que algo no es limitado,
que puede seguir sin tener alguna restriccin. Este trabajo se centra en los personajes que
aportaron conocimiento para que este concepto naciera, tambin de las principales preguntas
que incentivaron su evolucin.

Palabras clave: infinito potencial-infinito actual-conjunto-historia.

Abstract

Infinite concept has an important part in the history of mathematics, its understanding
was fundamental to build and solve problems that were relationated with the calculus,
geometry, arithmetic and algebra. Infinite appears from diferents ways in all the reas of the
knowledge mentioned before, in fact, it is important for this, concept can not-solving to
diferent problems with the same notion. Term of infinite was formed through a long time, at
consequense of questions and ideas by a resolute number of characters. This term makes
reference to something has not limit, this is, it can grow without restriction. This document
is focused in the characters arrived knowledge to the infinites birth, also for the principal
questions were part in its evolution.

Key words: potencial infinite - actual infinite collection history

Formacin del infinito filosficamente

La historia nos ha demostrado cmo a travs de los siglos numerosos cientficos y

pensadores han intentado dar explicacin a la idea de un ente ignito cuya principal
caracterstica es la de carecer de un lmite o un fin. Bajo estas condiciones, las matemticas
nos ofrecen una solucin.

Pensadores antiguos, tales como los griegos, fueron los primeros en desarrollar esta
idea, posteriormente cientficos y matemticos decidieron abordar este tema. Como
consecuencia de su trabajo podemos hablar de sumas que contienen un nmero de sumandos
como nmeros tengamos, clculo de razones de cambio instantneas, clculo de reas no
acotadas y anlisis de nmeros tan grandes como podamos construirlos.

El concepto de infinito como un conjunto y ente capaz de ser manipulado puede

solucionar problemas aparentemente irresolubles. Al tener esta idea en mente, podemos
preguntarnos lo siguiente: cul es este concepto?, Cun grande o pequeo puede ser este
concepto? y Por qu podemos hablar sobre infinito?

Las respuestas a estas preguntas se encuentran en este texto. La historia del hombre y
la necesidad de un nmero o conjunto con potencial ilimitado son, en efecto, los protagonistas
en este texto, an ms que los procesos que involucran dicho concepto. Sin ms que
mencionar, presentamos el infinito en un texto finito.

El objetivo del presente trabajo es divulgar, en especial a la comunidad universitaria

que se enfrenta o enfrentar a cursos de anlisis numrico, la evolucin del trmino infinito
a lo largo de la historia en el campo de las matemticas, y mostrar la importancia de dicha
evolucin mediante respuestas que se alcanzaron gracias a este.
 El equipo utilizado para la realizacin de este trabajo fue: computadora personal con
sistema operativo Windows 10, editor de texto Word, red inalmbrica y libros referentes al
tema.

Los mtodos para la realizacin de este artculo cientfico se dividen en 4 procesos:

investigacin, anlisis de datos capturados, seleccin de informacin, alternativas sobre el
tema y revisin de las bibliografas.

Infinito potencial y actual

El trmino de infinito ha estado ligado, a travs de los siglos, al pensamiento

filosfico y matemtico. Como prueba, tenemos a los pensadores griegos, los cuales fueron
los primeros en abordar el tema, sin embargo sus ideas no fueron tan acertadas al concepto
contemporneo. Su idea de infinito estaba asociada a un concepto filosfico al que ellos
llamaban peiron, que literalmente significa ilimitado. Aristteles (Estagira, 384 a. C.-Calcis,
322 a. C.) se percat de que en realidad existen procesos que pueden ser realizados
indefinidamente; dividir por la mitad una hoja, luego hacer lo mismo con una mitad y as
sucesivamente sin parar.

Fue as como Aristteles, tras razonar un poco, defini dos clases de infinito. El
infinito potencial, para referirse a procesos que podan ser realizados tanto como se desee, en
contraste con el infinito actual. Sin embargo, esto slo se refiere a conjuntos a los cuales se
les puede agregar elementos como el tiempo, los nmeros, etc. Pero no la existencia de un
solo conjunto con un listado de elementos infinitos, como un todo.

El infinito actual, podemos decir que se define como un conjunto que tiene un nmero
muy grande de elementos, este conjunto te permite tomar sus elementos y empezar a construir
dicho infinito, un ejemplo muy utilizado son los nmeros naturales, su importancia se debe
a que con estos nosotros podemos formar un infinito actual, tomamos el nmero uno y lo
sumamos consigo mismo, despus obtenemos al dos y volvemos a sumar uno, y as un
nmero infinito de veces.

El infinito potencial hace referencia a una concepcin teolgica del infinito. Esto
quiere decir que sin importar la forma o elementos que haya en un conjunto podemos pensar
en que este es infinito sin dar ninguna caracterstica sobre l.
 Los pitagricos, presentaron a los nmeros naturales como esencia de todo en cuanto
exista, sin embargo, tras el paso del tiempo notaron tambin que haba magnitudes
imposibles de representar mediante el cociente de dos nmeros, como consecuencia de esto
nacieron los nmeros irracionales. Desconcertados tras este descubrimiento, decidieron
ocultarlo. La contradiccin a su primera creencia estaba presente, ms an esto sugera la
idea de un conjunto de elementos interminables, contenidos en dos elementos de un conjunto
infinito, un infinito actual.

Esta clase de problemas, en donde se vea involucrado el infinito, causaba

contradicciones. Esto mismo caracteriz al mundo griego como horror al infinito. Un
ejemplo bastante simple son las conocidas paradojas de Zenn de Elea (490 a.C.- 430 a.C.)
acerca de un infinito e infinitesimal, dndole un lugar histrico dentro de los grandes
precursores de las matemticas. Sus paradojas sobre el movimiento establecen una relacin
entre lo finito y lo infinito, l afirma que un tiempo o espacio determinado se puede dividir
en un nmero infinito de partes, si te mueves a travs de cada uno de los elementos de esta
divisin debers recorrer una infinidad de puntos, de tal forma que no podrs llegar nunca a
la meta que te propongas pues esta se puede dividir infinitamente. Estas paradojas fueron
analizadas por el filsofo Aristteles, quien explico en su libro Metafsica que Zenn no
respaldo sus paradojas al afirmar que el trmino uno y aquel no eran sustancias tal y
como l lo afirmaba.

Aristteles establece en su obra Metafsica que el infinito es incondicionado, y con

esto se refiere a que no puede tener lmites de ningn tipo, o de lo contrario ya sera algo
finito. Un ejemplo muy claro de esta ideologa surge con Girar Desargues, pues la llegada de
su geometra proyectiva pudo hacer que se llegase a imaginar figuras geomtricas que fueran
infinitamente grandes, que surgan a travs de un punto y un conjunto finito de lneas que
coincidieran con este.

Aparicin simblica del infinito

El smbolo designado para hacer referencia al infinito en las matemticas fue otorgado
por el matemtico Jhon Wallis (Ashford, 23 de noviembre de 1616 Oxford, 28 de octubre
de 1703). De igual manera se le atribuye la concepcin del clculo moderno, que sobresali
por el uso de este smbolo.
Cantor y la definicin formal de infinito

Las aportaciones de sabios y talentosos antes mencionados sobre el infinito no fueron

suficientes para entender este concepto, se pudo entender hasta la llegada del matemtico
George Cantor (San Petersburgo, 3 de marzo de 1845 - Halle, 6 de enero de 1918), quien se
inspir con las ideas anteriores para afrontar el problema de lo infinitamente grande.

La definicin de funcin biyectiva ayud a dicho matemtico a entender los conceptos

que personajes anteriores dejaron sobre el tema, esta definicin establece una lista de
elementos asociada a otra lista con la caracterstica de que a cada elemento se le asocia un
nico elemento de la otra lista, esto es, se puede definir una relacin uno a uno. De esa manera
pudo definir de una manera ms formal cundo un conjunto puede ser finito o infinito, por
ejemplo, podemos afirmar que un conjunto finito es aquel que cumple lo siguiente: es un
conjunto vaco o es un conjunto con un nmero finito de elementos que cumple con una regla
de asociacin biyectiva. Si los conjuntos no cumplen con dichas propiedades se establece
que el conjunto es infinito. Con esta definicin podemos hablar libremente del nmero de
elementos que tiene un conjunto, descartando o demostrando que este sea finito.

La construccin de Cantor nos dice tambin que puede llegar a existir un infinito ms
grande que otro, en efecto, si podemos establecer una funcin biyectiva entre un conjunto C
y un subconjunto de un conjunto D, y no podemos hacer lo mismo de D en C, entonces
decimos que D tiene una cantidad de elementos estrictamente mayor que la cantidad de
elementos que contiene C.

La idea propuesta con Cantor, se fundamenta bsicamente en la capacidad que tiene

el conjunto de los nmeros reales para llenar a una recta, en contraste con los nmeros
racionales y naturales. Como consecuencia de esto, el matemtico Cantor dio por hecho que
la densidad de los reales are mayor, si se considera la idea de continuidad, ms an no son
cuantificables. A este conjunto lo llam Aleph-1.

Actualmente la comunidad matemtica reconoce los logros de Cantor, tales como el

desarrollo de su aritmtica de los nmeros transfinitos, dot de contenido matemtico al
concepto de infinito actual. De esta manera construy los cimientos de la teora de conjuntos
abstractos, lo cual fue importante al llevarse el desarrollo del clculo diferencial y la
continuidad de los nmeros reales.
Aportaciones relevantes en las matemticas por la definicin de infinito

Aos ms tarde, un matemtico de nombre Srinivasa Ramanujan (Erode, 22 de

diciembre de 1887 - Kumbakonam, 26 de abril de 1920) de origen hind quien fue un
talentoso investigador y constructor de series infinitas, algoritmos. Propiedades de los
nmeros de Bernoulli.

El talento de este matemtico pareca desafiar los mtodos de sus contemporneos.

Usaba el infinito como un nmero de sumandos, series, con las cuales pudo desarrollar
identidades hoy en da bastante conocidas. Varios resultados publicados durante sus cinco
aos en la universidad de Cambridge fueron hechos, en general a base de series e integrales
que sugeran dar respuesta a grandes problemas de su poca, los cuales involucraban al
infinito mismo.

Por medio de la definicin del matemtico cantor sobre el infinito en la teora de

conjuntos, se establecen diagramas que ayudan a entender el concepto que l enuncio
matemticamente. Imaginemos que tenemos un conjunto A y un subconjunto B tales que
estn relacionados por una funcin biyectiva, grficamente obtenemos lo siguiente:

A1 B1
A2 B2
A3 B3
A4 B4
A5 B5

Imaginemos que el conjunto que tenemos se empieza a volver infinito, o que

empezamos a anexar ms y ms elementos que cumplen con el diagrama anterior. Cantor
enuncia que este proceso nos lleva a un infinito determinado, esto porque los conjuntos
crecen sin tener restricciones y por esa misma razn no se puede tener un fin.
 Los operadores matemticos que ms emplean al infinito son: lmites impropios,
lmites de una serie, sucesiones, sumatorias, integrales impropias, desigualdades y teora de
conjuntos. Sus smbolos de operacin se representan de la siguiente manera:

() Integral impropia

( + )

Los operadores que mostrados dependen completamente del concepto de infinidad.

Sin las ideas y definiciones que dieron filsofos como Aristteles y Zenn o matemticos
como Cantor y Ramanujan sera imposible entenderlas. Son importantes ya podemos
expresar algunas cantidades ya conocidas en funcin de un nmero infinito de operadores,
un ejemplo muy claro es el de la integral, tenemos un nmero infinito de reas, que al
sumarlas nos dan la cantidad exacta de dicha rea que encierra una curva, esta puede ser finita
a pesar de un nmero indeterminable de sumandos. Este concepto sigue siendo un objeto
importante de estudio, ya que a pesar de tenerlo establecido de una manera formal se siguen
teniendo complicaciones, esto por teoras que contradicen los avances mostrados. Es de suma
importancia para las reas enfocadas a la ciencia y la ingeniera tener en cuenta que esta
definicin ser de til ayuda para la formacin como profesionista.
 Bibliografa

Zellini, Paolo. Breve Historia del Infinito. Madrid: Ediciones Siruela, 2004. 239 p

http://elpais.com/elpais/2016/06/02/ciencia/1464880800_919678.html

Bolzano, Bernard. Las paradojas del Infinito. Mxico: MATHEMA, UNAM, 2010. 129 p

Lpez, Claudia. El infinito en la historia de la matemtica. Universidad de Palermo Argentina

2014. 3-8 p