齐性空间

✍ dations ◷ 2025-09-13 11:53:54 #几何学,拓扑群,李群,齐性空间

在数学,特别是李群、代数群与拓扑群的理论中,关于群的一个齐性空间(homogeneous space)是一个非空流形或拓扑空间,可传递地作用在上,G中的元素称之为X的对称。一个特例是空间的自同构群,这里自同构群可以是等距同构群、微分同胚群或是同胚群。在这些例子中,如果直觉想成于任何地方局部看起来一样,则是齐性的。像是等距同构(刚体几何)、微分同胚(微分几何)或是同胚(拓扑)。一些作者要求的作用是有效的(或忠实),不过本文并不要求这样。从而上存在可以想象为保持上相同“几何结构”的一个群作用,使成为一个单-轨道。

设是一个非空集合,是一个群。如果存在在上一个作用,则称为一个-空间。注意通过自同构自动作用在这个集合上。如果还额外属于某一个范畴,则要求中元素的作用是这个范畴中的自同构。从而由在上产生的映射保持结构。一个齐性空间是一个作用传递的空间。

简明地说,如果是范畴C中一个对象,则一个-空间结构是到范畴C中对象的自同构群一个同态:

若ρ()是承载集合的一个传递的、对称群,则二元组 (,ρ)定义了一个齐性空间。

例如,若是一个拓扑空间,则要求群元素在上的作用是自同胚。-空间的结构是到自同胚群的一个群同态ρ : → Homeo()。

类似地,如果是一个微分流形,则群元素是微分同胚。-空间结构是到微分同胚群的一个群同态ρ : → Diffeo()。

从埃尔朗根纲领的观点,可以理解在的几何中“所有点是一样的”。十九世纪中叶黎曼几何提出之前的所有几何本质上都是如此。

例如欧几里得空间、仿射空间和射影空间都自然是相应对称群的齐性空间。这对常曲率非欧几里得几何模型,比如双曲空间,同样成立。

一个深一点的经典例子是三维射影空间里线组成的空间(等价于,四维向量空间中的二维子空间)。用简单的线性代数可以证明GL4传递作用在这个空间上。我们可用“线坐标”将其参数化:存在2×4矩阵的2×2 子式使得其列向量是子空间的两个基向量。所得空间的几何是尤里乌斯·普吕克(英语:Julius Plücker)的线几何。

一般地,如果是一个齐性空间,而o是中某一给定点的稳定子(选取一个原点),中的点对应于左陪集/o

选取不同的原点一般将得到商去一个不同子群o′,它与o相差一个的内自同构。准确地,

这里是中任何元素使得 = ′。注意内自同构 (1)与的选取无关,只取决与模去o

如果在上的作用连续,则是的一个闭子群。特别地,如果是一个李群,则由嘉当定理是一个闭李子群。从而/是一个光滑流形,并且带有与这个群作用相容惟一的光滑结构。

如果是恒同子群{},则是一个主齐性空间。

对线几何之例子,我们可将等同于16-维一般线性群

的一个12-维子群,由如下矩阵元素的条件定义

通过寻找前两个标准基向量生成的子空间的稳定子。这便证明了的维数是4。

因为由子式给出的齐次坐标有6个,这意味着后者不是互相独立的。事实上这六个子式间有一个二次关系,已为十九世纪的几何学家知道。

这个例子是比射影空间更早发现的第一个格拉斯曼流形。在数学的通常使用中有许多更深入的典型线性群的齐性空间。

准齐性向量空间概念由佐藤干夫提出。

它是带有一个代数群作用的有限维向量空间,使得存在的一个轨道在扎里斯基拓扑下是开集(从而稠密)。一个例子是GL1作用在一维空间空间上。

这个定义比它最初出现时更加严格:这样的空间具有不寻常的性质,不可约准齐性向量空间在相差一个称之为“castling”的转换下存在一个分类。

凡用到广义相对论的宇宙学都会使用比安基分类系统。相对论中的齐性空间代表某种宇宙模型的背景度量的空间部分;例如弗里德曼-勒梅特-罗伯逊-沃尔克度量的三个案例可以用比安基I(平坦),V(开),VII(平坦或开)与IX(闭)型子集来代表,而Mixmaster universe(英语:Mixmaster universe)代表一个比安基IX型宇宙的各向异性例子。

一个维齐性空间允许一个由(-1)/2 基灵向量场组成的集合。三维时,总共给出了六个线性无关的基灵向量场;齐性3-空间可以使用这些向量场的线性组合,来寻找在任何地方都非零的基灵向量场 ξ i ( a ) {\displaystyle \xi _{i}^{(a)}}

这里 C   b c a {\displaystyle C_{\ bc}^{a}} 为“结构常数”,是一个常秩-3张量,两个下指标反对称, ; {\displaystyle ;} 表示共变微分算子。在一个平坦各向同性宇宙情形,可能有 C   b c a = 0 {\displaystyle C_{\ bc}^{a}=0} (I型),但在闭FLRW宇宙情形, C   b c a = ε   b c a {\displaystyle C_{\ bc}^{a}=\varepsilon _{\ bc}^{a}} 这里 ε   b c a {\displaystyle \varepsilon _{\ bc}^{a}} 是列维-奇维塔符号。

相关

  • 合成谬误合成谬误(英语:Fallacy of composition),又译为构成谬误,是一种非形式谬误,系基于整体中的某些部分具有某性质,而整体本身并非具备该性质,这是一种以偏概全。与合成谬误相反的是分割
  • 舱外活动:2000年之前本列表包含了所有的1965年至1999年之间太空行走以及月表行走;即所有宇航员完全或部分离开航天器的事件。除了七次美国太空行走外,所有的宇航员在执行太空行走时都与航天器保持
  • 凯尔特语凯尔特语族是印欧语系下的一族语言。古时曾在西欧广泛使用,但今日使用此族语言的人口只存在于不列颠群岛上的一些地区和法国的布列塔尼半岛上。主要存在着四个族群,至于如何分
  • 咬合咬合,又称�(Occlusion),是牙科术语,即是牙齿对应;通常是指上颌骨与下颌骨的牙齿对应,当咀嚼或休息时两者的接触时间。�字由四川大学华西口腔医学院第二任院长邹海帆在1920年代、1930
  • 金宽容金宽容(韩语:김관용,1942年11月29日-),是大韩民国的政治人物,2006年7月1日起担任庆尚北道知事(朝鲜语:경상북도지사)。金宽容中学就读大邱师范学校(韩语:대구사범학교),后进入岭南大学以经
  • 蛔形兰属蛔形兰是金粟兰科中包括略少于20个物种的小型树。蛔形兰通常生长在热带雨林中,需要高度的湿度和规律的降雨。蛔形兰此一名称是因为其花药看起来和蛔虫相似。之中的许多物
  • 邓广汉邓广汉(?-前66年),西汉人,霍光的长女婿。霍光执政时,任长乐卫尉。霍光死后,前67年八月,汉宣帝夺其兵权,转任他为长信少府。霍氏家族谋反,他参予其谋,乐平侯霍山密谋让上官太后设酒宴款待
  • 费恭费恭,三国时代蜀汉官员,荆州江夏郡�县(今河南省罗山县)人,大将军费祎之子,费承的弟弟。费恭父亲费祎为蜀汉重臣,于延熙十六年(253年)被魏国归降的郭脩刺杀,费恭尚公主,公主是否是后主刘
  • 奥斯卡·德·尼格里弗朗索瓦·奥斯卡·德·尼格里(法语:François Oscar de Négrier;1839年10月2日-1913年8月22日)法兰西第三共和国将领。出生于法国贝尔福,在普法战争期间在巴赞元帅率领的莱茵军
  • 1953年世界大赛< 1952年1954年 >1953年的世界大赛是由四度卫冕的纽约洋基再度与布鲁克林道奇交手,这次洋基只花了六场就击败对手,完成大联盟史上唯一一次五连霸,以及队史第16座奖杯。这也是