$A$ compact $\implies$ $\overline{A}$ compact?

246 Views Asked by At

Let $(X,\tau)$ a topological space

If $A \subset X$ is a compact set, does this imply that $\overline{A}$ is a compact set?

2

There are 2 best solutions below

0
On BEST ANSWER

The answer is yes if $X$ is Hausdorff (because then $A$ is closed), but no in general.

Consider $X=\mathbb{N}$ with the following topology : its opens are the empty set and the sets that contain $0$. Then $X$ is not compact because $\displaystyle\bigcup_{n\in \mathbb{N}}\{0,n\}$ is an open covering with no finite subcover; $\{0\}$ is compact; and the closure of $\{0\}$ is $X$, so $\overline{\{0\}}$ is not compact.

2
On

No. For example, let $X=\mathbb{R}$ with topology $$ \tau=\{A\cup\{0\}\colon A\text{ is open in usual topology}\}\cup\{\varnothing\}. $$ The singleton $\{0\}$ is obviously compact, but $\overline{\{0\}}=\mathbb{R}$ is not.