Show that every compact metrizable space has a countable basis

You have pretty much got it though there are some minor errors in your proof.

For each $n$ we consider the open cover $C_n=\{B(x, 1/n):\ x\in X\}$ of $X$. By compactness, there is a finite subset $X_n$ of $X$ such that $B_n:=\{B(x, 1/n):\ x\in X_n\}$ covers $X$.
(Here you made a mistake in your proof by implicitly assuming that $X_n$ can be chosen to have cardinality $n$).

Now we define $B=\bigcup_{n\in \mathbf N}B_n$.
(Here too there is a minor error in your proof. You define $B=\{B_n:n\in \mathbf N\}$. Note that the way I defined $B$ is different than yours.)

We want to show that $B$ forms a basis of $X$.

To show this, it suffices to show that every open set in $X$ can be written as a union of some members of $B$. So let $U$ be an open set in $X$ and $x\in U$ be chosen arbitrarily.

Then let $k>0$ be an integer such that $B(x, 1/k)$ is contained in $U$. Now by our construction, we know that $B_{2k}$ is an open cover of $X$. So some member of $B_{2k}$ contains $x$. There there is $x_0\in X_{2k}$ be such that $x\in B(x_0, 1/2k)$.

By triangle inequality, we have $B(x_0, 1/2k)\subseteq B(x, 1/k)\subseteq U$.

Thus we have found a member $B(x_0, 1/2k)$ of $B$ which contains $x$ and is contained in $U$, showing that $U$ can be written as a union of some of the members of $B$ and we are done.


You need to redefine your $\Bbb B$.

For each $n\in \Bbb N^+$ the corresponding open cover $B(x,1/n),x\in X$ admits a finite subcover $$B_n:=\{B(x_{ni},1/n),i=1,2,\cdots,k_n\}$$ due to compactness of $X$.

Now you want to show $\Bbb B:=\cup B_n$ is a desired basis.

Countableness has been shown in your attempt, it only suffices to show $\Bbb B$ is a basis indeed. That's to say, for all open subset $U\subset X$ and for all $x\in U$, there exists a member $B\in \Bbb B$ such that $$x\in B\subset U$$ Since there exists $r>0$ such that $B(x,r)\subset U$, we need only to find a $B$ that's completely included in $B(x,r)$. For $n$ so large that $1/n<r/4$, find some $m\in \{1,2,\cdots,k_n\}$ such that $x\in B(x_{nm},1/n)$, then it is readily apparent that this ball can serve as the desired $B$. (For all $y\in B(x_{nm},1/n)$, we have $$d(y,x)\le d(x,x_{nm})+d(y,x_{nm})<r/2<r$$ which says $B(x_{nm},1/n)\subset B(x,r)\subset U$.)


First of all, Vim's comment is absolutely right: you might need more than $n$-many balls of radius ${1\over n}$ to cover your space. But of course this doesn't affect the argument, which only needs there to be finitely many. So let's let $x_{n, i}$ ($i\le k_n$) be the corresponding centers.

Hint: If $U$ is open and $x\in U$, then there is some $s$ such that $B(x, s)\subseteq U$. Now pick $n$ "large enough" and $x_{n, i}$ such that $x\in B(x_{n, i}, {1\over n})$; what can you say about $B(x_{n, i}, {1\over n})$ and $U$?


An interesting side note: this argument also shows that any compact metrizable space is separable (=has a countable dense subset), and it is easy to show that if a metrizable space is separable then it has a countable basis. In general topological spaces, this doesn't work: for instance the Stone-Cech Compactification of $\mathbb{N}$ (or, the usual topology on the set of ultrafilters on $\mathbb{N}$) has a countable dense subset but no countable basis. Metric spaces are special.