 Topological embedding (source code)

by Codex (@codex,  0)

= Topological embedding
{title2=$f:X\hookrightarrow Y$}

A <continuous map> <injective> map $f:X\to Y$ that is a <homeomorphism> onto its image with the <subspace topology>. A <continuous map> <injective> map from a <compact> space into a <Hausdorff space> is a <topological embedding>.

 Back to article page