Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Does anyone know of an example of a topological space which is not compactly generated? I am using the definition in May's book "A Concise Course in Algebraic Topology." The definition is that a space $X$ is compactly generated if for any continuous map $g:K\to X$ from a compact Hausdorff space $K$, we have $g(K)$ is closed in $X$ (i.e. $X$ is "weak Hausdorff") and for any subset $A$ of $X$, $A$ is closed if an only if for any map $g:K\to X$, the preimage $g^{-1}(A)$ is closed in $K$ (i.e. $X$ is a "$k$-space").

Of course, any compactly generated space is at least $T_1$, as compact Hausdorff spaces are $T_1$, so I am really interested in an example which has $T_1$-separation (or even better, one which is Hausdorff) but which fails to be a $k$-space.

share|improve this question
1  
Can you please reread your question? I think $K$ and $X$ might be mixed up in one or two places. –  Nate Eldredge Jun 4 '13 at 23:44

2 Answers 2

up vote 6 down vote accepted

An example I learnt from Engelking's book:

let $X = \mathbb{R} \setminus \{1,\frac{1}{2},\frac{1}{3},\ldots\}$ in the subspace topology and let $Y = \mathbb{R}$ where we identify the positive integers $\mathbb{N}$ to a point, in the quotient topology. Then $X \times Y$ is not a $k$-space (or compactly generated).

See this blogpost or Engelking's chapter on $k$-spaces for the argument. As this space is even Tychonoff, compactly generated and $k$-space etc. all coincide.

share|improve this answer

I have read about $k$-spaces is Topology and Groupoids by Ronald Brown, where they are defined as spaces where a subset is closed if its preimage $f^{-1}(A)$ is closed for each continuous map $f$ from a compact Hausdorff space $K$ into $X$. I'm used to the notion of a compactly generated space as a space where a subset is closed if its intersection with each compact subset is closed. Some authors require the space to be Hausdorff, while May only requires it to be weak Hausdorff. Note that a $k$-space is always compactly generated, while for Hausdorff spaces both properties agree.

Whatever definition is used, it is not that difficult to find a space which is not compactly generated (and hence not a $k$-space), if you keep in mind that in a $T_1$ space the intersection with each compact set is automatically closed if every compact set is finite (A space where every compact set is finite is called anti-compact). So we just have to find an anti-compact $T_1$ space which is not discrete. There exists such a space, namely the space $X=(\mathbb R,\tau_{cc})$, the real line with the cocountable topology . It's easy to check that no infinite subset of $X$ is compact. But since this space is not discrete, it is not compactly generated.

I don't have an example of a Hausdorff space, though. But when you try to find such a space, keep in mind that the following spaces are always $k$-spaces:

  • spaces where each point has a compact Hausdorff neighborhood
  • sequential spaces
  • quotients of a topological sum of compact Hausdorff spaces
share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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