Timeline for homeomorphisms on k-spaces
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 16, 2011 at 16:00 | comment | added | pdt | Thanks, in the meanwhile I made a very similar reasoning, which I post below (partly for my own reference; I tend to lose my notes). Take any compactum $K \subset X$. Then $h(K)$ is compact by assumption. Thus any closed set $C\subset h(K)$ is also compact, being a closed subset of a compactum. Therefore $h^{-1}(C)$ is compact, and hence closed ($X$ is Hausdorff). Thus the pre-image of any closed set $C$ under $h|_K$ is closed, i.e. $h|_K$ is continuous. By compact generation, $h$ itself is continuous. Similarly, one shows that $h^{-1}$ is continuous, i.e. $h$ is a homeomorphism. | |
| Mar 16, 2011 at 15:52 | vote | accept | pdt | ||
| Mar 16, 2011 at 15:43 | history | answered | Eric Wofsey | CC BY-SA 2.5 |