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<ref>Eduard Heine: Die Elemente der Functionenlehre. In: Journal für die reine und angewandte Mathematik. Bd. 74, 1872, S. 172–188.</ref> und nach ihm benannt, nach Aussage von Jürgen Heine wurde diese Tatsache jedoch schon zuvor von Karl Weierstraß entdeckt.<ref>Jürgen Heine: Topologie und Funktionalanalysis. Oldenbourg, München 2002, ISBN 3-486-24914-2.</ref>

Aussage

Der Satz von Heine besagt:

Ist eine Funktion <math>f</math> im kompakten Intervall <math>[a,b]</math> stetig, dann ist sie dort sogar gleichmäßig stetig.

Mit anderen Worten: Zu einem beliebigen <math>\varepsilon > 0</math> existiert ein <math>\delta = \delta(\varepsilon) > 0</math> derart, dass für zwei beliebige Stellen <math>x_1</math> und <math>x_2</math> aus dem Intervall <math>[a,b]</math> mit <math>|x_2 - x_1| < \delta</math> gilt:

Beweis

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

<math>\left | x_n - x_n' \right | < \frac{1}{n}</math> und <math>\left | f(x_n) - f(x_n') \right | \geq \varepsilon.</math>

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

<math>\left |x_{n_k} - x_{n_k}' \right | < \frac{1}{n_k}</math>

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

<math>\begin{align}

\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{align}</math> für alle <math>k\ge k_0</math>, im Widerspruch zu <math>\left |f(x_{n_k}) - f(x_{n_k}') \right | \geq \varepsilon</math> für alle <math>k</math>. 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 <math>K</math> ein kompakter metrischer Raum, <math>M</math> ein metrischer Raum und <math>f:K\rightarrow M</math> stetig, so ist <math>f</math> gleichmäßig stetig.

Weitere Beweisskizze für metrische Räume

Der Satz lässt sich – etwa nach Otto Forster<ref name="OF_01">Otto Forster: Analysis 2. 2005, S. 34.</ref> – auch beweisen unter Zugrundelegung der Heine-Borel-Eigenschaft – und zwar ohne Widerspruchsbeweis!

Dieser Beweis lässt sich wie folgt skizzieren:

Zu dem kompakten metrischen Raum <math>K</math> (mit der Metrik <math>d_K</math>), dem metrischen Raum <math>M</math> (mit der Metrik <math>d_M</math>) und der stetigen Abbildung <math>f</math> fixiert man ein beliebiges <math>\varepsilon > 0</math>. Hierzu ist das für den Nachweis der gleichmäßigen Stetigkeit benötigte <math>\delta (\varepsilon)</math> zu bestimmen.

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

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

Schließlich setzt man:

<math>\delta (\varepsilon) = \min \left(\frac {\delta (a_1)}{2} , \ldots , \frac {\delta (a_n)}{2}\right)</math> .

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 <math>X</math> eine eindeutig bestimmte uniforme Struktur unterliegt. Deren Nachbarschaftssystem <math>{\Phi}_X</math> besteht aus allen Umgebungen der Diagonalen <math>\Delta = \{(x, x): x \in X \}</math> im zugehörigen Produktraum <math>X \times X</math>, wobei die in <math>X \times X</math> offenen Nachbarschaften ein Fundamentalsystem bilden, wodurch sogar eine vollständige uniforme Struktur gegeben ist.<ref name="HS_01">Horst Schubert: Topologie. 1975, S. 128 ff.</ref><ref name="NB_01">Nicolas Bourbaki: General Topology. Part I. 1966, S. 198 ff.</ref>

Es gilt also:<ref name="HS_02">Horst Schubert: Topologie. 1975, S. 129.</ref><ref name="NB_02">Nicolas Bourbaki: General Topology. Part I. 1966, S. 201.</ref>

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

Folgerung

Aus dem Satz von Heine gewinnt man einen Fortsetzungssatz:<ref name="HS_02" /><ref name="NB_02" />

Ist <math>A \subseteq X</math> eine dichte Teilmenge des kompakten Hausdorffraums <math>X</math> und ist <math>f: A \rightarrow Y</math> eine Abbildung von <math>A</math> in den separierten und vollständigen uniformen Raum <math>Y</math>, so ist <math>f</math> stetig und dabei fortsetzbar zu einer stetigen Abbildung auf ganz <math>X</math> genau dann, wenn <math>f</math> - bezüglich der von <math>X</math> auf <math>A</math> induzierten uniformen Struktur<ref>Das Nachbarschaftssystem dieser auf <math>A</math> induzierten uniformen Struktur rührt her von der Inklusionsabbildung <math>i_{A \times A} \colon {A \times A} \rightarrow {X \times X}</math> und besteht aus den Schnittmengen von <math>A \times A</math> mit den Nachbarschaften aus <math>{\Phi}_X</math> (Horst Schubert: Topologie. 1975, S. 110).</ref> - gleichmäßig stetig ist.

Gegenbeispiel

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

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

aber

<math>\left|f\left(\frac{1}{n+1}\right)-f\left(\frac{1}{n}\right)\right| = |(n+1)-n| = 1 \ge \varepsilon</math>.

Also kann <math>f</math> nicht gleichmäßig stetig sein.

Literatur

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}

Einzelnachweise