數學上,克里福代數(Clifford algebra)是由具有二次型的向量空間生成的單位結合代數。作為域上的代數,其推廣實數系、複數系、四元數系等超複數系,以及外代數。[1][2]此代數結構得名自英國數學家威廉·金頓·克里福。
研究克里福代數的理論有時也稱為克里福代數,其與二次型論和正交群理論緊密聯繫。其在幾何、理論物理、數碼圖像處理中有很多應用。其主要貢獻者有:威廉·哈密頓(四元數),赫爾曼·格拉斯曼(外代數),威廉·金頓·克里福,David Hestenes等。
最常見的克里福代數是正交克里福代數,又稱(偽)黎曼克里福代數。另一類是扭對稱克里福代數。[3]
設有域
上的向量空間
,且其上有二次型
。克里福代數
是由
生成的「最自由」的單位結合代數,但須滿足[a]
![{\displaystyle v^{2}=Q(v)1\quad \forall v\in V,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a3ac4ca77145a5f6c0d96f3f6c98f8908a3afbe)
其中左邊的平方是該代數中的乘法,而右邊的
為其乘法單位元素。所謂「最自由」,可以用泛性質嚴格定義,詳見下節。
若
為有限維實向量空間,且
非退化,則
可記為
,表示
有一組正交基,其中
個基元
滿足
,另有
個基元滿足
,而
指明該克里福代數定義在實域上,即該代數的元素系數皆為實數。此組正交基可藉正交對角化找出。
由
生成的自由代數是張量代數
。換言之,其為
自身的
重張量積,對所有
的直和。故相應的克里福代數會是該張量代數對元素
(
取遍
的元素)生成的雙邊理想的商。張量積導出在商代數的乘積以串接表示(例如
)。其結合律由張量積的結合律推出。
克里福代數有指明的子空間
,即嵌入的像。若只得與克里福代數同構的
代數,則一般無法唯一確定該子空間。
若底域
的特徵不為
,則可將基本恆等式
重寫成
![{\displaystyle uv+vu=2\langle u,v\rangle 1\quad \forall u,v\in V,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d950cd8c1c11e0ee0f9d2b1be702a2c3c719958)
其中
![{\displaystyle \langle u,v\rangle ={\frac {1}{2}}\left(Q(u+v)-Q(u)-Q(v)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd92647a9999ef5f5741306eb5708f112954787c)
定義的對稱雙線性形式與二次型
之間有極化恆等式。
特徵為
的二次型與克里福代數為特例。具體而言,若
,則對於二次型
,式
未必唯一確定某個對稱雙線性型
,
也未必有正交基。本條目不少命題的條件皆要求特徵不為
,而若允許特徵為
,則命題不再成立。
克里福代數與外代數密切相關。外代數是克里福代數的特例:若在克里福代數的定義中,取
,則克里福代數
就是外代數
。即使
非零,只要基體
的特徵非
,
和
之間仍有典範的線性同構。換言之,兩者作為向量空間自然地同構,但其上的乘法有分別。特徵為
時,兩者仍線性同構,然而該同構並非自然。克里福代數的乘法和指定的子空間是比外代數更豐富的結構,因為用到
提供的額外資訊。
克里福代數為濾套代數,而相伴的分次代數為外代數。
具體而言,克里福代數可視為外代數的「量子化」(見量子群),正如外爾代數為對稱代數的量子化。
外爾代數和克里福代數還具有*-代數的結構,並能整合成某個超代數的偶次和奇次項,見典範對易與反對易關係代數。
設
為域
上的向量空間,
為
上的二次型。多數情況下,域
是實域
或複域
,或有限體
。
克里福代數
定義為有序對
,[b][5]其中
為
上的單位結合代數,而線性映射
滿足對任意
,皆有
,且
滿足下列泛性質:給定
上任何單位結合代數
和線性映射
令
![{\displaystyle j(v)^{2}=Q(v)1_{A}\quad \forall v\in V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dce1e5bd6a0cc1d3851f18b04e72dbc0f04bbac)
(其中
表示
的乘法單位元素),必有唯一的代數同態
使得以下圖表可交換(即
:
二次型
可換成滿足
的(無需對稱的)雙線性形式
,此時
需滿足的條件等價於
![{\displaystyle j(v)j(v)=\langle v,v\rangle 1_{A}\quad \forall v\in V.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23c22fb0b4ca56b7a48e72980ae453a37edc9c95)
當基體的特徵非
時,以上條件也等價於:
![{\displaystyle j(v)j(w)+j(w)j(v)=(\langle v,w\rangle +\langle w,v\rangle )1_{A}\quad \forall v,w\in V,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b89a47a86f66746c0a1d74e4cc401319586b8ca6)
其中雙線性型不妨限定為對稱雙線性型。
以上描述的克里福代數必定存在,能藉以下一般方法構造:先選取由
生成的最自由的代數,即張量代數
,然後藉取商,保證基本恆等式成立。對於克里福代數,所需
的雙邊理想
是由所有形如
![{\displaystyle v\otimes v-Q(v)1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7550007e98825715e4d1b0d837dafbbef790e0a1)
的元素生成,其中
取遍
的元素,隨後便可定義
為商代數
。
商承繼的環乘積有時稱為克里福積[6]:8–9,以免與外代數的外積
或純量積
混淆。
有上述
的構造後,可以直接驗證
包含
,且滿足所需的泛性質。而由泛性質,可知
在唯一同構的意義下唯一,故在此意義下,可當克里福代數必定由上述構造給出。從構造可知,
是單射,故通常隱藏
而視
為
的線性子空間。
因為克里福代數可由泛性質定義,所以
的構造具函子性,即
為函子,其定義域為具有二次型的
-向量空間組成的範疇(其態射為保二次型的線性映射),對應域為結合
-代數範疇。泛性質保證,向量空間之間保二次型的線性映射,唯一擴展成相應的克里福代數的代數同態。
由於
已配備二次型
,在特徵非
時,
有一組正交基,即其元素
滿足
,及
。
基本克里福恆等式推出,對於正交基,有
,及
。
此關係使正交基元間的運算很容易。給定
中兩兩互異的正交基元的乘積
,可以將各因子按順序排好,而僅需依照置換的奇偶性在前面加上正負號。
若
在
上的維數為
,且
為
的正交基,則
為
上的向量空間,其一組基為
.
在上式中,空乘積(
)定義為乘法單位元素。由於每個
可以出現或不出現在乘積中,
的維數(即基的大小)為
![{\displaystyle \dim \operatorname {Cl} (V,Q)=2^{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdc308fcc1fb1b9d14524b700b062fd19712a3bd)
克里福代數的重要例子源自實或複向量空間及其上非退化的二次型給出。
本節的例子
和
皆同構於某個
或
,其中
為
、
或
上的全個矩陣環。此類代數的完整分類,見克里福代數的分類。
克里福代數有時稱為幾何代數,尤其定義在實域上時。
有限維實向量空間上的非退化二次型必等價於某個標準對角型:
![{\displaystyle Q(v)=v_{1}^{2}+\dots +v_{p}^{2}-v_{p+1}^{2}-\dots -v_{p+q}^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ef3416c6713257f86e201c24c5d91eca73fc7a6)
其中
為向量空間的維數。非負整數對
稱為二次型的符號。配備此二次型的實向量空間一般記為
,而
生成的克里福代數則記為
。
可能表示
或
,視乎作者偏好二次型正定抑或負定。
的標準基
由
支兩兩正交的向量組成,其中
支的平方為
,其餘
支的平方則為
。於是,代數
中,也有該
支向量的平方為
,該
支向量的平方為
。
低維的例子有:
與
自然同構,因為並無非零向量。
為由
(其平方為
)生成的二維代數,從而與複數體
代數同構。
為由
張成的四維代數。後三個基元的平方皆為
,且兩兩相反交換,故代數與四元數系
同構。
為八維代數,與直和
(分裂複四元數系)同構。
也可以研究複域上的克里福代數。
維複向量空間上,每個非退化二次型都等價於標準對角型
![{\displaystyle Q(z)=z_{1}^{2}+z_{2}^{2}+\dots +z_{n}^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71f6cf1dcc680cfb5df5cf66e29b9a1ce6ed3e17)
由此,對每個維數
,在同構意義下,恰有一個克里福代數定義在配備非退化二次型的
維複向量空間上,記為
。
最小的幾個例子為:
,複數系,
,雙複數系,
,複四元數系,其中
表示複域上的
矩陣組成的代數。
本節將會構造哈密頓的四元數系,作為克里福代數
的偶子代數。
設
為實三維向量空間
,二次型
為歐氏度量的相反數,則對於
,相應的純量積(雙線性型)由
![{\displaystyle v\cdot w=v_{1}w_{1}+v_{2}w_{2}+v_{3}w_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b22977b054f9bf4ae616b70057010f0709c2713)
給出。
現引入向量
的克里福積
,使其滿足
![{\displaystyle vw+wv=-2(v\cdot w).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc71bdc57da62f1c66a4669657225ce03e568e8a)
(此處有負號,以使該代數與四元數的聯繫更清晰。)
設
為
的一組正交單位基,則由上式可知,其兩兩的克里福積滿足
![{\displaystyle e_{2}e_{3}=-e_{3}e_{2},\,\,\,e_{3}e_{1}=-e_{1}e_{3},\,\,\,e_{1}e_{2}=-e_{2}e_{1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03c5a750108297802c35fd8426b098e805e030b3)
且
![{\displaystyle e_{1}^{2}=e_{2}^{2}=e_{3}^{2}=-1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66c3f341f63593269a3bee2b7f703c5b49e88db3)
克里福代數
的任意元素可以表示成
![{\displaystyle A=a_{0}+a_{1}e_{1}+a_{2}e_{2}+a_{3}e_{3}+a_{4}e_{2}e_{3}+a_{5}e_{3}e_{1}+a_{6}e_{1}e_{2}+a_{7}e_{1}e_{2}e_{3}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aec918878a0e43060946f00e55e634a4f938818)
若只考慮偶次項,則得到偶子代數
,其任意元素可表示成
![{\displaystyle q=q_{0}+q_{1}e_{2}e_{3}+q_{2}e_{3}e_{1}+q_{3}e_{1}e_{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93ad9a74f039be5ae9848c3a47821136dce4b068)
若定義四元數的基元
為
![{\displaystyle i=e_{2}e_{3},j=e_{3}e_{1},k=e_{1}e_{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3f54d377b9f14bb18a0fdb4eab954b213ed771a)
則可知
與哈密頓的實四元數代數同構,理由是:
![{\displaystyle i^{2}=(e_{2}e_{3})^{2}=e_{2}e_{3}e_{2}e_{3}=-e_{2}e_{2}e_{3}e_{3}=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3e67cf3701e5ccb0503b29470b6b7181e370905)
![{\displaystyle ij=e_{2}e_{3}e_{3}e_{1}=-e_{2}e_{1}=e_{1}e_{2}=k,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55aa3f93f016b3007f9f726d07c9fbaa96fe7e43)
且
![{\displaystyle ijk=e_{2}e_{3}e_{3}e_{1}e_{1}e_{2}=-1,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9f7bfa02d57885f30daa3b5fd4c19df32ac6482)
與四元數的運算法則一致。
本節構造二元四元數系,作為配備退化二次型的實四維向量空間的偶克里福代數。[7][8]
設向量空間
為實四維空間
,並設二次型
為源自
上歐氏度量的退化型,即相應的雙線性型
滿足:對任意
,
![{\displaystyle d(v,w)=v_{1}w_{1}+v_{2}w_{2}+v_{3}w_{3}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ddc364900d52f56bee357975e6930d894c4a70b)
換言之,此退化純量積只考慮將
投影到
後的像。
向量
的克里福積
由下式定義:
![{\displaystyle vw+wv=-2\,d(v,w).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d330a2229e2897a726a62268aa957fb8584dc3af)
同上節,負號是為了明確該代數與四元數系的對應關係。
記
的標準基元為
,則其克里福積滿足關係
![{\displaystyle e_{m}e_{n}=-e_{n}e_{m}\,\,\,(m\neq n),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29a958d4dac71d36c64eedff9eddc0b3ba45dcab)
及
![{\displaystyle e_{1}^{2}=e_{2}^{2}=e_{3}^{2}=-1,\,\,e_{4}^{2}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eff3d0d816648a6ed3688bcbd92d5542b026b125)
克里福代數
也記為
(下標分別表示平方為
的基元個數),其一般元素有16項,而僅取偶次項時,得到偶子代數
,其一般元素形如
![{\displaystyle H=h_{0}+h_{1}e_{2}e_{3}+h_{2}e_{3}e_{1}+h_{3}e_{1}e_{2}+h_{4}e_{4}e_{1}+h_{5}e_{4}e_{2}+h_{6}e_{4}e_{3}+h_{7}e_{1}e_{2}e_{3}e_{4}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e40f0885f2d3c531df5b99db1ca658990817bd9)
於是,可分別定義四元數基元
和二元數基元
為
![{\displaystyle i=e_{2}e_{3},j=e_{3}e_{1},k=e_{1}e_{2},\,\,\varepsilon =e_{1}e_{2}e_{3}e_{4},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4df0c118da629583be715936547262d6ab4a4e43)
從而給出
與二元四元數代數的同構。
要驗證二元四元數的乘法法則,可以計算
![{\displaystyle \varepsilon ^{2}=(e_{1}e_{2}e_{3}e_{4})^{2}=e_{1}e_{2}e_{3}e_{4}e_{1}e_{2}e_{3}e_{4}=-e_{1}e_{2}e_{3}(e_{4}e_{4})e_{1}e_{2}e_{3}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f478e05892a9f3070cb406a7510f96b99c67b965)
和
![{\displaystyle \varepsilon i=(e_{1}e_{2}e_{3}e_{4})e_{2}e_{3}=e_{1}e_{2}e_{3}e_{4}e_{2}e_{3}=e_{2}e_{3}(e_{1}e_{2}e_{3}e_{4})=i\varepsilon .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ec6b2e351e84276cf14fbef665bc0df4abf1f92)
後者的計算中,
和
的換位將符號改變了偶數次(即無改變)。同樣的方法能證明,二元數基元
可與全部四元數基元
交換。
設
為特徵非
的域。
對於
的情況,若
有對角化
,即存在非零向量
令
,則
代數同構於
,即由滿足
的單一個元素
生成的
-代數。
更具體而言,有三種情況:
- 若
(即
為零二次型),則
代數同構於
上的二元數代數。
- 若
非零,且為
中的平方數,則
。
- 其餘情況下,
同構於
的二次體擴張
。
對於
的情況,若
有對角化
,其中
皆非零(
非退化時必然存在),則
同構於由
生成的
-代數,其中
滿足
。
於是
同構於(廣義)四元數代數
。在
且
時,該代數化歸為哈密頓的四元數代數,即
。
作為特殊情況,若有某個
使得
,則
是二階方陣的代數。
給定向量空間
,可以構造外代數
,其定義不取決於
上任何二次型。事實上,若
的特徵非
,則
與
作為向量空間自然同構(而在特徵
時,仍有同構,但不一定自然)。該自然同構當且僅當
時為代數同構。所以,可以將克里福代數
視為
的外代數額外配備取決於
的乘法。(準確而言是外代數的「量子化」,見#作為外代數的量子化。)原有的外積仍有不取決於
的定義。
描述以上同構的簡單方法是:先取
的正交基
,並擴展成
的基(如#基與維數所述)。定義映射
使
![{\displaystyle e_{i_{1}}e_{i_{2}}\cdots e_{i_{k}}\mapsto e_{i_{1}}\wedge e_{i_{2}}\wedge \cdots \wedge e_{i_{k}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56991b61d534b767ae6127af20202cfa627da079)
並線性擴展。注意此處用到
正交。可以證明,映射
的定義無關正交基的選擇,故為自然同構。
若
的特徵為
,則也可以藉反對稱化(antisymmetrizing)定義以上同構:定義一列映射
使
![{\displaystyle f_{k}(v_{1},\ldots ,v_{k})={\frac {1}{k!}}\sum _{\sigma \in S_{k}}{\rm {sgn}}(\sigma )\,v_{\sigma (1)}\cdots v_{\sigma (k)},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/378d4f276dee5da3b01d7cbec9f58f0c5ed37798)
其求和符號中,
取遍
階對稱群
的元素。由於
反對稱,其導出獨一個映射
。該些映射的直和為
至
的線性映射。可以證明該映射為同構,且是自然同構。
也可以從更高等的觀點,在
上構造濾過,以看待兩者的關係。注意張量代數
有自然濾過
,其中
含所有階不高於
的張量。將此濾過投射到克里福代數上,就得到
上的濾過。與此濾過相伴的分次代數
![{\displaystyle \operatorname {Gr} _{F}\operatorname {Cl} (V,Q)=\bigoplus _{k}F^{k}/F^{k-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59bad50c6ddf86d2845964ee093b20dea9f5fa13)
與外代數
自然同構。由於濾過代數的相伴分次代數總與原濾過代數作為濾過向量空間同構(藉選取
在
中的補集),可知克里福代數與外代數在任何特徵(包括
)下皆同構(儘管不一定自然)。
本節假設特徵非
。[c]
克里福代數為
-分次代數(又稱為超代數),以下說明原因。在
上,線性映射
(關於原點對稱)保持二次型
,故由克里福代數的泛性質,該線性映射延拓成代數自同構
![{\displaystyle \alpha :\operatorname {Cl} (V,Q)\to \operatorname {Cl} (V,Q).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f443da7902c76ce6062f513b3b2ef63584ac16f8)
由於
為對合(即其平方為恆同映射),可以將
分解成
的正和負特徵空間:
![{\displaystyle \operatorname {Cl} (V,Q)=\operatorname {Cl} ^{[0]}(V,Q)\oplus \operatorname {Cl} ^{[1]}(V,Q),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f839fb22e8ff47a3cd64ae06d9a6338584ff0a5)
其中
![{\displaystyle \operatorname {Cl} ^{[i]}(V,Q)=\left\{x\in \operatorname {Cl} (V,Q)\mid \alpha (x)=(-1)^{i}x\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6902ed1e7c0361df4271000a56e7b76c029990e)
由於
是自同構,有:
![{\displaystyle \operatorname {Cl} ^{[i]}(V,Q)\operatorname {Cl} ^{[j]}(V,Q)=\operatorname {Cl} ^{[i+j]}(V,Q),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25f34257a1d5cb5d629f65bf4806f4644ce0fb33)
其中方括號上標的運算模
,故上式賦予
作為
-分次代數的結構。子空間
為
的子代數,稱為偶子代數。而子空間
則稱為奇部(其不為子代數)。此
-分次在克里福代數的分析和應用上很重要。自同構
稱為主對合(main involution)或次數對合(grade involution)。此
-分次中的純元素,即偶部或奇部的元素,分別稱為偶元和奇元。
當特徵非
時,由於
與外代數
有典範同構,
作為向量空間,承繼
的
-分次和
-分次。[d]然而,該分次僅為向量空間分次,而非代數分次。換言之,克里福乘積並不遵守該
-分次或
-分次,僅遵守上段的
-分次:例如,若
,則
,但
,而不在
中。不過此等分次之間有自然的聯繫:
。更甚者,克里福代數有
-濾過:
![{\displaystyle \operatorname {Cl} ^{\leqslant i}(V,Q)\cdot \operatorname {Cl} ^{\leqslant j}(V,Q)\subset \operatorname {Cl} ^{\leqslant i+j}(V,Q).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ff5bc0bc60c99c98c72188129bd1f380bd602a6)
克里福數的次數通常指
-分次的次數。
克里福代數的偶子代數
本身亦同構於某個克里福代數。[e][f]若
為具有非零範數
的向量
與子空間
的正交直和,則
同構於
,其中
為二次型
乘上
,並限制到
。作為例子,以上結論在實域上推出:
![{\displaystyle \operatorname {Cl} _{p,q}^{[0]}(\mathbb {R} )\cong {\begin{cases}\operatorname {Cl} _{p,q-1}(\mathbb {R} ),&q>0,\\\operatorname {Cl} _{q,p-1}(\mathbb {R} ),&p>0.\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f26b903ab34e6843840ad77e22c9789d7e1cf97d)
在
負定的情況下,上式給出包含關係
,延伸序列
![{\displaystyle \mathbb {R} \subset \mathbb {C} \subset \mathbb {H} \subset \mathbb {H} \oplus \mathbb {H} \subset \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dd3dfbc18695b7cd5a983e23a537caa7d335da2)
類似可證,在複域上,
的偶子代數同構於
。
除自同構
外,克里福代數的分析中,還有兩個重要的反自同構。記得張量代數
有將全部乘法次序反轉的反自同構:
![{\displaystyle v_{1}\otimes v_{2}\otimes \cdots \otimes v_{k}\mapsto v_{k}\otimes \cdots \otimes v_{2}\otimes v_{1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/001cf9ccaa7f228be8cd2092e60a73a9328d66eb)
由於理想
在該反轉下不變,該反轉也定義
上的反自同構,稱為轉置或反轉,記為
。轉置為反自同構,即有
。上述定義中,並未用到
-分次,故可複合自同構
與轉置,而得另一個反自同構。新的反自同構稱為克里福共軛,記為
。以符號表示:
![{\displaystyle {\overline {x}}=\alpha (x^{\mathrm {t} })=\alpha (x)^{\mathrm {t} }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62fb3bc637fa4ca116bfa6918ba359aa7c8ec343)
兩個反自同構中,轉置更本質。[g]
此三種運算皆是對合。此外,其對
-分次純元的作用皆是乘上
,且符號僅取決於次數
。換言之,若
是
次純元,則
![{\displaystyle \alpha (x)=\pm x,\qquad x^{\mathrm {t} }=\pm x,\qquad {\overline {x}}=\pm x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39fe0cf9ce888102a7ad353d39fabab43b4a4aaf)
其中符號載於下表:
|
![{\displaystyle 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aae8864a3c1fec9585261791a809ddec1489950) |
![{\displaystyle 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92d98b82a3778f043108d4e20960a9193df57cbf) |
![{\displaystyle 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/901fc910c19990d0dbaaefe4726ceb1a4e217a0f) |
![{\displaystyle 3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/991e33c6e207b12546f15bdfee8b5726eafbbb2f) |
…
|
|
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle -}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04bd52ce670743d3b61bec928a7ec9f47309eb36) |
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle -}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04bd52ce670743d3b61bec928a7ec9f47309eb36) |
|
|
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle -}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04bd52ce670743d3b61bec928a7ec9f47309eb36) |
![{\displaystyle -}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04bd52ce670743d3b61bec928a7ec9f47309eb36) |
|
|
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle -}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04bd52ce670743d3b61bec928a7ec9f47309eb36) |
![{\displaystyle -}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04bd52ce670743d3b61bec928a7ec9f47309eb36) |
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
|
當特徴非
時,
上的二次型
可以延拓成
上的二次型(同樣記為
)。該延拓可用以下不取決於基的方式定義:
![{\displaystyle Q(x)=\left\langle x^{\mathrm {t} }x\right\rangle _{0},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69b1cd5a5fe2f70cc75b01f29fe866f2ffba49f1)
其中
表示
的純量部分(
-分次的零次項)。可以證明,對於
的元素
,有
![{\displaystyle Q(v_{1}v_{2}\cdots v_{k})=Q(v_{1})Q(v_{2})\cdots Q(v_{k}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbc9c9ce00e770ddb8d9435aed20fad31d4c1d0e)
但上式對
的其他元素不一定成立。
在
上,與
相伴的對稱雙線性型由下式定義:
![{\displaystyle \langle x,y\rangle =\left\langle x^{\mathrm {t} }y\right\rangle _{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/948485118aadda3c95ff87600863b98becb74c29)
可以驗算,若限制在
上,則該雙線性型化為
上原有的雙線性型。在
上,該雙線性型非退化當且僅當其限制在
上非退化。
關於此純量積,左(右)乘
與右(左)乘
互為伴隨。換言之,
![{\displaystyle \langle ax,y\rangle =\left\langle x,a^{\mathrm {t} }y\right\rangle ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b11d34c0eea7c87876cdafdb14a2df2fdc80101)
且
![{\displaystyle \langle xa,y\rangle =\left\langle x,ya^{\mathrm {t} }\right\rangle .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e818393532066fbd0f6085545a700e959a869a8f)
本節假設域的特徵非
,向量空間
為有限維,且二次型
非退化。若矩陣代數的系數取自某個中心為
的有限維除代數,則該矩陣代數稱為
上的中心單代數。例如,實域上的中心單代數可能是實域上的矩陣代數,也可能是四元數代數上的矩陣代數。有下列結論:
- 若
的維數為偶數,則
是
上的中心單代數。
- 若
的維數為偶數,則偶子代數
或是
的二次擴張上的中心單代數,或是
上兩個同構的中心單代數的直和。
- 若
的維數為奇數,則
或是
的二次擴張上的中心單代數,或是
上兩個同構的中心單代數的直和。
- 若
的維數為奇數,則偶子代數
是
上的中心單代數。
克里福代數的結構可從以下結果推導出:假設
有偶數維,且有非退化的雙線性型,其行列式為
,又設
為另一個向量空間,亦配備二次型,則
的克里福代數同構於
的克里福代數與
的克里福代數的張量積。(後者仍是向量空間
,但其上的二次型要乘上因子
。)在實域上,上述結果推出:
![{\displaystyle \operatorname {Cl} _{p+2,q}(\mathbb {R} )=\mathrm {M} _{2}(\mathbb {R} )\otimes \operatorname {Cl} _{q,p}(\mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fe4f184ee107d5a1804ddda5884c7f3d38ab80a)
![{\displaystyle \operatorname {Cl} _{p+1,q+1}(\mathbb {R} )=\mathrm {M} _{2}(\mathbb {R} )\otimes \operatorname {Cl} _{p,q}(\mathbb {R} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbbf2d3b213dded84f33f65081a06dc79f20d568)
![{\displaystyle \operatorname {Cl} _{p,q+2}(\mathbb {R} )=\mathbb {H} \otimes \operatorname {Cl} _{q,p}(\mathbb {R} ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4597db9e0465b49fc172351196ef90f92ace655e)
該些公式可用作找出所有實克里福代數和複克里福代數的結構,詳見克里福代數的分類。
值得注意,克里福代數的森田等價類(即其整個表示論:該代數上的模範疇的加性等價類)只取決於其符號
。此為一種代數形式的博特週期性。
利普希茨群(又稱為[4]:126克里福群或克里福-利普希茨群)由魯道夫·利普希茨發現。[6]:220
本節中,設
為有限維向量空間,而二次型
非退化。
克里福代數的可逆元素群以「扭轉共軛」的方式作用在克里福代數上:所謂
扭轉共軛作用在
上,結果便是
,其中
是上文定義的主對合。
利普希茨群
定義為所有滿足
![{\displaystyle \alpha (x)vx^{-1}\in V\quad \forall v\in V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/559a561b74ba5fc6223e1d235851d29d88c104aa)
的可逆元素
的集合。換言之,要求
的扭轉共軛穩定化所有向量組成的集合。[9]
上式說明,該群作用可以限制成向量空間
上的群作用,且其保持二次型
,故給出利普希茨群到正交群的同態。利普希茨群包含所有令
在
中可逆的元素
,而此等元素作用在
上的效果為反射
![{\displaystyle v\mapsto v-{\frac {\langle r,v\rangle +\langle v,r\rangle }{Q(r)}}r.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a75449954fe7a2ca7682217d3013088138cd983)
(特徵為
時,此種映射稱為錯切而非反射。)
若
為有限維實向量空間,並配備非退化二次型,則利普希茨群滿射到
關於該二次型的正交群(根據嘉當-迪厄多內定理),且核恰好包含
的所有非零元素,故有下列短正合列
![{\displaystyle 1\rightarrow K^{\times }\rightarrow \Gamma \rightarrow {\mbox{O}}_{V}(K)\rightarrow 1,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c6e4070cf5fea137ca1fa2b8c032393728b208f)
![{\displaystyle 1\rightarrow K^{\times }\rightarrow \Gamma ^{0}\rightarrow {\mbox{SO}}_{V}(K)\rightarrow 1.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f880056fc87ae87d52b645191432153c6114e18)
其中
是
的偶子群。
其他域上,或當二次型退化時,該映射未必滿,而旋量範數描述其不滿程度。
對任意特徵,利普希茨群上的旋量範數
由下式定義:
![{\displaystyle Q(x)=x^{\mathrm {t} }x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46e4c25cd680936f5fc742258a841bb66308a83f)
其為由利普希茨群射去非零元素的乘法群
的同態。當
視為克里福代數的子空間時,
在
上等於與
原有的二次型。若干作者採用不同的定義,以致在
上,其定義與上述定義相差
、
、
倍。只要特徵不為
,此差異並不重要。
中的非零元素的旋量範數是在非零平方子群
中,所以,若
有限維且其上的二次型非退化,則有同態從
的正交群映去
,亦稱為旋量範數。對任意向量
,關於
(
是關於二次型而言)反射的旋量範數在
中的像為
。此性質唯一確定正交群上的旋量範數。故有正合列:
![{\displaystyle {\begin{aligned}1\to \{\pm 1\}\to {\mbox{Pin}}_{V}(K)&\to {\mbox{O}}_{V}(K)\to K^{\times }/\left(K^{\times }\right)^{2},\\1\to \{\pm 1\}\to {\mbox{Spin}}_{V}(K)&\to {\mbox{SO}}_{V}(K)\to K^{\times }/\left(K^{\times }\right)^{2}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/061012e38395fef152953ec14b6dcc560662ae2f)
注意在特徵為
時,群
只有一個元素。
若從代數群的伽羅瓦上同調考慮,旋量範數是上同調的連接同態。其含義是,以
表示1的平方根組成的代數群(若域的特徵不為
,則該群大致就是二元群,且其伽羅瓦作用平凡),則短正合列
![{\displaystyle 1\to \mu _{2}\rightarrow {\mbox{Pin}}_{V}\rightarrow {\mbox{O}}_{V}\rightarrow 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81e3fe7cd61c5edbb14a9fc5761f58a4385eb60d)
給出上同調層面的長正合列,其起始一段為
![{\displaystyle 1\to H^{0}(\mu _{2};K)\to H^{0}({\mbox{Pin}}_{V};K)\to H^{0}({\mbox{O}}_{V};K)\to H^{1}(\mu _{2};K)\to \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/61eb606205ab3ee1d687ea053200a942bbbd752e)
代數群的
系數零階伽羅瓦上同調即其
值點旳群:
,而
,故也能從長正合列推導出上段的正合列
![{\displaystyle 1\to \{\pm 1\}\to {\mbox{Pin}}_{V}(K)\to {\mbox{O}}_{V}(K)\to K^{\times }/\left(K^{\times }\right)^{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38744136a73ebae45e1355756567ad818cf50fdc)
其中旋量範數為連接同態
。
本節假設
有限維,且其雙線性型非退化。
Pin群
為利普希茨群
中,旋量範數為
的元素組成的子群。類似地,旋量群
為
中,迪克森不變量為
的元素組成的子群。當特徵非
時,該些元素即行列式為
的元素。旋量群在Pin群的指數通常為
。
前一節說明,利普希茨群有到正交群的滿同態。定義特殊正交群為
的像。若
的特徵非
,則特殊正交群就是正交群中,行列式為
的元素的子群。若
的特徵為
,則正交群所有元素的行列式皆為
,而特殊正交群為迪克森不變量為
的元素的子群。
也有從Pin群到正交群的同態。其像由旋量範數為
的元素組成,而核則由
和
組成(故其階為
,除非特徵為
)。類似有由
的旋量群到其特殊正交群的同態。
當
為實正定或負定空間時,旋量群有滿同態射到特殊正交群上,且在
至少
維時,旋量群單連通。更甚者,此滿同態的核為
。故此時,旋量群
為
的二重覆疊。然而,旋量群在一般情況下未必單連通:若
為
,其中
皆至少為
,則旋量群並不單連通。此情況下,代數群
作為代數群仍然單連通,但其實值點群
則不再單連通。
在
為偶時,克里福代數
可表示成
維的(複)矩陣代數。限制到群
,則得到同一維數的Pin群的複表示,稱為旋量表示。若再限制到旋量群
上,則該表示分解成兩個半旋量表示(half spin representations,又稱外爾表示,Weyl representations)的直和,每個半旋量表示有
維。
若
為奇,則克里數代數
為兩個矩陣代數的直和,每個有
維,且皆為Pin群
的表示。限制到旋量群
時,兩個矩陣代數變得同構,故旋量群有
維的複旋量表示。
更一般而言,任何域上的旋量群和Pin群都有相似的表示,其結構取決於對應的克里福代數的結構:每當克里福代數有因子為某個除代數上的矩陣代數,其Pin群和旋量群就有該除代數上的對應表示。在實域的例子,參見旋量條目。
為描述實旋量表示,需先明白旋量群如何位處克里福代數中。Pin群
為
中,可寫成單位向量之積的可逆元素的集合:
![{\displaystyle \mathrm {Pin} _{p,q}=\left\{v_{1}v_{2}\cdots v_{r}\mid \forall i,\ \|v_{i}\|=\pm 1\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3487001d114c839be554384684fa7ac6cc52e06)
若考慮克里福代數的矩陣表示,則pin群的元素為任意多個反射(見上文)之積,是整個正交群
的覆疊。而旋量群的元素則是
中,偶數支單位向量之積。所以,根據嘉當-迪厄多內定理,旋量群是旋轉群
的覆疊。
設
為自同構,其將純向量
映至
,則
為
中,
的不動點組成的子群。又設
![{\displaystyle \operatorname {Cl} _{p,q}^{[0]}=\{x\in \operatorname {Cl} _{p,q}\mid \alpha (x)=x\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e214b8b455c0610747a107adad00e2c3573ca61)
(其元素正是
的偶次元素。)則旋量群包含於
。
的不可約表示可以限制成pin群的表示。反之,由於pin群由單位向量生成,其所有不可約表示皆可如此導出,故兩者有一樣的不可約表示。同理,旋量群與
有同樣的不可約表示。
要將pin群的表示分類,需要用到克里福代數的分類。至於旋量群的表示(與偶子代數的表示一樣),可以使用下列同構(見上文):
![{\displaystyle \operatorname {Cl} _{p,q}^{[0]}\cong \operatorname {Cl} _{p,q-1},\quad q>0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f577d7e3b1ee705c0a49d4cc02bc3c4a500cd83f)
![{\displaystyle \operatorname {Cl} _{p,q}^{[0]}\cong \operatorname {Cl} _{q,p-1},\quad p>0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3f54de96cfa5fa50cc445b55dfeba1ebca01991)
從而得知,符號
的旋量群表示就是符號
或
的pin群表示。
外代數在微分幾何可用作定義光滑流形上的微分形式叢。在(偽)黎曼流形的情況,每個切空間上配備自然的二次型(由度規張量導出)。所以,如同外叢,可以定義克里福叢。在黎曼幾何,克里福叢有若干重要應用,例如其與旋量流形、相伴的旋量叢、
流形的關聯。
克里福代數在物理有若干重要應用。物理學家通常認定克里福代數具有一組基,其由狄拉克矩陣
生成。此種矩陣滿足關係式
![{\displaystyle \gamma _{i}\gamma _{j}+\gamma _{j}\gamma _{i}=2\eta _{ij}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f54c796e1a1e92fb04f91b8a523045849df41a26)
其中
為記號
(或
,度量記號的兩種等價選取)的二次型的矩陣。上列關係式恰好是定義實克里福代數
的關係式,而該代數的複化
根據克里福代數的分類,同構於
複矩陣的代數
。然而,在此用法下,仍需保留
的寫法,因為將雙線性型變成標準型的變換不屬時空的洛倫茲轉換。
所以,物理使用的時空克里福代數比
有更多結構。例如,有額外指明一族允許的變換,即洛倫茲轉換。視乎用途,例如希望框架能容納多少理論,不一定一開始便要複化,但在量子力學,為使李代數
的旋量表示能包含於克里福代數中,通常都須考慮複克里福代數。以下列出定義該旋量李代數的關係式以供參考:
![{\displaystyle {\begin{aligned}\sigma ^{\mu \nu }&=-{\frac {i}{4}}\left[\gamma ^{\mu },\,\gamma ^{\nu }\right],\\\left[\sigma ^{\mu \nu },\,\sigma ^{\rho \tau }\right]&=i\left(\eta ^{\tau \mu }\sigma ^{\rho \nu }+\eta ^{\nu \tau }\sigma ^{\mu \rho }-\eta ^{\rho \mu }\sigma ^{\tau \nu }-\eta ^{\nu \rho }\sigma ^{\mu \tau }\right).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b5881264248f2f1787c4d1d2c4de84dd1678754)
上式按照
記號的約定,因此能放入
。[10]
狄拉克矩陣最早由保羅·狄拉克寫出,其時他正嘗試寫出電子的相對論性一階波動方程,並試圖給出由克里福代數到複矩陣代數的明確同構。該些矩陣後來用作定義狄拉克方程式和引入狄拉克算子。在量子場論中,整個克里福代數以Dirac field bilinear的形式出現。
使用克里福代數來描述量子理論,推動者有Mario Schönberg[h]、David Hestenes(幾何微積分方面)、戴維·玻姆和Basil Hiley及同事(克里福代數的分層)、Elio Conte等。[11][12]
電腦視覺方面,克里福代數適用於辨認和分類動作。米基·洛迪古斯(Mikel Rodriguez)及合作者[13]提出用克里福嵌入,將傳統的最大平均關聯高度濾子(Maximum Average Correlation Height filter, MACH filter)推廣,套用於影片(3D時空體積)以及向量值數據,例如光流。向量值數據需以克里福傅立葉變換分析。基於該些向量,能在克里福傅立葉域中,合成出動作濾子,然後用克里福關聯來辨認動作。論文作者用克里福嵌入,分辨出傳統劇情長片和體育廣播的常見動作,以論證其方法有效。
- 本條目只考慮域上的向量空間的克里福代數,但同樣可定義任何單位結合交換環上的模的克里福代數。[3]
- 亦在克里福代數的定義中,將二次型推廣成更高次的映射。[14]
克里福代數和幾何代數,以及相關的跨學科研究,是活躍的研究主題,且有廣泛的應用。此學科的學術會議包括克里福代數及其在數學物理的應用國際會議(ICCA) (頁面存檔備份,存於互聯網檔案館)及幾何代數在電腦科學及工程學的應用(AGACSE) (頁面存檔備份,存於互聯網檔案館)兩個系列。期刊包括斯普林格出版的《應用克里福代數進展》。
- ^ 研究實克里福代數且偏好正定二次型者(尤其研究指標理論者),有時在基本克里福恆等式中使用不同的符號。換言之,其取
。代
為
,便可切換兩種約定。
- ^ [4]明確指出映射
(引文作
)是克里福代數結構的一部分,其定義寫作:「有序對
為二次空間
的克里福代數,若
作為代數是由
和
生成,且
滿足:對所有
,有
。」
- ^ 故群代數
為半單,且克里福代數可分解成主對合的特徵空間。
- ^ 此處的
-分次,僅是將
的
-分次添加負指標處的零子空間。
- ^ 嚴格而言,因為未指明克里福代數定義中的向量空間,所以該同構僅是代數同構,而非克里福代數同構。
- ^ 仍假設特徵非
。
- ^ 若在克里福代數的定義中,約定的符號不同(多一個負號),則反之,即共軛更本質。一般而言,共軛與轉置的含義會因約定的符號不同而互換。例如,本條目採用的定義中,向量的反元素為
,但約定相反的符號時,則有
。
- ^ 見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年出版的論文。
- ^ Clifford, W.K. Preliminary sketch of bi-quaternions. Proc. London Math. Soc. 1873, 4: 381–395 (英語).
- ^ Clifford, W.K. Tucker, R. , 編. Mathematical Papers. London: Macmillan. 1882 (英語).
- ^ 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.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 (英語)
- ^ 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.0 6.1 Lounesto, Pertti, Clifford algebras and spinors, Cambridge University Press, 2001, ISBN 978-0-521-00551-7, doi:10.1017/CBO9780511526022 (英語)
- ^ 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) (英語).
- ^ Bottema, O.; Roth, B. Theoretical Kinematics. Dover. 2012 [1979] [2021-08-06]. ISBN 978-0-486-66346-3. (原始內容存檔於2021-08-06) (英語).
- ^ 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
- ^ Weinberg, S., The Quantum Theory of Fields 1, Cambridge University Press, 2002, ISBN 0-521-55001-7 (英語)
- ^ 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] (英語).
- ^ 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 (英語).
- ^ Rodriguez, Mikel; Shah, M. Action MACH: A Spatio-Temporal Maximum Average Correlation Height Filter for Action Classification. Computer Vision and Pattern Recognition (CVPR). 2008 (英語).
- ^
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 (英語).