Timeline for Is there a continuous surjection $\omega^\omega\to \mathbb{R}$? [closed]
Current License: CC BY-SA 3.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 12, 2017 at 17:17 | history | closed |
js21 Andrés E. Caicedo Daniel Moskovich YCor Daniel Litt |
Not suitable for this site | |
Sep 12, 2017 at 15:54 | comment | added | Daniel Moskovich | I'm voting to close this question as off-topic because it is no longer relevant (answered in the linked question). | |
Sep 12, 2017 at 14:00 | vote | accept | Dominic van der Zypen | ||
Sep 12, 2017 at 13:54 | review | Close votes | |||
Sep 12, 2017 at 17:17 | |||||
Sep 12, 2017 at 13:38 | answer | added | Noah Schweber | timeline score: 10 | |
Sep 12, 2017 at 13:38 | comment | added | Will Brian | Just to be clear: if you follow Asaf's link, you'll see that the answer to your question is yes, and that even more is true. You can obtain $\mathbb R$ or $\mathbb R^\omega$ as the continuous bijective image of $\omega^\omega$. In other words, these topologies can be realized as strictly coarser topologies on $\omega^\omega$. (I'm not sure this question will remain open, but personally I don't think it's a bad question -- it's an interesting fact and, though well-known, not trivial to prove if you haven't seen it before.) | |
Sep 12, 2017 at 13:33 | comment | added | Asaf Karagila♦ | math.stackexchange.com/questions/1225140/… | |
Sep 12, 2017 at 13:30 | history | asked | Dominic van der Zypen | CC BY-SA 3.0 |