族谱网 头条 人物百科

代数拓扑

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:902
转发:0
评论:0
代数拓扑的主要分支代数拓扑的几个主要分支如下:同伦群在数学中,同伦群是一个用于分类拓扑空间。基本群是同伦群最简单的例子,记录了空间中环结的信息。直观上来说,同伦群记录了拓扑空间中的基本形状,即“孔洞”的信息。同调在代数拓扑和抽象代数中,同调(homology,名称部分来源于希腊语ὁμόςhomos="同")是一类将一个阿贝尔群或模的序列联系到一个给定数学对象(如拓扑空间、群等)的过程上同调在同调论中,上同调是对一个在上链复形(co-chain)上定义一个阿贝尔群的序列的过程的统称。换言之,上同调是对“上链”、余圈(cocycle)和上边缘(coboundary)的抽象研究。上同调可以看作是一种对拓扑空间赋予代数不变量的方法,但其代数结构比同调更为精炼。上同调源于同调的构造过程的代数对偶。通俗意义上讲,上链的基本意义是为同调的链赋予某种“量”。流形流形是局部上近似于欧几里得空间的拓扑空间。更...

代数拓扑的主要分支

代数拓扑的几个主要分支如下:

同伦群

在数学中,同伦群是一个用于分类拓扑空间。基本群是同伦群最简单的例子,记录了空间中环结的信息。直观上来说,同伦群记录了拓扑空间中的基本形状,即“孔洞”的信息。

同调

在代数拓扑和抽象代数中,同调(homology,名称部分来源于希腊语ὁμός homos = "同")是一类将一个阿贝尔群或模的序列联系到一个给定数学对象(如拓扑空间、群等)的过程

上同调

在同调论中,上同调是对一个在上链复形(co-chain)上定义一个阿贝尔群的序列的过程的统称。换言之,上同调是对“上链”、余圈(cocycle)和上边缘(coboundary)的抽象研究。上同调可以看作是一种对拓扑空间赋予代数不变量的方法,但其代数结构比同调更为精炼。上同调源于同调的构造过程的代数对偶。通俗意义上讲,上链的基本意义是为同调的链赋予某种“量”。

流形

流形是局部上近似于欧几里得空间的拓扑空间。更精确的说,n-流形上的每一点都有一个同胚于n维欧式空间的邻域。举例来说,直线和圆都是一维流形,但数字8则不是。二维流形也称作曲面。二维流形的例子有平面、球面和环面等可看作三维空间中的物体的对象,但也包括克莱因瓶和实射影平面等不可看作三维空间里的物体,而必须看作四维空间里的物体的对象。

纽结理论

"纽结理论是对(数学意义上的)纽结的研究。虽然纽结的概念是受现实生活中的绳结启发,对数学家而言“绳结”的两端是粘连在一起的,因而不能解开。在数学上,纽结的精确定义为圆在三维欧几里得空间R的嵌入。若一个纽结能由另一个纽结通过对R变形而得到(亦称环境同痕),我们就将其视为同一个纽结。这样的对环境的变换相当于对一个线圈进行连续操作,但避免剪开线圈或使线圈穿过自身。

复形

单纯复形是拓扑空间的一类,由点、线段、三角形等单纯形“粘合”而成。单纯复形不应当与范畴同伦论中的单纯集合混淆。单纯形在组合学中对应于抽象单纯形。

CW复形是一种拓扑空间,由J.H.C.怀特海德为迎合同伦论的需要而引入。这类空间比单纯形有更良好的范畴学性质,且仍旧保留其组合学的本质,因此计算方面的考虑没有被忽略。

代数不变量方法

这里的目标是取拓扑空间然后把它们进一步分成范畴或分类。该课题的旧称之一是组合拓扑,蕴含着将重点放在如何从更简单的空间构造空间X的意思。现在应用于代数拓扑的基本方法是通过函子,把空间映射到相应的代数范畴上。例如,通过一种保持空间的同胚关系的方式映射到群上。

实现这个目标的主要方法是通过基本群,或者更一般的同伦论,和同调及上同调群。基本群给了我们关于拓扑空间结构的基本信息,但它们经常是非交换的,可能很难使用。(有限)单纯复形的基本群的确有有限表示。

另一方面来讲,同调和上同调群是交换群,并且在许多重要情形下是有限生成的。有限生成交换群有完整的分类,并且特别易于使用。

同调的结果

通过使用有限生成可交换群可以立刻得出几个有用的结论。单纯复形的n-阶同调群的自由阶等于n-阶贝蒂数(Betti number),所以可以直接使用单纯复形的同调群来计算它的欧拉示性数。作为另外一个例子,闭流形的最高维的积分上同调群可以探测可定向性:该群同构于整数或者0,分别在流形可定向和不可定向时。这样,很多拓扑信息可以在给定拓扑空间的同调中找到。

在只定义在单纯复形的单纯同调之上,还可以使用光滑流形的微分结构来通过德拉姆上同调或Čech上同调或层上同调来研究定义在流形上的微分方程的可解性。德拉姆证明所有这些方法是相互关联的,并且对于闭可定向流形,通过单纯同调得出的贝蒂数和从德拉姆上同调导出的是一样的。

在范畴论中

一般来讲,所有代数几何的构造都是函子式的:概念范畴,函子和自然变换起源于此。基本群,同调和上同调群不仅是两个拓扑空间同胚时的不变量;而且空间的连续映射可以导出所相关的群的一个群同态,而这些同态可以用于证明映射的不存在性(或者,更深入的,存在性)。

代数拓扑的问题

代数拓扑的经典应用包括:

布劳威尔不动点定理:每个从n维圆盘到自身的连续映射存在一个不动点。

n维球面可以有一个无处为0的连续单位向量场当且仅当n是奇数。(对于n=2,这有时被称为"毛球定理"。)

博苏克-乌拉姆定理:任何从n维球面到欧氏n维空间的映射至少将一对对角点映射到同一点。

任何自由群的子群是自由的。这个结果很有意思,因为该命题是纯代数的而最简单的证明却是拓扑的。也就是说,任何自由群G可以实现为图X的基本群。覆盖空间的主定理告诉我们每个G的子群H是某个X的覆盖空间Y的基本群;但是每个这样的Y又是一个图。所以其基本群H是自由的。

代数拓扑中最著名的问题之一是庞加莱猜想,它已经由俄国数学家格里戈里·佩雷尔曼于2003年解决。同伦论领域包含了很多悬疑,如表述球面的同伦群的正确方式等。

参看

代数拓扑重要著作

参考

Allen Hatcher, Algebraic Topology ,剑桥大学出版社,剑桥,2002年。ISBN 0-521-79540-0.现代的带几何特色的代数拓扑介绍。该书有免费PDF和PostScript格式免费下载,网址作者的主页。

C. R. F. Maunder, Algebraic Topology(1970)Van Nostrand Reinhold, London ISBN 73-105346.


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 拓扑群
形式定义拓扑群G是拓扑空间和群使得群运算和是连续函数。这里的G×G被看作使用乘积拓扑得到拓扑空间。尽管我们这里没有做其他要求,很多作者要求在G上的拓扑是豪斯多夫空间。下面会讨论其理由和一些等价条件。最后,这不是个严重的限制—很多拓扑群都可以用规范方式变成豪斯多夫空间。使用范畴论的语言,拓扑群可以简明的定义为在拓扑空间范畴内的群对象,如同普通的群是集合范畴的群对象一样。同态在两个拓扑群G和H之间的同态就是连续群同态G→H。拓扑群的同构则要求同时是群同构及对应拓扑空间的同胚。这比单纯要求连续群同构要更强,因其逆函数必须也是连续。有作为普通群是同构的但作为拓扑群却不同构的例子。实际上,任何非离散的拓扑群在用离散拓扑来考虑的时候也是(另一个)拓扑群。底层的群是一样的(同构),但两个拓扑群并非同构。拓扑群和它们的同态一起形成一个范畴。例子每个群可以平凡地变成一个拓扑群,这是通过给它一个离...
· 拓扑斯
格罗滕迪克拓扑斯(几何中的拓子)自1940年代层的引入,数学中一个重要的主题便成了用空间上的层研究空间。亚历山大·格罗滕迪克以引入拓子的概念,详细说明了这个想法。在数学中,常常有这样的情况:拓扑直觉很有效,但是并没有拓扑空间,这时拓扑斯便显出它的功效;有时可以找到一个拓扑斯,使得直觉形式化。这个程式化的想法最伟大的成就是概形的平展拓扑斯的引入。等价构造令C为一范畴。Giraud的一个定理断言,以下命题等价:有小范畴D和包含关系C↪↪-->{\displaystyle\hookrightarrow}Presh(D)使得其存在保持有限极限的左伴随。C是格罗滕迪克site上的层范畴。C满足以下的Giraud公理有如上之性质的范畴称为“(格罗滕迪克)拓扑斯”。这里Presh(D)表示从D到几何范畴的反变函子范畴;如此的反变函子常被称为预层。Giraud公理范畴C的Giraud公理是:C的生成元构成...
· 总线拓扑
运作该总线是资料链接于一个总线网络,该总线只会发送数据于单一方向性,以及如果有网段被切断,所有的网络传输将停止运作。主机在总线网络中被称为站点或工作站,在总线网络中,每一台接收所有的网络流量,并通过各站所产生的流量具有相等之传输优先级。每个网络段,因此,一个冲突域中。为了使节点在同一电缆同时传输,他们使用的介质访问的控制技术,如载波侦听多路访问(CSMA)或总线主控器。优缺点优点方便连接于电脑或外设线性总线。比星状拓扑较少的电缆长度。非常适合用于小型网络。缺点如果有一在主缆上中断时,整个网络也将跟着中断。终端机必须于主干电缆的两端。如果整个网络发生中断时,将会很难找出问题。并不意味着被用作一个大型建筑之独立解决方案。当更多的设备被添加到网络时,传输速度会变得更缓慢。参见网络拓朴星状拓扑环状拓扑混合式拓扑(英文:HybridTopology)
· 拓扑学
历史柯尼斯堡七桥问题被认为是拓扑学里最初的定理,由莱昂哈德·欧拉所解出。拓扑学开始于对几何上特定问题的研究。李昂哈德·欧拉于1736年有关柯尼斯堡七桥问题的论文被认为是现代拓扑学的第一份学术著作。“拓扑学”一词于1847年由利斯廷在《VorstudienzurTopologie》一书中提出。拓扑学的英文于1883年在自然杂志上对利斯廷的讣文中第一次出现,用来区分“…定性的几何学,于主要被以定量关系对待的一般几何学中”。不过,上述用词都与现代对拓扑学的定义不完全相同。现代拓扑学主要依靠集合论的概念。集合论由格奥尔格·康托尔于19世纪后半所发展。除了建立起集合论的基本概念外,康托尔亦将欧氏空间里的点集合作为他对傅里叶级数之研究的一部分。儒勒·昂利·庞加莱于1895年发表论文《相位分析》(AnalysisSitus),引进同伦与同调的概念,这些概念现在被认为是代数拓扑的一部分。统合格奥尔格·康托...
· 拓扑维数
参见勒贝格测度豪斯多夫维数计盒维数

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信