更改

对于向量空间之间的线性映射<math>f : X \rightarrow Y</math>，其余核是指f的陪域Y除以f的像所得到的商空间<math>Y / \text{im}(f)</math>。我们把余核的维数称为f的余秩。

对于向量空间之间的线性映射<math>f : X \rightarrow Y</math>，其余核是指f的陪域Y除以f的像所得到的商空间<math>Y / \text{im}(f)</math>。我们把余核的维数称为<math>f</math>的余秩。

余核与范畴论中的核是对偶的概念，这也是其名称的由来：核是定义域的子对象（它映射到定义域），而余核则是陪域的商对象（它从陪域出发映射）。

余核与范畴论中的核是对偶的概念，这也是其名称的由来：核是定义域的子对象（它映射到定义域），而余核则是陪域的商对象（它从陪域出发映射）。