線形写像fが単射⇔ker f =0
（⇒)
証明
f:単射と仮定する。
f(x)=f(y)⇒x=y

f(x)-f(y)=0⇒f(x-y)=0
　　　　　 ⇒x-y∈ker f
　　 ⇒0∈ker f
f:単射よりf(x-y)=0となるx-yはユニーク。
よってker f={0}