Eine Abbildung, die verschiedene Elemente der Definitionsmenge auf verschiedene Elemente der Zielmenge abbildet; äquivalent: f ist injektiv, genau dann wenn f(x)=f(y) ⇒ x=y gilt.

Prinzip

Injektivität erzwingt die Eindeutigkeit der Bilder: keine zwei verschiedenen Elemente der Definitionsmenge kollidieren unter der Abbildung, was eine partielle Inversion auf dem Bild erlaubt und treue Einbettungen von Strukturen unterstützt, wenn zusätzliche Kompatibilitätsbedingungen erfüllt sind.

Demonstration

Die Inklusionsabbildung i: N → Z mit i(n)=n ist injektiv: jede natürliche Zahl hat ein unterscheidbares Bild. In der linearen Algebra hat eine injektive lineare Abbildung den trivialen Kern; z. B. bettet eine injektive lineare Transformation von R^2 nach R^3 R^2 als zweidimensionalen Unterraum ein.

Fehlanwendung

Zu glauben, Injektivität impliziere Invertierbarkeit auf dem gesamten Kodomain; eine injektive Abbildung muss nicht surjektiv sein, sodass keine zweiseitige Umkehrabbildung auf dem gesamten Ziel existiert. Ebenso die Verwechslung injektiver Abbildungen mit kategorialen Einbettungen, die zusätzliche Strukturerhaltung verlangen (topologische Einbettung, algebraische Einbettung).

Konsequenz

Injektivität garantiert, dass verschiedene Elemente der Definitionsmenge im Ziel unterscheidbar bleiben, ermöglicht Links-Inverse auf dem Bild und unterstützt Konstruktionen, die auf treuen Darstellungen oder Einbettungen beruhen.

Umkehrung

Eine surjektive, aber nicht injektive Abbildung kollabiert verschiedene Elemente der Definitionsmenge auf dasselbe Zielelement und verliert Information; solche Abbildungen sind viele-zu-eins und nicht eindeutig invertierbar.

Abgrenzung

Injektivität ist eine mengen theoretische Eigenschaft, unabhängig von Surjektivität oder anderen strukturellen Bedingungen; sie erhält nicht automatisch Operationen, Topologie oder Glattheit, es sei denn, zusätzliche Bedingungen sind gegeben.

Semantische Spannung

Injektivität wird oft mit Einbettung oder Monomorphismus in der Kategorientheorie verwechselt; die Spannung besteht darin, ob die Abbildung lediglich Punkte trennt (injektiv) oder zusätzlich Struktur und universelle Eigenschaften respektiert (Einbettung/Monomorphismus).

Synthese

Eine Injektion ist eine Funktion, die niemals zwei verschiedene Eingaben auf dasselbe Ergebnis abbildet, wodurch Eins-zu-eins-Unterscheidbarkeit gewährleistet und ein Links-Inverses auf ihrem Bild ermöglicht wird.