等質空間

数学、とくにリー群、代数群、位相群の理論において、群 の等質空間（とうしつくうかん、）は、 が推移的に作用するような空でない多様体あるいは位相空間 である。 の元は の対称変換 (symmetry) と呼ばれる。特別な場合は、問題の が空間 の自己同型群であるときである――ここで「自己同型群」は、微分同相群、あるいはの意味である。この場合 が等質空間であるとは、直感的には が、等長写像（リジッド幾何学）、微分同相写像（微分幾何学）、あるいは同相写像（位相幾何学）の意味において、各点で局所的に同じに見えるということである。著者によっては の作用が忠実である（非単位元は非自明に作用する）ことを要求するが、本記事ではそうしない。したがって、 上のある「幾何学的構造」を保ち を単一の -軌道にすると考えられるような の への群作用が存在する。
定義.
 を空でない集合とし を群とする。 が -空間であるとは、 が に作用していることをいう。自動的に は集合に自己同型（全単射）によって作用することに注意する。 がさらにある圏に属しているならば、 の元はその圏における同型射として作用すると仮定される。したがって によってもたらされる 上の写像は構造を保つ。等質空間は が推移的に作用するような -空間である。
簡潔には、 が圏 の対象であれば、-空間の構造は圏 の対象 の自己同型射の群の中への準同型写像
である。対 は が の台集合の対称変換の推移的な群であるならば等質空間を定義する。
例.
例えば、 が位相空間であれば、群の元は 上の同相写像として作用すると仮定される。-空間の構造は のの中への群準同型写像 である。
同様に、 が可微分多様体であれば、群の元は微分同相写像である。-空間の構造は の微分同相群の中への群準同型写像 である。
は等質空間の重要なクラスであり、以下に挙げる例の多くを含む。
具体例：
幾何学.
エルランゲン・プログラムの観点から、 の幾何学において、「すべての点は同じである」と理解することができる。これは19世紀中頃のリーマン幾何学より前に提案された本質的にすべての幾何学について正しかった。
したがって、例えば、ユークリッド空間、アフィン空間、射影空間はすべて自然にそれらのそれぞれのの等質空間である。同じことはのような定曲率の非ユークリッド幾何学のモデルについても正しい。
さらなる古典的な例は3次元の射影空間の直線のなす空間（同じことであるが4次元ベクトル空間の2次元部分空間のなす空間）である。 がそれらに推移的に作用することを示すのは簡単な線型代数である。"line co-ordinates" によってそれらを径数付けできる： これらは列が部分空間の2つの基底ベクトルである 4 × 2 行列の 2 × 2 である。得られる等質空間の幾何学はのである。
剰余類空間としての等質空間.
一般に、 が等質空間であり、 が のあるマークされた点 （原点の選択）の安定化群であれば、 の点たちは左剰余類 たちと対応し、マークされた点 は単位元の剰余類に対応する。逆に、剰余類空間 が与えられると、これは区別された一点すなわち単位元の剰余類を持った の等質空間である。したがって等質空間は原点の選択なしに剰余類空間と考えることができる。
一般に、原点 の異なる選択は、 の内部自己同型によって と関係付けられる別の部分群 による の商群を導く。明示的には、
ただし は なる の任意の元である。内部自己同型 (1) はそのような の取り方にはよらず、 のみに依存することに注意する。
 の への作用が連続であれば、 は の閉部分群である。とくに、 がリー群であれば、 はカルタンの定理によって部分リー群である。したがって は滑らかな多様体であるので は群作用と両立する一意的なを持っている。
 が単位元のみからなる部分群 であれば、 はである。
さらに空間、とりわけ formula_6 へと進むことができる。ここで はに作用する（ の）離散部分群である。
例.
例えば直線幾何の場合には、 を、16次元一般線型群 の次のような12次元部分群、すなわち行列の成分についての条件
によって定義された部分群として、次のようにして同一視できる、すなわち最初の2つの標準基底ベクトルによって張られる部分空間の安定化群を探す。これは の次元が 4 であることを示している。
小行列式によって与えられるは6個だから、これは後者が互いに独立ではないことを意味する。実は6つの小行列式の間には1つの二次関係が成り立ち、これは19世紀の幾何学者に知られていた。
これはの例として射影空間の他に知られていた最初の例である。数学においてよく使われる古典的線型群の等質空間はもっとたくさんある。
概均質ベクトル空間.
の概念は佐藤幹夫によって導入された。
それは代数群 の群作用を持った有限次元ベクトル空間 であって、ザリスキ位相について開な（したがって稠密な） の軌道が存在するようなものである。例は1次元空間に作用する である。
定義は見た目よりも制約的である。そのような空間は注目すべき性質を持ち、"castling" と呼ばれる変換の違いを除いた既約概均質ベクトル空間の分類がある。
物理学における等質空間.
一般相対性理論が用いられる現代宇宙論では、ビアンキ分類系が活用されている。相対論における等質空間はなんらかの宇宙モデルの背景計量の空間部分を表現している。例えば、フリードマン・ルメートル・ロバートソン・ウォーカー計量における三つの場合は、ビアンキ I 型（平坦な宇宙）、V 型（開いた宇宙）、VII 型(平坦または開いた宇宙）、IX 型（閉じた宇宙）の部分集合で表現される。また、はビアンキ IX 型宇宙論の非等方な例である。
 次元等質空間には、 個からなるキリングベクトル集合の存在が許される。三次元の場合、全部で6つの線形独立なキリングベクトル場が存在する。三次元等質空間の特徴として、これらの線形結合を取ることによっていたるところ非零の三つのキリングベクトル場 formula_7を見付けることができる。
ここで、formula_9 は「構造定数」と呼ばれる、下付き添字が反対称な定数三階テンソルである（左辺の角括弧は反対称化を、";" は共変微分作用素を表わす）。平坦で等方的な宇宙の場合には、一つの可能性として formula_10 (type I) が挙げられるが、閉じたFLRW宇宙の場合には formula_11 をレヴィ＝チヴィタ記号として formula_12 が挙げられる。