5 Nov

【外微分浅谈】4. 微分不微

By 苏剑林 | 2016-11-05 | 33064位读者 |

外微分 #

向量的外积一般只定义于不超过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}},
}

分类：数学研究标签：向量, 对称, 外微分抢沙发

< 【外微分浅谈】3. 正交标架 | 【外微分浅谈】5. 几何意义 >

你也许还对下面的内容感兴趣

发表你的看法

SEARCH

MENU

CATEGORIES

NEWPOSTS

COMMENTS

USERLOGIN

【外微分浅谈】4. 微分不微

外微分 #

立竿见影的应用 #

你也许还对下面的内容感兴趣

内容速览

智能搜索

热门标签

随机文章

最近评论

友情链接