同値関係

数学において、**同値関係**（どうちかんけい、）とは二項関係であって反射的、対称的、推移的の3つの性質を満たすものをいう。そのことから、与えられた集合上の1つの同値関係はその集合を同値類に分割（類別）することが導かれる。

同値関係にあることを表すのに用いられる記法は文献によってさまざまであるが、与えられた集合上の同値関係  に関して2つの元  が同値であることを "" や "" で表すことが最もよく用いられる。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。

## 定義
ある集合 S において、以下を全て満たす二項関係 \sim は S 上の**同値関係**であるという。
* 反射律\forall\ a\in S,\,a\sim a
* 対称律\forall\ a,\,b\in S,\,a\sim b\rarr b\sim a
* 推移律\forall\ a,\,b,\,c\in S,\,\left(a\sim b\land b\sim c\right)\rarr a\sim c
この三つをまとめて**同値律**ということがよくある。\sim が同値関係であるときに、a\sim b であることを、a と b は**同値**であるという。

## 同値関係の例
* 相等関係 ()：集合としてあるいは集合の元として同じである。表現形式や構成要素が同一である。
* 図形の合同関係：位置や裏表や向きの違いを無視して、図形として同じである。
* 図形の相似関係：裏表・向き・大きさの比率の違いを無視して、図形の "形" としては同じである。
* 直線の平行関係：アフィン平面内の直線が交わらないか、一致する（傾きが同じである）。
* 量の比例関係：増え方・減り方の割合としては同じである。
* 整数の合同関係：ある数で割った余りが同じである。

以下のものは一般には、類における "関係" となる。
* 集合の濃度の対等 "関係"：集合の中身は別として、集合の大きさとしては同じである。
* 命題が同値であるという "関係"：2つの命題において、真偽（真理値）が同じである、または互いに片方から他方を証明できる。

## 諸概念
### 同値類

集合  の上に同値関係  が定義されているときには、 の各元  に対して  に同値である元を全て集めた集合を考えることができる。この  の部分集合を、 を**代表**あるいは**代表元** () とする**[[同値類]]** () または単に  の（属する）類と呼び、普通  などと書く：
:[a] := \{ x \in S \mid a \sim x\}.
また、1つの同値類  に対して、 となる  の元  を1つ定めることを、 の代表元として  をとるという。1つの同値類は、それに含まれている元を任意に選んでそれを代表元とする同値類を作ってもそれはもとと同じ同値類になる（同値類は代表元の取替えによって不変である）：
:X = [x],\ y \in X \iff y \in [x] \iff x \sim y \iff x \in [y] \iff [y] = X,\, x \in X.
ゆえに同値類に関する性質を代表元の性質のみによって記述することは、一般には適当ではない。 上の同値関係  が与えられたとき、 の元に関する性質  が  なるとき常に  ならば  を満たすならば、性質  は同値関係  の下で well-defined であるとか、各同値類上で不変 (*class invariant*; 類不変) であるなどという。

そのようなものとしてよくあるのが、写像  で、 ならば  なるときである。この場合、 は各同値類上で定数 (*class invariant under* )、あるいは  の下で不変 (*invariant under* ), より短く -不変などという。このようなものは例えば有限群の指標論などで見かけることができる。また、このような写像の性質を可換三角図式として書き表すことができる（不変量なども参照）。文献によっては、不変という代わりに、 に関する準同型 (*morphism*; 射) であるとか  と両立する (compatible with ) とか適合する ("respects ") などのように言うこともある。

より一般に、（ある関係  に関して）同値なものを（別の関係  に関して）同値なものへ写す写像を考えることができて、そのような写像を  から  への準同型（あるいは射）などと呼ぶ。

### 商集合
集合  の同値関係 \sim から定まる同値類すべてを集めた集合のことを、集合  を**同値関係** \sim **で割った集合**、あるいは  の \sim による**[[商集合]]**であるといい、
:S/{\sim} := \{[x] \mid x \in S\}
と表す。集合  の元に対してそれが属する同値類を対応させることにより、から商集合への自然な全射
:\pi\colon S \twoheadrightarrow S/{\sim};\ x \mapsto [x]
が与えられる。これを同値関係 \sim に付随する**[[商写像]]**や**標準射影**という。
; 定理 (標準射影の普遍性)
: 写像  が  ならば  を満たすならば、商集合からの写像  で f=g\circ\pi（ は標準射影）を満たすものが一意に存在する。さらに、 が全射かつ  を満たすとき、 は全単射となる。

また、 の相異なるすべての同値類から代表元を1つずつ集めて作った  の部分集合のことを、集合  における同値関係 \sim の（あるいは商集合 S/\sim の）**完全代表系** () と呼ぶ。つまり、集合  の部分集合  が同値関係 \sim についての完全代表系であるとは、包含写像と標準射影の合成 A\hookrightarrow S\twoheadrightarrow S/\sim;a\mapsto[a] が全単射となることである。

### 類別

集合  に対して、 の空集合を含まない部分集合族  であって、 に属するどの2つの相異なる集合は交わりを持たず、 の和集合が  全体に一致するときに、集合族  のことを集合  の**類別**または**分類** () あるいは**[[集合の分割|分割]]** (partition) であるという。
; 定理 (同値関係と類別の関係)
:* 集合  上の同値関係  は  を類別する。
:*  の任意の類別に対して  上の同値関係  が一意的に対応する。
これが同値関係と類別の間の基本的な結果である。
いずれの主張も、 の分割のセル全体のなす集合が  の  に関する同値類全体のなす集合に一致する。 の各元  は  の分割のセルのうちただ1つのみに属するのであるから（かつ、各セルは同値類と同一視できるのだから）、各元  は  の同値類のうちただ1つのみに属する。従って、 上で可能な同値関係全体のなす集合と  の分割全体のなす集合との間には自然な全単射が存在することがわかる。

### 同値核

写像  の**同値核** (*equivalence kernel*) あるいは  に**付随する同値関係**とは、
: x\sim y \iff f(x) = f(y)
で定義される関係  を言う。

### 同値関係の比較

集合  上の2つの同値関係  が  ならば  を任意の  に対して満たすとき、同値関係  は  より**粗い** (*coarser*) または弱いといい、 は  より**細かい** (*finer*) または強いという。

同値類の言葉で言えば
*  が  より細かい（強い）とは、 に関する任意の同値類が  に関する適当な同値類の部分集合となるときにいう。
それゆえ、 に関する任意の同値類は  に関する同値類の合併になる。すなわち
*  が  より細かい（強い）とは、 の定める分割が  の定める分割の細分となるときに言う。
とも言い換えられる。

相等関係は任意の集合上で最も強い同値関係であり、自明な関係は最も弱い同値関係であり、任意の2つの元は互いに同値になる。

集合  を固定して考えるとき、その上の同値関係全体の成す集合上で、" は  より細かい" という関係はそれ自身半順序を成し、それにより  上の同値関係の全体はをなす。

## 商集合の例

整数全体のなす集合  に、 と  の差  が  の倍数であるときまたそのときに限って  という関係 を決めると、これは同値関係になる。

この関係によって集合  が3つの同値類（この場合、*剰余類* とも呼ばれる）に分割される。それぞれの同値類は  で割り切れるもの全体 、 余るもの全体 、 余るもの全体  に対応している。

この商集合は普通  と書かれて、自然に演算が定義できて、加法に関するアーベル群、さらに乗法をいれて可換環になる（剰余類環）。また  が素数のとき  は体（有限体）になる。

同様の例として、商線型空間（商ベクトル空間）、剰余群（剰余類群、商群）、剰余環（商環）、商位相空間などはそれぞれ適当な同値関係による商集合（に適切な構造を付与したもの）として定義される。

## 他の2項関係との関係
* 半順序は反射的・かつ推移的な二項関係をいう。
* 相等関係は半順序かつ同値関係となるような関係である。また、相等関係は反射的・対称的かつ反対称的な唯一の関係である。
* 狭義半順序は、非反射的・推移的かつ非対称的をいう。
* は推移的かつ対称的である。推移性と対称性から反射性が出るための必要十分条件は、各元  に対して適当な  をとれば  とできることである。
* 反射的かつ対称的な関係は、それが有限なときといい、無限なときという。
*  は反射的かつ推移的な関係をいう。
* 合同関係は適当な代数系の台集合上で定義される同値関係で、付随する代数構造と両立するようなものをいう。一般に、合同関係は準同型の核と同じ役割を果たすもので、それによる商集合に商代数系の構造を入れることができる。多くの重要な場合において合同関係は考えている構造の部分構造として実現することができる（例えば、群の合同関係は正規部分群に対応する）。

### ユークリッド関係
ユークリッドの著『原論』には
; 公理 1
: 同じものに等しいもの同士は互いに等しい
という公理がある。今日において、上の公理の「等しい」という部分をすべて「関係する」と書き換えた性質を満足する関係はであると言われる。二項関係  に関して一般には  は  と相異なるから、ユークリッド関係も
* 左ユークリッド関係：( かつ ) ならば 
* 右ユークリッド関係：( かつ ) ならば 
の二種類が考えられる。ユークリッド関係と同値関係との関係は以下のように述べることができる:
; 定理
: 与えられた左（または右）ユークリッド関係が反射的ならば、その関係は対称的かつ推移的となる。
証明は以下のようにすればよい。
* 左ユークリッド関係の性質 [( かつ ) ならば ] において  ととれば、[( かつ ) ならば ] を得る。いま仮定により  は反射的だから恒真となる  を除去すれば対称性 [ ならば ] を得る。
* 対称性が示されたから、左ユークリッド関係の性質 [( かつ ) ならば ] において  を  で置き換えて推移性 [( かつ ) ならば ] を得る。
右ユークリッド関係についても同様。ゆえに、同値関係は反射的かつユークリッド的な二項関係として特徴づけられる。

## 一般化

同値関係を圏論的に一般化した概念に余等化子がある。圏  の射  の**余等化子**とは対象  と射  の組であって、 を満たし、以下の普遍性を持つものである：対象  と射  の組があって、 を満たすならば、次の図式を可換にする射  がただ1つ存在する。
center|
集合  上に同値関係  が与えられたとする。 とおき、写像  を ,  で定義すると、商集合  と標準射影  の組は集合の圏における  と  の余等化子である。

## 出典

## 参考文献
* 

## 関連項目
* 違いを除いて

## 外部リンク
* 
* 
* 
*