跳转到内容

克利福德代数

本页使用了标题或全文手工转换
维基百科,自由的百科全书


数学上,克利福德代数Clifford algebra)是由具有二次型向量空间生成的单位结合代数。作为域上的代数,其推广实数系复数系四元数系超复数系,以及外代数[1][2]此代数结构得名自英国数学家威廉·金顿·克利福德

研究克里福代数的理论有时也称为克里福代数,其与二次型论和正交群理论紧密联系。其在几何理论物理数码图像处理中有很多应用。其主要贡献者有:威廉·哈密顿(四元数),赫尔曼·格拉斯曼(外代数),威廉·金顿·克利福德David Hestenes英语David Hestenes等。

最常见的克里福代数是正交克里福代数,又称(黎曼克里福代数。另一类是扭对称克里福代数[3]

定义及基本性质

[编辑]

设有上的向量空间,且其上有二次型。克里福代数是由生成的“最自由英语free algebra”的单位结合代数,但须满足[a]

其中左边的平方是该代数中的乘法,而右边的为其乘法单位元。所谓“最自由”,可以用泛性质严格定义,详见下节

为有限维实向量空间,且非退化,则可记为,表示有一组正交基,其中个基元满足,另有个基元满足,而指明该克里福代数定义在实域上,即该代数的元素系数皆为实数。此组正交基可藉正交对角化英语orthogonal diagonalization找出。

生成的自由代数是张量代数。换言之,其为自身的张量积,对所有直和。故相应的克里福代数会是该张量代数对元素取遍的元素)生成的双边理想。张量积导出在商代数的乘积以串接表示(例如)。其结合律由张量积的结合律推出。

克里福代数有指明的子空间,即嵌入。若只得与克里福代数同构代数,则一般无法唯一确定该子空间。

若底域特征不为,则可将基本恒等式重写成

其中

定义的对称双线性形式与二次型之间有极化恒等式

特征为的二次型与克里福代数为特例。具体而言,若,则对于二次型,式未必唯一确定某个对称双线性型也未必有正交基。本条目不少命题的条件皆要求特征不为,而若允许特征为,则命题不再成立。

作为外代数的量子化

[编辑]

克里福代数与外代数密切相关。外代数是克里福代数的特例:若在克里福代数的定义中,取,则克里福代数就是外代数。即使非零,只要基域的特征非之间仍有典范的线性同构。换言之,两者作为向量空间自然地同构,但其上的乘法有分别。特征为时,两者仍线性同构,然而该同构并非自然。克里福代数的乘法和指定的子空间是比外代数更丰富的结构,因为用到提供的额外资讯。

克里福代数为滤套代数英语filtered algebra,而相伴的分次代数英语Associated graded ring为外代数。

具体而言,克里福代数可视为外代数的“量子化”(见量子群),正如外尔代数英语Weyl algebra对称代数英语symmetric algebra的量子化。

外尔代数和克里福代数还具有*-代数英语*-algebra的结构,并能整合成某个超代数英语superalgebra的偶次和奇次项,见典范对易与反对易关系代数英语CCR and CAR algebras

泛性质与构造

[编辑]

上的向量空间上的二次型。多数情况下,域实域复域,或有限域

克里福代数定义为有序对[b][5]其中上的单位结合代数,而线性映射满足对任意,皆有,且满足下列泛性质:给定上任何单位结合代数和线性映射

(其中表示的乘法单位元),必有唯一的代数同态使得以下图表可交换(即

二次型可换成满足的(无需对称的)双线性形式,此时需满足的条件等价于

当基域的特征非时,以上条件也等价于:

其中双线性型不妨限定为对称双线性型。

以上描述的克里福代数必定存在,能藉以下一般方法构造:先选取由生成的最自由的代数,即张量代数,然后藉取,保证基本恒等式成立。对于克里福代数,所需的双边理想是由所有形如

的元素生成,其中取遍的元素,随后便可定义为商代数

商承继的乘积有时称为克里福积[6]:8–9,以免与外代数的外积或纯量积混淆。

有上述的构造后,可以直接验证包含,且满足所需的泛性质。而由泛性质,可知在唯一同构的意义下唯一,故在此意义下,可当克里福代数必定由上述构造给出。从构造可知,单射,故通常隐藏而视线性子空间

因为克里福代数可由泛性质定义,所以的构造具函子性,即函子,其定义域为具有二次型的-向量空间组成的范畴(其态射为保二次型的线性映射),陪域为结合-代数范畴。泛性质保证,向量空间之间保二次型的线性映射,唯一扩展成相应的克里福代数的代数同态。

基与维数

[编辑]

由于已配备二次型,在特征非时,有一组正交基,即其元素满足

,及

基本克里福恒等式推出,对于正交基,有

,及

此关系使正交基元间的运算很容易。给定中两两互异的正交基元的乘积 ,可以将各因子按顺序排好,而仅需依照置换的奇偶性在前面加上正负号。

上的维数,且的正交基,则上的向量空间,其一组基为

.

在上式中,空乘积()定义为乘法单位元。由于每个可以出现或不出现在乘积中,的维数(即基的大小)为

例子:实域上与复域上的克里福代数

[编辑]

克里福代数的重要例子源自向量空间及其上非退化的二次型给出。

本节的例子皆同构于某个,其中上的全个矩阵环。此类代数的完整分类,见克里福代数的分类英语Classification of Clifford algebras

实域上

[编辑]

克里福代数有时称为几何代数英语Geometric algebra,尤其定义在实域上时。

有限维实向量空间上的非退化二次型必等价于某个标准对角型:

其中为向量空间的维数。非负整数对称为二次型的符号英语metric signature。配备此二次型的实向量空间一般记为,而生成的克里福代数则记为可能表示,视乎作者偏好二次型正定抑或负定。

的标准支两两正交的向量组成,其中支的平方为,其馀支的平方则为。于是,代数中,也有该支向量的平方为,该支向量的平方为

低维的例子有:

自然同构,因为并无非零向量。
为由(其平方为)生成的二维代数,从而与复数域代数同构。
为由张成的四维代数。后三个基元的平方皆为,且两两相反交换,故代数与四元数系同构。
为八维代数,与直和英语Direct sum of modules分裂复四元数系英语split-biquaternion)同构。

复域上

[编辑]

也可以研究复域上的克里福代数。维复向量空间上,每个非退化二次型都等价于标准对角型

由此,对每个维数,在同构意义下,恰有一个克里福代数定义在配备非退化二次型的维复向量空间上,记为

最小的几个例子为:

复数系
双复数系
复四元数系,其中表示复域上的矩阵组成的代数。

例子:构造四元数与二元四元数

[编辑]

四元数

[编辑]

本节将会构造哈密顿四元数系,作为克里福代数的偶子代数。

为实三维向量空间,二次型为欧氏度量的相反数,则对于,相应的纯量积(双线性型)由

给出。

现引入向量的克里福积,使其满足

(此处有负号,以使该代数与四元数的联系更清晰。)

的一组正交单位基,则由上式可知,其两两的克里福积满足

克里福代数的任意元素可以表示成

若只考虑偶次项,则得到偶子代数,其任意元素可表示成

若定义四元数的基元

则可知与哈密顿的实四元数代数同构,理由是:

与四元数的运算法则一致。

二元四元数

[编辑]

本节构造二元四元数系英语dual quaternion,作为配备退化二次型的实四维向量空间的偶克里福代数。[7][8]

设向量空间为实四维空间,并设二次型为源自上欧氏度量的退化型,即相应的双线性型满足:对任意

换言之,此退化纯量积只考虑将投影到后的像。

向量的克里福积由下式定义:

同上节,负号是为了明确该代数与四元数系的对应关系。

的标准基元为,则其克里福积满足关系

克里福代数也记为(下标分别表示平方为的基元个数),其一般元素有16项,而仅取偶次项时,得到偶子代数,其一般元素形如

于是,可分别定义四元数基元二元数基元

从而给出二元四元数英语dual quaternion代数的同构。

要验证二元四元数的乘法法则,可以计算

后者的计算中,的换位将符号改变了偶数次(即无改变)。同样的方法能证明,二元数基元可与全部四元数基元交换。

低维例子

[编辑]

为特征非的域。

一维

[编辑]

对于的情况,若有对角化,即存在非零向量,则代数同构于,即由满足的单一个元素生成的-代数。

更具体而言,有三种情况:

  1. (即为零二次型),则代数同构于上的二元数代数
  2. 非零,且为中的平方数,则
  3. 其馀情况下,同构于的二次域扩张

二维

[编辑]

对于的情况,若有对角化,其中皆非零(非退化时必然存在),则同构于由生成的-代数,其中满足

于是同构于(广义)四元数代数英语quaternion algebra。在时,该代数化归为哈密顿的四元数代数,即

作为特殊情况,若有某个使得,则是二阶方阵的代数。

性质

[编辑]

与外代数的关系

[编辑]

给定向量空间,可以构造外代数,其定义不取决于上任何二次型。事实上,若的特征非,则作为向量空间自然同构(而在特征时,仍有同构,但不一定自然)。该自然同构当且仅当时为代数同构。所以,可以将克里福代数视为的外代数额外配备取决于的乘法。(准确而言是外代数的“量子化”,见#作为外代数的量子化。)原有的外积仍有不取决于的定义。

描述以上同构的简单方法是:先取的正交基,并扩展成的基(如#基与维数所述)。定义映射使

并线性扩展。注意此处用到正交。可以证明,映射的定义无关正交基的选择,故为自然同构。

特征,则也可以藉反对称化(antisymmetrizing)定义以上同构:定义一列映射使

其求和符号中,取遍对称群的元素。由于反对称,其导出独一个映射。该些映射的直和英语Direct sum of modules的线性映射。可以证明该映射为同构,且是自然同构。

也可以从更高等的观点,在上构造滤过英语Filtered algebra,以看待两者的关系。注意张量代数有自然滤过,其中含所有不高于的张量。将此滤过投射到克里福代数上,就得到上的滤过。与此滤过相伴的分次代数英语associated graded algebra

与外代数自然同构。由于滤过代数的相伴分次代数总与原滤过代数作为滤过向量空间同构(藉选取中的补集),可知克里福代数与外代数在任何特征(包括)下皆同构(尽管不一定自然)。

分次

[编辑]

本节假设特征非[c]

克里福代数为-分次代数英语graded algebra(又称为超代数英语superalgebra),以下说明原因。在上,线性映射关于原点对称)保持二次型,故由克里福代数的泛性质,该线性映射延拓成代数自同构

由于对合(即其平方为恒同映射),可以将分解成的正和负特征空间:

其中

由于是自同构,有:

其中方括号上标的运算模,故上式赋予作为-分次代数英语graded algebra的结构。子空间子代数英语subalgebra,称为偶子代数。而子空间则称为奇部(其不为子代数)。此-分次在克里福代数的分析和应用上很重要。自同构称为对合(main involution)或次数对合(grade involution)。此-分次中的纯元素,即偶部或奇部的元素,分别称为偶元奇元

当特征非时,由于与外代数有典范同构,作为向量空间,承继-分次和-分次。[d]然而,该分次仅为向量空间分次,而非代数分次。换言之,克里福乘积并不遵守该-分次或-分次,仅遵守上段的-分次:例如,若,则,但,而不在中。不过此等分次之间有自然的联系:。更甚者,克里福代数有-滤过英语filtered algebra

克里福数的次数通常指-分次的次数。

克里福代数的偶子代数本身亦同构于某个克里福代数。[e][f]为具有非零范数的向量与子空间的正交直和,则同构于,其中为二次型乘上,并限制到。作为例子,以上结论在实域上推出:

负定的情况下,上式给出包含关系,延伸序列

类似可证,在复域上, 的偶子代数同构于

反自同构

[编辑]

除自同构外,克里福代数的分析中,还有两个重要的反自同构英语antiautomorphism。记得张量代数有将全部乘法次序反转的反自同构:

由于理想在该反转下不变,该反转也定义上的反自同构,称为转置反转,记为。转置为反自同构,即有。上述定义中,并未用到-分次,故可复合自同构与转置,而得另一个反自同构。新的反自同构称为克里福共轭,记为。以符号表示:

两个反自同构中,转置更本质。[g]

此三种运算皆是对合。此外,其对-分次纯元的作用皆是乘上,且符号仅取决于次数。换言之,若次纯元,则

其中符号载于下表:

克里福纯量积

[编辑]

当特徴非时,上的二次型可以延拓成上的二次型(同样记为)。该延拓可用以下不取决于基的方式定义:

其中表示的纯量部分(-分次的零次项)。可以证明,对于的元素,有

但上式对的其他元素不一定成立。

上,与相伴的对称双线性型由下式定义:

可以验算,若限制在上,则该双线性型化为上原有的双线性型。在上,该双线性型非退化当且仅当其限制在上非退化。

关于此纯量积,左(右)乘与右(左)乘互为伴随。换言之,

克里福代数的结构

[编辑]

本节假设域的特征非,向量空间为有限维,且二次型非退化。若矩阵代数的系数取自某个中心的有限维除代数英语division algebra,则该矩阵代数称为上的中心单代数英语central simple algebra。例如,实域上的中心单代数可能是实域上的矩阵代数,也可能是四元数代数上的矩阵代数。有下列结论:

  • 的维数为偶数,则上的中心单代数。
  • 的维数为偶数,则偶子代数或是的二次扩张上的中心单代数,或是上两个同构的中心单代数的直和。
  • 的维数为奇数,则或是的二次扩张上的中心单代数,或是上两个同构的中心单代数的直和。
  • 的维数为奇数,则偶子代数上的中心单代数。

克里福代数的结构可从以下结果推导出:假设有偶数维,且有非退化的双线性型,其行列式,又设为另一个向量空间,亦配备二次型,则的克里福代数同构于的克里福代数与的克里福代数的张量积。(后者仍是向量空间,但其上的二次型要乘上因子。)在实域上,上述结果推出:

该些公式可用作找出所有实克里福代数和复克里福代数的结构,详见克里福代数的分类英语classification of Clifford algebras

值得注意,克里福代数的森田等价类(即其整个表示论:该代数上的模范畴粤语模範疇加性等价类)只取决于其符号。此为一种代数形式的博特周期性

利普希茨群

[编辑]

利普希茨群(又称为[4]:126克里福群或克里福-利普希茨群)由鲁道夫·利普希茨发现。[6]:220

本节中,设为有限维向量空间,而二次型非退化。

克里福代数的可逆元群以“扭转共轭”的方式作用在克里福代数上:所谓扭转共轭作用在上,结果便是,其中上文定义的主对合

利普希茨群定义为所有满足

的可逆元的集合。换言之,要求的扭转共轭稳定化所有向量组成的集合。[9]

上式说明,该群作用可以限制成向量空间上的群作用,且其保持二次型,故给出利普希茨群到正交群的同态。利普希茨群包含所有令中可逆的元素,而此等元素作用在上的效果为反射

(特征为时,此种映射称为错切而非反射。)

为有限维实向量空间,并配备非退化二次型英语Degenerate bilinear form,则利普希茨群满射到关于该二次型的正交群(根据嘉当-迪厄多内定理),且恰好包含的所有非零元,故有下列短正合列

其中的偶子群。

其他域上,或当二次型退化时,该映射未必满,而旋量范数描述其不满程度。

旋量范数

[编辑]

对任意特征,利普希茨群上的旋量范数由下式定义:

其为由利普希茨群射去非零元素的乘法群的同态。当视为克里福代数的子空间时,上等于与原有的二次型。若干作者采用不同的定义,以致在上,其定义与上述定义相差倍。只要特征不为,此差异并不重要。

中的非零元素的旋量范数是在非零平方子群中,所以,若有限维且其上的二次型非退化,则有同态从的正交群映去,亦称为旋量范数。对任意向量,关于是关于二次型而言)反射的旋量范数在中的像为。此性质唯一确定正交群上的旋量范数。故有正合列:

注意在特征为时,群只有一个元素。

若从代数群伽罗瓦上同调考虑,旋量范数是上同调的连接同态。其含义是,以表示1的平方根组成的代数群英语Group scheme of roots of unity(若域的特征不为,则该群大致就是二元群,且其伽罗瓦作用平凡),则短正合列

给出上同调层面的长正合列,其起始一段为

代数群的系数零阶伽罗瓦上同调即其值点旳群:,而 ,故也能从长正合列推导出上段的正合列

其中旋量范数为连接同态

旋量群与Pin群

[编辑]

本节假设有限维,且其双线性型非退化。

Pin群为利普希茨群中,旋量范数为的元素组成的子群。类似地,旋量群中,迪克森不变量的元素组成的子群。当特征非时,该些元素即行列式为的元素。旋量群在Pin群的指数英语Index of a subgroup通常为

前一节说明,利普希茨群有到正交群的满同态。定义特殊正交群的像。若的特征非,则特殊正交群就是正交群中,行列式为的元素的子群。若的特征为,则正交群所有元素的行列式皆为,而特殊正交群为迪克森不变量为的元素的子群。

也有从Pin群到正交群的同态。其像由旋量范数为的元素组成,而核则由组成(故其阶为,除非特征为)。类似有由的旋量群到其特殊正交群的同态。

为实正定或负定空间时,旋量群有满同态射到特殊正交群上,且在至少维时,旋量群单连通。更甚者,此满同态的核为。故此时,旋量群的二重复叠。然而,旋量群在一般情况下未必单连通:若,其中皆至少为,则旋量群并不单连通。此情况下,代数群作为代数群仍然单连通,但其实值点群则不再单连通。

旋量

[编辑]

为偶时,克里福代数可表示成维的(复)矩阵代数。限制到群,则得到同一维数的Pin群的复表示,称为旋量表示英语spin representation。若再限制到旋量群上,则该表示分解成两个半旋量表示(half spin representations,又称外尔表示,Weyl representations)的直和,每个半旋量表示有维。

为奇,则克里数代数为两个矩阵代数的直和,每个有维,且皆为Pin群的表示。限制到旋量群时,两个矩阵代数变得同构,故旋量群有维的复旋量表示。

更一般而言,任何域上的旋量群和Pin群都有相似的表示,其结构取决于对应的克里福代数的结构英语classification of Clifford algebras:每当克里福代数有因子为某个除代数上的矩阵代数,其Pin群和旋量群就有该除代数上的对应表示。在实域的例子,参见旋量条目。

实旋量

[编辑]

为描述实旋量表示,需先明白旋量群如何位处克里福代数中。Pin群中,可写成单位向量之积的可逆元素的集合:

若考虑克里福代数的矩阵表示,则pin群的元素为任意多个反射(见上文)之积,是整个正交群的覆叠。而旋量群的元素则是中,偶数支单位向量之积。所以,根据嘉当-迪厄多内定理,旋量群是旋转群的覆叠。

为自同构,其将纯向量映至,则中,的不动点组成的子群。又设

(其元素正是的偶次元素。)则旋量群包含于

不可约表示可以限制英语Restricted representation成pin群的表示。反之,由于pin群由单位向量生成,其所有不可约表示皆可如此导出英语induced representation,故两者有一样的不可约表示。同理,旋量群与有同样的不可约表示。

要将pin群的表示分类,需要用到克里福代数的分类英语classification of Clifford algebras。至于旋量群的表示(与偶子代数的表示一样),可以使用下列同构(见上文):

从而得知,符号的旋量群表示就是符号的pin群表示。

应用

[编辑]

微分几何

[编辑]

外代数在微分几何可用作定义光滑流形上的微分形式。在(黎曼流形的情况,每个切空间上配备自然的二次型(由度规张量导出)。所以,如同外丛英语exterior bundle,可以定义克里福丛英语Clifford bundle。在黎曼几何,克里福丛有若干重要应用,例如其与旋量流形英语spin manifold、相伴的旋量丛流形的关联。

物理

[编辑]

克里福代数在物理有若干重要应用。物理学家通常认定克里福代数具有一组基,其由狄拉克矩阵生成。此种矩阵满足关系式

其中为记号(或,度量记号的两种等价选取)的二次型的矩阵。上列关系式恰好是定义实克里福代数的关系式,而该代数的复化根据克里福代数的分类英语classification of Clifford algebras,同构于复矩阵的代数。然而,在此用法下,仍需保留的写法,因为将双线性型变成标准型的变换不属时空的洛伦兹变换

所以,物理使用的时空克里福代数比有更多结构。例如,有额外指明一族允许的变换,即洛伦兹变换。视乎用途,例如希望框架能容纳多少理论,不一定一开始便要复化,但在量子力学,为使李代数旋量表示英语Spin representation能包含于克里福代数中,通常都须考虑复克里福代数。以下列出定义该旋量李代数的关系式以供参考:

上式按照记号的约定,因此能放入[10]

狄拉克矩阵最早由保罗·狄拉克写出,其时他正尝试写出电子的相对论性一阶波动方程,并试图给出由克里福代数到复矩阵代数的明确同构。该些矩阵后来用作定义狄拉克方程式和引入狄拉克算子。在量子场论中,整个克里福代数以Dirac field bilinear英语Dirac field bilinear的形式出现。

使用克里福代数来描述量子理论,推动者有Mario Schönberg英语Mario Schönberg[h]David Hestenes英语David Hestenes几何微积分英语geometric calculus方面)、戴维·玻姆Basil Hiley英语Basil Hiley及同事(克里福代数的分层英语Basil Hiley#Hierarchy of Clifford algebras)、Elio Conte等。[11][12]

电脑视觉

[编辑]

电脑视觉方面,克里福代数适用于辨认和分类动作。米基·洛迪古斯(Mikel Rodriguez)及合作者[13]提出用克里福嵌入,将传统的最大平均关联高度滤子(Maximum Average Correlation Height filter, MACH filter)推广,套用于影片(3D时空体积)以及向量值数据,例如光流。向量值数据需以克里福傅立叶变换英语Clifford analysis分析。基于该些向量,能在克里福傅立叶域中,合成出动作滤子,然后用克里福关联来辨认动作。论文作者用克里福嵌入,分辨出传统剧情长片和体育广播的常见动作,以论证其方法有效。

推广

[编辑]
  • 本条目只考虑域上的向量空间的克里福代数,但同样可定义任何单位结合交换环上的的克里福代数。[3]
  • 亦在克里福代数的定义中,将二次型推广成更高次的映射。[14]

会议与期刊

[编辑]

克里福代数和几何代数,以及相关的跨学科研究,是活跃的研究主题,且有广泛的应用。此学科的学术会议包括克里福代数及其在数学物理的应用国际会议(ICCA)页面存档备份,存于互联网档案馆)及几何代数在电脑科学及工程学的应用(AGACSE)页面存档备份,存于互联网档案馆)两个系列。期刊包括斯普林格出版的《应用克里福代数进展英语Advances in Applied Clifford Algebras》。

注解

[编辑]
  1. ^ 研究实克里福代数且偏好正定二次型者(尤其研究指标理论者),有时在基本克里福恒等式中使用不同的符号英语sign convention。换言之,其取。代,便可切换两种约定。
  2. ^ [4]明确指出映射(引文作)是克里福代数结构的一部分,其定义写作:“有序对为二次空间的克里福代数,若作为代数是由生成,且满足:对所有,有。”
  3. ^ 群代数半单英语Semisimple algebra,且克里福代数可分解成主对合的特征空间
  4. ^ 此处的-分次,仅是将-分次添加负指标处的零子空间。
  5. ^ 严格而言,因为未指明克里福代数定义中的向量空间,所以该同构仅是代数同构,而非克里福代数同构。
  6. ^ 仍假设特征非
  7. ^ 若在克里福代数的定义中,约定的符号不同(多一个负号),则反之,即共轭更本质。一般而言,共轭与转置的含义会因约定的符号不同而互换。例如,本条目采用的定义中,向量的逆元为,但约定相反的符号时,则有
  8. ^ 见A. O. Bolivar, Classical limit of fermions in phase space, J. Math. Phys. 42, 4020 (2001) doi:10.1063/1.1386411在"The Grassmann–Schönberg algebra "一节描述,Schönberg在1956年和1957年出版的论文。

参考资料

[编辑]
  1. ^ Clifford, W.K. Preliminary sketch of bi-quaternions. Proc. London Math. Soc. 1873, 4: 381–395 (英语). 
  2. ^ Clifford, W.K. Tucker, R. , 编. Mathematical Papers. London: Macmillan. 1882 (英语). 
  3. ^ 3.0 3.1 Oziewicz, Z.; Sitarczyk, Sz. Parallel treatment of Riemannian and symplectic Clifford algebras. Micali, A.; Boudet, R.; Helmstetter, J. (编). Clifford Algebras and their Applications in Mathematical Physics. Kluwer. 1992: 83 [2021-08-05]. ISBN 0-7923-1623-1. (原始内容存档于2021-08-05) (英语). 
  4. ^ 4.0 4.1 Vaz, J.; da Rocha, R., An Introduction to Clifford Algebras and Spinors, Oxford University Press, 2016, ISBN 978-0-19-878292-6 (英语) 
  5. ^ P. Lounesto, Counterexamples in Clifford algebras with CLICAL, Clifford Algebras with Numeric and Symbolic Computations, 1996: 3–30, ISBN 978-1-4615-8159-8, doi:10.1007/978-1-4615-8157-4_1 (英语) ,或删节版页面存档备份,存于互联网档案馆
  6. ^ 6.0 6.1 Lounesto, Pertti, Clifford algebras and spinors, Cambridge University Press, 2001, ISBN 978-0-521-00551-7, doi:10.1017/CBO9780511526022 (英语) 
  7. ^ McCarthy, J.M. An Introduction to Theoretical Kinematics. MIT Press. 1990: 62–65 [2021-08-06]. ISBN 978-0-262-13252-7. (原始内容存档于2021-08-06) (英语). 
  8. ^ Bottema, O.; Roth, B. Theoretical Kinematics. Dover. 2012 [1979] [2021-08-06]. ISBN 978-0-486-66346-3. (原始内容存档于2021-08-06) (英语). 
  9. ^ Perwass, Christian, Geometric Algebra with Applications in Engineering, Springer Science & Business Media, 2009, Bibcode:2009gaae.book.....P, ISBN 978-3-540-89068-3 (英语) , §3.3.1
  10. ^ Weinberg, S., The Quantum Theory of Fields 1, Cambridge University Press, 2002, ISBN 0-521-55001-7 (英语) 
  11. ^ Conte, Elio. A Quantum-Like Interpretation and Solution of Einstein, Podolsky, and Rosen Paradox in Quantum Mechanics. 14 Nov 2007. arXiv:0711.2260可免费查阅 [quant-ph] (英语). 
  12. ^ Conte, Elio. On some considerations of mathematical physics: May we identify Clifford algebra as a common algebraic structure for classical diffusion and Schrödinger equations?. Adv. Studies Theor. Phys. 2012, 6 (26): 1289–1307 (英语). 
  13. ^ Rodriguez, Mikel; Shah, M. Action MACH: A Spatio-Temporal Maximum Average Correlation Height Filter for Action Classification. Computer Vision and Pattern Recognition (CVPR). 2008 (英语). 
  14. ^ Darrell E. Haile. On the Clifford Algebra of a Binary Cubic Form. American Journal of Mathematics (The Johns Hopkins University Press). Dec 1984, 106 (6): 1269–1280. JSTOR 2374394. doi:10.2307/2374394 (英语).