幾何代數

代數幾何
數學中，幾何代數（也稱作實克利福德代數）是初等代數的推廣，用於處理向量等幾何對象。幾何代數由加法與幾何積兩種基本運算組成，向量的乘積是更高維對象，稱作多重向量。與其他處理幾何對象的形式相比，幾何代數在支持不同維度的對象的向量除法與加法方面具有優勢。
幾何積最早由赫爾曼·格拉斯曼簡單提及，1986他的興趣主要在於發展與之緊密相關的外代數。1878年，威廉·金頓·克利福德大大擴展了格拉斯曼的工作，形成現在所謂克利福德代數以紀念他（雖然克利福德自己稱之為“幾何代數”）。克利福德將克利福德代數及其積定義為格拉斯曼代數和哈密頓的四元數代數的統一。加上格拉斯曼外積的對偶（“相遇”）就可以使用格拉斯曼–凱萊代數，後者的共形版本與共形克利福德代數一起產生了共形幾何代數（CGA），為經典幾何提供了框架。2008實踐中，這些運算和一些可派生運算可將代數的元素、子空間、運算同幾種幾何解釋對應起來。幾十年來，幾何代數有些被忽視了，因為當時為描述電磁學產生的向量分析擠佔了幾何代數的地盤。1960年代，“幾何代數”由大衛·黑斯廷斯重新發掘出來，主張其對相對論物理學的重要性。1966
標量和向量有其通常的解釋，並構成幾何代數的不同子空間。二重向量可更自然地表示向量分析中的偽向量，如有向面積、旋轉的有向角度、撓、角動量與電磁場。三重向量可表示有向體積，等等。稱作刃的元素可用於表示V的子空間，及其上的正交投影。旋轉與反射也可用元素表示。不同於向量分析，幾何代數可自然地容納任何維度和任何二次型，如相對論中的二次型。
幾何代數在物理學中的應用有時空代數（及不太常見的物理空間代數）與共形幾何代數。幾何微積分是幾何代數的推廣，包含了微分和積分，可用於形成其他理論，如複分析和微分幾何，例如用克利福德代數代替微分形式。大衛·黑斯廷斯2003和Chris Doran1994等人一直主張將幾何代數作為物理學的主要數學框架。支持者聲稱，幾何代數為包括經典力學、量子力學、電磁學、相對論等許多領域提供了緊湊而直觀地描述。2000幾何代數還被用作計算機圖形學2004和機器人學的計算工具。

**定義與符號**
幾何代數有多種定義。黑斯廷斯最初的定義是公理化的、1984“充盈著幾何意義”，等價於泛克利福德代數。1997給定域F上的有限維向量空間V，並配備對稱雙線性形式（即內積，如歐氏或洛倫茲度量），則二次空間的幾何代數是克利福德代數，成員稱作多重子或多重向量（多重向量一詞更常用於指外代數的具體元素）。按領域內的通常做法，本文將只考慮實數情形，即。符號（分別為）將用於表示雙線性形式g具有符號（分別是）的幾何代數。
代數中的本質積稱作幾何積，包含的外代數的積稱作外積（更多叫楔積幾何代數的“外積”（outer product）與其他數學領域中的同名異義）。標準寫法分別是並列（省去任何符號）和楔形。幾何代數的上述定義是抽象的，因此我們用下面一組公理概括幾何積的性質。對於多子，幾何積具有如下性質：- （封閉）- ，其中是單位元（單位元的存在）- （結合律）-  and （分配律）- ，其中a是代數子空間V的任意元素。
外積具有相同的性質，只是最後一條改為。
注意，在上述最後一個性質中，若g不是正定的，則實數不必是非負的。 幾何積的一個重要性質是元素有乘法逆元：，若，則存在，且等於。代數的非零元不一定有乘法逆元，例如若，且使，則元素既是非平凡冪等元素，也是非零零除子，於是沒有逆。
通常將、V與其在自然嵌入、下的像視作等同的。本文中，標量和向量分別指、V的元素（及它們在此嵌入下的像）。

**幾何積**
2005反交換，則是垂直的，因為；若是交換的，則是平行的，因為。
可將任意兩向量a、b的幾何積寫成對稱積與反對稱積之和：
 
於是可以定義內積efn|這是偽歐幾里得向量空間標量積的同義詞，指1-向量子空間上的對稱雙線性形式，而不是賦範向量空間上的內積。有人會將內積推廣到整個代數，但實際上對此幾乎沒有共識。即使是有關幾何代數的文章中，這個術語也不常用。
 
於是，對稱積可寫作
 
反之，g完全由代數決定。反對稱部分是兩個向量的外積，即含外代數部分之積：
 
那麼從簡單加法就能有：
 幾何積的非廣義或向量形式。
內外積與標準向量代數中的相應概念有關。幾何上，若a和b的幾何積等於其內積，則就是平行的；若等於其外積，則就是垂直的。在幾何代數中，非零向量的平方都是正的，因此兩向量的內積可視作標準向量代數的點積。兩向量外積可用向量形成的平行四邊形所包圍的有向面積來表示。3維中具有正定二次型的兩向量之叉積與其外積密切相關。
大多數相關幾何代數的實例都具有非退化二次型。若二次型是完全退化的，則任意兩向量的內積總是零，幾何代數就是簡單的外代數。除非另有說明，本文只討論非退化幾何代數。
外積可自然推廣為代數中任意兩元素之間的結合雙線性算子，且滿足
 
其中，和是對指數的所有排列，是排列的符號，是向量（不是代數的一般元素）。由於代數中的每個元素都可表示為這種形式的積之和，這也就定義了代數中每對元素的外積。從定義中可以看出，外積構成交替代數。
克利福德代數的等價結構方程為1988a1988b
 
其中是A的普法夫值，
提供了將n個索引分為2i、n-2i兩部分的組合，k是組合的奇偶性。
普法夫值為外代數提供了度量。另外，正如Claude Chevalley指出的，克利福德代數可還原為二次型為零的外代數。1991從幾何角度看，可從單純形出發，發展克利福德代數，來理解普法夫值所起的作用。2023這種推導為楊輝三角和單純形之間提供了更好的聯繫，因為提供了對楊輝三角第一層一個1的解釋。

**刃、次、規範基**
多重向量是r個線性獨立向量的外積，稱作一個刃（blade），次數為r（grade）。r次刃之和形成的多重向量稱作（齊性）r次多重向量。根據公理與閉包，幾何代數中的多重向量都是刃之和。
考慮r次線性獨立向量集合，跨越向量空間的r維子空間，之後就可定義實對稱矩陣（與構造格拉姆矩陣的方法相同）：
 
根據譜定理，可由正交矩陣對角化為對角矩陣：
 
定義一組新的向量，稱作正交基向量，是由正交矩陣變換的向量：
 
由於正交變換保內積，所以，垂直。也就是說，兩不同向量的幾何積完全由外積決定，更一般地說
 
於是，r次刃都可寫作r個向量的外積。更一般地，若允許退化幾何代數，則正交矩陣將被替換為非退化塊中正交的分塊矩陣，對角陣的零值項沿退化維度分佈。若非退化子空間的新向量是歸一化的單位向量：
 
則這些歸一化向量必須平方為。西爾維斯特慣性定理指出，沿對角陣的、的總數是不變的。推而廣之，平方得的向量總數p、得的向量總數q也是不變的。（平方為零的基向量總數也不變，若允許退化情形，則可能不為零。）記此代數為。例如，是3維歐氏空間的模型，是相對論時空。是3維空間的共形幾何代數。
索引依次遞增的n個正交基向量的所有可能積集合，包括作為空積的，構成了整個幾何代數的基（類似於PBW定理）。例如，下面是幾何代數的基：
 
這樣形成的基稱作規範基，V的任何其他正交基都會產生另外的規範基。每個規範基都有個元素，幾何代數的每個多重想來那個都可表為規範基元素的線性組合。若規範基元素是，其中S是索引集，則任意兩多重向量的幾何積是
 
在描述只含1次元素的多重向量時，常用“-向量”。高位空間中，有些這樣的多重向量不能視作刃（不能分解為k個向量的外積）。舉例來說，中的不能分解，不過通常情況下，代數中這類元素不能被幾何解釋為對象，儘管它們可能代表諸如旋轉之類的幾何量。只有-向量在n-空間中還是刃。

**次投影**

**另見**
 克利福德代數- 格拉斯曼–凱萊代數- 時空代數- 旋量- 四元數- 物理空間代數- 泛幾何代數

**註釋**

**腳註**

**參考文獻**
 時間順序排列- dead-url=no - jstor=2369379 - doi=10.1002/9781118164518 - oclc=996371 - title-link=Gravitation (book) - isbn=9782225655166 - mode=cs2 - pages=1–23 - pages=2338–2345 - doi=10.1063/1.528118 - isbn=3-540-57063-2 - citation |year=1994 |last=Doran |first=Chris J. L. |author-link=Chris J. L. Doran |title=Geometric Algebra and its Application to Mathematical Physics |type=PhD thesis |publisher=University of Cambridge |oclc=53604228 |doi=10.17863/CAM.16148 |hdl=1810/251691- citation |orig-year=1996 |editor=Baylis, W. E. |title=Clifford (Geometric) Algebra with Applications to Physics, Mathematics, and Engineering |publisher=Birkhäuser |isbn=9781461241058 |year=2011 - s2cid=120860757 -  isbn=978-0-7923-5302-7 - citation |year=2000 |last1=Lasenby |first1=Joan |last2=Lasenby |first2=Anthony N. |last3=Doran |first3=Chris J. L. |author-link3=Chris J. L. Doran |title=A Unified Mathematical Language for Physics and Engineering in the 21st Century |url=http://geometry.mrao.cam.ac.uk/wp-content/uploads/2015/02/00RSocMillen.pdf |archive-url=https://web.archive.org/web/20150319085814/http://geometry.mrao.cam.ac.uk/wp-content/uploads/2015/02/00RSocMillen.pdf |archive-date=2015-03-19 |url-status=live |journal=Philosophical Transactions of the Royal Society A |volume=358 |issue=1765 |pages=21–39 |bibcode=2000RSPTA.358...21L |doi=10.1098/rsta.2000.0517|s2cid=91884543 - citation |year=2002 |last=Baylis |first=W. E. |title=Electrodynamics: A Modern Geometric Approach |edition=2nd |publisher=Birkhäuser |isbn=978-0-8176-4025-5 - citation |year=2002 |last=Dorst |first=Leo |chapter=The Inner Products of Geometric Algebra | publisher=Birkhäuser |pages=35–46 |editor-last=Dorst |editor-first=L. |editor2-last=Doran |editor2-first=C. |editor3-last=Lasenby |editor3-first=J. |title=Applications of Geometric Algebra in Computer Science and Engineering |isbn=978-1-4612-0089-5 |doi=10.1007/978-1-4612-0089-5_2 - isbn=978-0-521-71595-9 - doi=10.2312/egt.20041032 - dead-url=no - doi=10.1007/b138859 - citation |year=2006 |last=Bain |first=J. |title=The ontology of spacetime |editor=Dennis Dieks |section=Spacetime structuralism: §5 Manifolds vs. geometric algebra |page=54 ff |isbn=978-0-444-52768-4 |publisher=Elsevier |url=https://books.google.com/books?id=OI5BySlm-IcC&pg=PT72 |accessdate=2023-12-31 |archive-date=2023-10-09 |archive-url=https://web.archive.org/web/20231009095112/https://books.google.com/books?id=OI5BySlm-IcC&pg=PT72 |dead-url=no - dead-url=no - title-link=The Road to Reality - citation |year=2008 |last1=Francis |first1=Matthew R. |last2=Kosowsky |first2=Arthur |title=The Construction of Spinors in Geometric Algebra |journal= Annals of Physics |volume=317 |issue=2 |pages=383–409 |arxiv=math-ph/0403040v2  
s2cid=119632876 - url=https://books.google.com/books?id=bUEcbyfW55YC .  Chapter 1 as PDF- isbn=978-1-84628-996-5 - series=Geometry and Computing - issn=0263-5747 - isbn=9781848829299 - dead-url=no  Extract online at http://geocalc.clas.asu.edu/html/UAFCG.html date=20230609080529  #5 New Tools for Computational Geometry and rejuvenation of Screw Theory- at=Part III. Rethinking Quaternions and Clifford Algebras- isbn=9780857298119 - dead-url=no - isbn=978-0-8176-8282-8 - citeseerx=10.1.1.364.9400 - url-status=live - isbn=9783658076184 - isbn=9781482259513 - s2cid=124014198 - isbn=978-0-9858117-4-7 - isbn=978-0-19-878292-6 - s2cid=126166668 - isbn=978-3-319-74830-6 - url-status=live - pages=1– - issn=1661-4909 - pages=256 - s2cid=224820480 - cite web |year=2023 |last=Wilmot |first=G.P. |title=The Algebra Of Geometry |website=GitHub |url=https://github.com/GPWilmot/geoalg

**外部鏈接**
  A Survey of Geometric Algebra and Geometric Calculus date=20230728222046   Alan Macdonald date=20240312181817 , Luther College, Iowa.-  Imaginary Numbers are not Real – the Geometric Algebra of Spacetime date=20231009095333 . Introduction (Cambridge GA group).-  Geometric Algebra 2015, Masters Course in Scientific Computing date=20231009094745 , from Dr. Chris Doran (Cambridge).-  Maths for (Games) Programmers: 5 – Multivector methods date=20240212095101 . Comprehensive introduction and reference for programmers, from Ian Bell.-  IMPA Summer School 2010 date=20231014130139  Fernandes Oliveira Intro and Slides.-  University of Fukui E.S.M. Hitzer and Japan GA publications.-  Google Group for GA date=20121104140601 -  Geometric Algebra Primer date=20240418101815  Introduction to GA, Jaap Suter.-  Geometric Algebra Resources date=20240228110049  curated wiki, Pablo Bleyer.-  Applied Geometric Algebras in Computer Science and Engineering 2018 date=20190506143837  Early Proceedings-   GAME2020 date=20240611025134  Geometric Algebra Mini Event-  AGACSE 2021 Videos date=20231009095114 
English translations of early books and papers-  G. Combebiac, "calculus of tri-quaternions" date=20240317010547  (Doctoral dissertation)-  M. Markic, "Transformants: A new mathematical vehicle. A synthesis of Combebiac's tri-quaternions and Grassmann's geometric system. The calculus of quadri-quaternions" date=20240629153239 -  C. Burali-Forti, "The Grassmann method in projective geometry" date=20181005151509  A compilation of three notes on the application of exterior algebra to projective geometry-  C. Burali-Forti, "Introduction to Differential Geometry, following the method of H. Grassmann" date=20181005151456  Early book on the application of Grassmann algebra-  H. Grassmann, "Mechanics, according to the principles of the theory of extension" date=20230326030849  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. Full-text online publications, and other material.-  University of Amsterdam group-  Geometric Calculus research & development date=20230627094458  (Arizona State University).-  GA-Net blog date=20240503191422  and  newsletter archive. Geometric Algebra/Clifford Algebra development news.-  Geometric Algebra for Perception Action Systems. Geometric Cybernetics Group date=20180712042836  (CINVESTAV, Campus Guadalajara, Mexico).