基本群的解决方案.doc

目 录 1引言 1 2基本群的相关概念与定理 1 2.1 定义 1 2.2 定理与命题 2 3同伦与基本群 3 3.1 映射的同伦 3 3.2 构造基本群 6 4基本群的计算 12 4.1 的基本群 12 4.2 时，单连通 16 4.3 的基本群 17 4.4 连通图的基本群 18 4.5 van-Kampn定理 18 5结论 21 6结束语 21 参考文献 22 致谢 23 基本群的研究 摘 要:基本群是代数拓扑学的基本概念，由它可以决定一些拓扑空间的拓扑结构，然而基本群的计算比较困难。本文详细介绍了拓扑空间的基本群的构造，以及与之相关的命题、定理等，如拓扑空间的直积、Van-Kampen定理等。在此基础上介绍了基本群在拓扑学中的一些应用。 关键词：拓扑，同伦，基本群。 Fundamental group Abstract: Fundamental group is one of the basic concepts of the algebraic topology, which can decide the topological structure of some topological space, but the calculation of fundamental group is difficult. This paper introduces the structure of the fundamental group, and introduces related theorems,proposition and so on, such as the direct product of topological spaces, van-Kampen theorem and so on. And then, the paper introduces some applications in the topology of the fundamental group. Key words: topology , homotopy, fundamental group. 1引言 拓扑学是数学中一个重要的、基础性的分支。拓扑学发展到今天，在理论上已经十分明显分成了两个分支。一个分支是偏重于用分析的方法来研究的，叫作点集拓扑学。另一个分支是偏重于用代数方法来研究的，叫作代数拓扑学。现在，这两个分支又有统一的趋势。它在泛函分析、微分几何、微分方程等其它许多数学分支中都有广泛的应用。拓扑学主要研究互不同胚的拓扑空间有多少类。在研究过程中，人们引入了各种拓扑不变量，用来区分不同胚的拓扑空间，基本群就是一个重要的拓扑不变量。在研究拓扑空间时它起到了很重要的作用，但是与一个拓扑空间相联系的基本群不太好确定。 基本群是代数拓扑最基本的概念之一，是一维同伦群，他是拓扑学中最简单，用途最广的部分。这个概念最早是由庞加莱提出并加以研究。基本群的应用已经渗入到数学的各个分支。著名的庞加莱猜想也和基本群有关。基本群是在道路及其运算(逆和乘积)的基础上建立的，基本群是拓扑不变量，同胚的(道路连通)空间具有同构的基本群，若基本群不同构，则其一定不同胚，可见基本群对于拓扑学有着重要的意义。 在本论文中，介绍了拓扑学相关内容，系统地阐述了同伦与基本群的定义以及与之相关的命题、定理等，给出了确定基本群的一些方法，比如Van-Kampen定理以及空间直积等都可以用来确定基本群。最后计算了一些拓扑空间的基本群，并在此基础上相应地介绍了基本群的几点应用。 2基本群的相关概念与定理 2.1 定义 定义1 我们说，一个不空集合对于一个叫做乘法的代数运算来说作成一个群，假如 (1) 对于乘法来说是封闭的； (2) 结合律成立：，对于的任意三个元都对； (3) 里至少存在一个左单位元能让 对于的任何元都成立； (4)对于的每一个元，在里至少存在一个左逆元，能让 . 定义2 定义映射 ， 按照法则，由于 ， 可知为同态，我们称为所诱导的同态。 定义3 如果一一对应，并且及其逆都是连续的，则称是一个同胚映射（或称拓扑变换或同胚），当存在时，就称与同胚。 定义4 记是包含映射，(即)。 定义5 设是上的两条道路，如果，则称与定端同伦。显然它的一个必要条件是与有相同的起终点。 定义6 设是从到的一个同伦，则 (1)； (2)； (3). 设是的子空间，连续映射如果满足上述三个条件(1)(2)(3)，就称是到的一个形变收缩。 定义7 到的一个形变收缩如果保持中的点不动，即形变收缩定