其实一开始学微分流形就是单纯认为高等数学定义的积分模型实在是有点丑，想找更统一的公式去表达，但也没想到就这么稀里糊涂的学了不少东西，不过，确实也给我窥见了大一统的美丽。在这里记录下一些重要定义，重要公式吧。

免责声明：不保证摘录的是完全正确的，自用，请谨慎阅览

张量积的定义：

可以看到整个这个的定义和乘法几乎也没什么多大的区别，不过是符号用的奇特了些

张量积的结合律：

张量积的分配律：

张量积的交换律：

向量与张量积的结合：

张量积的对偶：设$U$和$V$是有限维向量空间，${u_i}$和${v_j}$分别是$U$和$V$的一组基，则$u_i\otimes v_j$构成了$U\otimes V$的一组基，同时也可以证明$\mathrm{Hom}(U\otimes V, \mathbb{R})\cong \mathrm{Bil}(U,V)$，即$U\otimes V$的对偶空间和$U$和$V$的双线性函数空间同构。

由定义可得($C$为常数，0-tenser，等号右边的运算符是乘积)

对于任意$f\in A_k(V)$，$g\in A_l(V)$，定义楔积如下

楔积有如下的运算性质设$f\in A_k(V)$，$g\in A_l(V)$，$h\in A_m(V)$

同理如果$f$为常数$c$，$c\wedge g = cg$

在光滑流形$M$中取点$x_0$的局部坐标系$(U;x^i)$，在光滑流形$N$中取点$\varphi(x_0)$的局部坐标系$(V;y^a)$，则光滑映射$\varphi :M\to N$在局部上可表示为

其中$y^a(x^1,x^2,\cdots,x^m)$是定义在$U\cap\varphi^{-1}\left(V\right)$上的光滑函数，在切空间$T_{x_0}M$和$T_{\varphi(x_0)}N$中分别有自然基底$\{\frac{\partial}{\partial x^i}\}$和$\{\frac{\partial}{\partial y^a}\}$，设

让上式两边都作用在坐标函数$y^\beta$上，得到

其中$T_{x_0}M$中不同的自然基底之间的关系可以看作从光滑流形$M$到自身的恒通映射在点$x_0$的切映射(仍然是恒同映射)在这两个自然基底下的表示。设$(U,\varphi)$，$(V,\psi)$是光滑流形$M$在点$x_0$的两个容许坐标卡，记

由上方式子得到

其中

(《微分流形初步》p77)

定义式如下

光滑流形$M$上任意一个对称、正定的光滑2阶协变张量称为$M$上的一个黎曼结构，若在$M$上指定一个黎曼结构，及则称$(M,g)$为一个黎曼流形，此时称$g$为黎曼流形$M$上的基本张量场，或度规张量场

欧式空间自带一个自然的度规张量场，为一个单位矩阵，并且$g$为欧式内积

设$M$是满足第二可数公理$m$维有向光滑流形，则对于任意的有紧致支撑集的$m$次外微分式$\omega$，取$M$的定向相符的坐标卡集$\{(U_a,\varphi_a)\}$使得$\{U_a\}$构成$M$的局部有限开覆盖，因此在$M$上有从属于$\{U_a\}$的单位分解$\{h_a\}$，故$Supph_{a}\subset U_{a}$，$h_{a}\in C\left(M\right)$，$h_{a}\geq0$，$\sum h_{a}=1$，在$M$上的积分定义如下

这里单位分解既是用一种巧妙的方法把函数分割到每个开集中，让他们在各自的局部坐标系里进行运算，最终得到结果的方法。

在实际计算时，可以使用给定的局部坐标系下的度量分量来计算 $ds$，即

注意，$ds$原本的定义为

显然要想求得$ds$，左右两式要同时代入相同的$v$，即

在此基础上

看上去根号就像有了，把一个参数变为两个参数的功能由于张量积的定义上和乘积也没什么多大区别，所以类似欧氏空间当中的弧微分也就可以做到提出一个$dt$，凑出积分式子进行运算了

设$(M,g)$是$n$维有向的黎曼流形，$(U;x^i)$是$M$的定向相符的局部坐标系，记

则

是在$M$上大范围定义的$n$次外微分式，其中$G=det(g_{ij})$。很明显，$\Omega$处处不为零，称为黎曼流形$(M,g)$的体积元素

设$f\in C^{\infty}\left(M\right)$，则$df$是$M$上的1次微分式,下面这个式子称为光滑函数$f$的梯度场

对于 $n$ 维微分流形 $M$ ，$\Omega\subset M$ ，$\partial\Omega$ 是一个 $n-1$ 维微分流形，为 $M$ 的边界，其定向是$M$诱导的stokes定向，$\omega$ 为 $(n-1)$ -形式，$d\omega$ 为 $n$ -形式，可得

设$(M,g)$是一个$m$维黎曼流形，$v\in\mathscr{X}\left(M\right)$。在局部坐标系$(U;x^i)$下，设$v|_{v}=v^{i}\frac{\partial}{\partial x^{i}}$，命

则$D v$是在光滑流形$M$上大范围定义的$(1,1)$型光滑张量场，称为光滑切向量场$v$的协变微分。映射$D:\mathscr{X}\left(M\right)\rightarrow \mathscr{X}\left(M\right)$称为协变微分算子这个是欧式空间中全微分在流形上的版本，也就是说欧氏空间中的全微分是流形上的协变微分的特例。

设$(M,g)$是一个$m$维黎曼流形，$v\in\mathscr{X}\left(M\right)$，$X\in T_pM$，则下式所定义的$D_Xv\in T_pM$称为光滑切向量场$v$关于切向量$X\in T_pM$的协变导数

这个是欧式空间中方向导数在流形上的版本，也就是说欧氏空间中的方向导数(偏导数)是流形上的协变微分的特例。

在 $ds = g_{ij} dx^i dx^j$ 中，$dx^i$ 和 $dx^j$ 之间的运算符是乘号 $\times$，表示 $dx^i$ 与 $dx^j$ 的乘积。这个乘法是指张量积，也就是向量的张量积。这个式子相当于对两个一阶协变张量 $dx^i$ 和 $dx^j$ 进行张量积得到一个二阶张量 $dx^i \otimes dx^j$，然后与度量张量 $g_{ij}$ 进行收缩。

到目前为止(2023.4.11)，基本的公式已经整理完成，接下来就是碰见实际例子时候的具体问题具体分析了

非也，其实动量定理更本质应该是微分形式，写成积分形式纯粹是约定了欧式空间。其实最终形成了一个微分方程。这启示我们积分有时候定义不正确可以考虑换成微分形式来想，积分往往不充足。

可以看到这个式子右端最终结果是一个向量场，左端也是向量场，最终等式成为恒等式，只要取两端向量分量恒等就可以得到最终结果啦