几何代数

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