El infinito de Cantor

Por: Adriana León Montes

La teoría de Georg Cantor se basa en la idea de que es posible comparar cantidades infinitas,
es decir, poder determinar si un infinito es mayor, igual o menor que otro infinito. Sin embargo,
hablar de cantidades en conjuntos infinitos se presta a confusión, pues como lo viste
anteriormente, el infinito no es un número. Por esta razón, Cantor tuvo la necesidad de definir
un nuevo concepto cardinal que viene a representar noción de cantidad de elementos de un
conjunto infinito, pero sin hablar explícitamente en cantidades.

Cuando dos conjuntos infinitos tienen la mayor cantidad de elementos, se dice que los
conjuntos son cardinables o que tienen la misma cardinalidad. Líneas arriba se dio un
ejemplo: el conjunto de números naturales tiene la misma cardinalidad que el conjunto de los
cuadrados de los números naturales. Ahora, puedes preguntarte, ¿existirán otros conjuntos
infinitos que tengan la misma cardinalidad?

Anteriormente estudiaste los números naturales y los números enteros, viste sus propiedades y
algunos resultados en estos conjuntos. Ahora, se revisará si estos conjuntos son cardinables,
es decir, ¿la cantidad de números naturales es la misma que la de los números enteros o será
que uno de estos infinitos mayor que el otro?

Responder si dos conjuntos infinitos son cardinables, en ocasiones no es fácil, para saber si se
cumple esta condición, es necesario exhibir una función biyectiva entre ambos, el hecho de que
no encontremos tal función, no quiere decir que no exista, quiere decir que esta no se puede
encontrar, lo cual es diferente a demostrar que no existe una función biyectiva entre ellos, esto
puede resultar muy complicado.

Por ejemplo, para comparar los infinitos del conjunto de los números naturales y los enteros,
primeramente, se debe ver si es posible encontrar una función de en tal que todos los
elementos de ambos conjuntos están relacionados, en otras palabras, encontrar una función
biyectiva.

Los números enteros incluyen a los números naturales, los negativos y el cero. Si, por ejemplo,
establecemos la siguiente función de en :

©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o sistema
impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito de la
Universidad Virtual del Estado de Guanajuato.
 En realidad, esta función es un intento fallido de ser una función biyectiva entre los números
naturales y los enteros, pues en la columna derecha no aparece la colección completa de los
números enteros, en otras palabras, hay enteros que no están en la imagen de la función. Pero,
que esta función no sea una biyección no quiere decir que no exista una que lo sea, por
ejemplo, la siguiente función:

Puedes ver que aquí se da una función biyectiva entre el conjunto de los números naturales y el
conjunto de los números enteros, en consecuencia, has encontrado una correspondencia uno-a-
uno entre los enteros y los naturales. Entonces, se concluye que hay tantos números naturales
como números enteros.

Comparar infinitos, de alguna manera viene a romper nuestra intuición, pues

en los dos ejemplos anteriores observaste que uno de los conjuntos es
subconjunto propio del otro; es decir, puedes pensar que el conjunto de los
números naturales tiene el doble de elementos de los del conjunto de los
cuadrados de los números naturales, de la misma manera, puedes pensar que
el conjunto de los números enteros tiene uno más del doble del conjunto de los
números naturales, pero la correspondencia uno-a-uno indica que hay los
mismos números en cada conjunto.

©UVEG. Derechos reservados. Esta obra no puede ser reproducida, modificada, distribuida, ni transmitida, parcial o totalmente, mediante cualquier medio, método o sistema
impreso, electrónico, magnético, incluyendo el fotocopiado, la fotografía, la grabación o un sistema de recuperación de la información, sin la autorización por escrito de la
Universidad Virtual del Estado de Guanajuato.