Quotient Topology and Identification Spaces

In topology, we often need to build new, interesting spaces from simpler, more familiar ones. The most direct way—taking products—preserves the dimension. But how do we construct a circle from a line interval, or a torus from a square? The answer lies in gluing or identifying points, a formal process governed by the quotient topology. This construction is fundamental to creating and understanding key shapes in geometry and topology, from the projective plane to surfaces used in physics and computer graphics.

Equivalence Relations and the Quotient Set

The foundational algebraic step is defining an equivalence relation. An equivalence relation $R$ on a set $X$ is a relation that is reflexive, symmetric, and transitive. It partitions $X$ into disjoint subsets called equivalence classes. The set of all these classes is the quotient set, denoted $X/R$. The function $p:X\to X/R$ that sends each point $x$ to its equivalence class $[x]$ is the canonical surjective map.

For example, consider the real line $\mathbb{R}$. Define $x\sim y$ if $x-y$ is an integer. The equivalence class of a number $x$ is the set $\{x+k\mid k\in \mathbb{Z}\}$. Intuitively, we are coiling the line so that all points an integer distance apart become the same point. The quotient set $\mathbb{R}/\sim$ will be the formal model for a circle.

Defining the Quotient Topology

Starting with a topological space $(X,\tau )$ and an equivalence relation $\sim$, we have a set $X/\sim$. We must give it a topology. The quotient topology (or identification topology) is defined to be the finest topology on $X/\sim$ that makes the projection map $p:X\to X/\sim$ continuous. Concretely, a subset $U\subset X/\sim$ is open in the quotient topology if and only if its preimage $p^{-1}(U)$ is open in $X$.

This definition ensures continuity of $p$ while making the topology on the quotient as rich as possible. The pair $(X/\sim ,{\tau }_{\text{quotient}})$ is called a quotient space or an identification space. The process is often visualized as taking the original space $X$ and "collapsing" or "gluing" each equivalence class down to a single point.

Quotient Maps and Their Properties

The canonical map $p$ is the prototype of a more general concept: a quotient map. A surjective, continuous function $q:X\to Y$ is called a quotient map if $V\subset Y$ is open precisely when $q^{-1}(V)$ is open in $X$. Not every continuous surjection is a quotient map. The quotient topology on $Y$ (if $Y$ is just a set) is specifically defined to make $q$ a quotient map.

A key property is that quotient maps are "final" with respect to continuity: a function $f:Y\to Z$ from the quotient space is continuous if and only if the composition $f\circ q:X\to Z$ is continuous. This is the first glimpse of the universal property. A useful sufficient condition for a map to be a quotient map is that it is a continuous, surjective, open map (or closed map). An open map sends open sets to open sets.

Constructing Standard Spaces: Torus, Projective Plane, Klein Bottle

The power of the quotient construction is best seen through examples, where $X$ is a square or disk.

The Torus: Let $X=[0,1]\times [0,1]$ be the unit square. Define an equivalence relation by identifying (gluing) opposite edges with the same orientation: $(0,y)\sim (1,y)$ and $(x,0)\sim (x,1)$. Visually, you first glue the left and right edges to form a cylinder, then glue the top and bottom circular edges of the cylinder. The resulting quotient space $X/\sim$ is homeomorphic to the surface of a doughnut, a torus.

The Real Projective Plane: This fundamental non-orientable surface can be constructed by taking a closed disk and identifying every pair of antipodal points on its boundary. A simpler model uses the square: identify points on opposite edges with reverse orientation. For the square $[0,1{]}^2$, set $(0,y)\sim (1,1-y)$ and $(x,0)\sim (1-x,1)$. This "twisted" gluing creates the real projective plane $\mathbb{R}{P}^2$, a space where a line can rotate 180 degrees to return to its original position.

The Klein Bottle: This is another non-orientable surface. Using the square model, glue the left and right edges with the same orientation (like the cylinder), but glue the top and bottom edges with reverse orientation: $(0,y)\sim (1,y)$ and $(x,0)\sim (1-x,1)$. In three dimensions, this second gluing would require the cylinder to pass through itself without intersecting; it fully exists in four dimensions. The resulting quotient space is the Klein bottle.

The Universal Property of Quotient Spaces

The quotient topology is not merely a definition; it is characterized by a universal property that makes it the "natural" construction. Let $q:X\to Y$ be a quotient map. The universal property states: For any topological space $Z$ and any continuous map $f:X\to Z$ that is constant on the fibers of $q$ (i.e., if $q(x_1)=q(x_2)$ then $f(x_1)=f(x_2)$), there exists a unique continuous map $\tilde{f}:Y\to Z$ such that $f=\tilde{f}\circ q$.

In a diagram: $$\begin{array}{ccc}X& \stackrel{f}{\to }& Z\\ & & \\ \downarrow q& \nearrow \exists !\tilde{f}& \\ & & \\ Y& & \end{array}$$ This property means that continuous maps out of the quotient space $Y$ correspond one-to-one with continuous maps out of $X$ that respect the identifications. It is the definitive feature of the quotient, showing it is the optimal solution to "factoring" maps that identify points.

Common Pitfalls

1. Assuming all continuous surjections are quotient maps. This is false. If you take a continuous, surjective function $f$ and place a finer topology on the codomain, $f$ will still be continuous but not a quotient map. The quotient topology is specifically the maximal topology making the map continuous. Always verify that open sets in the codomain are exactly those with open preimages.

1. Misunderstanding identification diagrams. When gluing edges of a polygon, the orientation arrows are crucial. Matching arrows (→ to →) denotes gluing with the same orientation, producing a "untwisted" band (cylinder). Opposing arrows (→ to ←) denotes gluing with reversed orientation, producing a Möbius band effect, which is key to non-orientable surfaces like the projective plane and Klein bottle.

1. Forgetting that quotient spaces can be poorly behaved. While Hausdorff, the quotient of a Hausdorff space need not be Hausdorff. For example, take $\mathbb{R}$ and identify all integers to a single point. The resulting space fails to be Hausdorff at that identified point. It's essential to check separation axioms after taking quotients.

1. Confusing the quotient with the subspace topology. In a subspace, you take a subset and inherit its topology. In a quotient, you take the entire space and change the set of points by collapsing subsets, then define a new topology from scratch based on the preimage condition. The conceptual direction is opposite: subspace restricts the set, quotient modifies the set and induces a new topology.

Summary

• The quotient topology on $X/\sim$ is defined so that a set is open if its preimage under the projection map $p:X\to X/\sim$ is open in $X$. This makes $p$ a continuous quotient map.
• Key spaces like the torus, real projective plane, and Klein bottle are constructed as quotients of simple polygons (like squares) by defining specific equivalence relations that "glue" edges together, with orientation determining the surface's properties.
• The universal property is the defining characteristic of the quotient: it states that any continuous map from $X$ that respects the identifications factors uniquely through the quotient map $p$.
• Working with quotients requires careful attention to the precise definition of a quotient map, the implications of gluing orientations, and the potential loss of topological properties like the Hausdorff condition.