几何代数
数学中,几何代数(也称作实克利福德代数)是初等代数的推广,用于处理向量等几何对象。几何代数由加法与几何积两种基本运算组成,向量的乘积是更高维对象,称作多重向量。与其他处理几何对象的形式相比,几何代数在支持不同维度的对象的向量除法与加法方面具有优势。
几何积最早由赫尔曼·格拉斯曼简单提及,[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).