[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
23(5): 2019/07/17(水)11:12 ID:kfEWGdeO(2/11) AAS
私たちのやろうとすることは
Qのコーシー列の集合を同値関係で類別して
Rを構成するやりかたに似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N
は，ある番号から先のしっぽが一致する
省18
27(2): 哀れな素人 2019/07/17(水)11:19 ID:kfEWGdeO(6/11) AAS
以上の>>22-26が、このスレで
いつも話題になっている時枝問題である(笑
これを読んで意味が理解できた者は
議論に参加すればいい(笑
僕は意味すら理解できないが、
時枝戦略が不成立であることは分っている(笑
ちなみにスレ主は不成立派で、
省1
28(2): 哀れな素人 2019/07/17(水)11:22 ID:kfEWGdeO(7/11) AAS
スレ主は今後、>>22-26だけをテンプレに貼るように。
その他の余計なテンプレは一切不要だ。
373: 2019/07/21(日)03:02 ID:VYV7XU7j(2/8) AAS
>>357
>>23には
>……(中略)……
>任意の実数列s に対し，袋をごそごそさぐってそいつと同値な
>(同じファイパーの)代表 r＝r(s) をちょうど一つ取り出せる訳だ.
>sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d＝d(s) と記す
>つまり s_d, s_{d+1}, s_{d+2}, … を知ればsの類の代表rは決められる.
省4
374: 2019/07/21(日)03:04 ID:VYV7XU7j(3/8) AAS
>>360
>>24には
>いま D≧d(s^k) を仮定しよう.
>この仮定が正しい確率は 99/100，
>そして仮定が正しいばあい，
>上の注意によって s^k(d) が決められるのであった
と書いてある。ここでいう「上の注意」とは>>23の
省11
411(1): 2019/07/21(日)15:31 ID:VYV7XU7j(6/8) AAS
>>405-406
>>23と>>25の
>R^N/〜 の代表系を選んだ箇所で選択公理を使っている
とから、時枝記事では>>23以降は
コーシーのベッタリ版：∃n_0∈N∈{0}：n≧n_0 → s_n＝ s_'n のとき同値 s 〜 s' と R^N の同値関係を定義
→ R^N の〜についての同値類 R/〜 を定義
→ 同値類 R/〜 の代表元を定義
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.053s