Grundlagen: Mathematik

Was ist eine bijektive Funktion?

Eine Funktion f:ABf:A\to B ist bijektiv, wenn sie gleichzeitig injektiv und surjektiv ist — also eine Eins-zu-eins-Zuordnung zwischen AA und BB.

Erklärung

Formal:

(x,xA: f(x)=f(x)x=x)und(yB xA: f(x)=y).\big(\forall x,x'\in A:\ f(x)=f(x')\Rightarrow x=x'\big) \quad\text{und}\quad \big(\forall y\in B\ \exists x\in A:\ f(x)=y\big).

Äquivalent: Es existiert eine Umkehrfunktion f1:BAf^{-1}:B\to A mit f1f=idAf^{-1}\circ f=\mathrm{id}_A und ff1=idBf\circ f^{-1}=\mathrm{id}_B.

Beispiele