内积与外积 #

向量(这里暂时指的是二维或者三维空间中的向量)的强大之处,在于它定义了内积和外积(更多时候称为叉积、向量积等),它们都是两个向量之间的运算,其中,内积被定义为是对称的,而外积则被定义为反对称的,它们都满足分配律。

沿着书本的传统,我们用$\langle,\rangle$表示内积,用$\land$表示外积,对于外积,更多的时候是用$\times$,但为了不至于出现太多的符号,我们统一使用$\land$。我们将向量用基的形式写出来,比如
$$\boldsymbol{A}=\boldsymbol{e}_{\mu}A^{\mu} \tag{1} $$
其中$\boldsymbol{e}_{\mu}$代表着一组基,而$A^{\mu}$则是向量的分量。我们来计算两个向量$\boldsymbol{A},\boldsymbol{B}$的内积和外积,即
$$\begin{aligned}&\langle \boldsymbol{A}, \boldsymbol{B}\rangle=\langle \boldsymbol{e}_{\mu}A^{\mu}, \boldsymbol{e}_{\nu}B^{\nu}\rangle=\langle\boldsymbol{e}_{\mu},\boldsymbol{e}_{\nu}\rangle A^{\mu}A^{\nu}\\
&\boldsymbol{A}\land \boldsymbol{B}=(\boldsymbol{e}_{\mu}A^{\mu})\land (\boldsymbol{e}_{\nu}B^{\nu})=\boldsymbol{e}_{\mu}\land\boldsymbol{e}_{\nu} A^{\mu}B^{\nu}
\end{aligned} \tag{2} $$

然后呢?没有然后了,因为我们还没给$\langle\boldsymbol{e}_{\mu},\boldsymbol{e}_{\nu}\rangle$和$\boldsymbol{e}_{\mu}\land\boldsymbol{e}_{\nu}$下定义。在解析几何中,我们是这样定义内积的,设$\boldsymbol{e}_{\mu}$是一组标准正交基,那么
$$\langle\boldsymbol{e}_{\mu},\boldsymbol{e}_{\nu}\rangle=\delta_{\mu\nu} \tag{3} $$
当$\mu=\nu$时,$\delta_{\mu\nu}=1$,否则为0。这样,我们就可以对任意两个向量计算它们的内积了,并且有了这个定义,内积成为了判断垂直的工具(两个向量内积为0),也成为了计算模长的工具(向量与它自身做内积)。

再来看外积,在二维空间中,外积是这样定义的,设$\boldsymbol{e}_{\mu}$是一组标准正交基,那么
$$\boldsymbol{e}_1\land\boldsymbol{e}_2=1 \tag{4} $$
注意由反对称性,我们可以得到$\boldsymbol{e}_1\land\boldsymbol{e}_1=\boldsymbol{e}_2\land\boldsymbol{e}_2=0, \boldsymbol{e}_2\land\boldsymbol{e}_1=-1$,因此这样定义已经完整了。此时可以算得
$$\boldsymbol{A}\land \boldsymbol{B}=A^1 B^2 - A^2 B^1 \tag{5} $$
这时候的外积是一个数,其绝对值正是$\boldsymbol{A}$和$\boldsymbol{B}$所张成的平行四边形的面积。

而在三维空间中,则定义
$$\boldsymbol{e}_1\land\boldsymbol{e}_2=\boldsymbol{e}_3,\boldsymbol{e}_2\land\boldsymbol{e}_3=\boldsymbol{e}_1,\boldsymbol{e}_3\land\boldsymbol{e}_1=\boldsymbol{e}_2 \tag{6} $$
这样定义后,三维空间中的内积就是一个向量了,它与原来的两个向量垂直,并且模长等于原来两向量张成的平行四边形的面积。

回顾整个过程,我们可以这样理解,内积和外积本来就是纯粹代数定义的对称和反对称运算,至于几何意义,则是取决于基的内积和外积确定下来后,进一步赋予的。当然,内外积的定义有一定的历史渊源,但由于它本身并不算困难,因此我们忽略对它历史的研究了。可以看到,对于内积,其定义明显地可以推广到高维空间,而外积则不然。不管怎么样,我们可以清楚这一思路:纯粹代数定义(主要是定义基的内外积)——寻求几何意义——反观历史渊源

反对称的威力 #

从我们学算数开始,我们接触的运算基本都是对称的,即满足$ab=ba$的运算,数的加法、乘法都是这样,到了高中,学了向量的内积,还是这样。因为高中其实讲向量外积的学校并不多,所以很多同学直到大学才接触到不可交换(即$ab\neq ba$)的运算,比如矩阵乘法。在所有非交换运算中,反对称运算是比较特殊而且内涵相当丰富的一种。不仅如此,它还带来了运算的方便。比如下面的例子。

考虑质点在固定的引力中心中运动的问题,那么我们有运动方程
$$\ddot{\boldsymbol{x}}=-\frac{\mu\boldsymbol{x}}{|\boldsymbol{x}|^3} \tag{7} $$
两边以$\boldsymbol{x}$外积,即
$$\boldsymbol{x}\land \ddot{\boldsymbol{x}}=-\boldsymbol{x}\land \frac{\mu\boldsymbol{x}}{|\boldsymbol{x}|^3}=0 \tag{8} $$
留意到
$$\frac{d}{dt}(\boldsymbol{x}\land \dot{\boldsymbol{x}}) = \dot{\boldsymbol{x}}\land \dot{\boldsymbol{x}}+\boldsymbol{x}\land \ddot{\boldsymbol{x}}=\boldsymbol{x}\land \ddot{\boldsymbol{x}} \tag{9} $$
所以上式意味着
$$\frac{d}{dt}(\boldsymbol{x}\land \dot{\boldsymbol{x}})=0 \tag{10} $$
那么
$$\boldsymbol{x}\land \dot{\boldsymbol{x}}=\boldsymbol{C} \tag{11} $$
这事实上就是角动量守恒,由于是矢量方程,因此如果用分量形式写出来就是三个方程。这样我们通过简单几个步骤,就得到了三个积分常数。反思根源,就是外积的反对称性$a\land b = -b\land a$决定了$a\land a=0$。这是任何反对称量的性质,也是反对称的威力,它自然地消去了很多本该为0的部分。

转载到请包括本文地址:https://www.kexue.fm/archives/4054

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

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

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

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

苏剑林. (Nov. 04, 2016). 《【外微分浅谈】2. 反对称的威力 》[Blog post]. Retrieved from https://www.kexue.fm/archives/4054

@online{kexuefm-4054,
        title={【外微分浅谈】2. 反对称的威力},
        author={苏剑林},
        year={2016},
        month={Nov},
        url={\url{https://www.kexue.fm/archives/4054}},
}