Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Injektivität ( injektiv oder eineindeutig ) ist eine Eigenschaft einer mathematischen Funktion . Sie tritt auf wenn nie zwei Elemente auf das Gleiche abgebildet werden d.h. Funktion in beide Richtungen eindeutig ist. Eine Funktion ist also (als Relation gesehen) links- und rechtseindeutig.
Sei <math>f</math> eine Funktion von <math>X</math> <math>Y</math>. <math>f : X \to Y</math>
<math>f</math> ist injektiv wenn für alle <math>y \in Y</math> höchstens ein <math>x \in X</math> mit <math>f(x) = existiert. ( höchstens eins bedeutet eins oder keins aber nicht mehr als )
alternativ :
<math>f</math> ist injektiv wenn für alle <math>x_1 x_2 \in X</math> und <math>y Y</math> gilt: wenn <math>f(x_1) = y</math> und = y</math> dann <math>x_1 = x_2</math>.