Bijektive Funktion

Eine bijektive Funktion

Eine bijektive Funktion, kurz auch Bijektion genannt, ist eine bijektive, d.h. umkehrbar eindeutige Abbildung zwischen zwei Mengen.

Zur Veranschaulichung kann man sagen, dass bei einer Bijektion eine vollständige Paarbildung zwischen den Elementen von Definitionsmenge und Zielmenge stattfindet. Bijektionen behandeln ihren Definitionsbereich und ihren Wertebereich also symmetrisch; deshalb hat eine bijektive Funktion immer eine Umkehrfunktion.

Bei einer Bijektion haben die Definitionsmenge und die Zielmenge stets dieselbe Mächtigkeit. Im Falle, dass eine Bijektion zwischen zwei endlichen Mengen vorliegt, ist diese gemeinsame Mächtigkeit eine natürliche Zahl, nämlich genau die Anzahl der Elemente jeder der beiden Mengen.

Definition

Seien $X$ und $Y$ Mengen und sei $f$ eine Funktion, die von $X$ nach $Y$ abbildet, also $f\colon X\to Y$. Dann heißt $f$ bijektiv, wenn für alle $y\in Y$ genau ein $x\in X$ mit $f\left(x\right)=y$ existiert.

Das bedeutet: $f$ ist bijektiv dann und nur dann, wenn $f$ sowohl

(1) injektiv ist:

Kein Wert der Zielmenge $Y$ wird mehrfach angenommen. Mit anderen Worten: Das Urbild jedes Elements der Zielmenge $Y$ besteht aus höchstens einem Element von $X$. Aus $f(x_{1})=f(x_{2})$ folgt daher immer $x_{1}=x_{2}$.

als auch

(2) surjektiv ist:

Jedes Element der Zielmenge $Y$ wird angenommen. Mit anderen Worten: Die Zielmenge $Y$ und die Bildmenge $f(X)$ stimmen überein, also $f\left(X\right)=Y$. Für jedes $y$ aus $Y$ existiert daher (mindestens) ein $x$ aus $X$ mit $f(x)=y$.

Literatur

•  Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre. 4. Auflage. Spektrum Akademischer Verlag, Heidelberg [u. a.] 2003, ISBN 3-8274-1411-3.
•  Gerd Fischer: Lineare Algebra. 17. Auflage. Vieweg+Teubner, Wiesbaden 2010, ISBN 978-3-8348-0996-4.
•  Fachlexikon ABC Mathematik. Verlag Harri Deutsch, Thun und Frankfurt/Main 1978, ISBN 3-87144-336-0.

Weblinks

 Wikibooks: Beweisarchiv: Mengenlehre – Lern- und Lehrmaterialien