查看“︁爱尔兰根纲领”︁的源代码

{{infobox book}}
'''爱尔兰根纲领'''（{{lang-de|'''Erlanger Programm'''}}；{{lang-en|'''Erlangen program'''}}）是[[菲利克斯·克莱因]]于1872年发表一个深具影响的研究[[纲领]]，题为《新几何研究上比较的观点》（''Vergleichende Betrachtungen über neuere geometrische Forschungen''），因克莱因當時在[[埃朗根-纽伦堡大学|愛爾朗根-紐倫堡大學]]工作，所以以[[爱尔兰根]]命名。该纲领提議了對當時[[几何]]问题的嶄新看法。

==19世纪几何中的问题==

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

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

==齐性空间==

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

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

==例子：仿射几何==

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

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

==在后来的工作上的影响==

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

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

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

==从爱尔兰根纲领的抽象的回归==

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

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

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

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

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

:<math>O(n,1)/\mathbb{Z}_2</math>, 

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

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

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

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

==参看==

* [[齐性空间]]
* {{link-en|克莱因几何|Klein geometry}}
* [[希尔伯特计划]]
* [[朗蘭茲綱領]]
* [[埃尔朗根纲领]]

==参考==
* {{cite book |author=Heinrich Guggenheimer |title=''Differential Geometry'' |url=https://archive.org/details/differentialgeom00gugg |trans-title=微分几何 |publisher=Dover Publications |location=美国纽约 |isbn=0-486-63433-7 |page=[https://archive.org/details/differentialgeom00gugg/page/n147 139] |year=1977 |language=en |quote="A Klein geometry is the theory of geometric invariants of a transitive transformation group."}}
这是一本便宜而且不太难的书，里面有大量引用[[索菲斯·李]]、克莱因和[[埃利·嘉当]]的话。
* {{cite thesis |author=菲利克斯·克莱因 |title=''Vergleichende Betrachtungen über neuere geometrische Forschungen'' |trans-title=新几何研究上比较的观点 |publisher= |year=1872 |language=de}}
''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.
本纲领的德文版可在美国[[密歇根大学]]的在线收集站上阅读：{{cite web |title=''Vergleichende Betrachtungen über neuere geometrische Forschungen'' |trans-title=新几何研究上比较的观点 |url= http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=ABN7632 |publisher=密歇根大学 |language=de}}
* {{cite book |author=菲利克斯·克莱因 |title=''Elementary Mathematics from an Advanced Standpoint: Geometry'' |trans-title=高观点下的初等数学：几何 |publisher=Dover Publications |location=美国纽约 |series= |volume=第2卷 |edition= |isbn=0-486-43481-8 |year=2004 |language=en}}"
** {{cite book |author=菲利克斯·克莱因 |others=舒湘芹 (翻译), 陈义章 (翻译), 杨钦樑 (翻译), [[余家荣]] (审核) |title=''Elementarmathematik vom höheren Standpunkte aus'' |trans-title=[[高观点下的初等数学]] |publisher=复旦大学出版社 |series=西方数学文化理念传播译丛 |volume=第2卷“几何” |isbn= |edition=中文版第1版 |year= |language=zh-cn}}
== 外部連結 ==
{{DEFAULTSORT:Erlangen program}}
[[Category:古典幾何學]]
[[Category:群论]]
[[Category:对称]]
[[分类:1872年]]
[[Category:齐性空间]]
[[分类:数学著作]][[分类:数学文献]]