Umkehrfunktion

In der Mathematik bezeichnet die Umkehrfunktion oder inverse Funktion einer bijektiven Funktion die Funktion, die jedem Element der Zielmenge sein eindeutig bestimmtes Urbildelement zuweist. Eine Funktion ordnet jedem ein eindeutig bestimmtes Element zu, das mit bezeichnet wird.Gilt für die Beziehung , so sagt man auch, dass ein Urbildelement von unter ist. Im Allgemeinen kann ein Element von kein, ein oder mehrere Urbildelemente unter besitzen.Falls jedes Element von genau ein Urbildelement unter besitzt (man spricht dann von dem Urbildelement), nennt man invertierbar. In diesem Fall kann man eine Funktion definieren, die jedem Element von ihr eindeutig definiertes Urbildelement unter zuordnet.Diese Funktion wird dann als die Umkehrfunktion von bezeichnet. Man kann leicht nachweisen, dass eine Funktion genau dann invertierbar ist, wenn sie bijektiv (also gleichzeitig injektiv und surjektiv) ist. Tatsächlich besagt die Injektivität nichts anderes, als dass jedes Element von höchstens ein Urbildelement unter besitzt. Die Surjektivität besagt gerade, dass jedes Element von mindestens ein Urbildelement unter besitzt. Der Begriff der Umkehrfunktion gehört formal zum mathematischen Teilgebiet der Mengenlehre, wird aber in vielen Teilgebieten der Mathematik verwendet.