查看“︁平行移动”︁的源代码

{{dablink|本文介绍[[微分流形]]上的“平行移动”，不是[[平移]]、[[平移运动]]。}}

[[File:Parallel transport.png|thumb|球面上一个向量沿着闭环路平行移动。它转过的角度 <math>\alpha</math>，与环路内部的面积成比例。]]

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

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

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

==向量丛上的平行移动==
设 ''M'' 是光滑流形，''E''&rarr;''M'' 是一个向量丛，其上有[[共变导数]] &nabla;。设 ''&gamma;'': ''I''&rarr;''M'' 是由开区间 ''I'' 参数化的一条[[曲线|光滑曲线]]。<math>E</math> 的一个沿着 ''&gamma;'' 的[[截面 (纤维丛)|截面]] ''X'' 称为'''平行'''，如果

:<math>\nabla_{\dot\gamma(t)}X=0</math> 对 <math>t \in I \ .</math>

记 ''P'' = ''&gamma;''(0) &isin; ''M''，如果我们有 ''P'' 点的纤维 ''E''<sub>''P''</sub> 中一个元素 ''e''<sub>0</sub>，而不是一个截面。''e''<sub>0</sub> 沿着 ''&gamma;'' 的'''平行移动'''是把 ''e''<sub>0</sub> 扩张成 ''&gamma;'' 上一个“平行”截面 ''X''。更确切地，''X'' 是 ''E'' 沿着 ''&gamma;'' 惟一的截面使得：
#<math>\nabla_{\dot{\gamma}} X = 0</math>
#<math>X_{\gamma(0)} = e_0.</math>
注意到，在一个[[局部平凡化]]中（1）定义了一个[[常微分方程]]，（2）给出了[[初始条件]]。从而由[[柯西-利普希茨定理]]保证了解的存在惟一性。

从而联络 &nabla; 定义了纤维的元素沿着曲线移动的一种方式，这便给出了沿着曲线上点的纤维之间的[[线性同构]]：
:<math>\Gamma(\gamma)_s^t : E_{\gamma(s)} \rightarrow E_{\gamma(t)}\ ,</math>
从 &gamma;(''s'') 上的向量空间到 &gamma;(''t'') 上的向量空间，这个同构称为与曲线关联的'''平行移动'''映射。这样得到的纤维之间的同构一般会取决于曲线的选取；如果与选取无关，那么沿着任何曲线的平行移动都可以用来定义在整个 ''M'' 上 ''E'' 的平行截面，这当且仅当'''[[联络 (向量丛)|联络]]''' &nabla; 的曲率为 0 。

特别地，沿着一条始于点 ''x'' 的闭曲线的平行移动定义了 ''x'' 处[[切空间]]的一个[[自同构]]，这个自同构不一定[[平凡 (数学)|平凡]]。由以 ''x'' 为基点的所有闭曲线定义的平行移动自同构组成了一个[[变换群]]称为  &nabla; 在 ''x'' 处的[[和乐群]]。这个群与 &nabla; 在 ''x'' 处的曲率有紧密的关系，这便是[[安布罗斯-辛格和乐定理]]。
===由平行移动得到联络===
给定一个共变导数 ∇，沿着 &gamma; 的平行移动由积分 <math>\scriptstyle{\nabla_{\dot{\gamma}}=0}</math> 得到。反之，如果有一个合适的平行移动概念，那么相应的联络可通过求导获得。这个方法本质上属于{{harvtxt|Knebelman|1951}}，参见{{harvtxt|Guggenheimer|1977}}。{{harvtxt|Lumiste|2001}} 也采取这种方式。

考虑对流形上每条曲线  &gamma; 分配一些映射
:<math>\Gamma(\gamma)_s^t : E_{\gamma(s)} \rightarrow E_{\gamma(t)}\ ,</math>
使得
# <math>\Gamma(\gamma)_s^s = Id</math>，''E''<sub>&gamma;(s)</sub> 的恒同变换。
# <math>\Gamma(\gamma)_u^t\circ\Gamma(\gamma)_s^u = \Gamma(\gamma)_s^t\ .</math>
# &gamma; 上的 &Gamma; “光滑”依赖于 ''s'' 与 ''t''。
在条件 3. 中光滑性的概念有点难以确定（见下面纤维丛平行移动的讨论）。特别地，现代作者（比如 Kobayashi 与 Nomizu）通常将联络的平行移动视为从其它意义下的联络中得来，这样光滑性更容易表述。

尽管如此，给了这样一种平行移动的规则，可以复原 ''E'' 上关联的无穷小联络。令 &gamma; 是 ''M'' 中一条光滑曲线，起点为 &gamma;(0)，初始切向量 ''X'' = &gamma;&prime;(0)。如果 ''V'' 是 ''E'' 在 &gamma; 上的一个截面，则令
:<math>\nabla_X V = \lim_{h\to 0}\frac{\Gamma(\gamma)_h^0V_{\gamma(h)} - V_{\gamma(0)}}{h} = \left.\frac{d}{dt}\Gamma(\gamma)_t^0V_{\gamma(t)}\right|_{t=0}\ .</math>
这就在 ''E'' 上定义了关联于 &Gamma; 的无穷小联络 &nabla;。从这个无穷小联络我们又重新得到相同的平行移动  &Gamma;。

===特例：切丛===

设 ''M'' 是一个光滑流形，则 ''M'' 的切丛上一个联络称为[[仿射联络]]，确定了一类曲线称为（仿射）[[测地线]]{{harv|Kobayashi|Nomizu|1996|loc=Volume 1, Chapter III}}。一条光滑曲线 &gamma;: ''I'' &rarr; ''M'' 是一条'''仿射测地线'''如果 <math>\dot\gamma</math> 是沿着 <math>\gamma</math> 的平行移动，即

:<math>\Gamma(\gamma)_s^t\dot\gamma(s) = \dot\gamma(t)\ .</math>

取关于时间的导数，得到更熟悉的形式

:<math>\nabla_{\dot\gamma(t)}\dot\gamma = 0\ .</math>

==黎曼几何中的平行移动==
在（[[伪黎曼流形|伪]]）[[黎曼几何]]中，[[度量联络]]是其平行移动保持[[度量张量]]的任何联络。即度量联络是任何联络 &Gamma; 使得，对任意两个向量  ''X'', ''Y'' &isin; T<sub>&gamma;(s)</sub>
:<math>\langle\Gamma(\gamma)_s^tX,\Gamma(\gamma)_s^tY\rangle_{\gamma(t)}=\langle X,Y\rangle_{\gamma(s)}\ .</math>

取 ''t''=0 的导数，伴随的微分算子 &nabla; 必须满足关于度量的[[乘积法则]]： 
:<math>\nabla_Z\langle X,Y\rangle = \langle \nabla_ZX,Y\rangle + \langle X,\nabla_Z Y\rangle\ .</math>

===测地线===

如果 &nabla; 是一个度量张量，那么仿射测地线便是通常黎曼几何中的[[测地线]]且是局部距离最小曲线。更准确地，首先注意到如果 ''&gamma;'': ''I'' &rarr; ''M''（这里 ''I'' 是一个开区间），是一条测地线，那么<math>\dot\gamma</math> 的模长在 ''I'' 中为常数。事实上有
:<math>\frac{d}{dt}\langle\dot\gamma(t),\dot\gamma(t)\rangle\bigg|_{t=0} = 2\langle\nabla_{\dot\gamma(t)}\dot\gamma(t),\dot\gamma(t)\rangle=0\ .</math>

这样，如果 ''A'' 是 <math>\dot\gamma(t)</math> 的模长，则在这个度量下，曲线 ''&gamma;'' 上“足够接近”的两点 ''&gamma;''(''t''<sub>1</sub>) 与 ''&gamma;''(''t''<sub>2</sub>) 的距离由
:<math>\mbox{dist}\big(\gamma(t_1),\gamma(t_2)\big) = A|t_1 - t_2|</math>
给出。上面的公式对不是足够接近的两点可能不成立，因为测地线在整体上可能不是最小曲线，比如可能盘绕在流形上（例如球面）。

==推广==
平行移动可更广泛的定义于其它类型的联络，不一定要定义在向量丛上。一种推广是[[联络 (主丛)|主丛联络]]{{harv|Kobayashi|Nomizu|1996|loc=Volume 1, Chapter II}}。设 ''P'' &rarr;  ''M'' 是一个流形 ''M'' 上一个以[[李群]] ''G'' 为结构群的[[主丛]]，主丛联络为 &omega;。像向量丛一样，''P'' 上一个主丛联络 &omega; 对 ''M'' 上任何曲线 &gamma; 定义了一个映射：
:<math>\Gamma(\gamma)_s^t : P_{\gamma(s)} \rightarrow P_{\gamma(t)}\ ,</math>
从  &gamma;(''s'') 的纤维到 &gamma;(''t'') 的纤维。这是[[齐性空间]]的一个同构：即 <math>\Gamma_{\gamma(s)} gu = g\Gamma_{\gamma(s)}</math>，对任何 ''g'' &isin;''G''。

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

==参见== 
* [[联络]]
*[[几何相位]]
*{{Le|进化（微分几何）|Development (differential geometry)}}
* [[仿射联络]]
* [[共变导数]]
*{{Le|测地线（相对论）|Geodesic (General Relativity)}}
* [[陈-高斯-博内定理]]
* [[威尔森回卷]]
* [[李导数]]

==参考文献==
* {{citation|first=Heinrich|last=Guggenheimer|title=Differential Geometry|year=1977|publisher=Dover|isbn=0-486-63433-7}}
*{{citation | author=Knebelman|title=Spaces of relative parallelism|journal=Annals of Mathematics|volume=53|series=2|pages=387-399|year=1951|url=http://links.jstor.org/sici?sici=0003-486X(195105)2%3A53%3A3%3C387%3ASORP%3E2.0.CO%3B2-6}}
*{{citation | last1=Kobayashi|first1=Shoshichi|author1-link =小林昭七|last2=Nomizu|first2=Katsumi|author2-link =野水克己 | title = Foundations of Differential Geometry, Volume 1| publisher=Wiley-Interscience | year=1996|id = ISBN 0471157333}}; Volume 2, ISBN 0471157325.
*{{springer|id=c/c025180|title=Connections on a manifold|first=Ü.|last=Lumiste|year=2001}}

==外部链接==
*[http://torus.math.uiuc.edu/jms/java/dragsphere/ Spherical Geometry Demo] {{Wayback|url=http://torus.math.uiuc.edu/jms/java/dragsphere/ |date=20070519065556 }}（一个演示球面上切向量平行移动的 Applet 程序）

[[Category:黎曼几何|P]]
[[Category:联络|P]]