水平子空间

本书暂定概念：尚未进入正式概念库。下面是本书给出的定义原文。

定义 · 定义 10.2

联络1-形式(connection one-form) $\omega \in \mathfrak{g}\otimes T^{\ast }P$ 是 $T_{u}P$ 到垂直分量 $V_{u}P\simeq \mathfrak{g}$ 上的投影映射。这一投影性质由以下要求概括：

(i) $\omega (A^{\#})=AA\in \mathfrak{g}$ (10.3a)
(ii) $R_g^{\ast }\omega ={\mathrm{Ad}}_{g^{-1}}\omega$ (10.3b)

即，对 $X\in T_{u}P$，有

$$R_g^{\ast }{\omega }_{ug}(X)={\omega }_{ug}\left(R_{g\ast }X\right)=g^{-1}{\omega }_u(X)g.\text{\hspace{1em}(10.3b’)}$$

用 $\omega$ 的核来定义水平子空间(horizontal subspace) $H_{u}P$：

$$H_{u}P\equiv \{X\in T_{u}P|\omega (X)=0\}.\text{\hspace{1em}(10.4)}$$

英文原文

A connection one-form $\omega \in \mathfrak{g}\otimes T^{\ast }P$ is a projection of $T_{u}P$ onto the vertical component $V_{u}P\simeq \mathfrak{g}$ . The projection property is summarized by the following requirements,

(i) $\omega (A^{\#})=AA\in \mathfrak{g}$ (10.3a)
(ii) $R_g^{\ast }\omega ={\mathrm{Ad}}_{g^{-1}}\omega$ (10.3b)

that is, for $X\in T_{u}P$

$$R_g^{\ast }{\omega }_{ug}(X)={\omega }_{ug}\left(R_{g\ast }X\right)=g^{-1}{\omega }_u(X)g.\text{\hspace{1em}(10.3b’)}$$

Define the horizontal subspace $H_{u}P$ by the kernel of $\omega$ ,

$$H_{u}P\equiv \{X\in T_{u}P|\omega (X)=0\}.\text{\hspace{1em}(10.4)}$$

出处：10.1 主丛上的联络 · node a-bd7d59800f7cd6746d66f30b · 源节点 SHA-256 f3d8897645bf0543…