余核 在数学中向量空间F中线性映射XY的余核cokernel也作上核是F的陪域关于F的像的商空间即YImF上核的维数称为F的余秩corank 范畴论中余核与核是对偶的因而得名核是域的子对象核映射到域而余核是上域的商对象上核由上域映射到 直观地要求解方程fxy余核表示使方程有解时对y的限制而核则表示解的自由度更一般地态射f XY在某些范畴中例如群的同态或希尔伯特空间之间的有界线性算子是一个对象Q和一个态射q YQ使qf是该范畴的零态射并且q的这个性质是泛性质Q就称为f的余核 在抽象代数的许多情况下如阿贝尔群向量空间模中同态f XY的余核是Y关于f的像的商在拓扑学中如希尔伯特空间之间的有界线性算子通常必须先取像的闭包然后再取这个商