几何代数

为几何设计的代数结构

数学中,几何代数(也称作实克利福德代数)是初等代数的推广,用于处理向量等几何对象。几何代数由加法与几何积两种基本运算组成,向量的乘积是更高维对象,称作多重向量。与其他处理几何对象的形式相比,几何代数在支持不同维度的对象的向量除法与加法方面具有优势。

几何积最早由赫尔曼·格拉斯曼简单提及,[1]:6他的兴趣主要在于发展与之紧密相关的外代数。1878年,威廉·金顿·克利福德大大扩展了格拉斯曼的工作,形成现在所谓克利福德代数以纪念他(虽然克利福德自己称之为“几何代数”)。克利福德将克利福德代数及其积定义为格拉斯曼代数和哈密顿的四元数代数的统一。加上格拉斯曼外积的对偶(“相遇”)就可以使用格拉斯曼–凯莱代数,后者的共形版本与共形克利福德代数一起产生了共形几何代数(CGA),为经典几何提供了框架。[2]:411实践中,这些运算和一些可派生运算可将代数的元素、子空间、运算同几种几何解释对应起来。几十年来,几何代数有些被忽视了,因为当时为描述电磁学产生的向量分析挤占了几何代数的地盘。1960年代,“几何代数”由大卫·黑斯廷斯重新发掘出来,主张其对相对论物理学的重要性。[3]

标量和向量有其通常的解释,并构成几何代数的不同子空间。二重向量可更自然地表示向量分析中的伪向量,如有向面积、旋转的有向角度、挠、角动量与电磁场。三重向量可表示有向体积,等等。称作的元素可用于表示V的子空间,及其上的正交投影。旋转与反射也可用元素表示。不同于向量分析,几何代数可自然地容纳任何维度和任何二次型,如相对论中的二次型。

几何代数在物理学中的应用有时空代数(及不太常见的物理空间代数)与共形几何代数几何微积分是几何代数的推广,包含了微分积分,可用于形成其他理论,如复分析微分几何,例如用克利福德代数代替微分形式。大卫·黑斯廷斯[4]和Chris Doran[5]等人一直主张将几何代数作为物理学的主要数学框架。支持者声称,几何代数为包括经典力学量子力学电磁学相对论等许多领域提供了紧凑而直观地描述。[6]几何代数还被用作计算机图形学[7]机器人学的计算工具。

定义与符号

编辑

几何代数有多种定义。黑斯廷斯最初的定义是公理化的、[8]:3–5“充盈着几何意义”,等价于泛克利福德代数。[9]:101给定F上的有限维向量空间V,并配备对称双线性形式(即内积,如欧氏或洛伦兹度量 ,则二次空间 几何代数克利福德代数 ,成员乘坐多重子或多重向量(多重向量一词更常用于指外代数的具体元素)。按领域内的通常做法,本文将只考虑实数情形,即 。符号 (分别为 )将用于表示双线性形式g具有符号 (分别是 )的几何代数。

代数中的本质积称作几何积,包含的外代数的积称作外积(更多叫楔积[a])。标准写法分别是并列(省去任何符号)和楔形 。几何代数的上述定义是抽象的,因此我们用下面一组公理概括几何积的性质。对于多子 ,几何积具有如下性质:

  •  封闭
  •  ,其中 是单位元(单位元的存在)
  •  结合律
  •   and  分配律
  •  ,其中a是代数子空间V的任意元素。

外积具有相同的性质,只是最后一条改为 

注意,在上述最后一个性质中,若g不是正定的,则实数 不必是非负的。 几何积的一个重要性质是元素有乘法逆元: ,若 ,则 存在,且等于 。代数的非零元不一定有乘法逆元,例如若 ,且使 ,则元素 既是非平凡幂等元素,也是非零零除子,于是没有逆。[b]

通常将 V与其在自然嵌入  下的像视作等同的。本文中,标量和向量分别指 V的元素(及它们在此嵌入下的像)。

几何积

编辑
 
给定两向量ab,若其几何积 [10]反交换,则是垂直的,因为 ;若是交换的,则是平行的,因为 
由有序向量集定义的方向
反转方向相当于对外积取负
实外代数中n次元素的几何解释: (有符号点)、 (有向线段或向量)、 (有向面元)、 (有向体积) 。n个向量的外积可直观视作任何n维形状(如n-超平行体n-椭球);其大小(超体积)和方向由(n-1)维边界上的方向和内部哪一边的方向定义。[11][12]:83

可将任意两向量ab的几何积写成对称积与反对称积之和:

 

于是可以定义内积[c]

 

于是,对称积可写作

 

反之,g完全由代数决定。反对称部分是两个向量的外积,即含外代数部分之积:

 

那么从简单加法就能有:

 几何积的非广义或向量形式。

内外积与标准向量代数中的相应概念有关。几何上,若ab的几何积等于其内积,则就是平行的;若等于其外积,则就是垂直的。在几何代数中,非零向量的平方都是正的,因此两向量的内积可视作标准向量代数的点积。两向量外积可用向量形成的平行四边形所包围的有向面积来表示。3维中具有正定二次型的两向量之叉积与其外积密切相关。

大多数相关几何代数的实例都具有非退化二次型。若二次型是完全退化的,则任意两向量的内积总是零,几何代数就是简单的外代数。除非另有说明,本文只讨论非退化几何代数。

外积可自然推广为代数中任意两元素之间的结合双线性算子,且满足

 

其中,和是对指数的所有排列, 是排列的符号, 是向量(不是代数的一般元素)。由于代数中的每个元素都可表示为这种形式的积之和,这也就定义了代数中每对元素的外积。从定义中可以看出,外积构成交替代数

克利福德代数的等价结构方程为[13]:2338[14]:2346

 

其中 A普法夫值 提供了将n个索引分为2in-2i两部分的组合 k组合奇偶性

普法夫值为外代数提供了度量。另外,正如Claude Chevalley指出的,克利福德代数可还原为二次型为零的外代数。[15]从几何角度看,可从单纯形出发,发展克利福德代数,来理解普法夫值所起的作用。[16]这种推导为杨辉三角和单纯形之间提供了更好的联系,因为提供了对杨辉三角第一层一个1的解释。

刃、次、规范基

编辑

多重向量是r个线性独立向量的外积,称作一个刃(blade),次数为r(grade)。[e]r次刃之和形成的多重向量称作(齐性)r次多重向量。根据公理与闭包,几何代数中的多重向量都是刃之和。

考虑r次线性独立向量集合 ,跨越向量空间的r维子空间,之后就可定义实对称矩阵(与构造格拉姆矩阵的方法相同):

 

根据谱定理 可由正交矩阵 对角化为对角矩阵 

 

定义一组新的向量 ,称作正交基向量,是由正交矩阵变换的向量:

 

由于正交变换保内积,所以  垂直。也就是说,两不同向量 的几何积完全由外积决定,更一般地说

 

于是,r次刃都可写作r个向量的外积。更一般地,若允许退化几何代数,则正交矩阵将被替换为非退化块中正交的分块矩阵,对角阵的零值项沿退化维度分布。若非退化子空间的新向量是归一化的单位向量:

 

则这些归一化向量必须平方为 西尔维斯特惯性定理指出,沿对角阵的  的总数是不变的。推而广之,平方得 的向量总数p、得 的向量总数q也是不变的。(平方为零的基向量总数也不变,若允许退化情形,则可能不为零。)记此代数为 。例如, 是3维欧氏空间的模型, 是相对论时空 是3维空间的共形几何代数

索引依次递增的n个正交基向量的所有可能积集合,包括作为空积的 ,构成了整个几何代数的基(类似于PBW定理)。例如,下面是几何代数 的基:

 

这样形成的基称作规范基V的任何其他正交基都会产生另外的规范基。每个规范基都有 个元素,几何代数的每个多重想来那个都可表为规范基元素的线性组合。若规范基元素是 ,其中S是索引集,则任意两多重向量的几何积是

 

在描述只含1次元素的多重向量时,常用“ -向量”。高位空间中,有些这样的多重向量不能视作刃(不能分解为k个向量的外积)。举例来说, 中的 不能分解,不过通常情况下,代数中这类元素不能被几何解释为对象,尽管它们可能代表诸如旋转之类的几何量。只有 -向量在n-空间中还是刃。

次投影

编辑

另见

编辑

注释

编辑
  1. ^ 几何代数的“外积”(outer product)与其他数学领域中的同名异义
  2. ^ 给定 ,可知       ,说明 是幂等的,且     ,表明它是非零零除子。
  3. ^ 这是伪欧几里得向量空间标量积的同义词,指1-向量子空间上的对称双线性形式,而不是赋范向量空间上的内积。有人会将内积推广到整个代数,但实际上对此几乎没有共识。即使是有关几何代数的文章中,这个术语也不常用。
  4. ^ 提到几何积下的分次时,文献一般只关注 -分次,即分为奇数与偶数的 -次。 是几何积完整的 -分次的一个子群。
  5. ^ 次(grade)是齐性元素之次的同义词,是在作为代数的次与外积( -分次)下的次,而非在几何积下的次。[d]

脚注

编辑

参考文献

编辑
时间顺序排列

外部链接

编辑

English translations of early books and papers

研究组


线性代数
 
向量 · 向量空间 · 基底  · 行列式  · 矩阵