幾何代數
數學中,幾何代數(也稱作實克利福德代數)是初等代數的推廣,用於處理向量等幾何對象。幾何代數由加法與幾何積兩種基本運算組成,向量的乘積是更高維對象,稱作多重向量。與其他處理幾何對象的形式相比,幾何代數在支持不同維度的對象的向量除法與加法方面具有優勢。
幾何積最早由赫爾曼·格拉斯曼簡單提及,[1]:6他的興趣主要在於發展與之緊密相關的外代數。1878年,威廉·金頓·克利福德大大擴展了格拉斯曼的工作,形成現在所謂克利福德代數以紀念他(雖然克利福德自己稱之為「幾何代數」)。克利福德將克利福德代數及其積定義為格拉斯曼代數和哈密頓的四元數代數的統一。加上格拉斯曼外積的對偶(「相遇」)就可以使用格拉斯曼–凱萊代數,後者的共形版本與共形克利福德代數一起產生了共形幾何代數(CGA),為經典幾何提供了框架。[2]:411實踐中,這些運算和一些可派生運算可將代數的元素、子空間、運算同幾種幾何解釋對應起來。幾十年來,幾何代數有些被忽視了,因為當時為描述電磁學產生的向量分析擠占了幾何代數的地盤。1960年代,「幾何代數」由大衛·黑斯廷斯重新發掘出來,主張其對相對論物理學的重要性。[3]
純量和向量有其通常的解釋,並構成幾何代數的不同子空間。二重向量可更自然地表示向量分析中的偽向量,如有向面積、旋轉的有向角度、撓、角動量與電磁場。三重向量可表示有向體積,等等。稱作刃的元素可用於表示V的子空間,及其上的正交投影。旋轉與反射也可用元素表示。不同於向量分析,幾何代數可自然地容納任何維度和任何二次型,如相對論中的二次型。
幾何代數在物理學中的應用有時空代數(及不太常見的物理空間代數)與共形幾何代數。幾何微積分是幾何代數的推廣,包含了微分和積分,可用於形成其他理論,如複分析和微分幾何,例如用克利福德代數代替微分形式。大衛·黑斯廷斯[4]和Chris Doran[5]等人一直主張將幾何代數作為物理學的主要數學框架。支持者聲稱,幾何代數為包括經典力學、量子力學、電磁學、相對論等許多領域提供了緊湊而直觀地描述。[6]幾何代數還被用作計算機圖形學[7]和機器人學的計算工具。
定義與符號
幾何代數有多種定義。黑斯廷斯最初的定義是公理化的、[8]:3–5「充盈著幾何意義」,等價於泛克利福德代數。[9]:101給定域F上的有限維向量空間V,並配備對稱雙線性形式(即內積,如歐氏或洛倫茲度量) ,則二次空間 的幾何代數是克利福德代數 ,成員乘坐多重子或多重向量(多重向量一詞更常用於指外代數的具體元素)。按領域內的通常做法,本文將只考慮實數情形,即 。符號 (分別為 )將用於表示雙線性形式g具有符號 (分別是 )的幾何代數。
代數中的本質積稱作幾何積,包含的外代數的積稱作外積(更多叫楔積[a])。標準寫法分別是並列(省去任何符號)和楔形 。幾何代數的上述定義是抽象的,因此我們用下面一組公理概括幾何積的性質。對於多子 ,幾何積具有如下性質:
外積具有相同的性質,只是最後一條改為 。
注意,在上述最後一個性質中,若g不是正定的,則實數 不必是非負的。 幾何積的一個重要性質是元素有乘法逆元: ,若 ,則 存在,且等於 。代數的非零元不一定有乘法逆元,例如若 ,且使 ,則元素 既是非平凡冪等元素,也是非零零除子,於是沒有逆。[b]
通常將 、V與其在自然嵌入 、 下的像視作等同的。本文中,純量和向量分別指 、V的元素(及它們在此嵌入下的像)。
幾何積
可將任意兩向量a、b的幾何積寫成對稱積與反對稱積之和:
於是可以定義內積[c]
於是,對稱積可寫作
反之,g完全由代數決定。反對稱部分是兩個向量的外積,即含外代數部分之積:
那麼從簡單加法就能有:
- 幾何積的非廣義或向量形式。
內外積與標準向量代數中的相應概念有關。幾何上,若a和b的幾何積等於其內積,則就是平行的;若等於其外積,則就是垂直的。在幾何代數中,非零向量的平方都是正的,因此兩向量的內積可視作標準向量代數的點積。兩向量外積可用向量形成的平行四邊形所包圍的有向面積來表示。3維中具有正定二次型的兩向量之叉積與其外積密切相關。
大多數相關幾何代數的實例都具有非退化二次型。若二次型是完全退化的,則任意兩向量的內積總是零,幾何代數就是簡單的外代數。除非另有說明,本文只討論非退化幾何代數。
外積可自然推廣為代數中任意兩元素之間的結合雙線性算子,且滿足
其中,和是對指數的所有排列, 是排列的符號, 是向量(不是代數的一般元素)。由於代數中的每個元素都可表示為這種形式的積之和,這也就定義了代數中每對元素的外積。從定義中可以看出,外積構成交替代數。
克利福德代數的等價結構方程為[13]:2338[14]:2346
其中 是A的普法夫值, 提供了將n個索引分為2i、n-2i兩部分的組合 ,k是組合的奇偶性。
普法夫值為外代數提供了度量。另外,正如Claude Chevalley指出的,克利福德代數可還原為二次型為零的外代數。[15]從幾何角度看,可從單純形出發,發展克利福德代數,來理解普法夫值所起的作用。[16]這種推導為楊輝三角和單純形之間提供了更好的聯繫,因為提供了對楊輝三角第一層一個1的解釋。
刃、次、規範基
多重向量是r個線性獨立向量的外積,稱作一個刃(blade),次數為r(grade)。[e]r次刃之和形成的多重向量稱作(齊性)r次多重向量。根據公理與閉包,幾何代數中的多重向量都是刃之和。
考慮r次線性獨立向量集合 ,跨越向量空間的r維子空間,之後就可定義實對稱矩陣(與構造格拉姆矩陣的方法相同):
定義一組新的向量 ,稱作正交基向量,是由正交矩陣變換的向量:
由於正交變換保內積,所以 , 垂直。也就是說,兩不同向量 的幾何積完全由外積決定,更一般地說
於是,r次刃都可寫作r個向量的外積。更一般地,若允許退化幾何代數,則正交矩陣將被替換為非退化塊中正交的分塊矩陣,對角陣的零值項沿退化維度分布。若非退化子空間的新向量是歸一化的單位向量:
則這些歸一化向量必須平方為 。西爾維斯特慣性定理指出,沿對角陣的 、 的總數是不變的。推而廣之,平方得 的向量總數p、得 的向量總數q也是不變的。(平方為零的基向量總數也不變,若允許退化情形,則可能不為零。)記此代數為 。例如, 是3維歐氏空間的模型, 是相對論時空。 是3維空間的共形幾何代數。
索引依次遞增的n個正交基向量的所有可能積集合,包括作為空積的 ,構成了整個幾何代數的基(類似於PBW定理)。例如,下面是幾何代數 的基:
這樣形成的基稱作規範基,V的任何其他正交基都會產生另外的規範基。每個規範基都有 個元素,幾何代數的每個多重想來那個都可表為規範基元素的線性組合。若規範基元素是 ,其中S是索引集,則任意兩多重向量的幾何積是
在描述只含1次元素的多重向量時,常用「 -向量」。高位空間中,有些這樣的多重向量不能視作刃(不能分解為k個向量的外積)。舉例來說, 中的 不能分解,不過通常情況下,代數中這類元素不能被幾何解釋為對象,儘管它們可能代表諸如旋轉之類的幾何量。只有 -向量在n-空間中還是刃。
次投影
另見
注釋
腳註
- ^ Hestenes 1986.
- ^ Li 2008.
- ^ Hestenes 1966.
- ^ Hestenes 2003.
- ^ Doran 1994.
- ^ Lasenby, Lasenby & Doran 2000.
- ^ Hildenbrand et al. 2004.
- ^ Hestenes & Sobczyk 1984.
- ^ Aragón, Aragón & Rodríguez 1997.
- ^ Hestenes 2005.
- ^ Penrose 2007.
- ^ Wheeler, Misner & Thorne 1973.
- ^ Wilmot 1988a.
- ^ Wilmot 1988b.
- ^ Chevalley 1991.
- ^ Wilmot 2023.
參考文獻
- 時間順序排列
- Grassmann, Hermann, Die lineale Ausdehnungslehre ein neuer Zweig der Mathematik: dargestellt und durch Anwendungen auf die übrigen Zweige der Mathematik, wie auch auf die Statik, Mechanik, die Lehre vom Magnetismus und die Krystallonomie erläutert, Leipzig: O. Wigand, 1844 [2023-12-31], OCLC 20521674, (原始內容存檔於2023-10-09)
- Clifford, Professor. Applications of Grassmann's Extensive Algebra. American Journal of Mathematics. 1878, 1 (4): 350–358. JSTOR 2369379. doi:10.2307/2369379.
- Artin, Emil, Geometric algebra, Wiley Classics Library, Wiley, 1988 [1957], ISBN 978-0-471-60839-4, MR 1009557, doi:10.1002/9781118164518
- Hestenes, David, Space–time Algebra, Gordon and Breach, 1966, ISBN 978-0-677-01390-9, OCLC 996371
- Wheeler, J. A.; Misner, C.; Thorne, K. S., Gravitation, W.H. Freeman, 1973, ISBN 978-0-7167-0344-0
- Bourbaki, Nicolas, Ch. 9 "Algèbres de Clifford", Eléments de Mathématique. Algèbre, Hermann, 1980, ISBN 9782225655166
- Hestenes, David; Sobczyk, Garret, Clifford Algebra to Geometric Calculus, a Unified Language for Mathematics and Physics, Springer Netherlands, 1984, ISBN 9789027716736
- Hestenes, David, A Unified Language for Mathematics and Physics, J.S.R. Chisholm; A.K. Commons (編), Clifford Algebras and Their Applications in Mathematical Physics, NATO ASI Series (Series C) 183, Springer: 1–23, 1986, ISBN 978-94-009-4728-3, doi:10.1007/978-94-009-4728-3_1
- Wilmot, G.P., The Structure of Clifford algebra. Journal of Mathematical Physics 29: 2338–2345, 1988a
- Wilmot, G.P., Clifford algebra and the Pfaffian expansion, Journal of Mathematical Physics, 1988b, 29: 2346–2350, doi:10.1063/1.528118
- Chevalley, Claude, The Algebraic Theory of Spinors and Clifford Algebras, Collected Works 2, Springer, 1991, ISBN 3-540-57063-2
- Doran, Chris J. L., Geometric Algebra and its Application to Mathematical Physics (PhD thesis), University of Cambridge, 1994, OCLC 53604228, doi:10.17863/CAM.16148, hdl:1810/251691
- Baylis, W. E. (編), Clifford (Geometric) Algebra with Applications to Physics, Mathematics, and Engineering, Birkhäuser, 2011 [1996], ISBN 9781461241058
- Aragón, G.; Aragón, J.L.; Rodríguez, M.A., Clifford Algebras and Geometric Algebra, Advances in Applied Clifford Algebras, 1997, 7 (2): 91–102, S2CID 120860757, doi:10.1007/BF03041220
- Hestenes, David, New Foundations for Classical Mechanics 2nd, Springer Verlag, 1999, ISBN 978-0-7923-5302-7
- Lasenby, Joan; Lasenby, Anthony N.; Doran, Chris J. L., A Unified Mathematical Language for Physics and Engineering in the 21st Century (PDF), Philosophical Transactions of the Royal Society A, 2000, 358 (1765): 21–39, Bibcode:2000RSPTA.358...21L, S2CID 91884543, doi:10.1098/rsta.2000.0517, (原始內容存檔 (PDF)於2015-03-19)
- Baylis, W. E., Electrodynamics: A Modern Geometric Approach 2nd, Birkhäuser, 2002, ISBN 978-0-8176-4025-5
- Dorst, Leo, The Inner Products of Geometric Algebra, Dorst, L.; Doran, C.; Lasenby, J. (編), Applications of Geometric Algebra in Computer Science and Engineering, Birkhäuser: 35–46, 2002, ISBN 978-1-4612-0089-5, doi:10.1007/978-1-4612-0089-5_2
- Doran, Chris J. L.; Lasenby, Anthony N., Geometric Algebra for Physicists (PDF), Cambridge University Press, 2003, ISBN 978-0-521-71595-9, (原始內容存檔 (PDF)於2009-01-06)
- Hestenes, David, Oersted Medal Lecture 2002: Reforming the Mathematical Language of Physics (PDF), Am. J. Phys., 2003, 71 (2): 104–121, Bibcode:2003AmJPh..71..104H, CiteSeerX 10.1.1.649.7506 , doi:10.1119/1.1522700, (原始內容存檔 (PDF)於2010-06-17)
- Hildenbrand, Dietmar; Fontijne, Daniel; Perwass, Christian; Dorst, Leo, Geometric Algebra and its Application to Computer Graphics (PDF), Proceedings of Eurographics 2004, 2004, doi:10.2312/egt.20041032, (原始內容存檔 (PDF)於2015-09-06)
- Hestenes, David, Introduction to Primer for Geometric Algebra, 2005 [2023-12-31], (原始內容存檔於2023-06-09)
- Selig, J.M. Geometric Fundamentals of Robotics. Monographs in Computer Science. New York, NY: Springer New York. 2005. ISBN 978-0-387-20874-9. doi:10.1007/b138859 (英語).
- Bain, J., Spacetime structuralism: §5 Manifolds vs. geometric algebra, Dennis Dieks (編), The ontology of spacetime, Elsevier: 54 ff, 2006 [2023-12-31], ISBN 978-0-444-52768-4, (原始內容存檔於2023-10-09)
- Dorst, Leo; Fontijne, Daniel; Mann, Stephen, Geometric algebra for computer science: an object-oriented approach to geometry, Elsevier, 2007 [2023-12-31], ISBN 978-0-12-369465-2, OCLC 132691969, (原始內容存檔於2020-05-04)
- Penrose, Roger, The Road to Reality, Vintage books, 2007, ISBN 978-0-679-77631-4
- Francis, Matthew R.; Kosowsky, Arthur, The Construction of Spinors in Geometric Algebra, Annals of Physics, 2008, 317 (2): 383–409, Bibcode:2005AnPhy.317..383F, S2CID 119632876, arXiv:math-ph/0403040v2 , doi:10.1016/j.aop.2004.11.008
- Li, Hongbo, Invariant Algebras and Geometric Reasoning, World Scientific, 2008, ISBN 9789812770110. Chapter 1 as PDF
- Vince, John A., Geometric Algebra for Computer Graphics, Springer, 2008, ISBN 978-1-84628-996-5
- Lundholm, Douglas; Svensson, Lars, Clifford Algebra, Geometric Algebra and Applications, 2009, arXiv:0907.5356v1 [math-ph]
- Perwass, Christian, Geometric Algebra with Applications in Engineering, Geometry and Computing 4, Springer Science & Business Media, 2009, Bibcode:2009gaae.book.....P, ISBN 978-3-540-89068-3, doi:10.1007/978-3-540-89068-3
- Selig, J.M. Clifford algebra of points, lines and planes. Robotica. 2000, 18 (5): 545–556. ISSN 0263-5747. S2CID 28929170. doi:10.1017/S0263574799002568 (英語).
- Bayro-Corrochano, Eduardo, Geometric Computing for Wavelet Transforms, Robot Vision, Learning, Control and Action, Springer Verlag, 2010, ISBN 9781848829299
- Bayro-Corrochano, E.; Scheuermann, Gerik (編), Geometric Algebra Computing in Engineering and Computer Science, Springer, 2010 [2023-12-31], ISBN 9781849961080, (原始內容存檔於2023-10-09) Extract online at http://geocalc.clas.asu.edu/html/UAFCG.html (頁面存檔備份,存於網際網路檔案館) #5 New Tools for Computational Geometry and rejuvenation of Screw Theory
- Goldman, Ron, Rethinking Quaternions: Theory and Computation, Morgan & Claypool, Part III. Rethinking Quaternions and Clifford Algebras, 2010, ISBN 978-1-60845-420-4
- Dorst, Leo.; Lasenby, Joan, Guide to Geometric Algebra in Practice, Springer, 2011, ISBN 9780857298119
- Macdonald, Alan, Linear and Geometric Algebra, CreateSpace, 2011 [2023-12-31], ISBN 9781453854938, OCLC 704377582, (原始內容存檔於2024-03-10)
- Snygg, John, A New Approach to Differential Geometry using Clifford's Geometric Algebra, Springer, 2011, ISBN 978-0-8176-8282-8
- Hildenbrand, Dietmar, Foundations of Geometric Algebra computing, Numerical Analysis and Applied Mathematics Icnaam 2012: International Conference of Numerical Analysis and Applied Mathematics, AIP Conference Proceedings, 2012, 1479 (1): 27–30, Bibcode:2012AIPC.1479...27H, CiteSeerX 10.1.1.364.9400 , ISBN 978-3-642-31793-4, doi:10.1063/1.4756054
- Bromborsky, Alan, An introduction to Geometric Algebra and Calculus (PDF), 2014, (原始內容存檔 (PDF)於2019-10-15)
- Klawitter, Daniel, Clifford Algebras: Geometric Modelling and Chain Geometries with Application in Kinematics, Springer, 2014, ISBN 9783658076184
- Kanatani, Kenichi, Understanding Geometric Algebra: Hamilton, Grassmann, and Clifford for Computer Vision and Graphics, CRC Press, 2015, ISBN 9781482259513
- Li, Hongbo; Huang, Lei; Shao, Changpeng; Dong, Lei, Three-Dimensional Projective Geometry with Geometric Algebra, 2015, arXiv:1507.06634v1 [math.MG]
- Hestenes, David. The Genesis of Geometric Algebra:A Personal Retrospective. Advances in Applied Clifford Algebras. 2016, 27 (1): 351–379. S2CID 124014198. doi:10.1007/s00006-016-0664-z.
- Dorst, Leo, 3D Oriented Projective Geometry Through Versors of , Springer, 2016, ISBN 9783658076184
- Lengyel, Eric. Foundations of game engine development. Mathematics 1. Lincoln, California: Terathon Software LLC. 2016. ISBN 978-0-9858117-4-7.
- Vaz, Jayme; da Rocha, Roldão, An Introduction to Clifford Algebras and Spinors, Oxford University Press, 2016, Bibcode:2016icas.book.....V, ISBN 978-0-19-878292-6
- Du, Juan; Goldman, Ron; Mann, Stephen. Modeling 3D Geometry in the Clifford Algebra R(4,4). Advances in Applied Clifford Algebras. 2017, 27 (4): 3039–3062. S2CID 126166668. doi:10.1007/s00006-017-0798-7.
- Bayro-Corrochano, Eduardo. Computer Vision, Graphics and Neurocomputing. Geometric Algebra Applications I. Springer. 2018. ISBN 978-3-319-74830-6.
- Breuils, Stéphane. Structure algorithmique pour les opérateurs d'Algèbres Géométriques et application aux surfaces quadriques (PDF) (學位論文). université-paris-est. 2018. (原始內容存檔 (PDF)於2019-07-14).
- Lavor, Carlile; Xambó-Descamps, Sebastià; Zaplana, Isiah. A Geometric Algebra Invitation to Space-Time Physics, Robotics and Molecular Geometry. Springer. 2018: 1–. ISBN 978-3-319-90665-2.
- Hrdina, Jaroslav; Návrat, Aleš; Vašík, Petr. Geometric Algebra for Conics. Advances in Applied Clifford Algebras. 2018, 28 (3): 66. ISSN 1661-4909. S2CID 253589145. doi:10.1007/s00006-018-0879-2 (英語).
- Josipović, Miroslav. Geometric Multiplication of Vectors: An Introduction to Geometric Algebra in Physics. Springer International Publishing;Birkhäuser. 2019: 256. ISBN 978-3-030-01756-9.
- Hadfield, Hugo; Lasenby, Joan, Constrained Dynamics in Conformal and Projective Geometric Algebra, Advances in Computer Graphics, Lecture Notes in Computer Science 12221 (Cham: Springer International Publishing), 2020, 12221: 459–471 [2023-10-03], ISBN 978-3-030-61863-6, S2CID 224820480, doi:10.1007/978-3-030-61864-3_39
- Wilmot, G.P. The Algebra Of Geometry. GitHub. 2023.
外部連結
- 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 E.S.M. 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 tri-quaternions" (頁面存檔備份,存於網際網路檔案館) (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" (頁面存檔備份,存於網際網路檔案館)
- C. Burali-Forti, "The Grassmann method in projective geometry" (頁面存檔備份,存於網際網路檔案館) 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" (頁面存檔備份,存於網際網路檔案館) 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. Full-text online publications, and other material.
- University of Amsterdam group
- Geometric Calculus research & development (頁面存檔備份,存於網際網路檔案館) (Arizona State University).
- GA-Net blog (頁面存檔備份,存於網際網路檔案館) and newsletter archive. Geometric Algebra/Clifford Algebra development news.
- Geometric Algebra for Perception Action Systems. Geometric Cybernetics Group (頁面存檔備份,存於網際網路檔案館) (CINVESTAV, Campus Guadalajara, Mexico).