齐性空间

title: 正式定义.
content: 设"X"是一个非空集合,"G"是一个群。如果存在"G"在"X"上一个作用,则"X"称为一个"G"-空间。注意"G"通过自同构自动作用在这个集合上。如果"X"还额外属于某一个范畴,则要求"G"中元素的作用是这个范畴中的自同构。从而由"G"在"X"上产生的映射保持结构。一个齐性空间是一个"G"作用传递的"G"空间。  简明地说,如果"X"是范畴C中一个对象,则一个"G"-空间结构是"G"到范畴C中对象"X"的自同构群一个同态:  若ρ("G")是承载集合"X"的一个传递的、对称群,则二元组 ("X",ρ)定义了一个齐性空间。
title: 例子.
content: 例如,若"X"是一个拓扑空间,则要求群元素在"X"上的作用是自同胚。"G"-空间的结构是到"X"自同胚群的一个群同态ρ : "G" → Homeo("X")。  类似地,如果"X"是一个微分流形,则群元素是微分同胚。"G"-空间结构是到"X"微分同胚群的一个群同态ρ : "G" → Diffeo("X")。
title: 几何.
content: 从埃尔朗根纲领的观点,可以理解在"X"的几何中“所有点是一样的”。十九世纪中叶黎曼几何提出之前的所有几何本质上都是如此。  例如欧几里得空间、仿射空间和射影空间都自然是相应对称群的齐性空间。这对常曲率非欧几里得几何模型,比如双曲空间,同样成立。  一个深一点的经典例子是三维射影空间里线组成的空间(等价于,四维向量空间中的二维子空间)。用简单的线性代数可以证明GL传递作用在这个空间上。我们可用“线坐标”将其参数化:存在2×4矩阵的2×2 子式使得其列向量是子空间的两个基向量。所得空间的几何是尤里乌斯·普吕克的线几何。
title: 齐性空间作为陪集.
content: 一般地,如果"X"是一个齐性空间,而"H"是"X"中某一给定点"o"的稳定子(选取一个原点),"X"中的点对应于左陪集"G"/"H"。  选取不同的原点"o"一般将得到"G"商去一个不同子群"H",它与"H"相差一个"G"的内自同构。准确地,  这里"g"是"G"中任何元素使得"go" = "o"′。注意内自同构 (1)与"g"的选取无关,只取决与"g"模去"H"。  如果"G"在"X"上的作用连续,则"H"是"G"的一个闭子群。特别地,如果"G"是一个李群,则由嘉当定理"H"是一个闭李子群。从而"G"/"H"是一个光滑流形,并且"X"带有与这个群作用相容惟一的光滑结构。  如果"H"是恒同子群{"e"},则"X"是一个主齐性空间。
title: 例子.
content: 对线几何之例子,我们可将"H"等同于16-维一般线性群  的一个12-维子群,由如下矩阵元素的条件定义  通过寻找前两个标准基向量生成的子空间的稳定子。这便证明了"X"的维数是4。  因为由子式给出的齐次坐标有6个,这意味着后者不是互相独立的。事实上这六个子式间有一个二次关系,已为十九世纪的几何学家知道。  这个例子是比射影空间更早发现的第一个格拉斯曼流形。在数学的通常使用中有许多更深入的典型线性群的齐性空间。
title: 准齐性向量空间.
content: 准齐性向量空间概念由佐藤干夫提出。  它是带有一个代数群"G"作用的有限维向量空间"X",使得存在"G"的一个轨道在扎里斯基拓扑下是开集(从而稠密)。一个例子是GL作用在一维空间空间上。  这个定义比它最初出现时更加严格:这样的空间具有不寻常的性质,不可约准齐性向量空间在相差一个称之为「castling」的转换下存在一个分类。
title: 物理中的齐性空间.
content: 凡用到广义相对论的宇宙学都会使用比安基分类系统。相对论中的齐性空间代表某种宇宙模型的背景度量的空间部分;例如弗里德曼-勒梅特-罗伯逊-沃尔克度量的三个案例可以用比安基I(平坦),V(开),VII(平坦或开)与IX(闭)型子集来代表,而Mixmaster universe代表一个比安基IX型宇宙的各向异性例子。  一个"N"维齐性空间允许一个由"N"("N"-1)/2 基灵向量场组成的集合。三维时,总共给出了六个线性无关的基灵向量场;齐性3-空间可以使用这些向量场的线性组合,来寻找在任何地方都非零的基灵向量场formula_3,  这里formula_5为“结构常数”,是一个常秩-3张量,两个下指标反对称,formula_6表示共变微分算子。在一个平坦各向同性宇宙情形,可能有formula_7(I型),但在闭FLRW宇宙情形,formula_8这里formula_9是列维-奇维塔符号。

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

Homogeneous space: In mathematics, particularly in the theories of Lie groups, algebraic groups and topological groups, a homogeneous space for a group "G" is a non-empty manifold or topological space "X" on which "G" acts transitively. The elements of "G" are called the symmetries of "X". A special case of this is when the group "G" in question is the automorphism group of the space "X" – here "automorphism group" can mean isometry group, diffeomorphism group, or homeomorphism group. In this case, "X" is homogeneous if intuitively "X" looks locally the same at each point, either in the sense of isometry (rigid geometry), diffeomorphism (differential geometry), or homeomorphism (topology). Some authors insist that the action of "G" be faithful (non-identity elements act non-trivially), although the present article does not. Thus there is a group action of "G" on "X" which can be thought of as preserving some "geometric structure" on "X", and making "X" into a single "G"-orbit.