Product and Quotient Topologies

Topology excels at building new spaces from old ones, providing a systematic toolkit for geometric construction. The product topology allows us to combine spaces in a Cartesian fashion, while the quotient topology lets us glue spaces together by identifying points. Mastering these constructions is essential for creating and understanding fundamental objects like surfaces and higher-dimensional spaces that appear throughout geometry, analysis, and theoretical physics.

The Product Topology: A Topology of Rectangles

Given a finite collection of topological spaces $X_1, X_2, ..., X_n$, their Cartesian product $X_1 \times X_2 \times ... \times X_n$ is the set of all ordered n-tuples $(x_1, x_2, ..., x_n)$. We need a natural way to equip this set with a topology. The product topology is defined by specifying a basis. A basis for a topology is a collection of sets whose unions generate all open sets.

For the product topology, the standard basis consists of all sets of the form $U_1 \times U_2 \times ... \times U_n$, where each $U_i$ is an open subset of $X_i$. We can visualize these as open rectangles (or boxes in higher dimensions). For an infinite product $\prod_{\alpha \in J} X_\alpha$, the basis elements are more restricted: they are products $\prod_{\alpha \in J} U_\alpha$ where each $U_\alpha$ is open in $X_\alpha$ and $U_\alpha = X_\alpha$ for all but finitely many indices $\alpha$. This ensures that openness in the product depends on only finitely many coordinates at a time, a crucial property for preserving desirable topological features.

The key canonical maps are the projection maps $\pi_i : X_1 \times X_2 \to X_i$, defined by $\pi_i(x_1, x_2) = x_i$. The product topology can be characterized as the coarsest topology (the one with the fewest open sets) for which all these projection maps are continuous. A function $f : Y \to X_1 \times X_2$ into a product space is continuous if and only if each component function $\pi_i \circ f$ is continuous. This property makes working with product spaces very convenient.

The Quotient Topology: A Topology of Gluing

The quotient topology formalizes the intuitive idea of "gluing" or identifying points in a space. Start with a topological space $X$ and a surjective map $p: X \to Y$ onto a set $Y$. The map $p$ is called an identification map or quotient map when we declare $Y$ to have the quotient topology: a subset $U$ of $Y$ is open if and only if its preimage $p^{-1}(U)$ is open in $X$. In essence, the topology on $Y$ is "pulled back" from $X$ via $p$. The space $Y$ is then called a quotient space of $X$.

The most common scenario arises from an equivalence relation $\sim$ on $X$. The set of equivalence classes $X/\sim$ is the quotient set, and the natural map $p: X \to X/\sim$ sending a point to its equivalence class is the quotient map. We then give $X/\sim$ the quotient topology induced by $p$. For example, consider the unit interval $[0,1]$ with the equivalence relation identifying $0$ and $1$. The quotient space $[0,1]/\{0 \sim 1\}$ is homeomorphic to a circle $S^1$; we have glued the endpoints together. The quotient topology is the finest topology on $Y$ that makes $p$ continuous, which is the dual notion to the product topology being the coarsest topology making projections continuous.

Properties Preserved Under These Constructions

A critical question is: which topological properties are inherited by spaces built via products or quotients?

Properties preserved under finite products: Hausdorffness, regularity, complete regularity, second-countability, and the Tychonoff property are all preserved under taking finite products. Most importantly, connectedness and path-connectedness are preserved by arbitrary products. Compactness is also preserved by arbitrary products, which is the profound Tychonoff theorem.

Properties preserved under quotients: This is more delicate. A quotient space of a connected or path-connected space is connected or path-connected, respectively. However, many important properties are not generally preserved. A quotient of a Hausdorff space need not be Hausdorff. A quotient of a first-countable or second-countable space may also lose these properties. Compactness is preserved because a quotient map is continuous, and the continuous image of a compact space is compact.

A function $g: Y \to Z$ out of a quotient space $Y = X/\sim$ is continuous if and only if the composition $g \circ p: X \to Z$ is continuous. This is the fundamental universal property of the quotient topology and is the primary tool for defining continuous maps out of quotient spaces.

Constructing Fundamental Spaces

These constructions allow us to build complex and essential geometric objects from simple pieces.

The n-Torus: The $n$-dimensional torus $T^n$ is the product space $S^1 \times S^1 \times ... \times S^1$ ($n$ times). For $n=2$, $T^2 = S^1 \times S^1$ is the classic doughnut surface.

The Real Projective Plane: The real projective plane $\mathbb{R}P^2$ is a quintessential quotient space. It can be constructed by taking a closed disk $D^2$ and identifying every pair of antipodal points on its boundary circle. Equivalently, it is the quotient of the sphere $S^2$ by the equivalence relation $x \sim -x$ (antipodal identification). This space is non-orientable and cannot be embedded in $\mathbb{R}^3$ without self-intersection.

CW Complexes: CW complexes are spaces built inductively via a hierarchy of quotient operations, providing a highly flexible and combinatorially manageable framework for homotopy theory. The construction starts with a set of $0$-cells (points). Inductively, $n$-cells (homeomorphic images of $n$-dimensional disks) are attached via their boundaries ($S^{n-1}$) to the $(n-1)$-skeleton using gluing maps. The attaching process is precisely a quotient operation: you take the disjoint union of the existing skeleton and the new disks, and then quotient by the equivalence relation defined by the attaching maps. The resulting topology is usually finer than the quotient topology from the entire gluing process, but this ensures each cell is an embedded subspace.

Common Pitfalls

1. Confusing the Box and Product Topologies for Infinite Products: For finite products, the box topology (where basis elements allow all coordinates to be restricted) and the product topology coincide. For infinite products, they are different. The box topology is finer and often has too many open sets, breaking useful properties like the continuity of projections or the Tychonoff theorem. The product topology is almost always the intended and useful construction.

1. Assuming Quotients Inherit Separation Properties: It is a frequent error to assume a quotient of a Hausdorff space is Hausdorff. The identification can create points that cannot be separated by open sets. For example, consider $\mathbb{R}$ with the equivalence relation identifying all integers into a single point. The quotient space is not Hausdorff because the image of any sequence converging to an integer also converges to the identified "integer point."

1. Misidentifying Quotient Spaces Geometrically: When gluing the edges of a polygon to form a surface, it's easy to get the orientation of identifications wrong. For instance, gluing opposite edges of a square with parallel directions yields a torus. If one pair is glued with a twist (opposite directions), you obtain the Klein bottle. Carefully tracking the identification arrows on the boundary is crucial for determining the homeomorphism type of the quotient.

1. Forgetting the Universal Property for Defining Maps: The most efficient way to define a continuous map $f: X/\sim \to Z$ is not to struggle with open sets in the quotient, but to define a continuous map $F: X \to Z$ that is constant on equivalence classes (i.e., $F(x) = F(y)$ whenever $x \sim y$). The universal property then guarantees the existence of a unique continuous $f$ with $f \circ p = F$.

Summary

• The product topology on $X \times Y$ has a basis of open rectangles $U \times V$. It is the coarsest topology making the projection maps continuous, and a map into a product is continuous if and only if its components are.
• The quotient topology on $Y = X/\sim$ defines a set $U$ as open if its preimage under the identification map $p: X \to Y$ is open. It is the finest topology making $p$ continuous, and a map out of a quotient is continuous if and only if its composition with $p$ is continuous.
• Properties like connectedness and compactness are preserved under quotients, but Hausdorffness is not. Finite products preserve most common properties, with the Tychonoff theorem guaranteeing compactness for arbitrary products.
• These constructions are powerful tools for building spaces like the torus (a product), the real projective plane (a quotient of a sphere), and CW complexes (built via iterative attachment, a form of quotient operation).