外微分 #

向量的外积一般只定义于不超过3维的空间。为了在更高维空间中使用反对称运算,我们需要下面描述的微分形式与外微分。

我们知道,任意$x$的函数的微分都可以写成$dx^{\mu}$的线性组合,在这里,各$dx^{\mu}$实则上扮演了一个基的角色,因此,我们不妨把$dx^{\mu}$看成是一组基,并且把任意函数称为微分0形式,而诸如$\omega_{\mu}dx^{\mu}$的式子,称为微分1形式。

在$dx^{\mu}$这组基之上,我们定义外积$\land$,即有反对称的运算$dx^{\mu}\land dx^{\nu}$,并且把诸如$\omega_{\mu\nu}dx^{\mu}\land dx^{\nu}$的式子,称为微分2形式。注意到这是$n$维空间中的外积,$dx^{\mu}\land dx^{\nu}$事实上是一个新空间的基,而不能用$dx^{\mu}$的线性组合来表示。

接着,允许$\land$重复执行,即允许$dx^{\mu}\land dx^{\nu}\land dx^{\lambda}$,并且称诸如$\omega_{\mu\nu\lambda}dx^{\mu}\land dx^{\nu}\land dx^{\lambda}$的式子为微分3形式。相应地,可以定义一般的微分$p$形式。至于它的几何意义,我们后面再谈。

最后,定义一个外微分算符$d$,它允许我们从一个微分$p$形式,产生一个微分$p+1$形式
$$\begin{aligned}&d\left(\omega_{\mu_1 \mu_2 \dots \mu_p} dx^{\mu_1}\land dx^{\mu_2} \land \dots\land dx^{\mu_p}\right)\\
=&\frac{\partial \omega_{\mu_1 \mu_2 \dots \mu_p}}{\partial x^{\mu_{1+1}}} dx^{\mu_{p+1}}\land dx^{\mu_1}\land dx^{\mu_2} \land \dots\land dx^{\mu_p}\end{aligned} \tag{25} $$
事实上,这个算符$d$形式上跟普通的微分算符是一致的,只不过允许重复执行。但是,我们不难证明:对于任意微分形式$\omega$,均有
$$d^2 \omega = 0 \tag{26} $$
因此,外微分算符最多也就是两次作用于微分形式。此外,下面的恒等式也是不难证明的:若$\alpha,\beta$分别是微分$p,q$形式,则
$$d(\alpha\land \beta)=d\alpha\land \beta + (-1)^p \alpha\land d\beta \tag{27} $$
$(-1)^p$的出现,正是由于反对称性。虽然说是外“微”分,可内涵一点也不“微”。

立竿见影的应用 #

我们知道行列式可以用来判断$n$个$n$维向量是否线性相关。但是$k$个呢?

外积可以帮助我们!考虑$k$个向量$\alpha_{\mu}^1,\alpha_{\mu}^2,\dots,\alpha_{\mu}^k$,可以依次构造微分形式$\alpha_{\mu}^1 dx^{\mu},\alpha_{\mu}^2 dx^{\mu},\dots,\alpha_{\mu}^k dx^{\mu}$,然后考虑外积
$$(\alpha_{\mu}^1 dx^{\mu}) \land (\alpha_{\mu}^2 dx^{\mu}) \land \dots \land (\alpha_{\mu}^k dx^{\mu}) \tag{28} $$
如果这$k$个向量线性相关,也就是其中一个能表示为剩下的$k-1$个的线性组合,比如假设
$$\alpha_{\mu}^1 = \sum_{i=2}^{k} b_i \alpha_{\mu}^i \tag{29} $$
那么
$$\alpha_{\mu}^1 dx^{\mu} = \sum_{i=2}^{k} b_i \alpha_{\mu}^i dx^{\mu} \tag{30} $$
这样这$k$个微分形式的外积必然为0,其逆命题也成立。也就是说,$k$个向量线性相关,当且仅当
$$(\alpha_{\mu}^1 dx^{\mu}) \land (\alpha_{\mu}^2 dx^{\mu}) \land \dots \land (\alpha_{\mu}^k dx^{\mu})=0 \tag{31} $$

当然,严格来讲这是反对称运算的结果,可见反对称性质的内涵相当丰富。

转载到请包括本文地址:https://spaces.ac.cn/archives/4059

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

如果您需要引用本文,请参考:

苏剑林. (Nov. 05, 2016). 《【外微分浅谈】4. 微分不微 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/4059

@online{kexuefm-4059,
        title={【外微分浅谈】4. 微分不微},
        author={苏剑林},
        year={2016},
        month={Nov},
        url={\url{https://spaces.ac.cn/archives/4059}},
}