Timeline for A question about locally compact spaces
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 13, 2021 at 17:19 | comment | added | Nik Weaver | Oh, you're right, I retract my comment. | |
| Sep 13, 2021 at 15:51 | comment | added | KP Hart | @NikWeaver What would be the closed set with non-closed projection? The diagonal is definitely not closed: every non-empty open rectangle $U\times Y$ intersects it, so $X\times\{\infty\}$ is in its closure. And: the diagonal could even be dense in $X\times X$ (in a very non-Hausdorff space). | |
| Sep 13, 2021 at 13:03 | history | edited | KP Hart | CC BY-SA 4.0 |
Added a construction
|
| Sep 13, 2021 at 12:58 | comment | added | KP Hart | @Fuutorider See the answer below; or my answer for another construction, which works without assumptions on separartion axioms. | |
| Sep 13, 2021 at 8:15 | history | edited | KP Hart | CC BY-SA 4.0 |
typo: 3.1.6 -> 3.1.16
|
| Sep 13, 2021 at 8:14 | comment | added | KP Hart | Right, 3.1.16, fixed it. | |
| Sep 13, 2021 at 7:22 | comment | added | Alessandro Codenotti | I think you meant Theorem 3.1.16 rather than 3.1.6 | |
| Sep 13, 2021 at 7:05 | comment | added | Fuutorider | Thank you for your answer! But I don't know how to prove that X is compact when the projection is a closed map for any locally compact spaces Y | |
| Sep 13, 2021 at 6:07 | history | answered | KP Hart | CC BY-SA 4.0 |