##  [Stone–Weierstrass Theorem](/stone-weierstrass-theorem-0) 

 Definition

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

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

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

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

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

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

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

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

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.