【克利福德代数】
数学上，克利福德代数（Clifford algebra）是由具有二次型的向量空间生成的单位结合代数。作为域上的代数，其推广实数系、复数系、四元数系等超复数系，以及外代数。此代数结构得名自英国数学家威廉·金顿·克利福德。
研究克里福代数的理论有时也称为克里福代数，其与二次型论和正交群理论紧密联系。其在几何、理论物理、digital image processing中有很多应用。其主要贡献者有：威廉·哈密顿（四元数），赫尔曼·格拉斯曼（外代数），威廉·金顿·克利福德，David Hestenes等。
最常见的克里福代数是正交克里福代数，又称（伪）黎曼克里福代数。另一类是扭对称克里福代数。
==定义及基本性质==
设有域上的向量空间，且其上有二次型。克里福代数是由生成的最自由的单位代数结合代数，但须满足
其中左边的平方是该代数中的乘法，而右边的为其乘法单位元。所谓「最自由」，可以用泛性质严格定义，详见下节。
若为有限维实向量空间，且非退化，刖可记为，表示有一组正交基，其中个基元满足，另有个基元满足，而指明该克里福代数定义在实域上，即该代数的元素系数皆为实数。此组正交基可藉orthogonal diagonalization找出。
由生成的自由代数是张量代数。换言之，其为自身的重张量积，对所有的直和。故相应的克里福代数会是该张量代数对元素（取遍的元素）生成的双边理想的商。张量积导出在商代数的乘积以串接表示（例如）。其结合律由张量积的结合律推出。
克里福代数有指明的子空间，即嵌入的像。若只得与克里福代数同构的代数，则一般无法唯一确定该子空间。
若底域的特征不为，则可将基本恒等式重写成
其中
定义的对称双线性形式与二次型之间有极化恒等式。
特征为的二次型与克里福代数为特例。具体而言，若，则对于二次型，式未必唯一确定某个对称双线性型，也未必有正交基。本条目不少命题的条件皆要求特征不为，而若允许特征为，则命题不再成立。
===作为外代数的量子化===
克里福代数与外代数密切相关。外代数是克里福代数的特例：若在克里福代数的定义中，取，则克里福代数就是外代数。即使非零，只要基域的特征非，和之间仍有典范的线性同构。换言之，两者作为向量空间自然地同构，但其上的乘法有分别。特征为时，两者仍线性同构，然而该同构并非自然。克里福代数的乘法和指定的子空间是比外代数更丰富的结构，因为用到提供的额外资讯。
克里福代数为filtered algebra，而相伴的分次代数为外代数。
具体而言，克里福代数可视为外代数的「量子化」（见量子群），正如Weyl algebra为symmetric algebra的量子化。
外尔代数和克里福代数还具有*-algebra的结构，并能整合成某个superalgebra的偶次和奇次项，见CCR and CAR algebras。
==泛性质与构造==
设为域上的向量空间，为上的二次型。多数情况下，域是实域或复域，或有限域。
克里福代数定义为有序对，其中为上的单位结合代数，而线性映射满足对任意，皆有，且满足下列泛性质：给定上任何单位结合代数和线性映射令
（其中表示的乘法单位元），必有唯一的代数同态使得以下图表可交换（即：
Image:CliffordAlgebra-01.png
二次型可换成满足的（无需对称的）双线性形式，此时需满足的条件等价于
当基域的特征非时，以上条件也等价于：
其中双线性型不妨限定为对称双线性型。
以上描述的克里福代数必定存在，能借以下一般方法构造：先选取由生成的最自由的代数，即张量代数，然后藉取商，保证基本恒等式成立。对于克里福代数，所需的双边理想是由所有形如
的元素生成，其中取遍的元素，随后便可定义为商代数。
商承继的环乘积有时称为克里福积8–9，以免与外代数的外积或纯量积混淆。
有上述的构造后，可以直接验证包含，且满足所需的泛性质。而由泛性质，可知在唯一同构的意义下唯一，故在此意义下，可当克里福代数必定由上述构造给出。从构造可知，是单射，故通常隐藏而视为的线性子空间。
因为克里福代数可由泛性质定义，所以的构造具函子性，即为函子，其定义域为具有二次型的-向量空间组成的范畴（其态射为保二次型的线性映射），陪域为结合-代数范畴。泛性质保证，向量空间之间保二次型的线性映射，唯一扩展成相应的克里福代数的代数同态。
==基与维数==
由于已配备二次型，在特征非时，有一组正交基，即其元素满足
，及。
基本克里福恒等式推出，对于正交基，有
，及。
此关系使正交基元间的运算很容易。给定中两两互异的正交基元的乘积 ，可以将各因子按顺序排好，而仅需依照置换的奇偶性在前面加上正负号。
若在上的维数为，且为的正交基，则为上的向量空间，其一组基为
.
在上式中，空乘积（）定义为乘法单位元。由于每个可以出现或不出现在乘积中，的维数（即基的大小）为
==例子：实域上与复域上的克里福代数==
克里福代数的重要例子源自实或复向量空间及其上非退化的二次型给出。
本节的例子和皆同构于某个或，其中为、或上的全个矩阵环。此类代数的完整分类，见Classification of Clifford algebras。
===实域上===
克里福代数有时称为Geometric algebra，尤其定义在实域上时。
有限维实向量空间上的非退化二次型必等价于某个标准对角型：
其中为向量空间的维数。非负整数对称为二次型的符号。配备此二次型的实向量空间一般记为，而生成的克里福代数则记为。可能表示或，视乎作者偏好二次型正定抑或负定。
的标准基由支两两正交的向量组成，其中支的平方为，其余支的平方则为。于是，代数中，也有该支向量的平方为，该支向量的平方为。
低维的例子有：
与自然同构，因为并无非零向量。
为由（其平方为）生成的二维代数，从而与复数域代数同构。
为由张成的四维代数。后三个基元的平方皆为，且两两相反交换，故代数与四元数系同构。
为八维代数，与直和（分裂复四元数系）同构。
===复域上===
也可以研究复域上的克里福代数。维复向量空间上，每个非退化二次型都等价于标准对角型
由此，对每个维数，在同构意义下，恰有一个克里福代数定义在配备非退化二次型的维复向量空间上，记为。
最小的几个例子为：
，复数系，
，双复数系，
，复四元数系，其中表示复域上的矩阵组成的代数。
==例子：构造四元数与二元四元数==
===四元数===
本节将会构造哈密顿的四元数系，作为克里福代数的偶子代数。
设为实三维向量空间，二次型为欧氏度量的相反数，则对于，相应的纯量积（双线性型）由
给出。
现引入向量的克里福积，使其满足
（此处有负号，以使该代数与四元数的联系更清晰。）
设为的一组正交单位基，则由上式可知，其两两的克里福积满足
且
克里福代数的任意元素可以表示成
若只考虑偶次项，则得到偶子代数，其任意元素可表示成
若定义四元数的基元为
则可知与哈密顿的实四元数代数同构，理由是：
且
与四元数的运算法则一致。
===二元四元数===
本节构造二元四元数系，作为配备退化二次型的实四维向量空间的偶克里福代数。
设向量空间为实四维空间，并设二次型为源自上欧氏度量的退化型，即相应的双线性型满足：对任意，
换言之，此退化纯量积只考虑将投影到后的像。
向量的克里福积由下式定义：
同上节，负号是为了明确该代数与四元数系的对应关系。
记的标准基元为，则其克里福积满足关系
及
克里福代数也记为（下标分别表示平方为的基元个数），其一般元素有16项，而仅取偶次项时，得到偶子代数，其一般元素形如
于是，可分别定义四元数基元和二元数基元为
从而给出与dual quaternion代数的同构。
要验证二元四元数的乘法法则，可以计算
和
后者的计算中，和的换位将符号改变了偶数次（即无改变）。同样的方法能证明，二元数基元可与全部四元数基元交换。
==低维例子==
设为特征非的域。
===一维===
对于的情况，若有对角化，即存在非零向量令，则代数同构于，即由满足的单一个元素生成的-代数。
更具体而言，有三种情况：
#若（即为零二次型），则代数同构于上的二元数代数。
#若非零，且为中的平方数，则。
#其余情况下，同构于的二次域扩张。
===二维===
对于的情况，若有对角化，其中皆非零（非退化时必然存在），则同构于由生成的-代数，其中满足。
于是同构于（广义）quaternion algebra。在且时，该代数化归为哈密顿的四元数代数，即。
作为特殊情况，若有某个使得，则是二阶方阵的代数。
==性质==
===与外代数的关系===
给定向量空间，可以构造外代数，其定义不取决于上任何二次型。事实上，若的特征非，则与作为向量空间自然同构（而在特征时，仍有同构，但不一定自然）。该自然同构当且仅当时为代数同构。所以，可以将克里福代数视为的外代数额外配备取决于的乘法。（准确而言是外代数的「量子化」，见#作为外代数的量子化。）原有的外积仍有不取决于的定义。
描述以上同构的简单方法是：先取的正交基，并扩展成的基（如#基与维数所述）。定义映射使
并线性扩展。注意此处用到正交。可以证明，映射的定义无关正交基的选择，故为自然同构。
若的特征为，则也可以藉反对称化（antisymmetrizing）定义以上同构：定义一列映射使
其求和符号中，取遍阶对称群的元素。由于反对称，其导出独一个映射。该些映射的直和为至的线性映射。可以证明该映射为同构，且是自然同构。
也可以从更高等的观点，在上构造滤过，以看待两者的关系。注意张量代数有自然滤过，其中含所有阶不高于的张量。将此滤过投射到克里福代数上，就得到上的滤过。与此滤过相伴的分次代数
与外代数自然同构。由于滤过代数的相伴分次代数总与原滤过代数作为滤过向量空间同构（藉选取在中的补集），可知克里福代数与外代数在任何特征（包括）下皆同构（尽管不一定自然）。
===分次===
本节假设特征非。
克里福代数为-graded algebra（又称为superalgebra），以下说明原因。在上，线性映射（关于原点对称）保持二次型，故由克里福代数的泛性质，该线性映射延拓成代数自同构
由于为对合（即其平方为恒同映射），可以将分解成的正和负特征空间：
其中
由于是自同构，有：
其中方括号上标的运算模，故上式赋予作为-graded algebra的结构。子空间为的subalgebra，称为偶子代数。而子空间则称为奇部（其不为子代数）。此-分次在克里福代数的分析和应用上很重要。自同构称为主对合（main involution）或次数对合（grade involution）。此-分次中的纯元素，即偶部或奇部的元素，分别称为偶元和奇元。
当特征非时，由于与外代数有典范同构，作为向量空间，承继的-分次和-分次。此处的-分次，仅是将的-分次添加负指标处的零子空间。然而，该分次仅为向量空间分次，而非代数分次。换言之，克里福乘积并不遵守该-分次或-分次，仅遵守上段的-分次：例如，若，则，但，而不在中。不过此等分次之间有自然的联系：。更甚者，克里福代数有-滤过：
克里福数的次数通常指-分次的次数。
克里福代数的偶子代数本身亦同构于某个克里福代数。严格而言，因为未指明克里福代数定义中的向量空间，所以该同构仅是代数同构，而非克里福代数同构。若为具有非零范数的向量与子空间的正交直和，则同构于，其中为二次型乘上，并限制到。作为例子，以上结论在实域上推出：
在负定的情况下，上式给出包含关系，延伸序列
类似可证，在复域上, 的偶子代数同构于。
===反自同构===
除自同构外，克里福代数的分析中，还有两个重要的antiautomorphism。记得张量代数有将全部乘法次序反转的反自同构：
由于理想在该反转下不变，该反转也定义上的反自同构，称为转置或反转，记为。转置为反自同构，即有。上述定义中，并未用到-分次，故可复合自同构与转置，而得另一个反自同构。新的反自同构称为克里福共轭，记为。以符号表示：
两个反自同构中，转置更本质。
此三种运算皆是对合。此外，其对-分次纯元的作用皆是乘上，且符号仅取决于次数。换言之，若是次纯元，则
其中符号载于下表：
===克里福纯量积===
当特徴非时，上的二次型可以延拓成上的二次型（同样记为）。该延拓可用以下不取决于基的方式定义：
其中表示的纯量部分（-分次的零次项）。可以证明，对于的元素，有
但上式对的其他元素不一定成立。
在上，与相伴的对称双线性型由下式定义：
可以验算，若限制在上，则该双线性型化为上原有的双线性型。在上，该双线性型非退化当且仅当其限制在上非退化。
关于此纯量积，左（右）乘与右（左）乘互为伴随。换言之，
且
==克里福代数的结构==
本节假设域的特征非，向量空间为有限维，且二次型非退化。若矩阵代数的系数取自某个中心为的有限维division algebra，则该矩阵代数称为上的central simple algebra。例如，实域上的中心单代数可能是实域上的矩阵代数，也可能是四元数代数上的矩阵代数。有下列结论：
*若的维数为偶数，则是上的中心单代数。
*若的维数为偶数，则偶子代数或是的二次扩张上的中心单代数，或是上两个同构的中心单代数的直和。
*若的维数为奇数，则或是的二次扩张上的中心单代数，或是上两个同构的中心单代数的直和。
*若的维数为奇数，则偶子代数是上的中心单代数。
克里福代数的结构可从以下结果推导出：假设有偶数维，且有非退化的双线性型，其行列式为，又设为另一个向量空间，亦配备二次型，则的克里福代数同构于的克里福代数与的克里福代数的张量积。（后者仍是向量空间，但其上的二次型要乘上因子。）在实域上，上述结果推出：
该些公式可用作找出所有实克里福代数和复克里福代数的结构，详见classification of Clifford algebras。
值得注意，克里福代数的森田等价类（即其整个表示论：该代数上的模范畴的加性等价类）只取决于其符号。此为一种代数形式的博特周期性。
==利普希茨群==
利普希茨群（又称为126克里福群或克里福－利普希茨群）由鲁道夫·利普希茨发现。220
本节中，设为有限维向量空间，而二次型非退化。
克里福代数的可逆元群以「扭转共轭」的方式作用在克里福代数上：所谓扭转共轭作用在上，结果便是，其中是上文定义的主对合。
利普希茨群定义为所有满足
的可逆元的集合。换言之，要求的扭转共轭稳定化所有向量组成的集合。
上式说明，该群作用可以限制成向量空间上的群作用，且其保持二次型，故给出利普希茨群到正交群的同态。利普希茨群包含所有令在中可逆的元素，而此等元素作用在上的效果为反射
（特征为时，此种映射称为错切而非反射。）
若为有限维实向量空间，并配备非退化二次型，则利普希茨群满射到关于该二次型的正交群（根据嘉当－迪厄多内定理），且核恰好包含的所有非零元，故有下列短正合列
其中是的偶子群。
其他域上，或当二次型退化时，该映射未必满，而旋量范数描述其不满程度。
===旋量范数===
对任意特征，利普希茨群上的旋量范数由下式定义：
其为由利普希茨群射去非零元素的乘法群的同态。当视为克里福代数的子空间时，在上等于与原有的二次型。若干作者采用不同的定义，以致在上，其定义与上述定义相差、、倍。只要特征不为，此差异并不重要。
中的非零元素的旋量范数是在非零平方子群中，所以，若有限维且其上的二次型非退化，则有同态从的正交群映去，亦称为旋量范数。对任意向量，关于（是关于二次型而言）反射的旋量范数在中的像为。此性质唯一确定正交群上的旋量范数。故有正合列：
注意在特征为时，群只有一个元素。
若从代数群的伽罗瓦上同调考虑，旋量范数是上同调的连接同态。其含义是，以表示1的平方根组成的代数群（若域的特征不为，则该群大致就是二元群，且其伽罗瓦作用平凡），则短正合列
给出上同调层面的长正合列，其起始一段为
代数群的系数零阶伽罗瓦上同调即其值点旳群：，而 ，故也能从长正合列推导出上段的正合列
其中旋量范数为连接同态。
==旋量群与Pin群==
本节假设有限维，且其双线性型非退化。
Pin群为利普希茨群中，旋量范数为的元素组成的子群。类似地，旋量群为中，迪克森不变量为的元素组成的子群。当特征非时，该些元素即行列式为的元素。旋量群在Pin群的指数通常为。
前一节说明，利普希茨群有到正交群的满同态。定义特殊正交群为的像。若的特征非，则特殊正交群就是正交群中，行列式为的元素的子群。若的特征为，则正交群所有元素的行列式皆为，而特殊正交群为迪克森不变量为的元素的子群。
也有从Pin群到正交群的同态。其像由旋量范数为的元素组成，而核则由和组成（故其阶为，除非特征为）。类似有由的旋量群到其特殊正交群的同态。
当为实正定或负定空间时，旋量群有满同态射到特殊正交群上，且在至少维时，旋量群单连通。更甚者，此满同态的核为。故此时，旋量群为的二重复叠。然而，旋量群在一般情况下未必单连通：若为，其中皆至少为，则旋量群并不单连通。此情况下，代数群作为代数群仍然单连通，但其实值点群则不再单连通。
==旋量==
在为偶时，克里福代数可表示成维的（复）矩阵代数。限制到群，则得到同一维数的Pin群的复表示，称为spin representation。若再限制到旋量群上，则该表示分解成两个半旋量表示（half spin representations，又称外尔表示，Weyl representations）的直和，每个半旋量表示有维。
若为奇，则克里数代数为两个矩阵代数的直和，每个有维，且皆为Pin群的表示。限制到旋量群时，两个矩阵代数变得同构，故旋量群有维的复旋量表示。
更一般而言，任何域上的旋量群和Pin群都有相似的表示，其结构取决于对应的克里福代数的结构：每当克里福代数有因子为某个除代数上的矩阵代数，其Pin群和旋量群就有该除代数上的对应表示。在实域的例子，参见旋量条目。
===实旋量===
为描述实旋量表示，需先明白旋量群如何位处克里福代数中。Pin群为中，可写成单位向量之积的可逆元素的集合：
若考虑克里福代数的矩阵表示，则pin群的元素为任意多个反射（见上文）之积，是整个正交群的覆叠。而旋量群的元素则是中，偶数支单位向量之积。所以，根据嘉当－迪厄多内定理，旋量群是旋转群的覆叠。
设为自同构，其将纯向量映至，则为中，的不动点组成的子群。又设
（其元素正是的偶次元素。）则旋量群包含于。
的不可约表示可以限制成pin群的表示。反之，由于pin群由单位向量生成，其所有不可约表示皆可如此导出，故两者有一样的不可约表示。同理，旋量群与有同样的不可约表示。
要将pin群的表示分类，需要用到classification of Clifford algebras。至于旋量群的表示（与偶子代数的表示一样），可以使用下列同构（见上文）：
从而得知，符号的旋量群表示就是符号或的pin群表示。
==应用==
===微分几何===
外代数在微分几何可用作定义光滑流形上的微分形式丛。在（伪）黎曼流形的情况，每个切空间上配备自然的二次型（由度规张量导出）。所以，如同exterior bundle，可以定义Clifford bundle。在黎曼几何，克里福丛有若干重要应用，例如其与spin manifold、相伴的旋量丛、流形的关联。
===物理===
克里福代数在物理有若干重要应用。物理学家通常认定克里福代数具有一组基，其由狄拉克矩阵生成。此种矩阵满足关系式
其中为记号（或，度量记号的两种等价选取）的二次型的矩阵。上列关系式恰好是定义实克里福代数的关系式，而该代数的复化根据classification of Clifford algebras，同构于复矩阵的代数。然而，在此用法下，仍需保留的写法，因为将双线性型变成标准型的变换不属时空的洛伦兹变换。
所以，物理使用的时空克里福代数比有更多结构。例如，有额外指明一族允许的变换，即洛伦兹变换。视乎用途，例如希望框架能容纳多少理论，不一定一开始便要复化，但在量子力学，为使李代数的Spin representation能包含于克里福代数中，通常都须考虑复克里福代数。以下列出定义该旋量李代数的关系式以供参考：
上式按照记号的约定，因此能放入。
狄拉克矩阵最早由保罗·狄拉克写出，其时他正尝试写出电子的相对论性一阶波动方程，并试图给出由克里福代数到复矩阵代数的明确同构。该些矩阵后来用作定义狄拉克方程式和引入狄拉克算子。在量子场论中，整个克里福代数以Dirac field bilinear的形式出现。
使用克里福代数来描述量子理论，推动者有Mario Schönberg、David Hestenes（geometric calculus方面）、戴维·玻姆和Basil Hiley及同事（Basil Hiley#Hierarchy of Clifford algebras）、Elio Conte等。
===电脑视觉===
电脑视觉方面，克里福代数适用于辨认和分类动作。米基·洛迪古斯（Mikel Rodriguez）及合作者提出用克里福嵌入，将传统的最大平均关联高度滤子（Maximum Average Correlation Height filter, MACH filter）推广，套用于影片（3D时空体积）以及向量值数据，例如光流。向量值数据需以克里福傅立叶变换分析。基于该些向量，能在克里福傅立叶域中，合成出动作滤子，然后用克里福关联来辨认动作。论文作者用克里福嵌入，分辨出传统剧情长片和体育广播的常见动作，以论证其方法有效。
==推广==
* 本条目只考虑域上的向量空间的克里福代数，但同样可定义任何单位结合交换环上的模的克里福代数。
* 亦在克里福代数的定义中，将二次型推广成更高次的映射。
==会议与期刊==
克里福代数和几何代数，以及相关的跨学科研究，是活跃的研究主题，且有广泛的应用。此学科的学术会议包括 克里福代数及其在数学物理的应用国际会议（ICCA） date=20201129051114 及 几何代数在电脑科学及工程学的应用（AGACSE） date=20210424171140 两个系列。期刊包括斯普林格出版的《Advances in Applied Clifford Algebras》。
==注解==