反对称张量在n维空间中的几何意义.docVIP

反对称张量在N维空间中的几何意义 By wxy 目录 推广的猜想、通过平面构造二阶张量 面量的基本性质 面量的模 单位面量 面量的“方向”、意义 面量的“点乘” 构造四维二阶张量 四维空间中平面间的位置关系 射影面积定理推广 四维空间中平面间的夹角位置术语 高维空间“叉乘”推广 向量间的叉乘：求法平面 标量与面量间的叉乘：求平面的法平面 叉乘与点乘的关系1 标量与标量间的叉乘：得置换张量 面量与面量间的叉乘：得标量 面量与面量间的叉乘的几何意义 叉乘与点乘的关系2 面量与奇异面量 面量之和有意义的条件 面量与向量的叉积: 得到向量 推广的猜想、通过平面构造二阶张量 张量是向量的推广。在 N维空间中向量有N个分量，而张量则有N的阶数次方个分量 因为张量、向量在欧氏空间中具有平移不变性，所以我们干脆只讨论已经平移到坐标原点的张 量。 标量（0阶张量）可以表示 N维空间中有“大小”、“正负”的原点； 向量（一阶张量）可以表示N维空间中过原点的一条有方向有“大小”（长度）的直线； 由前面的例子我们希望二阶张量能代表有“大小”有“方向”的过原点的平面，但我们该 怎么来具体表示呢？让我们先从我们已经熟知的表示方法开始。 已知两个在平面内的不共线（线性独立）的基底 a = （%,%,召,虬...）、b =区皿乙出,…），我 们怎样表示这个平面？ H ■） N维空间中最一般的平面表示方法是 P「a…1b。但这个式子实际上是个极其简陋原始的方 程组，用起来不方便，我们平时熟知的在三维空间中表示平面的方法是表示它的法向量，即 n二a b,但这条路在四维空间中走不通。因为四维空间中与平面完全绝对垂直的也是平面！ （“绝对垂直”即在两平面中各取任意一条直线，它们都垂直，详见后面“四维空间中平面间 的位置关系”。）我们希望二阶张量能表示“大小”，即 a和b间围成的平行四边形的“面积”， 我们假定面积也能正交分解，投影。考察任意一个坐标面如 xOy平面，a和b间围成的平行四 边形的面积在这个坐标面的投影为 ％y2 -X2%，我们可以构造一个张量F，使R,j =ajbj -baj， 才 =H 4 4 即F二a： b-a： b。为了方便，我们记ab二a_ b-a_ b。（正反并矢积之差） 面量的基本性质 a和 a和b间平行四边形的面积，即 呻 =\ ? 0 exy exz - 0 x°2 — %X2 X1Z2 -z(X2 - ■0 z -y I n = (x, y, z)， F = _exy 0 eyz =iyiX2 —X』2 0 %Z2 —32 = -z 0 X 1 _exz _eyz 0 0X2 _XiZ2 %Z2 —乙丫2 0 一 ■ -y -X 0 一 张量F即表示向量a和b所决定的平面，我们称F为“面量”，记为“ F ”。三维空间中: 我们 这样定义的所有面量都是反对称张量，面量的模为基向量  匸=Jx? +y2 +Z2。注意F既不等于det（F），也不是F中每项元素的平方和开方，而是 F中每 项元素的平方和除以2再开方，那是因为二阶反对称张量有一半的项只相差了正负号， 而本质上 是重复的，在计算时我们其实只需要一半的数据,故用 是重复的，在计算时我们其实只需要一半的数据, 故用 2除去。 面量的加法就是对应项相加 单位面量 我们记单位面量Exy二 \o Current Document 0 1-1 0 \o Current Document 我们记单位面量Exy二 \o Current Document 0 1 -1 0 \o Current Document 0 0 0，E 0 xz 0 0 厂1 1,E 0 yz 0 0 -1 01 1，则任意一个面量都能写成 0 但在四维空间中并不是每个反aExy bExz cEyz的形式（三维空间中反对称张量都能对应平面, 但在四维空间中并不是每个反 对称张量都是面量，详见后面高维空间叉乘推广） 面量的“方向”、意义 设基底 （1,0,0）、匚o,1,0），则 ab=EZ=* 设基底 （1,0,0）、匚o,1,0），则 ab=EZ=* ■.0 0〕 0 0 ，而 ba = 0 -1 ■.0 01 0 = —ab= — E xy = E 0 xy =匚 yx。 xOy平面面积为1的面量，但一个是顺时针,我们可以这样理解Exy和Eyx间的关系：它们都表示 一个是逆时针。即一个面量不仅表示了过原点的平面和它的大小（面积） ，还表示了一种旋转的 方向。易知：两个非零面量 A,B，A,B表示的过原点的平面相同 =A二kB xOy平面面积为1的面量，但一个是顺时针, 面量的大小代表面积，但它不储存任何形状信息，所以我们不能规定面量代表的具体形状，它 代表一个面积大小为面量的模的大小的任意一个有旋转方