heißt surjektiv, falls
.
heißt injektiv, falls aus
folgt
.
heißt bijektiv, falls
surjektiv und injektiv ist.


| nicht injektiv |
![]() | injektiv |
![]() | injektiv |

folgt: Gleichung ist nicht lösbar!
surjektiv, so ist die Gleichung stets lösbar.
injektiv, so ist für
die Gleichung eindeutig lösbar
bijektiv, so ist die Gleichung stets eindeutig lösbar
sei bijektiv, dann gibt es zu jedem
genau ein
.
Diese Zuordnung
heißt Umkehrfunktion
zu
:



|
Es sei |
|
|
Sind |
|
|
|
Nachzurechnen ist, daß
surjektiv und injektiv ist. Für
argumentiere
mit
.
ist lösbar für
(Surjektivität)
tut es

ist injektiv




gegeben)


,
, 

,
,
ist surjektiv. Als Übung soll gezeigt
werden, daß sie auch injektiv ist.
ist also die Abbildung, welche einer natürlichen Zahl eindeutig eine
ganze Zahl zuordnet. Für die Abbildungsvorschrift ergibt sich:


Die Abbildung ist bijektiv, also injektiv und surjektiv. Bijektiv nennt man auch eineindeutig. Im folgenden seien nochmals die Eigenschaften der Verkettung von Abbildung und Umkehrabbildung wiederholt:


Wir notieren uns einige Paare:

Verknüpft man also die Abbildung mit deren Umkehrung, so erhält man gerade die Identität:


|
![]()
|
Es ist zu zeigen, daß
injektiv ist, falls
monoton wächst. Des weiteren kann
gezeigt werden:
