2,972
个编辑
更改
跳到导航
跳到搜索
第1行：
第1行： − +
无编辑摘要
对于向量空间之间的线性映射<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>的余秩。
余核与范畴论中的核是对偶的概念，这也是其名称的由来：核是定义域的子对象（它映射到定义域），而余核则是陪域的商对象（它从陪域出发映射）。
余核与范畴论中的核是对偶的概念，这也是其名称的由来：核是定义域的子对象（它映射到定义域），而余核则是陪域的商对象（它从陪域出发映射）。