Grundlagen: Mathematik

Was ist eine injektive Funktion?

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

Erklärung

Äquivalent: verschiedene Argumente haben verschiedene Bilder. Formal:

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

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

Beispiele