Satz von Dini - LinkFang.de





Satz von Dini


In der Mathematik besagt der (nach Ulisse Dini benannte) Satz von Dini, dass eine monotone Folge reellwertiger stetiger Funktionen mit stetiger Grenzfunktion auf Kompakta gleichmäßig konvergiert.

Aussage

Sind [math]X[/math] ein kompakter topologischer Raum,

[math](f_i\colon X \rightarrow \mathbb{R})_{i\in\N}[/math]

eine Folge reellwertiger, stetiger Funktionen mit

[math]f_i(x) \leq f_{i+1}(x)[/math]

für alle natürlichen Zahlen [math]i[/math] und alle [math]x\in X[/math] und existiert eine stetige Grenzfunktion [math]f[/math], das heißt

[math]\lim_{i\to \infty}f_i(x) = f(x)[/math]

für alle [math]x\in X[/math], so konvergiert die Folge bereits gleichmäßig gegen [math]f[/math], das heißt

[math]\lim_{i\to \infty} \sup_{x\in X}|f_i(x) - f(x)| = 0.[/math]

Beweis

Für ein vorgegebenes [math]\varepsilon\gt0[/math] setze

[math]E_i:=\{x\in X \mid f(x)-f_i(x)\lt\varepsilon\}[/math].

Da die Folge der [math]f_i[/math] punktweise gegen [math]f[/math] konvergiert, bilden die [math]E_i[/math] eine Überdeckung von [math]X[/math], die wegen der vorausgesetzten Stetigkeit offen ist. Die Überdeckung [math](E_i)_i[/math] ist monoton wachsend, da die Funktionenfolge diese Eigenschaft hat. Weil [math]X[/math] kompakt ist, wird [math]X[/math] bereits von endlich vielen der [math]E_i[/math] überdeckt. Ist [math]N[/math] der größte Index dieser endlich vielen Überdeckungsmengen, so gilt [math]E_i=X[/math] für alle größeren Indizes [math]i[/math]. Also ist

[math]|f(x)-f_i(x)| = f(x)-f_i(x)\lt\varepsilon \,[/math] für alle [math]x\in X[/math] und [math]i\gtN \,[/math],

woraus die Behauptung folgt.

Bemerkung

Der Satz von Dini gilt auch für monoton fallende Folgen, wie man entweder durch einen entsprechend angepassten Beweis oder durch Übergang zur Folge [math](-f_i)_{i\in \N}[/math] sieht.

Auf die Voraussetzung, dass die Grenzfunktion wieder stetig ist, kann nicht verzichtet werden, wie man an dem Beispiel [math] f_i(x) = 1 - x^i [/math] auf [math]X = [0,1][/math] einfach sehen kann.

Literatur


Kategorien: Satz (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Satz von Dini (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.