齐性空间 是一个具有李群的传递群作用的空间。由于传递群作用意味着只有一个群轨道,因此
同构于 商空间
,其中
是迷向群
。
的选择不影响
的同构类型,因为所有的迷向群都是共轭的。
许多常见的空间是齐性空间,例如超球面,
(1)
|
以及复射影空间
(2)
|
(3)
|
投影 使
成为在
上的主丛,其纤维为
。例如,
是在球面上的一个
丛,即一个圆丛。 子群
(4)
|
从右侧作用,并且不影响第一列,因此 是良定义的。