En la entrada anterior acerca de conjuntos numerables demostramos que el conjunto de los números reales es no numerable. Si bien la demostración presentada es diferente de cualquiera de los argumentos que Georg Cantor dio para este resultado, revela de manera directa la conexión entre los conceptos de numerabilidad y completitud.
Cantor publicó inicialmente su descubrimiento de que es no numerable en 1874, pero en 1891 ofreció una demostración más de este mismo hecho que es sorprendente por su sencillez. Se basa en representaciones decimales de los números reales, que aquí aceptaremos y utilizaremos sin ningún tipo de definición formal. El lector interesado en ahondar más en este tema puede recurrir a Apostol.
El intervalo abierto es no numerable.
Dem. Procedemos por contradicción, suponiendo que sí existe una función que es 1-1 y sobre. Para cada , es un número real entre y , y lo representamos usando la notación decimal
Esto significa que para cada , es el dígito del conjunto que representa el -ésimo dígito del desarrollo decimal de . La correspondencia 1-1 entre y se puede resumir en la matriz doblemente indexada
El supuesto clave de esta correspondencia es que todo número real en se supone aparecerá en algún lugar de la lista.
Ahora la perlita del argumento. Definimos un número real con el desarrollo decimal usando la regla
Con un poco de profunda reflexión el lector se podrá dar cuenta de que este número real no se corresponde con ninguno de los que hemos listado en el rango de la función . Esta contradicción nos lleva a concluir que es no numerable.
Una imagen visual quizás ayude…
Se deja al lector demostrar que es no numerable si y sólo si es no numerable. Como sugerencia, válgase de la función dada por .
Así, tenemos una nueva versión, la dada por el Proceso de Diagonalización de Cantor, que es con el nombre que se conoce la técnica que hemos descrito arriba, de la demostración de la no numerabilidad del conjunto de los números reales.
Hemos visto que demostrar que es no numerable lleva su tiempito. Sin embargo, quienes hemos estudiado la Teoría de la Medida de Lebesgue podemos jactarnos de demostrar este hecho en una sola línea. Ocurre que la medida Lebesgue de un intervalo coincide con su longitud, y la medida Lebesgue de todo conjunto numerable es cero. Así, si fuera numerable resultaría:
lo que claramente es una contradicción. La única línea arriba nos dice que es no numerable.
Después de haber distinguido entre la infinidad numerable de y la infinidad no numerable de , una nueva pregunta ocupó a Cantor: existe un infinito por encima de ?. Esto lógicamente es un territorio traicionero. El mismo cuidado que dimos a la definición de la relación tiene la misma cardinalidad que tiene que ser dado a las relaciones que definen tiene cardinalidad mayor que o tiene cardinalidad menor o igual a. Pero esto es tema de otra entrada…
Referencias bibliográficas:
Abbott, Stephen (2010) Understanding Analysis. Springer.
Apostol, Tom M. (2005) Cálculus. Volumen 1. Reverte.
Ferrando, J. C.; Gregori, V. (1995) Matemática discreta. Reverté.
Blog de Matemática y TIC's 
Deja una respuesta