克利福德代數

數學上，克利福德代數（Clifford algebra）是由具有二次型的向量空間生成的單位結合代數。作為域上的代數，其推廣實數系、複數系、四元數系等超複數系，以及外代數。此代數結構得名自英國數學家威廉・金頓・克利福德。

研究克里福代數的理論有時也稱為克里福代數，其與二次型論和正交群理論緊密聯絡。其在幾何、理論物理、數碼影像處理中有很多應用。其主要貢獻者有：威廉・哈密頓（四元數），赫爾曼・格拉斯曼（外代數），威廉・金頓・克利福德，等。

最常見的克里福代數是正交克里福代數，又稱（偽）黎曼克里福代數。另一類是扭對稱克里福代數。

定義及基本性質

設有域上的向量空間，且其上有二次型。克里福代數是由生成的「」的單位結合代數，但須滿足。換言之，其取。代為，便可切換兩種約定。}}

其中左邊的平方是該代數中的乘法，而右邊的為其乘法單位元。所謂「最自由」，可以用泛性質嚴格定義，詳見下節。

若為有限維實向量空間，且非退化，則可記為，表示有一組正交基，其中個基元滿足，另有個基元滿足，而指明該克里福代數定義在實域上，即該代數的元素系數皆為實數。此組正交基可藉找出。

由生成的自由代數是張量代數。換言之，其為自身的重張量積，對所有的直和。故相應的克里福代數會是該張量代數對元素（取遍的元素）生成的雙邊理想的商。張量積導出在商代數的乘積以串接表示（例如）。其結合律由張量積的結合律推出。

克里福代數有指明的子空間，即嵌入的像。若只得與克里福代數同構的代數，則一般無法唯一確定該子空間。

若底域的特徵不為，則可將基本恆等式重寫成

其中

定義的對稱雙線性形式與二次型之間有極化恆等式。

特徵為的二次型與克里福代數為特例。具體而言，若，則對於二次型，式未必唯一確定某個對稱雙線性型，也未必有正交基。本條目不少命題的條件皆要求特徵不為，而若允許特徵為，則命題不再成立。

1.1 作為外代數的量子化

克里福代數與外代數密切相關。外代數是克里福代數的特例：若在克里福代數的定義中，取，則克里福代數就是外代數。即使非零，只要基域的特徵非，和之間仍有典範的線性同構。換言之，兩者作為向量空間自然地同構，但其上的乘法有分別。特徵為時，兩者仍線性同構，然而該同構並非自然。克里福代數的乘法和指定的子空間是比外代數更豐富的結構，因為用到提供的額外資訊。

克里福代數為，而為外代數。

具體而言，克里福代數可視為外代數的「量子化」（見量子群），正如為的量子化。

外爾代數和克里福代數還具有 *- 代數的結構，並能整合成某個超代數的偶次和奇次項，見。

泛性質與構造

設為域上的向量空間，為上的二次型。多數情況下，域是實域或複域，或有限域。

克里福代數定義為有序對，明確指出對映（引文作）是克里福代數結構的一部分，其定義寫作：「有序對為二次空間的克里福代數，若作為代數是由和生成，且滿足：對所有，有。」}} 其中為上的單位結合代數，而線性對映滿足對任意，皆有，且滿足下列泛性質：給定上任何單位結合代數和線性對映令

（其中表示的乘法單位元），必有唯一的代數同態使得以下圖表可交換（即：

Image:CliffordAlgebra-01.png

二次型可換成滿足的（無需對稱的）雙線性形式，此時需滿足的條件等價於

當基域的特徵非時，以上條件也等價於：

其中雙線性型不妨限定為對稱雙線性型。

以上描述的克里福代數必定存在，能藉以下一般方法構造：先選取由生成的最自由的代數，即張量代數，然後藉取商，保證基本恆等式成立。對於克里福代數，所需的雙邊理想是由所有形如

的元素生成，其中取遍的元素，隨後便可定義為商代數。

商承繼的環乘積有時稱為克里福積，以免與外代數的外積或純量積混淆。

有上述的構造後，可以直接驗證包含，且滿足所需的泛性質。而由泛性質，可知在唯一同構的意義下唯一，故在此意義下，可當克里福代數必定由上述構造給出。從構造可知，是單射，故通常隱藏而視為的線性子空間。

因為克里福代數可由泛性質定義，所以的構造具函子性，即為函子，其定義域為具有二次型的 - 向量空間組成的範疇（其態射為保二次型的線性對映），陪域為結合 - 代數範疇。泛性質保證，向量空間之間保二次型的線性對映，唯一擴充套件成相應的克里福代數的代數同態。

基與維數

由於已配備二次型，在特徵非時，有一組正交基，即其元素滿足

，及。

基本克里福恆等式推出，對於正交基，有

，及。

此關係使正交基元間的運算很容易。給定中兩兩互異的正交基元的乘積 ，可以將各因子按順序排好，而僅需依照置換的奇偶性在前面加上正負號。

若在上的維數為，且為的正交基，則為上的向量空間，其一組基為

.

在上式中，空乘積定義為乘法單位元。由於每個可以出現或不出現在乘積中，的維數（即基的大小）為

例子：實域上與複域上的克里福代數

克里福代數的重要例子源自實或複向量空間及其上非退化的二次型給出。

本節的例子和皆同構於某個或，其中為、或上的全個矩陣環。此類代數的完整分類，見。

4.1 實域上

克里福代數有時稱為幾何代數，尤其定義在實域上時。

有限維實向量空間上的非退化二次型必等價於某個標準對角型：

其中為向量空間的維數。非負整數對稱為二次型的。配備此二次型的實向量空間一般記為，而生成的克里福代數則記為。可能表示或，視乎作者偏好二次型正定抑或負定。

的標準基由支兩兩正交的向量組成，其中支的平方為，其餘支的平方則為。於是，代數中，也有該支向量的平方為，該支向量的平方為。

低維的例子有：

與自然同構，因為並無非零向量。

為由（其平方為）生成的二維代數，從而與複數域代數同構。

為由張成的四維代數。後三個基元的平方皆為，且兩兩相反交換，故代數與四元數系同構。

為八維代數，與同構。

4.2 複域上

也可以研究複域上的克里福代數。維複向量空間上，每個非退化二次型都等價於標準對角型

由此，對每個維數，在同構意義下，恰有一個克里福代數定義在配備非退化二次型的維複向量空間上，記為。

最小的幾個例子為：

，複數系，

，雙複數系，

，複四元數系，其中表示複域上的矩陣組成的代數。

例子：構造四元數與二元四元數

5.1 四元數

本節將會構造哈密頓的四元數系，作為克里福代數的偶子代數。

設為實三維向量空間，二次型為歐氏度量的相反數，則對於，相應的純量積（雙線性型）由

給出。

現引入向量的克里福積，使其滿足

（此處有負號，以使該代數與四元數的聯絡更清晰。）

設為的一組正交單位基，則由上式可知，其兩兩的克里福積滿足

且

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

若只考慮偶次項，則得到偶子代數，其任意元素可表示成

若定義四元數的基元為

則可知與哈密頓的實四元數代數同構，理由是：

且

與四元數的運演算法則一致。

5.2 二元四元數

本節構造，作為配備退化二次型的實四維向量空間的偶克里福代數。

設向量空間為實四維空間，並設二次型為源自上歐氏度量的退化型，即相應的雙線性型滿足：對任意，

換言之，此退化純量積只考慮將投影到後的像。

向量的克里福積由下式定義：

同上節，負號是為了明確該代數與四元數系的對應關係。

記的標準基元為，則其克里福積滿足關係

及

克里福代數也記為（下標分別表示平方為的基元個數），其一般元素有 16 項，而僅取偶次項時，得到偶子代數，其一般元素形如

於是，可分別定義四元數基元和二元數基元為

從而給出與代數的同構。

要驗證二元四元數的乘法法則，可以計算

和

後者的計算中，和的換位將符號改變了偶數次（即無改變）。同樣的方法能證明，二元數基元可與全部四元數基元交換。

低維例子

設為特徵非的域。

6.1 一維

對於的情況，若有對角化，即存在非零向量令，則代數同構於，即由滿足的單一個元素生成的 - 代數。

更具體而言，有三種情況：

若（即為零二次型），則代數同構於上的二元數代數。
若非零，且為中的平方數，則。
其餘情況下，同構於的二次域擴張。

6.2 二維

對於的情況，若有對角化，其中皆非零（非退化時必然存在），則同構於由生成的 - 代數，其中滿足。

於是同構於（廣義）。在且時，該代數化歸為哈密頓的四元數代數，即。

作為特殊情況，若有某個使得，則是二階方陣的代數。

性質

7.1 與外代數的關係

給定向量空間，可以構造外代數，其定義不取決於上任何二次型。事實上，若的特徵非，則與作為向量空間自然同構（而在特徵時，仍有同構，但不一定自然）。該自然同構當且僅當時為代數同構。所以，可以將克里福代數視為的外代數額外配備取決於的乘法。（準確而言是外代數的「量子化」，見 #作為外代數的量子化。）原有的外積仍有不取決於的定義。

描述以上同構的簡單方法是：先取的正交基，並擴充套件成的基（如 #基與維數所述）。定義對映使

並線性擴充套件。注意此處用到正交。可以證明，對映的定義無關正交基的選擇，故為自然同構。

若的特徵為，則也可以藉反對稱化（antisymmetrizing）定義以上同構：定義一列對映使

其求和符號中，取遍階對稱群的元素。由於反對稱，其匯出獨一個對映。該些對映的為至的線性對映。可以證明該對映為同構，且是自然同構。

也可以從更高等的觀點，在上構造，以看待兩者的關係。注意張量代數有自然濾過，其中含所有階不高於的張量。將此濾過投射到克里福代數上，就得到上的濾過。與此濾過

與外代數自然同構。由於濾過代數的相伴分次代數總與原濾過代數作為濾過向量空間同構（藉選取在中的補集），可知克里福代數與外代數在任何特徵（包括）下皆同構（儘管不一定自然）。

7.2 分次

本節假設特徵非。，且克里福代數可分解成主對合的特徵空間。}}

克里福代數為 -（又稱為超代數），以下說明原因。在上，線性對映（關於原點對稱）保持二次型，故由克里福代數的泛性質，該線性對映延拓成代數自同構

由於為對合（即其平方為恆同對映），可以將分解成的正和負特徵空間：

其中

由於是自同構，有：

其中方括號上標的運算模，故上式賦予作為 - 的結構。子空間為的，稱為偶子代數。而子空間則稱為奇部（其不為子代數）。此 - 分次在克里福代數的分析和應用上很重要。自同構稱為主對合（main involution）或次數對合（grade involution）。此 - 分次中的純元素，即偶部或奇部的元素，分別稱為偶元和奇元。

當特徵非時，由於與外代數有典範同構，作為向量空間，承繼的 - 分次和 - 分次。然而，該分次僅為向量空間分次，而非代數分次。換言之，克里福乘積並不遵守該 - 分次或 - 分次，僅遵守上段的 - 分次：例如，若，則，但，而不在中。不過此等分次之間有自然的聯絡：。更甚者，克里福代數有 -：

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

克里福代數的偶子代數本身亦同構於某個克里福代數。若為具有非零範數的向量與子空間的正交直和，則同構於，其中為二次型乘上，並限制到。作為例子，以上結論在實域上推出：

在負定的情況下，上式給出包含關係，延伸序列

類似可證，在複域上，的偶子代數同構於。

7.3 反自同構

除自同構外，克里福代數的分析中，還有兩個重要的。記得張量代數有將全部乘法次序反轉的反自同構：

由於理想在該反轉下不變，該反轉也定義上的反自同構，稱為轉置或反轉，記為。轉置為反自同構，即有。上述定義中，並未用到 - 分次，故可複合自同構與轉置，而得另一個反自同構。新的反自同構稱為克里福共軛，記為。以符號表示：

兩個反自同構中，轉置更本質。

此三種運算皆是對合。此外，其對 - 分次純元的作用皆是乘上，且符號僅取決於次數。換言之，若是次純元，則

其中符號載於下表：

7.4 克里福純量積

當特徴非時，上的二次型可以延拓成上的二次型（同樣記為）。該延拓可用以下不取決於基的方式定義：

其中表示的純量部分（- 分次的零次項）。可以證明，對於的元素，有

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

在上，與相伴的對稱雙線性型由下式定義：

可以驗算，若限制在上，則該雙線性型化為上原有的雙線性型。在上，該雙線性型非退化當且僅當其限制在上非退化。

關於此純量積，左（右）乘與右（左）乘互為伴隨。換言之，

且

克里福代數的結構

本節假設域的特徵非，向量空間為有限維，且二次型非退化。若矩陣代數的系數取自某個中心為的有限維，則該矩陣代數稱為上的。例如，實域上的中心單代數可能是實域上的矩陣代數，也可能是四元數代數上的矩陣代數。有下列結論：

若的維數為偶數，則是上的中心單代數。
若的維數為偶數，則偶子代數或是的二次擴張上的中心單代數，或是上兩個同構的中心單代數的直和。
若的維數為奇數，則或是的二次擴張上的中心單代數，或是上兩個同構的中心單代數的直和。
若的維數為奇數，則偶子代數是上的中心單代數。

克里福代數的結構可從以下結果推匯出：假設有偶數維，且有非退化的雙線性型，其行列式為，又設為另一個向量空間，亦配備二次型，則的克里福代數同構於的克里福代數與的克里福代數的張量積。（後者仍是向量空間，但其上的二次型要乘上因子。）在實域上，上述結果推出：

該些公式可用作找出所有實克里福代數和複克里福代數的結構，詳見。

值得注意，克里福代數的森田等價類（即其整個表示論：該代數上的的加性等價類）只取決於其符號。此為一種代數形式的博特週期性。

利普希茨群

利普希茨群（又稱為克里福群或克里福－利普希茨群）由魯道夫・利普希茨發現。

本節中，設為有限維向量空間，而二次型非退化。

克里福代數的可逆元群以「扭轉共軛」的方式作用在克里福代數上：所謂扭轉共軛作用在上，結果便是，其中是上文定義的主對合。

利普希茨群定義為所有滿足

的可逆元的集合。換言之，要求的扭轉共軛穩定化所有向量組成的集合。

上式說明，該群作用可以限制成向量空間上的群作用，且其保持二次型，故給出利普希茨群到正交群的同態。利普希茨群包含所有令在中可逆的元素，而此等元素作用在上的效果為反射

（特徵為時，此種對映稱為錯切而非反射。）

若為有限維實向量空間，並配備，則利普希茨群滿射到關於該二次型的正交群（根據嘉當－迪厄多內定理），且核恰好包含的所有非零元，故有下列短正合列

其中是的偶子群。

9.1 旋量範數

對任意特徵，利普希茨群上的旋量範數由下式定義：

其為由利普希茨群射去非零元素的乘法群的同態。當視為克里福代數的子空間時，在上等於與原有的二次型。若干作者採用不同的定義，以致在上，其定義與上述定義相差、、倍。只要特徵不為，此差異並不重要。

中的非零元素的旋量範數是在非零平方子群中，所以，若有限維且其上的二次型非退化，則有同態從的正交群映去，亦稱為旋量範數。對任意向量，關於（是關於二次型而言）反射的旋量範數在中的像為。此性質唯一確定正交群上的旋量範數。故有正合列：

注意在特徵為時，群只有一個元素。

若從代數群的伽羅瓦上同調考慮，旋量範數是上同調的連線同態。其含義是，以表示（若域的特徵不為，則該群大致就是二元群，且其伽羅瓦作用平凡），則短正合列

給出上同調層面的長正合列，其起始一段為

代數群的系數零階伽羅瓦上同調即其值點旳群：，而 ，故也能從長正合列推導出上段的正合列

其中旋量範數為連線同態。

旋量群與 Pin 群

本節假設有限維，且其雙線性型非退化。

Pin 群為利普希茨群中，旋量範數為的元素組成的子群。類似地，旋量群為中，迪克森不變數為的元素組成的子群。當特徵非時，該些元素即行列式為的元素。旋量群在 Pin 群的通常為。

前一節說明，利普希茨群有到正交群的滿同態。定義特殊正交群為的像。若的特徵非，則特殊正交群就是正交群中，行列式為的元素的子群。若的特徵為，則正交群所有元素的行列式皆為，而特殊正交群為迪克森不變數為的元素的子群。

也有從 Pin 群到正交群的同態。其像由旋量範數為的元素組成，而核則由和組成（故其階為，除非特徵為）。類似有由的旋量群到其特殊正交群的同態。

當為實正定或負定空間時，旋量群有滿同態射到特殊正交群上，且在至少維時，旋量群單連通。更甚者，此滿同態的核為。故此時，旋量群為的二重覆疊。然而，旋量群在一般情況下未必單連通：若為，其中皆至少為，則旋量群並不單連通。此情況下，代數群作為代數群仍然單連通，但其實值點群則不再單連通。

旋量

在為偶時，克里福代數可表示成維的（複）矩陣代數。限制到群，則得到同一維數的 Pin 群的複表示，稱為。若再限制到旋量群上，則該表示分解成兩個半旋量表示（half spin representations，又稱外爾表示，Weyl representations）的直和，每個半旋量表示有維。

若為奇，則克里數代數為兩個矩陣代數的直和，每個有維，且皆為 Pin 群的表示。限制到旋量群時，兩個矩陣代數變得同構，故旋量群有維的複旋量表示。

更一般而言，任何域上的旋量群和 Pin 群都有相似的表示，其結構取決於：每當克里福代數有因子為某個除代數上的矩陣代數，其 Pin 群和旋量群就有該除代數上的對應表示。在實域的例子，參見旋量條目。

11.1 實旋量

為描述實旋量表示，需先明白旋量群如何位處克里福代數中。Pin 群為中，可寫成單位向量之積的可逆元素的集合：

若考慮克里福代數的矩陣表示，則 pin 群的元素為任意多個反射（見上文）之積，是整個正交群的覆疊。而旋量群的元素則是中，偶數支單位向量之積。所以，根據嘉當－迪厄多內定理，旋量群是旋轉群的覆疊。

設為自同構，其將純向量映至，則為中，的不動點組成的子群。又設

（其元素正是的偶次元素。）則旋量群包含於。

的不可約表示可以成 pin 群的表示。反之，由於 pin 群由單位向量生成，其所有不可約表示皆可如此，故兩者有一樣的不可約表示。同理，旋量群與有同樣的不可約表示。

要將 pin 群的表示分類，需要用到。至於旋量群的表示（與偶子代數的表示一樣），可以使用下列同構（見上文）：

從而得知，符號的旋量群表示就是符號或的 pin 群表示。

應用

12.1 微分幾何

外代數在微分幾何可用作定義光滑流形上的微分形式叢。在（偽）黎曼流形的情況，每個切空間上配備自然的二次型（由度規張量匯出）。所以，如同，可以定義。在黎曼幾何，克里福叢有若干重要應用，例如其與、相伴的旋量叢、流形的關聯。

12.2 物理

克里福代數在物理有若干重要應用。物理學家通常認定克里福代數具有一組基，其由狄拉克矩陣生成。此種矩陣滿足關係式

其中為記號（或，度量記號的兩種等價選取）的二次型的矩陣。上列關係式恰好是定義實克里福代數的關係式，而該代數的複化根據，同構於複矩陣的代數。然而，在此用法下，仍需保留的寫法，因為將雙線性型變成標準型的變換不屬時空的洛倫茲變換。

所以，物理使用的時空克里福代數比有更多結構。例如，有額外指明一族允許的變換，即洛倫茲變換。視乎用途，例如希望框架能容納多少理論，不一定一開始便要複化，但在量子力學，為使李代數的能包含於克里福代數中，通常都須考慮複克里福代數。以下列出定義該旋量李代數的關係式以供參考：

上式按照記號的約定，因此能放入。

狄拉克矩陣最早由保羅・狄拉克寫出，其時他正嘗試寫出電子的相對論性一階波動方程，並試圖給出由克里福代數到複矩陣代數的明確同構。該些矩陣後來用作定義狄拉克方程式和引入狄拉克運算元。在量子場論中，整個克里福代數以的形式出現。

使用克里福代數來描述量子理論，推動者有、（方面）、戴維・玻姆和及同事、Elio Conte 等。

12.3 電腦視覺

電腦視覺方面，克里福代數適用於辨認和分類動作。米基・洛迪古斯（Mikel Rodriguez）及合作者提出用克里福嵌入，將傳統的最大平均關聯高度濾子（Maximum Average Correlation Height filter, MACH filter）推廣，套用於影片（3D 時空體積）以及向量值資料，例如光流。向量值資料需以分析。基於該些向量，能在克里福傅立葉域中，合成出動作濾子，然後用克里福關聯來辨認動作。論文作者用克里福嵌入，分辨出傳統劇情長片和體育廣播的常見動作，以論證其方法有效。

推廣

本條目只考慮域上的向量空間的克里福代數，但同樣可定義任何單位結合交換環上的模的克里福代數。
亦在克里福代數的定義中，將二次型推廣成更高次的對映。

會議與期刊

克里福代數和幾何代數，以及相關的跨學科研究，是活躍的研究主題，且有廣泛的應用。此學科的學術會議包括 克里福代數及其在數學物理的應用國際會議（ICCA） 及 幾何代數在電腦科學及工程學的應用（AGACSE） 兩個系列。期刊包括斯普林格出版的《》。