¿Es el número de números irracionales más que el número de números racionales?

Si. Ambos conjuntos son infinitos. Pero el infinito de los números irracionales es un orden de infinito más alto que el infinito de los números racionales.

Esto suena altamente contra-intuitivo hasta que estudies el trabajo de Cantor sobre la naturaleza de los conjuntos infinitos.

No es fácil poner el argumento en inglés simple, pero aquí va:

Obviamente, el conjunto de números naturales es infinito, PERO puedo crear una lista simple, en la que puedo decir: “Para CUALQUIER número de este conjunto, el patrón alcanzará ese número con el tiempo suficiente … y ese tiempo será finito”. ”

Por ejemplo, incluso si cuenta para un google-plex, un número increíblemente grande, eventualmente llegará allí y llegará en un tiempo limitado, si simplemente lo mantiene el tiempo suficiente. Eso es cierto para cualquier miembro del conjunto. Por estas razones, decimos que el número de números naturales es contable .

Y aquí está la lista de números naturales: {1, 2, 3 …}

Los números racionales también son contables, porque puedo establecer una correspondencia uno a uno entre los números racionales y los números naturales.

Pero el conjunto de números irracionales no tiene esta propiedad “contable”. Es decir, hay tantos números MÁS irracionales que racionales, que no hay forma de establecer una lista de los números irracionales para que se puedan alcanzar. No importa cómo componga su lista, habrá muchos números (la mayoría de los números, en realidad) que son irracionales pero que nunca aparecen en la lista, ¡aunque sea infinitamente larga!

Comparamos las cardinalidades de conjuntos.

Puede probar eso usando el argumento diagonal de Cantors.

Otro que requiere más requisitos previos es que

[matemática] \ lambda ([0,1]) = 1 [/ matemática] y [matemática] \ lambda (\ mathbb {Q}) = 0 [/ matemática]

Y por lo tanto [math] \ lambda ([0,1] \ setminus \ mathbb {Q}) = 1 [/ math]

Y con la contabilidad de [math] \ mathbb {Q} [/ math] (1er argumento diagonal) se deduce que [math] \ vert [/ math] [math] \ mathbb {R} \ setminus \ mathbb {Q} \ vert> \ vert \ mathbb {Q} \ vert [/ math]

Sí, y lo demuestras usando el argumento diagonal de Cantor.