[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む36 [無断転載禁止]©2ch.net (679ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

204(1): 現代数学の系譜 古典ガロア理論を読む 2017/07/15(土)16:01 ID:uQKi2Au+(18/27)調 AAS
>>203 つづき

補足
１）時枝記事の可算無限数列のしっぽの同値類では、”標準代表元”は決められない。だから、代表元の選び方は、任意だ。
　参考： https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%96%A2%E4%BF%82 同値関係
　”S の相異なる同値類からはひとつずつ、全部の同値類から代表元を取り出して作った S の部分集合を、集合 S における同値関係 ? の（あるいは商集合 S/? の）完全代表系 (complete system of representatives) と呼ぶ。”
２）時枝記事の実数列の集合 R^Nをベクトル空間と考えて、あるしっぽの同値類をUとして、m+1番目から先が一致するとして＊）
　s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈U で
　二つのベクトルの差Δｓ＝s−ｓ’＝（s1-s'1，s2-s'2，s3-s'3 ，・・,sm-s'm，0,0,・・）となる。つまり、差を取れば、m+1番目から先は0。
注＊）記述を簡素にするため。m番目から先が一致とすると「s(m-1)-s'(m-1)」の表記になり、添え字がみにくくなるため。

おっちゃん、分かる？

---

212: 2017/07/15(土)16:31 ID:OkksdbBE(16/20)調 AAS
>>204
＞可算無限数列のしっぽの同値類では、
＞”標準代表元”は決められない。
＞だから、代表元の選び方は、任意だ。

代表列を選ぶ（計算可能な）関数を
具体的に構成しろなんて誰もいってないがな
代表列を選ぶ関数が存在すればいい
その存在を保証するのが選択公理

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.033s