Stetige Funktion

In der Mathematik ist eine stetige Abbildung oder stetige Funktion eine Funktion, bei der hinreichend kleine Änderungen des Arguments nur beliebig kleine Änderungen des Funktionswerts nach sich ziehen. Formalisieren kann man diese Eigenschaft mit der Vertauschbarkeit der Funktion mit Grenzwerten oder mit dem ${\displaystyle \varepsilon }$-${\displaystyle \delta }$-Kriterium.

Sofern die Länge der Kurve endlich ist, kann der Graph einer reellen stetigen und differenzierbaren Funktion ${\displaystyle y=f(x)}$ in einem kartesischen Koordinatensystem innerhalb ihres Definitionsbereichs als zusammenhängende Kurve ohne Absetzen des Stiftes gezeichnet werden.

Viele in der Praxis der reellen Analysis verwendete Funktionen sind stetig, insbesondere ist das für alle differenzierbaren Funktionen der Fall.

Für stetige Funktionen können eine Reihe nützlicher Eigenschaften bewiesen werden. Exemplarisch seien der Zwischenwertsatz, der Satz vom Minimum und Maximum und der Fundamentalsatz der Analysis genannt.

Allgemeiner ist das Konzept der Stetigkeit von Abbildungen in der Mathematik vor allem in den Teilgebieten der Analysis und der Topologie von zentraler Bedeutung. Es ist möglich, Stetigkeit durch eine Bedingung zu charakterisieren, die nur Begriffe der Topologie benutzt. Somit kann der Begriff der Stetigkeit auch auf Funktionen zwischen topologischen Räumen ausgedehnt werden. Diese allgemeine Sichtweise erweist sich aus mathematischer Sicht als der „natürlichste“ Zugang zum Stetigkeitsbegriff: Stetige Funktionen sind diejenigen Funktionen zwischen topologischen Räumen, die mit deren Strukturen „verträglich“ sind. Stetige Funktionen spielen also in Topologie und Analysis eine ähnliche Rolle wie Homomorphismen in der Algebra.

Motivation

Graphische Veranschaulichung der Funktion ${\displaystyle f}$ mit einer Sprungstelle in ${\displaystyle x=1}$.

Die Funktion

${\displaystyle f(x)={\begin{cases}x,&{\text{wenn }}x\leq 1\\x+1,&{\text{wenn }}x>1\end{cases}}}$

„springt“ an der Stelle ${\displaystyle x=1}$ vom Funktionswert 1 auf den Funktionswert 2. Stellt die Funktion einen Zusammenhang aus der Natur oder der Technik dar, so erscheint ein solches Verhalten als unerwartet (Natura non facit saltus). Beschreibt die Funktion zum Beispiel den Zusammenhang zwischen der beim Radfahren aufgebrachten Energie und der erreichten Geschwindigkeit, so wäre es überraschend, wenn eine minimale Steigerung der aufgewandten Energie an einer Stelle sprunghaft zur Verdoppelung der Geschwindigkeit führte.

Der mathematische Begriff der Stetigkeit versucht die Funktionen exakt zu beschreiben, die ein solches „willkürliches“ Verhalten nicht haben. Die angegebene Funktion ${\displaystyle f}$ ist also nicht stetig, wobei sich die Unstetigkeit auf den Punkt ${\displaystyle x=1}$ einschränken lässt. In allen anderen Punkten ist die Funktion stetig.

Sinus und Kosinus sind stetige Funktionen, ihre Funktionsgraphen können in einem Zug ohne Absetzen gezeichnet werden, was aber für viele stetige Funktionen (z. B. die Tangensfunktion) nicht gilt.

Anschaulich wird Stetigkeit oft damit assoziiert, den Graphen einer Funktion in einem Zug ohne Absetzen zeichnen zu können. Diese Anschauung stößt an gewisse Grenzen, besonders wenn man Funktionen mit anderen Definitionsbereichen als der gesamten reellen Zahlengerade betrachtet. Deshalb werden mathematisch exakte Definitionen benötigt.

Der Graph der stetigen Funktion ${\displaystyle x\sin(1/x)}$ in zwei unterschiedlichen Maßstäben.

Beispielsweise ist die durch

${\displaystyle g(x)={\begin{cases}x\cdot \sin {\frac {1}{x}},&{\text{wenn }}x\not =0\\0,&{\text{wenn }}x=0\end{cases}}}$

gegebene Funktion anschaulich stetig, denn außer bei ${\displaystyle x=0}$ ist ihr Graph eine durchgehende Linie, und bei ${\displaystyle x=0}$ hat er keinen Platz, „Sprünge“ zu machen. Ob er sich aber bis zum Nullpunkt „ohne Absetzen zeichnen lässt“, kann man nicht ohne eine genauere Definition dessen entscheiden, was eine erlaubte Zeichnung sein soll. Da ist es einfacher, eine Definition von „stetig“ ohne den Begriff „zeichnen“ zu entwickeln, nach der diese Funktion als stetig nachgewiesen werden kann. Dann können durchaus die eben genannten Gründe zum Beweis beitragen.

Detaillierte Untersuchung des Verhaltens von ${\displaystyle g(x)}$ nahe der Stelle ${\displaystyle x=0}$: Zeichnen möglich?

---

Die Funktion ${\displaystyle g}$ ist gerade, so dass es genügt, die Untersuchung auf ihr Verhalten für ${\displaystyle x\geqq 0}$ zu beschränken. Neben der Nullstelle am Nullpunkt sind ihre positiven Nullstellen an den Stellen ${\displaystyle x_{k}={\tfrac {1}{k\pi }}}$ für ganzzahlige ${\displaystyle k>0}$; diese sind von rechts nach links indiziert, d. h. ${\displaystyle x_{1}>x_{2}>\dotsb >0}$ mit ${\displaystyle x_{1}}$ als größter Nullstelle und mit jeweils unendlich vielen weiteren Nullstellen zwischen ${\displaystyle 0}$ und jeder beliebigen anderen Nullstelle ${\displaystyle x_{k}}$. Zwischen den benachbarten Nullstellen ${\displaystyle x_{k}}$ und ${\displaystyle x_{k-1}}$ liegt jeweils eine Stelle ${\displaystyle \xi _{k}={\tfrac {2}{(2k-1)\cdot \pi }}}$ mit ${\displaystyle \sin {\tfrac {1}{\xi _{k}}}=\pm 1}$, so dass ${\displaystyle |g(\xi _{k})|=\xi _{k}={\tfrac {2}{(2k-1)\cdot \pi }}>{\tfrac {1}{k\pi }}}$. Zwischen den Nullstellen ${\displaystyle x_{k}}$ und ${\displaystyle x_{k-1}}$ muss also der Graph zweimal den Höhenunterschied ${\displaystyle {\tfrac {1}{k\pi }}}$ überwinden, so dass seine Länge in diesem Abschnitt mehr als ${\displaystyle {\tfrac {2}{k\pi }}}$ beträgt. Zwischen der Nullstelle ${\displaystyle x_{1}}$ und einer beliebigen anderen positiven Nullstelle ${\displaystyle x_{n}}$ weiter links ist die Länge des Graphen also größer als ${\displaystyle {\tfrac {2}{\pi }}\cdot ({\tfrac {1}{1}}+{\tfrac {1}{2}}+\dotsb +{\tfrac {1}{n-1}})}$. Diese Summe wächst mit wachsendem ${\displaystyle n}$ über alle Grenzen (siehe Harmonische Reihe), so dass die vollständige Zeichnung nie fertig würde.

Stetigkeit reeller Funktionen

Definition

Sei ${\displaystyle f}$ eine reelle Funktion, also eine Funktion ${\displaystyle f\colon D_{f}\to \mathbb {R} }$, deren Funktionswerte reelle Zahlen sind und deren Definitionsbereich ${\displaystyle D_{f}\subset \mathbb {R} }$ ebenfalls aus reellen Zahlen besteht.
In der reellen Analysis gibt es mehrere gleichwertige Möglichkeiten, die Stetigkeit von ${\displaystyle f}$ in einem ${\displaystyle {\displaystyle x_{0}\in D_{f}}}$ zu definieren. Die gebräuchlichsten sind das Epsilon-Delta-Kriterium und die Definition mittels Grenzwerten.

Veranschaulichung der ${\displaystyle \varepsilon }$-${\displaystyle \delta }$-Definition: für ${\displaystyle \varepsilon =0{,}5}$ erfüllt ${\displaystyle \delta =0{,}5}$ die Stetigkeitsbedingung.

Definition mittels Epsilon-Delta-Kriterium. ${\displaystyle f}$ heißt stetig in ${\displaystyle x_{0}}$, wenn zu jedem ${\displaystyle \varepsilon >0}$ ein ${\displaystyle \delta >0}$ existiert, so dass für alle ${\displaystyle x\in D_{f}}$ mit

${\displaystyle |x-x_{0}|<\delta }$

gilt:

${\displaystyle |f(x)-f(x_{0})|<\varepsilon }$.

Intuitiv bedeutet die Bedingung der Stetigkeit, dass zu jeder Änderung ${\displaystyle \varepsilon }$ des Funktionswertes, die man zu akzeptieren bereit ist, eine maximale Änderung ${\displaystyle \delta }$ im Argument gefunden werden kann, die diese Vorgabe sicherstellt.

Beispiel: Nachweis der Stetigkeit der Funktion ${\displaystyle f(x)=2x+3}$ an der Stelle ${\displaystyle x_{0}}$

---

Seien ${\displaystyle x,x_{0}\in \mathbb {R} }$ und ${\displaystyle \varepsilon \in \mathbb {R} }$ mit

${\displaystyle \varepsilon >0}$.

Es ist

${\displaystyle |f(x)-f(x_{0})|=|(2x+3)-(2x_{0}+3)|=|2x-2x_{0}|=2|x-x_{0}|}$.

Damit dies kleiner als die vorgegebene Zahl ${\displaystyle \varepsilon }$ ist, kann z. B.

${\displaystyle \delta (\varepsilon )={\tfrac {1}{2}}\varepsilon }$

gewählt werden. Denn aus

${\displaystyle |x-x_{0}|<\delta ={\tfrac {1}{2}}\varepsilon }$

folgt dann nämlich

${\displaystyle |f(x)-f(x_{0})|=2|x-x_{0}|<2\cdot {\tfrac {1}{2}}\varepsilon =\varepsilon }$.

Bemerkungen:

• Da die Funktion ${\displaystyle f}$ an jeder Stelle ${\displaystyle x_{0}\in \mathbb {R} }$ stetig ist, ist ${\displaystyle f}$ somit auf ganz ${\displaystyle \mathbb {R} }$ stetig.
• Weil ${\displaystyle \delta }$ lediglich von ${\displaystyle \varepsilon }$, nicht aber von der Stelle ${\displaystyle x_{0}\in \mathbb {R} }$ abhängt, ist ${\displaystyle f}$ sogar auf ganz ${\displaystyle \mathbb {R} }$ gleichmäßig stetig.

Beispiel zum Folgenkriterium: Die Folge exp(1/n) konvergiert gegen exp(0)

Definition mittels Grenzwerten. Bei dieser Definition fordert man die Vertauschbarkeit von Funktionsausführung und Grenzwertbildung. Hierbei kann man sich wahlweise auf den Grenzwertbegriff für Funktionen oder für Folgen stützen.
Im ersten Fall formuliert man: ${\displaystyle f}$ heißt stetig in ${\displaystyle x_{0}}$, wenn der Grenzwert ${\displaystyle \lim _{x\to x_{0}}f(x)}$ existiert und mit dem Funktionswert ${\displaystyle f(x_{0})}$ übereinstimmt, wenn also gilt:

${\displaystyle \lim _{x\to x_{0}}f(x)=f(x_{0})}$.

Im zweiten Fall formuliert man: ${\displaystyle f}$ heißt stetig in ${\displaystyle x_{0}}$, wenn für jede gegen ${\displaystyle x_{0}}$ konvergente Folge ${\displaystyle (a_{n})}$ mit Elementen ${\displaystyle a_{n}\in D_{f}}$, die Folge ${\displaystyle {\bigl (}f(a_{n}){\bigr )}}$ gegen ${\displaystyle f(x_{0})}$ konvergiert.
Die zweite Bedingung wird auch als Folgenkriterium bezeichnet.

Statt von Stetigkeit in ${\displaystyle x_{0}}$ spricht man oft auch von Stetigkeit im Punkt ${\displaystyle x_{0}}$ oder Stetigkeit an der Stelle ${\displaystyle x_{0}}$. Ist diese Bedingung nicht erfüllt, so nennt man ${\displaystyle f}$ unstetig in (im Punkt/an der Stelle) ${\displaystyle x_{0}}$, bzw. bezeichnet ${\displaystyle x_{0}}$ als Unstetigkeitsstelle von ${\displaystyle f}$.

Man spricht von einer stetigen Funktion, wenn die Funktion in jedem Punkt ihres Definitionsbereiches stetig ist.

Beispiele stetiger und unstetiger Funktionen

Ist eine Funktion an einer Stelle differenzierbar, so ist sie dort auch stetig. Damit folgt insbesondere die Stetigkeit

• aller rationalen Funktionen (also etwa ${\displaystyle x\mapsto x^{3}+4x^{2}-6x+9}$ oder ${\displaystyle x\mapsto {\frac {2x-1}{x+2}}}$)
• der Exponentialfunktionen ${\displaystyle x\mapsto a^{x}}$, für festes ${\displaystyle a\in \mathbb {R} ^{>0}}$
• der trigonometrischen Funktionen (also Sinus, Kosinus, Tangens,…)
• der Logarithmusfunktionen

Die Stetigkeit dieser Funktionen lässt sich aber auch ohne Rückgriff auf den Begriff der Differenzierbarkeit direkt beweisen.

Die Betragsfunktion ist ebenfalls stetig, auch wenn sie im Punkt 0 nicht differenzierbar ist. Ebenfalls stetig sind alle Potenzfunktionen (etwa ${\displaystyle x\mapsto x^{\frac {1}{2}}={\sqrt {x}}}$), obwohl sie für einen Exponenten kleiner 1 im Punkt 0 ebenfalls nicht differenzierbar sind.
Tatsächlich sind alle elementaren Funktionen stetig (zum Beispiel ${\displaystyle x\mapsto {\sqrt {1+\cos ^{2}(x-5)}}}$).

Der Graph einer stetigen rationalen Funktion. Die Funktion ist nicht definiert für ${\displaystyle x=-2}$.

Bei der Betrachtung der elementaren Funktionen ist allerdings zu beachten, dass einige elementare Funktionen als Definitionsbereich nur eine echte Teilmenge der reellen Zahlen haben. Bei der Quadratwurzelfunktion werden z. B. alle negativen Zahlen ausgelassen, bei der Tangensfunktion alle Nullstellen des Kosinus.
In diesen Fällen wird manchmal unpräzise formuliert, die Funktionen seien in den entsprechenden Stellen unstetig. Dies ist allerdings nicht richtig, da sich die Frage nach der Stetigkeit nur für Punkte im Definitionsbereich stellt. Mathematisch sinnvoll ist allerdings die Frage nach einer stetigen Fortsetzung der Funktion an einer Definitionslücke.
Beispielsweise ist die Funktion

${\displaystyle x\mapsto {\frac {2x-1}{x+2}}}$

definiert für alle reellen Zahlen ${\displaystyle x\not =-2}$ und in jedem Punkt ihres Definitionsbereiches stetig. Sie ist also eine stetige Funktion. Die Frage der Stetigkeit in ${\displaystyle x=-2}$ stellt sich nicht, weil dieser Punkt nicht zum Definitionsbereich gehört. Eine stetige Fortsetzung der Funktion an dieser Definitionslücke ist nicht möglich.

Die Betrags- und die Wurzelfunktion sind Beispiele stetiger Funktionen, die an einzelnen Stellen des Definitionsbereichs nicht differenzierbar sind. Die mathematische Fachwelt nahm noch Anfang des 19. Jahrhunderts an, dass eine stetige Funktion zumindest „an den meisten“ Stellen differenzierbar sein müsse. Bernard Bolzano konstruierte dann als erster Mathematiker eine Funktion, die überall stetig, aber nirgends differenzierbar ist, die Bolzanofunktion. Er veröffentlichte sein Resultat allerdings nicht. Karl Weierstraß fand dann in den 1860er Jahren ebenfalls eine derartige, als Weierstraß-Funktion bekannte Funktion, womit er in der mathematischen Fachwelt Aufsehen erregte. Der Graph der Weierstraß-Funktion kann effektiv nicht gezeichnet werden. Dies zeigt, dass die intuitive Erklärung, eine stetige Funktion sei eine Funktion, deren Graph sich ohne Absetzen des Stiftes zeichnen lässt, in die Irre führen kann. Letztlich muss man bei der Untersuchung der Eigenschaften stetiger Funktionen immer auf die exakte Definition zurückgreifen.

Mit Methoden der Mathematik des 20. Jahrhunderts konnte sogar gezeigt werden, dass die Funktionen, die nirgends differenzierbar sind, in gewissem Sinne „häufig“ unter den stetigen Funktionen sind.

Die Vorzeichenfunktion ${\displaystyle \operatorname {sgn}(x)}$ ist nicht stetig an der Stelle 0.

Einfache Beispiele unstetiger Funktionen sind:

• die Vorzeichenfunktion (unstetig nur in 0)
• die Dirichlet-Funktion (in jedem Punkt unstetig)
• die thomaesche Funktion (unstetig genau in allen rationalen Zahlen).

Stetigkeit zusammengesetzter Funktionen

Ähnlich wie die Differenzierbarkeit ist die Stetigkeit eine Eigenschaft, die sich bei vielen Operationen von den Bestandteilen auf die daraus zusammengesetzten Funktionen überträgt. Bei den folgenden Punkten sei die Stetigkeit von ${\displaystyle f}$ in ${\displaystyle x_{0}}$ bereits gegeben.

• Hintereinanderausführung: Ist ${\displaystyle g}$ eine weitere reelle Funktion, deren Definitionsbereich den Wertebereich von ${\displaystyle f}$ umfasst und die in ${\displaystyle f(x_{0})}$ stetig ist, dann ist die Komposition ${\displaystyle g\circ f}$ stetig in ${\displaystyle x_{0}}$.
• Algebraische Operationen: Ist ${\displaystyle g}$ eine weitere reelle Funktion mit demselben Definitionsbereich wie ${\displaystyle f}$, die ebenfalls in ${\displaystyle x_{0}}$ stetig ist, dann sind die punktweise definierten Funktionen ${\displaystyle f+g}$, ${\displaystyle f-g}$, ${\displaystyle f\cdot g}$ und ${\displaystyle {\tfrac {f}{g}}}$ ebenfalls stetig in ${\displaystyle x_{0}}$. Im letzten Fall ist allerdings zu beachten, dass der Definitionsbereich der zusammengesetzten Funktion sich als ${\displaystyle D_{f}}$ ohne die Nullstellenmenge von ${\displaystyle g}$ ergibt. Insbesondere darf ${\displaystyle x_{0}}$ selbst in diesem Fall also keine Nullstelle von ${\displaystyle g}$ sein.
• Maximum/Minimum: Unter den gleichen Voraussetzungen wie im vorherigen Punkt sind die punktweise definierten Funktionen ${\displaystyle \max(f,g)}$ und ${\displaystyle \min(f,g)}$ stetig in ${\displaystyle x_{0}}$.

Passen die Definitionsbereiche der beteiligten Funktionen nicht wie gefordert zusammen, so kann man sich eventuell durch geeignete Einschränkungen der Definitionsbereiche weiter helfen.

Unter bestimmten Voraussetzungen überträgt sich Stetigkeit auch auf die Umkehrfunktion. Allerdings kann die Aussage hier nicht für die punktweise Stetigkeit formuliert werden:

Ist der Definitionsbereich der injektiven, stetigen reellen Funktion ${\displaystyle f}$ ein Intervall, so ist die Funktion streng monoton (steigend oder fallend). Die auf dem Wertebereich von ${\displaystyle f}$ definierte Umkehrfunktion ${\displaystyle f^{-1}}$ ist ebenfalls stetig.

Mit Hilfe dieser Permanenzeigenschaften kann man zum Beispiel die Stetigkeit der oben angegebenen elementaren Funktion ${\displaystyle x\mapsto {\sqrt {1+\cos ^{2}(x-5)}}}$ aus der Stetigkeit des Kosinus, der identischen Funktion und der konstanten Funktionen ableiten. Verallgemeinert man diese Überlegung, so ergibt sich die Stetigkeit aller elementaren Funktionen als Konsequenz aus den vorher angegebenen einfachen Beispielen.

Hauptsätze über stetige reelle Funktionen

Es gibt eine Reihe wichtiger Sätze, die für stetige reelle Funktionen ${\displaystyle f}$ gelten. Diese lassen sich am einfachsten formulieren, wenn man annimmt, dass ${\displaystyle D_{f}=[a,b]}$ mit ${\displaystyle a,b\in \mathbb {R} ,a<b}$ ein abgeschlossenes, beschränktes Intervall ist:

• Zwischenwertsatz: Die Funktion nimmt jeden Wert zwischen ${\displaystyle f(a)}$ und ${\displaystyle f(b)}$ an.

• Satz vom Minimum und Maximum: ${\displaystyle f}$ ist beschränkt und Infimum und Supremum seiner Funktionswerte werden auch als Funktionswert angenommen. Es handelt sich also tatsächlich um Minimum und Maximum. Dieser von Weierstraß bewiesene Satz, bisweilen auch Extremwertsatz genannt, liefert nur die Existenz dieser Extremwerte. Für ihr praktisches Auffinden sind häufig Aussagen aus der Differentialrechnung nötig.

• Fundamentalsatz der Analysis: ${\displaystyle f}$ ist Riemann-integrierbar und die Integralfunktion

${\displaystyle F(x)=\int _{a}^{x}f(t)\,{\rm {d}}t}$

ist eine Stammfunktion von ${\displaystyle f}$.

• Satz von Heine: ${\displaystyle f}$ erfüllt eine strengere Version des Epsilon-Delta-Kriteriums. Die entsprechende Eigenschaft wird gleichmäßige Stetigkeit genannt.

Aus Zwischenwertsatz und Satz vom Minimum und Maximum zusammen folgt, dass das Bild von ${\displaystyle f}$ ebenfalls ein abgeschlossenes, beschränktes Intervall (bzw. im Fall einer konstanten Funktion eine einpunktigen Menge) ist.

Andere Stetigkeitsbegriffe

Verschärfungen des Begriffs der Stetigkeit sind z. B. gleichmäßige Stetigkeit, (lokale) Lipschitz-Stetigkeit, Hölder-Stetigkeit sowie die absolute Stetigkeit und die geometrische Stetigkeit. Die gewöhnliche Stetigkeit wird mitunter auch als punktweise Stetigkeit bezeichnet, um sie gegenüber der gleichmäßigen Stetigkeit abzugrenzen. Anwendungen der Lipschitz-Stetigkeit finden sich z. B. in Existenz- und Eindeutigkeitssätzen (z. B. Satz von Picard-Lindelöf) für Anfangswertprobleme gewöhnlicher Differentialgleichungen und in der geometrischen Maßtheorie. Die absolute Stetigkeit findet Verwendung in der Stochastik und der Maßtheorie, die geometrische Stetigkeit in der geometrischen Modellierung.

Eine Eigenschaft, die eine Menge von Funktionen besitzen kann, ist die gleichgradige Stetigkeit. Sie spielt eine Rolle im häufig verwendeten Satz von Arzelà-Ascoli.

Stetigkeit für Funktionen mehrerer Variablen

Eine Funktion

${\displaystyle f\colon \mathbb {R} ^{n}\to \mathbb {R} }$

${\displaystyle (x_{1},\ldots ,x_{n})\mapsto f(x_{1},\ldots ,x_{n})}$

heißt stetig in ${\displaystyle (x_{1},\ldots ,x_{n})}$, wenn für jede gegen ${\displaystyle (x_{1},\ldots ,x_{n})}$ konvergierende Folge die Folge der Funktionswerte gegen ${\displaystyle f(x_{1},\ldots ,x_{n})}$ konvergiert.

Sie heißt stetig, wenn sie in jedem Punkt des Definitionsbereichs stetig ist.

Ist die Funktion ${\displaystyle f}$ stetig, so ist sie auch stetig in jedem Argument.

Dabei heißt die Funktion ${\displaystyle f}$ stetig im ersten Argument, wenn für jedes ${\displaystyle (x_{2},\ldots ,x_{n})\in \mathbb {R} ^{n-1}}$ die Funktion

${\displaystyle f_{(x_{2},\ldots ,x_{n})}\colon \mathbb {R} \to \mathbb {R} }$

${\displaystyle x\mapsto f(x,x_{2},\ldots ,x_{n})}$

stetig ist. Analog wird die Stetigkeit im zweiten, dritten, … , ${\displaystyle n}$-ten Argument definiert.

Darstellung der im Punkt (0,0) nicht stetigen nebenstehenden Funktion f.

Umgekehrt folgt aus der Stetigkeit in jedem Argument noch nicht die Stetigkeit von ${\displaystyle f}$, wie das folgende Beispiel zeigt:

${\displaystyle f\colon \mathbb {R} ^{2}\to \mathbb {R} ,\quad (x,y)\mapsto {\begin{cases}0,&x=y=0\\{\frac {xy}{x^{2}+y^{2}}},&{\text{sonst}}\end{cases}}}$

Man überzeugt sich leicht, dass diese Funktion in beiden Argumenten stetig ist. Die Funktion ist im Punkt ${\displaystyle (0,0)}$ aber unstetig. Definiert man nämlich ${\displaystyle a_{k}=\left({\tfrac {1}{k}},{\tfrac {1}{k}}\right)}$ für ${\displaystyle k\in \mathbb {N} }$, so ist ${\displaystyle (a_{k})_{k\in \mathbb {N} }}$ eine Folge, die in ${\displaystyle \mathbb {R} ^{2}}$ gegen ${\displaystyle (0,0)}$ konvergiert. Es gilt ${\displaystyle f(a_{k})={\tfrac {1}{2}}}$ für alle ${\displaystyle k\in \mathbb {N} }$. Die Bildfolge hat also den konstanten Wert ${\displaystyle {\tfrac {1}{2}}}$ und konvergiert somit nicht gegen den Funktionswert 0 an der betrachteten Stelle.

Stetigkeit für Abbildungen zwischen metrischen Räumen

Definition

Seien ${\displaystyle \left(X,d_{X}\right)}$ und ${\displaystyle \left(Y,d_{Y}\right)}$ metrische Räume, ${\displaystyle f\colon X\to Y}$ eine Abbildung und ${\displaystyle x\in X}$.

Dann heißt ${\displaystyle f}$ stetig in ${\displaystyle x}$, wenn aus ${\displaystyle \lim _{n\to \infty }x_{n}=x}$ stets ${\displaystyle \lim _{n\to \infty }f(x_{n})=f(x)}$ folgt. Diese Bedingung ist wieder äquivalent zum ${\displaystyle \epsilon }$-${\displaystyle \delta }$-Kriterium.

Die Abbildung ${\displaystyle f}$ heißt stetig, wenn sie in jedem Punkt ${\displaystyle x\in X}$ stetig ist.

Abbildungen zwischen endlich-dimensionalen euklidischen Vektorräumen

Eine Abbildung

${\displaystyle f=(f_{1},\ldots ,f_{m})\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}}$

ist im Sinne dieser Definition genau dann stetig in ${\displaystyle x=(x_{1},\ldots ,x_{n})}$, wenn die Komponentenabbildungen ${\displaystyle f_{1},\ldots ,f_{m}\colon \mathbb {R} ^{n}\to \mathbb {R} }$ alle stetig in ${\displaystyle x}$ sind.

Abbildungen zwischen normierten Vektorräumen

→ Hauptartikel: Beschränkter Operator

Ein linearer Operator

${\displaystyle T\colon V\rightarrow W}$

zwischen normierten Vektorräumen ist genau dann stetig, wenn er beschränkt ist, wenn es also eine Konstante ${\displaystyle K}$ gibt, so dass

${\displaystyle \|T(x)\|\leq K\|x\|}$

für alle ${\displaystyle x\in V}$. Diese Charakterisierung gilt allgemeiner auch für Abbildungen zwischen bornologischen Räumen.

Sind ${\displaystyle V}$ und ${\displaystyle W}$ sogar Banachräume, so kann der Satz vom abgeschlossenen Graphen oft zum Nachweis der Stetigkeit genutzt werden.

Allgemeiner kann man Stetigkeit auch für Abbildungen zwischen lokalkonvexen Vektorräumen definieren und dann ist ${\displaystyle f}$ genau dann stetig, wenn für jede stetige Halbnorm ${\displaystyle p}$ auf ${\displaystyle Y}$ die Halbnorm ${\displaystyle p\circ f}$ stetig auf ${\displaystyle X}$ ist.

Stetigkeit von Grenzwerten von Funktionenfolgen

Im Allgemeinen folgt aus der punktweisen Konvergenz einer Folge stetiger Funktionen ${\displaystyle (f_{k}\colon X\to Y)_{k\in N}}$ nicht die Stetigkeit der Grenzfunktion ${\displaystyle f\colon X\to Y}$. Zum Beispiel konvergiert für ${\displaystyle X=Y=[0,1]}$ die Funktionenfolge ${\displaystyle f_{k}(x)=x^{k}}$ gegen die unstetige Funktion ${\displaystyle \lim _{k\to \infty }f_{k}(x)={\begin{cases}1&x=1\\0&\mathrm {sonst} \end{cases}}}$.^[1]

Unter strengeren Konvergenzbegriffen für Funktionenfolgen, insbesondere der (lokal) gleichmäßigen Konvergenz, kann aber stets die Stetigkeit der Grenzfunktion sichergestellt werden.^[2]

Mit Hilfe dieses Konvergenzbegriffs von Funktionenfolgen lässt sich die Stetigkeit von durch Potenzreihen definierten komplexen Funktionen im Innern ihres Konvergenzkreises beweisen (siehe auch Abelscher Grenzwertsatz).

Der Satz von Banach-Steinhaus stellt die Stetigkeit der Grenzfunktion sicher, wenn ${\displaystyle X}$ und ${\displaystyle Y}$ Banachräume sind und alle ${\displaystyle f_{k}}$ lineare Operatoren sind.

Varianten des Stetigkeitsbegriffs

Für Funktionen zwischen metrischen Räumen gibt eine Reihe weiterer Stetigkeitsbegriffe, die jeweils strengere Bedingungen daran stellen, wie stark der Funktionswert in Abhängigkeit von der Schwankung im Argument schwanken darf. Hier wäre zu nennen: gleichmäßige Stetigkeit (kann auch für Funktionen auf uniformen Räumen definiert werden), (lokale) Lipschitz-Stetigkeit, Hölder-Stetigkeit, gleichgradige Stetigkeit^[3] sowie (falls der Definitionsbereich ein reelles Intervall ist) absolute Stetigkeit.

Stetigkeit in der Topologie

Das Konzept der Stetigkeit wurde zunächst für reelle und komplexe Funktionen entwickelt. Bei der Begründung des mathematischen Teilgebiets der Topologie zeigte sich aber, dass das Konzept sich natürlich auf dieses Gebiet erweitern lässt. Seitdem ist die Stetigkeit einer der Grundbegriffe der modernen Mathematik.

Die oben angegebenen alternativen Definitionen von Stetigkeit können leicht auf viel allgemeinere Situationen ausgedehnt werden, wobei ein Großteil der angegebenen Eigenschaften stetiger Funktionen ebenfalls verallgemeinert werden kann. Dieser verallgemeinerte Stetigkeitsbegriff ist von zentraler Bedeutung für die Topologie und verwandte mathematische Teilgebiete (etwa die Funktionalanalysis).

Definitionen der Stetigkeit

Da man topologische Räume auf unterschiedliche (aber äquivalente) Weise definieren kann, existieren auch mehrere gleichwertige Definitionen der Stetigkeit. Im Folgenden finden sich bei jeder Definition mehrere Varianten, die sich durch ihren Grad an Formalisierung unterscheiden, inhaltlich aber dasselbe aussagen.

Funktionen besitzen einen Definitionsbereich und eine Zielmenge, die mit verschiedenen Topologien versehen werden können. Die Wahl dieser Topologien ist kein Bestandteil der 'Identität' der Funktion aber wesentlich für die Frage der Stetigkeit. Es ist daher eigentlich unpräzise, davon zu sprechen, dass eine Funktion stetig oder unstetig sei.

Eine präzise Formulierung von der unten angegebenen Definition mittels Umgebungen würde zum Beispiel lauten:

Seien ${\displaystyle (X,T_{1})}$ und ${\displaystyle (Y,T_{2})}$ topologische Räume. Sei ${\displaystyle f\colon X\to Y}$ eine Funktion und ${\displaystyle \xi \in X}$. Dann heißt ${\displaystyle f}$ stetig in ${\displaystyle \xi }$ bezüglich der Räume ${\displaystyle (X,T_{1})}$ und ${\displaystyle (Y,T_{2})}$, wenn für jede ${\displaystyle (Y,T_{2})}$-Umgebung ${\displaystyle U}$ von ${\displaystyle f(\xi )}$ das Urbild ${\displaystyle f^{-1}(U)}$ eine ${\displaystyle (X,T_{1})}$-Umgebung von ${\displaystyle \xi }$ ist.

In der mathematischen Praxis ist fast immer klar, welche Topologien auf den jeweiligen Räumen verwendet werden sollen. Daher ist die in diesem Artikel verwendete etwas ungenaue Sprechweise üblich. In den seltenen Fällen, wo mehrere Topologien zur Auswahl stehen, wird dies durch entsprechende Erläuterungen deutlich gemacht.

Offene Mengen

1. Eine Funktion zwischen zwei topologischen Räumen ist genau dann stetig, wenn die Urbilder offener Mengen wiederum offene Mengen sind.
2. Sei ${\displaystyle f}$ eine Abbildung von dem topologischen Raum ${\displaystyle X}$ in den topologischen Raum ${\displaystyle Y}$. Dann heißt ${\displaystyle f}$ stetig, wenn das Urbild unter ${\displaystyle f}$ von jeder in ${\displaystyle Y}$ offenen Menge ${\displaystyle O}$ wieder offen in ${\displaystyle X}$ ist.
3. ${\displaystyle f\colon X\rightarrow Y}$ stetig   ${\displaystyle \Leftrightarrow \ \forall O\in {\mathcal {O}}_{Y}:f^{-1}(O)\in {\mathcal {O}}_{X}}$ (wobei ${\displaystyle {\mathcal {O}}_{Y}}$ die Topologie des Raumes ${\displaystyle Y}$, also die Menge der offenen Mengen des topologischen Raumes ist)

Abgeschlossene Mengen

Die Stetigkeit kann durch abgeschlossene Mengen definiert werden, indem man „offene Mengen“ in obiger Definition durch „abgeschlossene Mengen“ ersetzt:

1. Eine Funktion zwischen zwei topologischen Räumen ist genau dann stetig, wenn die Urbilder abgeschlossener Mengen wiederum abgeschlossene Mengen sind.
2. Sei ${\displaystyle f}$ eine Abbildung von dem topologischen Raum ${\displaystyle X}$ in den topologischen Raum ${\displaystyle Y}$. Dann heißt ${\displaystyle f}$ stetig, wenn das Urbild unter ${\displaystyle f}$ von jeder in ${\displaystyle Y}$ abgeschlossenen Menge ${\displaystyle A}$ wieder abgeschlossen in ${\displaystyle X}$ ist.
3. ${\displaystyle f\colon X\rightarrow Y}$ stetig   ${\displaystyle \Leftrightarrow \ \forall O\in {\mathcal {O}}_{Y}:X\setminus f^{-1}(Y\setminus O)\in {\mathcal {O}}_{X}}$

Stetigkeit in einem Punkt x: für jede Umgebung V von f(x) gibt es eine Umgebung U von x mit f(U) ⊆ V

Umgebungen

Sei