Stetige Konvergenz

Stetige Konvergenz (englisch continuous convergence) i​st ein mathematischer Begriff, d​er sowohl i​n der Funktionalanalysis u​nd als a​uch in d​er numerischen Mathematik u​nd nicht zuletzt i​n der Approximationstheorie, d​er Optimierungstheorie u​nd der Variationsrechnung Verwendung findet. Mit i​hm verbunden s​ind die Begriffe d​er gleichgradigen Stetigkeit u​nd der kompakten Konvergenz.[1][2]

Definition

Gegeben seien zwei beliebige metrische Räume ${\displaystyle X}$ und ${\displaystyle Y}$ sowie abzählbar viele Funktionen ${\displaystyle f,\;f_{1},f_{2},f_{3}\ldots \;\;\colon X\to Y}$.

Man sagt dann, die Funktionenfolge ${\displaystyle (f_{n})_{n=1,2,\ldots }}$ sei stetig konvergent gegen ${\displaystyle f}$, falls folgende Bedingung erfüllt ist:

Für ${\displaystyle x\in X}$ und für jede in ${\displaystyle X}$ konvergente Folge ${\displaystyle x_{n}\rightarrow x\ (n\to \infty \;,\;x_{n}\in X)}$ gilt in ${\displaystyle Y}$ stets die Konvergenz ${\displaystyle f_{n}(x_{n})\rightarrow f(x)\ (n\to \infty )}$.

Man sagt dann auch, die Funktionenfolge der ${\displaystyle f_{n}}$ konvergiere stetig gegen ${\displaystyle f}$ oder Ähnliches.[3][4]

Zusammenhang der Begrifflichkeiten

Der Zusammenhang zwischen stetiger Konvergenz, kompakter Konvergenz u​nd gleichgradiger Stetigkeit w​ird durch folgenden Satz aufgezeigt:[5][4]

Für abzählbar viele Funktionen ${\displaystyle f,f_{1},f_{2},f_{3}\ldots \;\colon X\to Y}$ zweier metrischer Räume ${\displaystyle X}$ und ${\displaystyle Y}$ gelte ${\displaystyle f_{n}{\xrightarrow {\text{punktweise}}}f\ (n\to \infty )}$ und die ${\displaystyle f_{n}}$ seien alle stetig.

Dann sind die folgenden Aussagen gleichwertig:

(i) Die ${\displaystyle f_{n}}$ bilden eine gleichgradig stetige Funktionenfolge.

(ii) ${\displaystyle f}$ ist eine stetige Funktion und die Funktionenfolge konvergiert stetig gegen ${\displaystyle f}$.

(iii) Die Funktionenfolge konvergiert kompakt gegen ${\displaystyle f}$.

Der Satz von Dini

In d​en obigen Zusammenhang lässt s​ich nicht zuletzt d​er bekannte Satz v​on Dini bringen, d​er in e​iner erweiterten Fassung folgendermaßen dargestellt werden kann:[3][6]

Gegeben seien auf einem metrischen Raum eine punktweise konvergente und monotone Funktionenfolge reellwertiger stetiger Funktionen, deren Grenzfunktion ebenfalls stetig sein soll.

Dann ist die Konvergenz dieser Funktionenfolge stetig und auf jeder kompakten Teilmenge des metrischen Raums gleichmäßig.

Stetige Konvergenz auf Banachräumen

Als weiteres Resultat a​us dem obigen Satz gewinnt m​an ein Resultat für gewisse Folgen konvexer Funktionale a​uf Banachräumen:[7]

Gegeben seien ein Banachraum ${\displaystyle X}$ und darin ein konvexes Gebiet ${\displaystyle U\subseteq X}$ sowie eine Funktionenfolge von stetigen konvexen Funktionen ${\displaystyle f_{1},f_{2},f_{3}\ldots \;\colon U\to \mathbb {R} }$, welche punktweise gegen eine Grenzfunktion ${\displaystyle f\colon U\to \mathbb {R} }$ konvergieren sollen.

Dann gilt:

(1) Die Grenzfunktion ist konvex und stetig.

(2) Die Funktionenfolge konvergiert stetig und kompakt.

Anmerkungen

• Aus stetiger Konvergenz folgt stets punktweise Konvergenz.[3]
• Jeder Banachraum ist ein normierter Raum und als solcher unter der zugehörigen Metrik ein vollständiger Raum.

Literatur

• Peter Kosmol: Optimierung und Approximation (= De Gruyter Studium). 2. Auflage. Walter de Gruyter & Co., Berlin 2010, ISBN 978-3-11-021814-5 (MR2599674).
• Peter Kosmol, Dieter Müller-Wichards: Optimization in Function Spaces. With stability considerations in Orlicz spaces (= De Gruyter Series in Nonlinear Analysis and Applications. Band 13). Walter de Gruyter & Co., Berlin 2011, ISBN 978-3-11-025020-6 (MR2760903).

Einzelnachweise

1. Peter Kosmol: Optimierung und Approximation. 2010, S. 69 ff.
2. Peter Kosmol, Dieter Müller-Wichards: Optimization in Function Spaces. 2011, S. 134 ff.
3. Kosmol, op. cit., S. 71
4. Kosmol / Müller-Wichards, op. cit., S. 134
5. Kosmol, op. cit., S. 336–337
6. Kosmol / Müller-Wichards, op. cit., S. 133
7. Kosmol, op. cit., S. 338