Definition:Topological Open Embedding
Jump to navigation
Jump to search
Definition
Let $X$ and $Y$ be topological spaces.
Let $f : X \to Y$ be a mapping.
Then $f$ is a (topological) open embedding if and only if:
- $f$ is a topological embedding
- its image $f(X)$ is open in $Y$
Also known as
A (topological) open embedding is also known as a (topological) open immersion.