埃雷斯曼联络

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

定义 · 10.1 主丛上的联络

我们已经说明，联络1-形式 $\omega$ 的定义与联络的定义是等价的，因为 $\omega$ 把 $T_{u}P$ 分解为 $H_{u}P\oplus V_{u}P$，这与定义 10.1的各条公理相容。这里定义的联络1-形式 $\omega$ 在文献中称为埃雷斯曼联络(Ehresmann connection)。

英文原文

We have shown that the definition of the connection one-form $\omega$ is equivalent to that of the connection, since $\omega$ separates $T_{u}P$ into $H_{u}P\oplus V_{u}P$ in harmony with the axioms of definition 10.1. The connection one-form $\omega$ defined here is known as the Ehresmann connection in the literature.

出处：10.1 主丛上的联络 · node a-276fdd75904901fdc70351ea · 源节点 SHA-256 5d71832a0ed85ed9…