線形写像fは、数ベクトル空間k^mからk^nへの変換を表す。この線形写像fの核をkerfとする。
この時
kerfの要素は、0∈k^nのみ⇔fは単写

は正しいよね?