同値類
位相空間論において商空間は、与えられた同値関係に関する同値類全体の成す集合上にもとの空間の位相から誘導される位相を入れて得られる位相空間である。
抽象代数学において代数系の台集合上で定義される合同関係は、その関係に関する同値類全体の成す集合上に商代数系(英語版)と呼ばれる代数構造を誘導する。線型代数学における商空間は、加法群に関して商群をとることによって得られるベクトル空間で、その商写像は線型写像になる。用例を敷衍して、抽象代数学において商加群、商環、商群などの任意の商代数系のことを「商空間」と呼ぶことがあるが、より一般の場合においてもしばしば群作用の軌道とのアナロジーによって「商空間」の語を用いることがある。
適当な集合上に定義された群作用の軌道全体の成す空間は、その集合の群作用に関する商空間とも呼ばれる(特に群作用の軌道空間が作用群の部分群による(部分群によるもとの群への左移動作用から生じる)右剰余類集合、あるいは右移動による軌道としての左剰余類集合になっている場合)。
位相群の正規部分群がもとの群に移動作用で作用しているときの商空間は、位相空間の意味でも抽象代数学の意味でも群作用の意味でも同時に商空間になっている。
商空間という言葉を、更なる構造も含めたうえで、任意の同値関係による同値類集合に対して用いることはできるけれども、商空間と呼ぶ目的は一般に、集合 X 上の同値関係の種類をもとの X に入っているのと同じ種類の構造を同値類集合上に誘導する同値関係と、あるいは群作用の軌道空間と比較することである。同値関係で保たれる構造の意味でも、群作用に対する不変量の研究の意味でも、いずれも上で与えた同値類の不変量の定義が導かれる。