In einer Übungsaufgabe von mir sollte ich zu einer gegebenen linearen Abbildung \(\varphi:V\rightarrow V\) die Determinante berechnen. Dabei bin ich auf eine Eigenschaft gestoßen: 
\(\varphi \text{ nicht injektiv } \Rightarrow \det\varphi = 0\)
Als Begründung dafür habe ich mir folgendes überlegt:
Um die Determinante der Abbildung zu berechnen, muss die Determinante der representierenden Matrix \([\varphi]_B\) berechnet werden. Dabei ist \(B=(b_i)_{i=1..n}\) eine Basis von \(V\). Diese Matrix ist definiert durch: \([\varphi]_B=(\varphi(b_1)\ |\ \varphi(b_1)\ | \dotsc\ |\ \varphi(b_n)\). Wenn nun \(\varphi\) nicht injektiv wäre, dann ist \(\ker\varphi \neq \{0\}\), also es existiert ein \(v\in V\backslash\{0\}\) mit \(\varphi(v)=0\). Nun erzeuge ich eine Basis mit \(v\) und meine Matrix \([\varphi]_B\) hätte dann eine Nullspalte, also gilt \(\det\varphi = 0\).

Macht die Überlegung so Sinn? Wirkt irgendwie zu einfach, da zu zeigen, dass die Abbildung nicht injektiv ist, sehr simpel ist (in meiner Übung). Und gilt auch die Umkehrung? Also ist meine Eigenschaft eine Äquivalenz, so dass \(  \det\varphi = 0 \Rightarrow \varphi \text{ nicht injektiv }\)