贡献者: JierPeter
仿射联络的定义是高度抽象的,并不涉及具体的运算。我们在本节所介绍的是将来进行计算时非常关键的理论基础。计算的实例请参见庞加莱半平面(微分几何计算实例)。
本词条中默认 $(M, \nabla)$ 为一个带仿射联络的实流形。
对于任意 $p\in M$,取 $p$ 的一个邻域 $U\subseteq M$,使得存在一组光滑向量场 $\{ \hat{\boldsymbol{\mathbf{e}}} _i\}$ 构成 $C^{\infty}(U)$ 上的一组基。这就是说,$U$ 上的每个光滑向量场都可以表示为 $f^i \hat{\boldsymbol{\mathbf{e}}} _i$ 的形式,其中各 $f^i$ 是 $U$ 上的光滑函数。
对于任意 $X\in\mathfrak{X}(U)$,我们知道 $\nabla_X \hat{\boldsymbol{\mathbf{e}}} _i$ 也是一个光滑向量场,因此存在一组光滑函数$\omega^j_i(X)$,使得 $\nabla_X \hat{\boldsymbol{\mathbf{e}}} _i=\omega^j_i(X) \hat{\boldsymbol{\mathbf{e}}} _j$。
每个光滑函数 $\omega^j_i(X)$ 都由 $X$ 唯一确定,而且由 $\nabla$ 的性质知,对于任意光滑函数 $f$ 和 $g$,光滑向量场 $X, Y$,都有 $\omega^j_i(fX+gY)=f\omega^j_i(X)+g\omega^j_i(Y)$。也就是说,$\omega^j_i$ 本身是 $X$ 的线性函数,也就是 $U$ 上的一个 $1$-形式。
我们将以上讨论所得出的 $\omega^j_i$ 称为 $\nabla$ 的联络形式(connection form),$\omega^j_i$ 构成的方阵称为 $\nabla$ 的联络形式矩阵(matrix of connection forms)。
在线性代数中我们知道,一个向量(或者任何非零阶的张量)不能简单地理解为一组坐标数字,因为它的坐标具体取值取决于基的选择。而以上讨论的 $\omega^j_i$ 虽然不是数字,却也有类似的性质,即 “$\omega^j_i$ 具体是哪个 $1$-形式,取决于选择哪一组 $\{ \hat{\boldsymbol{\mathbf{e}}} _i\}$ 作为 $\mathfrak{X}(M)$ 的基”。换句话说,$\omega^j_i(X)$ 具体是哪个函数,不仅取决于 $X$,也取决于 $\{ \hat{\boldsymbol{\mathbf{e}}} _i\}$ 的选择。
因此,尽管 $\omega_i^j$ 是微分形式,我们也把它看成一种坐标分量,即联络 $\nabla$ 在基 $\{ \hat{\boldsymbol{\mathbf{e}}} _i\}$ 下的局部坐标分量。之所以强调 “局部”,是因为我们只能保证在 $\mathfrak{X}(U)$ 中能找到一组基,而在整个 $\mathfrak{X}(M)$ 中则不一定存在基1。
如果我们知道了一个基下具体的联络形式,就可以计算出联络了。
证明:
证毕。
实际上,联络和联络形式并不一定是只能定义在流形的切丛上,它也可以定义在流形上的任何向量丛上。具体拓展请参见联络(向量丛)词条。
曲率算子的定义为 $R(X, Y)=\nabla_X\nabla_Y-\nabla_Y\nabla_X-\nabla_{[X, Y]}$。同样地,我们在 $U\subseteq M$ 局部取 $\{ \hat{\boldsymbol{\mathbf{e}}} _i\}$ 作为光滑向量场的基,定义出一组光滑函数 $\Omega^j_i(X, Y)$,满足:
类似地,我们也可以证明 $\Omega^j_i(X, Y)$ 是关于 $X$ 和 $Y$ 的一个线性函数,因此 $\Omega^j_i$ 本身是一个 $U$ 上的 $2$-形式,称为 $\nabla$ 的曲率形式(curvature form)。$\Omega^j_i$ 构成的方阵称为 $\nabla$ 的曲率形式矩阵(matrix of curvature forms)。
类似联络形式和曲率形式,我们有挠率形式的定义:
此处各 $\tau^i(X, Y)$ 依然是光滑函数,$\tau^i$ 则是 $2$-形式,故同样可得挠率形式(torsion form)和挠率形式矩阵(matrix of torsion forms)的概念。
进行和联络相关的计算时的关键工具包括接下来将介绍的反对称定理和结构定理。在介绍这两个定理前,我们还有最后一点铺垫,一个定义和一个定理。
注意,对偶基的概念是对于 “基” 而不是 “基向量” 而言的,是给定一组基了以后才有了对偶基,而不是每个基向量对应一个对偶向量。
标准化的意思就是说,$< \hat{\boldsymbol{\mathbf{e}}} _i, \hat{\boldsymbol{\mathbf{e}}} _j>=\delta_{ij}$ 处处成立,也就是说在每一个点处 $\{ \hat{\boldsymbol{\mathbf{e}}} _i\}$ 都构成一个标准正交基。Schmidt 标准化的方法是线性空间中 Schmidt 标准化的直接推广,若不熟悉请见施密特正交归一化词条。
接下来,我们就可以摆出最为关键的两个定理了。
证明:
由于 $< \hat{\boldsymbol{\mathbf{e}}} _i, \hat{\boldsymbol{\mathbf{e}}} _j>=\delta_{ij}$,且 $\nabla_X \hat{\boldsymbol{\mathbf{e}}} _i=\omega^j_i(X) \hat{\boldsymbol{\mathbf{e}}} _j$,故
证毕。
1. ^ 比如考虑 $M=S^2$,即球面,那么球面上任何一个连续向量场总存在零点,因此对于任意两个光滑向量场 $\{ \hat{\boldsymbol{\mathbf{e}}} _i\}$,在 $ \hat{\boldsymbol{\mathbf{e}}} _1$ 的零点 $p$ 处,仅靠 $ \hat{\boldsymbol{\mathbf{e}}} _2$ 是无法张成整个切空间 $T_pM$ 的,因此只要一个光滑向量场在 $p$ 点的值和 $ \hat{\boldsymbol{\mathbf{e}}} _2$ 不平行,这个场就没法被 $\{ \hat{\boldsymbol{\mathbf{e}}} _i\}$ 表示出来。
2. ^ 见 [11] 第 85 页的定理 11.7。
 
 
 
 
 
 
 
 
 
 
 
友情链接: 超理论坛 | ©小时科技 保留一切权利