Is there an elegant proof of the Stone-Weierstrass theorem?

550 Views Asked by At

I'm studying analysis from Baby Rudin, and his proof (Theorem 7.32) is quite long and split up into four parts. Is there a nicer proof of the theorem?

For reference, a statement of the theorem from the book.