Abbildung/Quantoreneigenschaften/Lösungsinterpretation/Bemerkung

Die Frage, ob eine Abbildung ${}F\colon L\rightarrow M$ die Eigenschaften injektiv oder surjektiv besitzt, kann man anhand der Gleichung

${}F(x)=y\,$

(in den beiden Variablen ${}x$ und ${}y$) erläutern. Die Surjektivität bedeutet, dass es zu jedem ${}y\in M$ mindestens eine Lösung

${}x\in L\,$

für diese Gleichung gibt, die Injektivität bedeutet, dass es zu jedem ${}y\in M$ maximal eine Lösung ${}x\in L$ für diese Gleichung gibt, und die Bijektivität bedeutet, dass es zu jedem ${}y\in M$ genau eine Lösung ${}x\in L$ für diese Gleichung gibt. Die Surjektivität entspricht also der Existenz von Lösungen, die Injektivität der Eindeutigkeit von Lösungen. Beide Fragestellungen durchziehen die Mathematik und können selbst wiederum häufig als die Surjektivität oder die Injektivität einer geeigneten Abbildung interpretiert werden.