數學範疇論分支,若干個函數等化子(英語:equaliser)是使其值相等的參數的集合。換言之,兩個函數的等化子,是方程解集英语solution set。僅得兩個函數時,也稱為其差核,因為等於兩個函數之英语Kernel (category theory)

定義

编辑

  集合。又設 為從  函數。則  等化子 中所有滿足 的元素 的集合,以符號表示為:

 

等化子可以表示成 或類似的符號,如改成小楷 。有時非正式地寫成 

上述定義用到兩個函數 ,但其實不必限制為兩個函數,甚至不必為有限多個函數。一般而言,若 是一族函數,從 映向 ,則 的元素的等化子,是使 對所有 皆相等的元素 的集合。以符號表示:

 

 可以寫成 ,則等化子亦記為 。此情況下,亦可非正式地寫成 

作為一般定義的退化,考慮 單元集 。由於 必然等於自己,等化子等於整個定義域 。更退化的情況下,設 空集。則等化子仍為全個定義域 ,因為條件的全稱量化命題為空真命題英语vacuously true

差核

编辑

二元的等化子(即兩個函數的等化子)又稱差核(英語:difference kernel)。 的差核可以記為   。最後一種寫法表明名稱的由來,是兩個函數之差的,而且抽象代数中,該寫法亦最常用。此外,單一個函數 的核,可以作為差核 找到,其中 表示取零值常數函數

以上假設核的意義如同抽象代數中,解作某函數作用下, 原像,但在範疇論定義中,並不一定。

範疇論

编辑

等化子可以用泛性質定義,以將此概念從集合範疇推廣到任意的範疇

一般地,在任意範疇中,設 為物件,而 為自  態射。此兩件物件及兩個態射組成該範疇的一幅,而 的等化子,則是該圖表的極限

具體而言,等化子是物件 與態射 的整體,滿足 ,且對任意物件 與態射 ,若有 ,則存在唯一的態射 ,使得 

其中態射 滿足的條件,即 ,又稱為等化(英語:equalise  [1]

泛代数範疇,例如有定義差核的範疇,或集合範疇 ,物件 總可以按原始定義(即 )選取,而相應的態射 則是 作為 子集包含映射

可以直接推廣到多於兩支態射的情況,只要用在圖中,添加更多支態射,然後再取極限便可。同樣,只有一支態射的退化情況也很直接,而 可以取為任何由  同構

但是,無態射的退化情況較為特殊,要較仔細畫出正確的圖。一開始,可能會嘗試畫出物件  ,然後不加任何態射。然而,此為不正確,因為該圖的極限,是  範疇論積,而非所求的等化子(應為 )。正確觀念是,等化子的定義,與定義域 密切相關(例如在集合範疇的情況下, 出現在定義式中),但與 的關聯則僅在於 是圖中態射的陪域。 所以,若無態射,則 不必出現,故圖僅有 。此圖的極限,是任何  間的同構。

可以證明,任意範疇中的等化子,皆為單態射。反之,若逆命題成立,即單態射皆為某兩支態射的等化子,則該範疇(在單態射意義下)稱為正則(英語:regular)。更一般地,任意範疇中,正則單態射是某族態射的等化子。也有作者更嚴格,要求其為某兩個態射的二元等化子。然而,若所考慮的範疇完備英语complete category,則兩種定義一致。

範疇論中,也有差核的概念。術語「差核」在範疇論各處也常用作描述二元等化子。預可加範疇中(於阿貝爾群範疇英语Category of abelian groups濃縮英语enriched category的範疇,粗略而言,即每個態射集 皆具阿貝爾群結構),「差核」一詞能逐字理解,因為兩支(相同端點的)態射之差有定義,即 ,其中 表示範疇論核英语kernel (category theory)

若範疇有拉回(纖維積)及積,則有等化子。

參見

编辑

參考文獻

编辑
  1. ^ Barr, Michael; Wells, Charles. Category theory for computing science [電腦科學用的範疇論] (PDF). 1998: 266 [2013-07-20]. (原始内容 (PDF)存档于2016-03-04) (英语). 

外部鏈結

编辑