📂Topology

Embedding in Topology

Definition¹

Let $X, Y$ be a topological space. If $f : X \to Y$ satisfies the following, $f$ is called an embedding and denoted as $f : X \hookrightarrow Y$.

• $X$ is a subspace of $Y$.

• $f : X \to f(X)$ is a homeomorphism.

See also

• Embedding in Functional Analysis
• Embedding in Differential Manifolds