I will be doing a short exposition this week on the Stone-Weierstrass for a course in General Topology and Measure Theory. I am planning on going through the proof of the theorem, the proof of the complex version and then I will state its version for vector lattices of continuous functions. Then I will move on to applications. Up to today, these are the ones I have:
- Particular case on dimension 1: Weierstrass approximation theorem;
- Trigonometric polynomials on $\mathbb{R}$ are dense in the set of periodic functions.
Then I would like to have some more examples more closely related to topology/measure. As far as topology is concerned, I have found two possibilities:
If $X$ is a compact metric space, then $C(X)$ is separable;
Locally compact version of Stone-Weierstrass.
However, I did not find an example of application in measure theory.
So I would be very appreciated if anyone could tell me about one such example and, of course, I would be very happy to see more examples of applications of the theorem!