- Umkehrfunktion
-
Die Umkehrfunktion oder inverse Funktion einer bijektiven Funktion ist die Funktion, die jedem Element der Zielmenge sein eindeutig bestimmtes Urbildelement zuweist. (Bei bijektiven Funktionen hat die Urbildmenge jedes Elements genau ein Element.) Eine Funktion, deren Umkehrfunktion existiert, wird auch als invertierbar bezeichnet.
Inhaltsverzeichnis
Definition
Wenn eine bijektive Funktion ist, dann bezeichnet die Umkehrfunktion. Dabei ist das −1 nicht mit einer negativen Potenz bezüglich der Multiplikation zu verwechseln; es handelt sich vielmehr um die Umkehrung bezüglich der Hintereinanderausführung (Verkettung) von Funktionen.
Der Funktionswert f − 1(y) ist definiert als das (eindeutig bestimmte) , das die Gleichung f(x) = y erfüllt.
Eine alternative Schreibweise ist (f quer)[1], was allerdings leicht mit der komplexen Konjugation verwechselt wird.
Beispiele
- Sei die Menge der 26 Buchstaben des lateinischen Alphabets und sei . Die Funktion , die jedem Buchstaben die entsprechende Nummer im Alphabet zuordnet, ist bijektiv und ist gegeben durch f − 1(n) = „der n-te Buchstabe im Alphabet“.
- Sei die Funktion mit f(x) = 3x + 2. Diese ist bijektiv und die Umkehrfunktion ist gegeben durch
f − 1(y) = (y − 2) / 3.
- Sei die Menge der nichtnegativen reellen Zahlen und mit f(x) = x2 eine eingeschränkte Quadratfunktion. Dann ist f bijektiv und die Umkehrfunktion ist gegeben durch
.
- Für mit gilt f − 1 = f.
- Die Umkehrfunktion der Exponentialfunktion ist die Logarithmusfunktion.
- Die Umkehrfunktionen von Einschränkungen der trigonometrischen Funktionen Sinus (sin), Kosinus (cos) und Tangens (tan) auf geeignete Definitions- und Zielbereiche (auf denen diese Einschränkungen bijektiv sind) heißen Arkusfunktionen: Arkussinus (arcsin), Arkuskosinus (arccos) und Arkustangens (arctan).
- Die Umkehrungen geeigneter Einschränkungen der Hyperbelfunktionen Sinus Hyperbolicus (sinh), Cosinus Hyperbolicus (cosh) und Tangens Hyperbolicus (tanh) heißen Areafunktionen: Areasinus Hyperbolicus (arsinh), Areacosinus Hyperbolicus (arcosh) und Areatangens Hyperbolicus (artanh).
Eigenschaften
- Die Umkehrfunktion der Umkehrfunktion ist die ursprüngliche Funktion, d. h.
(f − 1) − 1 = f.
- Ist eine Bijektion, dann gilt für die Umkehrfunktion:
f(f − 1(x)) = x für alle ,
f − 1(f(x)) = x für alle .
Mit Hilfe der Verkettung von Funktionen lässt sich dies auch so schreiben:
.
- Sind und zwei Funktionen mit den Eigenschaften
f(g(x)) = x für alle ,
g(f(x)) = x für alle ,
dann sind beide Funktionen bijektiv und g ist die Umkehrfunktion von f.
- Sind die Funktionen und bijektiv, dann gilt dies auch für die Verkettung . Die Umkehrfunktion von ist dann .
- Eine Funktion kann ihre eigene Umkehrfunktion sein. Es gilt dann und man nennt f eine Involution.
- Ist eine Bijektion, wobei A und B Teilmengen von sind, dann entsteht der Graph der Umkehrfunktion, indem man den Graph von f an der Diagonalen y = x spiegelt.
- Ist differenzierbar, und y: = f(x), dann gilt die folgende Umkehrregel:
.
Berechnung
Ist eine Funktion und gelingt es, die Gleichung y = f(x) durch Äquivalenzumformung in die Form x = g(y) zu bringen, also äquivalent nach x aufzulösen (wobei , und gilt), dann ist f als bijektiv nachgewiesen und die Umkehrfunktion von f (nämlich g) bestimmt.
Beispiele:
- Sei mit f(x) = 2x − 1. Die folgenden Gleichungen sind äquivalent:
- y = 2x − 1
- 2x = y + 1
- Die Umkehrfunktion von f lautet daher . Da es üblich ist, das Argument mit x zu bezeichnen, schreibt man auch: .
- Sei mit . Die folgenden Gleichungen sind äquivalent (man beachte, dass x > 0 gilt):
- (Die zweite Lösung der quadratischen Gleichung entfällt, da x als positiv vorausgesetzt ist.) Die Umkehrfunktion lautet also:
Verallgemeinerungen
Für allgemeinere Anwendungen ist der oben eingeführte Begriff der Umkehrfunktion als Inverses einer Bijektion zu eng. Entsprechend existieren Verallgemeinerungen für solche Gegebenheiten, von denen zwei nachfolgend vorgestellt werden.
Links- und Rechts-Inverse
Für eine Funktion heißt eine Funktion links-invers (oder Retraktion), wenn
Das heißt, die Funktion g erfüllt
g muss also gleich der Umkehrfunktion von f im Wertebereich von f sein, kann aber beliebige Werte für Elemente aus Y annehmen, die nicht Resultat von f sind. Eine Funktion f hat Links-Inverse genau dann, wenn sie injektiv (linkseindeutig) ist.
Eine Rechts-Inverse von f (oder, bei Faserbündeln, ein Schnitt von f) ist eine Funktion , so dass
Das heißt, die Funktion h erfüllt
h(y) kann also jedes Element von X sein, das von f auf y abgebildet wird. Eine Funktion f hat Rechts-Inverse genau dann, wenn sie surjektiv (rechtstotal) ist. (Die Konstruktion solch einer Inversen erfordert im Allgemeinen das Auswahlaxiom.)
Eine Funktion kann mehrere Links- oder Rechts-Inverse haben; es gibt jedoch nur eine eindeutige Funktion, die zugleich Links-Inverse als auch Rechts-Inverse ist.
Beispiele
Links-Inverse treten oft als Inverse von Einbettungen auf.
Zum Beispiel sei f eine Funktion, die jedem Farbnamen ('rot', 'grün', 'blau', usw.) seine Farbe zuweist. Dann wäre ein Retrakt eine Funktion g, die für jede Farbe einen Farbnamen ergibt.
Als numerisches Beispiel sei f die Einbettung von in . g kann dann z. B. die größte ganze Zahl liefern, die kleiner oder gleich dem Argument ist.
Rechts-Inverse treten oft als Funktionen auf, die Repräsentanten einer Menge bestimmen.
Sei beispielsweise eine Funktion, die jeder Art ihre Gattung zuweist. Das Rechts-Inverse h ist eine Funktion, die für jede Gattung eine typische Art benennt. Politische Vertretung liefert viele Beispiele. Hier könnte f etwa die Staatsangehörigkeit eines Menschen sein, h das Staatsoberhaupt eines Staates.
Als mathematisches Beispiel für ein Rechts-Inverses wäre f eine Auswertungsfunktion, die Termen einen Wert zuweist (diese ausrechnet). So haben etwa die Terme '2/4', '3/6', '1-1/2' usw. alle denselben Wert 0,5. h wäre dann eine Funktion, die für jeden Wert einen typische Term liefert, hier vielleicht '1/2'.
Quellen
- ↑ Helmut Sieber und Leopold Huber: Mathematische Begriffe und Formeln für Sekundarstufe I und II der Gymnasien, Ernst Klett Verlag
Kategorie:- Mathematischer Grundbegriff
Wikimedia Foundation.