微分流形

✍ dations ◷ 2025-06-29 15:38:37 #微分几何,微分拓扑学,流形

光滑流形(英语:),或称 C∞-微分流形(differential manifold)、C∞-可微流形(differentiable manifold),是指一个被赋予了光滑结构的拓扑流形。一般的,如果不特指,微分流形或可微流形指的就是 C∞ 类的微分流形。可微流形在物理学中非常重要。特殊种类的可微流形构成了经典力学、广义相对论和杨-米尔斯理论等物理理论的基础。可以为可微流形开发微积分。可微流形上的微积分研究被称为微分几何。

微分几何(differential geometry)作为一个独特的学科的出现一般归功于高斯(Carl Friedrich Gauss)和黎曼( Bernhard Riemann)。黎曼在哥廷根的著名的康复讲座中描述了多个面向。他通过在一个新的方向上改变给定对象的直观过程激发了多方面的想法,并且预先描述了协调系统和图表在随后形式发展中的作用:

物理学家马克士威(James Clerk Maxwell)和数学家库尔巴斯托罗(Gregorio Ricci-Curbastro)和齐维塔(Tullio Levi-Civita)的成果导入了张量分析和广义协变性的概念,它将内在几何属性识别为关于协调变换的不变量。这些想法在1912年爱因斯坦发展广义相对论理论时取得关键性的应用。外尔(Hermann Weyl)于1912年给出了微分流形的一个内在的定义。1930年代,该课题基础性方面的工作被哈斯勒·惠特尼(Hassler Whitney)等人厘清,使得从19世纪下半叶起开始发展起来的相关的直觉知识变得更精确,并通过微分几何和李群使微分流形的理论得到进一步的发展。

r {\displaystyle r} , )}的集合,其中α是覆盖 X的开放集合,并且对于每个索引α

α在n维真实空间的开放子集上的同胚。图册的转移映射(transition map)功能是

以图册来定义流形的概念是由夏尔·埃雷斯曼于1943年所提出。每个拓扑流形都有一个图册。-atlas是一个图册,其转换图是。拓扑流形具有0-atlas,并且通常-流形具有-atlas。连续图册(continuous atlas)是0图册,平滑图册是∞图册,分析图册(analytic atlas)是ω图册。

伪群(Pseudogroups)的概念提供了弹性的图册泛化(generalization of atlases),允许以统一的方式在流形上定义成各种不同的结构。伪群由拓扑空间S和由S的开放子集到S的其他开放子集的同态组成的集合Γ组成,使得

最后三个条件类似于一个群(group)的定义。注意,Γ不必是群,因为这些函数在S上不是全域定义的。

有时使用替代方法来赋予具有结构的流形是有用的。这里 = 1, 2, ..., ∞, 或ω为实分析流形(real analytic manifolds)。不考虑坐标图,可以从流形本身定义的功能开始。 的结构层(structure sheaf),表示为C,是一种函数 ,它为每个开放集 ⊂ 定义连续函数 → R的代数C()。

在n维可微分流形 上的实值函数f在点 ∈ 处被称为可微分 ,如果它在周围定义的任何坐标图中是可微分的。更准确地说,如果(, )是卡(chart),其中包含,是 的开放集合,而且 : → R是定义卡(chart)的映射,则f是可微分的,如果且仅当

在()处是可微分的。一般会有很多可用的卡(chart);然而,可微分的定义不取决于的卡(chart)的选择。从链式法则(chain rule)应用到一个卡(chart)和另一个图之间的转换函数,如果在的任何特定卡(chart)中都是可微分的,那么在的所有卡(chart)中都是可微分的。类似的情况适用于定义函数,平滑函数和分析函数。

点的切空间由该点处的可能的方向导数构成,并且具有与流形相同的维数n。对于一组(非奇异)坐标在本地点,坐标导数(coordinate derivatives) k = x k {\displaystyle \partial _{k}={\frac {\partial }{\partial x_{k}}}} 确定切线空间的完整基础。

向量空间的对偶空间(dual space)是矢量空间上的实值线性函数集合。余切空间处的一点是该点的切线空间的对偶位置,而余切丛(cotangent bundle)是所有余切空间的集合。

黎曼流形是一个可微分的流形,切空间以微分的方式产生内积。内积结构可以称为黎曼度量(metric)。该度量可以用于互变向量和辅助向量,并定义rank 4黎曼曲率张量。黎曼流形有长度、体积和角度的概念。任何可微流形都可以被称为黎曼结构。

一个共同的流形是具有封闭性的,非退化的symmetric 2-tensor形式的流形。这种情况迫使相似的流形是均匀的。在汉密尔顿力学中作为相位空间出现的反切丛(Cotangent bundles)是激励的例子,但是许多紧凑型流形也具有扭对称(symplectic)结构。

相关

  • 武王周武王(?-?),姬姓,名发,谥武,曰名为珷帝日丁,西周第一代天子,西周时代青铜器铭文称其为珷。是西伯昌与太姒的嫡次子,其正妻为邑姜,西周的创建者。夏商周断代工程断代其在位时间为前1046年
  • 英格兰与苏格兰共主邦联《1603年联合法案》(Union of the Crowns 1603)于1603年3月24日经王室同意通过,英国女王伊丽莎白一世指定詹姆士为其继承人后驾崩。于是詹姆士兼任英国国王,称詹姆士一世。在此
  • 电力消耗电力资料来源:IEA 2016人口资料来源:World By Map 2016人均用电量: 电力消耗量(TW·h/年) x 1000000000 / 人口(因含工业用电,且不含移住劳工等人口,人均用电量并不能表示节约
  • 鳐总目见内文鳐总目(学名:Rajomorphii、Batoidea),又名�总目,是软骨鱼纲的一个总目,包括魔鬼鱼及其他鳐科生物,合计有约560个物种,可分为26个科。鳐总目跟鲨鱼所属的鲨总目同属板鳃亚纲,两者
  • 开罗游戏开罗游戏 (日语:株式会社カイロソフト;英语:Kairosoft Co.,Ltd)是一家位于东京的日本手机游戏和电脑游戏的开发商,公司于2007年9月正式成立,不过早在1996年,公司的创办人已经开始制
  • 萨姆·劳埃德森姆·莱特(Samuel Loyd、Sam Loyd,1841年1月31日-1911年4月10日),美国智力游戏设计师、趣味数学家。莱特发明了移动15,并设计了不少国际象棋棋题。其中最著名的棋题之一(见图),白要
  • 格林希尔格林希尔(Greenhills)是美国俄亥俄州汉密尔顿县的一个村,位于39°16′7″N 84°31′2″W / 39.26861°N 84.51722°W / 39.26861; -84.51722,面积1.25平方英里(3.24平方千米),人口3
  • B-61战术核子弹B61战术核子弹 是一种于冷战时期研发的美军战机用战术核武,B61具有可变当量设计其各种型号的当量为0.3至340千吨(1当量为1千吨(kT)黄色炸药)。B61,1968年前命名为TX-61,初始设计
  • 朱湘朱湘(1904年-1933年12月5日),字子沅,安徽太湖人,生于湖南沅陵,中国现代诗人,新月派重要作家。清华大学毕业,在校时参加文学研究会,开始新诗创作。1927年留学美国,就读于劳伦斯大学,学习
  • 林育品林育品(1987年1月24日-),艺名阿喜,台湾女艺人、YouTuber。2012年以宅男女神票选出道,出道后作品广泛,从音乐、电视剧、电影到舞台剧都有涉猎。阿喜与1980年代末红极一时的女演员林