在几何之中,联络是一点所对应的空间与另一点所对应的空间之间的转换。这种转换是沿著一曲线(族)的连续地变化,遵循平行性及逻辑上的一致性。在现代几何中,依照不同的空间,可定义出好几种不同的联络。
此条目没有列出任何参考或来源。 (2017年7月12日) |
例如最常见的仿射联络,即是在流形上由一点上切空间,到另一点上切空间,沿著一条曲线的转换。仿射联络可以用来定义协变导数,推广了向量空间中方向导数的概念。
联络是现代几何中一个应用范围广泛的核心概念,因为借由联络,在一个几何实体中,不同两点上的局部几何空间(可理解为邻域),这两者间的元素得以互相比较。
动机:坐标系统的局限
请回忆原始平行移动的概念:当一个转换不会让向量的分量有所改变时,便称此转换为平行移动。
设在球面上的北极点有一个切向量,我们将试著借由适当的定义,把那切向量能从球体上一点平行移动到其他点。注意到切向量其实是点上局部座标系的元素,所以在球面上的平行移动能理解为切向量在两个切空间之间的转换。然而,原始平行移动的概念并不能把存在于某个切空间的切向量,转换到不同的切空间中。
为了让平行移动的概念更加清楚,我们考虑一种等价的移动方法:使切向量黏在北极点且整体座标系固定的情况下,旋转球体使得北极点沿著曲线移动(后续将会知道,这是列维-奇维塔联络的移动方式)。如图所示,虽然切向量移动的起点和终点是一样的,但沿著不同的曲线移动的话,它最终指向的方向也会不一样,这现象反映了球体的曲率。(有趣的是,古中国发明的指南车,它的行为就跟在平行移动下的切向量没两样。)
现在我们把原始平行移动的概念推广,使之能用于在不同切空间的转换,称为联络:若有个'转换'将一个切向量A从切空间S,转换成切空间T中的向量B,并使得A于S座标系的每个分量,都分别跟B于T座标系的对应分量相等,则此转换即是联络。
当我们使用向量微积分中的方向导数时会发现,方向导数在不同空间的转换下,没办法反映转换前后不变的性质。另外,方向导数是欧几里德空间中向量场沿著一方向的变化,但不是每种空间都能像欧几里德空间这样做。因为在任意座标系中,两个存在于不同切空间的切向量,并不能相加或相减,这使的方向导数的定义不能在上述的球面上使用。为此,我们提出一个可行的方案以取代方向导数。
在空间转换下,张量的表述方法可以反映在空间变换下不变的性质,其中共变导数正好可以用来取代方向导数。共变导数借由一个联络(他的分量形式是克里斯托福符号Γ),让不同但无穷接近的两个切空间中的切向量,可以转换到同一个切空间中,如此一来两向量就可以相加相减,使得此种导数概念可以被定义出来。
各领域中联络的定义
以下将提及的是“线性”或“仿射”联络。
- 在模上定义协变导数较为直接的方式;见导子。
- 张量分析中以经典的分量形式给出联络;见协变导数(注意:虽说协变导数是张量分析的内容,它本身也是有三个指标的量,但协变导数不是一个张量)。
- 在黎曼几何中,联络是由度量张量所导出;见列维-奇维塔联络。
- 用主丛和李代数值构成的微分形式;见联络形式和嘉当联络。
- 最抽象的定义大概是亚历山大·格罗滕迪克所建议的方法。在这方法中,联络被视为对角线中无穷小邻域的下降数据。
除了“仿射”联络之外还有其他的联络,例如射影联络的概念,这概念的其中一个特例是复分析里的施瓦茨导数。
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.