logo

Quotient Space 📂Topology

Quotient Space

Definitions 1

Let’s say the quotient class for the topological space $(X, \mathscr{T} )$ and the equivalence relation $\sim$ is $[x] = \left\{ y \in X \ | \ x \sim y \right\}$.

  1. $X / \sim$ is defined as the quotient set.
  2. If $q : X \to X / \sim$ is defined as $q(x) = [ x ]$, it is called the quotient function.
  3. For $U \in \mathscr{T}$, $$ q^{-1} (U) = \bigcup_{[ x ] \in U} [ x ] \iff U \in \mathscr{T_{\sim}} $$ Let’s say. $\mathscr{T_{\sim}}$ is called the quotient topology, and $( X/ \sim , \mathscr{T_{\sim}} )$ is defined as the quotient space of $\sim$ for $X$.
  4. When $A \subset X$ is such that $x \sim y \iff x,y \in A$, $X / \sim$ can be represented as $X / A$.

Explanation

Since the equation is complex, one must approach it conceptually.

By ’treating’ two different points as ’essentially the same’ through an equivalence relation, concepts like ‘joining’ are mathematically defined. Here, the equivalence class becomes the ‘standard for treating as the same’, and a perfectly fine $X$ appears shattered into pieces as $X / \sim$.

Points unrelated to joining remain intact in $X$ even if shattered in $X / \sim$, but those related to joining become essentially the same point within $X / \sim$ as elements of the same equivalence class, making it irrelevant which point was which.

Understanding through the examples below is intuitive as long as one knows about set theory.

Examples

Line Segment → Circle

20180822\_151312.png

The quotient function $q : [0,1] \to [0,1] / \left\{ 0, 1 \right\}$ can essentially create a circle by treating both endpoints of the line segment as the same.

Square → Sphere

20180822\_151319.png

By gathering all edges of a square to a point, a sphere can be created. Imagine tying up a kerchief into a bundle.

Square → Cylinder → Torus

20180822\_152145.png

Rolling a square into a cylindrical shape, and then bending the cylinder to join its ends creates a torus.

Strip → Möbius Strip

20180822\_151333.png

As is well known, joining the ends of a strip in opposite directions introduces a twist in the middle, creating a Möbius strip without distinction between front and back.

Cylinder → Klein Bottle

20180822\_152931.png

Imagine joining the ends of a cylinder in the opposite direction. It seems impossible without damaging the cylinder but joining one end through and overlapping with the other end creates a Klein Bottle that lacks distinction between inside and outside.


  1. Munkres. (2000). Topology(2nd Edition): p138. ↩︎