推出(範疇論概念)

推出(範疇論概念)

本詞條是多義詞,共2個義項
更多義項 ▼ 收起列表 ▲

推出push out是範疇論中的一個概念,定義是給定範疇C與J=與對角函子Δ:C→C,f:a→b與g:a→c為C中態射,則推出為從<f,g>到Δ的泛態射,其對應的始對象為。

基本介紹

  • 中文名:推出
  • 外文名:push out
    fibered sum
  • 所屬學科範疇論
  • 別名:纖維和
定義,泛性質,例子,性質,構造,套用,

定義

J=·←·→·的歸納極限推出

泛性質

明確地說,態射fg的推出由一個對象P和兩個態射i1:XPi2:YP組成,使得圖表交換
推出
泛性質
並且,推出 (P,i1,i2) 關於這個圖表必須是通用的。這就是說,任何其它這樣的三元組 (Q,j1,j2),一定存在一個惟一的u:PQ使得如下圖表交換:
推出
泛性質
和所有泛構造一樣,推出如果存在,則在差一個同構態射的意義下是惟一的。

例子

這裡有一些類似範疇中推出的例子。注意每種情形,我們只構造推出同構類中的一個對象;如上所述,可能有其它構造方法,但是它們都是等價的。
1.若C為集範疇Set,則
為b與c的可區分的並,且任意x∈a,fx與gx黏合為同一個點。
2.若C為拓撲空間範疇Top,則
黏著空間,其構造與集範疇類似。上面的一個特例是楔和或一點並;這裡取XY帶基點的空間Z為 1 點空間。那么將XY的基點黏合起來得到的空間,便是推出。
3.在阿貝爾群範疇中,推出可以想像為“黏合直和”,以這種方式我們將黏著空間視為“黏合不交並”。零群是任何群的子群,所以任何阿貝爾群AB,同態f: 0 →A以及g: 0 →B的推出是AB的直和。把這種情形推廣為fg是任何有公共定義域的同態,我們得到直和的一個商群,即模去由 (f(z),-g(z)) 組成的子群。從而我們將Z的通過fg黏合起來了。一個類似的技巧得出任何R模範疇中的同構。
4. 在群範疇,推出稱為共合積。下面在代數拓撲的塞弗特-范坎彭定理中展示出來。

性質

構造

上述所有例子都可以看成下面非常一般的構造的特例,這對只要余積和余等化子存在的任何範疇C都可行:
分兩步,先構造靶XY的余積。得到從Z到這個余積的兩個態射:從Z通過fX,然後包含到余積;或者從Z通過gY,再包含到余積。fg的推出便是這兩個新態射的余等化子。

套用

回到拓撲,塞弗特-范坎彭定理回答了如下問題。假設我們有一個連通空間X,被兩個連通開空間AB覆蓋,它們的交D也是連通的(假設基點 * 在A的交中)。如果知道A,BD基本群,我們可以求出X的基本群嗎?答案是肯定的。
假設我們也知道包含同態π1(D,*)→π1(A,*)與π1(D,*)→π1(B,*)定理說空間X的基本群是這兩個包含映射的推出。當然,XDAB的兩個包含映射的推出。從而我們可以將這個定理更深刻地理解為基本群函子保持包含推出的基本群。我們可能預計當D單連通時最簡單,因為兩個上面同態的定義域都是平凡群。事實上確實如此,因為此時群的推出退化成自由積,即群範疇中的余積。在更一般的情形我們可以說是帶共合的自由積。
下面所列 J. P. May 的書中,在稍一般情形(覆蓋廣群)給出了詳細地說明。

相關詞條

熱門詞條

聯絡我們