Why can we apply the Stone-Weierstrass theorem to prove that $C(K)$ is separable when $K$ is compact?
Posted by Ricardo Corrales Barquero, at math.stackexchange.com,
I am looking at the second part of Lemma 3.102 in here: Banach Space Theory, by Fabian, M. et al. I understand how the Stone-W…