切空间(流形)
贡献者: JierPeter; addis
对于流形 ,如果能将它嵌入到某个 中,嵌入映射为 ,那么根据切空间(欧几里得空间)中关于曲面 的讨论,我们可以使用道路或者导子来算出特定嵌入 下流形 的切空间和切丛。但是和测试电荷、测试函数类似,特定嵌入也只是一个测试函数,我们讨论流形本身时不依赖特定的嵌入,这就体现出道路和导子定义的好处了。
和大多数教材不同的是,小时百科中在许多地方使用道路的等价类来定义流形上的切向量,这样比起导子要更加容易可视化。需要注意的是,我们仍然会将导子定义和道路定义看成完全相同的东西,所以会在合适的时候选择使用相应的定义来描述切向量,因此读者应牢牢掌握两种定义为什么是等价的。
1. 流形上切空间的定义
定义 1 切向量
给定流形 ,则在其上一点 处的一个切向量就是从 出发的一条道路 所在的等价类。其中,两道路 和 等价当且仅当存在 处的一个图 ,使得道路 和 都收敛于 中的同一个切向量。
切向量的定义只要求两条道路在某一个图中对应的欧几里得空间里的切向量等价。这种定义方法是合理的,这由以下定理保证:
定理 1
给定流形 ,其上一点 处有两个图 和 。 出发的两条道路 和 ,它们 和 收敛于同一个切向量,当且仅当 和 也收敛于同一个切向量。
证明:
为方便计,将 记为 。
由于 是一个双向光滑双射,即 和 都是双射且光滑,于是它的 Jacobi 矩阵 是非奇异的;换句话说,如果把向量值函数 的第 个分量函数记为 ,那么 的梯度 处处存在且不为零。类似地, 的分量函数的梯度也处处存在且不为零。在以下证明中,为了方便,我们将直接使用 Jacobi 矩阵的表示方法。
对应的向量是 , 表示的向量是 。由于这两个向量是同一个,故 。
现在直接计算 和 对应的向量:
注意这里的 是一个 Jacobi 矩阵,而 是一个切向量。
类似地,可以计算出
由于 ,代入式 1 和式 2 后得
必要性得证。
充分性则是由于 非奇异,故非零的 不会被 映射到零向量上,进而两个向量 和 之差如果不为零,则其在 下的映射也不为零。换句话说,当 和 收敛于同一个切向量( 和 在 下的映射为零),那么 和 之差必须为零。
证毕。
定理 1 意味着流形 上的道路,在一个图里的等价划分,和在任何其它图里的等价划分是一致的,这就使得我们可以摆脱对特定图的依赖,直接定义两条道路等价当且仅当它们在任意一个图里等价。类似地,我们也可以摆脱对特定图的依赖来定义道路等价类的加法。
定义 2 切向量的加法
给定流形 ,其上一点 。 出发的两个道路等价类 和 的和定义为,任取 附近一图 ,令 。
定理 2
给定流形 ,其上一点 处有两个图 和 。对 出发的两条道路 和 ,按以上定义所得的和(注意,这个和是 上的一个道路等价类),在两个图中的计算结果一致。
证明:
为方便计,记 。
根据定理 1 的证明,我们知道 的各分量 都处处有非零梯度。设 和 的起点都是 ,那么用 计算可得:;而用 计算可得:。我们希望这样计算出来的两个 是等价的(一般不相等)。
将以上计算出来的两个 都放到 中进行比较,它们等价当且仅当对 求导的结果一样。用 本身算出来的 当然是 ;而在 中算出来的 则是 。直接计算得,,而 。考虑到 和 都是非奇异的,故它们的乘积是单位矩阵,于是以上两个求导的结果是一致的,因此两种方式计算出来的 是等价的。
证毕。
这个定理保证了定义 2 的合理性,即无论用哪个图去计算切向量(道路等价类)的和,结果仍然是同一个等价类。定理成立的关键在于,两个图相容使得 是一个双向光滑的双射,因此 和 都存在且非奇异,这就使得计算过程中可以把 变换的影响消除。
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。