平行移动

✍ dations ◷ 2025-11-05 10:06:04 #黎曼几何,联络

在几何中,平行移动(或译平行输运,英文:parallel transport 或 parallel translation)是将流形上的几何数据沿着光滑曲线移动的一种方法。如果流形的切丛上装备有一个仿射联络(一个共变导数或联络),那么联络保证我们可以将流形上的向量沿着曲线移动使得它们关于这个联络保持“平行”。其他联络概念也装备了它们自己的平行移动系统。比如,一个向量场上的科斯居尔联络也允许类似于共变导数一样将向量平行移动。埃雷斯曼或嘉当联络提供了从流形到主丛全空间的“提升曲线”。这种曲线提升方式有时被认为是参考标架的平行移动。

在某种意义上说,关于联络的平行移动提供了将流形的局部几何沿着曲线移动的方法:即“连接”了邻近点的几何。有许多种平行移动的概念,但其中一种特殊方式——以某种方式连接了一条曲线上点的几何——等同于提供了一个联络。事实上,通常的联络概念是平行移动的无穷小类比。反之,平行移动是联络的局部实现。

因为平行移动给出了联络的一种局部实现,它也提供了曲率的一种局部实现(称为和乐)。安布罗斯-辛格定理明确了曲率与和乐的关系。

设 是光滑流形,→ 是一个向量丛,其上有共变导数 ∇。设 : → 是由开区间 参数化的一条光滑曲线。 E {\displaystyle E} 的截面 称为平行,如果

记 = (0) ∈ ,如果我们有 点的纤维 中一个元素 0,而不是一个截面。0 沿着 的平行移动是把 0 扩张成 上一个“平行”截面 。更确切地, 是 沿着 惟一的截面使得:

注意到,在一个局部平凡化中(1)定义了一个常微分方程,(2)给出了初始条件。从而由柯西-利普希茨定理保证了解的存在惟一性。

从而联络 ∇ 定义了纤维的元素沿着曲线移动的一种方式,这便给出了沿着曲线上点的纤维之间的线性同构:

从 γ() 上的向量空间到 γ() 上的向量空间,这个同构称为与曲线关联的平行移动映射。这样得到的纤维之间的同构一般会取决于曲线的选取;如果与选取无关,那么沿着任何曲线的平行移动都可以用来定义在整个 上 的平行截面,这当且仅当联络 ∇ 的曲率为 0 。

特别地,沿着一条始于点 的闭曲线的平行移动定义了 处切空间的一个自同构,这个自同构不一定平凡。由以 为基点的所有闭曲线定义的平行移动自同构组成了一个变换群称为 ∇ 在 处的和乐群。这个群与 ∇ 在 处的曲率有紧密的关系,这便是安布罗斯-辛格和乐定理。

给定一个共变导数 ∇,沿着 γ 的平行移动由积分 γ ˙ = 0 {\displaystyle \scriptstyle {\nabla _{\dot {\gamma }}=0}} 上关联的无穷小联络。令 γ 是 中一条光滑曲线,起点为 γ(0),初始切向量 = γ′(0)。如果 是 在 γ 上的一个截面,则令

这就在 上定义了关联于 Γ 的无穷小联络 ∇。从这个无穷小联络我们又重新得到相同的平行移动 Γ。

设 是一个光滑流形,则 的切丛上一个联络称为仿射联络,确定了一类曲线称为(仿射)测地线(Kobayashi & Nomizu 1996,Volume 1, Chapter III)。一条光滑曲线 γ: → 是一条仿射测地线如果 γ ˙ {\displaystyle {\dot {\gamma }}} , ∈ Tγ(s)

取 =0 的导数,伴随的微分算子 ∇ 必须满足关于度量的乘积法则:

如果 ∇ 是一个度量张量,那么仿射测地线便是通常黎曼几何中的测地线且是局部距离最小曲线。更准确地,首先注意到如果 : → (这里 是一个开区间),是一条测地线,那么 γ ˙ {\displaystyle {\dot {\gamma }}} 中为常数。事实上有

这样,如果 是 γ ˙ ( t ) {\displaystyle {\dot {\gamma }}(t)} 上“足够接近”的两点 (1) 与 (2) 的距离由

给出。上面的公式对不是足够接近的两点可能不成立,因为测地线在整体上可能不是最小曲线,比如可能盘绕在流形上(例如球面)。

平行移动可更广泛的定义于其它类型的联络,不一定要定义在向量丛上。一种推广是主丛联络(Kobayashi & Nomizu 1996,Volume 1, Chapter II)。设 → 是一个流形 上一个以李群 为结构群的主丛,主丛联络为 ω。像向量丛一样, 上一个主丛联络 ω 对 上任何曲线 γ 定义了一个映射:

从 γ() 的纤维到 γ() 的纤维。这是齐性空间的一个同构:即 Γ γ ( s ) g u = g Γ γ ( s ) {\displaystyle \Gamma _{\gamma (s)}gu=g\Gamma _{\gamma (s)}} ∈。

更进一步地推广平行移动也是可能的。在 埃雷斯曼联络的情形下,联络取决于切空间“水平提升”这种特殊概念,我们可以定义通过水平提升平行移动。嘉当联络是带有额外结构的埃雷斯曼联络,使得平行移动可想象成沿着流形上一条曲线“旋转”某个模型空间的映射。这个“旋转”称为进化。

相关

  • 哺乳困难哺乳困难是指在母乳哺育(由妇女的乳房分泌的母乳哺育婴儿或是幼儿)过程中遇到的困难。婴儿有吸吮反射,会吸吮乳头并且吞咽母乳,而母乳是婴儿最好的营养来源,不过还是会在一些情形
  • CBS NewsCBS新闻(CBS News)是指美国的电视广播网哥伦比亚广播公司(CBS)的新闻部门,也可以指出其制作播出节目的总称。CBS新闻的现任主席是杰夫·法格尔(Jeff Fager),他也是60分钟的执行制作
  • 白额高脚蛛白额高脚蛛(学名:Heteropoda venatoria),俗称“高脚蜘蛛”、“大蜘蛛”、“擒老”、“蟧蜈狩猎巨蟹蛛”、“喇牙”(或作“”、“旯犽”或“蟧蜈”(lâ-giâ))。为巨蟹蛛科巨蟹蛛属的
  • BOT建设-经营-转让模式(英语:Build–operate–transfer,缩写:BOT),港澳称为兴建-营运-移转模式,台湾称为民间兴建营运后转移模式,中国大陆又称建设-运营-移交模式,是民间参与公共建设的运用模
  • 达科他领地达科他领地(英语:Dakota Territory)是美国历史上的一个合并建制领土,存在于1861年3月2日至1889年11月2日之间.达科他领地由明尼苏达领地和内布拉斯加领地的部分领土构成,范围包括
  • 吕建 (学者)吕建(1960年3月31日-),男,籍贯山东荣成,生于江苏南京,中国软件科学家,中国科学院院士,南京大学校长,无党派人士。主要从事软件方法学研究。1982年,毕业于南京大学计算机系。1984年,于南
  • 切塔泰亚巴尔特坐标:46°15′N 24°10′E / 46.250°N 24.167°E / 46.250; 24.167切塔泰亚巴尔特乡(罗马尼亚语:Comuna Cetatea de Baltă, Alba),是罗马尼亚的乡份,位于该国中部,由阿尔巴县负责
  • 敬敏和硕肃慎亲王敬敏(满语:ᡤᡳᠩᠮᡳᠶᡝᠨ,穆麟德:;1771年-1852年),满洲爱新觉罗氏。肃武亲王豪格后裔、肃恭亲王永锡长子。第七代肃亲王(1821年-1852年)。乾隆六十年(1795年),封敬敏为不入
  • 亚洲水产学会亚洲水产学会(Asian Fisheries Society, AFS)于1984年5月2日在菲律宾洛斯巴诺斯成立。每3年召开一次渔业论坛,并举行各种专题讨论会和培训班;向发展中国家的青年渔业科学家提供
  • 李升熙李升熙(英语:C. S. Lee,又名查理·李,1971年12月30日-),韩裔美国演员,知名于在电视剧嗜血法医中扮演文斯·马苏卡。李升熙在华盛顿州温哥华的Hudson男子高中就读时,他报名了蔻尔尼旭