Umkehrregel
Die Umkehrregel ist eine Formel, die einen Zusammenhang zwischen der Ableitung einer Funktion und der Ableitung ihrer Umkehrfunktion herstellt. Genauer besagt sie: Ist eine stetige und streng monotone Funktion <math>f \colon I \to \mathbb R</math> auf einem Intervall <math>I</math> an der Stelle <math>x_0</math> differenzierbar und ist <math>f'(x_0)\neq 0</math>, dann gilt mit <math>y_0=f(x_0)</math>:
- <math>(f^{-1})'(y_0) = \frac{1}{f'(f^{-1}(y_0))} = \frac{1}{f'(x_0)}</math>.
Die Umkehrregel ist eine Teilaussage des Satzes von der Umkehrfunktion, der in verschiedenen Ausführungen existiert und jeweils die Differenzierbarkeit der Umkehrfunktion zeigt. Er lässt sich unter anderem für komplexe Funktionen und mehrdimensionale Funktionen formulieren.
Beispiele
Ableitung des Logarithmus
Die Exponentialfunktion <math>f(x) = \mathrm{e}^x</math> ist stetig und streng monoton steigend. Für die Ableitung gilt <math>f'(x) = \mathrm{e}^x \ne 0</math>. Die Umkehrfunktion von <math>f</math> ist der natürliche Logarithmus: <math>f^{-1}(y) = \ln(y)</math>. Nach der Umkehrregel ergibt sich
- <math>\ln'(y) = (f^{-1})'(y) = \frac{1}{f'(f^{-1}(y))} = \frac{1}{\mathrm{e}^{\ln(y)}} = \frac{1}{y}.</math><ref name=":3">{{#invoke:Vorlage:Literatur|f}}</ref>
Ableitung der n-ten Wurzel
Die Potenzfunktion <math>f(x) = x^n</math> ist für <math>n \in \N</math> und <math>x\geq0</math> stetig und streng monoton steigend. Für die Ableitung gilt <math>f'(x) = n x^{n-1} \ne 0</math>. Die Umkehrfunktion von <math>f</math> ist gegeben durch <math>f^{-1}(y) = \sqrt[n]{y}</math>. Aus der Umkehrregel erhält man
- <math>(\sqrt[n]{y})' = (f^{-1})'(y) = \frac{1}{f'(f^{-1}(y))} = \frac{1}{n (\sqrt[n]{y})^{n-1}} = \frac{1}{n} (\sqrt[n]{y})^{1-n} = \frac{1}{n} y^{\frac{1-n}{n}} = \frac{1}{n} y^{\frac{1}{n}-1}.</math><ref name=":2" /><ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Ableitung des Arkussinus
Die Sinusfunktion <math>f(x) = \sin(x)</math> ist auf dem offenen Intervall <math>(-\pi/2, \pi/2)</math> stetig und streng monoton steigend; außerdem gilt in diesem Intervall <math>f'(x) = \cos(x) \ne 0</math>. Die Umkehrfunktion von <math>f</math> ist die Arkussinusfunktion: <math>f^{-1}(y) = \arcsin(y)</math>. Für <math>-1 < y < 1</math> folgt somit aus der Umkehrregel
- <math>\arcsin'(y) = (f^{-1})'(y) = \frac{1}{f'(f^{-1}(y))} = \frac{1}{\cos(\arcsin(y))} = \frac{1}{\sqrt{1-y^2}}.</math><ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>
(Die letzte Umformung beruht auf dem trigonometrischen Pythagoras.)
Auf analoge Weise leitet man die Ableitungen von Arkuskosinus und Arkustangens aus den Ableitungen von Kosinus bzw. Tangens her.
Herleitungen
Durch Achsenspiegelung
Diese Herleitung basiert auf der Eigenschaft, dass der Graph der Umkehrfunktion <math>f^{-1}</math> aus dem Graphen von <math>f</math> durch Spiegelung an der Winkelhalbierenden des 1. und 3. Quadranten hervorgeht. Es wird ein Punkt <math>(x_0, y_0)</math> auf dem Graphen von <math>f</math> mit einem zugehörigen Steigungsdreieck betrachtet. Bezeichnet man dessen Katheten mit <math>a</math> und <math>b</math>, so ist <math>f'(x_0)=b/a</math>. Durch Spiegelung dieser Konfiguration an der Winkelhalbierenden erhält man den Punkt <math>(y_0,x_0)</math> auf dem Graphen von <math>f^{-1}</math> mit einem zugehörigen Steigungsdreieck. Aus dem <math>x</math>-Zuwachs wird der <math>y</math>-Zuwachs und umgekehrt, d. h. <math>f'(y_0)=b/a</math>. Die Steigung des Graphen von <math>f^{-1}</math> im Punkt <math>(y_0,x_0)</math> ist also gleich dem Kehrwert der Steigung des Graphen von <math>f</math> im Punkt <math>(x_0,y_0)</math>, d. h.
- <math>(f^{-1})'(y_0)=\frac{1}{f'(x_0)}</math>.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Durch Vertauschen der Koordinatenachsen
Zur geometrischen Herleitung der Umkehrregel ist eine Spiegelung des Graphen gar nicht nötig, da die Bildung der Umkehrfunktion einfach einer Vertauschung der Variablen <math>x</math> und <math>y</math> und damit der Koordinatenachsen entspricht. Der Graph von <math>f</math> ist somit zugleich der Graph von <math>f^{-1}</math>, je nachdem ob man <math>x</math> oder <math>y</math> als unabhängige Variable auffasst. Für die Tangente an einer Kurve hat es jedoch keine Bedeutung, ob <math>x</math> oder <math>y</math> die unabhängige Variable ist. Es muss also die Bildung der Ableitung der Umkehrfunktion auf die gleiche Gerade als Tangente führen. Wird <math>x</math> als unabhängige Variable gesehen, so hat diese Geraden die Steigung <math>a/b</math>, und ist gleich <math>f'(x_0)</math>; wird <math>y</math> als unabhängige Variable gesehen, so hat sie die Steigung <math>b/a</math>, welche zugleich <math>(f^{-1})'(y_0)</math> ist. Also ist
- <math>(f^{-1})'(y_0)=\frac{1}{f'(x_0)}</math>.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Mithilfe von Differentialen
Die Umkehrregel lässt sich durch das formale Rechnen mit Differentialen herleiten: Ist <math>y=f(x)</math> eine Funktion mit Ableitung <math>y'(x)=\tfrac{dy}{dx}</math> (Leibniz-Notation) und <math>x = f^{-1}(y)</math> ihre Umkehrabbildung mit der Ableitung <math>x'(y)=\tfrac{dx}{dy}</math>, so erhält man die Umkehrregel durch „Kehrwertbildung“:
- <math>y'(x)=\frac{dx}{dy}=\frac{1}{\frac{dy}{dx}}= \frac{1}{x'(y)}</math>.<ref name=":2">{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Mithilfe der Kettenregel
Aus der Identität <math>(f\circ f^{-1})(y)=y</math> folgt durch Ableiten auf beiden Seiten
- <math>f'(f^{-1}(y))\cdot (f^{-1})'(y)=1</math>.
Mittels Division durch <math>f'(f^{-1}(y)) \neq 0</math> erhält man hieraus die Umkehrregel.
Damit man die linke Seite der Identität mit der Kettenregel ableiten darf, muss <math>f</math> differenzierbar an der Stelle <math>x= f^{-1}(y)</math> mit <math>f'(x)\neq 0</math> sein und <math>f^{-1}</math> differenzierbar an der Stelle <math>y = f(x)</math> sein.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref name=":5">{{#invoke:Vorlage:Literatur|f}}</ref><ref name=":1">{{#invoke:Vorlage:Literatur|f}}</ref>
Satz von der Umkehrfunktion
Beim Satz von der Umkehrfunktion werden Bedingungen für die Funktion <math>f</math> formuliert, welche die Existenz der Ableitung der Umkehrfunktion sicherstellen. Statt im folgenden Satz strenge Monotonie vorauszusetzen, ist es auf Intervallen äquivalent, die Injektivität von <math>f</math> zu verlangen.<ref name=":5" /> Ohne Beschränkung der Allgemeinheit kann für den Zielbereich das Intervall <math>J=f(I)</math> genutzt werden, wodurch die Bijektivität von <math>f</math> und damit die Existenz der Umkehrfunktion gesichert ist. Wird zudem die Differenzierbarkeit statt an nur einer Stelle, auf dem gesamten Intervall gefordert (eine stärkere Bedingung), so kann auf die Annahme der Stetigkeit verzichtet werden.
Satz von der Umkehrfunktion auf einem Intervall
Sei <math>I\subseteq\R</math> ein nicht-triviales Intervall, <math>f\colon I\to\R</math> eine stetige, streng monotone Funktion und <math>f^{-1}</math> ihre Umkehrfunktion. Ist <math>f</math> in <math>x_0\in I</math> differenzierbar und <math>f'(x_0) \ne 0</math>, dann ist <math>f^{-1}</math> an der Stelle <math>y_0=f(x_0)</math> differenzierbar und es gilt
- <math>(f^{-1})'(y_0) = \frac{1}{f'(f^{-1}(y_0))} = \frac{1}{f'(x_0)}</math>.<ref name=":0">{{#invoke:Vorlage:Literatur|f}}</ref>
Beweis
Eine Möglichkeit, die Aussage zu zeigen, ist über den Differenzenquotienten von Folgen.
Sei <math>y_n\in f(I)\backslash\{f(x_0)\}</math> eine beliebige Folge mit <math>\lim_{n\to\infty} y_n=f(x_0)</math> und sei <math>x_n:=f^{-1}(y_n)</math>. Aus den Voraussetzungen kann man folgern, dass <math>f^{-1}</math> bijektiv und stetig ist<ref>{{#invoke:Vorlage:Literatur|f}}</ref>, daher gilt <math>\lim_{n\to\infty} x_n=x_0</math> und <math>x_n\ne x_0</math> für alle <math>n</math>. Es gilt
- <math>(f^{-1})'(f(x_0))=\lim_{n\to\infty}\frac{f^{-1}(f(x_n))-f^{-1}(f(x_0))}{y_n-f(x_0)}=\lim_{n\to\infty}\frac{x_n-x_0}{f(x_n)-f(x_0)}=\lim_{n\to\infty}\frac{1}{\frac{f(x_n)-f(x_0)}{x_n-x_0}}=\frac{1}{f'(x_0)}</math>.<ref name=":0" />
Satz von der Umkehrfunktion für komplexe Zahlen
Sei <math>D\subset\C </math> offen, <math>f</math> holomorph in <math>D</math>, <math>z_0\in D</math> und <math>f'(z_0)\ne 0</math>. Dann existiert eine offene Umgebung <math>U</math> von <math>z_0</math> und <math>V</math> von <math>f(z_0)</math>, sodass <math>f|_U:U\to V</math> bijektiv und <math>f^{-1}</math> holomorph in <math>V</math> ist mit
- <math>(f^{-1})'(z) = \frac{1}{f'(f^{-1}(z))} </math>, für alle <math>z\in V</math>.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Satz von der Umkehrfunktion für <math>C^1</math>-Funktionen
Fordert man die Stetigkeit der ersten Ableitung von <math>f</math>, so genügt bereits die Voraussetzung <math>f'(x_0) \ne 0</math>, da daraus direkt <math>f' \ne 0</math> auf einem kleinen Bereich um <math>x_0</math> und daraus wiederum die Existenz der Umkehrfunktion von <math>f</math> auf diesem kleinen Bereich folgt. Von dieser Grundidee geht man bei der mehrdimensionalen Verallgemeinerung der Umkehrregel, dem Satz von der Umkehrabbildung, aus:
Sei <math>\Omega\subset\R^n</math> offen, <math>f:\Omega\to\R^n</math> eine stetig differenzierbare Funktion, sodass die Jacobi-Matrix <math>Df(x_0)</math> invertierbar ist. Dann ist <math>f</math> ein lokaler Homöomorphismus; d. h. es gibt für jedes <math>x_0 \in\Omega</math> eine offene Umgebung <math>U</math> und eine offene Umgebung <math>V</math> von <math>f(x_0)</math>, sodass <math>f</math> ein Homöomorphismus von <math>U</math> nach <math>V</math> ist. Es gilt:
- <math>Df^{-1}(f(x_0))=Df(x_0)^{-1}</math>.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:The inverse function theorem for everywhere differentiable maps|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=The inverse function theorem for everywhere differentiable maps}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=The inverse function theorem for everywhere differentiable maps}}}}|[{{#invoke:URLutil|getNormalized|1=https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=The inverse function theorem for everywhere differentiable maps}}}}]}}{{#if:| ({{{format}}}{{#if:What's new2011-09-13{{#if: 2025-12-02 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/}}%7C%7C}}}}{{#if:The inverse function theorem for everywhere differentiable maps|{{#if:{{#invoke:WLink|isValidLinktext|1=The inverse function theorem for everywhere differentiable maps|lines=0}}||}}}}{{#if: What's new| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=What's new}}}}{{#if: | {{{hrsg}}}{{#if: 2011-09-13|,|{{#if: 2025-12-02 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 2011-09-13| {{#if:{{#invoke:DateTime|format|2011-09-13|noerror=1}}
|{{#invoke:DateTime|format|2011-09-13|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2011-09-13|class=Zitationswartung}} }}{{#if: |,|{{#if: 2025-12-02 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2025-12-02 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2011-09-13|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:213559||(?)}}}}}}{{#if: 2025-12-02|;}}}}{{#if: 2025-12-02| {{#if:2011-09-13{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2025-12-02 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2025-12-02|class=Zitationswartung}} }} {{#invoke:DateTime|format|2025-12-02|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:What's new2011-09-13{{#if: 2025-12-02 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if: | | (}}
}}{{#ifeq:{{#if:en|en|de}}|de||
{{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2011-09-13{{#if: 2025-12-02 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ | {{#if: | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ | {{#if:{{#invoke:URLutil|isWebURL|https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ | {{#if:{{#invoke:URLutil|isWebURL|https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ | {{#if: | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ | {{#if:{{#invoke:URLutil|isWebURL|https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ | {{#if:{{#invoke:URLutil|isWebURL|https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[https://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywhere-differentiable-maps/ }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>
Der Beweis ist ein Korollar des Satzes von der impliziten Funktion.
Globale Version
Der Satz von der Umkehrabbildung ist ein lokales Ergebnis, d. h. er gilt für jeden Punkt. A priori zeigt der Satz also nur, dass die Funktion <math>f</math> lokal bijektiv ist. Mit dem folgenden Lemma aus der Topologie kann die lokale Injektivität auf eine globale Injektivität erweitert werden.
Wenn <math>A</math> eine abgeschlossene Teilmenge einer (zweitabzählbaren) topologischen Mannigfaltigkeit <math>X</math> (oder allgemeiner ein topologischer Raum, der eine kompakte Ausschöpfung zulässt), <math>Z</math> ein topologischer Raum, <math>f \colon X \to Z</math> ein auf <math>A</math> injektiver lokaler Homöomorphismus ist, dann ist <math>f</math> injektiv auf einer Umgebung von <math>A</math>.
Das Lemma impliziert die folgende (in gewisser Weise) globale Version des Satzes von der Umkehrfunktion:
Sei <math>f \colon U \to V</math> eine Abbildung zwischen offenen Teilmengen von <math>\R^n</math> oder allgemeiner von Mannigfaltigkeiten. Angenommen, <math>f</math> ist stetig differenzierbar (d. h. <math>C^k</math>). Wenn <math>f</math> auf einer abgeschlossenen Teilmenge <math>A \subset U</math> injektiv ist und die Jacobi-Matrix von <math>f</math> in jedem Punkt von <math>A</math> invertierbar ist, dann ist <math>f</math> auf einer Umgebung <math>A'</math> von <math>A</math> injektiv und <math>f^{-1} \colon f(A') \to A'</math> ist stetig differenzierbar.<ref>Ch. I., § 3, Exercise 10. and § 8, Exercise 14. in V. Guillemin, A. Pollack. "Differential Topology". Prentice-Hall Inc., 1974. ISBN 0-13-212605-2.</ref>
Wenn <math>A</math> ein Punkt ist, dann entspricht dieser Satz dem üblichen Satz von der Umkehrabbildung.
Siehe auch
Literatur
- Steffen Goebbels, Stefan Ritter: Mathematik verstehen und anwenden: Differenzial- und Integralrechnung, Lineare Algebra. 4. Auflage. Springer Spektrum, 2023, ISBN 978-3-662-68366-8, S. 344–347.
- Otto Forster, Florian Lindemann: Analysis 1. 13. Auflage. Springer, Wiesbaden 2023, ISBN 978-3-658-40129-0, S. 237–239.
- Konrad Königsberger: Analysis 1. 6. Auflage. Springer, Berlin u. a. 2004, ISBN 3-540-40371-X, S. 143.
- Richard Courant: Vorlesungen über Differential- und Integralrechnung 1. Springer, Berlin / Heidelberg / New York 1971, 3-540-05466-9, S. 128–134.
- Karl Strubecker: Einführung in die Höhere Mathematik. Band II: Differentialrechnung einer reellen Veränderlichen. Oldenbourg, München / Wien 1967, S. 153–156.
- Georg Prange, Werner von Koppenfels: Vorlesungen über Integral- und Differentialrechnung. Erster Band: Funktionen einer reellen Veränderlichen. Springer, Berlin / Heidelberg 1943, ISBN 978-3-540-01337-2, S. 210–211 und S. 266–267.
- Greefrath et al: Didaktik der Analysis. Springer Spektrum, Berlin / Heidelberg 2016, ISBN 978-3-662-48876-8, S. 177–179.
- Andreas Büchter, Hans-Wolfgang Henn: Elementare Analysis. Spektrum Akademischer Verlag, Heidelberg 2010, ISBN 978-3-8274-2091-6, S. 304–305.
- Tilo Arens et al.: Mathematik. 5. Auflage. Springer Spektrum, Berlin 2023, ISBN 978-3-662-64388-4, S. 329–330.
- Edmund Weitz: Konkrete Mathematik (nicht nur) für Informatiker. 2. Auflage. Springer Spektrum, Berlin 2021, ISBN 978-3-662-62617-7, S. 573–574.
Einzelnachweise
<references />