Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil II/Vorlesung 51/kontrolle

Stetige Funktionen

Den Abstand zwischen zwei reellen Zahlen ${}x$ und ${}x'$ bezeichnen wir mit

${}d(x,x'):=\vert {x-x'}\vert \,.$

Bei einer Funktion

$f\colon \mathbb {R} \longrightarrow \mathbb {R}$

kann man sich fragen, inwiefern der Abstand in der Wertemenge durch den Abstand in der Definitionsmenge kontrollierbar ist. Sei ${}x\in \mathbb {R}$ und ${}y=f(x)$ der Bildpunkt. Man möchte, dass für Punkte ${}x'$, die „nahe“ an ${}x$ sind, auch die Bildpunkte ${}f(x')$ „nahe“ an ${}f(x)$ sind. Schon lineare Funktionen mit unterschiedlicher Steigung zeigen, dass die „Nähe“ im Bildbereich nicht mit der „Nähe“ im Definitionsbereich direkt verglichen werden kann. Die Zielsetzung ist vielmehr, dass zu einer gewünschten Genauigkeit im Bildbereich überhaupt eine Ausgangsgenauigkeit gefunden werden kann, die sichert, dass die Funktionswerte innerhalb der gewünschten Genauigkeit beieinander liegen.

Um diese intuitive Vorstellung zu präzisieren, sei ein ${}\epsilon >0$ vorgegeben. Dieses ${}\epsilon$ repräsentiert eine „gewünschte Zielgenauigkeit“. Die Frage ist dann, ob man ein ${}\delta >0$ finden kann (eine „Startgenauigkeit“) mit der Eigenschaft, dass für alle ${}x'$ mit ${}d{\left(x,x'\right)}\leq \delta$ die Beziehung ${}d{\left(f(x),f(x')\right)}\leq \epsilon$ gilt. Dies führt zum Begriff der stetigen Funktion.

Definition Referenznummer erstellen

Es sei ${}D\subseteq \mathbb {R}$ eine Teilmenge,

$f\colon D\longrightarrow \mathbb {R}$

eine Funktion und ${}x\in D$. Man sagt, dass ${}f$ stetig im Punkt ${}x$ ist, wenn es zu jedem ${}\epsilon >0$ ein ${}\delta >0$ derart gibt, dass für alle ${}x'\in D$ mit ${}\vert {x-x'}\vert \leq \delta$ die Abschätzung ${}\vert {f(x)-f(x')}\vert \leq \epsilon$ gilt. Man sagt, dass ${}f$ stetig ist, wenn sie in jedem Punkt ${}x\in D$ stetig ist.

Bei ${}D$ sollte man an den Definitionsbereich der Funktion denken. Typische Situationen sind, dass ${}D$ ganz ${}\mathbb {R}$ ist, oder ein reelles Intervall, oder ${}\mathbb {R}$ ohne endlich viele Punkte und Ähnliches. Statt mit den nichtnegativen reellen Zahlen ${}\epsilon$ und ${}\delta$ kann man genauso gut mit Stammbrüchen ${}{\frac {1}{n}}$ und ${}{\frac {1}{m}}$ oder mit inversen Zehnerpotenzen ${}{\frac {1}{10^{n}}}$ und ${}{\frac {1}{10^{m}}}$ arbeiten.

Beispiel Referenznummer erstellen

Eine konstante Funktion

$\mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto c,$

ist stetig. Zu jedem vorgegebenen ${}\epsilon$ kann man hier ein beliebiges ${}\delta$ wählen, da ja ohnehin

${}d(f(x),f(x'))=d(c,c)=0\leq \epsilon \,$

gilt.

Beispiel Beispiel 51.3 ändern

Eine lineare Funktion

$\mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto cx,$

mit einem Proportionalitätsfaktor ${}c\neq 0$ (bei ${}c=0$ ist die Funktion konstant und somit auch stetig) ist ebenfalls stetig. Zu jedem vorgegebenen ${}\epsilon$ kann man unabhängig vom Punkt ${}x$ hier ${}\delta ={\frac {\epsilon }{\vert {c}\vert }}$ wählen: Wenn nämlich

${}d(x,x')\leq \delta ={\frac {\epsilon }{\vert {c}\vert }}\,$

gilt, so ist

${}d(f(x),f(x'))=d(cx,cx')=\vert {c}\vert d(x,x')\leq \vert {c}\vert \cdot \delta =\vert {c}\vert \cdot {\frac {\epsilon }{\vert {c}\vert }}=\epsilon \,.$

Beispiel Referenznummer erstellen

Wir zeigen, dass das Quadrieren

$\mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto x^{2},$

an der Stelle ${}7$ stetig ist. Es sei ein ${}\epsilon >0$ vorgegeben, das wir als ${}\epsilon \leq 1$ annehmen dürfen. Wir müssen ein ${}\delta >0$ finden, das die Eigenschaft besitzt: Wenn

${}\vert {x-7}\vert \leq \delta \,,$

dann ist auch

${}\vert {x^{2}-7^{2}}\vert \leq \epsilon \,,$

also wenn ${}x$ und ${}7$ ${}\delta$-nahe beieinander sind, so sind die beiden Funktionswerte ${}\epsilon$-nahe beieinander. Wenn man zu ${}7$ eine Zahl ${}\delta$ hinzuaddiert, so ist der Funktionswert gleich

${}(7+\delta )^{2}=7^{2}+14\delta +\delta ^{2}\,,$

und die Differenz zu ${}7^{2}$ ist somit ${}14\delta +\delta ^{2}$. Insbesondere muss diese Differenz kleinergleich dem vorgegebenen ${}\epsilon$ werden. Dies wird erreicht, wenn die beiden Summanden ${}14\delta$ und ${}\delta ^{2}$ beide kleinergleich ${}\epsilon /2$ sind. Dies legt die Wahl

${}\delta :={\frac {\epsilon }{28}}\,$

nahe. Es gelten dann in der Tat für

${}\vert {x-7}\vert \leq \delta \,$

die Abschätzungen

${}{\begin{aligned}\vert {x^{2}-7^{2}}\vert &=\vert {x-7}\vert \cdot \vert {x+7}\vert \\&\leq \delta {\left(14+\delta \right)}\\&=14\delta +\delta ^{2}\\&\leq {\frac {\epsilon }{2}}+{\frac {\epsilon }{2}}\\&=\epsilon .\end{aligned}}$

Das vorhergehende Beispiel zeigt schon, dass im Allgemeinen das Auffinden eines geeigneten ${}\delta$ zu einem vorgegebenen ${}\epsilon$ recht mühsam sein kann. Wir werden aber gleich wichtige Sätze kennenlernen, mit denen man die Stetigkeit einer Vielzahl an wichtigen Funktionen sofort erhält.

Beispiel Referenznummer erstellen

Wir betrachten die Funktion

$f\colon \mathbb {R} \longrightarrow \mathbb {R}$

mit

${}f(x)={\begin{cases}0,{\text{ falls }}x<0\,,\\1,{\text{ falls }}x\geq 0\,.\end{cases}}\,$

Diese Funktion ist im Nullpunkt ${}0$ nicht stetig. Für ${}\epsilon ={\frac {1}{2}}$ und jedes beliebige positive ${}\delta$ gibt es nämlich negative Zahlen ${}x'$ mit ${}d(0,x')=\vert {x'}\vert \leq \delta$. Für diese ist aber ${}d(f(0),f(x'))=d(1,0)=1\not \leq {\frac {1}{2}}$.

Nicht jede stetige Funktion kann man zeichnen, auch nicht nach beliebiger Vergrößerung. Gezeigt wird eine Approximation einer Weierstraß-Funktion, die stetig, aber nirgendwo differenzierbar ist. Bei einer stetigen Funktion kann man zwar die Größe der Schwankungen im Bildbereich durch Einschränkungen im Definitionsbereich kontrollieren, die Anzahl der Schwankungen (die Anzahl der Richtungswechsel des Graphen) kann man aber nicht kontrollieren.

Die folgende Aussage bringt die Stetigkeit mit konvergenten Folgen in Verbindung.

Lemma Lemma 51.6 ändern

Es sei ${}D\subseteq \mathbb {R}$ eine Teilmenge,

$f\colon D\longrightarrow \mathbb {R}$

eine Funktion und ${}x\in D$. Dann sind folgende Aussagen äquivalent.

1. ${}f$ ist stetig im Punkt ${}x$.
2. Für jede konvergente Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}D$ mit ${}\lim _{n\rightarrow \infty }x_{n}=x$ ist auch die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ konvergent mit dem Grenzwert ${}f(x)$.

Beweis

Es sei (1) erfüllt und sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in ${}D$, die gegen ${}x$ konvergiert. Wir müssen zeigen, dass

${}\lim _{n\rightarrow \infty }f(x_{n})=f(x)\,$

ist. Dazu sei ${}\epsilon >0$ vorgegeben. Wegen (1) gibt es ein ${}\delta >0$ mit der angegebenen Abschätzungseigenschaft und wegen der Konvergenz von ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ gegen ${}x$ gibt es eine natürliche Zahl ${}n_{0}$ derart, dass für alle ${}n\geq n_{0}$ die Abschätzung

${}d(x_{n},x)\leq \delta \,$

gilt. Nach der Wahl von ${}\delta$ ist dann

$d(f(x_{n}),f(x))\leq \epsilon {\text{ für alle }}n\geq n_{0},$

sodass die Bildfolge gegen ${}f(x)$ konvergiert.
Es sei (2) erfüllt.  Wir nehmen an, dass ${}f$ nicht stetig ist. Dann gibt es ein ${}\epsilon >0$ derart, dass es für alle ${}\delta >0$ Elemente ${}z\in D$ gibt, deren Abstand zu ${}x$ maximal gleich ${}\delta$ ist, deren Wert ${}f(z)$ unter der Abbildung aber zu ${}f(x)$ einen Abstand besitzt, der größer als ${}\epsilon$ ist. Dies gilt dann insbesondere für die Stammbrüche ${}\delta =1/n$, ${}n\in \mathbb {N} _{+}$. D.h. für jede natürliche Zahl ${}n\in \mathbb {N} _{+}$ gibt es ein ${}x_{n}\in D$ mit

$d(x_{n},x)\leq {\frac {1}{n}}{\text{ und mit }}d(f(x_{n}),f(x))>\epsilon .$

Diese so konstruierte Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ konvergiert gegen ${}x$, aber die Bildfolge konvergiert nicht gegen ${}f(x)$, da der Abstand der Bildfolgenglieder zu ${}f(x)$ zumindest ${}\epsilon$ ist. Dies ist ein Widerspruch zu (2).

$\Box$

Lemma Lemma 51.7 ändern

Es sei

$f\colon \mathbb {R} \longrightarrow \mathbb {R}$

eine stetige Funktion. Dann gelten folgende Aussagen.

1. Die Funktion ${}f$ ist durch ihre Werte auf ${}\mathbb {Q}$ eindeutig festgelegt.
2. Der Funktionswert ${}f(a)$ ist durch die Funktionswerte ${}f(x)$, ${}x\neq a$, festgelegt.
3. Wenn für alle ${}x<a$ die Abschätzung

   ${}f(x)\leq c\,$

   gilt, so gilt auch

   ${}f(a)\leq c\,.$

Beweis

1. Nach Korollar 28.10 gibt es für jede reelle Zahl ${}x$ eine Folge ${}x_{n}$ von rationalen Zahlen (sogar von Dezimalbrüchen), die gegen ${}x$ konvergiert. Wegen der Stetigkeit und Lemma 51.6 ist dann

   ${}f(x)=\lim _{n\rightarrow \infty }f(x_{n})\,.$

2. Für jedes ${}n\in \mathbb {N} _{+}$ ist

   ${}x_{n}=a-{\frac {1}{n}}<a\,.$

   Da die Folge der Stammbrüche eine Nullfolge ist, konvergiert diese Folge gegen ${}a$. Wegen der Stetigkeit und Lemma 51.6 ist wieder

   ${}f(x)=\lim _{n\rightarrow \infty }f(x_{n})\,.$

3. Dies folgt aus Teil (2) und Lemma 44.15.

$\Box$

Die letzte Aussage gilt nicht, wenn man ${}\leq$ durch ${}<$ ersetzt.

Rechenregeln für stetige Funktionen

Lemma Referenznummer erstellen

Es seien ${}D\subseteq \mathbb {R}$ und ${}E\subseteq \mathbb {R}$ Teilmengen und

$f\colon D\longrightarrow \mathbb {R}$

und

$g\colon E\longrightarrow \mathbb {R}$

Funktionen mit ${}f(D)\subseteq E$. Dann gelten folgende Aussagen.

1. Wenn ${}f$ in ${}x\in D$ und ${}g$ in ${}f(x)$ stetig sind, so ist auch die Hintereinanderschaltung ${}g\circ f$ in ${}x$ stetig.
2. Wenn ${}f$ und ${}g$ stetig sind, so ist auch ${}g\circ f$ stetig.

Beweis

Die Aussage (1) ergibt sich direkt aus der Folgencharakterisierung der Stetigkeit. Daraus folgt auch (2).

$\Box$

Satz Satz 51.9 ändern

Es sei ${}D\subseteq \mathbb {R}$ und seien

$f,g\colon D\longrightarrow \mathbb {R}$

stetige Funktionen.

Dann sind auch die Funktionen

$f+g\colon D\longrightarrow \mathbb {R} ,\,x\longmapsto f(x)+g(x),$

$f-g\colon D\longrightarrow \mathbb {R} ,\,x\longmapsto f(x)-g(x),$

$f\cdot g\colon D\longrightarrow \mathbb {R} ,\,x\longmapsto f(x)\cdot g(x),$

stetig. Für eine Teilmenge ${}U\subseteq D$, auf der ${}g$ keine Nullstelle besitzt, ist auch die Funktion

$f/g\colon U\longrightarrow \mathbb {R} ,\,x\longmapsto f(x)/g(x),$

stetig.

Beweis

Dies ergibt sich aus der Folgencharakterisierung der Stetigkeit und Lemma 44.12.

$\Box$

Korollar Korollar 51.10 ändern

Polynomfunktionen

$P\colon \mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto P(x),$

sind stetig.

Beweis

Aufgrund von Beispiel 51.3 und Satz 51.9 sind für jedes ${}n\in \mathbb {N}$ die Potenzen

$\mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto x^{n},$

stetig. Daher sind auch für jedes ${}a\in \mathbb {R}$ die Funktionen

$\mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto ax^{n},$

stetig und wiederum aufgrund von Satz 51.9 sind auch alle Funktionen

$\mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0},$

stetig.

$\Box$

Eine rationale Funktion ist auf ihrer Definitionsmenge stetig.

Korollar Referenznummer erstellen

Es seien ${}P,Q\in \mathbb {R} [X]$ Polynome und es sei ${}U:={\left\{x\in \mathbb {R} \mid Q(x)\neq 0\right\}}$.

Dann ist die rationale Funktion

$U\longrightarrow \mathbb {R} ,\,x\longmapsto {\frac {P(x)}{Q(x)}},$

stetig.

Beweis

Dies folgt aus Korollar 51.10 und Satz 51.9.

$\Box$