Bemerkung. Wir formulieren die Definition der Ableitung so um, daß man nicht mehr den Grenzwert eines Quotienten untersucht. Dies bringt folgende Vorteile:
Die Sätze und Beweise mit der äquivalenten Definition gelten sinngemäß auch für Funktionen von Vektoren.
Bemerkung. Es sei differenzierbar im Punkte .
Wir bezeichnen den verschobenen Differenzenquotienten und seinen Grenzwert bei für mit
Es seien ein offenes Intervall, . und . Die folgenden Aussagen sind äquivalent:
Beweis . Vergleiche die Vorbemerkung.
Nach Voraussetzung existiert
Seien offene Intervalle und
Bemerkung. Die Ableitung der Komposition ist das Produkt der Ableitungen der äußeren Funktion mit der Ableitung der inneren Funktion :
Bemerkung. Die Kettenregel gilt auch für Abbildungen zwischen Vektorräumen. Deren Ableitungen sind Matrizen und das Matrizenprodukt ist nicht kommutativ.
Man präge sich deshalb die Kettenregel in dieser Reihenfolge ein:
Beweis . Nach Lemma gibt es eine stetige Funktion
, | |
, | |
. |
Setzt man so folgt
. |
Bemerkung. Wenn ein offenes Intervall und stetig und streng monoton ist, dann ist ein offenes Intervall (vgl. ).
Wenn und die Umkehrfunktion differenzierbar sind, so folgt aus derKettenregel und somit
Es seien ein offenes Intervall, stetig, streng monoton, und die Umkehrfunktion zu . Es sei im Punkt differenzierbar.
Die Umkehrfunktion ist genau dann an der Stelle differenzierbar, wenn . In diesem Fall gilt
Beweis (Ableitung der Umkehrfunktion).
Man vergleiche die Vorbemerkung.
Nach Lemma gibt es eine stetige Funktion mit:
, | |
, | |
Man definiere eine stetige Funktion durch:
für , | |
mit . |