text: 在數學中，向量空間"F"中線性對映"X"→"Y"的餘核。範疇論中，餘核與核是對偶的，因而得名。核是域的子物件。直觀地，要求解方程f(x)=y，餘核表示使方程有解時對y的限制，而核則表示解的自由度。更一般地，態射"f": "X"→"Y"在某些範疇中，是一個物件"Q"和一個態射"q": "Y"→"Q"，使"qf"是該範疇的零態射，並且"q"的這個性質是泛性質。"Q"就稱為"f"的餘核。在抽象代數的許多情況下，如阿貝爾群、向量空間、模中，同態"f": "X"→"Y"的餘核是"Y"關於"f"的像的商。在拓撲學中，如希爾伯特空間之間的有界線性運算元，通常必須先取像的閉包，然後再取這個商。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 餘核
metadata: https://zh.wikipedia.org/wiki?curid=6838930