El infinito y ms all, los nmeros transfinitos Aleph

labellateoria.blogspot.com.es | 2009/12/17

A finales del siglo XIX el original matemtico Georg Cantor propuso

una bella teora sobre los nmeros finitos o transfinitos, segn la cual el nmero total de
fracciones, nmeros enteros y nmeros naturales son el mismo nmero transfinito al que
llam Aleph sub-cero.
A primera vista no parece algo razonable, pues se podra pensar que el nmero de enteros es
mayor que el nmero de naturales, ya que todo nmero natural es un entero mientras que
algunos enteros (los negativos) no son nmeros naturales. De forma similar se podra pensar,
tambin, que el nmero de fracciones es mayor que el de enteros, pero una cosa es lo que
parece y otra lo que es.

La clave est en las extraas propiedades de los nmeros infinitos y las relaciones que se
pueden establecer entre ellos. Para objetos finitos de dos conjuntos diferentes si podemos
establecer una "correspondencia uno-a-uno", entre ambos, se puede deducir que tienen el
mismo nmero de elementos. Para un nmero finito de nmeros naturales ocurre lo mismo,
pero lo que es evidente para nmeros finitos deja de serlo para infinitos.
Se puede establecer una correspondencia uno-a-uno entre los nmeros naturales y los
nmeros enteros de la siguiente forma: 0(entero)--> 0(natural); -1(entero)--> 1(natural); +1
(entero)--> 2 (natural) y as seguimos indefinidamente con la siguiente tabla:

Cada entero y cada nmero natural aparecen una y slo una vez en la tabla. Esta correspondencia entre cada
par de nmeros entero-natural es lo que establece en la teora de Cantor que el nmero de elementos de la
columna de enteros es igual al nmero de elementos en la columna de naturales. Por consiguiente, el nmero
de enteros es el mismo que el de naturales. De forma similar, aunque algo ms complicada, se puede probar
que el conjunto de fracciones (racionales) tiene el mismo nmero de elementos que el conjunto de enteros.
El nmero es infinito, pero no importa, es el mismo nmero.
El gran matemtico David Hilbert se invent la metfora del Hotel Infinito para explicar de forma intuitiva
las paradojas a las que nos enfrenta la existencia de infinidad de infinitos:
"Haba un hotel que tena infinitas habitaciones. Un da llega un nuevo husped para alojarse all, pero el
conserje le dice que tena mala suerte, que estaban todas llenas. El husped, indignado llama al gerente, y le
pregunta cmo era posible en un hotel con infinitas habitaciones. El gerente le da la razn, pero dice que no
puede hacer nada, entonces el husped responde rpidamente: ya se lo que se puede hacer; al que est en la
habitacin 1 lo manda a la habitacin 2, al de la habitacin 2 a la 3 y as sucesivamente, entonces la
habitacin 1 quedar libre para mi. El gerente

encontr ma

ravillosa esta solucin y as lo hizo".

"Algunos das despus llega otro husped y pide de alojarse, a lo que le responden que el
hotel estaba lleno, pero que no se preocupara, que saban cmo solucionarlo. Entonces este
husped dice que haba un problema, que l no estaba solo, sino con un grupo de amigos y
que era un grupo infinito. El gerente, otra vez consternado no saba qu hacer, pero el
husped, tambin muy hbil le dice que no se preocupe, que mande al de la habitacin 1 a la
2, al de la 2 a la 4, al de la 3 a la 6 y as sucesivamente. De esa forma todas las habitaciones
con nmeros impares quedaran libres para sus infinitos amigos."

Los conjuntos que pueden ser puestos en correspondencia uno-a-uno con los nmeros
naturales se llaman numerables, de modo que los conjuntos infinitos numerables tienen aleph
sub-cero elementos.
Sorprendentemente, aunque se ample el sistema desde los nmeros naturales a
los enteros y a los racionales, no incrementamos realmente el nmero de objetos
con los que trabajamos!.
Despus todo esto podramos pensar que todos los conjuntos infinitos son numerables, pero
no es as, no slo hay un tipo de infinito, pues la situacin es muy diferente al pasar a los
nmeros reales. Cantor demostr mediante el argumento del "corte diagonal" que realmente
hay ms nmeros reales que racionales. El nmero de reales es el nmero transfinito C, de
continuo, otro nombre que recibe el sistema de los nmeros reales.
Podramos pensar en darle a ese nmero el nombre de aleph sub-uno, por ejemplo. Pero ese
nombre representa el siguiente nmero transfinito mayor que aleph sub-cero y el decidir si
efectivamente C = Aleph sub-uno constituye un famoso problema no resuelto, la llamada
hiptesis del continuo.

Como curiosidad, ya que estamos hablando de infinitos,

el trmino gugol (en ingls googol) es un nmero enorme 10 100 fue acuado en 1938 por
Milton Sirotta, un nio de 9 aos, sobrino del matemtico estadounidense Edward Kasner.
Kasner anunci el concepto en su libro Las matemticas y la imaginacin. Isaac Asimov dijo
en una ocasin al respecto: "Tendremos que padecer eternamente un nmero inventado por
un beb".
El ggol no es de particular importancia en las matemticas y tampoco tiene usos prcticos.
Kastner lo cre para ilustrar la diferencia entre un nmero inimaginablemente grande y el
infinito, y a veces es usado de esta manera en la enseanza de las matemticas. El motor
de bsqueda de google fue llamado as debido a este nmero. Los fundadores
originales iban a llamarlo Googol, pero terminaron con Google debido a un error de ortografa
de Larry Page, uno de los fundadores de Google.

Publicado por Salvador Ruiz Fargueta