Surjektivität - LinkFang.de





Surjektivität


Surjektivität (surjektiv) oder Rechtstotalität (rechtstotal; in der Sprache der Relationen) ist eine Eigenschaft einer mathematischen Funktion. Sie bedeutet, dass jedes Element der Zielmenge mindestens einmal als Funktionswert angenommen wird, also mindestens ein Urbild hat. Eine Funktion ist bezüglich ihrer Bildmenge immer surjektiv. Eine surjektive Funktion wird auch als Surjektion bezeichnet.

Definition

Es seien [math]X[/math] und [math]Y[/math] Mengen, sowie [math]f\colon\, X \to Y[/math] eine Abbildung.

[math]f[/math] heißt surjektiv, wenn für alle [math]y[/math] aus [math]Y[/math] mindestens ein [math]x[/math] aus [math]X[/math] mit [math]f(x) = y[/math] existiert. Eine solche Abbildung kann wie folgt geschrieben werden: [math]f\colon\, X \twoheadrightarrow Y[/math].

Formal: [math]\forall y \in Y \ \exists x \in X\colon\, f(x)=y[/math]

Grafische Veranschaulichungen

Beispiele und Gegenbeispiele

  • Die leere Funktion [math]\emptyset \to \{\bullet\}[/math] in eine einelementige Menge ist das wohl einfachste Beispiel einer nicht-surjektiven Funktion.
  • Die Funktion [math]f\colon\, \R \to \R [/math] mit [math]f(x) = 2x+1[/math] ist surjektiv, denn für jede reelle Zahl [math]y[/math] gibt es ein Urbild. Aus der Gleichung [math]y = 2x+1[/math] erhält man nämlich durch Äquivalenzumformung die Gleichung [math]x = (y-1)/2,[/math] womit sich für jedes [math]y[/math] ein Urbild [math]x[/math] berechnen lässt.
  • Die Sinus-Funktion [math]\sin\colon\, \R \to [-1,1][/math] ist surjektiv. Jede horizontale Gerade [math]y = c [/math] mit [math]-1 \leq c \leq 1[/math] schneidet den Graphen der Sinusfunktion mindestens einmal (sogar unendlich oft).
  • Die Sinus-Funktion [math]\sin\colon\, \R \to \R[/math] ist jedoch nicht surjektiv, da z. B. die Gerade [math]y = 2[/math] keinen Schnittpunkt mit dem Graphen hat, der Wert 2 also nicht als Funktionswert angenommen wird.
  • [math]\C[/math] bezeichne die Menge der komplexen Zahlen.
[math]f_1\colon\, \R \rightarrow \R,\, x \mapsto x^2[/math] ist nicht surjektiv, da z. B. [math]-1[/math] kein Urbild hat.
[math]f_2\colon\, \C \rightarrow \C,\, x \mapsto x^2[/math] ist surjektiv.

Eigenschaften

  • Man beachte, dass die Surjektivität einer Funktion [math]f\colon\, A \to B[/math] nicht nur vom Funktionsgraphen [math]\{(x,f(x)) \mid x \in A\},[/math] sondern auch von der Zielmenge [math]B[/math] abhängt (im Gegensatz zur Injektivität, welche man am Funktionsgraphen ablesen kann).
  • Eine Funktion [math]f\colon\, A \to B[/math] ist genau dann surjektiv, wenn [math]f\big(f^{-1}(Y) \big)=Y[/math] für alle [math] Y \subset B [/math].
  • Sind die Funktionen [math]f\colon\, A \to B[/math] und [math]g\colon\, B \to C[/math] surjektiv, dann gilt dies auch für die Komposition (Verkettung) [math]g \circ f\colon\, A \to C.[/math]
  • Aus der Surjektivität von [math]g \circ f[/math] folgt, dass [math]g[/math] surjektiv ist.
  • Eine Funktion [math]f\colon\, A \to B[/math] ist genau dann surjektiv, wenn [math]f[/math] eine Rechtsinverse hat, also eine Funktion [math]g\colon\, B \to A[/math] mit [math]f \circ g = \operatorname{id}_B[/math] (wobei [math]\operatorname{id}_B[/math] die identische Abbildung auf [math]B[/math] bezeichnet). Diese Aussage ist äquivalent zum Auswahlaxiom der Mengenlehre.
  • Eine Funktion [math]f : A \to B[/math] ist genau dann surjektiv, wenn [math]f[/math] rechtskürzbar ist, also für beliebige Funktionen [math]g, h : B \to C[/math] mit [math]g \circ f = h \circ f[/math] schon [math]g = h[/math] folgt. (Diese Eigenschaft motiviert den in der Kategorientheorie verwendeten Begriff Epimorphismus.)
  • Jede beliebige Funktion [math]f\colon\, A \to B[/math] ist darstellbar als Verkettung [math]f = h \circ g[/math], wobei [math]g[/math] surjektiv und [math]h[/math] injektiv ist. [math]g\colon\, A \to \operatorname{im} f[/math] hat dabei die Bildmenge von [math]f[/math] als Zielmenge und stimmt ansonsten mit [math]f[/math] überein (hat denselben Funktionsgraphen).

Mächtigkeiten von Mengen

Für eine endliche Menge [math]A[/math] ist die Mächtigkeit [math]|A|[/math] einfach die Anzahl der Elemente von [math]A[/math]. Ist nun [math]f\colon\, A \to B[/math] eine surjektive Funktion zwischen endlichen Mengen, dann kann [math]B[/math] höchstens so viele Elemente wie [math]A[/math] haben, es gilt also [math]|B| \le |A|.[/math]

Für unendliche Mengen wird der Größenvergleich von Mächtigkeiten zwar mit Hilfe des Begriffs Injektion definiert, aber auch hier gilt: Ist [math]f\colon\, A \to B[/math] surjektiv, dann ist die Mächtigkeit von [math]B[/math] kleiner oder gleich der Mächtigkeit von [math]A,[/math] ebenfalls geschrieben als [math]|B| \le |A|.[/math]

Siehe auch

Literatur

Weblinks


Kategorien: Keine Kategorien vorhanden!

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Surjektivität (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.