余核
余核は方程式が満たさなければならない制約の空間として、障害物の空間として、考えることができる。ちょうど核が解の空間であるように。
フォーマルには、核と余核を完全列によって結びつけることができる
0 → ker  T → V → W → c o k e r T → 0. {\displaystyle 0\to \ker T\to V\to W\to \mathrm {coker} \,T\to 0.}
これらは次のように解釈できる:解くべき線型方程式 T(v)=w が与えられると、
核は斉次方程式 T(v)=0 の解の空間であり、存在すれば、その次元は解の 自由さの度合い の数である。
余核は方程式が解を持つならば満たされなければならない 制約 の空間であり、その次元は方程式が解を持つために満たされなければならない制約の数である。
商空間 W/T(V) の次元は単に空間の次元から像の次元を引いたものだから、余核の次元と像の次元(階数)を足すと終域の空間の次元になる。