fの余核(cokernel) - iPhoneアプリ作成のために

Kー線形写像f:V→Wについて

$$Coker(f) = W/Imf$$

と定義しこれを余核と呼ぶ。

---