同値類のソースを表示

[[File:Congruent non-congruent triangles.svg|thumb|370px|[[合同 (幾何学)|合同]]は同値関係の例である．左の2つの三角形は合同であるが，3つ目と4つ目の三角形は図の他のどの三角形とも合同でない．したがって，はじめの2つの三角形は同じ同値類に属するが，3つ目と4つ目の三角形はそれぞれ個別の同値類に属する．]]

数学において，ある[[集合 (数学)|集合]] {{mvar|S}} の元が（[[同値関係]]として定式化される）同値の概念を持つとき，集合 {{mvar|S}} を'''同値類'''（どうちるい，{{lang-en-short|equivalence class}}）たちに自然に分割できる．これらの同値類は，元 {{mvar|a}} と {{mvar|b}} が同じ同値類に属するのは {{mvar|a}} と {{mvar|b}} が同値であるとき，かつそのときに限るものとして構成される．

フォーマルには，集合 {{mvar|S}} と {{mvar|S}} 上の同値関係 {{math|&sim;}} が与えられたとき，元 {{mvar|a}} の {{mvar|S}} における同値類は，{{mvar|a}} に同値な元全体の集合

:<math>\{ x \in S \mid x \sim a \}</math>

である．「同値関係」の定義から同値類は [[集合の分割|{{mvar|S}} の分割]]をなす．この分割，同値類たちの集合，を {{mvar|S}} の {{math|&sim;}} による'''商集合''' (quotient set) あるいは'''商空間''' (quotient space) と呼び，{{math|''S''/&sim;}} と表記する．

集合 {{mvar|S}} が（[[群 (数学)|群]]演算や[[位相空間|位相]]のような）構造を持ち，同値関係 {{math|&sim;}} がこの構造と適切に両立するように定義されているとき，商集合はしばしばもとの集合から類似の構造を引き継ぐ．例としては，[[商線型空間|線型代数学における商空間]]，[[商位相空間|位相空間論における商空間]]，{{仮リンク|商群|en|quotient group|preserve=1}}，[[等質空間]]，[[商環]]，{{仮リンク|商モノイド|en|quotient monoid}}，{{仮リンク|商圏 (数学)|label=商圏|en|quotient category}}など．

==例==
* {{mvar|X}} がすべての車の集合であり，{{math|&sim;}} が「同じ色である」という[[同値関係]]のとき，ある1つの同値類はすべての緑色の車からなる．{{math|''X''/&sim;}} はすべての車の色の集合と自然に同一視できる．
* {{mvar|X}} を平面内のすべての長方形の集合とし，{{math|&sim;}} を「同じ面積を持つ」という同値関係とする．各正の実数 {{mvar|A}} に対し，面積が {{mvar|A}} の長方形全体のなす同値類がある{{sfn|Avelsgaard|1989|p=127}}．
* [[整数]]の集合 {{math|'''Z'''}} 上の2を[[合同算術|法とした]]同値関係を考える，つまり {{math|''x'' &sim; ''y''}} とはそれらの差 {{math|''x'' &minus; ''y''}} が[[偶数]]であることである．この関係はちょうど2つの同値類を生じる：1つはすべての偶数からなり，もう1つはすべての奇数からなる．この関係の下で，{{math|[7]}}, {{math|[9]}}, {{math|[1]}} はすべて {{math|'''Z'''/&sim;}} の同じ元を表す{{sfn|Devlin|2004|p=123}}．
* {{mvar|X}} を {{mvar|b}} が {{math|0}} でない整数の順序対 {{math|(''a'', ''b'')}} 全体の集合とし，{{mvar|X}} 上の同値関係 {{math|&sim;}} を {{math|1=(''a'', ''b'') &sim; (''c'', ''d'') ⇔ ''ad'' = ''bc''}} によって定義する．すると対 {{math|(''a'', ''b'')}} の同値類は[[有理数]] {{math|''a''/''b''}} と同一視することができ，この同値関係とその同値類は有理数の形式的な定義に用いることができる{{sfn|Maddox|2002|pp=77–78}}．同じ構成は任意の[[整域]]の[[分数体]]に一般化することができる．
* {{mvar|X}} を[[ユークリッド平面]]内のすべての直線の集合とし，{{math|''L'' &sim; ''M''}} を {{mvar|L}} と {{mvar|M}} が[[平行線|平行]]と定義すると，互いに平行な直線の集合が1つの同値類をなす（直線は自分自身と平行と考える）．この状況では，各同値類は[[無限遠点]]を決定する．

==記法と定義==
[[同値関係]]は[[二項関係]] {{math|&sim;}} であって以下の3つの性質を満たすものである{{sfn|Devlin|2004|p=122}}：
*{{mvar|X}} の任意の元 {{mvar|a}} に対して，{{math|''a'' &sim; ''a''}} である（[[反射関係|反射性]]），
*{{mvar|X}} の任意の2元 {{mvar|a}}, {{mvar|b}} に対して，{{math|''a'' &sim; ''b''}} ならば {{math|''b'' &sim; ''a''}} である（[[対称関係|対称性]]），
*{{mvar|X}} の任意の3つの元 {{mvar|a}}, {{mvar|b}}, {{mvar|c}} に対して，{{math|''a'' &sim; ''b''}} かつ {{math|''b'' &sim; ''c''}} ならば {{math|''a'' &sim; ''c''}} である（[[推移的関係|推移性]]）．

元 {{mvar|a}} の同値類は {{math|[''a'']}} と書き，{{mvar|a}} と {{math|&sim;}} によって関係づけられる元全体の集合

:<math>[a] = \{ x \in X \mid a \sim x \}</math>

として定義される．同値関係 {{mvar|R}} を明示して {{math|[''a'']<sub>''R''</sub>}} とも書かれる．これは {{mvar|a}} の {{mvar|R}}-同値類といわれる．

同値関係 {{mvar|R}} に関する {{mvar|X}} のすべての同値類からなる集合を {{math|''X''/''R''}} と書き，{{mvar|X}} の {{mvar|R}} による'''商集合''' (quotient set of {{mvar|X}} by {{mvar|R}}, {{mvar|X}} modulo {{mvar|R}}) と呼ぶ{{sfn|Wolf|1998|p=178}}．{{mvar|X}} から {{math|''X''/''R''}} への各元をその同値類に写す[[全射]] <math> x\mapsto [x]</math> は'''[[商写像|標準射影]]'''と呼ばれる．

各同値類の元を（しばしば暗黙に）選ぶと，{{仮リンク|切断 (圏論)|label=''切断''|en|section (category theory)}}と呼ばれる[[単射]]が定義される．この切断を {{mvar|s}} で表せば，各同値類 {{mvar|c}} に対して {{math|1= [''s''(''c'')] = ''c''}} である．元 {{math|''s''(''c'')}} は {{mvar|c}} の'''代表元''' (representative) と呼ばれる．切断を適切に取って類の任意の元をその類の代表元として選ぶことができる．

ある切断が他の切断よりも「自然」であることがある．この場合，代表元を''{{仮リンク|標準形|label=標準|en|Canonical form}}代表元''と呼ぶ．例えば，[[合同算術]]において，整数上の同値関係で，{{math|''a'' &sim; ''b''}} を {{math|''a'' − ''b''}} が''法''と呼ばれる与えられた整数 {{mvar|n}} の倍数であると定義したものを考える．各類は {{mvar|n}} 未満の非負整数を唯一つ含み，これらの整数が標準的な代表元である．類とその代表元は多かれ少なかれ同一視され，例えば {{math| ''a'' mod ''n''}} という表記は類を表すことも標準的な代表元（{{mvar|a}} を {{mvar|n}} で[[ユークリッド除法|割った]][[余り]]）を表すこともある．

==性質==
{{mvar|X}} の任意の元 {{mvar|x}} は同値類 {{math|[''x'']}} の元である．任意の2つの同値類 {{math|[''x'']}} と {{math|[''y'']}} は，等しいか[[素集合|互いに素]]かのいずれかである．したがって，{{mvar|X}} のすべての同値類からなる集合は {{mvar|X}} の[[集合の分割|分割]]をなす，つまり，{{mvar|X}} の任意の元はちょうど1つの同値類に属する{{sfn|Maddox|2002|p=74|loc=Thm. 2.5.15}}．逆に {{mvar|X}} の任意の分割は同値関係からこのようにして生じる．{{math|''x'' &sim; ''y''}} を {{mvar|x}} と {{mvar|y}} が分割の同じ集合に属するとした同値関係である{{sfn|Avelsgaard|1989|p=132|loc=Thm. 3.16}}．

同値関係の性質から次が従う：
:: {{math|1=''x'' &sim; ''y'' ⇔ [''x''] = [''y'']}}.

言い換えると，{{math|&sim;}} が集合 {{mvar|X}} 上の同値関係であり，{{mvar|x}} と {{mvar|y}} が {{mvar|X}} の2つの元であれば，以下の主張は同値である：

* <math>x \sim y</math>
* <math>[x] = [y]</math>
* <math>[x] \cap [y] \ne \emptyset.</math>

==グラフによる表現==
任意の[[二項関係]]は[[有向グラフ]]によって，同値関係のような対称的なものは[[無向グラフ]]によって表すことができる．{{math|&sim;}} が集合 {{mvar|X}} 上の同値関係であるとき，グラフの頂点全体を {{mvar|X}} の元全体とし，{{math|''s'' &sim; ''t''}} のとき，かつそのときに限り頂点 {{mvar|s}} と {{mvar|t}} を結ぶ．同値類はこのグラフにおいてグラフの{{仮リンク|連結成分 (グラフ理論)|label=連結成分|en|connected component (graph theory)}}をなす極大[[クリーク (グラフ理論)|クリーク]]によって表される{{sfn|Devlin|2004|p=123}}．

==不変量==
{{math|&sim;}} が {{mvar|X}} 上の同値関係で {{math|''P''(''x'')}} が，{{math|''x'' &sim; ''y''}} であるときにはいつでも，{{math|''P''(''y'')}} が真ならば {{math|''P''(''x'')}} が真であるような，{{mvar|X}} の元の性質であるとき，性質 {{mvar|P}} は {{math|&sim;}} の[[不変量 (数学)|不変量]]，あるいは関係 {{math|&sim;}} のもとで [[well-defined]] であるといわれる．

よくある場合は {{mvar|f}} が {{mvar|X}} から別の集合 {{mvar|Y}} への関数であるときに生じる；{{math|''x''<sub>1</sub> &sim; ''x''<sub>2</sub>}} であるときにはいつでも {{math|1=''f''(''x''<sub>1</sub>) = ''f''(''x''<sub>2</sub>)}} であるとき，{{mvar|f}} は {{math|&sim;}} に対する''[[射]]''，{{math|&sim;}} ''の下での類不変量''，あるいは単に {{math|&sim;}} ''の下の不変量''といわれる．これは例えば有限群の指標理論において現れる．著者によっては「{{math|&sim;}} の下で不変」の代わりに「{{math|&sim;}} と両立する」あるいはただ「{{math|&sim;}} に従う」を用いる．

任意の関数 {{math|''f'': ''X'' → ''Y''}} はそれ自身，{{math|1=''x''<sub>1</sub> &sim; ''x''<sub>2</sub> ⇔ ''f''(''x''<sub>1</sub>) = ''f''(''x''<sub>2</sub>)}} なる {{mvar|X}} 上の同値関係を定義する．{{mvar|x}} の同値類は {{math|''f''(''x'')}} に写される {{mvar|X}} の元全体の集合である，つまり，類 {{math|[''x'']}} は {{math|''f''(''x'')}} の[[逆像]]である．この同値関係は {{mvar|f}} の{{仮リンク|関数の核|label=核|en|Kernel of a function}}として知られている．

より一般に，関数は（{{mvar|X}} 上の同値関係 {{math|&sim;<sub>''X''</sub>}} の下で）同値な引数を（{{mvar|Y}} 上の同値関係 {{math|&sim;<sub>''Y''</sub>}} の下で）同値な値に送ることがある．そのような関数は {{math|&sim;<sub>''X''</sub>}} から {{math|&sim;<sub>''Y''</sub>}} への射と呼ばれる．

== 位相空間論における商空間 ==
[[位相空間論]]において[[商位相空間|商空間]]は、与えられた同値関係に関する同値類全体の成す集合上にもとの空間の位相から誘導される位相を入れて得られる[[位相空間]]である。

[[抽象代数学]]において[[代数系]]の台集合上で定義される[[合同関係]]は、その関係に関する同値類全体の成す集合上に{{仮リンク|商代数系|en|quotient algebra}}と呼ばれる代数構造を誘導する。[[線型代数学]]における[[商線型空間|商空間]]は、加法群に関して[[剰余群|商群]]をとることによって得られるベクトル空間で、その商写像は線型写像になる。用例を敷衍して、抽象代数学において[[剰余加群|商加群]]、[[剰余環|商環]]、[[剰余群|商群]]などの任意の商代数系のことを「商空間」と呼ぶことがあるが、より一般の場合においてもしばしば群作用の軌道とのアナロジーによって「商空間」の語を用いることがある。

適当な集合上に定義された[[群作用]]の軌道全体の成す空間は、その集合の群作用に関する商空間とも呼ばれる（特に群作用の軌道空間が作用群の部分群による（部分群によるもとの群への左移動作用から生じる）右[[剰余類]]集合、あるいは右移動による軌道としての左剰余類集合になっている場合）。

位相群の正規部分群がもとの群に移動作用で作用しているときの商空間は、位相空間の意味でも抽象代数学の意味でも群作用の意味でも同時に商空間になっている。

商空間という言葉を、更なる構造も含めたうえで、任意の同値関係による同値類集合に対して用いることはできるけれども、商空間と呼ぶ目的は一般に、集合 {{mvar|X}} 上の同値関係の種類をもとの {{mvar|X}} に入っているのと同じ種類の構造を同値類集合上に誘導する同値関係と、あるいは群作用の軌道空間と比較することである。同値関係で保たれる構造の意味でも、群作用に対する不変量の研究の意味でも、いずれも上で与えた同値類の不変量の定義が導かれる。

==関連項目==
*[[:en:Equivalence partitioning|Equivalence partitioning]], a method for devising test sets in [[:en:software testing|software testing]] based on dividing the possible program inputs into equivalence classes according to the behavior of the program on those inputs
* [[等質空間]]: [[リー群]]の商空間．
* {{仮リンク|代表系|en|Transversal (combinatorics)}}

==脚注==
{{reflist|3}}

==出典==
* {{citation|first=Carol|last=Avelsgaard|title=Foundations for Advanced Mathematics|publisher=Scott Foresman|year=1989|isbn=0-673-38152-8}}
* {{citation|last=Devlin|first=Keith|title=Sets, Functions, and Logic: An Introduction to Abstract Mathematics|year=2004|publisher=Chapman & Hall/ CRC Press|edition=3rd|isbn=978-1-58488-449-1}}
* {{citation|last=Maddox|first=Randall B.|title=Mathematical Thinking and Writing|year=2002|publisher=Harcourt/ Academic Press|isbn=0-12-464976-9}}
* {{citation|last=Morash|first=Ronald P.|title=Bridge to Abstract Mathematics|publisher=Random House|year=1987|isbn=0-394-35429-X}}
* {{citation|last=Wolf|first=Robert S.|title=Proof, Logic and Conjecture: A Mathematician's Toolbox|year=1998|publisher=Freeman|isbn=978-0-7167-3050-7}}

==関連文献==
This material is basic and can be found in any text dealing with the fundamentals of proof technique, such as any of the following:
* {{citation|last=Sundstrom|title=Mathematical Reasoning: Writing and Proof|year=2003|publisher=Prentice-Hall}}
* {{citation|last1=Smith|last2=Eggen|last3=St.Andre|title=A Transition to Advanced Mathematics (6th Ed.)|year=2006|publisher=Thomson (Brooks/Cole)}}
* {{citation|last=Schumacher|first=Carol|title=Chapter Zero: Fundamental Notions of Abstract Mathematics|year=1996|publisher=Addison-Wesley|isbn=0-201-82653-4}}
* {{citation|last=O'Leary|title=The Structure of Proof: With Logic and Set Theory|year=2003|publisher=Prentice-Hall}}
* {{citation|last=Lay|title=Analysis with an introduction to proof|year=2001|publisher=Prentice Hall}}
* {{citation|last1=Gilbert|last2=Vanstone|title=An Introduction to Mathematical Thinking|year=2005|publisher=Pearson Prentice-Hall}}
* {{citation|last1=Fletcher|last2=Patty|title=Foundations of Higher Mathematics|publisher=PWS-Kent}}
* {{citation|last1=Iglewicz|last2=Stoyle|title=An Introduction to Mathematical Reasoning|publisher=MacMillan}}
* {{citation|last1=D'Angelo|last2=West|title=Mathematical Thinking: Problem Solving and Proofs|year=2000|publisher=Prentice Hall}}
* {{citation|last=Cupillari|title=The Nuts and Bolts of Proofs|publisher=Wadsworth}}
* {{citation|last=Bond|title=Introduction to Abstract Mathematics|publisher=Brooks/Cole}}
* {{citation|last1=Barnier|last2=Feldman|title=Introduction to Advanced Mathematics|year=2000|publisher=Prentice Hall}}
* {{citation|last=Ash|title=A Primer of Abstract Mathematics|publisher=MAA}}

{{Normdaten}}
{{DEFAULTSORT:とうちるい}}
[[Category:数学的関係]]
[[Category:同値 (数学)]]
[[Category:数学に関する記事]]

[[de:Äquivalenzrelation#Äquivalenzklassen]]
[[nl:Equivalentierelatie#Equivalentieklasse]]
[[ru:Класс эквивалентности]]