反对称张量在N维空间中的几何意义Word下载.docx
- 文档编号:8197499
- 上传时间:2023-05-10
- 格式:DOCX
- 页数:11
- 大小:173.86KB
反对称张量在N维空间中的几何意义Word下载.docx
《反对称张量在N维空间中的几何意义Word下载.docx》由会员分享,可在线阅读,更多相关《反对称张量在N维空间中的几何意义Word下载.docx(11页珍藏版)》请在冰点文库上搜索。
张量是向量的推广。
在N维空间中向量有N个分量,而张量则有N的阶数次方个分量因为张量、向量在欧氏空间中具有平移不变性,所以我们干脆只讨论已经平移到坐标原点的张量。
标量(0阶张量)可以表示N维空间中有“大小”、“正负”的原点;
向量(一阶张量)可以表示N维空间中过原点的一条有方向有“大小”(长度)的直线;
由前面的例子我们希望二阶张量能代表有“大小”有“方向”的过原点的平面,但我们该怎么来具体表示呢?
让我们先从我们已经熟知的表示方法开始。
已知两个在平面内的不共线(线性独立)的基底a=(%,%,召,虬...)、b=区皿乙出,…),我
们怎样表示这个平面?
H■)
N维空间中最一般的平面表示方法是P「a…1'
b。
但这个式子实际上是个极其简陋原始的方
程组,用起来不方便,我们平时熟知的在三维空间中表示平面的方法是表示它的法向量,即n二ab,但这条路在四维空间中走不通。
因为四维空间中与平面完全绝对垂直的也是平面!
(“绝对垂直”即在两平面中各取任意一条直线,它们都垂直,详见后面“四维空间中平面间的位置关系”。
)我们希望二阶张量能表示“大小”,即a和b间围成的平行四边形的“面积”,我们假定面积也能正交分解,投影。
考察任意一个坐标面如xOy平面,a和b间围成的平行四边形的面积在这个坐标面的投影为%y2-X2%,我们可以构造一个张量F,使R,j=ajbj-baj,
才=H44
即F二a:
b-a:
b。
为了方便,我们记ab二a_b-a_b。
(正反并矢积之差)
a和b间平行四边形的面积,即
呻=\
•0
exy
exz
-
x°
2—%X2
X1Z2
-z(X2
■0
z
-yI
n=(x,y,z),F=
_exy
eyz
=iyiX2
—X』2
%Z2
—32
=
-z
X
1
_exz
_eyz
0X2
_XiZ2
%Z2—乙丫2
0一
■
-y
-X
张量F即表示向量a和b所决定的平面,我们称F为“面量”,记为“F”。
三维空间中:
我们
这样定义的所有面量都是反对称张量,面量的模为基向量
匸=Jx?
+y2+Z2。
注意F既不等于det(F),也不是F中每项元素的平方和开方,而是F中每
项元素的平方和除以2再开方,那是因为二阶反对称张量有一半的项只相差了正负号,而本质上
面量的加法就是对应项相加
但在四维空间中并不是每个反
aExybExzcEyz的形式(三维空间中反对称张量都能对应平面,
对称张量都是面量,详见后面高维空间叉乘推广)面量的“方向”、意义
xOy平面面积为1的面量,但一个是顺时针,
我们可以这样理解Exy和Eyx间的关系:
它们都表示一个是逆时针。
即一个面量不仅表示了过原点的平面和它的大小(面积),还表示了一种旋转的方向。
易知:
两个非零面量A,B,A,B表示的过原点的平面相同=A二kB(匕R,k=0)。
虽然
面量的大小代表面积,但它不储存任何形状信息,所以我们不能规定面量代表的具体形状,它代表一个面积大小为面量的模的大小的任意一个有旋转方向的图形。
规定两面量间的点乘:
FG二FjGj/2,即对应项积之和除以二。
除以二的原因也一样:
去
的夹角(一面量在另一面量上投影的旋转的方向与另一面量旋转方向相同为锐角,相反为钝角)
点乘满足乘法分配率。
F(GH^FGfh
ext
eyt易知,任意一个面量都能写成aE^+bEZ+cE^+dEz+eEt+fEtezt
的形式。
(但并不是每个四维反对称张量都是面量,详见后面高维空间叉乘推广)两面量间的点
乘用同样的定义,但
却不是简单的两面量间夹角余弦值了。
要解释清楚四维面量间的点
FG
四维空间中平面A、B间的角度关系需要用两个参数描述。
我们在一个平面A(或B)上取遍所有
直线m,m与B(或A)间所夹的线面角会有一个最大值刃和最小值去。
线面角取最大值时的直线m与线面角取最小值时的直线m'
相互垂直。
三维空间中的射影面积定理在四维空间中同样成立,只是正方形面积元投影时两边在夹角
最大值方向和最小值方向上都要乘上角度的余弦值导致面积变为原来cos齐cosp倍。
而数量积
本质是一个面量乘以另一个面量在它上面的投影,所以我们得到四维空间面量间的点乘的几何意义:
FG=F石COScF,G:
>maxCOScF,G=min。
而当两个平面共胞时最小角为日2=0(它们的交线方向为最小角方向),最大角为它们的二面角(二面角的平面角的边方向垂直于它们的交线,即最大角方向),costcosr2=cosmcosO=cosm,此时退化为三维空间中的射影面积定理。
平行(绝对平行):
4=1=0;
即两平面通过平移能真正完全重合。
(二面)垂直(半平行半垂直):
哥二―,2=0;
即两平面通过平移能形成直二面角。
2
TT
绝对垂直:
可=》二;
即两平面中任意直线均相互垂直。
共胞(共三维空间、半平行、成二面角):
二2=0;
两平面中存在直线相互平行。
半垂直:
耳=,;
两平面中存在直线垂直于另一平面。
等角:
帀=匕;
两平面中任意直线与另一平面所成线面角为一定值。
三维空间中两向量叉乘得到的新向量是原来两向量所决定的平面的法向量。
而在四维空间中两向量叉乘得到的是新的二阶张量一一是原来两向量所决定的平面的法平面!
我们可以类推到N维空间中m阶张量叉乘n阶张量:
得到的是一个表示原来两张量所决定的空间的法空间的
N-(m・n)阶张量,因为原来两张量所决定的空间的维数为m•n,而法空间的维数为
N-(mn)。
Aab...ijBkl...rsetu..yz"
ab..ijkl..rstu..yzm个n个n-(mn)个N个
(£
为置换符号)
AB=
m!
n!
这个新张量的模为原来两张量所围成的平行多胞体的体积,且新张量的方向符合右手螺旋定则。
这些高阶张量仍是反对称张量(交换角标置换符号反号所致)。
所有叉乘都满足乘法分配率。
由于标量不占置换符号角标上的位置,所以标量位置变动不变号。
的法向量)
将式子展开可证:
ab=ab1。
这个式子的意义是两向量的叉乘等于两向量所决定的平面的法
平面面量。
这个式子在N维空间中均成立(如三维空间两向量的叉乘等于两向量所决定的平面
在我们的印象当中,1仁11=1,这是雷打不动的真理。
但在我们规定的叉乘运算中,
匸沁「1=入桦jkeijki
两面量间的叉乘为两面量所围成四维图形的“四维体积”,且“四维体积”的正负服从右手定则
(即置换符号)。
两面量所围成四维图形即两面量代表图形的的直积图形。
这个图形体积与两面量代表图形选取的形状无关,只与两面量代表图形的面积有关。
易证:
AB二BA。
即满足正交换律!
因为面量占两个置换符号的位置,这种交换被抵消,不变号。
通过求两面量间的叉乘为两面量所围成四维图形(假设为平行八胞体)的“四维体积”我们可计算出两面量对应平面间的夹角关系。
为了方便,我们选两面量代表图形为两条边平行于两平面间最大角和最小角方向的单位正方形。
平行八胞体四维体积V°
二v3h。
V3指平行八胞体中任
意一个平行六面体胞的三维体积,
H为这个胞在平行八胞体中所对应的高。
而V3二Sh。
由几何
关系:
若H=msiqn,贝Uh=m'
s珅n,
A汉B卜AsiBn<
mAa>
BsinA(,Bn
AB=|A■同cosVA,B》maxCOS<
A,B>
min
(2)
联立式子
(1)
(2)可计算任意两平面间夹角弓和二2。
叉乘与点乘的关系2将式子展开可证:
AB=(AB)1=(B1)・A=(1A)B=(A1)B。
这有点像向量混合积的类比,
但由于标量不占置换符号,二阶张量占偶数个,所以随便交换不变号。
-0
xy
xz
xtl
一0
zt
-yt
yzl
-xy
yz
yt
L
-zt
xt
-xz
-yz
-xt
L—xt
0_
FF=F(1F)二
=xyzt-xzytyzxt=O
det(F)=(xyzt-xzytyzxt)2=(FF)2,显然不是所有反对称张量行列式值都为0。
我们称行
列式不为零的反对称张量为奇异面量。
任意一个奇异面量都能写成两个面量的和。
面量之和有意义的条件设F,G为两个非奇异面量,即n<
F=0,GxG=0。
而F+G的奇异性则通过下式体现:
(FG)(FG)=FFFGGFG2FG。
故可得FG非奇异的充要条件为
FG=0。
即两面量共胞。
所以四维空间中只有共胞面量相加才有意义。
面量与向量的叉积:
面量与向量的叉积得面量与向量决定的三维空间(胞)的法向量,模为围成的平行六面体
体积。
几何意义:
F「asin°
这里的0是平面与向量的线面角,只有一个。
混合积与点积的推广
Fa=(Fa)1=(1F)a但新
面量与向量的叉积代原始公式计算麻烦,下面给出化简式:
问题又来了:
1F是二阶张量,a是一阶张量(向量)我们得规定两不同阶向量间的点乘运算。
为了使化简式成立,
我们先看化简式左边,先硬性展开。
设
Xtl
.一xt
F二
a=(x,y,z,t),则
-yz廿yt-zzt
xz卜xtzt
-xyt+xty-ytx
<
xyz_xzy+yzx」
着写是为了书写方便
再整理一下得
'
0x-zty+ytz-yzt'
ztx+0,y_xtz+xzt-ytx+xty+0z—xyt
>
yzx—xzy+xyz+0t』
。
我们发现Fa可以看做是张量
yz〕
每
与(x,y,z,t)的
行乘以(x,y,乙t)所对应的项,再把每一列加起来,而“张量
yzI
—xz
「yz
类似的,
运算构成了了一种新的点乘运算即Fa=(Fa)1=(1F)a。
其他阶张量的点乘运算
为先把两阶张量有着共同阶数的部分相乘,再把不同阶数的部分合并累加,量阶数之差的新张量。
得到阶数为两阶张
2014624
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 对称张量 空间 中的 几何 意义
![提示](https://static.bingdoc.com/images/bang_tan.gif)