同値関係どうちかんけいequivalence relationと剰余類じょうよるいresidue class

抽象代数ちゅうしょうだいすうで商構造しょうこうぞうを作つくる前まえに、「どの元げんを同おなじものとして扱あつかうか」を決きめる必要ひつようがある。そのための道具どうぐが同値関係どうちかんけいである。

同値関係どうちかんけいは、対象たいしょうを分類ぶんるいする規則きそくである。分類ぶんるいされた一ひとつ一ひとつの箱はこが同値類どうちるいequivalence classであり、同値類どうちるい全体ぜんたいの集合しゅうごうが商集合しょうしゅうごうquotient setである。

1同値関係どうちかんけいの三みっつの条件じょうけん

集合しゅうごう $$X$$X 上じょうの関係かんけい $$\sim$$\sim が同値関係どうちかんけいであるとは、任意にんいの $$x,y,z\in X$$x,y,z\in X に対たいして次つぎを満みたすことである。

それぞれ、反射性はんしゃせい、対称性たいしょうせい、推移性すいいせいである。

2同値類どうちるい

元げん $$a\in X$$a\in X の同値類どうちるいを

で定義ていぎする。同値類どうちるいは、代表元だいひょうげん $$a$$a そのものではなく、$$a$$a と同おなじものとみなされる元げん全体ぜんたいの集合しゅうごうである。

代表元だいひょうげんは名前なまえであり、同値類どうちるいが本ほん体たいである。実際じっさい、$$a\sim b$$a\sim b であることと

であることは同値どうちである。$$a\sim b$$a\sim b かつ $$x\in \left[a\right]$$x\in[a] なら、$$x\sim a$$x\sim a と推移性すいいせいから $$x\sim b$$x\sim b、すなわち $$x\in \left[b\right]$$x\in[b] である。逆ぎゃくに $$x\in \left[b\right]$$x\in[b] なら、対称性たいしょうせいより $$b\sim a$$b\sim a であり、$$x\sim b$$x\sim b と推移性すいいせいから $$x\sim a$$x\sim a、すなわち $$x\in \left[a\right]$$x\in[a] である。したがって $$\left[a\right]=\left[b\right]$$[a]=[b] となる。逆ぎゃくに $$\left[a\right]=\left[b\right]$$[a]=[b] なら、反射性はんしゃせいより $$a\in \left[a\right]=\left[b\right]$$a\in[a]=[b] だから $$a\sim b$$a\sim b である。

同値類どうちるいを全部ぜんぶ集あつめた集合しゅうごうを商集合しょうしゅうごうquotient setという。つまり、商集合しょうしゅうごうでは元げんそのものではなく、同値類どうちるいを新あたらしい元げんとして扱あつかう。

3剰余類じょうよるい

正せいの整数せいすう $$n$$n を固定こていする。整数せいすう $$a,b$$a,b に対たいして

と定さだめる。これは同値関係どうちかんけいである。反射性はんしゃせいは $$a-a=0$$a-a=0 かつ $$n\mid 0$$n\mid0、対称性たいしょうせいは $$n\mid (a-b)$$n\mid(a-b) なら $$b-a=-(a-b)$$b-a=-(a-b) より $$n\mid (b-a)$$n\mid(b-a)、推移性すいいせいは $$n\mid (a-b)$$n\mid(a-b) かつ $$n\mid (b-c)$$n\mid(b-c) なら $$a-c=(a-b)+(b-c)$$a-c=(a-b)+(b-c) より $$n\mid (a-c)$$n\mid(a-c) であることから従したがう。このとき $$a$$a の同値類どうちるい

を剰余類じょうよるいresidue classという。

たとえば $$n=5$$n=5 のとき、

である。これらは全すべて 5 で割わった余あまりが 2 である。

以下いかでは、法ほう $$n$$n を固定こていしている間あいだ、$$[a{]}_n$$[a]_n を $$\left[a\right]$$[a] と略記りゃくきする。したがって以下いかの $$\left[a\right]$$[a] は、この $$n$$n を法ほうとする剰余類じょうよるいを表あらわす。

4代表元だいひょうげんによらず定さだまること（well-definedness）

商集合しょうしゅうごうの上じょうで演算えんざんを定義ていぎするとき、代表元だいひょうげんの選えらび方かたに依存いぞんしてはいけない。この性質せいしつを「代表元だいひょうげんによらず定さだまる」、または well-defined であるという。

たとえば剰余類じょうよるいで

と定義ていぎしたいなら、$$a$$a を同おなじ類るいの別べつの代表元だいひょうげん $$a^{\prime }$$a' に変かえ、$$b$$b を同おなじ類るいの別べつの代表元だいひょうげん $$b^{\prime }$$b' に変かえても、結果けっかの類るいが同おなじであることを確認かくにんする必要ひつようがある。

この例れいでは、$$\left[a\right]=\left[a^{\prime }\right]$$[a]=[a'] と $$\left[b\right]=\left[b^{\prime }\right]$$[b]=[b'] なら $$n\mid (a-a^{\prime })$$n\mid(a-a') と $$n\mid (b-b^{\prime })$$n\mid(b-b') である。したがって $$n\mid \left(\right(a+b)-(a^{\prime }+b^{\prime }\left)\right)$$n\mid((a+b)-(a'+b')) となり、$$[a+b]=[a^{\prime }+b^{\prime }]$$[a+b]=[a'+b'] である。これで代表元だいひょうげんを変かえても和わが変かわらないことが証明しょうめいできた。

同様どうように積せきを $$\left[a\right]\left[b\right]=\left[ab\right]$$[a][b]=[ab] と定義ていぎしたいなら、

が $$n$$n の倍数ばいすうであることから $$\left[ab\right]=\left[a^{\prime }{b}^{\prime }\right]$$[ab]=[a'b'] を得える。したがって積せきも代表元だいひょうげんによらず定さだまる。この確認かくにんを省はぶくと、商集合しょうしゅうごうの上じょうの演算えんざんが実じつは定さだまっていない可能性かのうせいがある。

5注意ちゅうい：well-defined でない定義ていぎの例れい

$$\mathbb{Z}/2\mathbb{Z}$$\mathbb Z/2\mathbb Z で、剰余類じょうよるい $$\left[a\right]$$[a] から整数せいすう $$a$$a そのものを返かえす写像しゃぞうを作つくろうとすると失敗しっぱいする。なぜなら $$\left[0\right]=\left[2\right]$$[0]=[2] だが、代表元だいひょうげんを 0 と選えらぶと値あたいは 0、2 と選えらぶと値あたいは 2 になるからである。

商集合しょうしゅうごうの元げんは代表元だいひょうげんではなく類るいである。類るいに対たいして何なにかを定義ていぎするときは、代表元だいひょうげんを変かえても同おなじ値あたいになることを必かならず確認かくにんする。

6演習えんしゅうリンク

7まとめ

同値関係どうちかんけいは、元げんを分類ぶんるいする規則きそくである。剰余類じょうよるいは整数せいすうを余あまりで分類ぶんるいした同値類どうちるいであり、合同式ごうどうしきと後あとに学まなぶ商構造しょうこうぞうの基礎きそになる。商集合しょうしゅうごうで演算えんざんするには、代表元だいひょうげんによらず結果けっかが定さだまることを必かならず確認かくにんする。