Quotient Maps

Imagine taking a shape and gluing points together to create a new space. 🌍 For example, if you glue the two ends of a strip of paper, you can make a cylinder. If you glue the opposite sides of a square in a certain way, you can make a torus, which is the shape of a donut. In topology, this kind of construction is a big idea, and quotient maps are the tool that makes it precise.

In this lesson, students, you will learn how quotient maps work, why they matter, and how they connect to quotient topology. By the end, you should be able to explain the main terms, test whether a map is a quotient map, and understand how quotient spaces are built from them.

What is a quotient map?

A quotient map is a special type of function between topological spaces that captures the idea of identifying points and then giving the new space the right topology.

Suppose $f:X\to Y$ is a surjective continuous map. That means every point of $Y$ is hit by at least one point of $X$, and nearby points in $X$ map to nearby points in $Y$ in the usual topological sense.

The map $f$ is called a quotient map if a set $U\subseteq Y$ is open in $Y$ exactly when $f^{-1}(U)$ is open in $X$.

This condition is powerful because it says the topology on $Y$ is completely determined by the topology on $X$ and the map $f$. In simple words, $Y$ is the space you get after “compressing” or “identifying” parts of $X$, and the quotient map tells you which sets should count as open in the new space.

A good way to remember it is this: open sets in $Y$ are precisely the ones whose preimages in $X$ are open. ✅

Why quotient maps matter

Quotient maps appear whenever mathematicians build a new space by gluing or identifying points. This happens in many settings:

• turning a line into a circle by identifying endpoints
• making a cylinder by gluing edges of a rectangle
• constructing the real projective plane by identifying opposite points on a sphere
• creating spaces in algebraic topology from simpler pieces

These constructions are not just visual tricks. They help describe important objects in geometry, physics, and engineering. For example, a circular racetrack can be modeled by identifying the two ends of a straight interval. A quotient map gives the mathematical rule for that identification.

Without quotient maps, it would be hard to know what the open sets of the new space should be. The quotient condition tells us the exact rule.

The key definition and intuition

Let $f:X\to Y$ be a surjective map. The map is a quotient map if for every subset $U\subseteq Y$,

$$U\text{ is open in }Y \iff f^{-1}(U)\text{ is open in }X.$$

This means two things at once:

1. If $U$ is open in $Y$, then $f^{-1}(U)$ must be open in $X$.
2. If $f^{-1}(U)$ is open in $X$, then $U$ must already be open in $Y$.

The first part is just continuity. The second part is the extra condition that makes the map a quotient map.

So every quotient map is continuous and surjective, but not every continuous surjection is a quotient map. That distinction is important.

Example: the interval to the circle

Consider the interval $[0,1]$ and identify the endpoints $0$ and $1$. The quotient space is a circle $S^1$.

Define a map $f:[0,1]\to S^1$ by wrapping the interval around the circle. The points $0$ and $1$ go to the same point on the circle, and points in between go to distinct points.

This map is continuous and surjective. It is also a quotient map, because the circle’s open sets are exactly those whose preimages under $f$ are open in $[0,1]$.

This example shows how quotient maps turn a simple space into a more complex one by identifying points. 🎯

How quotient topologies are built from a map

A quotient map is closely tied to the idea of a quotient topology.

Suppose $X$ is a topological space and $\sim$ is an equivalence relation on $X$. The set of equivalence classes is written $X/\sim$. There is a natural projection map

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

that sends each point to its equivalence class.

The quotient topology on $X/\sim$ is defined by declaring a set $U\subseteq X/\sim$ to be open if and only if $q^{-1}(U)$ is open in $X$.

With this definition, the projection map $q$ is automatically a quotient map.

So quotient maps are the bridge between the original space and the new identification space. The map tells us how to transfer topological structure from $X$ to $X/\sim$.

A practical way to test a quotient map

To check whether a surjective continuous map $f:X\to Y$ is a quotient map, you can use the definition directly:

• Start with a set $U\subseteq Y$
• Compute $f^{-1}(U)$
• Check whether $f^{-1}(U)$ is open in $X$
• If every time $f^{-1}(U)$ is open, the set $U$ is open in $Y$, then $f$ is quotient

There is also a useful shortcut:

If a surjective continuous map is open or closed, then it is a quotient map.

That means:

• If $f$ sends open sets in $X$ to open sets in $Y$, then $f$ is quotient.
• If $f$ sends closed sets in $X$ to closed sets in $Y$, then $f$ is quotient.

These are very helpful facts in examples.

Example: projection map

Let $X=\mathbb{R}^2$ and let $f:\mathbb{R}^2\to \mathbb{R}$ be the projection onto the first coordinate,

$$f(x,y)=x.$$

This map is continuous, surjective, and open. For instance, the image of an open rectangle is an open interval. Therefore, $f$ is a quotient map.

This is a good example because it shows that quotient maps do not always involve gluing. Some quotient maps come from familiar projections.

Important facts about quotient maps

Here are several facts that help students work with quotient maps:

1. Quotient maps preserve the topology through preimages

A set $U\subseteq Y$ is open exactly when $f^{-1}(U)$ is open in $X$. This is the defining feature.

2. Surjectivity is required

If $f$ is not onto, then it cannot be a quotient map in the usual definition. The whole target space must be represented.

3. Quotient maps are not always open or closed

A quotient map does not have to send open sets to open sets, and it does not have to send closed sets to closed sets. The quotient condition is about preimages, not direct images.

4. Different quotient maps can produce the same quotient space

Many different spaces and maps can lead to homeomorphic quotient spaces. For example, a circle can be formed by gluing the ends of an interval, or by taking the unit interval with endpoints identified in a different presentation.

5. Quotient maps help define spaces by generators and relations

In advanced topology, quotient maps are used to build spaces from rules of identification. This is similar to making a new object by saying which points should be treated as the same.

A concrete gluing example

Let $X=[0,1]\times[0,1]$, a square.

If we identify the left edge with the right edge by matching points with the same vertical coordinate, we get a cylinder.

The quotient map sends each point of the square to its equivalence class under this identification. The quotient topology ensures that sets in the cylinder are open exactly when their preimages in the square are open.

This example is important because it shows how quotient maps turn a flat shape into a curved object. The map itself may look simple, but the quotient space can have very different global behavior. 🧩

How quotient maps fit into quotient topology

Quotient topology is the broader topic. Quotient maps are the mechanism inside it.

The overall process is:

1. Start with a space $X$
2. Decide an equivalence relation $\sim$
3. Form the set of equivalence classes $X/\sim$
4. Use the projection map $q:X\to X/\sim$
5. Give $X/\sim$ the quotient topology so that $q$ becomes a quotient map

This is why quotient maps are central. They do not just describe a space after it is built; they determine how the space is built in the first place.

Conclusion

Quotient maps are one of the main tools for constructing new topological spaces by identifying points. The basic rule is simple but powerful: a set in the target space is open exactly when its preimage is open in the original space.

This definition lets mathematicians build circles, cylinders, and many other spaces from simpler pieces. It also connects directly to quotient topology, where the quotient map is the projection from a space to its identification space.

If you remember one idea from this lesson, students, let it be this: quotient maps tell us how to move from a space with more points to a space with fewer points while keeping the correct notion of openness. That is the heart of quotient topology. ✅

Study Notes

• A quotient map is a surjective continuous map $f:X\to Y$ such that $U\subseteq Y$ is open iff $f^{-1}(U)$ is open in $X$.
• Every quotient map is continuous and surjective.
• Not every continuous surjection is a quotient map.
• If a surjective continuous map is open or closed, then it is a quotient map.
• Quotient maps are used to build spaces by identifying points.
• The projection map $q:X\to X/\sim$ is the natural quotient map for an equivalence relation $\sim$.
• The quotient topology on $X/\sim$ is defined so that $U$ is open exactly when $q^{-1}(U)$ is open in $X$.
• Common examples include making a circle from an interval and making a cylinder from a rectangle.
• Quotient maps are the main bridge between a space and its identification space.