Grundlagen: Mathematik

Was ist eine injektive Funktion?

Eine Funktion f:ABf:A\to B heißt injektiv, wenn für alle x,xAx,x'\in A aus f(x)=f(x)f(x)=f(x') stets x=xx=x' folgt.

Erklärung

Äquivalent: verschiedene Argumente haben verschiedene Bilder. Formal:

x,xA: f(x)=f(x)x=x.\forall x,x'\in A:\ f(x)=f(x')\Rightarrow x=x'.

Dies bedeutet, dass ff eineindeutig auf ihr Bild ist und eine Umkehrfunktion f1:f(A)Af^{-1}:f(A)\to A existiert (als Funktion auf dem Bild).

Beispiele