- 684 名前：１３２人目の素数さん mailto:sage [2025/02/11(火) 10:33:10.10 ID:z8otUnNc.net]
- Hを空間として、ΓをHに作用する群とする。
a,b∈Hが、Γの作用で移り合うときa〜bとして同値関係を入れる。
商空間 H/Γ は一般的にはよく分からないものになり
同値類の代表系は選択公理で存在が保証されるだけ。
が、（古典）数学において重要な多くのケースは、H/Γ
が「良い構造」を持つ場合で、そのときは代表系が具体的に
構成される。基本領域とはそのような代表系。
これが「選択公理なしで成立」ということ。
