- 295 名前：Kummer ◆SgHZJkrsn08e [2012/03/25(日) 08:35:01.11 ]
- 定義（過去スレpart5の92の修正）
G を群とする。
X を G-集合（過去スレpart5の77）とする。
x、y ∈ X に対して y = σx となる σ ∈ G があるとき x 〜 y と書く。
これは明らかに同値関係である。
商集合 X/〜 を G-集合 X の軌道空間（orbit space）と呼び、X/G と書く。
この同値関係による各同値類を軌道（orbit）または G-軌道（G-orbit）と言う。
x ∈ X が属す軌道を x の軌道または G-軌道と言い、Gx または O(x) と書く。
