La diagonalizacin de Cantor
Este artculo est basado en una colaboracin enviada por Daniel. Si ests
interesado en colaborar con Gaussianos puedes enviar tus propuestas
a gaussianos (arroba) gmail (punto) com.
Introduccin
En las ltimas semanas habis podido leer en Gaussianos un par de artculos
relacionados con los conjuntos infinitos y sus peculiaridades. A saber, Qu extrao
es el infinito y El mALEPHicio del infinito. En este ltimo se alude a la
demostracin de Cantor de la imposibilidad de poner en correspondencia
biunvoca el conjuntos de los naturales,
, con el conjunto de los reales,
. En
este artculo vamos a desgranar dicha demostracin.
La demostracin de Cantor
Como hemos dicho antes, en El mALEPHicio del infinito vimos cmo poder en
correspondencia uno a uno el conjunto de los naturales positivos con el conjunto
de los enteros distintos de cero y con los racionales positivos (y por extensin con
los racionales). Y comentamos que no podemos hacer lo mismo con los reales.
Para demostrar este hecho comenzamos con un resultado previo:
Lema: