Continuous map ($f:X\to Y$)

A map $f:X\to Y$ between topological spaces is continuous when every open set $V\subseteq Y$ has an inverse image $f^{-1}(V)=\{x\in X:f(x)\in V\}$ that is an open set in $X$. The notation denotes a subset, so $f$ need not have an inverse function.

For the continuous map $f:\mathbb{R}\to \mathbb{R}$, $f(x)=x^2$, with the usual metric topology,The two open intervals form an open set; an inverse image can split into separate pieces without violating continuity. The defining condition concerns inverse images, rather than images: here $f((-1,1))=[0,1)$ is not an open set in the real line. Checking this one inverse image illustrates the definition; it alone does not prove continuity for all target open sets.

The continuous map projecting a real number onto the closed interval $[a,b]$, with $a\le b$. It equals $a$ below the interval, equals the input inside it, and equals $b$ above it. It is nondecreasing and has Lipschitz constant one.

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.