A theorem giving conditions under which a subalgebra A of C(X) (continuous real- or complex-valued functions on a compact Hausdorff space X) is uniformly dense in C(X): typically A must contain the constants and separate points, and in the complex case be closed under complex conjugation (a *‑subalgebra).

Principle

Algebraic closure under addition and multiplication together with the ability to separate points plus the presence of constants forces uniform approximation of arbitrary continuous functions on compact spaces.

Demonstration

Polynomials form a subalgebra of C([a,b]) that contains constants and separates points, hence are uniformly dense (classical Weierstrass); trigonometric polynomials separate points on the circle and are dense in C(S1).

Misapplication

Assuming density when the algebra fails to separate points, lacks constants, or in the complex case is not closed under conjugation; applying the compact-space conclusion to noncompact domains without replacing C(X) by C0(X) or adding decay conditions.

Consequence

Provides a powerful tool for approximating continuous functions by simpler classes (polynomials, algebraic combinations, trigonometric sums), underpinning functional calculus and constructive approximation arguments.

Reversal

A subalgebra that is proper and closed under the supremum norm can exist when the separation or constant conditions fail; the reverse statement (closed subalgebra implies failure of approximation) identifies obstructions like nonseparation.

Boundary

Statement requires X compact Hausdorff and hypotheses on A (constants, separation, *‑closure in complex case); for noncompact X one uses versions for C0(X) with additional hypotheses or weighted approximations.

Semantic Tension

Tension exists between the classical Weierstrass approximation theorem (polynomials on an interval) and Stone's generalization: both assert density but differ in hypotheses and scope; one must also avoid confusion with the Stone–Čech compactification.

Synthesis

Stone–Weierstrass states that an algebra of continuous functions that is rich enough algebraically and topologically (contains constants and separates points, with *‑closure for complex functions) approximates every continuous function uniformly on compact spaces, making approximation a consequence of algebraic and separation properties.