Injektive Abbildung

Injektive Abbildung
Eine injektive Funktion; X ist die Definitionsmenge und Y die Zielmenge.

Injektivität (injektiv, linkseindeutig) ist eine Eigenschaft einer mathematischen Funktion.

Sie bedeutet, dass jedes Element der Zielmenge höchstens einmal als Funktionswert angenommen wird. Es werden also keine zwei verschiedenen Elemente der Definitionsmenge auf ein und dasselbe Element der Zielmenge abgebildet. Eine injektive Funktion ist daher (als Relation gesehen) linkseindeutig.

Im Unterschied zu einer bijektiven Abbildung entspricht dabei nicht unbedingt jedem Element der Zielmenge ein Element der Definitionsmenge. Die Bildmenge kann also kleiner als die Zielmenge sein.

Eine injektive Funktion wird auch als Injektion bezeichnet.

Inhaltsverzeichnis

Definitionen

Seien X und Y Mengen, sowie f : X \to Y eine Abbildung von X nach Y.
Die folgenden Definitionen für Injektivität sind äquivalent:

  • f heißt injektiv, wenn zu jedem y aus Y höchstens ein x aus X existiert mit f(x) = y. („Höchstens eines“ bedeutet dabei: Gar keines oder genau eines, aber nicht mehrere.)
    Formal: \forall y \in Y: (\exists! x \in X: f(x) = y \vee \neg (\exists x \in X: f(x) = y))
  • f heißt injektiv, wenn aus der Gleichheit von Funktionswerten (y-Werten) die Gleichheit der in die Funktion eingesetzten x-Werte folgt.
    Formal: \forall x_1, x_2 \in X : (f(x_1)= f(x_2) \Rightarrow x_1=x_2)
  • f heißt injektiv, wenn ungleiche x-Werte stets auf ungleiche y-Werte abgebildet werden.
    Formal: \forall x_1, x_2 \in X : (x_1 \ne x_2 \Rightarrow f(x_1) \ne f(x_2))
    Verwendet man diese Definition zum Nachweis der Injektivität, führt dies oft zu einem Widerspruchsbeweis. Der direkte Beweis mit der vorigen Definition kann eleganter und kürzer sein.

Grafische Veranschaulichungen

Das Prinzip der Injektivität: Jeder Punkt in der Zielmenge (Y) wird höchstens einmal getroffen.
Drei injektive streng monoton steigende reelle Funktionen.
Drei injektive streng monoton fallende reelle Funktionen.

Beispiele und Gegenbeispiele

  • Unmathematisches 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.
f_1:\mathbb{N}\rightarrow\mathbb{N}\ , \ x \mapsto 2 x ist injektiv.
f_2:\mathbb{Z}\rightarrow\mathbb{Z}\ , \ x \mapsto 2 x ist injektiv.
f_3:\mathbb{N}\rightarrow\mathbb{N}\ , \ x \mapsto x^2 ist injektiv.
f_4:\mathbb{Z}\rightarrow\mathbb{Z}\ , \ x \mapsto x^2 ist nicht injektiv.

Eigenschaften

  • Eine stetige reellwertige Funktion auf einem reellen Intervall ist genau dann injektiv, wenn sie in ihrem gesamten Definitionsbereich streng monoton steigend oder streng monoton fallend ist, d.h. für zwei beliebige Zahlen a und b aus dem Definitionsbereich gilt: Aus a < b folgt f(a) < f(b) (steigend), bzw. aus a < b folgt f(a) > f(b) (fallend).
  • Man beachte, dass die Injektivität einer Funktion f : A \to B nur vom Funktionsgraphen \{(x, f(x)) \mid x \in A\} abhängt (im Gegensatz zur Surjektivität, die auch von der Zielmenge B abhängt, welche man am Funktionsgraphen nicht ablesen kann).
  • Sind die Funktionen f : A \to B und g : B \to C injektiv, dann gilt dies auch für die Komposition (Verkettung) g \circ f : A \to C.
  • Aus der Injektivität von g \circ f folgt, dass f injektiv ist.
  • Eine Funktion f : A \to B mit nichtleerer Definitionsmenge A ist genau dann injektiv, wenn f eine linke Inverse hat, also eine Funktion g : B \to A mit g \circ f = \operatorname{id}_A (wobei \operatorname{id}_A die identische Abbildung auf A bezeichnet).
  • Eine Funktion f : A \to B ist genau dann injektiv, wenn f links kürzbar ist, also für beliebige Funktionen g, h : C \to A mit f \circ g = f \circ h schon g = h folgt.
  • Eine Funktion f: A \to B ist genau dann injektiv, wenn für alle Teilmengen  X,Y \subseteq A gilt:  f(X \cap Y)=f(X) \cap f(Y)\!\,.
  • Jede beliebige Funktion f : A \to B ist darstellbar als Verkettung f = h \circ g, wobei g surjektiv und h injektiv (nämlich eine Inklusionsabbildung) ist.

Mächtigkeiten von Mengen

Für eine endliche Menge A ist die Mächtigkeit | A | einfach die Anzahl der Elemente von A. Ist nun f : A \to B eine injektive Funktion zwischen endlichen Mengen, dann muss B mindestens genauso viele Elemente wie A haben, es gilt also |B| \ge |A|.

Man kann dies äquivalent auch so formulieren: Ist f : A \to B eine Funktion zwischen endlichen Mengen und gilt | B | < | A | , dann ist f nicht injektiv. Es gibt also (mindestens) zwei verschiedene Elemente x und y von A mit f(x) = f(y). Diese Aussage wird auch als Schubfachprinzip bezeichnet.

Für unendliche Mengen werden Injektionen verwendet, um Mächtigkeiten der Größe nach zu vergleichen.

Geschichte

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. Das Substantiv Injektion wurde 1950 von S. MacLane, das Adjektiv injektiv 1952 in den Foundations of algebraic topology von Eilenberg und 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. Es sollte daher besser davon abgesehen werden, das Wort Eineindeutig in diesem Kontext zu verwenden.

Siehe auch

Einzelnachweise

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

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Injektive Funktion — Eine injektive Funktion; X ist die Definitionsmenge und Y die Zielmenge. Injektivität (injektiv, linkseindeutig) ist eine Eigenschaft einer mathematischen Funktion. Sie bedeutet, dass jedes Element der Zielmenge höchstens einmal als Funktionswert …   Deutsch Wikipedia

  • Abbildung (Mathematik) — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • injektive Funktion — Injektion; linkseindeutige Abbildung; links und rechtseindeutige Relation …   Universal-Lexikon

  • linkseindeutige Abbildung — Injektion; injektive Funktion; links und rechtseindeutige Relation …   Universal-Lexikon

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kopunktal — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”