I'm sorry to be asking a (possibly) elementary question, but I've run into a problem in point-set topology; I've just read that there exists paracompact Hausdoff spaces which are not compactly generated. I ask the following:

Question: If $X$ is paracompact Hausdorff, is its compactly generated replacement, $k\left(X\right),$ paracompact Hausdorff?

Recall: The inclusion $i:CGH \to Haus$ of compactly generated Hausdorff spaces into Hausdorff spaces has a right adjoint $k,$ which replaces the topology of $X$ with the following topology:

$U \subset X$ is open in $k\left(X\right)$ if and only if for all compact subsets $K \subset X,$ $U \cap K$ is open in $K$.

Another way of describing this topology is that it is the final topology with respect to all maps into $X$ with compact Hausdorff domain. (For the experts, $CGH$ is the mono-coreflective Hull of the category of compact Hausdorff spaces in the category of Hausdorff spaces)

  • $\begingroup$ It seems that it's certainly Hausdorff, as the topology of $k(X)$ is finer (if $U$ is open in $X$ then $U\cap K$ is open in $K$ for all compacta $K$, by definition of the subspace topology.) So the two separating sets that worked for $X$ still work for $k(X)$. $\endgroup$ – wildildildlife May 18 '11 at 22:33
  • $\begingroup$ Yes, it is indeed Hausdorff; I know that $k$ is a functor $$k:Haus \to CGH,$$ the question is whether or not it is paracompact. $\endgroup$ – David Carchedi May 18 '11 at 23:47
  • $\begingroup$ Every compactly generated space is a quotient of a locally compact Hausdorff space. That may help, but not in the naive way. You definitely can't conclude $k(X)$ is paracompact just because it's a quotient of a paracompact space. $\endgroup$ – David White May 22 '11 at 19:13
  • $\begingroup$ Thanks, I'm aware of this result, but I'm not sure how to use it. In fact, this is and if and only if, i.e. it characterizes compactly generated spaces. Moreover, for compactly generated Hausdorff spaces, they are the obvious quotient of the disjoint union of all their compact subsets, and if $X$ is not compactly generated, this quotient is $k\left(X\right).$ This means when $X$ is paracompact Hausdorff, $k\left(X\right)$ is a quotient of a space which is is both locally compact and paracompact Hausdorff. I'm not sure where to go from here. $\endgroup$ – David Carchedi May 23 '11 at 1:31
  • 2
    $\begingroup$ It suffices to find a paracompact Hausdorff space $X$ whose $k$-coreflexion $k(X)$ is not regular. For sequential coreflexions such a compact Hausdorff space was constructed by Franklin and Rajagopalan in 1970 (see repository.cmu.edu/cgi/…). $\endgroup$ – Taras Banakh Sep 13 '15 at 20:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.