Question. Does there exist a topological space $(X, \tau)$ which simultaneously satisfies all four of the following criteria?
- It is locally compact, meaning every point $x \in X$ has a compact neighbourhood.
- Every compact set is closed.
- Every open set $\mathcal{U} \in \tau$ is σ-compact, i.e., can be written as an at most countable union of compact sets.
- It is non-Hausdorff.
No finite counterexample can exist. For then all subsets are compact, therefore closed, yielding the metrisable discrete topology.
The cocountable topology on an uncountable set would satisfy 2. and 4., but neither 1. nor 3. hold. For example, 3) fails because precisely finite sets are compact which makes writing the uncountable $X$ unfeasible with anything other than an uncountable union.
Any ideas?
The question here is self-posed. It comes from an analysis of a proof in introductory measure theory. A certain regularity result with Hausdorffness as an assumption seems to only use the weaker assumption that all compact sets be closed. The details do not matter, but essentially the question is whether any generality would be gained by switching Hausdorfness with assumption 2.