反对称张量在N维空间中几何意义

文档收集于互联网，已重新整理排版.word版本可编辑,有帮助欢迎下载支持. 1文档来源为:从网络收集整理.word版本可编辑. 反对称张量在N维空间中的几何意义 By wxy 目录 推广的猜想、通过平面构造二阶张量 面量的基本性质 面量的模 单位面量 面量的“方向”、意义 面量的“点乘”

构造四维二阶张量

四维空间中平面间的位置关系 射影面积定理推广 四维空间中平面间的夹角位置术语

高维空间“叉乘”推广 向量间的叉乘：求法平面 标量与面量间的叉乘：求平面的法平面

叉乘与点乘的关系1 标量与标量间的叉乘：得置换张量 面量与面量间的叉乘：得标量 面量与面量间的叉乘的几何意义

叉乘与点乘的关系2 面量与奇异面量 面量之和有意义的条件 面量与向量的叉积：得到向量文档收集于互联网，已重新整理排版.word版本可编辑,有帮助欢迎下载支持. 1文档来源为:从网络收集整理.word版本可编辑. 推广的猜想、通过平面构造二阶张量 张量是向量的推广。在N维空间中向量有N个分量，而张量则有N的阶数次方个分量。 因为张量、向量在欧氏空间中具有平移不变性，所以我们干脆只讨论已经平移到坐标原点的张量。

标量（〇阶张量）可以表示N维空间中有“大小”、“正负”的原点；

向量（一阶张量）可以表示N维空间中过原点的一条有方向有“大小”（长度）的直线； 由前面的例子我们希望二阶张量能代表有“大小”有“方向”的过原点的平面，但我们该怎么来具体表示呢？让我们先从我们已经熟知的表示方法开始。

已知两个在平面内的不共线（线性独立）的基底1111(,,,,...)axyzt、2222(,,,,...)bxyzt，我们怎样表示这个平面？ N维空间中最一般的平面表示方法是 Pab。但这个式子实际上是个极其简陋原始的方程组，用起来不方便，我们平时熟知的在三维空间中表示平面的方法是表示它的法向量，即 nab,但这条路在四维空间中走不通。因为四维空间中与平面完全绝对垂直的也是平面！

（“绝对垂直”即在两平面中各取任意一条直线，它们都垂直，详见后面“四维空间中平面间的位置关系”。）我们希望二阶张量能表示“大小”，即a和b间围成的平行四边形的“面积”，

我们假定面积也能正交分解，投影。考察任意一个坐标面如 xOy 平面，a和b间围成的平行四边形的面积在这个坐标面的投影为1221xyxy，我们可以构造一个张量F，使,ijijijFabba，即Fabab。为了方便，我们记ababab。（正反并矢积之差） 面量的基本性质 面量的模 张量F即表示向量a和b所决定的平面，我们称F为“面量”，记为“F”。三维空间中：

(,,)nxyz，1212121212121212121212120000=00000xyxzxyyzxzyzeexyyxxzzxzyFeeyxxyyzzyzxeezxxzyzzyyx。我们

这样定义的所有面量都是反对称张量，面量的模为基向量a和b间平行四边形的面积，即文档收集于互联网，已重新整理排版.word版本可编辑,有帮助欢迎下载支持. 1文档来源为:从网络收集整理.word版本可编辑. 222Fxyz。注意F既不等于det()F，也不是F中每项元素的平方和开方，而是F中每

项元素的平方和除以2再开方，那是因为二阶反对称张量有一半的项只相差了正负号，而本质上是重复的，在计算时我们其实只需要一半的数据，故用2除去。 面量的加法就是对应项相加 单位面量

我们记单位面量010001000100,000,001000100010xyxzyzEEE，则任意一个面量都能写成

xyxzyzaEbEcE的形式（三维空间中反对称张量都能对应平面，但在四维空间中并不是每个反

对称张量都是面量，详见后面高维空间叉乘推广）。 面量的“方向”、意义

设基底(1,0,0)a、(0,1,0)b，则010=100000xyabE，而010100=000xyyxbaabEE。我们可以这样理解xyE和yxE间的关系：它们都表示xOy平面面积为1的面量，但一个是顺时针，一个是逆时针。即一个面量不仅表示了过原点的平面和它的大小（面积），还表示了一种旋转的方向。易知：两个非零面量,AB，,AB表示的过原点的平面相同(,0)AkBkRk。虽然面量的大小代表面积，但它不储存任何形状信息，所以我们不能规定面量代表的具体形状，它代表一个面积大小为面量的模的大小的任意一个有旋转方向的图形。 面量的“点乘”

规定两面量间的点乘：/2ijijFGFG，即对应项积之和除以二。除以二的原因也一样：去

掉反对称张量重复的分量。规定cos,FGFGFG，不难证明,FG为,FG所表示的两平面的夹角（一面量在另一面量上投影的旋转的方向与另一面量旋转方向相同为锐角，相反为钝角）。点乘满足乘法分配率。)FGHFGFH（

构造四维二阶张量 文档收集于互联网，已重新整理排版.word版本可编辑,有帮助欢迎下载支持. 1文档来源为:从网络收集整理.word版本可编辑. 由0000xyxzxtxyyzytxzyzztxtytzteeeeeeFeeeeee易知，任意一个面量都能写成xyxzxtyzytxtaEbEcEdEeEfE

的形式。（但并不是每个四维反对称张量都是面量，详见后面高维空间叉乘推广）两面量间的点乘用同样的定义，但FGFG却不是简单的两面量间夹角余弦值了。要解释清楚四维面量间的点

乘的几何意义，我们首先得搞清四维空间中平面间的位置关系。 四维空间中平面间的位置关系

共胞（共三维空间）

重合 无数交点

平行 无交点，平移后可重合 相交 有一条交线（一般的二面角） 异胞 共点 只有一个公共点 相离（不平行） 无交点，平移后可共点或相交

四维空间中平面A、B间的角度关系需要用两个参数描述。我们在一个平面A(或B)上取遍所有直线m，m与B(或A)间所夹的线面角会有一个最大值1和最小值2。线面角取最大值时的直线m与线面角取最小值时的直线m’相互垂直。 射影面积定理推广 三维空间中的射影面积定理在四维空间中同样成立，只是正方形面积元投影时两边在夹角最大值方向和最小值方向上都要乘上角度的余弦值导致面积变为原来12coscos倍。而数量积

本质是一个面量乘以另一个面量在它上面的投影，所以我们得到四维空间面量间的点乘的几何意义：maxmin=cos,cos,FGFGFGFG。而当两个平面共胞时最小角为2= 0（它们

的交线方向为最小角方向），最大角为它们的二面角（二面角的平面角的边方向垂直于它们的交线，即最大角方向），1211coscos=coscos0=cos，此时退化为三维空间中的射影面积定理。

四维空间中平面间的夹角位置术语 平行（绝对平行）：12==0;即两平面通过平移能真正完全重合。

B m’ m

A 文档收集于互联网，已重新整理排版.word版本可编辑,有帮助欢迎下载支持.

1文档来源为:从网络收集整理.word版本可编辑. （二面）垂直（半平行半垂直）：12==02，;即两平面通过平移能形成直二面角。 绝对垂直：12==2;即两平面中任意直线均相互垂直。 共胞（共三维空间、半平行、成二面角）：2=0;两平面中存在直线相互平行。 半垂直：1=2;两平面中存在直线垂直于另一平面。 等角：12=;两平面中任意直线与另一平面所成线面角为一定值。 高维空间“叉乘”推广 三维空间中两向量叉乘得到的新向量是原来两向量所决定的平面的法向量。而在四维空间中两向量叉乘得到的是新的二阶张量——是原来两向量所决定的平面的法平面！我们可以类推到N维空间中m阶张量叉乘n阶张量：得到的是一个表示原来两张量所决定的空间的法空间的

()Nmn阶张量，因为原来两张量所决定的空间的维数为mn，而法空间的维数为

()Nmn。

...ij...rs..ab..ijkl..rstu..()!!abkltuyzyznmNmnNABeABmn个个个个

（ε为置换符号）

这个新张量的模为原来两张量所围成的平行多胞体的体积，且新张量的方向符合右手螺旋定则。这些高阶张量仍是反对称张量（交换角标置换符号反号所致）。所有叉乘都满足乘法分配率。 向量间的叉乘：求法平面

易证：abba。

其展开式为：0000ztytyzztxtxzytxtxyyzxzxy（这里为了简便，我们把1212xyyx简单记作xy，其余同理） 标量与面量间的叉乘：求平面的法平面 由于标量不占置换符号角标上的位置，所以标量位置变动不变号。

叉乘与点乘的关系1