7
$\begingroup$

Is the closure of a compact subspace of a topological space always compact?

I want to say no, but i can't think of/find any counterexamples. I think its probably true with added conditions, like Hausdorff property? Because the closure is always closed and closed sets in a compact hausdorff space are compact.

Any counterexamples for a non-Hausdorff space?

$\endgroup$
  • $\begingroup$ Are you asking "Is the closure of a compact subspace of a topological space always compact"? $\endgroup$ – Lee Mosher Aug 19 '17 at 21:25
  • 1
    $\begingroup$ This is true in the Hausdorff setting, since there compact sets are closed, and closed sets are their own closure: math.stackexchange.com/questions/83355/… $\endgroup$ – Kaj Hansen Aug 19 '17 at 21:48
  • $\begingroup$ Also see this. $\endgroup$ – user 170039 Aug 20 '17 at 4:15
26
$\begingroup$

Consider the space $X = \mathbb{Z}$ equipped with the topology where the non-empty open sets are precisely those containing $0$.

As a finite set $\{ 0 \} $ is compact. Further we have that $\overline{\{0\}} = X$ and $X$ is not compact since $\bigcup_{x \in X} \{0,x\}$ is an open cover with no finite subcover.

It is however always the case that the closure of a compact set in a Hausdorff space is compact since in Hausdorff spaces compact sets are closed. (not because of the similar fact that you give that closed sets in compact spaces are compact, even if those spaces aren't Hausdorff)

$\endgroup$
  • $\begingroup$ What an easy-to-see counterexample. Nice $\endgroup$ – Kaj Hansen Aug 19 '17 at 21:38
  • 1
    $\begingroup$ It's one of the standard examples (the included point topology) described in "Counterexamples in Topology". $\endgroup$ – Henno Brandsma Aug 20 '17 at 9:09

Your Answer

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

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