First Examples of Topological Construction in Quotient Topology 🧩

Welcome, students! In this lesson, you will explore some of the first and most important examples of topological construction in the topic of quotient topology. The big idea is simple: sometimes we build a new space by gluing points together or by identifying certain points as the same. This is one of the most powerful ways to create new shapes from old ones.

What you will learn

By the end of this lesson, you should be able to:

explain what a quotient space is and why it is useful,
describe quotient maps and identification spaces,
work through basic examples such as turning an interval into a circle,
connect these examples to broader ideas in topology,
recognize how quotient constructions appear in mathematics and real life 🌍.

Think of quotient topology like making a new object out of clay: you start with a familiar shape, then press together selected points or edges. The final shape may look very different, but it still comes from the original space.

1. The main idea: glue points together

In topology, we often want to create a new space by saying that certain points should count as the same. This process is called identification. If $X$ is a topological space and we decide that some points in $X$ should be treated as equivalent, then we are creating an equivalence relation on $X$.

An equivalence relation divides $X$ into groups called equivalence classes. Each class contains points that we want to identify as one point in the new space. The new space is called a quotient space.

For example, suppose we take the interval $[0,1]$ and identify the endpoints $0$ and $1$. Then the result behaves like a circle. This is one of the first and most famous examples in quotient topology. You can imagine bending the interval until the two ends touch, like forming a bracelet or a loop 🎯.

The key lesson here is that topology is not only about distances or coordinates. It is also about how points are connected and how spaces can be transformed by identification.

2. Quotient maps and the quotient topology

To build a quotient space carefully, we need a map that sends each point of the original space to its equivalence class. This map is called a quotient map.

Suppose $X$ is a topological space and $\sim$ is an equivalence relation on $X$. Let $X/\sim$ be the set of all equivalence classes. Define the map

$$q : X \to X/\sim$$

by sending each point to its equivalence class.

The topology on $X/\sim$ is defined so that a set $U \subseteq X/\sim$ is open if and only if $q^{-1}(U)$ is open in $X$. This is the quotient topology.

This definition is important because it tells us how openness is inherited from the original space. Instead of guessing which sets should be open, we use the original topology on $X$ and let the quotient map control the new one.

A quotient map is special because it is surjective and it tells us exactly which subsets of the quotient should be open. In many cases, quotient spaces are the natural way to describe objects made by gluing.

3. First example: the interval with endpoints identified

Let’s begin with the classic example. Take the interval $[0,1]$ and identify the points $0$ and $1$. All other points stay separate.

Formally, define an equivalence relation on $[0,1]$ by saying

$$0 \sim 1$$

and every other point is only equivalent to itself.

The quotient space $[0,1]/\sim$ is homeomorphic to the circle $S^1$. This means the two spaces have the same topological shape, even though they look different.

Why is this true? Imagine tracing the interval around a circular path. The point $0$ becomes the same as the point $1$, so the path closes up. The quotient space has no boundary points anymore, which is exactly what happens on a circle.

This example is one of the most important in topology because it shows how a simple identification can transform a line segment into a closed loop. It also helps students understand how spaces can be built from simpler pieces.

4. A second example: collapsing a subset to a point

Another basic quotient construction is to take a space and collapse a subset to a single point. For instance, let $X$ be a disk, and let $A$ be its boundary circle. If we identify every point of $A$ to one point, then the boundary is crushed into a single point.

This is written as the quotient space $X/A$, where all points of $A$ are identified.

This kind of construction appears often in topology. It can turn a disk into a space with a cone-like shape. The new space may have fewer visible parts, but its topology can be richer than it first appears.

A real-world analogy is pressing the edge of a paper cup flat into a single spot. The rest of the cup remains, but the boundary has been collapsed. The final shape is not the same as the original, yet it is created from it by a rule of identification 📌.

5. Gluing two edges of a square

A powerful class of examples comes from taking a square and identifying its edges in special ways. This is how many famous surfaces are built.

For example, if you take a square and identify opposite edges with the same orientation, the result is a torus, which is the shape of a doughnut. If you identify edges in different ways, you can get a Möbius strip or a projective plane.

These examples show that quotient topology is not just abstract theory. It is a method for constructing major geometric objects.

The process usually works like this:

Start with a nice space such as a square.
Choose pairs of points or edges to identify.
Form the equivalence classes.
Give the set of classes the quotient topology.

This approach explains why quotient spaces are called identification spaces: the new space is made by identifying selected parts of the original one.

6. Why the quotient topology matters

The quotient topology is not just a technical definition. It ensures the new space behaves correctly with respect to continuity.

If $f : X \to Y$ is a continuous map that is constant on each equivalence class, then there is a unique induced map

$$\bar{f} : X/\sim \to Y$$

such that

$$f = \bar{f} \circ q$$

This is a major reason quotient spaces are useful. They let us define maps from a complicated space by first defining them on the original space and then checking that points being identified do not cause problems.

For example, if we identify the endpoints of $[0,1]$ to form a circle, then many continuous functions on the interval descend to continuous functions on the circle, as long as they agree at $0$ and $1$.

This idea is central in topology because it connects geometry, algebra, and continuity in a clean way.

7. How to think about these constructions in practice

When you see a quotient construction, ask these questions:

What space am I starting with?
Which points or subsets are being identified?
What are the equivalence classes?
What does the quotient space look like geometrically?
How does the quotient map behave?

A good strategy is to draw the original space and mark the points or edges being glued together. Then imagine what happens after identification.

For example, if a square has its left and right edges glued together, you can think of rolling the square into a cylinder. Then if the top and bottom edges are glued too, the cylinder becomes a torus. This is a great example of topological construction from simple steps 🌀.

The main skill is translation: move from the formal equivalence relation to a geometric picture.

Conclusion

First examples of topological construction in quotient topology show how new spaces can be formed by identifying points, collapsing subsets, or gluing edges. The quotient topology gives the precise rule for openness, and quotient maps provide the bridge between the original space and the new one.

These examples are important because they turn abstract definitions into visual and practical ideas. The interval with endpoints identified becomes a circle, a boundary can collapse to a point, and a square can be glued into a torus. Each construction demonstrates how quotient topology helps mathematicians build and study new spaces from familiar ones.

Study Notes

A quotient space is formed by identifying points of a space using an equivalence relation.
The quotient map $q : X \to X/\sim$ sends each point to its equivalence class.
A set $U \subseteq X/\sim$ is open if and only if $q^{-1}(U)$ is open in $X$.
Identifying $0$ and $1$ in $[0,1]$ gives a space homeomorphic to $S^1$.
Collapsing a subset to a point is another common quotient construction.
Gluing edges of a square can produce surfaces such as the torus or Möbius strip.
Quotient topology is useful because it preserves continuity through induced maps.
These constructions are called identification spaces because they are built by treating selected points as the same.
Quotient topology is a central tool for building and understanding new spaces in topology.