Definition: Surjektiv
heißt eine Abbildung, wenn es zu jedem Element aus dem Bildraum auch mindestens ein passendes Urbild gibt.
Wenn der gesamte Wertebereich mit Zuordnungen voll gepflastert ist, spricht man von surjektiv. Dieser Begriff bedeutet wörtlich „darauf werfen“. Bildlich gesprochen erreichen alle Pfeile von der Menge
ausgehend ihr Ziel in der Menge
. Kein Element aus
bleibt ungetroffen. Der Wertebereich
und die Menge
sind dann gleich.
Sei , dann heißt f surjektiv, wenn
.
Kompliziert formuliert:
Alle Elemente der Menge werden von mindestens einem Element der Menge
belegt. Es können auch zwei oder mehr Belegungen der
-Elemente vorkommen. Hauptsache, alle
-Elemente erhalten eine Zuordnung. Fehlt nur eine Belegung, ist es futsch mit der Surjektivität.
Surjektive Funktion
surjektiv
surjektiv
Falls es zu jedem ein
mit
gibt