Stone–Weierstrass Theorem

Stone–Weierstrass Theorem (real version): Let $K$ be a compact metric space and let $A\subseteq C(K,\mathbb{R})$ be a subalgebra (closed under addition, multiplication, and scalar multiplication). Assume:

• $A$ contains the constant functions, and
• $A$ separates points: for any distinct $x,y\in K$ there exists $f\in A$ such that $f(x)\neq f(y)$.

Then $A$ is dense in $C(K,\mathbb{R})$ with respect to the sup norm $\|\cdot\|_\infty$; i.e., for every $g\in C(K,\mathbb{R})$ and $\varepsilon>0$ there exists $f\in A$ with $\|g-f\|_\infty<\varepsilon.$ (For the complex version, one typically also assumes $A$ is closed under complex conjugation.)

Stone–Weierstrass generalizes the classical Weierstrass approximation theorem (polynomials) to many other function families and is a central density theorem in analysis.