Satz von Müntz-Szász

Der Satz von Müntz-Szász (Vorlage:EnS) ist einer der Approximationssätze des mathematischen Gebiets der Analysis. Er geht auf Arbeiten der beiden Mathematiker Herman (Chaim) Müntz und Otto Szász aus den Jahren 1914 bzw. 1916 zurück. Der Satz behandelt, anschließend an den klassischen Approximationssatz von Weierstraß, die Frage der Bedingungen, unter denen die stetigen komplexwertigen Funktionen auf dem abgeschlossenen Einheitsintervall durch Linearkombinationen geeigneter Potenzfunktionen gleichmäßig approximiert werden können.

Formulierung des Satzes

Der Darstellung von Walter Rudin folgend kann der Approximationssatz angegeben werden wie folgt:

Sei $C=C(I,ℂ)$ der zum Einheitsintervall $I=[0,1]\subseteq ℝ$ gehörige Funktionenraum der stetigen komplexwertigen Funktionen $f:I\to ℂ$, versehen mit der Maximumsnorm, und sei $(p_n{)}_{n=1,2,\dots }$ eine Folge reeller Zahlen mit $0<p_1<p_2<p_3<\dots$.

Sei weiter $X\subseteq C$ der topologische Abschluss des $ℂ$-linearen Unterraums, der von den Potenzfunktionen $1,t^{p_1},t^{p_2},t^{p_3},\dots (t\in I)$ erzeugt wird.

Dann gilt:

(a) Dann und nur dann ist $X=C$, wenn $\sum _{k=1}^{\mathrm{\infty }}\frac{1}{p_k}=\mathrm{\infty }$ gilt .

(b) Ist jedoch $\sum _{k=1}^{\mathrm{\infty }}\frac{1}{p_k}<\mathrm{\infty }$ und ist weiter $p\in ℂ\setminus \{0,p_1,p_2,p_3,\dots \}$ , so ist die Potenzfunktion $t^p$ nicht in $X$ enthalten.

Andere Version

Der Satz von Müntz-Szász, der bei einigen Autoren oft auch nur als Satz von Müntz bezeichnet wird, gab Anlass zu einer Vielzahl von Verallgemeinerungen und weitergehenden Untersuchungen. Dabei wurde und wird, wie es schon Otto Szász in 1916 tat und wie in der Folge von anderen Autoren aufgegriffen wurde, von der Voraussetzung, dass die dort auftretenden Exponenten $p_1,p_2,p_3,\dots$ positive Zahlen sein sollen, in der Regel abgewichen. Stattdessen werden komplexe Exponenten $z_1,z_2,z_3,\dots$ mit positivem Realteil betrachtet, für die zwei gewisse unendliche Reihen divergieren bzw. konvergieren. Man gewinnt damit etwa die folgende Version:

Sei $C$ der oben schon gegebene Funktionenraum und sei $(z_n{)}_{n=1,2,\dots }$ eine Folge komplexer Zahlen mit $\mathrm{Re}(z_n)>0(n=1,2,\dots )$.

Sei weiter $X\subseteq C$ der topologische Abschluss des von den Potenzfunktionen $1,t^{z_1},t^{z_2},t^{z_3},\dots (t\in I)$ erzeugten $ℂ$-linearen Unterraums.

Dann gilt:

(a) Im Falle, dass $\sum _{k=1}^{\mathrm{\infty }}\frac{\mathrm{Re}(z_k)}{1+|z_k{|}^2}=\mathrm{\infty }$ gilt, ist $X=C$ .

(b) Andererseits ist im Falle, dass $\sum _{k=1}^{\mathrm{\infty }}\frac{\mathrm{Re}(z_k)+1}{1+|z_k{|}^2}<\mathrm{\infty }$ gilt, $X\ne C$ .

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur