General Topology – Countable Basis in Compact Metrizable Spaces

compactnessgeneral-topologymetric-spacessecond-countable

Let X be a compact metrizable space. Would you help me to prove that X has a countable basis. Thanks.

Best Answer

HINT: For each positive integer $n$ let $\mathscr{U}_n=\left\{B\left(x,\frac1n\right):x\in X\right\}$; this is an open cover of $X$, so it has a finite subcover $\mathscr{B}_n$. Consider $\mathscr{B}=\bigcup_{n\in\Bbb Z^+}\mathscr{B}_n$.