數學中，幾何代數（也稱作實克利福德代數）是初等代數的推廣，用於處理向量等幾何物件。幾何代數由加法與幾何積兩種基本運算組成，向量的乘積是更高維物件，稱作多重向量。與其他處理幾何物件的形式相比，幾何代數在支援不同維度的物件的向量除法與加法方面具有優勢。 幾何積最早由赫爾曼格拉斯曼簡單提及，他的興趣主要在於發展與之緊密相關的外代數。1878 年，威廉金頓克利福德大大擴充套件了格拉斯曼的工作，形成現在所謂克利福德代數以紀念他（雖然克利福德自己稱之為 幾何代數）。克利福德將克利福德代數及其積定義為格拉斯曼代數和哈密頓的四元數代數的統一。加上格拉斯曼外積的對偶（相遇）就可以使用格拉斯曼凱萊代數，後者的共形版本與共形克利福德代數一起產生了共形幾何代數（CGA），為經典幾何提供了框架。實踐中，這些運算和一些可派生運算可將代數的元素、子空間、運算同幾種幾何解釋對應起來。幾十年來，幾何代數有些被忽視了，因為當時為描述電磁學產生的向量分析擠佔了幾何代數的地盤。1960 年代，幾何代數 由大衛黑斯廷斯重新發掘出來，主張其對相對論物理學的重要性。 標量和向量有其通常的解釋，並構成幾何代數的不同子空間。二重向量可更自然地表示向量分析中的偽向量，如有向面積、旋轉的有向角度、撓、角動量與電磁場。三重向量可表示有向體積，等等。稱作刃的元素可用於表示 V 的子空間，及其上的正交投影。旋轉與反射也可用元素表示。不同於向量分析，幾何代數可自然地容納任何維度和任何二次型，如相對論中的二次型。 幾何代數在物理學中的應用有時空代數（及不太常見的物理空間代數）與共形幾何代數。幾何微積分是幾何代數的推廣，包含了微分和積分，可用於形成其他理論，如複分析和微分幾何，例如用克利福德代數代替微分形式。大衛黑斯廷斯和 Chris Doran 等人一直主張將幾何代數作為物理學的主要數學框架。支持者聲稱，幾何代數為包括經典力學、量子力學、電磁學、相對論等許多領域提供了緊湊而直觀地描述。幾何代數還被用作計算機圖形學和機器人學的計算工具。 定義與符號 幾何代數有多種定義。黑斯廷斯最初的定義是公理化的、充盈著幾何意義，等價於泛克利福德代數。給定域 F 上的有限維向量空間 V，並配備對稱雙線性形式（即內積，如歐氏或洛倫茲度量）g V times V to F，則二次空間 V g 的幾何代數是克利福德代數 operatorname ClV g，成員稱作多重子或多重向量（多重向量一詞更常用於指外代數的具體元素）。按領域內的通常做法，本文將只考慮實數情形，即 F R。符號 mathcal G pq（分別為 mathcal G pqr）將用於表示雙線性形式 g 具有符號 pq（分別是 pqr）的幾何代數。 代數中的本質積稱作幾何積，包含的外代數的積稱作外積（更多叫楔積）。標準寫法分別是並列（省去任何符號）和楔形 wedge。幾何代數的上述定義是抽象的，因此我們用下面一組公理概括幾何積的性質。對於多子 A B Cin mathcal Gpq，幾何積具有如下性質： AB in mathcal Gpq（封閉） 1A A1 A，其中 1 是單位元（單位元的存在） A BCAB C（結合律） A BCABAC and BC ABACA（分配律） a2 g aa 1，其中 a 是代數子空間 V 的任意元素。 外積具有相同的性質，只是最後一條改為 a wedge a 0 forall a in V。 注意，在上述最後一個性質中，若 g 不是正定的，則實數 g aa 不必是非負的。 幾何積的一個重要性質是元素有乘法逆元：forallvec a，若 a2 ne 0 ，則 a1 存在，且等於 g aa1 a。代數的非零元不一定有乘法逆元，例如若 vec uin V，且使 u2 1，則元素 textstylefrac 121 u 既是非平凡冪等元素，也是非零零除子，於是沒有逆。 通常將 R、V 與其在自然嵌入 R to mathcal Gpq、V to mathcal Gpq 下的像視作等同的。本文中，標量和向量分別指 R、V 的元素（及它們在此嵌入下的像）。 幾何積 可將任意兩向量 a、b 的幾何積寫成對稱積與反對稱積之和： ab frac 12 ab ba frac 12 ab ba 於是可以定義內積 a cdot b g ab 於是，對稱積可寫作 frac 12ab ba frac 12 left a b2 a2 b2right a cdot b 反之，g 完全由代數決定。反對稱部分是兩個向量的外積，即含外代數部分之積： a wedge b frac 12ab ba b wedge a 那麼從簡單加法就能有： aba cdot b a wedge b 幾何積的非廣義或向量形式。 內外積與標準向量代數中的相應概念有關。幾何上，若 a 和 b 的幾何積等於其內積，則就是平行的；若等於其外積，則就是垂直的。在幾何代數中，非零向量的平方都是正的，因此兩向量的內積可視作標準向量代數的點積。兩向量外積可用向量形成的平行四邊形所包圍的有向面積來表示。3 維中具有正定二次型的兩向量之叉積與其外積密切相關。 大多數相關幾何代數的例項都具有非退化二次型。若二次型是完全退化的，則任意兩向量的內積總是零，幾何代數就是簡單的外代數。除非另有說明，本文只討論非退化幾何代數。 外積可自然推廣為代數中任意兩元素之間的結合雙線性運算元，且滿足 begin align 1 wedge a_i a_i wedge 1 a_i a_1 wedge a_2wedgecdotswedge a_r frac 1rsum_sigmainmathfrak S_r operatorname sgnsigma a_sigma 1 a_sigma 2 cdots a_sigma r end align 其中，和是對指數的所有排列，operatorname sgnsigma 是排列的符號，a_i 是向量（不是代數的一般元素）。由於代數中的每個元素都可表示為這種形式的積之和，這也就定義了代數中每對元素的外積。從定義中可以看出，外積構成交替代數。 克利福德代數的等價結構方程為 a_1 a_2 a_3 dots a_n sumfrac n 2_i0 sum_muin mathcal C 1k Pf a_mu_1cdot a_mu_2dotsa_mu_2i1 cdot a_mu_2i a_mu_2i1landdotsland a_mu_n 其中 Pf A 是 A 的普法夫值， mathcal C binom n2i 提供了將 n 個索引分為、兩部分的組合 mu，k 是組合的奇偶性。 普法夫值為外代數提供了度量。另外，正如 Claude Chevalley 指出的，克利福德代數可還原為二次型為零的外代數。從幾何角度看，可從單純形出發，發展克利福德代數，來理解普法夫值所起的作用。這種推導為楊輝三角和單純形之間提供了更好的聯絡，因為提供了對楊輝三角第一層一個 1 的解釋。 刃、次、規範基 多重向量是 r 個線性獨立向量的外積，稱作一個刃（blade），次數為 r（grade）。r 次刃之和形成的多重向量稱作（齊性）r 次多重向量。根據公理與閉包，幾何代數中的多重向量都是刃之和。 考慮 r 次線性獨立向量集合 a_1ldotsa_r，跨越向量空間的 r 維子空間，之後就可定義實對稱矩陣（與構造格拉姆矩陣的方法相同）： mathbf A_ij a_i cdot a_j 根據譜定理，mathbf A 可由正交矩陣 mathbf O 對角化為對角矩陣 mathbf D： sum_klmathbf O_ikmathbf A_klmathbf Omathrm T_ljsum_klmathbf O_ikmathbf O_jlmathbf A_klmathbf D_ij 定義一組新的向量 e_1 ldotse_r，稱作正交基向量，是由正交矩陣變換的向量： e_isum_j mathbf O_ij a_j 由於正交變換保內積，所以 e_icdot e_jmathbf D_ij，e_1 ldots e_r 垂直。也就是說，兩不同向量 e_i ne e_j 的幾何積完全由外積決定，更一般地說 begin arrayrl e_1e_2cdots e_r e_1 wedge e_2 wedge cdots wedge e_r left sum_j mathbf O_1j a_jright wedge left sum_j mathbf O_2j a_j right wedge cdots wedge left sum_j mathbf O_rj a_jright det mathbf O a_1 wedge a_2 wedge cdots wedge a_r end array 於是，r 次刃都可寫作 r 個向量的外積。更一般地，若允許退化幾何代數，則正交矩陣將被替換為非退化塊中正交的分塊矩陣，對角陣的零值項沿退化維度分佈。若非退化子空間的新向量是歸一化的單位向量： hat e_ifrac 1sqrt e_i cdot e_i e_i 則這些歸一化向量必須平方為 pm 1。西爾維斯特慣性定理指出，沿對角陣的 1、1 的總數是不變的。推而廣之，平方得 1 的向量總數 p、得 1 的向量總數 q 也是不變的。（平方為零的基向量總數也不變，若允許退化情形，則可能不為零。）記此代數為 mathcal Gpq。例如，mathcal G 30 是 3 維歐氏空間的模型，mathcal G 13 是相對論時空。mathcal G 41 是 3 維空間的共形幾何代數。 索引依次遞增的 n 個正交基向量的所有可能積集合，包括作為空積的 1，構成了整個幾何代數的基（類似於 PBW 定理）。例如，下面是幾何代數 mathcal G30 的基： 1 e_1 e_2 e_3 e_1e_2 e_2e_3 e_3e_1 e_1e_2e_3 這樣形成的基稱作規範基，V 的任何其他正交基都會產生另外的規範基。每個規範基都有 2n 個元素，幾何代數的每個多重想來那個都可表為規範基元素的線性組合。若規範基元素是 B_i mid i in S ，其中 S 是索引集，則任意兩多重向量的幾何積是 left sum_i alpha_i B_i right left sum_j beta_j B_j right sum_ij alpha_ibeta_j B_i B_j 在描述只含 1 次元素的多重向量時，常用 k 向量。高位空間中，有些這樣的多重向量不能視作刃（不能分解為 k 個向量的外積）。舉例來說，mathcal G40 中的 e_1 wedge e_2 e_3 wedge e_4 不能分解，不過通常情況下，代數中這類元素不能被幾何解釋為物件，儘管它們可能代表諸如旋轉之類的幾何量。只有 01n1n 向量在 n 空間中還是刃。 次投影 另見 克利福德代數 格拉斯曼凱萊代數 時空代數 旋量 四元數 物理空間代數 泛幾何代數 註釋 腳註 參考文獻 時間順序排列 Chapter 1 as PDF Extract online at httpgeocalcclasasueduhtmlUAFCGhtml 5 New Tools for Computational Geometry and rejuvenation of Screw Theory 外部連結 A Survey of Geometric Algebra and Geometric Calculus Alan Macdonald Luther College Iowa Imaginary Numbers are not Real the Geometric Algebra of Spacetime Introduction Cambridge GA group Geometric Algebra 2015 Masters Course in Scientific Computing from Dr Chris Doran Cambridge Maths for Games Programmers 5 Multivector methods Comprehensive introduction and reference for programmers from Ian Bell IMPA Summer School 2010 Fernandes Oliveira Intro and Slides University of Fukui ESM Hitzer and Japan GA publications Google Group for GA Geometric Algebra Primer Introduction to GA Jaap Suter Geometric Algebra Resources curated wiki Pablo Bleyer Applied Geometric Algebras in Computer Science and Engineering 2018 Early Proceedings GAME2020 Geometric Algebra Mini Event AGACSE 2021 Videos English translations of early books and papers G Combebiac calculus of triquaternions Doctoral dissertation M Markic Transformants A new mathematical vehicle A synthesis of Combebiacs triquaternions and Grassmanns geometric system The calculus of quadriquaternions C BuraliForti The Grassmann method in projective geometry A compilation of three notes on the application of exterior algebra to projective geometry C BuraliForti Introduction to Differential Geometry following the method of H Grassmann Early book on the application of Grassmann algebra H Grassmann Mechanics according to the principles of the theory of extension One of his papers on the applications of exterior algebra 研究組 Geometric Calculus International Links to Research groups Software and Conferences worldwide Cambridge Geometric Algebra group Fulltext online publications and other material University of Amsterdam group Geometric Calculus research development Arizona State University GANet blog and newsletter archive Geometric AlgebraClifford Algebra development news Geometric Algebra for Perception Action Systems Geometric Cybernetics Group CINVESTAV Campus Guadalajara Mexico