Satz von Stone-Weierstraß

Der Approximationssatz von Stone-Weierstraß (nach Marshall Harvey Stone und Karl Weierstraß) ist ein Satz aus der Analysis, der sagt, unter welchen Voraussetzungen man jede stetige Funktion durch einfachere Funktionen beliebig gut approximieren kann.

Satz

Jede Unteralgebra P der Funktionenalgebra A der stetigen reellwertigen oder komplexwertigen Funktionen auf einem kompakten Hausdorff-Raum M,

• die punktetrennend ist: $\forall x\neq y\in M\,\exists g\in \mathbf {P} :\;g(x)\neq g(y)$,
• für die keine ihrer Auswertungsfunktionen die Nullfunktion ist: $\forall x\in M\,\exists g\in \mathbf {P} :\;g(x)\neq 0$,
• und die – im Falle, dass der Grundkörper $\mathbb {K}$ der Körper der komplexen Zahlen ist – bezüglich komplexer Konjugation abgeschlossen ist, für die also mit jedem $f\in \mathbf {P}$ auch die zugehörige konjugiert komplexe Funktion ${\overline {f}}\colon X\to \mathbb {K} ,x\mapsto {\overline {f(x)}},$ in P enthalten ist,

liegt bezüglich der Topologie der gleichmäßigen Konvergenz dicht in A.

Das bedeutet: Jede stetige Funktion von M in den Grundkörper $\mathbb {K}$ kann unter den angegebenen Voraussetzungen durch Funktionen aus P beliebig gut gleichmäßig approximiert werden.

Folgerungen

• Dieser Satz ist eine Verallgemeinerung des Approximationssatzes von Weierstraß, wonach man jede stetige Funktion gleichmäßig auf einem kompakten Intervall durch Polynome approximieren kann. Dieser Spezialfall kann leicht aus dem obigen allgemeinen Satz hergeleitet werden, wenn man als Unteralgebra 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π] mit gleichem Wert bei 0 und 2π gleichmäßig durch trigonometrische Polynome (d. h. Polynome in sin(x) und cos(x) bzw. Linearkombinationen aus sin(nx) und cos(nx), n∈ℕ) approximiert werden kann (siehe dazu auch den Artikel über Fourierreihen).
• Mittels der Alexandroff-Kompaktifizierung überträgt sich der Satz auch auf den Raum der $C_{0}$-Funktionen (siehe dort) auf einem lokalkompakten Hausdorff-Raum.

Historie

1885 veröffentlichte Weierstraß einen Beweis seines Satzes. Unabhängig davon fanden mehrere Mathematiker weitere Beweise, etwa Runge (1885), Picard (1891), Volterra (1897), Lebesgue (1898), Mittag-Leffler (1900), Fejér (1900), Lerch (1903), Landau (1908), de La Vallée Poussin (1912) und Bernstein (1912).

Siehe auch

• Satz von Bishop

Literatur

• Kurt Endl/Wolfgang Luh: Analysis II. Aula-Verlag 1972, 7-te Auflage 1989, ISBN 3-89104-455-0, S. 132–134
• Lutz Führer: Allgemeine Topologie mit Anwendungen. Vieweg Verlag, Braunschweig 1977, ISBN 3-528-03059-3. 
• Jürgen Heine: Topologie und Funktionalanalysis. Grundlagen der Abstrakten Analysis mit Anwendungen. 2., verbesserte Auflage. Oldenbourg Verlag, München 2011, ISBN 978-3-486-70530-0. 
• Friedrich Hirzebruch, Winfried Scharlau: Einführung in die Funktionalanalysis (= Reihe "B. I.-Hochschultaschenbücher". Band 296). Bibliographisches Institut, Mannheim, Wien, Zürich 1971, ISBN 3-411-00296-4 (MR0463864). 
• Konrad Köngisberger: Analysis 1. 2-te Auflage, Springer 1992, ISBN 3-540-55116-6, S. 302–304
• Walter Rudin: Functional Analysis (= International Series in Pure and Applied Mathematics). 2. Auflage. McGraw-Hill, Boston (u. a.) 1991, ISBN 0-07-054236-8 (MR1157815). 
• Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6 (MR0423277). 
• Stone, M. H. (1937), "Applications of the Theory of Boolean Rings to General Topology", Transactions of the American Mathematical Society 41 (3): 375–481, doi:10.2307/1989788.
• Stone, M. H. (1948), "The Generalized Weierstrass Approximation Theorem", Mathematics Magazine 21 (4): 167–184; 21 (5), 237–254.
• K. Weierstrass (1885). Über die analytische Darstellbarkeit sogenannter willkürlicher Functionen einer reellen Veränderlichen. Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, 1885 (II). (Erste Mitteilung S. 633–639, Zweite Mitteilung S. 789–805.)

Weblinks

• Stone-Weierstrass theorem in der Encyclopaedia of Mathematics
• Eric W. Weisstein: Stone-Weierstrass Theorem. In: MathWorld (englisch).
• Stone-Weierstrass Theorem auf PlanetMath