Injection from compact to Hausdorff implies embedding

From Topospaces
Jump to: navigation, search


Any injective continuous map from a compact space to a Hausdorff space is an embedding; in other words, it is a homeomorphism to its image, when the image is given the subspace topology.


Proof idea

We use two facts: