Notes:Quotient topology

Note to readers: the page quotient topology as it stands right now (Alec (talk) 17:07, 21 April 2016 (UTC)) is an embarrassment to me. However before I can clean it up I must unify it. I've been using it for almost 2 years now though I promise! Gosh this is embarrassing.

According to John M. Lee

Let $\sim$ denote an equivalence relation, let $(X,\mathcal{J})$ be a topological space. We get a map, $\pi:X\rightarrow\frac{X}{\sim}$ that takes $\pi:x\rightarrow[x]$

• The quotient topology on $\frac{X}{\sim}$ is the finest such that $\pi$ is continuous

Let $\mathcal{K}$ denote a topology on $\frac{X}{\sim}$, then we may define $\mathcal{K}$ as:

• $\mathcal{K}:=\{U\in\mathcal{P}(\frac{X}{\sim})\ \vert\ \pi^{-1}(U)\in\mathcal{J} \}$, that is:
  • $U\in\mathcal{P}(\frac{X}{\sim})$ is open if $\pi^{-1}(U)$ is open in $X$ - we get "only if" by going the other way. I must make a page about how definitions are "iff"s

Note: more than one book is very clear on "$U\in\mathcal{P}(\frac{X}{\sim})$ is open in $\frac{X}{\sim}$ if and only if $\pi^{-1}(U)\in\mathcal{J}$, not sure why they stress it so.

Quotient map

A map between two topological spaces $(X,\mathcal{J})$ and $(Y,\mathcal{K})$ is a quotient map if:

1. It is surjective
2. The topology on $Y$ ($\mathcal{K}$) is the quotient topology that'd be induced on $Y$ by the map $q$

Lee actually defines the quotient topology using maps first, then constructs the equiv relation version, but we can can define an equivalence relation as follows:

• $x\sim y\iff q(x)=q(y)$ and that's where this comes from

Passing to the quotient

$\xymatrix{ X \ar[d]_q \ar[dr]^f & \\ Y \ar@{.>}[r]_{\bar{f}} & Z }$
Passing to the quotient

This is very similar to the quotient of a function.

• Let X and Z be topological space|topological spaces,
• let $q:X\rightarrow Y$ be a quotient map,
• let $f:X\rightarrow Z$ be any continuous mapping such that $q(x)=q(y)\implies f(x)=f(y)$

Then

• There exists a unique continuous map, $\bar{f}:Y\rightarrow Z$ such that $f=\bar{f}\circ q$

Munkres

Munkres starts with a quotient map

• Let $(X,\mathcal{J})$ and $(Y,\mathcal{K})$ be topological spaces and
• let $q:X\rightarrow Y$ be a surjective map

We say $q$ is a quotient map provided:

• $\forall U\in\mathcal{P}(Y)[U\in\mathcal{K}\iff p^{-1}(U)\in\mathcal{J}]$

He goes on to say:

1. This condition is "stronger than continuity" (of $q$ presumably) probably because if we gave $Y$ the indiscrete topology it'd be continuous.
2. He defines this in several ways, one of which is "saturation" of maps. Yeah this is just the equivalence relation version hiding (CHECK THIS THOUGH)

Quotient topology

If $(X,\mathcal{J})$ is a topological space and $A$ a set and if $p:X\rightarrow A$ is a surjective map then:

• There is exactly on topology, $\mathcal{K}$ on $A$ relative to which $p$ is a quotient map (as defined above)

That topology is the quotient topology induced by $p$

Quotient space

Let $(X,\mathcal{J})$ be a topological space and let $X^*$ be a partition of $X$ into disjoint subsets whose union is $X$ (that is the definition of a partition). Let $p:X\rightarrow X^*$ be the surjective map that carries each point of $X$ to the element of $X^*$ containing that point, then:

• The quotient topology induced by $p$ on $X^*$ is called the quotient space of $X$