cokernel

cokernel（余核）は、線形代数や圏論における概念であり、ある写像がどれだけ全射から遠いかを測る指標として機能します。具体的には、写像の像（image）を余域（codomain）から取り除いた残りの部分を構造化したものであり、写像によって到達できない空間の大きさを表現します。

kernelとの対比

kernel（核）が写像によって零ベクトルに写される要素の集合であり、写像の冗長性や潰れた部分に注目するのに対し、cokernelは写像の像が余域をどれだけ満たしていないかという不足分に注目します。このため、kernelがドメイン（定義域）側の性質を表すのに対し、cokernelはコドメイン（余域）側の性質を表すという対照的な関係にあります。

数学的な役割と応用

実用的な文脈では、以下のような視点で利用されます。

線形写像において、cokernelが零空間であることは、その写像が全射であることを意味します。
圏論においては、cokernelは共限（colimit）の一種であり、特定の構造を商として定義する際の基礎となります。
ホモロジー代数などの高度な分野では、完全系列を用いて空間の構造を解析する際に、kernelとcokernelを交互に配置することで、空間の位相的な特徴を抽出します。