# nLab quotient space

### Context

#### Topology

topology

algebraic topology

# Quotient spaces

## Idea

A quotient space is a quotient object in some category of spaces, such as Top (of topological spaces), or Loc (of locales), etc.

Quotient objects in the category $\mathrm{Vect}$ of vector spaces also traditionally use the term ‘quotient space’, but they are really just a special case of quotient modules, very different from the other kinds of quotient space. Quotient TVSes, however, combine both aspects.

## Definitions

### In $\mathrm{Top}$

Let $X$ be a topological space and $\sim$ an equivalence relation on (the underlying set of) $X$. (Since monomorphisms in Top are just injective continuous maps, to give an equivalence relation on the underlying set of a topological space is the same as to give a congruence on that space in $\mathrm{Top}$.) Let $Y=X/\sim$ be the quotient set and $q:X\to Y$ the quotient map.

The quotient topology, or identification topology, induced on $Y$ from $X$ says that a subset $U\subseteq Y$ is open if and only if ${q}^{-1}\left(U\right)\subseteq X$ is open. With this topology $Y$ is a quotient space or identification space of $X$.

Obviously, up to homeomorphism, all that matters is the surjective function $X\to Y$. For the above definition, we don’t even need it to be surjective, and we could generalize to a sink instead of a single map; in such a case one generally says final topology or strong topology. See topological concrete category.

Remarks:

1. Recall that a map $q:X\to Y$ is open if $q\left(U\right)$ is open in $Y$ whenever $U$ is open in $X$. It is not the case that a quotient map $q:X\to Y$ is necessarily open. Indeed, the identification map $q:I\bigsqcup \left\{*\right\}\to {S}^{1}$, where the endpoints of $I$ are identified with $*$, takes the open point $*$ of the domain to a non-open point in ${S}^{1}$.

2. Nor is it the case that a quotient map is necessarily a closed map; the classic example is the projection map ${\pi }_{1}:{ℝ}^{2}\to ℝ$, which projects the closed locus $xy=1$ onto a non-closed subset of $ℝ$. (This is a quotient map, by the next remark.)

3. It is easy to prove that a continuous open surjection $p:X\to Y$ is a quotient map. For instance, projection maps $\pi :X×Y\to Y$ are quotient maps, provided that $X$ is inhabited.

### In $\mathrm{Loc}$

A quotient space in $\mathrm{Loc}$ is given by a regular subobject in Frm.

(More details needed.)

Revised on January 10, 2013 19:14:06 by Urs Schreiber (89.204.153.52)