Abbildungen (Funktionen)¶
Definition¶
Eine Abbildung (oder Funktion) \(f: A \to B\) ordnet jedem Element \(a \in A\) genau ein Element \(f(a) \in B\) zu.
- \(A\) heißt Definitionsbereich (Domain).
- \(B\) heißt Wertebereich (Codomain).
- \(f(A) = \{f(a) : a \in A\} \subseteq B\) heißt Bild (Image).
Beispiel. \(f: \mathbb{Z} \to \mathbb{Z}\) mit \(f(x) = x^2\). Hier ist \(f(3) = 9\) und \(f(-3) = 9\).
Injektivität¶
Eine Abbildung \(f\) ist injektiv (eineindeutig), wenn verschiedene Eingaben verschiedene Ausgaben liefern:
Beispiel. \(f(x) = 2x\) ist injektiv: Aus \(2a = 2b\) folgt \(a = b\).
Gegenbeispiel. \(f(x) = x^2\) auf \(\mathbb{Z}\) ist nicht injektiv: \(f(3) = f(-3) = 9\), aber \(3 \neq -3\).
Surjektivität¶
Eine Abbildung \(f: A \to B\) ist surjektiv, wenn jedes Element in \(B\) mindestens ein Urbild hat:
Äquivalent: \(f(A) = B\).
Beispiel. \(f: \mathbb{Z} \to \mathbb{Z}\) mit \(f(x) = x + 1\) ist surjektiv: Für jedes \(b \in \mathbb{Z}\) ist \(a = b - 1\) ein Urbild.
Gegenbeispiel. \(f: \mathbb{Z} \to \mathbb{Z}\) mit \(f(x) = x^2\) ist nicht surjektiv: \(-1\) hat kein Urbild, da \(x^2 \geq 0\) für alle \(x\).
Bijektivität¶
Eine Abbildung ist bijektiv, wenn sie sowohl injektiv als auch surjektiv ist. Jedes Element in \(B\) hat dann genau ein Urbild.
Bijektive Abbildungen besitzen eine Umkehrabbildung \(f^{-1}: B \to A\) mit \(f^{-1}(f(a)) = a\) und \(f(f^{-1}(b)) = b\).
Beispiel. \(f: \mathbb{R} \to \mathbb{R}\) mit \(f(x) = 2x + 1\) ist bijektiv. Die Umkehrfunktion ist \(f^{-1}(y) = \frac{y - 1}{2}\).
Komposition¶
Die Komposition zweier Abbildungen \(f: A \to B\) und \(g: B \to C\) ist die Abbildung \(g \circ f: A \to C\) mit:
Beispiel. \(f(x) = x + 1\) und \(g(x) = x^2\). Dann \((g \circ f)(3) = g(f(3)) = g(4) = 16\).
Die Reihenfolge ist relevant: \((f \circ g)(3) = f(g(3)) = f(9) = 10 \neq 16\).
Zusammenfassung¶
| Eigenschaft | Bedeutung |
|---|---|
| Injektiv | Verschiedene Eingaben → verschiedene Ausgaben |
| Surjektiv | Jedes \(b \in B\) hat ein Urbild |
| Bijektiv | Injektiv und surjektiv; Umkehrabbildung existiert |
| \(g \circ f\) | Komposition: erst \(f\), dann \(g\) |
Quellen¶
- Hammack, Richard: Book of Proof. 3. Auflage, 2018. Kapitel 12.