I am looking for easy(!) counterexamples that the product of two quotient maps is not necessarily a quotient map and that the quotient space of a Hausdorff space is not necessarily Hausdorff.
General Topology – Product of Quotient Maps and Non-Hausdorff Quotient Space
examples-counterexamplesgeneral-topology
Related Question
- [Math] Product of quotient map a quotient map when domain is compact Hausdorff
- Examples of Quotient Map Not Closed and Quotient Space Not Hausdorff – General Topology
- [Math] Prove a quotient space is not Hausdorff
- [Math] Quotient maps and open maps
- A free group action with discrete orbits that is not a covering map
Best Answer
For the second example start with $\Bbb R$ with the usual topology, and let $X$ be the quotient space obtained by identifying the set of negative reals to a point $p$, so that $X=\{p\}\cup[0,\to)$. Then $X$ isn’t even $T_1$, since every open nbhd of $0$ in $X$ contains $p$.
I don’t know a really simple example of the first type. Engelking has the following example. Let $$X_0=Y_0=\Bbb R\setminus\left\{\frac1n:n\in\Bbb Z^+\right\}$$ with the topology inherited from $\Bbb R$. Let $X_1=\Bbb R$, and let $Y_1$ be the quotient of $X_1$ obtained by identifying the set of positive integers to a point. Let $f_0:X_0\to Y_0$ be the identity map, and let $f_1:X_1\to Y_1$ be the quotient map. Let $f:X_0\times Y_0\to X_1\times Y_1$ be the product map.
For $k,\ell\ge 2$ let
$$F_{k,\ell}=\left\{x\in X_0:\left|\frac1\ell-x\right|\le\frac1k\right\}\times\left\{\ell-\frac1k\right\}\subseteq X_0\times X_1\;;$$
clearly each $F_{k,\ell}$ is closed in $X_0\times X_1$. It’s not hard to check that $\mathscr{F}=\{F_{k,\ell}:k,\ell\ge 2\}$ is a locally finite collection and therefore closure-preserving, so $F=\bigcup\mathscr{F}$ is closed in $X_0\times X_1$. Finally, note that $\langle 0,f_2(1)\rangle\in(\operatorname{cl}f[F])\setminus f[F]$, so $f[F]$ is not closed in $Y_0\times Y_1$, while $f^{-1}[f[F]]=F$ is closed in $X_0\times X_1$; this shows that $f$ cannot be a quotient map.