¿Hay alguna forma de escribir un conjunto infinito que contenga sólo números irracionales sin múltiplos enteros?
El conjunto infinito no debe contener múltiplos enteros de ningún otro miembro de ese conjunto. Por ejemplo, $\pi$ es un miembro, pero no podemos tener $2\pi, 3\pi$ y así sucesivamente. Lo mismo ocurre con cualquier otro número irracional del conjunto.
Además, ese conjunto infinito debe ser equinumérico a $\mathbb{N}$ (números naturales). Esto me parece intuitivo, ya que hay muchas formas de alinear conjuntos infinitos con $\mathbb{N}$ . Pero tengo problemas para pensar en un conjunto infinito de este tipo con respecto a los irracionales solamente.
Gracias.
1 votos
También $\{e^{e^{.^{.^{.}}}}\}$ con $n$ exponencias, para todos los naturales $n$ .
8 votos
Según una acepción de "escribir", no se puede escribir ningún conjunto infinito. Por otro lado, ya lo has hecho, en el título de la pregunta.
8 votos
@YoTengoUnLCD la construcción seguramente funciona, pero no creo que se sepa que por ejemplo. $e^{e^{e^{e^{e^{e^{e^{e^e}}}}}}}$ no es un número entero, ni un múltiplo entero de $e^e$ .
0 votos
@immibis Tienes que demostrar que ese conjunto existe si pretendes utilizar la descripción del título.
0 votos
@Lennart Si $e^e$ es algebraico entonces $e$ es trascendental, sí. Pero ya sabemos que $e$ es trascendental, por lo que no hay contradicción. Por supuesto, podemos calcular que $e^e$ sigue sin ser un número entero. Pero una torre de $e$ hace que eso sea imposible.
4 votos
@NoamD.Elkies Más importante aún, ¿el entero generado por una torre de energía de $e$ ¿se llamará como el descubridor, o se llamará "el entero chillón"?
0 votos
@immibis -- Creo que una definición de "escribir" que el OP aceptaría sería "proporcionar un algoritmo que genere cualquier número finito de miembros" o "proporcionar un algoritmo que detecte si cualquier número dado es un miembro".