爱尔兰根纲领

✍ dations ◷ 2025-03-07 11:23:33 #古典几何学,群论,对称,齐性空间

爱尔兰根纲领(德语:Erlanger Programm;英语:Erlangen program)是菲利克斯·克莱因于1872年发表一个深具影响的研究纲领,题为《新几何研究上比较的观点》(),由于克莱因那个时候在爱尔兰根而得名。该纲领建议了对于那个时候的几何问题的一种新的解决办法。

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

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

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

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

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

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

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

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

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

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

一个例子:可定向(也就是说,反射是除外的)椭圆几何(也就是,把n维球面相对点等同的曲面)和可定向球面几何(同样的非欧几里得几何,但是相对的点没有等同起来)有同构的自同构群,偶数的(+1)。这两个看起来不同。但是事实上,这两个几何紧密相关,以一种可以精确描述的方式。

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

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

首先,维双曲几何,维de Sitter空间和(−1)维逆几何(inversive geometry)都有同构的自同构群,

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

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

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

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

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

, 43 (1893) pp. 63-100(Also: Gesammelte Abh. Vol. 1, Springer, 1921, pp. 460-497).由Mellen Haskell翻译的一个英译本可见于 2 (1892-1893): 215--249.本纲领的德文版可在美国密歇根大学的在线收集站上阅读: . 密歇根大学 (德语). 

相关

  • 不可观测性不可观测性(英语:unobservability),是一种物理特性。人类不可直接观测其存在、本质、特性、质地,或交互作用的事物就称为不可观测的事物。在科学哲学中,不可观测的事物的典型例子
  • 克非尔克非尔(英语:kephir 或 Kefir,也译为克菲尔、开菲尔),又称为牛奶酒、咸酸 奶,是一种发源于高加索的发酵牛奶饮料。这种饮料是通过在牛奶或羊奶上接种上一批的克非尔粒-或称为克非
  • 共轭焦显微镜共聚焦显微成像技术(英语:Confocal microscopy)是一种利用逐点照明和空间针孔调制来去除样品非焦点平面的散射光的光学成像手段,相比于传统成像方法可以提高光学分辨率和视觉对
  • 梅肯梅肯(英语:Macon /ˈmeɪkən/),正式名称梅肯-比伯县(Macon–Bibb County),位于美国佐治亚州首府亚特兰大市东南约81英里(约130公里)处,人口约15万,是该州第五大城市、工业重镇,其传统产
  • 维根主义维根主义(英语:Veganism)是一种哲学,是一种生活方式。志在尽可能排除对动物的剥削与虐待。包括:食用动物或动物身上的部分(包含肉类、鱼类、甲壳类及昆虫)、奶制品(如起司)、蛋、蜂蜜
  • 芭芭拉·沃尔特斯芭芭拉·吉儿·沃尔特斯(Barbara Jill Walters,1929年8月25日-),美国广播记者、作家与电视人物。沃尔特斯以其曾主持过许多电视节目闻名全美,包含诸如《今天》、《观点(英语:The Vie
  • 阿肯色领地美国国旗阿肯色领地(英语:Territory of Arkansas),美国历史上的合并建制领土,存续时间为1819年7月4日至1836年6月15日。1836年6月15日,阿肯色领地加入联邦,成为阿肯色州。
  • 颛臾颛臾(汉语拼音:zhuān yú),位于今山东省的风姓古国,相传以风为姓的太皞后裔,西周初期,周武王封之,周天子给颛臾国的主要任务就是祭祀蒙山。春秋时期,颛臾为鲁国封疆内的附庸国。《春
  • 裸背果蝠属裸背果蝠属(大裸背果蝠),哺乳纲、翼手目、狐蝠科的一属,而与裸背果蝠属(大裸背果蝠)同科的动物尚有棕榈果蝠属(棕榈果蝠)、黄毛果蝠属(黄毛果蝠)、犬蝠属(犬蝠)、黑冠果蝠属(黑冠果蝠)等之
  • 罗宾·什贝斯基罗宾·查尔斯·什贝斯基(英语:Robin Charles Scherbatsky, Jr.,1980年7月23日出生)是美国剧集《老爸老妈的浪漫史》里的一个角色,由加拿大女演员寇碧·史莫德斯(Cobie Smulders)饰