Satz von Heine

Der Satz von Heine (nach Eduard Heine; oder auch Satz von Heine-Cantor) aus der reellen Analysis macht eine Aussage über stetige Funktionen. Er wurde 1872 von Eduard Heine bewiesen und nach ihm benannt, nach Aussage von Jürgen Heine wurde diese Tatsache jedoch schon zuvor von Karl Weierstraß entdeckt.

Aussage

Der Satz von Heine besagt:

Ist eine Funktion im kompakten Intervall stetig, dann ist sie dort sogar gleichmäßig stetig.

Mit anderen Worten: Zu einem beliebigen $\varepsilon >0$ existiert ein $\delta =\delta (\varepsilon )>0$ derart, dass für zwei beliebige Stellen $x_{1}$ und $x_{2}$ aus dem Intervall mit $|x_{2}-x_{1}|<\delta$ gilt:

$|f(x_{2})-f(x_{1})|<\varepsilon .$

Beweis

Ein typischer Beweis erfolgt durch Widerspruch. Ist nicht gleichmäßig stetig, so gibt es ein $\varepsilon >0$ und zu jedem $n\in \mathbb {N}$ Punkte $x_{n},x_{n}'\in [a,b]$ , so dass

$\left|x_{n}-x_{n}'\right|<{\frac {1}{n}}$ und $\left|f(x_{n})-f(x_{n}')\right|\geq \varepsilon .$

Nach dem Satz von Bolzano-Weierstraß besitzt die beschränkte Folge $(x_n)_{n\in\mathbb{N}}$ eine konvergente Teilfolge $(x_{{n_{k}}})_{{k\in {\mathbb {N}}}}$ , deren Grenzwert im Intervall [a,b] enthalten ist. Dieser ist wegen

$\left|x_{{n_{k}}}-x_{{n_{k}}}'\right|<{\frac {1}{n_{k}}}$

ebenfalls Grenzwert der Folge $(x_{{n_{k}}}')_{{k\in {\mathbb {N}}}}$ . Aus der Stetigkeit von folgt $f(x_{{n_{k}}})\to f(x)$ und $f(x_{{n_{k}}}')\to f(x)$ . Daher gibt es ein $k_{0}$ , so dass $\left|f(x_{{n_{k}}})-f(x)\right|<\varepsilon /2$ und $\left|f(x_{{n_{k}}}')-f(x)\right|<\varepsilon /2$ für alle $k\geq k_{0}$ . Daraus folgt nun

${\begin{aligned}\left|f(x_{n_{k}})-f(x_{n_{k}}')\right|&=\left|(f(x_{n_{k}})-f(x))+(f(x)-f(x_{n_{k}}'))\right|\\&\leq \left|(f(x_{n_{k}})-f(x))\right|+\left|(f(x)-f(x_{n_{k}}'))\right|<\varepsilon /2+\varepsilon /2=\varepsilon \end{aligned}}$

für alle $k\geq k_{0}$ , im Widerspruch zu $\left|f(x_{{n_{k}}})-f(x_{{n_{k}}}')\right|\geq \varepsilon$ für alle . Daher war die gemachte Annahme falsch und es folgt die gleichmäßige Stetigkeit.

Verallgemeinerung auf kompakte metrische Räume

Mit einem nahezu identischen Beweis verallgemeinert sich dieser Satz auf kompakte metrische Räume:

Ist ein kompakter metrischer Raum, ein metrischer Raum und $f:K\rightarrow M$ stetig, so ist gleichmäßig stetig.

Weitere Beweisskizze für metrische Räume

Der Satz lässt sich – etwa nach Otto Forster – auch beweisen unter Zugrundelegung der Heine-Borel-Eigenschaft – und zwar ohne Widerspruchsbeweis!

Dieser Beweis lässt sich wie folgt skizzieren:

Zu dem kompakten metrischer Raum (mit der Metrik $d_{K}$ ), dem metrischen Raum (mit der Metrik $d_{M}$ ) und der stetigen Abbildung fixiert man ein beliebiges $\epsilon >0$ . Hierzu ist das für den Nachweis der gleichmäßigen Stetigkeit benötigte $\delta (\epsilon )$ zu bestimmen.

Dies gewinnt man, indem man zunächst die Stetigkeitseigenschaft von heranzieht und aus ihr zu jedem $a\in K$ ein $\delta (a)>0$ festlegt derart, dass für $b\in K$ mit $d_{K}(a,b)<\delta (a)$ stets $d_{M}(f(a),f(b))<{\frac {\epsilon }{2}}$ erfüllt ist.

Dann betrachtet man die aus lauter Punktumgebungen bestehende offene -Überdeckung $(U_{\frac {\delta (a)}{2}})_{a\in K}$ . Wegen der Kompaktheit von ergibt sich infolge der Heine-Borel-Eigenschaft, dass schon endlich viele dieser Umgebungen überdecken, etwa $U_{\frac {\delta (a_{1})}{2}},\ldots ,U_{\frac {\delta (a_{n})}{2}}$ für ein gewisses $n\in \mathbb{N}$ .

Schließlich setzt man:

$\delta (\epsilon )=\min({\frac {\delta (a_{1})}{2}},\ldots ,{\frac {\delta (a_{n})}{2}})$ .

Den Nachweis der in der Definition der gleichmäßigen Stetigkeit auftretenden Ungleichung führt man unter Anwendung der Dreiecksungleichung.

Verallgemeinerung auf kompakte Hausdorffräume

Der heinesche Satz lässt sich über die kompakten metrischen Räume hinaus sogar auf beliebige kompakte Hausdorffräume ausdehnen. Dies ist eine direkte Folge der Tatsache, dass der topologischen Struktur eines kompakten Hausdorffraums eine eindeutig bestimmte uniforme Struktur unterliegt. Deren Nachbarschaftssystem ${\Phi }_{X}$ besteht aus allen Umgebungen der Diagonalen $\Delta =\{(x,x):x\in X\}$ im zugehörigen Produktraum $X\times X$ , wobei die in $X\times X$ offenen Nachbarschaften ein Fundamentalsystem bilden, wodurch sogar eine vollständige uniforme Struktur gegeben ist.

Es gilt also:

Eine stetige Abbildung $f: X \rightarrow Y$ des kompakten Hausdorffraums in den uniformen Raum ist stets auch gleichmäßig stetig.

Folgerung

Aus dem Satz von Heine gewinnt man einen Fortsetzungssatz:

Ist $A\subseteq X$ eine dichte Teilmenge des kompakten Hausdorffraums und ist $f:A\rightarrow Y$ eine Abbildung von in den separierten und vollständigen uniformen Raum , so ist stetig und dabei fortsetzbar zu einer stetigen Abbildung auf ganz genau dann, wenn - bezüglich der von auf induzierten uniformen Struktur^[1] - gleichmäßig stetig ist.

Gegenbeispiel

Für nicht-kompakte Intervalle ist der Satz von Heine falsch. Die Funktion $f:(0,1]\rightarrow \mathbb{R}$ , $x\mapsto {\tfrac {1}{x}}$ ist stetig, aber nicht gleichmäßig stetig. In der Tat gibt es zu $\varepsilon =1$ kein $\delta >0$ , das die Bedingung der gleichmäßigen Stetigkeit erfüllt. Ist nämlich $\delta >0$ beliebig, so gibt es $n\in \mathbb {N}$ mit ${\tfrac {1}{n}}<\delta$ . Dann folgt

$\left|{\frac {1}{n+1}}-{\frac {1}{n}}\right|={\frac {1}{n(n+1)}}<\delta$ ,

aber

$\left|f\left({\frac {1}{n+1}}\right)-f\left({\frac {1}{n}}\right)\right|=|(n+1)-n|=1\geq \varepsilon$ .

Also kann nicht gleichmäßig stetig sein.

Literatur

Otto Forster: Analysis 2. Differentialrechnung im Rⁿ, gewöhnliche Differentialgleichungen (= Vieweg Studium). 6., neu bearbeitete und erweiterte Auflage. Vieweg Verlag, Wiesbaden 2005, ISBN 3-528-47231-6.
Jürgen Heine: Topologie und Funktionalanalysis. Grundlagen der Abstrakten Analysis mit Anwendungen. 2., verbesserte Auflage. Oldenbourg Verlag, München 2011, ISBN 978-3-486-70530-0.
Horst Schubert: Topologie. 4. Auflage. B. G. Teubner Verlag, Stuttgart 1975, ISBN 3-519-12200-6.

Anmerkungen

↑ Das Nachbarschaftssystem dieser auf induzierten uniformen Struktur rührt her von der Inklusionsabbildung $i_{A\times A}\colon {A\times A}\rightarrow {X\times X}$ und besteht aus den Schnittmengen von $A \times A$ mit den Nachbarschaften aus ${\Phi }_{X}$ (Schubert, op. cit., S. 110).

Basierend auf einem Artikel in:

Wikipedia.de