The topological question:

Are there Hausdorff topological spaces $X$ which are compactly generated (=Kelly spaces = $k$-spaces, that is, a subset is closed if its intersection with every compact set is closed) which fail to satisfy Tietze's extension theorem for compact subsets (that is, there is a real-valued continuous function defined on some compact subset without continuous extension to the whole space)?

A possibility to answer this question would be to exhibit a compactly generated space which is not completely Hausdorff (continuous functions do not separate points). Unfortunately, neither the space book nor the literature I have consulted (in particular Counterxamples in Topology) contained an answer.

I have chosen the Functional Analysis tag because such a space would yield a very natural example of a projective (or inverse) limit of Banach spaces $C(K)$ ($K$ compact) with surjective linking maps $C(L)\to C(K)$, $f\to f|_K$ for $K\subseteq L$ (recall that compact spaces are normal so that Tietze's theorem applies) such that the canonical map from the projective limit (which is $C(X)$ because of compact generation) to the "steps" is not surjective.

Edit. Recalling the implications completely Hausdorff $\Rightarrow$ $T_{2\, 1/2}$ and second countable $\Rightarrow$ compactly generated one gets a list of 6 examples from spacebook namely

Double Origin Topology

Irrational Slope Topology

Minimal Hausdorff Topology

Prime Integer Topology

Relatively Prime Integer Topology

Simplified Arens Square (this one is particularly simple).

  • $\begingroup$ I am pretty sure that there is a counterexample in Buchwalter's work on compactologies but at the moment I don't have access to his articles and so can't verify this. By the way, on the positive side he shows the (not very deep) result that this cannot happen for countable spectra. $\endgroup$
    – alpha
    Feb 26, 2014 at 18:04
  • $\begingroup$ @alpha: of course, I meant surjective. The countable case is clear. In particular, the space can't be $\sigma$-compact. $\endgroup$ Feb 26, 2014 at 20:45

1 Answer 1


The answer to this question give an example of a topological space which is compactly generated, but is not functionally Hausdorff.

Is a compactly generated Hausdorff space functionally Hausdorff?

  • 1
    $\begingroup$ For instance, a space which is countable, second countable, hausdorff and connected. A real valued map is then constant (because a connected countable subset of the reals is a point). There are some known examples with these properties (one is in Counterexamples in Topology if I remember well). $\endgroup$ Feb 27, 2014 at 12:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.