Differenzierbarkeit/K/Lineare Approximierbarkeit/Textabschnitt

Satz

Es sei ${}D\subseteq {\mathbb {K} }$ offen, ${}a\in D$ ein Punkt und

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

eine Funktion.

Dann ist ${}f$ in ${}a$ genau dann differenzierbar, wenn es ein ${}s\in {\mathbb {K} }$ und eine Funktion

$r\colon D\longrightarrow {\mathbb {K} }$

gibt mit ${}r$ stetig in ${}a$ und ${}r(a)=0$ und mit

${}f(x)=f(a)+s(x-a)+r(x)(x-a)\,.$

Beweis

Wenn ${}f$ differenzierbar ist, so setzen wir

${}s:=f'(a)\,.$

Für die Funktion ${}r$ muss notwendigerweise

${}r(x)={\begin{cases}{\frac {f(x)-f(a)}{x-a}}-s{\text{ für }}x\neq a\,,\\0{\text{ für }}x=a\,,\end{cases}}\,$

gelten, um die Bedingungen zu erfüllen. Aufgrund der Differenzierbarkeit existiert der Limes

$\operatorname {lim} _{x\rightarrow a,\,x\in D\setminus \{a\}}r(x)=\operatorname {lim} _{x\rightarrow a,\,x\in D\setminus \{a\}}{\left({\frac {f(x)-f(a)}{x-a}}-s\right)}\,,$

und hat den Wert ${}0$. Dies bedeutet, dass ${}r$ in ${}a$ stetig ist.
Wenn umgekehrt ${}s$ und ${}r$ mit den angegebenen Eigenschaften existieren, so gilt für ${}x\neq a$ die Beziehung

${}{\frac {f(x)-f(a)}{x-a}}=s+r(x)\,.$

Da ${}r$ stetig in ${}a$ ist, muss auch der Limes links für ${}x\rightarrow a$ existieren.

$\Box$

Die in diesem Satz formulierte Eigenschaft, die zur Differenzierbarkeit äquivalent ist, nennt man auch die lineare Approximierbarkeit. Die affin-lineare Abbildung

$D\longrightarrow {\mathbb {K} },\,x\longmapsto f(a)+f'(a)(x-a),$

heißt dabei die affin-lineare Approximation. Ihr Graph heißt die Tangente an ${}f$ im Punkt ${}a$. Die durch ${}f(a)$ gegebene konstante Funktion kann man als konstante Approximation ansehen. Das Konzept der linearen Approximierbarkeit erlaubt es, die Differenzierbarkeit auf die Stetigkeit (einer anderen Funktion) zurückzuführen und dadurch verschiedene Rechenregeln einfach beweisen zu können.

Korollar

Es sei ${}D\subseteq {\mathbb {K} }$ offen, ${}a\in D$ ein Punkt und

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

eine Funktion, die im Punkt ${}a$ differenzierbar sei.

Dann ist ${}f$ stetig in ${}a$.

Beweis

Dies folgt direkt aus Fakt.

$\Box$