A characterization asserting that a subalgebra A of C(X), the real-valued continuous functions on a compact Hausdorff space X, is dense in the uniform topology if and only if A contains the constants and separates the points of X (with an added *-closure condition in the complex-valued case).

Principle

Algebraic closure under pointwise operations plus the ability to separate points (and include constants) suffice to approximate any continuous function uniformly on compact sets; topology of X and algebraic generators determine approximation power.

Demonstration

Weierstrass's classical theorem is the n=1 special case: polynomials form an algebra on [a,b] that contains constants and separates points, so polynomials are dense in C([a,b]) for the uniform norm; Stone generalizes this criterion to arbitrary compact Hausdorff spaces and subalgebras.

Misapplication

Assuming density when the subalgebra fails to separate points, lacks constants, or in the complex case is not closed under complex conjugation; assuming the theorem holds on noncompact spaces or without the uniform norm context.

Consequence

Provides foundational approximation results: polynomials, trigonometric polynomials, and other concrete algebras approximate continuous data uniformly, enabling spectral approximation, functional calculus and constructive approximation in analysis.

Reversal

If the separating or constant conditions fail, the algebra is not dense and there exist continuous functions that cannot be uniformly approximated; similarly, noncompactness can lead to failure of uniform approximation without further constraints.

Boundary

Requires a compact Hausdorff domain and the uniform (sup) norm; distinctions arise between real- and complex-valued versions (the latter demands *-invariance), and the result does not automatically extend to noncompact or non-Hausdorff spaces without modification.

Semantic Tension

Related to other approximation theorems (Muntz, Runge, Korovkin) with different hypotheses and conclusion types; tension appears between algebraic generator conditions and analytic approximation requirements in various function spaces.

Synthesis

Stone–Weierstrass unifies and generalizes polynomial approximation by stating that an algebra of continuous functions that contains constants and separates points (and is *-invariant in the complex case) is uniformly dense on a compact Hausdorff space, linking algebraic generation to analytic approximation.