查看微分拓扑学的源代码
←
微分拓扑学
跳转至:
导航
、
搜索
因为以下原因,你没有权限编辑本页:
你刚才请求的操作只对属于该用户组的用户开放:
用户
您可以查看并复制此页面的源代码:
'''微分拓扑学'''(differential topology),研究[[微分流形]]在[[微分同胚]]映射下不变的性质的[[数学]]分支。研究的基本对象是微分流形或带边的微分流形以及这样的流形之间的可微映射。m维微分流形 M<sup>m</sup>是局部欧几里得空间,即每点x∈M存在邻域u及同胚j:u→v,其中v是R<sup>m</sup>的一个开集,(u,j)为M<sup>m</sup>在点x的局部坐标且一点的两个局部坐标之间的坐标变换是C¥光滑的。两微分流形之间的可微映射f: M<sup>m</sup>→N<sup>n</sup>是指它们在每点x∈M<sup>m</sup>的局部表示ψ<sup>o</sup>f <sup>o</sup>j1<sup>-1</sup>:R<sup>m</sup>→R<sup>n</sup>是C<sup>¥</sup>光滑的且f连续,此处(u<sub>1</sub>,j<sub>1</sub>) (w<sub>1</sub>,ψ<sub>1</sub>)分别是x及f(x)的局部坐标。若f:M<sup>m</sup>→N<sup>n</sup>是可微映射且其逆f-<sup>-1</sup>:N<sup>n</sup>→M<sup>m</sup>也是可微映射,则称f是微分同胚。微分拓扑学主要研究以下几个方面的问题:①研究微分流形的拓扑结构、组合结构与微分结构的关系,证明了拓扑流形(把微分流形中局部坐标光滑改为连续)与微分流形之间有着本质区别,拓扑流形不一定是微分流形。一个拓扑流形可以存在不同的微分结构(局部坐标系)。例如7维怪球与S<sup>7</sup>同胚,存在多个相异的微分结构,使其与S<sup>7</sup>不微分同胚。②嵌入问题:给定两个微分流形M<sup>m</sup>和N<sup>n</sup>,m≤n,M是否可光滑地嵌入N,即是否存在光滑映射f:M→N,使f:M→f(M)是同胚,且局部表示ψ<sup>o</sup>f <sup>o</sup>j<sup>-1</sup>的秩等于m,其中j,ψ定义如上。H.惠特尼在20世纪30年代证明了n维紧微分流形可光滑地嵌入于R<sup>2n</sup>。③配边问题:对给定的一个紧微分流形,判断它是否为一个有边微分流形的边界。④微分动力体系:关于单参数微分同胚群的研究。⑤奇点理论:关于可微映射局部结构的研究及其等价分类;⑥突变论。 从历史上看,微分流形概念的提出及拓扑结构的研究起源于[[H.庞加莱]],他提出了著名的[[庞加莱猜想]]。但由于数学工具的限制,相当长一段时间微分流形的拓扑研究一直未取得突破性进展。直到1936年[[惠特尼]]的嵌入定理,[[S.S.凯恩斯]]证明了微分流形的可剖分性,以及莫尔斯理论的产生,奇点理论这一分支的诞生,伴随着代数拓扑纤维丛、示性类以及同伦群的研究的进展使配边理论及嵌入问题研究进一步发展,从而逐渐形成了“微分拓扑”这一新学科,并进入20世纪数学发展的主流。 [[微分流形]]除了是拓扑流形外,还有一个微分结构。因此,对于从一个微分流形到另一个微分流形的映射,不仅可以谈论它是否为连续,还可以谈论它是否可微分。微分拓扑学的奠基人是H.惠特尼,它研究的主要课题有微分同胚、微分浸入、微分嵌入、协边理论等。 ===微分同胚=== 微分流形M和N称作微分同胚的,如果存在M和N之间的一一对应f:M → N,使得f和它的逆映射f−1:N → M都是可微映射。在微分拓扑学中,彼此微分同胚的流形被看作是等价的。把等价的微分流形看作属于同一类。对微分流形进行分类是微分拓扑学最基本的问题。 如果f和f<sup>−1</sup>仅仅是连续的,不一定可微,则M和N叫作是同胚的(亦即拓扑上等价的)。同胚的微分流形未必微分同胚。例如,用S<sup>7</sup>表示七维球面,即八维欧氏空间'''R'''<sup>8</sup>中所有单位向量构成的流形,则S<sup>7</sup>可被赋以不同的微分结构,使所得的微分流形是不微分同胚的。已经算出,与S7同胚的微分流形,按微分同胚来分类,一共有28类,当n≥5时,与Sn同胚的微分流形的等价类的数目,已被证明是有限的,且对5≤n≤18,类数均已被算出。 以'''R'''<sup>m</sup>表示m维欧氏空间。当m≠4时,不论以何种方式给'''R'''<sup>m</sup>赋以微分结构,所得的微分流形总是微分同胚的。一个很有意思的事实是,对'''R'''<sup>4</sup>可赋以不同的微分结构,使所得的微分流形是不微分同胚的。 当n=1、2、3时,任意n维拓扑流形上必可赋以微分结构,且由同一拓扑流形赋以不同的微分结构所得的微分流形必微分同胚。因此,对一、二、三维流形,按微分同胚来分类和按同胚来分类是一样的。 一维流形的分类很简单。它们必同胚于开区间(0,1),闭区间[0,1],半开半闭区间[0,1)和圆周S<sup>1</sup>中的一个,且这四个流形必不同胚。二维紧致无边流形的分类早已被解决。而三维紧致无边流形的分类问题是很困难的,尚未解决。 ===微分浸入=== 设f:M→N是一个可微映射,df:T(M)→T(N)是它的微分,如果对任意'''x'''∈T(M),'''x'''≠0,有df('''x''')≠0,则称f为微分浸入。两个微分浸入f和g称作正则同伦的,如果存在连续映射H:M×[0,1]→N,使得H<sub>0</sub>(x)=f(x),H<sub>1</sub>(x)=g(x),则对任意t∈[0,1],H<sub>t</sub>(x)是微分浸入,且由dH<sub>t</sub>('''x''')所定义的映射 ::T( M)×[0,1]→ T( N) 是连续的。 关于微分浸入的存在性方面的一个经典结果是:n>1时,任意n维微分流形可以微分浸入于2n-1维欧氏空间中。这一结果后来被推广成:设M是任意n维微分流形,N是任意2n-1维微分流形,f:M→N是任意连续映射,则f必同伦于某一微分浸入。 关于微分浸入按正则同伦的分类方面的一个经典结果是:设f:S<sup>1</sup>→'''R'''<sup>2</sup>是圆周到平面的一个微分浸入,记f(e<sup>iθ</sup>)处单位切向量为'''v'''(eiθ),则e<sup>iθ</sup>→'''v'''(e<sup>iθ</sup>)定义了一个S<sup>1</sup>到S<sup>1</sup>的映射。当θ从0增加到2π时,'''v'''(e<sup>iθ</sup>)的角度连续地变化了2π的一个整数倍。记这一倍数为n<sub>f</sub>(见图),则f→n<sub>f</sub>决定了S<sup>1</sup>到'''R'''<sup>2</sup>的微分浸入的正则同伦类到全体整数的集合的一一对应。也就是说,两个微分浸入f和g正则同伦当且仅当n<sub>f</sub>=n<sub>g</sub>,且对任意整数n,必有微分浸入f,使n=n<sub>f</sub>。这一结果的一个推广是:S<sup>k</sup>到'''R'''<sup>n</sup>(n>k)的微分浸入的正则同伦类与π<sub>k</sub>(V<sub>n,k</sub>)一一对应,这里Vn,k是'''R'''<sup>n</sup>中所有k个线性无关向量组构成的空间,π<sub>k</sub>表示第k个同伦群。 [[文件:微分浸入的正则分类.jpg|center|thumb|400px|微分浸入的正则分类]] 微分浸入的存在和分类问题已完全被化成了同伦论的问题。但由于相应的同伦论问题的困难,具体结果仍然不多。 n维微分流形M<sup>n</sup>到'''R'''<sup>2n-1</sup>的微分浸入的分类问题已完全解决。对任意连续映射f:M<sup>n</sup>→N<sup>2n-1</sup>,同伦于f的微分浸入的分类问题也已基本上解决。 ===微分嵌入=== 设f:M→N是微分映射,如果f(M)是N的微分子流形,并且f:M→f(M)是微分同胚,则称f为微分嵌入。微分嵌入一定是微分浸入。两个微分嵌入称作正则同痕的,如果存在连接它们的正则同伦H<sub>t</sub>,使对每一固定的t∈[0,1],H<sub>t</sub>是微分嵌入。 关于微分嵌入的一个经典结果是:任意n维微分流形可微分嵌入于2n维欧氏空间中。n≠1,4时,已证明任意n维可定向的紧致无边微分流形可微分嵌入于'''R'''<sup>2n-1</sup>中,n=4时,可微分嵌入的充分必要条件已发现。 关于S<sup>1</sup>在'''R'''<sup>3</sup>中的微分嵌入按正则同痕分类的问题是很复杂的,已成为一个独立的研究分支,称为纽结理论,它密切地关联于三维流形的同胚分类问题。 与S<sup>1</sup>在'''R'''<sup>3</sup>中的微分嵌入有无穷多个正则同痕类相反,[[中国]]数学家[[吴文俊]]证明了:若n>1,则任意n维微分流形在'''R'''<sup>2n+1</sup>中的任意两个微分嵌入都是正则同痕的。 当n>3(k+1)/2时,k维微分流形到n维微分流形的微分嵌入的存在和正则同痕分类的问题已被化成同伦论问题,且已证明当k和n满足上述关系时,S<sup>k</sup>在'''R'''<sup>n</sup>中的任意两个微分嵌入都是正则同w痕的,但S<sup>4k-1</sup>在'''R'''<sup>6k</sup>中的微分嵌入的正则同痕类却与整数全体一一对应。 ===协边=== 两个n维的紧致无边微分流形M和N称为协边的,如果存在一个n+1维的紧致微分流形W,W的边界恰由M和N组成。把两个协边的微分流形看成属于同一协边类,则按协边关系来分类紧致无边微分流形比按微分同胚来分类它们要粗略,因为任意两个微分同胚的紧致无边微分流形必是协边的。与按微分同胚的精细分类问题至今未能解决形成鲜明对照的是,按协边关系的粗略分类问题虽非容易,但却已彻底解决。二维(或三维)的可定向紧致无边微分流形都是协边的,虽然未必微分同胚。实投影平面与二维球面是不协边的。 上述协边理论有很多推广,如可定向流形的协边论,映射的协边论,稳定切丛有复结构的流形的协边论,稳定切丛有标架的流形的协边论等。其中标架协边论与球的同伦群的研究有着互逆的关系,仍是[[拓扑学]]中重要的难题。 微分拓扑学虽是不同于[[代数拓扑学]]的一个独立的数学分支,但它与代数拓扑学的关系极为密切。解决微分拓扑问题的许多基本工具,例如同调群、同伦群、拓扑K理论以及多种示性类等代数不变量都是从代数拓扑中借用过来的。 基于[[莫尔斯函数]]的临界点理论的流形剜补术则首先是对[[微分流形]]发展起来的,然后被推广至拓扑流形的情形。拓扑流形的剜补术在解决四维[[庞加莱猜想]]时发挥了作用。可见两者互相渗透、互相促进。 ===参见=== *[[数学]] *[[数学基本条目]] *[[代数学]] *[[代数几何学]] *[[拓扑学]] [[Category:数学]] [[Category:数学史]] [[Category:代数学]] [[Category:拓扑学]] [[Category:微分拓扑学]] [[Category:中文词典]] [[Category:W音词语]] [[Category:微]]
返回
微分拓扑学
。
导航菜单
个人工具
创建账户
登录
名字空间
页面
讨论
变种
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
最近更改
随机页面
工具箱
链入页面
相关更改
特殊页面
页面信息
扫描二维码可以用手机浏览词条