Showing a compact metric space has a countable dense subset I know that this is separable, but that has not been covered by the text at this point. I believe my proof (below) to be correct, but not very rigorous. Assuming that it actually is correct, could someone please help me make it more formal? (If it's not correct, please help with the proof). Thanks.
Proof: Let $X$ be a compact metric space. Let $B_n = \{B(x,\frac1{n}) : x\in X\}$. be the collection of open balls centered at $x$. Let $\{x\}^{(n)}$ be the set of centers for some particular $n$. Then by compactness of $X$, there are also a finite number of centers for a particular $n$ (corresponding to each open ball). 
[This is where I have trouble properly saying what's on my mind:]
Consider $B(x,r_0)$, where $r_0 = \frac{1}{n_0}$. When we decrease the magnitude of $r_0$ to $r_1$, we must still be able to cover $X$. Meaning some open ball(s) must be "formed" where $B(x,r_0)$ was once "covering". So by adding open balls, we also add to our collection of centers. This means at $B(x,r_0)$, there was originally a point $y \in B(x,r_0)$ s.t. $B(y,r') \subset B(x,r_0)$ for some $r'$. That is, $B(x,r_0)$ contained another point of $X$. Thus, by definition, $X$ contains a countable dense subset.

I think that you can pretty much ignore where exactly are the new balls that replaced the old balls. There is no harm in adding in redundant ball center as long as it is still finite, so you can keep the centre of the big ball and the centre of the small ball.
So I think the 2nd part can be fixed simply by this:
For each $n$ there is a finite set of centre $C_{n}\subset \{x\}^{(n)}$ such that all ball of radius $\frac{1}{n}$ around these centre cover $X$ completely.
Simply produce the set $Z=\bigcup\limits_{i=1}^{\infty} C_{i}$ which is countable.
Given any point $x\in X$, and any $\epsilon>0$ then the ball $B_{\epsilon}(x)$ must intersect $Z$. Why? Because remember that there exist a $C_{n}\subset Z$ where $\frac{1}{n}<\epsilon$ that means that there is a collection of ball radius $\frac{1}{n}$ with centre $C_{n}$ that cover $X$ completely, that means $x$ is not more than $\frac{1}{n}<\epsilon$ from at least 1 point in $C_{n}\subset Z$. Since this apply to all $\epsilon>0$ then $x$ is in the closure of $Z$.
