一种新乘法：外代数解剖.docVIP

3、外代数 3.1 探究楔形积规则 点乘跟矢量（Euclidean空间里的）的长度、矢量间的角度有密切关系。这启发我们去思考，能不能定义一种矢量间的乘法，跟矢量所构成的平行四边形的面积有关系呢？ 我们先研究二维的情况 纯粹代数地理解点乘 根据，才得到： 在张量一章中已经说过，如果没有这个附加假定，就会得到一种新型的量，称为二阶张量。现在我们可以猜，只要使用另外一种附加假定，就能得到一种对应于面积的新型量。新乘法用符号来表示，并命名为“该两个向量的楔形积”。还有，为探究方便起见，现在不使用在张量那章提及的抽象指标。 1、正交归一 我们先研究最简单的例子： 两个互相垂直的矢量，，可以围成一个长方形 只要我们把当成一种新型的基底，那系数的绝对值就代表了长方形的面积 反过来也是类似的，只不过基底是 2、一斜一重合 两个矢量，，可以围成一个平行四边形 不难想到应该要有，那么 可以看出，规则使得这种乘法可以读取出垂直分量，这种情况的结果仍然是与所谓图形的面积有关，就是系数的绝对值等于面积 3、互相垂直的两个斜的单位向量 上面两小节都选了很特殊的向量来计算，要是一般的情况 这个结果就很难看出它跟面积的关系。因为遗留下和两个基底，没法进一步操作，或许暗示着我们新加的规则不够用。为了定出足够的规则，我们看看下面一个特殊的例子。 两个矢量，，它们互相垂直，长度又为1，因而可以围成面积为一的正方形。求它们的楔形积 如果换成的同时，也换成，结果无疑就是。比照前面的结论，基底前面的系数的绝对值就是面积，就不难接受，“如果”正是我们要找的新规则。 [注：这条规则也可以简单地从的洞察得到，不过这样不容易连接下文。] 4、现在我们定出了两个规则： a. b. 如果换一种基底的记号，，那么就可以可以统一成一个规则： 其中是具体指标，跑遍1,2（或者说x，y）。 任意两个矢量 虽说经过1、2、3的探究，我们心里很清楚，系数的绝对值就是面积，但是我们还是该找一个好看的角度来检验一下这个结论。 任意两个矢量，可以挑其中一个的方向或者反方向作为，另一个就表达成和与之垂直的矢量的线性组合，无疑，楔形积就是第2种情况。又由第3种情况可以知道，即便使用别的正交归一标架，始终会有或者的，即是说系数的绝对值是不会因为选择不同的正交归一标架，而发生改变的。因为在那个标架中，系数绝对值是面积，所以在这个标架里也是。 系数正是一个二阶行列式 另外，不难看出楔形积具有反对称性 。跟直乘类似，乘完得到的结果不是矢量，是一种新的量，称为2-形式。 3.2 高维推广以及跟叉乘的关系： 上一节探究了楔形积用到的附加规则，可以统一记为 ，其中具体指标跑遍1,2 。这可以很方便地推广到高维空间。就是说，n维空间里的n维矢量做楔形积，所用的规则也是 ，只不过具体指标跑遍1,2……，n 。两个矢量做楔形积得到的2-形式有个独立分量（留作练习）。这引出一个结论：3维空间里的2-形式有3个独立分量。我们看看3维矢量做楔形积得到的2-形式是怎么样的 3维2-形式的分量有点似曾相识，我们再看看这两个矢量叉乘的结果（即便读者在高中的时候没系统学过叉乘也没有关系，无非是另一套附加假定） 可见，只要按，，的次序替换，2-形式就可以变成矢量 。我们把这步操作称为霍奇对偶（这里先不对霍奇对偶做正式的定义，严格定义需要用到度规的概念），记为，那么叉乘可以看成是两部运算，先是做楔形积，得到一个2-形式，然后对这个2-形式做霍奇对偶，即 3.3 多次推广以及跟行列式的关系： 3.3.1多次推广——n维体的体积 两个矢量做楔形积得到一个2-形式。我们还可以继续做2-形式与矢量的楔形积。只要继续套用的规则即可。就以三维空间里的矢量为例： 如果读者对这么长的公式心存恐惧，那么请不要在意。算出这个结果只是一种“体力”劳动。关键的是，3维空间的向量可以做两次 ，得到的结果叫做3-form 。如果在继续做楔形积，结果只会得到0 。注：楔形积满足结合律，在这种符号下显得很自然 类似地往高维推进，就可以做4次，5次以及更多次的楔形积。不难看出，n维空间里最多只能做n-1次，得到的是n-form 。如果基底是互相正交的单位向量（这需要附加结构），那么n-form在几何上可以对应于n个n维向量通过平移得到的n维体。 n个单位向量互相正交，如果想得到另一套正交归一基底。两两正交给出个条件；单位长给出n个条件，所以共有个条件。个系数受个约束，剩下个可以独立取值的参数，正好是两两旋转的种类数，这就不难相信任何转动都可以通过两两旋转得到 。已经知道两个正交的单位向量旋转不改变楔形积，因而任意旋转不改变楔形积。n个n维向量做n-1次楔形积，结果的系数绝对值代表了n维体的体积。先看两个向量，成