Stone-Weierstrass theorem
Let be a compact space and let be the algebra of continuous real functionsdefined over . Let be a subalgebra of for which the followingconditions hold:
- 1.
- 2.
Then is dense in .
This theorem is a generalization of the classical Weierstrass approximation theorem
to general spaces.