Closure of a compact space always compact?

3.1k Views Asked by At

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?

1

There are 1 best solutions below

2
On

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)