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

发布时间:   来源:文档文库   
字号:
反对称张量在N维空间中的几何意义
By wxy 目录
推广的猜想、通过平面构造二阶张量 面量的基本性质
面量的模 单位面量
面量的“方向”、意义 面量的“点乘”
构造四维二阶张量
四维空间中平面间的位置关系
射影面积定理推广
四维空间中平面间的夹角位置术语
高维空间“叉乘”推广
向量间的叉乘:求法平面
标量与面量间的叉乘:求平面的法平面 叉乘与点乘的关系1 标量与标量间的叉乘:得置换张量 面量与面量间的叉乘:得标量 面量与面量间的叉乘的几何意义 叉乘与点乘的关系2 面量与奇异面量 面量之和有意义的条件
面量与向量的叉积:得到向量
推广的猜想、通过平面构造二阶张量
张量是向量的推广。在N维空间中向量有N个分量,而张量则有N的阶数次方个分量。 因为张量、向量在欧氏空间中具有平移不变性,所以我们干脆只讨论已经平移到坐标原点的张量。
标量(〇阶张量)可以表示N维空间中有“大小”、“正负”的原点;
向量(一阶张量)可以表示N维空间中过原点的一条有方向有“大小”(长度)的直线; 由前面的例子我们希望二阶张量能代表有“大小”有“方向”的过原点的平面,但我们该怎么来具体表示呢?让我们先从我们已经熟知的表示方法开始。
已知两个在平面内的不共线(线性独立)的基底a(x1,y1,z1,t1,...b(x2,y2,z2,t2,...,我们怎样表示这个平面?
N维空间中最一般的平面表示方法是 Pab但这个式子实际上是个极其简陋原始的方程组,用起来不方便,我们平时熟知的在三维空间中表示平面的方法是表示它的法向量,即
nab,但这条路在四维空间中走不通。因为四维空间中与平面完全绝对垂直的也是平面!(“绝对垂直”即在两平面中各取任意一条直线,它们都垂直,详见后面“四维空间中平面间的位置关系”。)我们希望二阶张量能表示“大小”,即ab间围成的平行四边形的“面积”我们假定面积也能正交分解,投影。考察任意一个坐标面如 xOy 平面,ab间围成的平行四边形的面积在这个坐标面的投影为x1y2x2y1,我们可以构造一个张量F,使Fi,jaibjbiajFabab。为了方便,我们记ababab(正反并矢积之差)
面量的基本性质
面量的模
张量F即表示向量ab所决定的平面,我们称F为“面量”,记为“F。三维空间中:0n(x,y,zFexyexzexy0eyzexz0eyz=y1x2x1y20z1x2x1z2x1y2y1x20y1z2z1y2x1z2z1x20zyz0。我们y1z2z1y2x0yx0这样定义的所有面量都是反对称张量,面量的模为基向量ab间平行四边形的面积,即
Fx2y2z2。注意F既不等于det(F,也不是F中每项元素的平方和开方,而是F中每项元素的平方和除以2再开方,那是因为二阶反对称张量有一半的项只相差了正负号,而本质上是重复的,在计算时我们其实只需要一半的数据,故用2除去。
面量的加法就是对应项相加
单位面量
010001000,E000,E001,则任意一个面量都能写成100我们记单位面量Exyxzyz100010000aExybExzcEyz的形式(三维空间中反对称张量都能对应平面,但在四维空间中并不是每个反对称张量都是面量,详见后面高维空间叉乘推广)
面量的“方向”、意义
010010设基底a(1,0,0b(0,1,0,则ab=Exy100,而ba100ab=ExyEyx000000我们可以这样理解ExyEyx间的关系:它们都表示xOy平面面积为1的面量,但一个是顺时针,一个是逆时针。即一个面量不仅表示了过原点的平面和它的大小(面积)还表示了一种旋转的方向。易知:两个非零面量A,BA,B表示的过原点的平面相同AkB(kR,k0。虽然面量的大小代表面积,但它不储存任何形状信息,所以我们不能规定面量代表的具体形状,它代表一个面积大小为面量的模的大小的任意一个有旋转方向的图形
面量的“点乘”
规定两面量间的点乘:FGFijGij/2,即对应项积之和除以二。除以二的原因也一样:去掉反对称张量重复的分量。规定cosF,GFGFG不难证明F,GF,G所表示的两平面的夹角(一面量在另一面量上投影的旋转的方向与另一面量旋转方向相同为锐角,相反为钝角)点乘满足乘法分配率。FGHFGFH

构造四维二阶张量

0exyFexzextexy0eyzeytexzeyz0eztexteyt易知,任意一个面量都能写成aEbEcEdEeEfExyxzxtyzytxtezt0的形式。(但并不是每个四维反对称张量都是面量,详见后面高维空间叉乘推广)两面量间的点乘用同样的定义,但FGFG却不是简单的两面量间夹角余弦值了。要解释清楚四维面量间的点乘的几何意义,我们首先得搞清四维空间中平面间的位置关系。
四维空间中平面间的位置关系
B 共胞(共重合 平行
间)
相交 异胞
共点
无数交点
无交点,平移后可重合 有一条交线(一般的二面角) 只有一个公共点
m A 1
2
m
相离(不平行) 无交点,平移后可共点或相交
四维空间中平面AB间的角度关系需要用两个参数描述。我们在一个平面A(B上取遍所有直线mmB(A间所夹的线面角会有一个最大值1和最小值2。线面角取最大值时的直线m与线面角取最小值时的直线m’相互垂直。
射影面积定理推广
三维空间中的射影面积定理在四维空间中同样成立,只是正方形面积元投影时两边在夹角最大值方向和最小值方向上都要乘上角度的余弦值导致面积变为原来cos1cos2倍。而数量积本质是一个面量乘以另一个面量在它上面的投影,所以我们得到四维空间面量间的点乘的几何意义:FG=FGcosF,GmaxcosF,Gmin。而当两个平面共胞时最小角为2= 0(它们的交线方向为最小角方向)最大角为它们的二面角(二面角的平面角的边方向垂直于它们的交线,即最大角方向)cos1cos2=cos1cos0=cos1,此时退化为三维空间中的射影面积定理。
四维空间中平面间的夹角位置术语
平行(绝对平行)1=2=0;即两平面通过平移能真正完全重合。

(二面)垂直(半平行半垂直)1=2=0;即两平面通过平移能形成直二面角。
2绝对垂直:1=2=2;即两平面中任意直线均相互垂直。
共胞(共三维空间、半平行、成二面角)2=0;两平面中存在直线相互平行。 半垂直:1=2;两平面中存在直线垂直于另一平面。
等角:1=2;两平面中任意直线与另一平面所成线面角为一定值。
高维空间“叉乘”推广
三维空间中两向量叉乘得到的新向量是原来两向量所决定的平面的法向量。而在四维空间中两向量叉乘得到的是新的二阶张量——是原来两向量所决定的平面的法平面!我们可以类推N维空间中m阶张量叉乘n阶张量:得到的是一个表示原来两张量所决定的空间的法空间的N(mnmnN(mn
Aab...ijBkl...rseABmntu..yzN(mnab..ijkl..rstu..yzNm!n!ε为置换符号)
这个新张量的模为原来两张量所围成的平行多胞体的体积,且新张量的方向符合右手螺旋定则。这些高阶张量仍是反对称张量(交换角标置换符号反号所致)所有叉乘都满足乘法分配率。
向量间的叉乘:求法平面
Nabaibjijklekl
易证:abba
ztytyz0zt0xtxz(这里为了简便,我们把x1y2y1x2简单记作xy,其余同其展开式为:ytxt0xyyzxzxy0理)
标量与面量间的叉乘:求平面的法平面
NN(N1Nijijklekl/(2!

由于标量不占置换符号角标上的位置,所以标量位置变动不变号。
叉乘与点乘的关系1 将式子展开可证:abab1。这个式子的意义是两向量的叉乘等于两向量所决定的平面的法平面面量。这个式子在N维空间中均成立(如三维空间两向量的叉乘等于两向量所决定的平面的法向量)
标量与标量间的叉乘:得置换张量
11=1定的1=1=(11=ijkel面量与面量间的叉乘:得标量
ijkl
两面量间的叉乘为两面量所围成四维图形的“四维体积”,且“四维体积”的正负服从右手定则(即置换符号)两面量所围成四维图形即两面量代表图形的的直积图形。这个图形体积与两面量代表图形选取的形状无关,只与两面量代表图形的面积有关。易证:ABBA即满足正交换律!因为面量占两个置换符号的位置,这种交换被抵消,不变号。
面量与面量间的叉乘的几何意义
通过求两面量间的叉乘为两面量所围成四维图形(假设为平行八胞体)的“四维体积”我们可计算出两面量对应平面间的夹角关系。为了方便,我们选两面量代表图形为两条边平行于两平V3指平行八胞体中任面间最大角和最小角方向的单位正方形。平行八胞体四维体积V4V3H意一个平行六面体胞的三维体积,H为这个胞在平行八胞体中所对应的高。V3Sh由几何inV4SHhSmm'sin1sin2Hmsi1nhm's2ABAsiBnm,AaxBsinA,n miB........1AB=ABcosA,BmaxcosA,Bmin........2
m 联立式子(12)可计算任意两平面间夹角12
H
B m h A 叉乘与点乘的关系2 将式子展开可证:AB(AB1=(B1A(1AB(A1B这有点像向量混合积的类比,但由于标量不占置换符号,二阶张量占偶数个,所以随便交换不变号。
面量与奇异面量

xyxz0xy0yz根据面量叉乘的几何意义,一个面量自身的叉乘应为0。设一面量Fxzyz0xtytztxtytzt0xyxz0xy0yzFFF(1Fxzyz0xtytztxtytzt0ztytyz0zt0xtxz=xyztxzytyzxt=0ytxt0xyyzxzxy02显然不是所有反对称张量行列式值都为0我们称行det(F(xyztxzytyzxt2=FF列式不为零的反对称张量为奇异面量。任意一个奇异面量都能写成两个面量的和。
面量之和有意义的条件
F,G为两个非奇异面量,即FF=0GG=0。而FG的奇异性则通过下式体现:
FGFG=FFFGGFGG2FGFGFG=0。即两面量共胞。所以四维空间中只有共胞面量相加才有意义。
面量与向量的叉积:得到向量
面量与向量的叉积得面量与向量决定的三维空间(胞)的法向量,模为围成的平行六面体体积。几何意义:FaFasin这里的是平面与向量的线面角,只有一个。
混合积与点积的推广
面量与向量的叉积代原始公式计算麻烦,下面给出化简式:Fa(Fa1=(1Fa但新问题又来了:1F是二阶张量,a是一阶张量(向量)我们得规定两不同阶向量间的点乘运算。xyxz0xy0yz使,我简式硬性Fxzyz0xtytztxtytzt0ytzztyyztxztxtzztx便a(x,y,z,tFaxytxtyytxxyzxzyyzx
ztytyz0xztyytzyzt0zt0xtxzztx0yxtzxzt。我们发现Fa可以看做是张量每一Faytxxty0zxytytxt0xyyzxzxy0yzxxzyxyz0tztytyz0zt0xtxz(x,y,z,t行乘以(x,y,z,t所对应的项,再把每一列加起来,“张量ytxt0xyyzxzxy0运算构成了了一种新的点乘运算即Fa(Fa1=(1Fa。类似的,其他阶张量的点乘运算为先把两阶张量有着共同阶数的部分相乘,再把不同阶数的部分合并累加,得到阶数为两阶张量阶数之差的新张量。
By wxy 2014 6 24

本文来源:https://www.2haoxitong.net/k/doc/c9cc9c6b376baf1ffc4fad56.html

《反对称张量在N维空间中的几何意义-.doc》
将本文的Word文档下载到电脑,方便收藏和打印
推荐度:
点击下载文档

文档为doc格式