Bijektiv:
Wie der Name "bijektiv" andeutet, nähern sich die Mathematiker dem Begriff der Eineindeutigkeit in zwei Schritten:
1) Zunächst nennen sie eine Abbildung injektiv, bei der gleiche Bildpunkte nur aus gleichen Urbildpunkten hervorgehen:
oder äquivalent dazu: wenn verschiedene Urbilder auch immer zu verschiedenen Bildern führen:
In diesem Fall hat die Gleichung ) für alle
höchstens eine Lösung
, und jede Parallele zur 1-Achse schneidet den Graphen der Funktion höchstens einmal.
2) Dann betrachten sie in einem zweiten Schritt die für uns nicht so wichtige Menge, in der die Bildelemente liegen, und untersuchen, ob diese nur aus den Bildpunkten besteht oder noch weitere Punkte enthält. Falls die angegebene Bildmenge nur aus dem Wertevorrat besteht, nennen sie die Abbildung surjektiv :
Dann hat die Gleichung für alle
wenigstens eine Lösung
.
Bijektiv := injektiv + surjektiv
Also hat bei einer bijektiven Abbildung die Gleichung genau eine Lösung
und die Funktion ist umkehrbar.