Reelle Funktionen/Differenzierbarkeit/Lineare Approximierbarkeit/Textabschnitt

Wir besprechen eine zur Differenzierbarkeit äquivalente Eigenschaft, die lineare Approximierbarkeit. Diese Formulierung ist in mehrfacher Hinsicht wichtig: Sie erlaubt vergleichsweise einfache Beweise für Rechenregeln für differenzierbare Funktionen, mit ihr kann man die Differenzierbarkeit durch die Stetigkeit einer Abweichungsfunktion auszudrücken, sie liefert ein Modell für Approximierbarkeit durch Polynome von höherem Grad (quadratische Approximation, Taylor-Entwicklung) und sie erlaubt eine Verallgemeinerung auf die höherdimensionale Situation.

Satz

Es sei ${}D\subseteq \mathbb {R}$ eine Teilmenge, ${}a\in D$ ein Punkt und

f\colon D\longrightarrow \mathbb {R}

eine Funktion.

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

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

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

${}f(x)=f(a)+s\cdot (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 Funktion