現代数学の系譜工学物理雑談古典ガロア理論も読む42 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む42 [無断転載禁止]©2ch.net (795ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

105: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/09/17(日) 21:10:59.11 ID:xdoHcTHE

>>99
Dは自然数である
が、”40 http://rio2016.2ch.net/test/read.cgi/math/1503706544/597-598時枝記事そのままの入れ方で、決定番号が、１からｎの間に来る確率は、０（ゼロ）の証明”（>>11）
に示したように、「１からｎの間に来る確率は、０（ゼロ）」である
（念押ししておくが、１，２，・・・、ｎ が生じないということではない。生じるが、生じる確率が数学的には０（ゼロ）だということ）

ご理解頂けて無いようなので、補足説明をする

１．一つは、上記 >>xx でも説明したように、上記ペアノの公理 "2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）"から、自然数の特性として常に後者を取ることができるためである。
（上記に記されているように、自然数は数学的帰納法の原理によって構成されるゆえ、常に後者を生じていると動的に理解する場面も必要なのだ。
　勿論、無限公理により、自然数集合Nが完成されたと理解する場面も必要なのだが、ここでは前者の理解が必要だ。
　なお、「5番目の公理は、数学的帰納法の原理である。」との記載にも、ご注意願いたい。（”常に後者を取ることができる”との関連で））

２．もう少し具体例で説明しよう。
　１）そうだな、超越数πを用いて、箱の列の先頭から、3,1,4,1,5,9,・・・・とπの小数表現の数を入れたとする。簡便に、これを代表の数列としπと名付ける
　２）下記では”2016年の時点では、円周率は小数点以下22兆4591億5771万8361桁まで計算されている”という
　３）いま、22兆4591億5771万8361桁目を基準として、一つ前の22兆4591億5771万8360桁目の箱を考える
　４）22兆4591億5771万8360桁目の数が、0<= m <=9 の整数だとしよう。
　５）同値類の中のある数列sを取ると、22兆4591億5771万8360桁目の数をyとして、yは任意の実数と考えられるから、”y=m”となる確率は０（ゼロ）
　６）∴ 決定番号が、”D <= 22兆4591億5771万8360” となる確率は０（ゼロ）

つづく

http://rio2016.5ch.net/test/read.cgi/math/1505609511/105

115: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/09/17(日) 23:22:10.81 ID:xdoHcTHE

>>110
”問題勝手改造おじさん”か？！（＾＾

>>105に書いたように
”４）22兆4591億5771万8360桁目の数が、0<= m <=9 の整数だとしよう。
　５）同値類の中のある数列sを取ると、22兆4591億5771万8360桁目の数をyとして、yは任意の実数と考えられるから、”y=m”となる確率は０（ゼロ）
　６）∴ 決定番号が、”D <= 22兆4591億5771万8360” となる確率は０（ゼロ）”

これは、勝手に無視ですかね〜？（＾＾

>出題された数列の決定番号の集合は {D} であってこの集合の中にDの後者は存在しない

それは、勝手な言い分でしょ。数学では、独善解釈はだめです
問題文は”35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/12-13 時枝問題（数学セミナー201611月号の記事）”(>>11)
「同値関係を使う.・・
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.・・
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.・・」
・・
問題に戻り，閉じた箱を100列に並べる.
・・
これらの列はおのおの決定番号をもつ.」だった

ですから、100列中のある１つの列が属する同値類 S において、その中の２つの数列の関係が問題となる
s = (s1，s2，s3 ，・・・，sk,・・・，sn,・・・)、s'=(s'1， s'2， s'3，・・・，s'k,・・・，s'n,・・・ )∈R^N
ここに、代表が数列s、問題が数列s'とする

一般に、選ばれた二つの数列のどこから一致するのか？ 一致するところが決定番号dだが、これが的中できる箱の位置として問題となる。

箱は可算無限だから、>>105-106に例示したように、「決定番号は、”D <= 22兆4591億5771万8360” となる確率は０（ゼロ）
22兆4591億5771万8361桁目より先にどんどん計算が進めば、この数を大きくすることができる。限りなく大きくすることができる。」ということ

これは数列π以外でも、同様の議論が可能だよ

http://rio2016.5ch.net/test/read.cgi/math/1505609511/115

460: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/09/22(金) 21:10:15.11 ID:R2cdEIZf

さて、まず、二つの数列のしっぽの共有部分、co-tail’の説明から（＾＾

>>437
>＞ここで、k→∞ を考えると、共有しっぽ{s_d+k+1,s_d+k+2,・・・}は、→not φですよ
>何故？

>>450
>＞（>>406より）「ここで、{s_ M +1，s_ M +2，・・・} の集合の濃度は可算無限である（i.e. 集合の濃度に変化なし）」
>{2n|n∈N}:=M⊂N かつ |M|=|N|

分かり易く、例示を混ぜて説明していくよ（抽象的に書くと分かり難いだろうから）

１．まず、>>105-106にならって、超越数πを用いて、箱の列の先頭から、3,1,4,1,5,9,・・・・とπの小数表現の数を入れたとする。
　　簡便に、これを代表の数列としs_πと名付ける(πだけでは紛らわしいので)
２．数列s_πによって生成される、同値類をS_πとする
３．超越数πは、”2016年の時点では、円周率は小数点以下22兆4591億5771万8361桁まで計算されている”（>>105より）というが、これ当然無限小数である。
　　つまり、例えて言えば、神様は小数点以下22兆4591億5771万8361桁以降もすべての桁の数を知っているが、人類が現時点で計算できているのは有限桁なだけである
４．（>>431に倣って）s_π = (s1，s2，s3 ，・・・，s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・) とおく
　　（>>382に倣って）s'_π_d= (s'1， s'2， s'3，・・・，s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・)とおく*)
　　ここで、二つの数列s_πとs'_π_dとで、{s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・}が共有するしっぽの部分 co-tail'_d *)で、一致番号はd。
　（*) s'_π_d 及び co-tail'_d と添え字d を、明示して、分かり易くした）
５．ここで、集合{s'_π_d | d ∈N}は、添え字dについて、可算無限族になる
　　∵超越数πは、無限小数であるから、dは有限ではないため（人類がπの計算をどんどん推し進めれば、そうなる（＾＾ ）
６．可算無限族{s'_π_d | d ∈N} ⊂ S_π であり、従って、s'_π_d ∈S_πである（自明だが念押し）
７．可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d  not＝ Φ （∵co-tail'_d not＝ Φ は、二つの数列s_πとs'_π_dとが、同値であることの定義の通り！）

QED
つづく

http://rio2016.5ch.net/test/read.cgi/math/1505609511/460

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

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

ぬこの手ぬこTOP 1.983s*