Stetige Konvergenz (englisch continuous convergence) ist ein mathematischer Begriff, der sowohl in der Funktionalanalysis und als auch in der numerischen Mathematik und nicht zuletzt in der Approximationstheorie, der Optimierungstheorie und der Variationsrechnung Verwendung findet. Mit ihm verbunden sind die Begriffe der gleichgradigen Stetigkeit und der kompakten Konvergenz.[1][2]

Definition

Bearbeiten

Gegeben seien zwei beliebige metrische Räume   und   sowie abzählbar viele Funktionen  .

Man sagt dann, die Funktionenfolge   sei stetig konvergent gegen  , falls folgende Bedingung erfüllt ist:

Für   und für jede in   konvergente Folge   gilt in   stets die Konvergenz  .

Man sagt dann auch, die Funktionenfolge der   konvergiere stetig gegen   oder Ähnliches.[3][4]

Zusammenhang der Begrifflichkeiten

Bearbeiten

Der Zusammenhang zwischen stetiger Konvergenz, kompakter Konvergenz und gleichgradiger Stetigkeit wird durch folgenden Satz aufgezeigt:[5][4]

Für abzählbar viele Funktionen   zweier metrischer Räume   und   gelte   und die   seien alle stetig.
Dann sind die folgenden Aussagen gleichwertig:
(i) Die   bilden eine gleichgradig stetige Funktionenfolge.
(ii)   ist eine stetige Funktion und die Funktionenfolge konvergiert stetig gegen  .
(iii) Die Funktionenfolge konvergiert kompakt gegen  .

Der Satz von Dini

Bearbeiten

In den obigen Zusammenhang lässt sich nicht zuletzt der bekannte Satz von Dini bringen, der in einer 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

Bearbeiten

Als weiteres Resultat aus dem obigen Satz gewinnt man ein Resultat für gewisse Folgen konvexer Funktionale auf Banachräumen:[7]

Gegeben seien ein Banachraum   und darin ein konvexes Gebiet   sowie eine Funktionenfolge von stetigen konvexen Funktionen  , welche punktweise gegen eine Grenzfunktion   konvergieren sollen.
Dann gilt:
(1) Die Grenzfunktion ist konvex und stetig.
(2) Die Funktionenfolge konvergiert stetig und kompakt.

Anmerkungen

Bearbeiten

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten
  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. a b c Kosmol, op. cit., S. 71
  4. a b 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