Stetige Abbildung

Stetige Abbildung

Die Stetigkeit ist ein Konzept der Mathematik, das vor allem in den Teilgebieten der Analysis und der Topologie von zentraler Bedeutung ist. Eine Funktion heißt stetig, wenn verschwindend kleine Änderungen des Argumentes (der Argumente) nur zu verschwindend kleinen Änderungen des Funktionswertes führen. Das heißt insbesondere, dass in den Funktionswerten keine Sprünge auftreten. Treten Sprünge nur in einer Richtung auf, spricht man von Halbstetigkeit.

Inhaltsverzeichnis

Definitionen

Graphische Veranschaulichung einer unstetigen reellen Funktion

Die Idee der Stetigkeit kann wie folgt beschrieben werden: Eine reellwertige Funktion f: I\to\mathbb{R} auf einem reellen Intervall I\subseteq\mathbb{R} ist stetig, wenn der Graph der Funktion f ohne Absetzen des Stiftes gezeichnet werden kann. Die Funktion darf insbesondere keine Sprungstellen haben. Diese Aussage ist keine Definition, weil unklar ist, wie ohne Absetzen des Stiftes zeichnen in mathematischen Begriffen ausgedrückt werden könnte. Trotzdem entspricht sie ungefähr der Bedeutung der Stetigkeit und ist daher für die Anschauung sehr nützlich.

Augustin Louis Cauchy und Bernard Bolzano gaben Anfang des 19. Jahrhunderts unabhängig voneinander eine Definition von Stetigkeit. Sie nannten eine Funktion stetig, wenn hinreichend kleine Änderungen des Arguments nur beliebig kleine Änderungen des Funktionswerts nach sich zögen. Dies war bereits eine exakte Definition, die aber in ihrer praktischen Anwendung gewisse Fragen offen lässt. Das heutzutage übliche ε-δ-Kriterium wurde von Karl Weierstraß am Ende des 19. Jahrhunderts eingeführt.

Es sagt in Worten etwa: Die Funktion f ist in einem Punkt p stetig, wenn es zu jeder Umgebung V seines Bildpunktes f(p) eine Umgebung U von p gibt, die durch f ganz in die Umgebung V abgebildet wird.

Zur Originaldefinition von Weierstraß:

Stetigkeit reeller Funktionen

Für reelle Funktionen – also Funktionen, deren Definitionsbereich und Zielbereich Teilmengen der reellen Zahlen sind – sind zwei äquivalente Definitionen der Stetigkeit üblich:

  1. Epsilon-Delta-Kriterium[1]: f\colon D \to \R ist stetig in x_0 \in D, wenn
    zu jedem ε > 0 ein δ > 0 existiert, so dass für alle x \in D mit | xx0 | < δ gilt: |f(x) - f(x_0)| &amp;amp;lt; \varepsilon .
  2. Folgenkriterium[2]:  f\colon D\to \R ist stetig in x_0 \in D, wenn für jede Folge (x_k)_{k\in\N} mit Elementen x_k\in D, die gegen x0 konvergiert, auch f(xk) gegen f(x0) konvergiert.

Eine Funktion heißt stetig in D, wenn sie an jeder Stelle ihres Definitionsbereiches stetig ist.

Der Begriff der Stetigkeit einer Funktion lässt sich auch mit Hilfe des Begriffs des Grenzwerts einer Funktion definieren: Eine Funktion f ist stetig in  x_0\in D genau dann, wenn der Grenzwert von f für x\to x_0 existiert und \lim_{x\to x_0}f(x)=f\left(x_0\right) gilt oder wenn x0 ein isolierter Punkt ist.[3]

Beispiele und Gegenbeispiele

  • Die Sinusfunktion \sin\colon \R \to \R,\; x \mapsto \sin x ist in \R stetig.
  • Die Kosinusfunktion \cos \colon \R \to \R,\; x \mapsto \cos x ist in \R stetig.
  •  f \colon \R \to \R,\; x \mapsto e^{\cos x} ist (als Komposition der Exponential- und der Kosinusfunktion) in \R stetig.
  • Die Tangensfunktion \tan\colon D\to\R, x\mapsto\tan x ist stetig in ihrem gesamten Definitionsbereich D. Dieser ergibt sich wegen \tan x = \tfrac{\sin x}{\cos x} zu D=\{ x \in \R \, | \, \cos x \neq 0 \}, also zu D=\R \setminus \{ \pm \tfrac{\pi}{2}, \pm \tfrac{3 \pi}{2}, \pm \tfrac{5 \pi}{2}, \ldots \}.
  • Die Kehrwert-Funktion f\colon D \to \mathbb{R},\ x \mapsto \tfrac{1}{x} ist stetig in ihrem gesamten Definitionsbereich D=\mathbb{R} \setminus \{0\}.
  • Die Signum-Funktion \operatorname{sgn}(x)=\begin{cases}1 &amp;amp;amp; x&amp;amp;gt;0\\ 0 &amp;amp;amp; x=0\\ -1 &amp;amp;amp; x&amp;amp;lt;0\end{cases}
    ist an jeder Stelle x \in \R\setminus \{0\} stetig, aber an der Stelle 0 unstetig: Der linksseitige Grenzwert ist −1, der rechtsseitige Grenzwert +1 und somit existiert der Grenzwert \lim_{x\to 0}\,\operatorname{sgn}(x) nicht. Deshalb ist die Signum-Funktion nicht auf ganz \R stetig.
  • Die Funktion

f: \mathbb{R} \rightarrow \mathbb{R}\ ,\ f(x) := \left\{\begin{array}{ll}\sin(\frac{1}{x}),&amp;amp;amp;x \in \mathbb{R}\setminus\{0\}\\0,&amp;amp;amp;x = 0\end{array}\right.
ist an der Stelle 0 unstetig (sogenannte Oszillationsstelle), in allen anderen Punkten stetig.

f: \mathbb{R} \rightarrow \mathbb{R}\ ,\ f(x) := \left\{\begin{array}{ll}1,&amp;amp;amp;x \in \mathbb{Q}\\0,&amp;amp;amp;x \in \mathbb{R} \setminus \mathbb{Q}\end{array}\right.

ist an jeder Stelle unstetig.

Bemerkung: Keine Unstetigkeitsstellen sind die Argumente \{ \pm \tfrac{\pi}{2}, \pm \tfrac{3 \pi}{2}, \pm \tfrac{5 \pi}{2}, \ldots \} der Tangensfunktion sowie das Argument x = 0 der Kehrwert-Funktion, da die Funktionen an diesen Stellen gar nicht definiert sind und sich Stetigkeit immer nur auf Punkte des Definitionsbereichs beziehen kann.

Eigenschaften

  • Sind f und g stetig auf einem gemeinsamen Definitionsbereich D, so sind auch f + g, fg,  f \cdot g und  \frac{f}{g} stetig; allerdings muss der Definitionsbereich von  \frac{f}{g} für den Fall, dass g eine oder mehrere Nullstellen hat, auf den Bereich D':=\{x\in D: g(x)\ne 0\} eingeschränkt werden.
  • Die Komposition  f \circ g zweier stetiger Funktionen ist ebenfalls stetig.


Linksseitige/rechtsseitige Stetigkeit

Beispiel eines Graphen einer linksseitig stetigen Funktion
Beispiel eines Graphen einer rechtsseitig stetigen Funktion

Eine auf einer Menge D\subseteq\mathbb{R} definierte Funktion f ist in einem Punkt x_0 \in D linksseitig stetig, wenn  \lim_{x \to x_0^-} f(x) = f(x_0) . Die Funktion ist also an der Stelle x0 linksseitig stetig, weil direkt links neben x0 kein Sprung (und auch keine anderweitige Unstetigkeit) liegt.

Ist f stetig in x0, so ist f auch linksseitig stetig in x0. Ist f auf dem ganzen Definitionsbereich linksseitig stetig, so sagt man auch, f ist linksstetig.

Die Definition von rechtsseitig stetig ist völlig analog zur linksseitigen, nur muss hier der rechtsseitige Grenzwert betrachtet werden.

Eine auf einer Teilmenge der reellen Zahlen definierte Funktion ist also genau dann stetig in x0, wenn sie in x0 sowohl linksseitig als auch rechtsseitig stetig ist.

Verallgemeinerung: Stetige Funktionen zwischen metrischen Räumen

Eine Funktion heißt stetig, wenn sich ihr Funktionswert genügend wenig ändert, solange man nur das Funktionsargument genügend wenig ändert. Mit den Begriffen des metrischen Raumes lässt sich diese Beschreibung in verschiedener Weise formalisieren. (X,d_X)\, und (Y,d_Y)\, sind jeweils metrische Räume mit den zugehörigen Metriken, f:X\rightarrow Y\, eine Funktion mit Definitionsbereich D \subseteq X. Folgende Definitionen sind äquivalent:

Epsilon-Delta-Kriterium: f heißt (lokal) stetig in x_0 \in D, wenn zu jedem ε > 0 ein δ > 0 existiert, so dass d_Y(f(x),f(x_0)) &amp;amp;lt; \varepsilon für alle x mit dX(x,x0) < δ gilt.

Darstellung der in (0,0) unstetigen Funktion h(x,y): weiß bedeutet h(x,y) = 0, rot: h(x,y) > 0 und blau: h(x,y) < 0.

Folgenkriterium: f ist stetig in x0 \Leftrightarrow Für jede Folge (xn) aus D, die gegen x0 konvergiert, konvergiert f(xn) gegen f(x0).

Umgebungskriterium: f ist genau dann stetig in x0, wenn es zu jeder Umgebung V von f(x0) eine Umgebung U von x0 gibt, deren Bild in V enthalten ist, also  f(x) \in V für alle  x \in U .

In vielen Themen der Analysis kommen stetige Abbildungen zwischen den metrischen Räumen (\mathbb{R}^n,|\cdot|)_{n=1,2,\ldots} in Betracht. Die Funktion

\begin{align}f:\R^2&amp;amp;amp;\to \R\\ (x,y)&amp;amp;amp;\mapsto x^2+y^2\end{align}

ist zum Beispiel stetig. Hier sind f1(x) = f(x,y0) bei fixiertem y = y0 und f2(x0,y) bei fixiertem x = x0 stetige Funktionen. Dies ist jedoch im Allgemeinen kein ausreichendes Kriterium für die Stetigkeit von f(x,y). Ein Gegenbeispiel könnte man folgendermaßen konstruieren: (r(x,y),φ(x,y)) seien die Polarkoordinaten von (x,y). Dann ist die Funktion

\begin{align}h:\R^2&amp;amp;amp;\to \R \\ (x,y)&amp;amp;amp;\mapsto\begin{cases}\max\left(0,\min\left(\varphi(x,y)-\frac{\pi}{12},\frac{5\pi}{12}-\varphi(x,y)\right)\right)\cdot\sin\left(\frac{1}{r(x,y)}\right), &amp;amp;amp; r(x,y)\neq 0 \\ 0, &amp;amp;amp; r(x,y)=0\end{cases}\end{align}

in (0,0) unstetig, obwohl h1(x) = h(x,y) und h2(y) = h(x,y) für jedes y bzw. x stetige Funktionen einer reellen Variable sind. Weitere relevante Klassen stetiger Funktionen bilden die stetigen Funktionenf:\Bbb C \to \Bbb C. Die komplexe Exponentialfunktion z\mapsto f(z)=\exp(z) ist Beispiel für eine solche Funktion.

Weitere Verallgemeinerung: Stetige Funktionen zwischen topologischen Räumen

Hauptartikel: Stetigkeit (Topologie)

Alle bisherigen Definitionen sind Spezialisierungen der entsprechenden Definition von Stetigkeit in der Topologie. Dort heißt eine Funktion zwischen zwei topologischen Räumen genau dann stetig, wenn die Urbilder offener Mengen wiederum offene Mengen sind. Eine Funktion f: X\to Y heißt folgenstetig, wenn sie das Folgenkriterium erfüllt, wenn also

\lim_{n\to\infty} f\left(x_n\right)=f\left(\lim_{n\to\infty} x_n\right)

für jede konvergente Folge (x_k)_{k\in\N} mit Elementen x_k\in X gilt.

Jede stetige Funktion ist folgenstetig. In Räumen, die das erste Abzählbarkeitsaxiom erfüllen, insbesondere also in metrischen Räumen, gilt auch die Umkehrung, dass jede folgenstetige Funktion stetig ist.[4]

Spezialfälle von Stetigkeit

Spezialfälle der Stetigkeit sind z. B. gleichmäßige Stetigkeit, (lokale) Lipschitz-Stetigkeit sowie absolute 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 Eindeutigkeitssätzen (z. B. Satz von Picard-Lindelöf) für Anfangswertprobleme. Die absolute Stetigkeit findet Verwendung in der Stochastik und der Maßtheorie.

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.

Zusammenhang

Es gelten folgende Zusammenhänge im Fall reeller Funktionen:

f Lipschitz-stetig \Rightarrow f lokal Lipschitz-stetig \Rightarrow f stetig

und

f Lipschitz-stetig \Rightarrow f absolut stetig \Rightarrow f gleichmäßig stetig \Rightarrow f stetig.

Beispiele

Einige Gegenbeispiele sollen demonstrieren, dass die Rückrichtungen in aller Regel nicht gelten:

  • f:[-1,1]\rightarrow\mathbb{R}, x\mapsto \sqrt{|x|} ist stetig, aber nicht lokal Lipschitz-stetig im Nullpunkt.

Wichtige Sätze über stetige Funktionen

Verkettung stetiger Funktionen

Jede Verkettung stetiger Funktionen ist auch wieder stetig.

Stetigkeit der Umkehrfunktion

Sind I ein Intervall in \mathbb{R} und f\colon I\rightarrow\mathbb R eine stetige, streng monoton wachsende oder streng monoton fallende Funktion, dann ist das Bild von f ein Intervall J, f\colon I\to J ist bijektiv, und die Umkehrfunktion f^{-1}\colon J\to I ist stetig. Somit ist f ein Homöomorphismus von I nach J.

Dies gilt wie angegeben nur für Funktionen, die im gesamten Intervall stetig sind. Ist f eine umkehrbare und an der Stelle x0 stetige Funktion, so ist die Umkehrfunktion f − 1 an der Stelle f(x0) im Allgemeinen nicht stetig. Als Gegenbeispiel sei f\colon ]-\infty,0[ \cup [1,+\infty[\rightarrow\mathbb R definiert durch:

\operatorname{f}(x)=\begin{cases} x &amp;amp;amp; x&amp;amp;lt;0\\ x-1 &amp;amp;amp; x\geq1\end{cases}.

Dann ist f bijektiv und an der Stelle 1 stetig, aber f − 1 ist in 0 = f(1) unstetig.

Der Zwischenwertsatz

Der Zwischenwertsatz besagt, dass eine auf dem Intervall [a,b] (mit a < b) stetige Funktion jeden Wert zwischen f(a) und f(b) mindestens einmal annimmt.

Formal:

Ist f:[a,b]\to\mathbb{R} eine stetige Funktion mit a < b und f(a) < f(b), dann existiert für alle d\in[f(a),f(b)] ein x\in[a,b], so dass f(x) = d.
Analog für f(a) > f(b) und d\in[f(b),f(a)].

Eine äquivalente Formulierung ist: Das Bild einer stetigen Funktion auf einem Intervall ist wieder ein Intervall. (Das Bild eines offenen oder halboffenen Intervalles kann aber durchaus ein abgeschlossenes Intervall sein.)

Satz von Bolzano

Als Spezialfall enthält der Zwischenwertsatz folgenden Satz von Bolzano: Nimmt die auf einem abgeschlossenen Intervall stetige Funktion f(x) an zwei Stellen a und b dieses Intervalls Funktionswerte mit unterschiedlichem Vorzeichen an, so gibt es zwischen a und b mindestens eine Stelle c, an der die Funktion f(x) verschwindet (d. h. f(c) = 0 also eine Nullstelle der Funktion).

Satz vom Minimum und Maximum

Eine reellwertige Funktion, die auf einer abgeschlossenen und beschränkten Teilmenge von \mathbb R^n stetig ist, ist beschränkt und nimmt ihre obere und ihre untere Grenze an. Für reelle Funktionen lässt sich das wie folgt umformulieren: Ist f\colon[a,b]\to\mathbb{R} stetig, so gibt es Stellen t,h\in[a,b], so dass

f(t)\leq f(x)\leq f(h) für alle x\in[a,b]

gilt.

Dieser von Weierstraß bewiesene Satz, bisweilen auch Extremwertsatz genannt, liefert nur die Existenz dieser Extremwerte. Für das praktische Auffinden dieser Punkte sind Aussagen aus der Differentialrechnung nützlich.

Diese Aussage gilt auch für stetige reellwertige Funktionen auf beschränkten und abgeschlossenen Teilmengen des \R^n oder auf kompakten topologischen Räumen.

Differenzierbarkeit stetiger Funktionen

Stetige Funktionen sind nicht notwendig differenzierbar. Noch Anfang des 19. Jahrhunderts war man überzeugt, dass eine stetige Funktion höchstens an wenigen Stellen nicht differenzierbar sein könne (wie die Betragsfunktion). Bernhard Bolzano konstruierte dann als erster Mathematiker tatsächlich eine Funktion, die überall stetig, aber nirgends differenzierbar ist, was in der Fachwelt allerdings nicht bekannt wurde; Karl Weierstraß fand dann in den 1860er Jahren ebenfalls eine derartige als Weierstraß-Funktion bekannte Funktion, was diesmal unter Mathematikern Wellen schlug. Seine Funktion ist folgendermaßen definiert:

f(x) = \sum_{n=0}^{\infty}b^n \cos(a^n\pi x),

wobei a eine ungerade Zahl ist und b \in{]}0,1[ ist mit ab&amp;amp;gt;2+\frac{3\pi}{2}.

Funktionenräume stetiger Funktionen

Der Raum der stetigen reellwertigen Funktionen auf einem topologischen Raum D ist ein reeller Vektorraum, er wird mit C(D) bezeichnet. In diesem Raum sind insbesondere alle differenzierbaren Funktionen enthalten, falls D eine offene Teilmenge des \mathbb R^n oder einer differenzierbaren Mannigfaltigkeit ist. Funktionen, deren Ableitungen ebenfalls stetig sind, nennt man stetig differenzierbar. Diese Funktionen bilden ebenfalls einen linearen Raum, der C1(D) genannt wird. Entsprechend definiert man Cn(D) als den Raum der Funktionen, die n-mal differenzierbar sind, wobei die n-te Ableitung stetig ist, die also n-mal stetig differenzierbar sind. Des Weiteren bezeichnet C^\infty(D) den Raum der beliebig oft differenzierbaren Funktionen.

Einzelnachweise

  1. Harro Heuser, Lehrbuch der Analysis. Teil 1. 8. Auflage, B. G. Teubner, Stuttgart 1990. ISBN 3-519-12231-6. Definition 34.6
  2. Harro Heuser, Lehrbuch der Analysis. Teil 1. 8. Auflage, B. G. Teubner, Stuttgart 1990. ISBN 3-519-12231-6. S. 212
  3. Harro Heuser, Lehrbuch der Analysis. Teil 1. 8. Auflage, B. G. Teubner, Stuttgart 1990. ISBN 3-519-12231-6. Satz 38.2
  4. J. Cigler, H.-C. Reichel: Topologie. Eine Grundvorlesung. Bibliographisches Institut, Mannheim 1978, ISBN 3-411-00121-6, S. 43, Aufgabe 61.

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Stetige Teilung — Der Goldene Schnitt (lat. sectio aurea) ist ein bestimmtes Verhältnis zweier Zahlen oder Größen: Zwei Strecken stehen im Verhältnis des Goldenen Schnittes, wenn sich die größere zur kleineren Strecke verhält wie die Summe aus beiden zur größeren …   Deutsch Wikipedia

  • Stetige Regler — Blockschaltbild eines einfachen Standardregelkreises, bestehend aus der …   Deutsch Wikipedia

  • Stetige lineare Abbildung — Der Begriff Linearer Operator wurde in der Funktionalanalysis (einem Teilgebiet der Mathematik) eingeführt und ist synonym zum Begriff der linearen Abbildung. Eine lineare Abbildung ist eine strukturerhaltende Abbildung zwischen Vektorräumen über …   Deutsch Wikipedia

  • Stetige Zufallsvariable — Eine Zufallsvariable oder Zufallsgröße (selten stochastische Variable oder stochastische Größe) ist ein Begriff aus dem mathematischen Teilgebiet Stochastik. Man bezeichnet damit eine Funktion[1], die den Ergebnissen eines Zufallsexperiments… …   Deutsch Wikipedia

  • Eigentliche Abbildung — Eine eigentliche Abbildung ist eine stetige Abbildung, die in der mengentheoretischen Topologie, einem Teilgebiet der Mathematik, untersucht wird. Inhaltsverzeichnis 1 Definitionen 2 Beispiele 3 Eigenschaften …   Deutsch Wikipedia

  • Gauß-Abbildung — Die Gauß Abbildung verschiebt die Einheitsnormalen eines Flächenstücks an den festen Ursprung des umgebenden Raums. In der Differentialgeometrie bildet die Gauß Abbildung (benannt nach Carl F. Gauß) eine Fläche im euklidischen Raum auf die Einhei …   Deutsch Wikipedia

  • Satz über die offene Abbildung — Der Satz von der offenen Abbildung, auch als Satz von Banach Schauder bekannt, ist ein grundlegender Satz aus der Funktionalanalysis, einem Teilgebiet der Mathematik. Der Satz ist eine Folgerung aus dem Satz von Baire und wurde 1929 von Stefan… …   Deutsch Wikipedia

  • Stark stetige Halbgruppe — Eine stark stetige Halbgruppe (genauer stark stetige Operatorhalbgruppe, gelegentlich auch als C0 Halbgruppe bezeichnet) ist ein Objekt aus dem mathematischen Teilgebiet der Funktionalanalysis. Spezialfälle der stark stetigen Halbgruppe sind die… …   Deutsch Wikipedia

  • Identische Abbildung — Eine identische Abbildung oder Identität ist in der Mathematik eine Funktion, die genau ihr Argument zurückgibt. Obwohl die identische Abbildung oft durch „Identität“ abgekürzt wird, darf sie nicht mit der Identität (Mathematik) verwechselt… …   Deutsch Wikipedia

  • Injektive Abbildung — Eine injektive Funktion; X ist die Definitionsmenge und Y die Zielmenge. Injektivität (injektiv, linkseindeutig) ist eine Eigenschaft einer mathematischen Funktion. Sie bedeutet, dass jedes Element der Zielmenge höchstens einmal als Funktionswert …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”