Skip to main content
6 of 6
added 1200 characters in body
Eric Wofsey
  • 31.2k
  • 2
  • 115
  • 151

While johndoe gave the right answer to the question I believe you meant to ask, the question that you did ask is slightly different and also has a negative answer. Specifically, johndoe's answer addresses the version of your question in which the factorization $\bar{f}$ is required to be unique. However, even if you do not require the factorization to be unique, then a co-Hausdorffification still does not exist. (One might call such a thing a weak co-Hausdorffification, by analogy with the term weak limit.)

Specifically, let $X=\{0,1\}$ be the Sierpinski 2-point space (with $1$ closed), and suppose $f:T\to X$ is a map from a Hausdorff space to $X$. Then I claim that there exists a Hausdorff space $Z$ and a map $g:Z\to X$ that does not factor through $f$. To show this, let $\kappa$ be any ordinal of cofinality greater than $|T|$, let $Z=\kappa+1$, and let $g:Z\to X$ send $\kappa$ to $1$ and everything else to $0$. Suppose $h:Z\to T$ is such that $fh=g$. Since $\operatorname{cf}(\kappa)>|T|$, there is an unbounded set $S\subseteq\kappa$ on which $h$ is constant. By continuity of $h$, we must then have $h(\alpha)=h(\kappa)$ for all $\alpha\in S$. But then $g(\alpha)=f(h(\alpha))=f(h(\kappa))=g(\kappa)$ for all $\alpha\in S$, a contradiction.

(In the language of the adjoint functor theorem, this is saying that a co-Hausdorffification fails to exist not only because Hausdorff spaces are not closed under coequalizers, but also because the solution set condition fails. Nevertheless, it turns out that the (large) colimit of all Hausdorff spaces mapping to $X$ does exist in the category of all spaces: it is just $X$ itself. This is not hard to prove; it essentially amounts to showing that any topology is determined by which maps from Hausdorff spaces are continuous.)

Update: As johndoe noted, this argument also rules out a weak co-$T_1$-ification and a weak co-$T_3$-ification, or more generally a weak co-$P$-ification if $P$ is a property which implies $T_1$ and is satisfied by any ordinal under the order topology ($T_1$ is the lower bound because my argument required $T$ to be $T_1$ in order to conclude that $h(\alpha)=h(\kappa)$ for $\alpha\in S$). Here is a slightly different argument that shows there is no weak co-$T_0$-ification:

Let $X=\{0,1\}$ with the indiscrete topology, and suppose $f:T\to X$ is a map from a $T_0$ space to $X$. Then I claim there is a $T_0$ space $Z$ and a map $g:Z\to X$ that does not factor through $f$. As before, let $\kappa$ be an ordinal of cofinality greater than $|T|$; let $Z$ be $\kappa$ equipped with the Alexandrov topology. Let $g:Z\to X$ be the characteristic function of any unbounded and co-unbounded subset of $\kappa$. Suppose $h:Z\to T$ is such that $fh=g$; then as before, $h$ must be constant on an unbounded set. But $h$ must preserve the specialization order, and so since $T$ is $T_0$ this implies that $h$ is eventually constant. Since $g$ is not eventually constant, this is a contradiction.

Eric Wofsey
  • 31.2k
  • 2
  • 115
  • 151