Loading AI tools
来自维基百科,自由的百科全书
在范畴论中,一个数学领域, 推出(也称为纤维餘积、纤维和、共合和或餘笛卡尔方块)是由具有公共定义域的两个态射 f : Z → X 与 g : Z → Y 组成的图表的餘极限。
推出是拉回的范畴对偶。
明确地说,态射 f 与 g 的推出由一个对象 P 和两个态射 i1 : X → P 与 i2 : Y → P 组成,使得图表交换:
并且,推出 (P, i1, i2) 关于这个图表必须是通用的。这就是说,任何其它这样的三元组 (Q, j1, j2),一定存在一个惟一的 u : P → Q 使得如下图表交换:
和所有泛构造一样,推出如果存在,则在差一个同构态射的意义下是惟一的。
这里有一些类似范畴中推出的例子。以下每种情形只构造推出同构类中的一个对象;如上所述,可能有其它构造方法,但是它们都是等价的。
上述所有例子都可以看成下面非常一般的构造的特例,这对只要餘积和餘等化子存在的任何范畴 C 都可行:
分两步,先构造靶 X 与 Y 的餘积。得到从 Z 到这个餘积的两个态射:从 Z 通过 f 到 X,然后包含到餘积;或者从 Z 通过 g 到 Y,再包含到餘积。f 与 g 的推出便是这两个新态射的餘等化子。
回到拓扑,塞弗特-范坎彭定理回答了如下问题。假设我们有一个连通空间 X,被两个连通开空间 A 与 B 覆盖,它们的交 D 也是连通的(假设基点 * 在 A 的交中)。如果知道 A , B 与 D 的基本群,我们可以求出 X 的基本群吗?答案是肯定的。
假设我们也知道包含同态 与 定理说空间 X 的基本群是这两个包含映射的推出。当然,X 是 D 到 A 与 B 的两个包含映射的推出。从而我们可以将这个定理更深刻地理解为基本群函子保持包含推出的基本群。我们可能预计当 D 是单连通时最简单,因为两个上面同态的定义域都是平凡群。事实上确实如此,因为此时群的推出退化成自由积,即群范畴中的餘积。在更一般的情形我们可以说是带共合的自由积。
下面所列 J. P. May 的书中,在稍一般情形(覆盖群胚)给出了详细地说明。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.