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 $X$ ein kompakter topologischer Raum,

$(f_i:X\to ℝ{)}_{i\in \mathbb{N}}$

eine Folge reellwertiger, stetiger Funktionen mit

$f_i(x)\le f_{i+1}(x)$

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

$\underset{i\to \mathrm{\infty }}{\lim }{f}_i(x)=f(x)$

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

$\underset{i\to \mathrm{\infty }}{\lim }\underset{x\in X}{\sup }|f_i(x)-f(x)|=0.$

Beweis

Für ein vorgegebenes $\epsilon >0$ setze

$E_i:=\{x\in X\mid f(x)-f_i(x)<\epsilon \}$.

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

$|f(x)-f_i(x)|=f(x)-f_i(x)<\epsilon$ für alle $x\in X$ und $i>N$,

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 $(-f_i{)}_{i\in \mathbb{N}}$ sieht.

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

Literatur

• Otto Forster: Analysis. Band 3: Maß- und Integrationstheorie, Integralsätze im Rⁿ und Anwendungen, 8. verbesserte Auflage. Springer Spektrum, Wiesbaden, 2017, ISBN 978-3-658-16745-5.
• Dirk Werner: Funktionalanalysis. Springer, Berlin 2005, ISBN 3-540-43586-7.