Category:Definitions/Embeddings (Topology)

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to embeddings in the context of topology.
Related results can be found in Category:Embeddings (Topology).


Let $A, B$ be topological spaces.

Let $f: A \to B$ be a mapping.

Let the image of $f$ be given the subspace topology.

Let the restriction $f {\restriction_{A \times f\sqbrk A }}$ of $f$ to its image be a homeomorphism.


Then $f$ is an embedding (of $A$ into $B$).