Quotient Spaces and Identification Spaces

⚡ Key Takeaways

Quotient spaces are topological spaces formed by "gluing together" points of an existing space according to an equivalence relation, given the finest topology making the projection continuous. Key result: a set in the quotient is open if and only if its preimage is open in the original space. Where it applies: constructing tori, Möbius bands, projective spaces, CW complexes, and orbit spaces of group actions. Who/when: formalized in the early 20th century by topologists including Hausdorff, Alexandroff, and Bourbaki.

💡 The Core Insight

To build a new space by gluing, you do not need coordinates or embeddings — you only need to say which points become the same point. The quotient topology then automatically gives the unique "best" topology: fine enough that the gluing map is continuous, yet coarse enough to remember nothing artificial. Continuity out of a quotient is equivalent to continuity of the corresponding map on the original space that respects the relation. That single universal property is the engine behind every gluing construction in topology.

DefinitionEquivalence Relation and Partition

An equivalence relation $\sim$ on a set $X$ is a relation that is reflexive ( $x \sim x$ ), symmetric ( $x \sim y \Rightarrow y \sim x$ ), and transitive ( $x\sim y, y\sim z \Rightarrow x \sim z$ ). The equivalence class of $x$ is

1

\quad [x] = \{\, y \in X : y \sim x \,\}.

Derivation hint: the three axioms guarantee that distinct classes are disjoint and their union is all of $X$ , so the classes form a partition. The set of all equivalence classes is the quotient set $X/{\sim} = \{\, [x] : x \in X \,\}$ , and the canonical projection (or quotient map) is

2

\quad q\colon X \to X/{\sim}, \qquad q(x) = [x].

Derivation hint: $q$ is surjective by construction since every class $[x]$ is hit by its representative $x$ .

DefinitionThe Quotient Topology

Let $(X,\tau_X)$ be a topological space and $\sim$ an equivalence relation. The quotient topology on $X/{\sim}$ is

3

\quad \tau_{X/\sim} = \{\, U \subseteq X/{\sim} \;:\; q^{-1}(U) \in \tau_X \,\}.

Derivation hint: check the axioms — $q^{-1}(\varnothing)=\varnothing$ , $q^{-1}(X/{\sim})=X$ , and $q^{-1}$ commutes with arbitrary unions and finite intersections, so openness is inherited. A subset $C \subseteq X/{\sim}$ is closed iff $q^{-1}(C)$ is closed in $X$ , because

4

\quad q^{-1}\big((X/{\sim}) \setminus C\big) = X \setminus q^{-1}(C).

Derivation hint: preimages preserve complements, so open characterizations transfer directly to closed ones.

DefinitionIdentification / Quotient Map

A surjective continuous map $f\colon X \to Y$ is a quotient map (or identification map) if it satisfies the strongest possible openness-detection:

5

\quad V \subseteq Y \text{ is open} \iff f^{-1}(V) \text{ is open in } X.

Derivation hint: the $\Rightarrow$ direction is continuity; the $\Leftarrow$ direction is the extra requirement that makes $Y$ carry exactly the quotient topology induced by the fibers of $f$ . Given such $f$ , define $x \sim x'$ iff $f(x)=f(x')$ . Then $X/{\sim}$ is homeomorphic to $Y$ , so "identification space" and "quotient space" denote the same concept.

TheoremUniversal Property of the Quotient

Let $q\colon X \to X/{\sim}$ be the quotient map. A function $g\colon X/{\sim} \to Z$ into any topological space $Z$ is continuous if and only if the composite $g \circ q\colon X \to Z$ is continuous:

6

\quad g \text{ continuous} \iff g\circ q \text{ continuous}.

Derivation hint: $(g\circ q)^{-1}(W) = q^{-1}(g^{-1}(W))$ ; openness of the left is, by the quotient topology, exactly openness of $g^{-1}(W)$ . Consequently, any continuous $\tilde f\colon X \to Z$ that is constant on equivalence classes ( $x\sim x' \Rightarrow \tilde f(x)=\tilde f(x')$ ) factors uniquely through a continuous map $g$ :

7

\quad \tilde f = g \circ q.

Derivation hint: define $g([x])=\tilde f(x)$ ; well-definedness follows from constancy on classes, continuity from [6].

ProofThe Quotient Topology Is the Finest Making

q

Continuous

We show $\tau_{X/\sim}$ is a valid topology, and that it is the largest collection of open sets keeping $q$ continuous. 1. Axioms. $q^{-1}(\varnothing) = \varnothing$ and $q^{-1}(X/{\sim}) = X$ are open, so $\varnothing, X/{\sim} \in \tau_{X/\sim}$ . 2. Unions. For a family $\{U_\alpha\}$ with each $q^{-1}(U_\alpha)$ open, $q^{-1}\!\big(\bigcup_\alpha U_\alpha\big) = \bigcup_\alpha q^{-1}(U_\alpha)$ is open, so the union lies in $\tau_{X/\sim}$ . 3. Finite intersections. Similarly $q^{-1}(U_1 \cap U_2) = q^{-1}(U_1)\cap q^{-1}(U_2)$ is open. 4. $q$ is continuous. By definition every $U \in \tau_{X/\sim}$ has open preimage, which is exactly continuity. 5. Maximality. Suppose $\tau'$ is another topology on $X/{\sim}$ for which $q$ is continuous. If $U \in \tau'$ , then $q^{-1}(U)$ is open in $X$ , so by [3] $U \in \tau_{X/\sim}$ . Hence $\tau' \subseteq \tau_{X/\sim}$ : the quotient topology is the finest. $\qquad\blacksquare$

∎

ProofCompactness and Connectedness Are Preserved

Let $q\colon X \to X/{\sim}$ be the quotient map (continuous and surjective). 1. Compactness. If $X$ is compact, then $X/{\sim} = q(X)$ is the continuous image of a compact space, hence compact. 2. Connectedness. If $X$ is connected, $X/{\sim} = q(X)$ is the continuous image of a connected space, hence connected. 3. Path-connectedness. Likewise preserved, since the image of a path under $q$ is a path. 4. Caution. Hausdorffness, metrizability, and the $T_1$ axiom are not automatically preserved (see the counterexample below). $\qquad\blacksquare$

∎

mathematician · Felix Hausdorff | 1868–1942

Hausdorff's 1914 Grundzüge der Mengenlehre laid the axiomatic foundations of point-set topology, including the separation axiom now bearing his name — precisely the property quotients can destroy. His framework allowed gluing constructions to be discussed rigorously as operations on abstract topological spaces rather than on subsets of Euclidean space. The recognition that the projection map carries a canonical topology, rather than an arbitrary one, made the quotient a first-class construction. Later, Pavel Alexandroff and the Bourbaki group systematized quotient topologies and their universal properties into the standard form taught today.

🧠 Intuition

Imagine a flexible rubber sheet (your space $X$ ). An equivalence relation is a set of instructions: "press these points together until they fuse." The quotient space is the physical object you hold afterward. Take a rectangle and glue the left edge to the right edge (matching heights): you get a cylinder. Now also glue top to bottom: a torus (donut surface). The quotient topology is the rule that says a region of the glued object is "open" exactly when all the pieces that got fused into it were open in the original sheet — so a neighborhood of a seam must include material from both sides that were stitched together. This is why a neighborhood of a point on the torus looks like an ordinary disk even though it may straddle a former edge.

Figure

Gluing a square into a torus: opposite edges identified by matching arrows

ExampleThe Circle as a Quotient of an Interval

Given: Let $X = [0,1]$ with the subspace topology from $\mathbb{R}$ , and define $\sim$ by identifying only the two endpoints: $0 \sim 1$ , every other point alone in its class.

Steps: 1. The quotient set $X/{\sim}$ has the merged point $\{0,1\}$ plus all interior points. 2. Define $\tilde f\colon [0,1] \to S^1 \subset \mathbb{R}^2$ by $\tilde f(t) = (\cos 2\pi t, \sin 2\pi t)$ . 3. $\tilde f$ is continuous and constant on classes since $\tilde f(0)=\tilde f(1)=(1,0)$ . 4. By the universal property [7], $\tilde f$ factors as $g\circ q$ with $g$ continuous. 5. $g$ is a continuous bijection from the compact space $X/{\sim}$ to the Hausdorff space $S^1$ , hence a homeomorphism (a continuous bijection from compact to Hausdorff is a homeomorphism).

Answer: $\boxed{[0,1]/(0\sim 1) \;\cong\; S^1}$ — the circle, dimension $1$ .

ExampleReal Projective Line as Antipodal Quotient

Given: Let $X = S^1 = \{(x,y): x^2+y^2 = 1\}$ and identify antipodal points: $(x,y) \sim (-x,-y)$ . Each class has exactly $2$ points.

Steps: 1. The projection $q\colon S^1 \to \mathbb{RP}^1$ is $2$ -to- $1$ and surjective. 2. Parametrize $S^1$ by angle $\theta \in [0,2\pi)$ ; antipodal identification means $\theta \sim \theta + \pi$ . 3. Thus each class is determined by $\theta \bmod \pi$ , so $\mathbb{RP}^1 \cong [0,\pi]/(0 \sim \pi)$ . 4. By Example 1's reasoning, $[0,\pi]/(0\sim\pi) \cong S^1$ . 5. Count: the original $S^1$ wraps twice around the quotient circle, a degree- $2$ covering map.

Answer: $\boxed{\mathbb{RP}^1 \cong S^1}$ — the real projective line is again a circle, via a $2$ -fold cover.

⚠️ Common mistake

Quotient maps need not be open or closed. A common error is to assume $q$ sends open sets to open sets. It generally does not: in Example 1, the half-open set $[0,\tfrac12)$ is open in $[0,1]$ , but its image is not open in $S^1$ because any neighborhood of the glued point $\{0,1\}$ must contain points near $1$ , which are absent from the image. Quotient maps are characterized only by equation [5] — detecting openness of preimages — not by mapping opens to opens.

⚠️ Common mistake

A subspace of a quotient is not always the quotient of the subspace. Restricting a quotient map to a subset $A \subseteq X$ does not in general produce a quotient map onto $q(A)$ . The quotient and subspace constructions do not commute freely; extra hypotheses (e.g. $A$ saturated, or $q$ open/closed) are required.

CounterexampleA Quotient of a Hausdorff Space That Is Not Hausdorff

Take $X = \mathbb{R}$ (Hausdorff, metric) and define $x \sim y$ iff $x - y \in \mathbb{Q}$ . The quotient $\mathbb{R}/\mathbb{Q}$ has the indiscrete-like failure: every nonempty open saturated set is all of $\mathbb{R}$ (since rational translates of any interval are dense), so the only open sets in the quotient are $\varnothing$ and the whole space. Thus $\mathbb{R}/\mathbb{Q}$ carries the indiscrete topology — it is not even $T_0$ , let alone Hausdorff, despite $\mathbb{R}$ being perfectly Hausdorff. Compactness/connectedness survive quotients; separation axioms do not.

connection

Quotient spaces sit at the crossroads of several constructions. They are dual to subspaces: where a Subspace Topology takes the coarsest topology making the inclusion continuous, the quotient takes the finest making the projection continuous. The gluing of cells via quotient maps is the foundation of CW Complexes, built by attaching disks along boundary maps. When a group $G$ acts on $X$ , the orbit space $X/G$ is a quotient encountered in Group Actions and Orbit Spaces and central to Covering Spaces. The quotients of polygons classify all compact surfaces, linking to the Classification of Surfaces. Finally, identifying a subspace to a point yields the smash product and cone, key in Homotopy Theory.

🔬 Where this appears

⏳ History

- 1895–1904 — Henri Poincaré, in Analysis Situs, builds manifolds by gluing polyhedral faces, the first systematic identification constructions.

- 1906 — Maurice Fréchet introduces abstract metric and topological spaces, enabling intrinsic (non-embedded) gluing.

- 1914 — Felix Hausdorff's Grundzüge der Mengenlehre axiomatizes topological spaces and the separation property that quotients may violate.

- 1925 — Pavel Alexandroff and Heinz Hopf develop combinatorial and quotient methods; the term "identification" enters topology.

- 1932 — Alexandroff & Hopf's Topologie presents quotient (factor) spaces with their universal mapping property.

- 1935 — Hassler Whitney and others formalize cell attachment, anticipating CW complexes.

- 1940s — J.H.C. Whitehead defines CW complexes explicitly as iterated quotient gluings of cells.

- 1940–1966 — Bourbaki's Topologie générale gives the definitive, fully general treatment of quotient topologies and final topologies.

- 1960s onward — Quotient constructions become standard undergraduate material via texts by Kelley, Munkres, and Armstrong.

open-problem

The interplay between quotients and good separation properties remains delicate. A central technical question in any concrete construction is: when is $X/{\sim}$ Hausdorff? A necessary condition is that the equivalence relation, viewed as a subset $R = \{(x,y): x\sim y\} \subseteq X\times X$ , be closed; if $q$ is additionally open, closedness of $R$ becomes sufficient. But verifying this for orbit spaces of non-compact group actions can be genuinely hard, and pathological non-Hausdorff quotients (like the leaf spaces of foliations or moduli of certain dynamical systems) arise unavoidably — motivating non-commutative geometry's treatment of "bad quotients" via operator algebras rather than point-set topology. Determining metrizability of quotients, and when a quotient of a manifold is again a manifold (versus an orbifold), continues to drive research in geometric topology.

Quotient Spaces and Identification Spaces

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also