跳至內容

函子

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

範疇論中,函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射

函子首先現身於代數拓撲學,其中拓撲空間的連續映射給出相應的代數對象(如基本群、同調群或上同調群)的代數同態。在當代數學中,函子被用來描述各種範疇間的關係。「函子」(英文:Functor)一詞借自哲學家魯道夫·卡爾納普的用語[1]。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關[2]。對卡爾納普而言,不同於當代範疇論的用法,函子是個語言學的詞彙。對範疇論者來說,函子則是個特別類型的函數。

定義

[編輯]

CD範疇,從CD函子為一映射:

  • 將每個對象映射至一對象上,
  • 將每個態射映射至一態射上,使之滿足下列條件:
  • 對任何對象,恆有
  • 對任何態射,恆有。換言之,函子會保持單位態射與態射的複合。

一個由一範疇映射至其自身的函子稱之為「自函子」。

協變與反變

[編輯]

數學中有許多構造具有函子的性質,不同之處在於它們將態射的方向「反轉」。為此,我們定義反變函子 為:

  • 將每個對象映射至一對象上。
  • 將每個態射映射至一態射上。

使之滿足:

  • 對任何對象恆有
  • 對任何中的態射,恆有

注意,反變函子反轉了複合的方向。

在此脈絡下,原定義中的函子亦稱之為協變函子,以區分和反變函子之間的不同。也可以將反變函子定義為在對偶範疇上的「協變」函子。一些作者即較喜好將所有的表示式寫成協變的。亦即,不說為一反變函子,而簡單寫成(或有時為),並稱之為函子。

自然變換

[編輯]

兩個函子間的自然變換是一族態射

使得任何及態射均滿足下述交換圖

diagram defining natural transformations
diagram defining natural transformations

皆為同構時,可以定義此自然變換之逆,兩者的合成為恆等自然變換。此時稱為函子之間的同構。

對反變函子也可以類似地定義自然變換。

例子

[編輯]

常數函子:將每個對象映射至一固定對象中,並將所有態射映射至中的函子CD常數函子亦之稱為選擇函子

對角函子:對角函子被定義為由D至函子範疇DC的函子,將每個在D內的對象映射至此對象的常數函子上。

極限函子:對一固定的指標範疇,若每個函子JC都有個極限(即若C為完全的),則極限函子CJC即為將每個函子映射至其極限的函子。此類函子的存在性可以由將其理解為對角函子的右伴隨函子,且引入福端伴隨函子定理來證明之。這需要一個適當版本的選擇公理。相似的說法也可應用在上極限函子(其為協變的)之中。

冪集合冪集合函子P : SetSet將每個集合映射至其冪集合,且將每個函數映射至從至其值域的映射。亦可考慮反變冪集合函子,將f 映射至從U映射至其在Y內的逆象

對偶向量空間:此函子將每個向量空間映射至其對偶空間中,並將每個線性映射映射至其對偶映射中,為一個由所有在一固定上的向量空間所組成的範疇映射至其自身的反變函子。

基本群:考慮一個由有點空間(即帶有可區分點的拓樸空間)所組成的範疇,其對象為對 (X, x0),其中X為一拓樸空間且x0X中的一點,由 (X,x0)至 (Y, y0)的態射為一連續映射f : XY,且滿足f(x0) = y0

對每個有可區分點x0的拓樸空間X,可定義一個基於x0上的基本群π1(X, x0)。這個一個基於x0上的環的同倫類的。若f : XY是一個有點空間的態射,則每個在X內,基於點x0上的環即可經由f得出一個在Y內,基於y0的環。此一運算和同倫等價關係及環的複合相符,故可得出一個由π(X, x0)至π(Y, y0)的群同態。因此,即可得出一個由有點拓樸空間範疇至群範疇的函子。

在拓樸空間(沒有可區分點)範疇中,可考慮一般曲線的同倫類,但無法複合,除非它們共有一個端點。因此可以有一基本廣群,而無法一定有一基本群。

連續函數的代數:一個由拓樸空間的範疇(其態射為連續映射)至實結合代數的範疇的反變函子,其將每個拓樸空間X映射至此空間上所有實變連續函數的代數C(X)上。每個連續映射f : XY都可導出一個代數同態C(f) : C(Y) → C(X),經由讓每個C(Y)內的&phi,C(f)(φ) = φ o f。當空間帶有更多結構(例如光滑流形複流形)時,定義可以相應地推廣。

切叢和餘切叢:將每個微分流形映射至其切叢中且將每個光滑映射映射至其導數中的映射,為一由微分流形的範疇至向量叢的範疇的協變函子。同樣地,將每個微分流形映射至其餘切叢中且將每個光滑映射映射至其回拉的映射,為一反變函子。

在每個點上做此建構可以給出由有點微分流分的範疇至實向量空間的範疇的協變及反變函子。

群作用/表示:每個G都可以被認為帶有單一個對象的範疇。一個由GSet的函子只是G在一特定集合上的群作用,即一個G-集合。同樣地,一個由G向量空間範疇VectK的函子會是個G線性表示。一般來說,一個函子GC可以被認為是G在範疇C中的一個對象上的「作用」。

李代數:將每個實(複)李群映射至其實(複)李代數可定義出一函子。

張量積:若C為在一固定體上的向量空間的範疇且其態射為線性映射,則張量積可定義出一個函子C × CC,其中兩個引數都是協變的。

遺忘函子:函子U : GrpSet映射至其源集合且將群同態映射至其源函數。此類的函子會「遺忘」部份的結構,因此稱之為「遺忘函子」。另一個例子為函子RngAb,其將映射至其源加法阿貝爾群中。在Rng中的態射(環同態)則遺忘了其中的乘法,而變成了在Ab中的態射(阿貝爾群同態)。其他如體、模、拓樸空間等基於集合的結構也可以取其遺忘函子。

自由函子:遺忘函子的反向即為自由函子。自由函子F : SetGrp將每個集合X映射至由X產生的自由群,函數則映射至自由群間的群同態。自由函子的建構可存在於許多基於由集合的結構的範疇。詳見自由對象

同態群:對每一對AB,皆可得出一個由所有從AB群同態所組成的阿貝爾群Hom(A,B)。這是一個其第一個引數為反變,第二個引數為協變的函子,即為一函子Abop × AbAb(其中的Ab為具群同態的阿貝爾群範疇)。若f : A1A2g : B1B2為兩個在Ab中的態射,則群同態Hom(f,g) : Hom(A2,B1) → Hom(A1,B2)以φ g o φ o f來給定。詳見同態函子

表示函子:可將上述例子廣義化至任一範疇C中。即對每一對在C中的對象XY,可得出一個由從XY的所有態射所組成的集合Hom(X,Y)。這會定義出一個映射至Set,且其第一個引數為反變,第二個引數為協變的函子,即一函子Cop × CSet。若f : X1X2g : Y1Y2C中的態射,則其群同態Hom(f,g) : Hom(X2,Y1) → Hom(X1,Y2)以φ g o φ o f來給定。

此類函子即稱之為表示函子。建構出此函子的一個重要目的在於決定一給定函子是否為可表示的。

預層:若X為一拓撲空間,則在X上的開集會形成一個在包括下的偏序集合Open(X)。如同每個偏序開集一般,Open(X)會形成一個小範疇,帶有態射UV若且唯若時。在Open(X)上的反變函子稱之為在X上的「預層」。例如,將每個開集U賦值至在U上的實變連續函數的結合代數,即可得到一個在X上的代數的頂層。

性質

[編輯]

從函子的公理中可得出兩個重要的推論:

  • F將每個在C中的交換圖變換成D中的一個交換圖;
  • fC中的一個同構,則F(f)也會為D中的一個同構。

若函子滿足為同構若且唯若為同構,則稱之為保守函子

在任意範疇C上,可定義一個單位函子1C,其將每個對象和態射映射至其自身。也可以將函子複合,即若F為一由AB的函子且G為一由BC的函子,則可組成一個由AC的複合函子。函子的複合依定義是可結合的。這顯示函子可以被認為是範疇的範疇中的態射。

一個只具單一對象的小範疇等同於一個么半群,此一單一對象範疇的態射可被視為是么半群中的元素,且其在範疇中的複合則可以視為是么半群中的運算。此時這類範疇間的函子無非是么半群間的同態。在此意義下,任意範疇間的函子可被視為是么半群同態至多於一個對象的範疇的一種廣義化。

雙函子與多函子

[編輯]

雙函子是函子概念在「雙變元」時的推廣。形式的定義則定義在兩個範疇的積上的函子

函子是一個自然的例子,它對第一個變元反變,對第二個變元協變。

雙函子是有「兩個」引數的函子。同態函子即為一個例子;其第一個引數為反變的,第二個引數則為協變的。

形式上來說,雙函子是一個其定義域為積範疇的函子。例子,同態函子即為Cop × CSet

多函子是將函子的概念廣義化至n個引數。而雙函子當然是一個n=2的多函子。

與其他範疇論概念的關係

[編輯]

函子本身亦可視為函子範疇中的對象,該範疇中的態射是函子間的自然變換。近來有以「函子的態射」取代術語「自然變換」的趨勢。

函子也經常以泛性質定義,例子包括了張量積,的直和、直積,自由群與自由模的構造;許多構造可以統合於正極限與逆極限的概念下。

泛建構也往往給出一對伴隨函子

具特殊性質之函子

[編輯]
  • 本質滿射函子:使得值域中任意對象皆同構於某個的函子。
  • 正合函子:保存有限極限的函子。在阿貝爾範疇中相當於保存正合序列
  • 忠實函子:使得對任意對象單射的函子。
  • 完全函子:使得對任意對象滿射的函子。
  • 完全忠實函子:既完全且忠實的函子稱為完全忠實函子。是完全忠實函子的充要條件是是範疇的等價,其中表示中由的像生成的滿子範疇。
  • 保守函子:使得為同構若且唯若為同構的函子。
  • 加法函子:指預加法範疇(或加法範疇)中保存同態集(以及雙積)的阿貝爾群結構的函子。
  • 伴隨函子滿足下述條件時稱為一對伴隨函子:

註釋

[編輯]
  1. ^ S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag: New York, 1971.
  2. ^ Carnap, The Logical Syntax of Language, p.13-14, 1937, Routledge & Kegan Paul