is continuous if is open for every open — equivalently, preimages of closed sets are closed; equivalently, for every and neighborhood of , is a neighborhood of (continuity at each ). It suffices to check on a basis of . 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 (identify and ) is homeomorphic to the circle : the map passes to a continuous bijection (Proposition 6.10(b)); its inverse is continuous by the compactness argument of Corollary 6.14 below (Exercise 6.5 details everything, including why is Hausdorff and compact). Likewise with endpoints glued is , 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 and (every point , , is a limit of points of : solve near ). Then is connected — closure of the connected , a continuous image of (Theorem 6.20(3)) — but not path-connected: a path from to would have to traverse abscissas while the ordinate oscillates between ; Exercise 6.9 makes this rigorous. Connectedness and path-connectedness genuinely differ.