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 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, so dass injektive Funktionen im Allgemeinen keine Umkehrfunktion haben.

Eine injektive Funktion wird auch als Injektion bezeichnet.

Definition

Seien $X$ und $Y$ Mengen, sowie $f\; :\; X\; \backslash to\; Y$ eine Abbildung von $X$ nach $Y$.

$f$ heißt injektiv, wenn für alle $y$ aus $Y$ höchstens ein $x$ aus $X$ mit $f(x)\; =\; y$ existiert.
(höchstens ein bedeutet auch keines)

Äquivalente Formulierung:

$f$ heißt injektiv, wenn für alle $x\_1$, $x\_2$ aus $X$ und $y$ aus $Y$ gilt: Wenn $f(x\_1)\; =\; y$ und $f(x\_2)\; =\; y$, dann $x\_1=x\_2$.

Formal: $\backslash forall\; x\_1,\; x\_2\; \backslash in\; X\; :\; f(x\_1)=\; f(x\_2)\; \backslash Rightarrow\; x\_1=x\_2$

Darstellungsformen

Injektivität_Mengenkasten_01.pngInjektivität_Mengenkasten_02.pngInjektivität_Mengenwolke.png

Beispiele und Gegenbeispiele

• Unmathematisches Beispiel: Die Funktion, die jedem Bürger der Bundesrepublik Deutschland mit Personalausweis die Nummer seines Personalausweises zuordnet, ist injektiv, wobei als Zielmenge die Menge aller möglichen Personalsausweisnummern angenommen wird.

• $\backslash mathbb\{N\}$ bezeichne die Menge der natürlichen und $\backslash mathbb\{Z\}$ die Menge der ganzen Zahlen.

$f\_1:\backslash mathbb\{N\}\backslash rightarrow\backslash mathbb\{N\}\backslash \; ,\; \backslash \; x\; \backslash mapsto\; 2\; x$ ist injektiv.

$f\_2:\backslash mathbb\{Z\}\backslash rightarrow\backslash mathbb\{Z\}\backslash \; ,\; \backslash \; x\; \backslash mapsto\; 2\; x$ ist injektiv.

$f\_3:\backslash mathbb\{N\}\backslash rightarrow\backslash mathbb\{N\}\backslash \; ,\; \backslash \; x\; \backslash mapsto\; x^2$ ist injektiv.

$f\_4:\backslash mathbb\{Z\}\backslash rightarrow\backslash mathbb\{Z\}\backslash \; ,\; \backslash \; x\; \backslash mapsto\; x^2$ ist nicht injektiv.

Eigenschaften

• Eine stetige reellwertige Funktion auf einem 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 $x\_1$, $x\_2$ aus dem Definitionsbereich gilt: Aus

• Man beachte, dass die Injektivität einer Funktion $f\; :\; A\; \backslash to\; B$ nur vom Funktionsgraphen $\backslash \{(x,\; f(x))\; \backslash mid\; x\; \backslash in\; A\backslash \}$ 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 → B und g : B → C injektiv, dann gilt dies auch für die Komposition (Verkettung) g o f : A → C.

• Aus der Injektivität von g o f folgt, dass f injektiv ist.

• Eine Funktion f : A → B mit nichtleerer Definitionsmenge A ist genau dann injektiv, wenn f eine linke Inverse hat, also eine Funktion g : B → A mit g o f = id_A (wobei id_A die identische Abbildung auf A bezeichnet).

• Eine Funktion f : A → B ist genau dann injektiv, wenn f links kürzbar ist, also für beliebige Funktionen g, h : C → A mit f o g = f o h schon g = h folgt.

• Jede beliebige Funktion f : A → B ist darstellbar als Verkettung f = h o 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 → B eine injektive Funktion zwischen endlichen Mengen, dann muss B mindestens genauso viele Elemente wie A haben, es gilt also |B| ≥ |A|.

Man kann dies äquivalent auch so formulieren: Ist f : A → 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.

Alternative Charakterisierung

Für die Injektivität einer Funktion f : X → Y sieht man oft auch die folgende Definition, die zu der oben angegebenen äquivalent ist:

$\backslash forall\; x\_1,\; x\_2\; \backslash in\; X\; :\; x\_1\; \backslash ne\; x\_2\; \backslash Rightarrow\; f(x\_1)\; \backslash ne\; f(x\_2)$

Verwendet man sie zum Nachweis der Injektivität, führt dies oft zu einem Widerspruchsbeweis. Der direkte Beweis mit der obigen Definition ist aber meist eleganter und kürzer, und daher vorzuziehen.

Geschichte

Nachdem man generationenlang mit Formulierungen wie "eineindeutig" (heute Bijektivität) 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. Als frühester Gebrauch im Englischen wird genannt ^*: Das Substantiv "Injektion" wurde 1950 von S. MacLane, das Adjektiv "injektiv" 1952 in den Foundations of algebraic topology von Eilenberg und Steenrod eingeführt.

Siehe auch

• Surjektivität
• Bijektivität
• Einbettung
• Monomorphismus

Mengenlehre

Инекция | Injective function | Función inyectiva | Injektio | Injection (mathématiques) | Injektio | Funzione iniettiva | 単射 | Injectie (wiskunde) | Funkcja różnowartościowa | Инъективность | Injektiv