- 254 名前：１３２人目の素数さん mailto:sage [2017/10/07(土) 16:39:43.64 ID:3XCqYvtP.net]
- >>205
＞X がすべての車の集合であり，
＞〜 が「同じ色である」という同値関係のとき，
＞ある1つの同値類はすべての緑色の車からなる．
＞X/〜 はすべての車の色の集合と自然に同一視できる．
ID:U9YX2SH3氏は上記の文章を読んでこう考えたらしい
R^N がすべての無限実数列の集合であり，
〜 が「ある箇所から同じ尻尾を持つ」という同値関係のとき，
ある1つの同値類はすべての「或る共通の尻尾」をもつ数列からなる．
X/〜 はすべての数列の「共通の尻尾」の集合と自然に同一視できる．
残念ながら、同値類から代表元をとることは出来ても
同値類の任意の元と代表元との一致番号は
いかなる自然数の値も取り得るので
同値類全体が「共通の尻尾」を持つとはいえない
