## You are here

Homequotient space

## Primary tabs

# quotient space

Let $X$ be a topological space, and let $\sim$ be an equivalence relation on $X$. Write $X^{*}$ for the set of equivalence classes of $X$ under $\sim$. The quotient topology on $X^{*}$ is the topology whose open sets are the subsets $U\subset X^{*}$ such that

$\bigcup U\subset X$ |

is an open subset of $X$. The space $X^{*}$ is called the quotient space of the space $X$ with respect to $\sim$. It is often written $X/\sim$.

The projection map $\pi:X\longrightarrow X^{*}$ which sends each element of $X$ to its equivalence class is always a continuous map. In fact, the map $\pi$ satisfies the stronger property that a subset $U$ of $X^{*}$ is open if and only if the subset $\pi^{{-1}}(U)$ of $X$ is open. In general, any surjective map $p:X\longrightarrow Y$ that satisfies this stronger property is called a quotient map, and given such a quotient map, the space $Y$ is always homeomorphic to the quotient space of $X$ under the equivalence relation

$x\sim x^{{\prime}}\iff p(x)=p(x^{{\prime}}).$ |

As a set, the construction of a quotient space collapses each of the equivalence classes of $\sim$ to a single point. The topology on the quotient space is then chosen to be the strongest topology such that the projection map $\pi$ is continuous.

For $A\subset X$, one often writes $X/A$ for the quotient space obtained by identifying all the points of $A$ with each other.

## Mathematics Subject Classification

54B15*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier