几何代数

数学中，几何代数（也称作实克利福德代数）是初等代数的推广，用于处理向量等几何对象。几何代数由加法与几何积两种基本运算组成，向量的乘积是更高维对象，称作多重向量。与其他处理几何对象的形式相比，几何代数在支持不同维度的对象的向量除法与加法方面具有优势。
几何积最早由赫尔曼·格拉斯曼简单提及，他的兴趣主要在于发展与之紧密相关的外代数。1878年，威廉·金顿·克利福德大大扩展了格拉斯曼的工作，形成现在所谓克利福德代数以纪念他（虽然克利福德自己称之为“几何代数”）。克利福德将克利福德代数及其积定义为格拉斯曼代数和哈密顿的四元数代数的统一。加上格拉斯曼外积的对偶（“相遇”）就可以使用格拉斯曼–凯莱代数，后者的共形版本与共形克利福德代数一起产生了共形几何代数（CGA），为经典几何提供了框架。实践中，这些运算和一些可派生运算可将代数的元素、子空间、运算同几种几何解释对应起来。几十年来，几何代数有些被忽视了，因为当时为描述电磁学产生的向量分析挤占了几何代数的地盘。1960年代，“几何代数”由大卫·黑斯廷斯重新发掘出来，主张其对相对论物理学的重要性。
标量和向量有其通常的解释，并构成几何代数的不同子空间。二重向量可更自然地表示向量分析中的伪向量，如有向面积、旋转的有向角度、挠、角动量与电磁场。三重向量可表示有向体积，等等。称作刃的元素可用于表示"V"的子空间，及其上的正交投影。旋转与反射也可用元素表示。不同于向量分析，几何代数可自然地容纳任何维度和任何二次型，如相对论中的二次型。
几何代数在物理学中的应用有时空代数（及不太常见的物理空间代数）与共形几何代数。几何微积分是几何代数的推广，包含了微分和积分，可用于形成其他理论，如复分析和微分几何，例如用克利福德代数代替微分形式。大卫·黑斯廷斯和Chris Doran等人一直主张将几何代数作为物理学的主要数学框架。支持者声称，几何代数为包括经典力学、量子力学、电磁学、相对论等许多领域提供了紧凑而直观地描述。几何代数还被用作计算机图形学和机器人学的计算工具。
定义与符号.
几何代数有多种定义。黑斯廷斯最初的定义是公理化的、“充盈着几何意义”，等价于泛克利福德代数。给定域"F"上的有限维向量空间"V"，并配备对称双线性形式（即内积，如欧氏或洛伦兹度量）formula_1，则二次空间formula_2的几何代数是克利福德代数formula_3，成员称作多重子或多重向量（多重向量一词更常用于指外代数的具体元素）。按领域内的通常做法，本文将只考虑实数情形，即formula_4。符号formula_5（分别为formula_6）将用于表示双线性形式"g"具有符号formula_7（分别是formula_8）的几何代数。
代数中的本质积称作几何积，包含的外代数的积称作外积（更多叫楔积）。标准写法分别是并列（省去任何符号）和楔形formula_9。几何代数的上述定义是抽象的，因此我们用下面一组公理概括几何积的性质。对于多子formula_10，几何积具有如下性质：
外积具有相同的性质，只是最后一条改为formula_18。
注意，在上述最后一个性质中，若"g"不是正定的，则实数formula_19不必是非负的。 几何积的一个重要性质是元素有乘法逆元：formula_20，若formula_21，则formula_22存在，且等于formula_23。代数的非零元不一定有乘法逆元，例如若formula_24，且使formula_25，则元素formula_26既是非平凡幂等元素，也是非零零除子，于是没有逆。
通常将formula_27、"V"与其在自然嵌入formula_28、formula_29下的像视作等同的。本文中，标量和向量分别指formula_27、"V"的元素（及它们在此嵌入下的像）。
几何积.
可将任意两向量"a"、"b"的几何积写成对称积与反对称积之和：
于是可以定义内积
于是，对称积可写作
反之，"g"完全由代数决定。反对称部分是两个向量的外积，即含外代数部分之积：
那么从简单加法就能有：
内外积与标准向量代数中的相应概念有关。几何上，若"a"和"b"的几何积等于其内积，则就是平行的；若等于其外积，则就是垂直的。在几何代数中，非零向量的平方都是正的，因此两向量的内积可视作标准向量代数的点积。两向量外积可用向量形成的平行四边形所包围的有向面积来表示。3维中具有正定二次型的两向量之叉积与其外积密切相关。
大多数相关几何代数的实例都具有非退化二次型。若二次型是完全退化的，则任意两向量的内积总是零，几何代数就是简单的外代数。除非另有说明，本文只讨论非退化几何代数。
外积可自然推广为代数中任意两元素之间的结合双线性算子，且满足
其中，和是对指数的所有排列，formula_37是排列的符号，formula_38是向量（不是代数的一般元素）。由于代数中的每个元素都可表示为这种形式的积之和，这也就定义了代数中每对元素的外积。从定义中可以看出，外积构成交替代数。
克利福德代数的等价结构方程为
其中formula_40是"A"的普法夫值，
formula_41提供了将"n"个索引分为、两部分的组合formula_42，"k"是组合的奇偶性。
普法夫值为外代数提供了度量。另外，正如Claude Chevalley指出的，克利福德代数可还原为二次型为零的外代数。从几何角度看，可从单纯形出发，发展克利福德代数，来理解普法夫值所起的作用。这种推导为杨辉三角和单纯形之间提供了更好的联系，因为提供了对杨辉三角第一层一个1的解释。
刃、次、规范基.
多重向量是"r"个线性独立向量的外积，称作一个刃（blade），次数为"r"（grade）。"r"次刃之和形成的多重向量称作（齐性）"r"次多重向量。根据公理与闭包，几何代数中的多重向量都是刃之和。
考虑"r"次线性独立向量集合formula_43，跨越向量空间的"r"维子空间，之后就可定义实对称矩阵（与构造格拉姆矩阵的方法相同）：
根据谱定理，formula_45可由正交矩阵formula_46对角化为对角矩阵formula_47：
定义一组新的向量formula_49，称作正交基向量，是由正交矩阵变换的向量：
由于正交变换保内积，所以formula_51，formula_52垂直。也就是说，两不同向量formula_53的几何积完全由外积决定，更一般地说
于是，"r"次刃都可写作"r"个向量的外积。更一般地，若允许退化几何代数，则正交矩阵将被替换为非退化块中正交的分块矩阵，对角阵的零值项沿退化维度分布。若非退化子空间的新向量是归一化的单位向量：
则这些归一化向量必须平方为formula_56。西尔维斯特惯性定理指出，沿对角阵的formula_57、formula_58的总数是不变的。推而广之，平方得formula_57的向量总数"p"、得formula_58的向量总数"q"也是不变的。（平方为零的基向量总数也不变，若允许退化情形，则可能不为零。）记此代数为formula_61。例如，formula_62是3维欧氏空间的模型，formula_63是相对论时空。formula_64是3维空间的共形几何代数。
索引依次递增的"n"个正交基向量的所有可能积集合，包括作为空积的formula_13，构成了整个几何代数的基（类似于PBW定理）。例如，下面是几何代数formula_66的基：
这样形成的基称作规范基，"V"的任何其他正交基都会产生另外的规范基。每个规范基都有formula_68个元素，几何代数的每个多重想来那个都可表为规范基元素的线性组合。若规范基元素是formula_69，其中"S"是索引集，则任意两多重向量的几何积是
在描述只含1次元素的多重向量时，常用“formula_71-向量”。高位空间中，有些这样的多重向量不能视作刃（不能分解为"k"个向量的外积）。举例来说，formula_72中的formula_73不能分解，不过通常情况下，代数中这类元素不能被几何解释为对象，尽管它们可能代表诸如旋转之类的几何量。只有formula_74-向量在"n"-空间中还是刃。
外部链接.
English translations of early books and papers
研究组