Bijektive Abbildung - LinkFang.de





Bijektive Funktion

(Weitergeleitet von: Bijektive_Funktion)

Bijektivität (zum Adjektiv bijektiv, welches etwa ‚umkehrbar eindeutig auf‘ bedeutet → daher auch der Begriff eineindeutig bzw. Eineindeutigkeit) ist ein mathematischer Begriff aus dem Bereich der Mengenlehre. Er bezeichnet eine spezielle Eigenschaft von Abbildungen und Funktionen. Bijektive Abbildungen und Funktionen nennt man auch Bijektionen. Zu einer mathematischen Struktur auftretende Bijektionen haben oft eigene Namen wie Isomorphismus, Diffeomorphismus, Homöomorphismus, Spiegelung oder Ähnliches. Hier sind dann in der Regel noch zusätzliche Forderungen in Hinblick auf die Erhaltung der jeweils betrachteten Struktur zu erfüllen.

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.

Die Bijektion einer Menge auf sich selbst heißt auch Permutation. Auch hier gibt es in mathematischen Strukturen vielfach eigene Namen. Hat die Bijektion darüber hinausgehend strukturerhaltende Eigenschaften, spricht man von einem Automorphismus.

Definition

Seien [math]X[/math] und [math]Y[/math] Mengen; und sei [math]f[/math] eine Funktion bzw. Abbildung, die von [math]X[/math] nach [math]Y[/math] abbildet, also [math]f \colon X \to Y[/math]. [math]f[/math] ist bijektiv, wenn für alle [math]y \in Y[/math] genau ein [math]x \in X[/math] mit [math]f\left(x\right) = y[/math] existiert.

Das bedeutet: [math] f [/math] ist bijektiv dann und nur dann, wenn [math]f[/math] sowohl

(1) injektiv ist:
Kein Wert der Bildmenge [math]f(X)[/math] wird mehrfach angenommen. Mit anderen Worten: Das Urbild jedes Elements der Bildmenge [math]f(X)[/math] besteht aus höchstens einem Element von [math]X[/math].
als auch
(2) surjektiv ist:
Jedes Element der Zielmenge [math]Y[/math] wird angenommen. Mit anderen Worten: Die Zielmenge [math]Y[/math] und die Bildmenge [math]f(X)[/math] stimmen überein, also [math]f\left(X\right) = Y[/math].

Grafische Veranschaulichungen

Beispiele und Gegenbeispiele

Die Menge der reellen Zahlen wird hier mit [math]\mathbb{R}[/math] bezeichnet, die Menge der nichtnegativen reellen Zahlen mit [math]\R^+_0[/math].

  • Die Funktion [math]f: \R\to\R, x\mapsto x+a[/math] ist bijektiv mit der Umkehrfunktion [math]f^{-1}: \R\to\R, x\mapsto x-a[/math].
  • Ebenso ist für [math]a\ne 0 [/math] die Funktion [math]g: \R\to\R, x\mapsto ax[/math] bijektiv mit der Umkehrfunktion [math]g^{-1}: \R\to\R, x\mapsto \frac{x}{a}[/math].
  • Beispiel: Ordnet man jedem (monogam) verheirateten Menschen seinen Ehepartner bzw. seine Ehepartnerin zu, ist dies eine Bijektion der Menge aller verheirateten Menschen auf sich selbst. Dies ist sogar ein Beispiel für eine selbstinverse Abbildung.
  • Die folgenden vier Quadratfunktionen unterscheiden sich nur in ihren Definitions- bzw. Wertemengen:
[math]f_1\colon\R\ \ \rightarrow\mathbb{R},\ \ \ x \mapsto x^2 [/math]
[math]f_2\colon\R^+_0\rightarrow\mathbb{R},\ \ \ x \mapsto x^2 [/math]
[math]f_3\colon\R\ \ \rightarrow \R^+_0,\ x \mapsto x^2 [/math]
[math]f_4\colon\R^+_0\rightarrow \R^+_0,\ x \mapsto x^2 [/math]
Mit diesen Definitionen ist
[math] f_1 [/math] nicht injektiv, nicht surjektiv, nicht bijektiv
[math] f_2 [/math] injektiv, nicht surjektiv, nicht bijektiv
[math] f_3 [/math] nicht injektiv, surjektiv, nicht bijektiv
[math] f_4 [/math] injektiv, surjektiv, bijektiv

Eigenschaften

  • Sind [math]A[/math] und [math]B[/math] endliche Mengen mit gleich vielen Elementen und ist [math]f : A \to B[/math] eine Funktion, dann gilt:
    Ist [math]f[/math] injektiv, dann ist [math]f[/math] bereits bijektiv.
    Ist [math]f[/math] surjektiv, dann ist [math]f[/math] bereits bijektiv.
  • Insbesondere gilt also für Funktionen [math]f : A \to A[/math] von einer endlichen Menge [math]A[/math] in sich selbst:
    [math]f[/math] ist injektiv ⇔ [math]f[/math] ist surjektiv ⇔ [math]f[/math] ist bijektiv.
    Für unendliche Mengen ist das im Allgemeinen falsch. Diese können injektiv auf echte Teilmengen abgebildet werden, ebenso gibt es surjektive Abbildungen einer unendlichen Menge auf sich selbst, die keine Bijektionen sind.
    Solche Überraschungen werden im Artikel Hilberts Hotel detaillierter beschrieben, siehe dazu auch Dedekind-Unendlichkeit.
  • Sind die Funktionen [math]f : A \to B[/math] und [math]g : B \to C[/math] bijektiv, dann gilt dies auch für die Verkettung [math]g\circ f : A \to C[/math]. Die Umkehrfunktion von [math]g\circ f[/math] ist dann [math]f^{-1}\circ g^{-1}[/math].
  • Ist [math]g\circ f[/math] bijektiv, dann ist [math]f[/math] injektiv und [math]g[/math] surjektiv.
  • Ist [math]f : A \to B[/math] eine Funktion und gibt es eine Funktion [math]g : B \to A[/math], die die beiden Gleichungen
    [math]g \circ f = \operatorname{id}_A[/math] ([math]\operatorname{id}_A[/math] = Identität auf der Menge [math]A[/math])
    [math]f \circ g = \operatorname{id}_B[/math] ([math]\operatorname{id}_B[/math] = Identität auf der Menge [math]B[/math])
    erfüllt, dann ist [math]f[/math] bijektiv, und [math]g[/math] ist die Umkehrfunktion von [math]f[/math], also [math]g=f^{-1}[/math].
  • Die Menge der Permutationen einer gegebenen Grundmenge [math]A[/math] bildet zusammen mit der Komposition als Verknüpfung eine Gruppe, die sogenannte symmetrische Gruppe von [math]A[/math].

Geschichte

Dieser Artikel oder Abschnitt ist nicht ausreichend belegt.

Nachdem man generationenlang mit Formulierungen wie „eineindeutig“ ausgekommen war, kam erst in der Mitte des 20. Jahrhunderts mit der durchgehend mengentheoretischen Darstellung aller mathematischen Teilgebiete das Bedürfnis nach einer prägnanteren Bezeichnung auf. Wahrscheinlich wurde das Wort injektiv ebenso wie bijektiv und surjektiv in den 1930ern von N. Bourbaki geprägt.

Literatur

Weblinks

 Wikibooks: Beweisarchiv: Mengenlehre – Lern- und Lehrmaterialien

Kategorien: Keine Kategorien vorhanden!

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Bijektive Funktion (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.