Mathematics · Glossary

What is continuous map?

Also known as: homeomorphism

Definition 6.5 University Mathematics — Year 3 · Chapter 6 — General Topology

f ⁣:XYf \colon X \to Y is continuous if f1(V)f^{-1}(V) is open for every open VYV \subseteq Y — equivalently, preimages of closed sets are closed; equivalently, for every xx and neighborhood VV of f(x)f(x), f1(V)f^{-1}(V) is a neighborhood of xx (continuity at each xx). It suffices to check on a basis of YY. Compositions of continuous maps are continuous. A homeomorphism is a continuous bijection with continuous inverse; topology studies the properties preserved by homeomorphisms.

Examples

Example 6.11

The quotient R/Z\R/\Z (identify xx and x+nx + n) is homeomorphic to the circle S1={zC:z=1}S^1 = \{z \in \C : \abs z = 1\}: the map xe2iπxx \mapsto \eu^{2\iu\pi x} passes to a continuous bijection R/ZS1\R/\Z \to S^1 (Proposition 6.10(b)); its inverse is continuous by the compactness argument of Corollary 6.14 below (Exercise 6.5 details everything, including why R/Z\R/\Z is Hausdorff and compact). Likewise [0,1][0,1] with endpoints glued is S1S^1, the square with opposite sides glued is the torus, and gluing is finally a theorem, not a picture.

Example 6.22 (The topologist’s sine curve)

Let Γ={(x,sin1x):0<x1}\Gamma = \{(x, \sin\frac1x) : 0 < x \leq 1\} and S=Γˉ=Γ({0}×[1,1])S = \bar\Gamma = \Gamma \cup (\{0\}\times[-1,1]) (every point (0,y)(0, y), y1\abs y \leq 1, is a limit of points of Γ\Gamma: solve sin1x=y\sin\frac1x = y near 00). Then SS is connectedclosure of the connected Γ\Gamma, a continuous image of (0,1](0, 1] (Theorem 6.20(3)) — but not path-connected: a path from (1,sin1)(1, \sin 1) to (0,0)(0,0) would have to traverse abscissas 0\to 0 while the ordinate oscillates between ±1\pm1; Exercise 6.9 makes this rigorous. Connectedness and path-connectedness genuinely differ.

Read in context →