Injektivität - LinkFang.de





Injektivität


Injektivität oder Linkseindeutigkeit ist eine Eigenschaft einer mathematischen Relation, also insbesondere auch einer Funktion (wofür man meist gleichwertig auch „Abbildung“ sagt): Eine injektive Funktion, auch als Injektion bezeichnet, ist ein Spezialfall einer linkseindeutigen Relation.

Eine Funktion [math]f\colon X\to Y[/math] ist injektiv, wenn es zu jedem Element [math]y[/math] der Zielmenge [math]Y[/math] höchstens ein (also eventuell gar kein) Element [math]x[/math] der Ausgangs- oder Definitionsmenge [math]X[/math] gibt, das darauf zielt, wenn also nie zwei verschiedene Elemente der Definitionsmenge auf dasselbe Element der Zielmenge abgebildet werden:

[math]f(x_1)=f(x_2) \Rightarrow x_1=x_2[/math]

Die Zielmenge kann daher nicht kleiner als die Definitionsmenge sein, d. h., sie kann nicht weniger Elemente enthalten.

Die Bildmenge [math]f(X):=\{f(x)\mid x\in X\}[/math] darf eine echte Teilmenge der Zielmenge [math]Y[/math] sein, d. h. es kann Elemente [math]y\in Y[/math] geben, die keine Bildelemente [math]f(x)[/math] sind, wie es in der abgebildeten Grafik rechts der Fall ist. Dies macht den Unterschied zu einer bijektiven Abbildung aus, von der außer Injektivität noch verlangt wird, dass jedes Element der Zielmenge als Bildelement [math]f(x)[/math] auftritt.

Dass eine Abbildung [math]f\colon X\to Y[/math] injektiv ist, wird gelegentlich durch [math]f\colon X\hookrightarrow Y[/math] ausgedrückt, das sich aus den Zeichen [math]\subset[/math] und [math]\to[/math] zusammensetzt. Es erinnert an die Einbettung einer Menge [math]X[/math] in eine Obermenge [math]Y[/math] durch eine Funktion [math]f\colon X\to Y,\, f(x)=x,[/math] die jedes Element von [math]X[/math] auf sich selbst abbildet.

Beispiele und Gegenbeispiele

  • Außermathematisches Beispiel: Die Funktion, die jedem Bürger der Bundesrepublik Deutschland mit Personalausweis die Nummer seines aktuellen Personalausweises zuordnet, ist injektiv, wobei als Zielmenge die Menge aller möglichen Personalausweisnummern angenommen wird (denn Personalausweisnummern werden nur einmal vergeben).
  • [math]\N[/math] bezeichne die Menge der natürlichen und [math]\Z[/math] die Menge der ganzen Zahlen.
[math]f_1\colon \N \to \N,\, x \mapsto 2x[/math] ist injektiv.
[math]f_2\colon \Z \to \Z,\, x \mapsto 2x[/math] ist injektiv.
[math]f_3\colon \N \to \N,\, x \mapsto x^2[/math] ist injektiv.
[math]f_4\colon \Z \to \Z,\, x \mapsto x^2[/math] ist nicht injektiv, da z. B. [math]f(1) = f(-1)[/math] gilt.
  • Jede Funktion [math]f\colon X \to Y,\, x \mapsto f(x)[/math] von einer zweielementigen Menge [math]X=\{a,b\}[/math] in eine einelementige Menge [math]Y=\{c\}[/math] ist nicht injektiv, weil notwendigerweise beide Elemente von [math]X[/math] auf das einzige Element [math]c\in Y[/math] abgebildet werden:
[math]f(a)=f(b)=c[/math] trotz [math]a\ne b[/math]

Eigenschaften

  • Man beachte, dass die Injektivität einer Funktion [math]f\colon A \to B[/math] nur vom Funktionsgraphen [math]\{(x, f(x)) \mid x \in A\}[/math] abhängt (im Gegensatz zur Surjektivität, die auch von der Zielmenge [math]B[/math] abhängt, die man am Funktionsgraphen nicht ablesen kann).
  • Eine Funktion [math]f\colon A \to B[/math] ist genau dann injektiv, wenn für alle Teilmengen [math]X, Y \subseteq A[/math] gilt: [math]f(X \cap Y)=f(X) \cap f(Y)[/math]
  • Eine Funktion [math]f\colon A \to B[/math] ist genau dann injektiv, wenn [math]f^{-1}(f(T))=T[/math] für alle [math]T \subseteq A[/math] gilt.
  • Sind die Funktionen [math]f\colon A \to B[/math] und [math]g\colon B \to C[/math] injektiv, dann ist auch die Komposition (Verkettung) [math]g \circ f\colon A \to C[/math] injektiv.
  • Aus der Injektivität von [math]g \circ f[/math] folgt, dass [math]f[/math] injektiv ist.
  • Eine Funktion [math]f\colon A \to B[/math] mit nichtleerer Definitionsmenge [math]A[/math] ist genau dann injektiv, wenn [math]f[/math] eine Linksinverse hat, das ist eine Funktion [math]g\colon B \to A[/math] mit [math]g \circ f = \operatorname{id}_A[/math] (wobei [math]\operatorname{id}_A[/math] die identische Abbildung auf [math]A[/math] bezeichnet).
  • Eine Funktion [math]f\colon A \to B[/math] ist genau dann injektiv, wenn sie linkskürzbar ist, wenn also für beliebige Funktionen [math]g, h\colon C \to A[/math] aus [math]f \circ g = f \circ h[/math] die Gleichheit [math]g = h[/math] folgt. (Diese Eigenschaft motiviert den in der Kategorientheorie verwendeten Begriff Monomorphismus, jedoch sind bei allgemeinen Morphismen injektiv und linkskürzbar nicht mehr äquivalent.)
  • Jede beliebige Funktion [math]f\colon A \to B[/math] ist als Verkettung [math]f = h \circ g[/math] darstellbar, wobei [math]g[/math] surjektiv und [math]h[/math] injektiv (nämlich eine Inklusionsabbildung) ist.
  • Eine stetige reellwertige Funktion auf einem reellen Intervall ist genau dann injektiv, wenn sie in ihrem ganzen Definitionsbereich streng monoton steigend oder streng monoton fallend ist, d. h., wenn für zwei beliebige Zahlen [math]a[/math] und [math]b[/math] aus dem Definitionsbereich gilt: Aus [math]a \lt b[/math] folgt [math]f(a)\ltf(b)[/math] (steigend), bzw. aus [math]a \lt b[/math] folgt [math]f(a) \gt f(b)[/math] (fallend).

Mächtigkeiten von Mengen

Eine wichtige Rolle spielt der Begriff der Injektion in der Mengenlehre bei Definition und Vergleich von Mächtigkeiten, einem Begriff, der die Elementeanzahl von endlichen Mengen auf beliebige Mengen verallgemeinert. Zwei Mengen [math]X,\,Y[/math] heißen „von gleicher Mächtigkeit“, wenn es sowohl eine Injektion von [math]X[/math] nach [math]Y[/math] als auch eine solche von [math]Y[/math] nach [math]X[/math] gibt. (In diesem Fall existieren auch Bijektionen von der einen auf die andere Menge.) Dagegen heißt [math]X[/math] von kleinerer Mächtigkeit als [math]Y[/math], wenn es zwar eine Injektion von [math]X[/math] nach [math]Y[/math], aber keine von [math]Y[/math] nach [math]X[/math] gibt.

Schubfachschluss

Ein in Beweisen insbesondere der Zahlentheorie häufiges Schlussschema benutzt die Feststellung, dass eine Abbildung [math]f[/math] einer endlichen Menge [math]X[/math] in eine Menge [math]Y[/math] mit weniger Elementen nicht injektiv sein kann, dass es also Elemente [math]a,b\in X[/math] mit [math]a\ne b[/math] und gleichem Bild [math]f(a) = f(b)[/math] gibt. Wegen der Vorstellung von vielen Objekten in weniger Schubfächern heißt das „Schubfachschluss“.

Anzahl injektiver Abbildungen

Die Anzahl der injektiven Abbildungen von einer Definitionsmenge [math]A[/math] in eine gegebene endliche Zielmenge [math]B[/math] mit der Eigenschaft [math]|B| \geq |A|[/math] ist gegeben durch:

[math]|B|\cdot (|B|-1) \cdot \ldots \cdot (|B|-|A|+1) = \frac{|B|!}{(|B|-|A|)!} = |A|! \cdot \binom{|B|}{|A|}[/math]

Dies entspricht in der Kombinatorik einer Variation ohne Wiederholung.

Geschichte

Dieser Artikel oder Abschnitt bedarf einer Überarbeitung:
  1. "Wahrscheinlich wurde das Wort injektiv [...] in den 1930er Jahren [..] geprägt. [...] das Adjektiv injektiv [wurde] 1952 [...] eingeführt." -- Nach dem 2. Satz (1952 eingeführt), wäre der 1. (wahrscheinlich in den 1930ern geprägt) falsch.
  2. "Adjektiv injektiv 1952 in den Foundations of algebraic topology" -- Ein deutsches Wort in einem englischen Buch? Nach dem Beleg ist das falsch, denn da heißt es: "injective in Eilenberg and Steenrod in Foundations of Algebraic Topology (1952)". Das deutsche Wort "injektiv" könnte jünger sein (passend zu "Wahrscheinlich [...] in den 1930er") oder auch älter.
    Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung.

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 1930er Jahren von N. Bourbaki geprägt. Das Substantiv Injektion wurde 1950 von S. MacLane, das Adjektiv injektiv 1952 in den Foundations of algebraic topology von S. Eilenberg und N. Steenrod eingeführt.[1]

Es herrscht stellenweise große Verwirrung bezüglich der Zuordnung zwischen den Begriffen „eineindeutig“ einerseits und „injektiv“ bzw. „bijektiv“ andererseits. Quellen (Lehrbücher) aus der reinen Mathematik favorisieren „injektiv“, fachfremde Quellen favorisieren teilweise eher „bijektiv“.

Einzelnachweise

  1. Earliest Known Uses of Some of the Words of Mathematics.

Weblinks


Kategorien: Keine Kategorien vorhanden!

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Injektivitä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.