Timeline for Which compact topological spaces are homeomorphic to their ultrapower?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 28, 2015 at 3:44 | comment | added | Nate Ackerman | Ah, of course, that is exactly what I wasn't seeing. Thanks Eric. If you want to write your comment as an answer I can accept it. | |
| Mar 28, 2015 at 3:37 | comment | added | Eric Wofsey | Maybe I'm understanding your definitions wrong, but doesn't any nonprincipal ultrapower in the category of spaces have the indiscrete topology? The quotient map $\prod X\to \prod_\mu X$ is surjective on any nonempty open set (because an open set depends on only finitely many coordinates, and $\mu$ is nonprincipal). | |
| Mar 28, 2015 at 3:02 | history | asked | Nate Ackerman | CC BY-SA 3.0 |