Satz von Stone-Weierstraß

Der Approximationssatz von Stone-Weierstraß (nach Marshall Harvey Stone und Karl Weierstraß) besagt:

Jede Unteralgebra $\bm{P}$ der Algebra $\bm{A}$ der stetigen reellen oder komplexen Funktionen auf einem kompakten Raum $M$,

liegt bezüglich der Topologie der gleichmäßigen Konvergenz dicht in $\bm{A}$. Anders ausgedrückt: Jede stetige Funktion über $M$ kann durch Funktionen aus $\bm{P}$ beliebig gut approximiert werden.

Dieser Satz ist eine Verallgemeinerung des Approximationssatzes von Weierstraß, dass man jede stetige Funktion gleichmäßig auf einem kompakten Intervall durch Polynome approximieren kann. Dieser Spezialfall kann leicht aus dem obigen allgemeinen Satz hergleitet werden, wenn man als Unteralgebra $\bm{P}$ die Menge der Polynome nimmt (s. auch Bernsteinpolynome). Eine weitere wichtige Folgerung (oft ebenfalls als Approximationssatz von Weierstraß bezeichnet) ist, dass jede stetige Funktion auf dem kompakten Intervall $[0,2 \pi ]$ mit gleichem Wert bei $0$ und $2 \pi$ gleichmäßig durch trigonometrische Polynome (d.h. Polynome in $\sin (x)$ und $\cos (x)$ bzw. Linearkombinationen aus $\sin(nx)$ und $\cos(nx)$, $n \in\N$) approximiert werden kann (siehe dazu auch den Artikel über Fourierreihen).