31 votos

¿Por qué el Cantor de la diagonal argumento no funciona para los números racionales?

Si hacemos un mapa de cada entero a una cadena que representa un número racional, y producir un número diferente de todos los de la lista, estamos esencialmente siguientes Cantor del algoritmo. Pero ¿por qué no se aplican? Es debido a que no podemos estar seguros de que la cantidad producida es un número racional?

34voto

Lorin Hochstein Puntos 11816

Se aplica, en el sentido de que se puede llevar a cabo. Sin embargo, el número puede obtener a través del proceso no es un racional (no tiene un decimal periódico expansión).

Para ser precisos, el procedimiento no permite garantizar que el número que ha de obtener un decimal periódico expansión (es decir, que es un número racional), y por lo que se ha podido demostrar que la "diagonal número" es un racional , que no estaba en la lista original. De hecho, si la lista original está dada explícitamente por algunos bijection, entonces uno es capaz de mostrar tal como explícitamente que el número que obtenga es no racional.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X