流形上的代数结构

贡献者： JierPeter

预备知识　模，切向量场

未完成：本文尚在草稿阶段。

　　本节中，设 $M$ 为一光滑实流形。

1. 光滑切向量场

作为实数域上的线性空间

　　对于任意 $p\in M$，我们已经讨论了切空间 $T_pM$ 的性质，也就是流形上一点处的代数结构。由于一个切向量场是给流形上每一点赋予一个切向量，我们可以很自然地将一点处的切向量之间的和推广为切向量场之间的和。这就提醒我们，也许可以将向量场整体视为一个向量，构成一个线性空间。

　　为了得到线性空间，还需要一个运算：数乘。一个向量场整体乘以一个实数，就是每个点的切向量都乘以这个实数。这样，数乘、向量和都有了，$M$ 上的全体切向量场的集合就构成了一个实数域上的线性空间。

　　由于我们希望自由地进行微分运算，通常只讨论光滑切向量场。光滑切向量场构成的线性空间，我们在切向量场文章中已经提到过了。

作为光滑函数环上的模

　　切向量场上的运算，是由每个点处切向量的运算推广而来的。前面在数乘推广时我们默认了每个点都乘以同一个实数，那么可不可以每个点都乘以不同的数呢？换句话说，数乘时用的 “数”，可以是任意函数吗？

　　答案是肯定的，只不过如果使用函数来进行数乘就没法得到线性空间了，因为流形上的函数并不是一个域。如果一个函数 $f$ 不恒为零，但是有零点，那么就不存在它的乘法逆元 $g$ 使得 $f(p)\cdot g(p)=1$ 对任意 $p\in M$ 成立。$M$ 上的全体函数，只构成一个环，因此切向量场的集合是函数环上的一个模。

　　同样地，我们只考虑光滑切向量场和光滑函数。$M$ 上全体光滑切向量场的集合记为 $\mathfrak{X}(M)$；全体光滑函数的和记为 $C^{\infty}$，有时候也记为 $\mathbb{F}$。

习题 1　证明光滑切向量场确实是光滑函数环的模

　　证明：在欧几里得空间中，光滑函数乘以光滑切向量场，得到的还是光滑切向量场。

　　推论：流形上光滑函数和光滑切向量场的乘积还是光滑切向量场，从而知数乘是合理的定义。

　　光滑切向量场作为模，和线性空间不同，不一定能找到一组基。但是由于流形局部同胚于欧几里得空间，因此依然可以找到局部区域的基。

定义 1　参考系

　　设 $(U, \varphi)$ 是 $M$ 上的一个图，则 $U$ 上一定存在 $ \operatorname {dim}M$ 个光滑切向量场 $ \hat{\boldsymbol{\mathbf{e}}} _i$，使得对于 $U\subseteq M$ 上任意一个光滑切向量场 $ \boldsymbol{\mathbf{v}} $，都存在光滑函数 $f^i$，使得 $ \boldsymbol{\mathbf{v}} =f^i \hat{\boldsymbol{\mathbf{e}}} _i$¹。

　　这样的一组基 $\{ \hat{\boldsymbol{\mathbf{e}}} _i\}$，被称为 $U$ 上的一个局部参考系（local frame）。

2. 微分形式

1. ^ 这是因为欧几里得空间里总存在这样的一组基，使用 $\varphi^{-1}$ 将这组基映射到 $U$ 上就得到 $U$ 上的一组基了。

致读者：小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损，并在接下来的一年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。