爱尔兰根纲领

有一个“几何”还是很多个？自欧几里得以来，几何意味着二维（平面几何）或者三维（立体几何）欧几里得空间的几何。在19世纪上半叶，有了一些发展使得这个景象变得复杂了。数学应用要求有四维或者更高维的几何；对传统欧几里得几何的基础的审视已经揭示出平行公理和其他公理的独立性，而且非欧几里得几何已经诞生；而在射影几何中，新的“点”（无穷远点，有复数坐标的点）已经被引入。

用抽象术语来说，这个解决办法是使用对称性作为根本的原则，并且从一开始就陈述不同的几何可以共存，因为它们处理不同类型的命题和不同类型的对称性和变换下的不变量。仿射几何和射影几何的区别就在于诸如平行这种仿射不变量的概念是前者的恰当主题，而对后者来说却不是主要概念。然后，通过从各个几何中抽象出基础的对称群，它们之间的关系可以在群的级别重新建立。因为仿射几何的群是射影几何的群的子群，所有射影几何的概念不变量“先验的”在仿射几何中有意义；但是反过来不行。如果你包含更多对称性进来，你就有一个更强的理论，但更少的概念和定理（但会更深刻和一般化）。

换而言之，各种“传统空间”是齐性空间；但是不是对于一个唯一确定的群。改变群就改变了相应的几何语言。

在今天的语言中，经典几何中考虑的群都是很著名的李群。特定的关系用技术化的语言很容易描述。

例如n维射影几何的群就是n维射影空间的对称群（n+1阶矩阵群，取和标量矩阵的商）。该仿射群是保持所选的无穷远超平面不变（映射集合到自身，不是固定每一点）的子群。这个子群有一个已知的结构（n阶矩阵群和平移子群的准直积）。这个表述告诉我们什么性质是“仿射的”。用欧几里得平面几何术语，平行就是：仿射变换总是将一个平行四边形变成另一个平行四边形。而圆不是仿射的，因为仿射剪切可以把圆变成椭圆。

要精确的解释仿射和欧几里得几何之间的关系，我们现在要在仿射群中点出欧几里得几何的群。欧几里得群实际上是（采用前面仿射群的表述）正交（旋转和反射）群和平移群的准直积。

爱尔兰根纲领的长期效应可以在纯数学的很多方面显现出来（例如，参看相似中隐含的使用）；而变换的思想和用对称群综合的思想现在当然也已成为物理学中的标准做法。

当拓扑照例使用同胚下的不变量的术语来表述时，我们可以看到操作背后的基础思想。所涉及到的群在几乎所有情况下——除了李群——都是无穷维的，但其方法是一样。当然这只是说克莱因的影响启发。诸如哈罗德·斯科特·麦克唐纳·考克斯特所写的书例行的采用爱尔兰根纲领的方法来帮助'定位'几何。用说教的术语，该纲领成了变换几何，这是一个有一些不良影响的好事，它比欧几里得的风格建立在更强的直觉上，但是也更难转换成为逻辑体系。

对于一个几何和它的群，群的一个元素有时叫做该几何的一个作用。例如，可以通过基于双曲运动的一个发展来学习双曲几何的庞加莱半平面模型。

经常，两个或者更多的不同的几何有同构的自同构群。这就产生了从爱尔兰根纲领的抽象群解读出具体的几何的问题。

一个例子：可定向（即不包含反射）椭圆几何（將n维球面之相对点視為等同的曲面）和可定向球面几何（同样的非欧几里得几何，但是並不將相对的点視為等同）有同构的自同构群，偶数n的SO(n+1)。这两个看起来不同。但是事实上，这两个几何紧密相关，以一种可以精确描述的方式。

再举一例，不同曲率半径的椭圆几何有同构的自同构群。这其实不能算作一个评价，因为所有这种几何同构。一般的黎曼几何在这个纲领所能包括的边界之外。

更多值得注意的例子产生于物理学中。

首先，n维双曲几何，n维de Sitter空间和（n−1）维逆几何（inversive geometry）都有同构的自同构群，

${\displaystyle O(n,1)/\mathbb {Z} _{2}}$,

正确时间的洛伦兹群，对于n ≥ 3的情况。但是这些显然是不同的几何。这里，有些有趣的结果从物理学中进来。已经证明这三个几何中的任何一个中的物理模型是对于某些模型对偶的。

还有，n维反de Sitter空间和有“洛伦兹”特征数的(n−1)维共形空间（conformal space，和有“欧几里得”特征数的共形空间不同，那种和逆几何相同，对于3维以上情况）有同构的自同构群，但是不同的几何。再次，在物理中有一些在两个空间中对偶的模型。更多的细节参看AdS/CFT。

所以，在和物理中的对偶性的关系中，爱尔兰根纲领还是可以视为相当丰富的。

克莱因的观点实际上将几何视为两个群（通常是李群）的商G/H，上节提到相关的各种几何的同构的自同构群也就是同构的H。因而，上述的爱尔兰根纲领的局限性可以通过引入附加的结构来弥补。换而言之，克莱因几何没有考虑空间的不均匀性，因而只有齐性空间得到了处理。如果在此基础上引入联络，则就像引入度量将欧几里得几何推广为黎曼几何一样，我们将克莱因几何推广到了嘉当几何。细节可以参看嘉当联络。

• 齐性空间
• 克莱因几何
• 希尔伯特计划
• 朗蘭茲綱領
• 埃尔朗根纲领

• Heinrich Guggenheimer. [微分几何]. 美国纽约: Dover Publications. 1977: 139. ISBN 0-486-63433-7 （英语）. A Klein geometry is the theory of geometric invariants of a transitive transformation group.

这是一本便宜而且不太难的书，里面有大量引用索菲斯·李、克莱因和埃利·嘉当的话。

• 菲利克斯·克莱因. [新几何研究上比较的观点] (学位论文). 1872 （德语）.

Mathematische Annalen, 43 (1893) pp. 63-100（Also: Gesammelte Abh. Vol. 1, Springer, 1921, pp. 460-497).由Mellen Haskell翻译的一个英译本可见于Bull. N. Y. Math. Soc 2 (1892-1893): 215--249. 本纲领的德文版可在美国密歇根大学的在线收集站上阅读： [新几何研究上比较的观点]. 密歇根大学 （德语）.

• 菲利克斯·克莱因. [高观点下的初等数学：几何] 第2卷. 美国纽约: Dover Publications. 2004. ISBN 0-486-43481-8 （英语）."
  • 菲利克斯·克莱因. [高观点下的初等数学]. 西方数学文化理念传播译丛. 第2卷“几何”. 舒湘芹 (翻译), 陈义章 (翻译), 杨钦樑 (翻译), 余家荣 (审核) 中文版第1版. 复旦大学出版社 （中文（中国大陆））.