同値関係のソースを表示

'''同値関係'''（どうちかんけい、{{lang-en|equivalence relation}}）とは、2 つの対象が "ある意味で" 同じである、あるいは同一視できるという関係を一般化した概念である。

例えば、[[整数]] 5と 12を 7で割った余りは共に 5である。5 と 12は異なる整数であるが、[[曜日]]([[七曜]])を扱う問題においては「同じもの」とみなす方がよい場合もある。数学に於いてはこのように、様々な「ある意味で同じ」という関係を考える必要がある。そこで「ある意味で同じ」という関係を一般化して考えるために、「同値関係」という名前を付けてそれらを総称する。

<!-- 記載する意義がよく判りません．とりあえずコメントアウト．

同値関係はあくまで[[集合]]（あるいは[[類 (数学)|類]]）における[[二項関係]]の一種であるので、[[命題]]の[[同値|同値性]]とは区別して考えなければならない。
-->
== 定義 ==
ある[[集合]] ''S'' において、[[二項関係]] ~ が次の性質を満たすとき、~ は ''S'' の'''同値関係'''であるという。

* [[反射関係|反射律]]: ''a''~''a''.
* [[対称関係|対称律]]: ''a''~''b'' &rArr; ''b''~''a''.
* [[推移関係|推移律]]: ''a''~''b'' かつ ''b''~''c'' &rArr; ''a''~''c''.

上の 3 項をまとめて'''同値律'''という。~ が同値関係であるとき、''a''~''b'' であることを、''a'' と ''b'' は'''同値'''であると言い表す。

== 例 ==
* 相等関係 (=)：集合としてあるいは集合の元として同じである。表現形式や構成要素が同一である。
* [[図形]]の[[合同|合同関係]]：裏表や向きの違いを無視して、図形として同じである。
* [[図形の相似]]関係：裏表・向き・大きさの比率の違いを無視して、図形の "形" としては同じである。
* 量の[[比例|比例関係]]：増え方・減り方の割合としては同じである。
* [[整数]]の[[合同式|合同関係]]：ある数で割った余りが同じである。
* 集合''A'' から 集合''B'' への写像 ''f'' を考えたときに ''a''~''b'' &hArr; ''f''(''a'') = ''f''(''b'') で決まる集合 ''A'' の元の間の関係 ~：''f''で写った先の ''B'' の元としては同じである。

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

== 諸概念 ==
=== 同値類 ===
集合 ''S'' の上に同値関係 ~ が定義されているときには、ある ''S'' の元 ''a'' に対して ''a'' に同値である元を全て集めた集合を考えることができる。この ''S'' の部分集合を ''a'' を'''代表元'''（だいひょうげん、<span lang=en>representative</span>）とする'''同値類'''（どうちるい、<em lang=en>equivalence class</em>）と呼び、普通 [''a''], <span style="text-decoration:overline">''a''</span>, ''C''(''a'') などと書く。
:<math>[a] = \bar{a} = C(a) = \{ x \in S \mid a \sim x\}.</math>
また、一つの同値類 ''X'' に対して、[''x''] = ''X'' となる ''S'' の元 ''x'' を定めることを、''X'' の代表元として ''x'' をとるという。1 つの同値類は、それに含まれている元のうちどれをとっても、それを代表元とする同値類はもとと同じ集合になる（代表元の取替えによって不変である）：
:<math>X = [x],\ y \in X \iff y \in [x] \iff x \sim y \iff x \in [y] \iff [y] = X,\, x \in X.</math>
よって一般には、同値類の性質を代表元の性質のみによって記述することはできない。

=== 商集合 ===
集合''S'' の同値関係~に関する同値類全体のなす集合を、''S'' を'''同値関係'''~'''で割った集合'''、あるいは ''S'' の ~ による'''商集合'''（しょうしゅうごう、<em lang=en>[[:en:quotient set|quotient set]]</em>）と呼び、
:<math>S/{\sim} := \{[x] \mid x \in S\}</math>
と表す。集合 ''S'' の元にそれが属する同値類を対応させることで、商集合への[[全射]]
:<math>\pi\colon S \to S/{\sim};\ x \mapsto [x]</math>
が自然に与えられる。これを同値関係 ~ に付随する'''標準[[射影]]'''あるいは'''自然な射影'''、'''自然な全射'''などと呼ぶ。また、''S'' の相異なる同値類からはひとつずつ、全部の同値類から代表元を取り出して作った ''S'' の部分集合を、集合 ''S'' における同値関係 ~ の（あるいは商集合 ''S'' / ~ の）'''完全代表系'''（かんぜんだいひょうけい、<span lang=en>[[:en:complete system of representatives|complete system of representatives]]</span>）と呼ぶ。つまり、''S'' の部分集合 ''A'' が同値関係 &sim; に関する完全代表系であるとは、[[部分集合|包含写像]]と標準射影の合成
:<math>A \hookrightarrow S \to S /{\sim};\ a \mapsto a \mapsto [a]</math>
が全単射となることである。

=== 類別 ===
集合 ''S'' に対して、''S'' の[[部分集合]]族 '''M''' で、'''M''' に属するどの 2 つの相異なる集合も[[共通部分|交わり]]を持たず、'''M''' の[[和集合]]が ''S'' 全体に一致するとき、集合族 '''M''' を集合 ''S'' の'''類別'''（るいべつ、<em lang=en>classification</em>）と呼ぶ。

集合 ''S'' に同値関係 ~ が定義されているとき、''S'' の同値類を全て集めると、相異なる同値類は互いに交わらず、また ''S'' の同値類全体の和集合は ''S'' に等しくなる。つまり、''A'' を ''S'' の一つの完全代表系として、
:<math>S = \coprod_{x \in A} [x]</math>
が成り立つので、同値類全体の作る集合は ''S'' の一つの類別を与える。これを、同値関係 ~ は同値類によって集合 ''S'' を類別 <span lang=en>(classify)</span> すると言い表す。逆に ''S'' の類別を与えれば、同じ部分集合に属するもの同士は互いに同値であるとして同値関係を定義することができる。つまり、集合の類別を与えることと集合に同値関係を定めることとは互いに等価である。

=== 商集合の例 ===
整数全体のなす集合 '''Z''' に、''a'' と ''b'' の差 ''a'' - ''b'' が 3 の[[倍数]]であるときまたそのときに限って ''a'' ≡ ''b'' という関係 ≡ を決めると、これは同値関係になる。

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

この商集合は普通 '''Z''' / 3'''Z''' と書かれ、加法に関する[[アーベル群]]になる。また p が素数のとき '''Z''' / p'''Z''' は自然に演算が定義できて[[体 (数学)|体]]（[[有限体]]）になる。

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

== 関連項目 ==
* [[集合の分割]]

{{デフォルトソート:とうちかんけい}}
[[Category:集合論]]
[[Category:数学に関する記事]]