Advanced Analysis, Notes 14: Banach spaces (application: the Stone–Weierstrass Theorem revisited; structure of C(K))
In this post we will use the Krein–Milman theorem together with the Hahn–Banach theorem to give another proof of the Stone–Weierstrass theorem. The proof we present does not make use of the classical Weierstrass approximation theorem, so we will have here an alternative proof of the classical theorem as well.