本篇文章是向量外积的升华,终结了前代数学家称向量外积不能在高维空间上广泛定义的说法。堪比荆山之玉、灵蛇之珠,是在前代数学家基础之上作了一个重大创新与突破。欢迎品阅、建议收藏。 本文将向量外积推广到任意维度的任意度量空间的任意多个向量上去,并提出几个关于矩阵的定理,从代数和几何两个层面证明向量外积的合理性以及几何意义。 二维空间上的向量的外积度量矩阵为单位矩阵的 维空间中 个向量的外积 本人悟出的两个重要定理 维空间中 个向量的外积的定义向量外积的性质度量矩阵为单位矩阵的 维空间中 个向量的外积的几何证明度量矩阵为单位矩阵的 维空间中 个向量的外积代数证明度量矩阵为单位矩阵的 维空间中 个向量的外积在复数域上的推广及证明向量外积在任意度规矩阵、任意维空间的任意多个向量上的推广及证明更多展望本人已经将向量外积推广到任意维空间、任意度规矩阵的任意多个向量上去。论文翻译版参见 数学达人上官正申:向量外积(叉积、叉乘)在任意度量(度规)矩阵、任意维数空间上任意多个向量上的推广(前人基础之上的巨大突破)41 赞同 · 21 评论文章论文英文版原文参见 https://arxiv.org/abs/2206.13809arxiv.org/abs/2206.138091. 二维空间上的向量外积 为了彻底讲清楚这些公式,我们需要先了解外微分,在了解外微分之前我们有必要了解向量叉乘即向量外积。二维空间上的向量外积的直接证明与直观解释详见 数学达人上官正申:一文讲透二维空间中向量的外积(叉乘),让人成为高手不过我们这里还是有必要简单过一下重要内容。 在度规矩阵为单位矩阵即 的 维欧几里得空间中,由 和 组成的平行四边形的面积为
其中下标 表示转置操作。其中 表示向量的长度或数字的绝对值, 是从 到 的逆时针方向的角。 现在我们定义 维欧氏空间中 维向量的乘积为 ![\begin{eqnarray} X_{1}\times X_{2}=|X_{1}||X_{2}|\sinX_{1}, X_{2} \end{eqnarray}]()
显然,当我们对向量进行平行四边形分解时,即 ,我们有
满足乘法分配律,因此我们有
所以对于 的情况行列式的绝对值等于平行四边形的面积。 显然,外积也满足反对称,即 ,
两个向量的外积的绝对值实际上就是两个向量张成的平行四边行的面积,也就是两个向量的模长乘以它们的夹角的正弦值,其实向量外积就是正弦公式。由于向量外积的运算满足乘法分配律,因此我们定义逆时针的外积为正,顺时针为负。其实二维空间上的向量外积就是两个向量组成矩阵的行列式,其绝对值表示平行四边形的面积(高维空间也成立),下文我们会证明。 2. 度量矩阵为单位矩阵的 维空间中 个向量的外积 同样,利用分配律和反对称,我们可以求出由
平行多面体张成的体积
其中 是 的一个排列, 是该排列的逆序数。 所以我们定义 维欧氏空间中的 个向量外积为
其绝对值表示由度量矩阵为 的 维欧几里得空间中的 个向量张成的平行多面体的体积。 3. 本人悟出的两个重要定理在这一部分,我们证明了两个关于矩阵的定理,以在下两个部分推广向量的外积。 定理1. 对任意的 阶矩阵
和任意的 阶矩阵
我们有
其中矩阵 的列是 中 个不同的列,按列索引由小到大排列。矩阵 的行是 中 个不同的行,按行索引由小到大排列。 列的选择对应于 行的选择。 的不同值对应不同的组合,因此总数为 。 证明:当 时,结论明显成立。 当 时,我们有
其中 是 的一个排列, 的排列逆序数, 是 中的 个元素的排列。 在第三步,我们已经用反对称抵消了很多项。 定理2. 对任意的 阶矩阵
任意的 阶矩阵
以及 阶矩阵
我们有
是 的 个不同的行和 个不同的列对应的元素生成的子矩阵,行和列的索引从小型到大排列, 是 的 个不同的行和 个不同的列对应的元素生成的子矩阵,行和列的索引从小型到大排列, 是 的 个不同的行和 个不同的列对应的元素生成的子矩阵,行和列的索引从小型到大排列。 的行索引的选取方式与 对应一致, 的列索引的选取方式与 对应一致, 的列索引的选取方式与 的行索引的选取方式对应一致。 , 或 的不同值对应不同的组合,因此总数分别为 , 和 。
证明: , 根据定理 我们有
所以结论成立。 4. 维空间中 个向量的外积的定义根据第三部分中的两个定理,我们可以定义度量矩阵为单位矩阵的 维欧氏空间中 向量的外积。假定
且 , 我们令
并且定义
其中矩阵 的行是 的 个不同的行构成的矩阵,按行索引从小到大排列。 的不同值对应不同的组合,因此总数为 。 阶矩阵 ,我们定义
其中 是 中 个不同的行和 个不同的列对应的元素生成的子矩阵,按行索引和列索引从小到大排列, 的行索引及其排序顺序与 的列索引及其排序顺序一致。不同的值 , , 对应不同的组合,因此总数为 。 现在我们定义外积为
显然,它满足乘法分配律和反对称且当 线性相关时,这个外积是零向量。 5. 向量外积的性质高维空间上向量的外积也满足乘法分配律具有反对称性。交换两个向量的位置,外积变为原来的相反数。向量线性相关时,外积为零。这个根据行列式的性质直接就只可以得出结论,因为向量的外积我们是用行列式定义的。而行列式关于列满足乘法分配律,所以性质1成立。行列式交换两列变为原来的相反数,所以性质2成立。行列式列向量线性相关时,行列式为零,所以性质3成立。 6. 度量矩阵为单位矩阵的 维空间中 个向量的外积的几何证明由第二部分可知,矩阵行列式的绝对值表示由矩阵的 行向量或列向量张成的平行多面体的 维体积,因此向量 的每个分量的绝对值表示由 张成的平行多面体的体积在由每 个基向量生成的 维子空间中分量。上述向量的内积表示 张成的平行多面体的体积是很直观的,因为平行多面体在某一个 维子空间 和它的正交补空间 作正交分解,体积的分解满足勾股定理,可以先在三维空间去思考,即思考三维空间中两个向量张成的平行四边形的面积的情形,在这种情形下面积有三个投影。第一次分解可将面积分解为 平面和 轴平行的方向上,满足勾股定理,之所以分解时面积满足勾股定理是因为该平面与 形成二面角的边分解为 平面内和与 轴平行的方向上时,满足勾股定理,而面积正是由这些边的线段在公共边的方向上累积而成,因此面积也满足勾股定理,如下图; 三维空间中面积投影的图形展示同理第二次分解将 轴方向上的投影进一步分解为 平面以及 平面上,也满足勾股定理。因此总体上依旧满足勾股定理。高维空间上的分解图我们在低维空间上画不出来,但是我们作同样的思考,即 维平行多面体与 维坐标平面的公共“边”是一个 维平面,因此我们同样可对“二面角”的边作正交分解,而体积正是由这些边在公共“边”的方向上累积而成,因此也满足勾股定理。 在这 个方向的正交分解过程中,每次分解从几何方面均满足勾股定理。因此平行多面体的体积是
下面我们将要从代数的角度来证明它。这里,内部的 代表行列式,外部的 代表绝对值。 7. 度量矩阵为单位矩阵的 维空间中 个向量的外积代数证明事实上,我们可以在 及其正交补空间中选择一组新的正交归一化基向量,或者等价地将空间旋转使 成为 对应的第一个 维子空间,即有一个旋转矩阵 (即行列式等于 的正交矩阵)满足
因此根据定理 , 我们有
这里
所以平行多面体的体积是
这意味着由 张成的平行多面体的体积等于 的行列式二分之一次方或 的长度。 到目前为止,我们已经证明了度量矩阵即度规矩阵为单位矩阵的 维欧几里德空间中 个向量的外积的长度表示由这 个向量张成的平行多面体的体积。 8. 度量矩阵为单位矩阵的 维空间中 个向量的外积在复数域上的推广及证明在度量矩阵为单位矩阵 的 维酉空间中,我们得到了类似的结论。假设
,
以及
我们也可以将外积定义为
同样地,我们可以在 及其正交补空间中选择一组新的正交归一化基向量,或者等价地,我们可以将空间旋转使 成为与 相对应的第一个 维子空间,即存在一个行列式等于 的幺正矩阵 满足
所以我们有
其中上标 表示转置复数共轭运算, 表示复数的绝对值或矩阵的行列式。 9. 向量外积在任意度规矩阵、任意维空间的任意多个向量上的推广及证明 维空间中的度量矩阵可以看成是基矢向量 的内积构成的矩阵,
这是一个厄米矩阵。如果我们把基向量看成列向量,我们有
根据第二部分,行列式 表示 的外积, 的绝对值是由 张成的平行多面体的体积在由 生成的子空间中的投影乘以自身,即 的绝对值是由 所生成的平行多面体的体积的平方。这就是为什么不变体积元素在微分几何中包含 的原因。对于
有
因此,行列式 表示 的外积在由 生成的子空间上投影乘以 的外积, 的绝对值表示由 生成的平行多面体的体积在由 生成的子空间中投影乘以由 生成的平行多面体的体积,因此我们有
其中 表示 的复数共轭数。这意味着如果我们定义
的外积为
我们的结果可以推广到度量矩阵是任何厄米矩阵的 维空间中的 个向量上去。 10. 更多展望本文成功地将外积的定义推广到度规矩阵为任意厄米矩阵的任意维空间中的任意数量的向量上去。我们得到的结论无论是在代数方面还是在几何方面都是完美的。本文提出了两个与矩阵有关的定理,使我们能够解释高维空间中向量的外积的几何意义。外积的长度表示由这 向量张成的平行多面体 维的体积,外积的每个分量的绝对值表示体积在不同方向上的分量。特别地,在高维欧氏空间和酉空间中,当度规矩阵为单位矩阵时,这种体积的分解仍然满足勾股定理, 个向量在 维空间中的外积是由这些 向量作为行或列向量构成的方阵的行列式。我们还解释了度量矩阵及其子矩阵行列式的几何意义,这对理解微分几何中高维空间及其子空间中的不变体积元也有帮助。 还有一些问题可以进一步讨论。例如,我们可以对度规矩阵分别为正定、半正定、负定、半负定、不定非奇异和不定奇异的情况进行更详细的讨论。对于不定非奇异子空间中长度为零的矢量,不能将其旋转到正定或负定子空间,如狭义相对论中的类光向量。
|