Definition:Embedding (Topology)

From ProofWiki
Jump to navigation Jump to search

This page is about embedding in the context of topology. For other uses, see embedding.

Definition

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$).


Also known as

An embedding is also known as a homeomorphism on its image.

Some authors use the terms topological embedding, imbedding, or topological imbedding.

Some refer to an embedding in rather than an embedding into.


Also defined as

Some authors define an embedding as a continuous injection.


Also see

  • Results about embeddings in the context of topology can be found here.


Sources