19/09/23 10:17:15.54 Pa2IotH6.net
>>506 補足
＜Z→Z/nZの単射＞
1)簡単に、Z→Z/2Z (偶数,奇数で考える)
（再録(主に記号の定義)）
整数の集合Z = {・・・,-4,-3,-2,-1,0,1,2,3,4・・・}
偶数の集合2Z = {・・・,-4,-2,0,2,4・・・}
奇数の集合1+2Z = {・・・,-3,-1,1,3,・・・}
2)さて、単射が存在する
{・・・,-4,-2,0,2,4・・・}{・・・,-3,-1,1,3,・・・}
↓fe(単射) ↓fo(単射)
{・・・,-4,-2,0,2,4・・・、・・・,-3,-1,1,3,・・・}
注
e：Even number （偶数）
o：Odd number （奇数）
3)写像も集合と見れば、f＝fe∪fo が定義できる
定義域も、Z＝{・・・,-4,-2,0,2,4・・・}∪{・・・,-3,-1,1,3,・・・}
と考えてもよい
4)逆射が存在する
{・・・,-4,-2,0,2,4・・・、・・・,-3,-1,1,3,・・・}
↓fe^-1(単射) ↓fo^-1(単射)
{・・・,-4,-2,0,2,4・・・}{・・・,-3,-1,1,3,・・・}
上記fの逆射f^-1 が、定義できる
5)恒等写像Ide,Idoが存在する
{・・・,-4,-2,0,2,4・・・}{・・・,-3,-1,1,3,・・・}
↓↑Ide(全単射) ↓↑Ido(全単射)
{・・・,-4,-2,0,2,4・・・}{・・・,-3,-1,1,3,・・・}
6)単射の合成写像が存在する(Z→Z/2Z)
{・・・,-4,-2,0,2,4・・・、・・・,-3,-1,1,3,・・・}＝Z
↓fe^-1(単射) ↓fo^-1(単射)
{・・・,-4,-2,0,2,4・・・}{・・・,-3,-1,1,3,・・・}
↓↑ide(全単射) ↓↑ido(全単射)
{{・・・,-4,-2,0,2,4・・・}{・・・,-3,-1,1,3,・・・}}＝Z/2Z
7)Z→Z/nZも同様
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
写像の合成
URLﾘﾝｸ(ja.wikipedia.org)
部分写像
URLﾘﾝｸ(ja.wikipedia.org)
逆写像
URLﾘﾝｸ(ja.wikipedia.org)
恒等写像
URLﾘﾝｸ(ja.wikipedia.org)
写像