EPISTEMOLOGA E HISTORIA DE LA MATEMTICA

Anlisis matemtico del

infinito
Profesorado de matemtica
Gisela Eliana Falcon
4 ao. 2014

Epistemologa e historia de la matemtica 2

Anlisis matemtico del infinito

Si se piensa en una sucesin de enteros positivos 1, 2, 3, es el primer
ejemplo y el ms importante de un conjunto infinito. Ya que se sabe que por
ms grande que sea el nmero n, siempre puede construirse el siguiente
entero, n+1. Pero no se puede incluir el smbolo en el sistema de nmeros
reales y al mismo tiempo preservar las reglas fundamentales de la
aritmtica.
Por esta razn es necesario analizar al infinito matemtico de un modo
preciso; la teora de Georg Cantor fue la que hizo frente a este reto.

George Cantor (1845-1918) fue un matemtico alemn, inventor con Dedekind y

Frege de la teora de conjuntos, que es la base de las matemticas modernas. Gracias a sus
atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de formalizar la
nocin de infinito bajo la forma de los nmeros transfinitos (cardinales y ordinales). Fue
quien prcticamente formul de manera individual la teora de conjuntos a finales del siglo
XIX y principios del XX. Su objetivo era el de formalizar las matemticas como ya se
haba hecho con el clculo cien aos antes. Cantor comenz esta tarea por medio del
anlisis de las bases de las matemticas y explic todo basndose en los conjuntos (por
ejemplo, la definicin de funcin se hace estrictamente por medio de conjuntos). Este
monumental trabajo logr unificar a las matemticas y permiti la comprensin de nuevos
conceptos.
El problema apareci cuando se comenzaron a encontrar paradojas en esta teora, siendo la
ms clebre la paradoja de Russell, y ms tarde varios matemticos encontraron ms
paradojas, incluyendo al mismo Cantor. Russell descubri su paradoja en 1901, y la public
en un apndice de su libro "Principios de las matemticas".

La teora de conjuntos es una rama de la matemtica relativamente moderna cuyo

propsito es estudiar unas entidades llamadas conjuntos, aunque otra parte de esta teora es
reconocida como los fundamentos mismos de las matemticas. La teora de conjuntos fue
desarrollada por el matemtico alemn Georg Cantor a finales del siglo XIX a partir de
ciertas conclusiones hechas por l mismo al reflexionar en unos detalles de las series
trigonomtricas de Fourier. La teora de conjuntos fue expuesta por Cantor en una serie de
artculos y libros, de los cuales pueden destacarse sus Beitrge zur Begrndung der
transfiniten Mengenlehre.
El propsito de Cantor era proporcionar un mtodo para lidiar con asuntos
relacionados al infinito actual, un concepto que fue rehuido y rechazado por algunos
matemticos (Pitgoras, Gauss, Kronecker) por considerarlo sin significado. Ciertamente
Cantor tuvo xito, si bien su teora deba ser precisada y sometida a un sistema axiomtico,
un proyecto que luego fue llevado a cabo principalmente por Frege, Russell, Zermelo,
Albert Skolem y Adolf Fraenkel.

Epistemologa e historia de la matemtica 3

Cantor parti de la conviccin platonista de que era posible comprimir una coleccin
o conjunto de objetos y considerarla como un todo (o mejor dicho, como una sola entidad),
y al parecer, aceptando implcitamente los supuestos siguientes:
Un conjunto es una reunin de objetos que cumplen con cierta propiedad (llamados
los elementos de ese conjunto) y que, por tanto, queda definido por tal propiedad.
Un conjunto es una sola entidad matemtica, de modo que puede a su vez ser
contenido por otro conjunto.
Dos conjuntos que tengan los mismos elementos son iguales. As, puede decirse que
un conjunto est determinado por sus elementos.
De este modo, Cantor pudo desarrollar su teora de una forma que en aquel entonces
pareca lo suficientemente satisfactoria. Sin embargo, el sistema de Cantor era tan
permisivo que dio lugar a resultados contradictorios.
Ahora bien, si pensamos en dos conjuntos A y B que pueden aparearse uno con otro de
manera tal que a cada elemento de A le corresponde uno y slo un elemento de B y que a
cada elemento de B le corresponda uno y slo un elemento de A, se dice que la
correspondencia es biunvoca y que A y B son equivalentes. De esta menara la nocin de
equivalencia para nmeros finitos coincide con la nocin comn de igualdad de nmeros.
La idea de Cantor consisti en extender el concepto de equivalencia a conjuntos
infinitos para definir una aritmtica de infinitos. Para ello pens en el conjunto de los
nmeros enteros y el subconjunto propio de los enteros pares, (Con la frase subconjunto
propio de un conjunto S se refiere a un conjunto S` que contiene a algunos de los elementos
de S, pero no a todos), si se piensa en un conjunto finito, se tendr un numero n de
elementos, entonces no podr ser equivalente con el subconjunto propio, ya que este tendr
como mximo n -1 elemento. Pero si un conjunto contiene infinidad de objetos entonces,
paradjicamente, podr ser equivalente a un subconjunto propio de s mismo, mostrando as
una contradiccin.
Por ejemplo

Se puede, uno por uno, los nmeros enteros con los nmeros pares, sin que ninguno
de ambos conjuntos llegue a agotarse. Por consiguiente, aunque pueda parecer que hay ms
nmeros enteros que nmeros pares, ambos conjuntos tienen en realidad el mismo nmero
de elementos. Muchos otros conjuntos, como el de los cuadrados perfectos multiplicados
por mil millones pueden tambin ser biunvocamente comparados con los nmeros enteros.
Tales conjuntos se llaman "numerables"

Epistemologa e historia de la matemtica 4

El conjunto de los nmeros pares es equivalente al conjunto de todos los nmeros

enteros positivos, pares e impares reunidos, porque los emparejamientos entre miembros de
uno y otro conjunto pueden proseguir por siempre, sin omitir a miembro alguno de ninguno
de ambos conjuntos. Cantor pudo tambin exhibir un mtodo, tan refinado como ingenioso,
gracias al cual el conjunto de los nmeros racionales poda quedar en correspondencia con
el de todos los enteros. Cantor llam numerables a aquellos conjuntos cuyos elementos
pueden ser puestos en correspondencia, uno con uno, con los nmeros del conjunto de
enteros positivos, lo que equivale a poderlos contar.
Cuando se trata de enumerar a todos los nmeros racionales Cantor utilizo un esquema,
sabiendo que un numero racional se escribe de la forma a/b, donde a y b son enteros y todos
estos nmeros se pueden acomodar en un arreglo, con a/b donde se dibuja en la a- ensima
columna y b- ensima regln, se traza una lnea quebrada que pasa por todos los nmeros
en el arreglo. Seguidamente se cancelan en la sucesin a todos los nmeros a/b para los
cuales a y b tienen un factor comn de manera que cada numero racional r aparecer una
sola vez y en su forma ms simple. Esto muestra que todos los nmeros racionales
positivos son numerables.

Demostrando esto se puede sospechar que cualquier conjunto infinito es numerable.

Pero Cantor descubri que el conjunto de todos los nmeros reales, racionales e
irracionales, no es numerable. Es decir, la totalidad de los reales presentan un tipo de
infinito radicalmente distinto, superior al de los enteros. Para eso utiliza una forma de
demostracin indirecta, que posteriormente se convirti en un modelo para muchas
demostraciones matemticas. Para ello planteo la suposicin de que todos los nmeros han
sido enumerados y posteriormente se expone un nmero que no aparece en la enumeracin,
esto provee una contradiccin dando por rechazado la primera suposicin y por lo tanto se
demuestra que lo opuesto es lo verdadero.

Epistemologa e historia de la matemtica 5

Ahora bien si llevamos esta programacin, se supone que se enumera a todos los
nmeros reales en una tabla de decimales.
Primer nmero
Segundo numero
Tercer numero
..

N, a a a a
N, bbbb
N, cccc
.

Donde N denota a la parte entera y las letras minsculas denotan los dgitos
despus del decimal. Si se supone que dicha sucesin contiene a todos los nmeros
reales. El punto esencial de la demostracin ser construir mediante un proceso de
diagonal un nuevo nmero que podamos mostrar que no est incluido en esta
sucesin. Tambin se considera el decimal infinito
Z = 0,abcde..
Este nmero z ciertamente es diferente de cualquiera de los nmeros de la tabla
anterior, donde no podr ser idntico a los dgitos. Esto demuestra que la tabla de
decimales acomodados consecutivamente no contiene a todos los nmeros reales, por
lo tanto no es numerable.
Si se toma en segmento 0 a 1 excluyendo los extremos, la correspondencia
biunvoca deseada puede obtenerse doblando el segmento en 1/3 y 2/3y proyectando
desde un punto, como se muestra en la figura, se obtiene que incluso un segmento
finito de la recta numrica contiene una infinidad de puntos no numerables.

Otra forma de demostracin ms intuitiva de forma indirecta ser, suponer que el

conjunto de todos los puntos en la lnea entre 0 y 1 pueden acomodase en una sucesin
a ,a ,a,
Donde se encierra al punto de coordenada a en un intervalo de longitud 1/10, al de
coordenada a un intervalo de longitud 1/10, y as sucesivamente. Si todos los puntos
estaras incluidos en dicha sucesin la suma de estas longitudes est, dada por la serie
geomtrica

Epistemologa e historia de la matemtica 6

1
10

1
10

1
1
1
1
=
[
]=
1
10
10 1
10

As que la suposicin de que la sucesin contiene a todos los nmeros reales de 0 a 1

lleva a la posicin de que el intervalos de o a 1 esta dado por un conjunto de intervalos de
longitud total igual a 1/9, lo que intuitivamente es absurdo.

Bibliografa

Apunte de catedra
http://apuntes-dematematicas.blogspot.com.ar/2014/01/georg-cantor-y-la-teoriade-conjuntos_12.html
http://b3ck.blogspot.com.ar/2014/06/tipos-de-infinitos-grandes-y-chicos.html
http://casanchi.com/mat/numecontinuo01.pdf
http://docencia.udea.edu.co/cen/logica/cap8.htm
http://thegreatestmuhammadali.wikispaces.com/TEORIA+DE+CONJUNTOS+G
EORGE+CANTOR
http://es.wikipedia.org/wiki/Axiomas_de_Zermelo-Fraenkel