具体的には、mはそれ自身の余核の核である：m=ker⁡(coker(m)){\displaystylem=\ker(\mathrm{coker}(m))}余核は方程式が満たさなければならない制約の空間として、障害物の空間として、考えることができる。
所以这些算子构成的空间实际上是矩阵空间：Mn,m(R){\displaystyle{\mathcal{M}}_{n,m}(\mathbb{R})}，而对应的算子范数也称为矩阵范数。