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

 Definition

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

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

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

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

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

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

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

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

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.