按作者与版本查阅
以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示;最早位置不代表全书首次定义。
Szekeres · source-snapshot-bc3404156f6e
已登记出处中的最早位置:§18.1 · zh-CN。
来源短摘录与定位
§18.1 · zh-CN · translation · unreviewed
由微分方程的存在唯一性定理,对 处的任意切向量 ,存在唯一一个沿 平行的向量场 ,使得 。曲线段是紧集,可被有限个图卡覆盖,因此存在唯一性可延拓到整条曲线 上。此外,由于微分方程是线性的,满足 的映射 是线性映射,称为沿 从 到 的 平行移动(parallel transport)。由于通过将参数变为 可将平行移动映射反转,映射 是一对一的,因而必是线性同构。
§18.1 · en · original_transcription · unreviewed
By the existence and uniqueness theorem of differential equations, for any tangent vector at there exists a unique vector field parallel along such that The curve segment is a compact set and can be covered by a finite family of charts, so that existence and uniqueness extends over the entire curve . Furthermore, as the differential equations are linear the map such that is a linear map, called parallel transport along from to . Since the parallel transport map can be reversed by changing the parameter to , the map is one-to one and must be a linear isomorphism.