在代数拓扑中,基本群(或称庞加莱群)是一个重要的同伦不变量。拓扑空间的基本群的元素是该空间中从某一点出发的环路的同伦等价类; 基本群的群运算是环路的同伦等价类的衔接运算。拓扑空间的基本形状, 或者孔洞的信息都可以在它的基本群中体现。所以基本群能用以研究两个空间是否同胚,两个同胚的空间的基本群是同构的, 基本群也能分类一个连通空间的覆叠空间。关于拓扑空间
的基本群的符号是
。
基本群的推广之一是同伦群。基本群是最初和最简单的同伦群。
直观诠释:二维环面的情形[编辑]
二维环面上由p点出发的环路
首先,让我们考虑二维环面(或者可以想象成甜甜圈的表面)的例子作为热身,固定其上一点
。
从此点出发,则可以建构环路(即:从
出发的并回到
的闭曲线)。设想环路如橡皮筋可自由变形与拉长,只要起点与终点仍是
且环路仍处在环面上即可。这种变形叫做同伦,若一环路可以从另一环路借此变形而得到,则称两者同伦等价。我们只探讨环路的同伦类。二维环面的基本群由环路的同伦类组成。
a与b非同伦等价
在上图中,
与
并非同伦等价:无法连续地从一者变换到另一者而不将环路“扯断”,它们代表基本群中的不同元素。借着增加环绕圈数,可以获得更多的同伦类。
a、b两条环路的衔接
顾名思义,基本群不只是一个集合,它带还有群结构:二元运算由环路的衔接给出,即先走完第一条环路,再走第二条环路,使得两段环路上的速率相同。基本群中的单位元素
由静止在
点的环路代表,逆元由环路的逆行代表之,即:若一元素由环路
代表,则其逆元由
代表,其中
。
形式定义[编辑]
设
为拓扑空间,
为其中定点。一条连续道路是一个连续映射
,而一个以
为基点的环路是一条满足
的连续道路。以下若不另外说明,则环路皆以
为基点。
对两条环路
,如果存在一个连续函数(保持基点的同伦)
使得
![{\displaystyle \forall t\in [0,1],\,H(t,0)=\gamma _{0}(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b194336516f8ab9bc78dc23feb6b38b3ecc4d4c5)
![{\displaystyle \forall t\in [0,1],\,H(t,1)=\gamma _{1}(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d54a3eaa064af66caff805a9430af4137bbc88b)
![{\displaystyle \forall x\in [0,1],\,H(0,x)=H(1,x)=p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f289eff9f0e9d61684080a89e33f94f68edd73ef)
则称两者同伦等价。
同伦的环路变化
不难验证此关系确为等价关系。因此我们可考虑环路对此关系的等价类,以
表一环路
隶属的等价类,亦称同伦类。
现在定两条环路
的衔接为:
直观地说,此环路是先走
再走
,每一段都将速度加倍,以在单位时间内走完全程。可证明
决定于
,因此可在环路的同伦类上定义二元运算“*”。不难看出此运算满足结合律。
令单位元
为环路
(即静止于
点的环路),并令环路
之逆为
(即
逆行)。可证明
在同伦类上有明确定义,且同伦类在此运算下成为一个群。
此群称为
在基点
的基本群,记为
。
对任何基点的基本群皆为平凡群。换言之,每个环路都可以连续地变形到基点。这类空间称为单连通空间。
- 当
时,
为单连通。
- 圆环
之基本群为
。其元素一一对应于
,其中
表示环路绕行圆环的次数(计入方向);群运算由
给出。一般而言,
维环面的基本群同构于
。
- 基本群也可能含挠元:例如射影平面
的基本群便同构于
。
- 基本群不一定可交换:例如挖去两点的平面
的基本群同构于两个生成元的自由群,生成元分别对应于绕行
与
的环路。
事实上,可以证明对任何群
皆存在一个拓扑空间,使其基本群同构于
(此空间可以用二维CW复形构造,当群为有限展示时则能以四维流形构造)。可以证明,每个群都是某个紧豪斯多夫空间的基本群当且仅当不存在可测基数。[1]
基本性质[编辑]
对基点的独立性[编辑]
以下设
为道路连通空间。
,则
同构于
。这是因为存在一条从
到
的道路
,依之定义映射
![{\displaystyle [\alpha ]\mapsto [\gamma ]*[\alpha ]*[\gamma ]^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51636b1fff74322fdc054d5c92a2f029ca0706d1)
此映射给出从
至
的同构,其逆则为
![{\displaystyle [\alpha ]\mapsto [\gamma ]^{-1}*[\alpha ]*[\gamma ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a550a9a69e36d877f04e25b178391ba20b3ce6d)
由此可谈论空间本身的基本群(两个基本群在同构的意义下相等),记为
。基本广群理论也'可以简练地解释基本群对基点的独立性。
对连续映射的函子性[编辑]
设
为空间
的同伦等价,则
为同构。
推论.同胚的空间有相同的基本群。
积空间的基本群[编辑]
与第一个同调群的关系[编辑]
道路连通空间的第一个同调群是基本群的交换化。这是Hurwitz定理的特例。
计算方法与应用[编辑]
范坎彭(van Kampen)定理[编辑]
基本群一般不易计算,因为须证明某些环路非同伦等价。当空间可分割为较单纯的空间,而其基本群已知时,范坎彭定理(或塞弗特-范坎彭(Seifert-van Kampen)定理)可以将基本群表为一个归纳极限。
锥定理与射影空间的基本群[编辑]
对一个拓扑空间
,定义其“锥”
,其中
表闭区间
。当
时,
同胚于圆锥。
道路连通空间的锥是单连通的,我们也有自然包含映射
。
设
为连续映射,定义映射锥为
。
例子:设
为
到自身的映射
,此时
。
锥定理断言
的基本群同构于
对
的正规化的商
应用:实射影空间之基本群同构于
。
图、曲面与多面体的基本群[编辑]
- 图的基本群总是自由群。这点可借着将图沿其最小生成树缩为一束
看出。
- 多面体的基本群可以展示为生成元与关系,使得每个关系由多面体的一个面给出。
- 可定向紧曲面的基本群带一个有
个生成元
及一个关系
的展示。整数
决定于曲面的拓扑结构,称为其亏格。
基本群与覆叠空间[编辑]
基本群的子群的共轭类一一对应于空间的覆叠的同构类,在此对应下,正规子群对应于伽罗瓦覆叠。
在覆叠空间理论中,业已证明了如果空间有单连通的覆叠空间(例如对局部单连通空间),则基本群同构于万有覆叠空间的自同构群。
基本广群[编辑]
如果一个小范畴(即:对象与全体态射构成一集合)的所有态射皆可逆,则称之为一个广群。所有广群与其间的函子构成一个范畴。群是只有一个对象的广群。
设
为一广群,对其对象定义下述等价关系:
![{\displaystyle x\sim \,y\iff \mathrm {Hom} (x,y)\neq \emptyset }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a61bcbcf002914da9993e6660a6e520874e9d52)
得到的商集记作
(或曰连通分支),这是从广群范畴到集合范畴的函子。
对每个拓扑空间,以下述方式函子地构造一广群
:
设
为拓扑空间,令
的对象为
的点,从点
至
的态射是从
到
的道路的同伦类。同伦等价关系相容于道路的头尾相接,故定义了一个广群
,称为
的基本广群。
Van Kampen定理在广群的框架下有简练的表述。
设
为广群,而
为其对象(也称作
的点)。
在态射合成下成为一个群,记之为
。注:由于基点选取问题,
并不能定义一个从广群范畴到群范畴的函子。
一个拓扑空间的基本群可以用基本广群定义为
。
高阶同伦群[编辑]
基本群实则是第一个同伦群,这是符号
中“1”的由来。
代数几何中的基本群[编辑]
基本群亦可抽象地定义为纤维函子的自同构群,此纤维函子对每个带基点的覆叠映射
给出纤维
。
此定义可以推广到代数几何,而之前给出的环路定义则不可。在此我们将拓扑空间的覆叠映射代为平展态射,拓扑空间的基点代为概形上的一个几何点
,而纤维函子
对一平展覆叠
给出几何纤维
。此推广源出格罗滕迪克与夏瓦雷。
这套理论可以解释函数域的伽罗瓦理论与黎曼曲面的覆叠理论之联系。
- Allen Hatcher, Algebraic Topology (2001), Cambridge University Press. ISBN 0521795400
- J. P. May, A Concise Course in Algebraic Topology (1999), Chicago University Press. ISBN 0226511839
外部链接[编辑]
- ^ Adam Przezdziecki, Measurable cardinals and fundamental groups of compact spaces, Fundamenta Mathematicae 192 (2006), 87-92 [1] (页面存档备份,存于互联网档案馆)