Gleichmäßige Stetigkeit

Bei gleichmäßig stetigen Funktionen kann um jeden Punkt des Graphen ein Rechteck mit Höhe $2\varepsilon$ und Breite $2\delta$ eingezeichnet werden, ohne dass der Graph direkt ober-/unterhalb des Rechtecks liegt. Die Funktion $g(x)={\sqrt {x}}$ ist gleichmäßig stetig. Hier verläuft der Graph nur innerhalb des Rechtecks. Bei der Funktion $f(x)={\tfrac {1}{x}}$ ist dies aber nicht der Fall. Bei kleinen Argumenten in der Nähe der Null verändert sich die Funktion so stark, dass Funktionswerte direkt ober- bzw. unterhalb des Rechtecks liegen.

Eine gleichmäßig stetige Funktion ist ein Begriff aus dem mathematischen Teilgebiet der Analysis. Gleichmäßige Stetigkeit einer Funktion ist eine stärkere Bedingung als die der Stetigkeit einer Funktion. Bei einer gleichmäßig stetigen Funktion ist der Abstand beliebiger Paare von Funktionswerten kleiner als ein beliebig vorgegebener Maximalfehler, solange die Argumente hinreichend nah beieinanderliegen.

Definition

Sei $D$ eine Teilmenge von $\mathbb {R}$.

Eine Abbildung $f\colon D\rightarrow \mathbb {R}$ heißt gleichmäßig stetig genau dann, wenn

$\forall \varepsilon >0~\exists \delta >0~\forall x,x_{0}\in D\colon |x-x_{0}|<\delta \Rightarrow |f(x)-f(x_{0})|<\varepsilon$.

Zur besseren Unterscheidung bezeichnet man die gewöhnliche Stetigkeit, wenn sie in jedem Punkt von $D$ gegeben ist, auch als punktweise Stetigkeit.

Die Besonderheit der gleichmäßigen Stetigkeit besteht darin, dass $\delta$ nur von $\varepsilon$ und nicht, wie bei der punktweisen Stetigkeit, noch zusätzlich von der Stelle $x_{0}$ abhängt.

Anschaulich bedeutet das: Zu jeder noch so kleinen senkrechten Rechteckseite $\varepsilon$ kann man eine hinreichend kleine waagrechte Rechteckseite $\delta$ finden, sodass wenn man das Rechteck mit den Seiten $\varepsilon$ und $\delta$ geeignet auf dem Funktionsgraphen entlangführt, dieser immer nur die senkrechten Rechtecksseiten schneidet. (Bsp.: Wurzelfunktion auf $[0,\infty )$.)

Beispiele

Betrachte die Funktion

$f\colon \mathbb {R} ^{+}\rightarrow \mathbb {R} ^{+}$ mit $f(x)=x^{2}$.

Diese ist stetig, aber nicht gleichmäßig stetig: Je weiter rechts man in einem der $\delta$-Streifen zwei Punkte wählt, desto größer kann der Abstand der beiden Funktionswerte werden und somit unser gewähltes $\varepsilon$ übersteigen. Dies entspricht nicht der Definition gleichmäßiger Stetigkeit: Der Abstand der Funktionswerte muss für jede Wahl zweier solcher Stellen kleiner als ein vorgegebenes $\varepsilon$ sein. Das ist bei dieser Funktion nicht der Fall.

Weiterhin gilt: Jede Einschränkung von $f$ auf ein kompaktes Intervall ist gleichmäßig stetig. Dies folgt unmittelbar aus dem Satz von Heine.

Ein anderes Beispiel ist die stetige Funktion

$f\colon \mathbb {R} ^{+}\rightarrow \mathbb {R} ^{+}$ mit $f(x)={\sqrt {x}}$,

die gleichmäßig stetig, sogar hölderstetig, aber nicht lipschitzstetig ist.

Verallgemeinerung: metrische Räume

Allgemeiner wird auch folgende Definition verwendet:

Seien $(X,d_{X})$, $(Y,d_{Y})$ metrische Räume. Eine Abbildung $f\colon X\rightarrow Y$ heißt gleichmäßig stetig genau dann, wenn

$\forall \varepsilon >0~\exists \delta >0~\forall x,x_{0}\in X\colon d_{X}(x,x_{0})<\delta \Rightarrow d_{Y}(f(x),f(x_{0}))<\varepsilon$.

Verallgemeinerung: uniforme Räume

Noch allgemeiner heißt in der Topologie eine Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon X \to Y} zwischen den uniformen Räumen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X, \mathcal U_X)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (Y, \mathcal U_Y)} gleichmäßig stetig, wenn das Urbild jeder Nachbarschaft wieder eine Nachbarschaft ist, wenn also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f \times f)^{-1}(\mathcal U_Y) \subset \mathcal U_X} .

Eigenschaften

Jede gleichmäßig stetige Funktion ist stetig. Die Umkehrung gilt nicht: Es gibt stetige Funktionen wie die Quadratfunktion, die nicht gleichmäßig stetig sind. Für gewisse Definitionsbereiche fallen Stetigkeit und gleichmäßige Stetigkeit wiederum zusammen. Der Satz von Heine besagt nämlich: Jede stetige Funktion auf einer kompakten Menge ist gleichmäßig stetig.

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x_n)_{n \in \N}} eine Cauchy-Folge im Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} und ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon X \to Y} gleichmäßig stetig, so ist auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f(x_n))_{n \in \N}} eine Cauchy-Folge in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} . Dies gilt im Allgemeinen nicht für Funktionen, die nur stetig sind, wie das Beispiel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X = (0,1]} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x) = \tfrac1x} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_n = \tfrac1n} zeigt.

Unmittelbar daraus, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} Cauchy-Folgen auf Cauchy-Folgen abbildet, folgt nun: Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon X \to Y} gleichmäßig stetig auf einer Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M \subset X} und ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} vollständig, dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} (sogar gleichmäßig) stetig fortsetzbar auf den Abschluss Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{M}} .

Im Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} lässt sich anschaulich die Aussage treffen, dass eine gleichmäßig stetige Funktion (mit Werten in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} ) keine Polstellen besitzen kann. Wie sollte sie auch, lässt sie sich doch – wie bereits dargestellt – stetig auf den Abschluss ihres Definitionsbereiches fortsetzen. Eine solche stetige Fortsetzung ist in einer Polstelle aber eben nicht möglich.

Spezielle Formen der gleichmäßigen Stetigkeit sind Hölder- und Lipschitz-Stetigkeit.

Visualisierung

Bei einer gleichmäßig stetigen Funktion kann für jeden vorgegebenen Maximalfehler Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon > 0} ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta>0} gefunden werden, so dass sich alle Paare von Funktionswerten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(y)} um maximal Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon} unterscheiden, solange die Abstände von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} kleiner als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta} sind. Dementsprechend kann um jeden Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (x,f(x))} des Graphen ein Rechteck mit Höhe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2\varepsilon} und Breite Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2\delta} eingezeichnet werden, bei dem der Graph komplett im Inneren des Rechtecks verläuft, so dass keine Funktionswerte direkt ober- beziehungsweise unterhalb des Rechtecks liegen. Bei nicht gleichmäßig stetigen Funktionen ist dies nicht möglich. Zum Teil verläuft zwar der Graph im Inneren des Rechtecks – aber nicht überall.

• 

  Bei gleichmäßig stetigen Funktion kann für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon > 0} um jeden Punkt ein Rechteck mit Höhe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2\varepsilon} und Breite Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2\delta} eingezeichnet werden, bei dem der Graph komplett im Inneren des Rechtecks verläuft.

• 

  Bei nicht gleichmäßig stetigen Funktion gibt es Werte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon > 0} bei denen es unmöglich ist, ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta > 0} zu finden, so dass der Graph überall im Inneren des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2\varepsilon} -Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2\delta} -Rechtecks verläuft. Wenn man das Rechteck entlang des Graphen verschiebt, so gibt es Stellen, wo Funktionswerte direkt ober- beziehungsweise unterhalb liegen.

Siehe auch

• Gleichmäßige gleichgradige Stetigkeit

Weblinks

Wikibooks: Mathe für Nicht-Freaks: Gleichmäßige Stetigkeit – Lern- und Lehrmaterialien

Quellen

• Konrad Königsberger: Analysis 1. Springer-Verlag, Berlin u. a., 2004, ISBN 3-540-41282-4.
• Konrad Königsberger: Analysis 2. Springer-Verlag, Berlin/Heidelberg, 2000, ISBN 3-540-43580-8.
• Otto Forster: Analysis Band 1: Differential- und Integralrechnung einer Veränderlichen. Vieweg-Verlag, 8. Aufl. 2006, ISBN 3-528-67224-2.