滿態射是集合範疇中滿射概念的推廣。它是單態射的對偶概念。範疇C中的態射f：A→B，若有右可消性質，即由態射合成uf=vf可斷定u=v，則稱f為C中的滿態射。若fg為滿態射，則f為滿態射。
基本介紹
- 中文名：滿態射
- 外文名：epmorphisni
- 定義：反映集合的滿映射的代數性質
- 領域：數學
- 學科：範疇論
- 對偶概念：單態射
概念,單態射,範疇,範疇論,
概念
滿態射是集合範疇中滿射概念的推廣。它是單態射的對偶概念。範疇C中的態射f：A→B，若有右可消性質，即由態射合成uf=vf可斷定u=v，則稱f為C中的滿態射。若fg為滿態射，則f為滿態射；滿態射的合成仍為滿態射；單位態射必是滿態射，甚至右可逆態射也是滿態射。在群範疇中滿態射即滿同態；在環範疇中滿同態為滿態射，但反之不真。
單態射
單態射是集合範疇Set中單射概念的推廣。它與滿態射是互為對偶的概念。範疇C中的態射f：A→B，若有左可消性質，即對使態射合成有意義的態射u，v，由fu=fv可斷定u=v，則稱f為C中的單態射。若gf為單態射，則f必為單態射；單態射的合成仍為單態射；單位態射必為單態射，甚至左可逆態射也是單態射。
單射
亦稱一一映射。一種重要的映射。與一一對應，單葉函式同義的概念。映射f：A→B對任何a，b∈A，a≠b均有f(a)≠f(b)，即對於f的值域中的任一元素b，|f(b)|≤1。單射不必是滿射。
單射有下列性質：
1.f：A→B是單射的充分必要條件是對任何b∈B，f(b)是空集或單元集。
2.若f：A→B，g：B→C均是單射，則g°f：A→C是單射。
3.若f：A→B，g：B→C是映射，g°f：A→C是單射，則f：A→B是單射，且g|f(A)：f(A)→C是單射。
4.單射有左逆映射。對單射f：A→B可以定義映射fL：B→A使fL°f是集合A的恆等映射。這隻要對B-f(A)中的每一個元素指定A中一個元素與之對應，對f(A)中任一元素b，指定f(b)與之對應。當單射不是滿射時，這樣的左逆映射不只一個。
5.若f：A→B是單射，則：
1) 對A1A，f(f(A1))=A1。
2) 對B1B，f(f(B1))=B1∩f(A)B1，特別當B1f(A)時，f(f(B1))=B1。
3) 對A1A，A2A，有：f(A1∩A2)=f(A1)∩f(A2)，f(A1-A2)=f(A1)-f(A2)。
6.對任何映射f： A→B，可定義單射g：A→A×B，使g(a)=〈a，f(a)〉。
7.f：A→B是單射的充分必要條件是對任意兩個映射φ：C→A，ψ：C→A，在φ≠ψ時，f°φ≠f°ψ。
範疇
範疇論的基本概念之一。稱C是一個範疇，是指C滿足下述六點：
1.C有一個對象類{A，B，C，…}(不要求它是一個集合，即不要求它滿足集合論的公理，只要求能判別出是不是它的對象)，常記為ObjC或簡記C。
2.對C的任兩對象A，B，有一個確定的集合(可為空集)Hom(A，B)，其元素稱為由A到B的態射，記為f∈Hom(A，B)或f：A→B。
3.對給定的f∈Hom(A，B)與g∈Hom(B，C)有惟一的gf∈Hom(A，C)，稱為f與g的合成。
4.Hom(A，B)與Hom(C，D)有公共元是指A=C且B=D。
5.態射合成滿足結合律。
6.對C的任意對象A，Hom(A，A)至少有一個元素εA使對σ∈Hom(A，B)恆有σεA=σ=εBσ，稱εA為A的恆等態射(εB為B的恆等態射)。
例如，以一切集合作對象，以集合映射作態射，則得集合範疇Set(簡稱集範疇).以一切拓撲空間作對象，以連續映射作態射，則得拓撲空間範疇Top.以一切環為對象，以環同態作為態射得環範疇Ring。類似地，可得群範疇Group，阿貝爾群範疇AG，環R上的左R模範疇RM等。以自然數為對象，a|b(表示a整除b)時定義Hom(a，b)有惟一元素φab，ab時定義Hom(a，b)=(空集)，也得到一個範疇。一般地，對每個擬序集都可仿此定義範疇。
範疇論
代數學的一個重要分支。數學的各個領域都有各自的研究對象。例如，集合論研究集合與映射；線性代數研究線性空間與線性映射;群論研究群與群同態；拓撲學研究拓撲空間與連續映射。在20世紀中期，數學家們認為有必要將各個領域中的研究對象各自合在一起成為一個整體，使之成為一種數學系統，這就是範疇思想。於是，所有的集合與映射組成集合範疇；所有的群與群同態組成群範疇。在各個範疇之間往往存在著內在聯繫與變換。例如，一個群模去其換位子群的商群(稱為交換化)得到一個交換群，從而交換化成為群範疇到交換群範疇的一個變換，且這個變換保持著群同態及其合成。事實上，這就是函子的思想.在域F上的線性空間範疇中，任一線性空間L必有惟一的對偶空間L=HomF(L，F)，“*”可看成這個線性空間範疇到自身的一個變換。儘管當L為有限維時L與L是同構的(記這個同構為τ：L→L)，但這個同構不是“自然”的。即，若L1與L2間有一個同構α：L1→L2，“*”誘導出L2到L1的一個同構為α，但對L1中的元素x來說，τα(x)一般地並不等於ατ(x)。這就引起“自然性”的研究。艾倫伯格(Eilenberg，S.)與麥克萊恩(MacLane，S.)於1945年發表的論文《自然等價的一般理論》為範疇論的建立作出了奠基性的工作。
在某種意義上來說，範疇論提煉了數學(甚至其他學科)各分支的共性，是比集合論更高一個層次的數學公共語言與工具。它使數學各個領域的研究通過箭頭圖做了一致化與簡單化的處理，更加顯示其本質上的東西，同時使許多數學系統的性質通過圖的泛性質得到了深刻的刻畫。戈德門特(Godement，R.)於1958年將範疇論套用到拓撲學，埃雷斯曼(Ehresmann，C.)於1958年將範疇論套用到微分幾何，格羅騰迪克(Grothendieck，A.)與迪厄多內(Dieudonné，J.)於1960年將範疇論套用到代數幾何.現在，範疇論在上述學科及同調代數、代數K理論、模論、環論等學科中都得到了成功的套用。套用範疇論時，關鍵是先搞清研究問題以什麼作對象，以什麼作態射。研究不同範疇之間的關係時，關鍵在於找到適當的函子。範疇論的核心是函子理論。艾倫伯格與麥克萊恩為了搞清某些同構(等價)的“自然”變換之精確含義，於1945年引入範疇與函子的概念去定義自然變換.現在，範疇論已滲透到現代數學的各個領域(甚至已套用到計算機科學等)，成為現代數學的基礎。
