The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Topological Inverse Function Theorem
If is a continuous bijection, is compact and is Hausdorff,
then is a homeomorphism.
Proof
Enough to check is an open map which is equiv to being a closed map for bijections.
Fix any closed . Then is compact since is compact.
Then the image is compact,
but then is closed (by Compact-closed),
hence we are done.