Skip to main content
added 16 characters in body
Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

If you replace the reals $\mathbb{R}$ with Cantor space $2^\omega$$2^{\mathbb{N}}$ or with Baire space $\omega^\omega$$\mathbb{N}^{\mathbb{N}}$ (homeomorphic to the space of irrationals), then the answer is yes. Indeed, one can have the function defined on the whole space of $\omega$-sequencessequences, not just the injective ones.

To see this, define $f(x_0,x_1,...)=(y_0,y_1,...)$, where $y_k$ extends the $k^{th}$ finite sequence $u_k$, and diagonalizes the $x_n's$ in a canonical way beyond the length of $u_k$, so that the $|u_k|+j^{th}$ digit of $y_k$ is different from the $|u_k|+j^{th}$ digit of $x_j$. This is a continuous function, since any finitely many digits for the output are determined by finitely many digits of the input. The $y_k$'s are not among the $x_n$, since they diagonalize against this list, and the $y_k$'s are dense, because $y_k$ extends $u_k$. (By changing the diagonalization procedure slightly, it is easy to arrange that the $y_k$ are all distinct.)

If you replace the reals $\mathbb{R}$ with Cantor space $2^\omega$ or with Baire space $\omega^\omega$ (homeomorphic to the space of irrationals), then the answer is yes. Indeed, one can have the function defined on the whole space of $\omega$-sequences, not just the injective ones.

To see this, define $f(x_0,x_1,...)=(y_0,y_1,...)$, where $y_k$ extends the $k^{th}$ finite sequence $u_k$, and diagonalizes the $x_n's$ in a canonical way beyond the length of $u_k$, so that the $|u_k|+j^{th}$ digit of $y_k$ is different from the $|u_k|+j^{th}$ digit of $x_j$. This is a continuous function, since any finitely many digits for the output are determined by finitely many digits of the input. The $y_k$'s are not among the $x_n$, since they diagonalize against this list, and the $y_k$'s are dense, because $y_k$ extends $u_k$. (By changing the diagonalization procedure slightly, it is easy to arrange that the $y_k$ are all distinct.)

If you replace the reals $\mathbb{R}$ with Cantor space $2^{\mathbb{N}}$ or with Baire space $\mathbb{N}^{\mathbb{N}}$ (homeomorphic to the space of irrationals), then the answer is yes. Indeed, one can have the function defined on the whole space of sequences, not just the injective ones.

To see this, define $f(x_0,x_1,...)=(y_0,y_1,...)$, where $y_k$ extends the $k^{th}$ finite sequence $u_k$, and diagonalizes the $x_n's$ in a canonical way beyond the length of $u_k$, so that the $|u_k|+j^{th}$ digit of $y_k$ is different from the $|u_k|+j^{th}$ digit of $x_j$. This is a continuous function, since any finitely many digits for the output are determined by finitely many digits of the input. The $y_k$'s are not among the $x_n$, since they diagonalize against this list, and the $y_k$'s are dense, because $y_k$ extends $u_k$. (By changing the diagonalization procedure slightly, it is easy to arrange that the $y_k$ are all distinct.)

Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

If you replace the reals $\mathbb{R}$ with Cantor space $2^\omega$ or with Baire space $\omega^\omega$ (homeomorphic to the space of irrationals), then the answer is yes. Indeed, one can have the function defined on the whole space of $\omega$-sequences, not just the injective ones.

To see this, define $f(x_0,x_1,...)=(y_0,y_1,...)$, where $y_k$ extends the $k^{th}$ finite sequence $u_k$, and diagonalizes the $x_n's$ in a canonical way beyond the length of $u_k$, so that the $|u_k|+j^{th}$ digit of $y_k$ is different from the $|u_k|+j^{th}$ digit of $x_j$. This is a continuous function, since any finitely many digits for the output are determined by finitely many digits of the input. The $y_k$'s are not among the $x_n$, since they diagonalize against this list, and the $y_k$'s are dense, because $y_k$ extends $u_k$. (By changing the diagonalization procedure slightly, it is easy to arrange that the $y_k$ are all distinct.)