英和和英

数学において，ある集合 S の元が（同値関係として定式化される）同値の概念を持つとき，集合 S を同値類（どうちるい，英: equivalence class）たちに自然に分割できる．これらの同値類は，元 a と b が同じ同値類に属するのは a と b が同値であるとき，かつそのときに限るものとして構成される． フォーマルには，集合 S と S 上の同値関係 ∼ が与えられたとき，元 a の S における同値類は，a に同値な元全体の集合 である．「同値関係」の定義から同値類は S の分割をなす．この分割，同値類たちの集合，を S の ∼ による商集合 (quotient set) あるいは商空間 (quotient space) と呼び，S/∼ と表記する． 集合 S が（群演算や位相のような）構造を持ち，同値関係 ∼ がこの構造と適切に両立するように定義されているとき，商集合はしばしばもとの集合から類似の構造を引き継ぐ．例としては，線型代数学における商空間，位相空間論における商空間，商群，等質空間，商環，商モノイド，商圏など． 同値関係は二項関係 ∼ であって以下の3つの性質を満たすものである： 元 a の同値類は [a] と書き，a と ∼ によって関係づけられる元全体の集合 として定義される．同値関係 R を明示して [a]R とも書かれる．これは a の R-同値類といわれる． 同値関係 R に関する X のすべての同値類からなる集合を X/R と書き，X の R による商集合 (quotient set of X by R, X modulo R) と呼ぶ．X から X/R への各元をその同値類に写す全射 x ↦ [ x ] {\displaystyle x\mapsto [x]} は標準射影と呼ばれる． 各同値類の元を（しばしば暗黙に）選ぶと，切断と呼ばれる単射が定義される．この切断を s で表せば，各同値類 c に対して [s(c)] = c である．元 s(c) は c の代表元 (representative) と呼ばれる．切断を適切に取って類の任意の元をその類の代表元として選ぶことができる． ある切断が他の切断よりも「自然」であることがある．この場合，代表元を標準代表元と呼ぶ．例えば，合同算術において，整数上の同値関係で，a ∼ b を a − b が法と呼ばれる与えられた整数 n の倍数であると定義したものを考える．各類は n 未満の非負整数を唯一つ含み，これらの整数が標準的な代表元である．類とその代表元は多かれ少なかれ同一視され，例えば a mod n という表記は類を表すことも標準的な代表元（a を n で割った余り）を表すこともある． X の任意の元 x は同値類 [x] の元である．任意の2つの同値類 [x] と [y] は，等しいか互いに素かのいずれかである．したがって，X のすべての同値類からなる集合は X の分割をなす，つまり，X の任意の元はちょうど1つの同値類に属する．逆に X の任意の分割は同値関係からこのようにして生じる．x ∼ y を x と y が分割の同じ集合に属するとした同値関係である． 同値関係の性質から次が従う： 言い換えると，∼ が集合 X 上の同値関係であり，x と y が X の2つの元であれば，以下の主張は同値である： 任意の二項関係は有向グラフによって，同値関係のような対称的なものは無向グラフによって表すことができる．∼ が集合 X 上の同値関係であるとき，グラフの頂点全体を X の元全体とし，s ∼ t のとき，かつそのときに限り頂点 s と t を結ぶ．同値類はこのグラフにおいてグラフの連結成分をなす極大クリークによって表される． ∼ が X 上の同値関係で P(x) が，x ∼ y であるときにはいつでも，P(y) が真ならば P(x) が真であるような，X の元の性質であるとき，性質 P は ∼ の不変量，あるいは関係 ∼ のもとで well-defined であるといわれる． よくある場合は f が X から別の集合 Y への関数であるときに生じる；x1 ∼ x2 であるときにはいつでも f(x1) = f(x2) であるとき，f は ∼ に対する射，∼ の下での類不変量，あるいは単に ∼ の下の不変量といわれる．これは例えば有限群の指標理論において現れる．著者によっては「∼ の下で不変」の代わりに「∼ と両立する」あるいはただ「∼ に従う」を用いる． 任意の関数 f: X → Y はそれ自身，x1 ∼ x2 ⇔ f(x1) = f(x2) なる X 上の同値関係を定義する．x の同値類は f(x) に写される X の元全体の集合である，つまり，類 [x] は f(x) の逆像である．この同値関係は f の核として知られている． より一般に，関数は（X 上の同値関係 ∼X の下で）同値な引数を（Y 上の同値関係 ∼Y の下で）同値な値に送ることがある．そのような関数は ∼X から ∼Y への射と呼ばれる． 位相空間論において商空間は、与えられた同値関係に関する同値類全体の成す集合上にもとの空間の位相から誘導される位相を入れて得られる位相空間である。