現代数学の系譜古典ガロア理論を読む35 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜古典ガロア理論を読む35 [無断転載禁止]©2ch.net (667ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

540(7): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)10:26 ID:yPoPkF9y(1/12)調 AAS
>>533 補足
おっちゃん、どうも、スレ主です。

>>だから、決定番号の集合をKとして、変数k?K をとると、変数kは、[1,∞) (半開区間)の整数
>当然のことをいっているに過ぎないんだが、それでどうした。

おっちゃんとは、ようやく話が合ってきたね
「変数k?K をとると、変数kは、[1,∞) (半開区間)の整数」ってことが、時枝記事>>12で大きな役割をしているってことだ

おっちゃん、確率＆統計は弱そうだが・・

たとえ話で悪いが、成績で
１クラス50人中10番以内、確率10/50
全校 500人中10番以内、確率10/500
全市 5万人中10番以内、確率10/5万
全国50万人中10番以内、確率10/50万
とする

つまり母集団が、多いほど、同じ10番でも、難しさが違う。この難しさというのは、10番以内に入る確率と言い換えることもできる
（参考）母集団 https://ja.wikipedia.org/wiki/%E6%AF%8D%E9%9B%86%E5%9B%A3 (抜粋)「母集団の要素の数を母集団の大きさ[2]と呼び、標本調査法では大文字の N で表すのが慣例である。」

いま、時枝記事の決定番号の集合Kは、母集団として、加算無限集合だと。これが、本質なんだ

つづく

541(5): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)10:27 ID:yPoPkF9y(2/12)調 AAS
>>540 つづき

イメージがクリアになるように、母集団大きさをMとしよう。（Nは自然数で使ったので）

偏差値を知っているだろ？（参考）偏差値 https://ja.wikipedia.org/wiki/%E5%81%8F%E5%B7%AE%E5%80%A4 (抜粋)「偏差値70以上（あるいは30以下）は、全体の2.275％。」
つまり、偏差値70で0.02275*M ってこと。１クラス50人中10番以内確率10/50 なら、偏差値60弱。全校 500人中10番以内、確率10/500 なら、偏差値70強。

母集団が大きくなると、「10番以内」のような具体的な数値は、数学的評価としては不適切になる
つまり、Mの1%＝0.01*Mでも、結構大きな数になる。M→∞なら、0.01*Mも→∞だ。

なにが言いたいかというと、「決定番号の集合Kは、母集団として、加算無限集合」を認めると、下記のようなことになる
ある有限の決定番号の最大値dmaxに対して、決定番号dmax以内になる確率は、0(ゼロ)ってことだ

つまり、”ある有限の決定番号の最大値dmaxに対して、決定番号dmax以内”（＝：Aとする）の100個の数大小を論じることは、条件Aの下で確率を論じている
それは、条件付き確率だと。そして、母集団が大きくなると、条件Aはごく例外的な確率でしか起きないということになる
これが第1の論点

つづく

542(7): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)10:29 ID:yPoPkF9y(3/12)調 AAS
>>541 つづき

もう一つの論点は、成績の例えで言えば、問題が易しすぎて、ほとんど全員が満点を取ってしまうような場合だ
理想的な試験の難易度は、満点100点で、平均(μx)50点で、σx （標準偏差）＝10 となるような問題だろう。

この場合、得点の数値xiと偏差値Ti Ti=10(xi-μx)/σx+50 で、Ti=xiとなるし、0～100点の全区間を評価に使っている。
対して、問題が易しすぎて、ほとんど全員が満点を取ってしまうような場合、平均(μx)100点、σx （標準偏差）＝0で、偏差値Tiは計算できない

時枝記事の決定番号の分布がこれだ
>>528の”s＝(s_1, s_2, s_3 ,…,s_m,s_m+1,s_m+2,…)，s'＝(s'_1, s'_2, s'_3 ,…,s_m,s_m+1,s_m+2,…)∈R^N は非可算個ある。”に戻ろう
数列sが代表、数列s'たちが、同値類だ。>>523の設定のように、数列s'に対する決定番号はmとして良いだろう
上記の成績の例で言えば、数列s'たちが生徒で、決定番号mが試験の得点に例えられよう

決定番号m＝4としよう。いっちするしっぽを無視すると、s'＝(s'_1, s'_2, s'_3 ）と書ける。
s'_1, s'_2, s'_3たちは、s'_3 not= s_3（∵s'_3 = s_3 の場合決定番号が3になる）の任意の実数の組み、つまり、R^3。

決定番号m＝5としよう。s'＝(s'_1, s'_2, s'_3, s'_4 ）｜s'_4 not= s_4 だから、R^4。つまり、R^3ｘR とみることができる。

ここで、決定番号m＝1,2,3,4,5を合わせた集合の中から、一つ数列を選ぶ。
これを、s'＝(s'_1, s'_2, s'_3, s'_4 ）と書いても一般性を失わない。但し、s'_4 = s_4 も許容することとする。

だれが考えても、作為なしにs'を選ぶなら、決定番号m＝4となる確率は１だ
∵決定番号m<＝3となる場合は、s'_4 = s_4 の1点に限られ、それ以外の任意の実数rに対して、決定番号m＝4となるのだから

そして、これが、決定番号m＝5,決定番号m＝6,・・・と繰り返され、mに上限がないということを思い出そう
もう言いたいことが、お分かりだろう

可算無限長の数列で、ある同値類の集合に対して、そこから任意の元を取り出したとき、有限の値mになる確率は0だ
∵有限の値mに対し、かならずm+1の決定番号を持つ数列が、ｘR倍存在するから（議論の詳細は上記の通り）

つづく

543(4): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)10:30 ID:yPoPkF9y(4/12)調 AAS
>>542 つづき

附言しておくが、ここでは、有限の値mとなる数列の存在を否定しているわけではないことにご注意
例外として有限の値mとなる数列より、m+1となる数列が圧倒的に多い。それが、ずっと繰り返されると
まあ、例「ほぼ全員が100点を取る試験の順位を考える」（例外として、100点以外がごく小数許容される）という話が適切かどうかは、議論はあると思うが。まあ、それに類することだと思ってくれ
これが第2の論点

おっちゃんには、第2の論点の方が理解し易いかな？　もともとは、おっちゃんの>>523の設定を使っていし、おっちゃんの強い分野だからね（＾＾
第1の論点も、おっちゃんなら、よく読んで貰えばわかるだろう

まあ、”決定番号が変数として[1,∞) (半開区間)の整数”というところは、どちらかと言えば、第1の論点の方に強く出ていると思う

以上です

おっちゃん、どうですか？

544(2): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)10:33 ID:yPoPkF9y(5/12)調 AAS
>>540 訂正

「変数k?K をとると、変数kは、[1,∞) (半開区間)の整数」
　↓
「変数k∈K をとると、変数kは、[1,∞) (半開区間)の整数」

545: 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)10:49 ID:yPoPkF9y(6/12)調 AAS
>>529-530 >>533 >>537 訂正

変数k∍K
　↓
変数k∈K

（いや、いつもと違うPCで入力したので、間違った（＾＾）

550(3): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)14:23 ID:yPoPkF9y(7/12)調 AAS
>>547-549
おっちゃん、どうも、スレ主です。
レスありがとう

>>n人の人がカラオケバトルしたとします
>トップは平均何回入れ替わるでしょう？
>とは、「入れ替わる回数の平均を求める問題」で、
>そのような問題と解釈していいんだろ？
>それなら、私の考え方で答えは「1－1/n」になり、当たっているじゃないか。

前提が全く違う話です。
なので、この話は後で。

>母集団だの偏差値の算出方法だのは全く分からず、そういう話にはついていけん。

了解。じゃ、>>542-543の第2の論点の方はどう？

「可算無限長の数列で、ある同値類の集合に対して、そこから任意の元を取り出したとき、有限の値mになる確率は0だ
∵有限の値mに対し、かならずm+1の決定番号を持つ数列が、ｘR倍存在するから（議論の詳細は上記の通り）」>>542
ということだが。詳しくは、>>542を見て下さい（＾＾

551(2): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)14:54 ID:yPoPkF9y(8/12)調 AAS
>>547-549 追加レス

おっちゃん、どうも、スレ主です。

>>n人の人がカラオケバトルしたとします
>トップは平均何回入れ替わるでしょう？
>とは、「入れ替わる回数の平均を求める問題」で、
>そのような問題と解釈していいんだろ？
>それなら、私の考え方で答えは「1－1/n」になり、当たっているじゃないか。

第1の論点>>541は、前提が全く違う話です。
ちょっと説明すると、n人の人がカラオケバトルで、これを名人大会にしたいので、カラオケをする人の母集団の大きさをM人として
トップ1000人から選んで、カラオケバトルをやりたいと。
1<n<<1000 (nは1000よりかなり小さい)としておきましょう。

M人から、ランダムにｎ人選んだとき、ｎ人がすべて、カラオケ名人トップ1000人に入っている確率は、かなり小さいだろうと
これは、Mの大きさに依存することは、明白だろう

Mが、ある町の数千人として、そこからｎ人選んだなら、かなりの人がトップ1000人に入っているだろう
だが、ある地方都市の数万人から選んだら・・、大都市の数十万人から、関東全域の数百万人から選んだら・・、全国の数千万人から、全世界の数億万人から選んだら・・、と
Mが大きくなると、ランダムにｎ人選んだとき、ｎ人がすべて、カラオケ名人トップ1000人に入っている確率は、どんどん小さくなる

このアナロジーで、決定番号の母集団と決定番号の関係を考えて貰えればありがたいね
「カラオケをやる人のランキング vs 同値類に属する数列s'の決定番号d'」
ってことなんだ

もちろん、ｎ人選んだ中でカラオケバトルをして、１～n番の順位を付けるのは、選んだ後の話で、それはそれで良いと思うよ
纏めると、上記で、1000を有限値dmaxとして、M→∞を考えたのが、>>540-541の第1の論点だ

558(2): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)16:38 ID:yPoPkF9y(9/12)調 AAS
>>552-553
おっちゃん、どうも、スレ主です。
そろそろ、おっちゃんのおやすみタイムかな？（＾＾

>決定番号が m＝1 としかならないようなときも含めて記事を読んではいけない。

記事では、100列を考えるから、決定番号の最大値は、100以上だろう
だから、「決定番号が m＝1 としかならないようなとき」は、除外でいいだろう。そう思って、>>551などでも1000という数字を選んでいるよ（＾＾

もっと言えば、スレ28の68 （下記）だよ
だが、いかなる巨大な数を考えても、母集合の大きさMが無限としたら、母集合から任意に選んだ数が、その巨大な数以下になる確率はゼロっことだ

ここは、集合論や解析につよい、おっちゃんなら分かるでしょ（＾＾

スレ28 2chｽﾚ:math
68 名前：１３２人目の素数さん[] 投稿日：2017/05/23(火) 10:22:45.67 ID:NQSYZDZ6
決定番号がなんかツボっぽいなｗ

これって常識的に考えると
「一応自然数だけど、人間が生きてる間に
　その桁を全て読むことができないような
　スッゲェバカでかい数」
が出てくるよね

たしかにいかほどバカでかくても大小関係は決まるよ
だから言ってることはまあごもっともだと思う
でもさ、多分上限のつもり数が非常識なほどデカいよ
だからきっと全然現実的な戦略じゃないと思うなぁ
こんな戦略、使えるのは神様だけでしょ（ボソッ）
(引用終り)

560(3): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)17:25 ID:yPoPkF9y(10/12)調 AAS
>>559

おっちゃん、どうも、スレ主です。

>決定番号の最大値Dが D≧2 となることを仮定すれば、
>もう記事の>>13が適用出来るから、何も問題はない。

えーと、時枝記事>>13から抜粋
"問題に戻り，閉じた箱を100列に並べる.
これらの列はおのおの決定番号をもつ.
さて， 1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない."

これを、書き直すと、決定番号 s^1,s^2,・・、s^k,・・s^99,s^100 の100個の決定番号に対し
最大値D ＝max( s^1,s^2,・・、s^k,・・s^99,s^100 ) で、「s^k＝最大値Dとなる確率は1/100に過ぎない」ってことだよね。
最大値関数 max(）は分かるよね？分からなければ、エクセルの説明だが、右記でも見てください http://www.excel-list.com/max.html

で、最大値D ＝2なら、決定番号は 1 or 2しかないから、「s^k＝最大値Dとなる確率は1/100に過ぎない」が、単純に言えなくなるよ
つまり、「s^k＝最大値Dとなる確率は1/100に過ぎない」が言えるためには、”決定番号 s^1,s^2,・・、s^k,・・s^99,s^100 が全て異なる値を取る”という、”ごく一般的な状況を想定している”ってことだろ？

だから、その場合、”最大値Dは100以上でなければならない”ってことだよ

561: 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)17:35 ID:yPoPkF9y(11/12)調 AAS
>>560 補足

>つまり、「s^k＝最大値Dとなる確率は1/100に過ぎない」が言えるためには、”決定番号 s^1,s^2,・・、s^k,・・s^99,s^100 が全て異なる値を取る”という、”ごく一般的な状況を想定している”ってことだろ？

だが、この”ごく一般的な状況”が、実は簡単には「成り立たない」よと
それが、>>540-544であり、第1の論点と第2の論点だよ

574(2): 現代数学の系譜古典ガロア理論を読む 2017/07/08(土)22:40 ID:yPoPkF9y(12/12)調 AAS
>>562
おっちゃん、どうも、スレ主です。
レスありがとう。了解だ。時枝記事の理解が進んだね

まあ、明日ゆっくり考えて下さい（＾＾

乗りかかった船というか、折角いままで１年以上時枝記事に関わったんだから、最後正しい理解「時枝記事は不成立」まで到達してほしいね
それが、おっちゃんにとっても、いままでの議論を無駄にしない選択だと思うし、私にとってもありがたい

>>540-544に書いた、第1の論点と第2の論点。特に論点2の方を頼む。
集合論や解析につよい、おっちゃんなら、少し考えれば分かるだろう（＾＾

まあ、>>517に書いたことも、かなり理解できるだろうと思うよ。例えば
「２．時枝記事>>12で、例えば数列のs = (s1，s2，s3 ，・・・，sn ，・・・)で、snが確率99/100で的中したとする。
　ビデオの逆回しのように、時間を戻すと、snに数を入れるとき、”by choosing the xi independently and uniformly on [0, 1] ”とすれば、いままで入れてきた箱や、これから入れる箱の数とは、独立なはず。
　だから、その時点では的中確率０（ゼロ）だ。
　ところが、時間が経って、箱の列が伸びて、可算無限個になったら、確率が変化して99/100か？それはおかしいだろう？」など

これ、逆に考えれば、
　数列のs = (s1，s2，s3 ，・・・，sn ，・・・)で、snが確率99/100で的中したとする。この数列のしっぽを切って有限列とする
　s = (s1，s2，s3 ，・・・，sn ，・・・，sm) だ。smは有限の範囲でいくらでもしっぽをずーと長く取れる

が、いくら長くても有限だと、的中確率０（ゼロ）だって（＾＾
一方、可算無限長さだと、確率99/100だと？？（＾＾

ここらのおかしさ（奇妙さ）も、>>540-544の第1の論点と第2の論点で説明がつくだろう

あと、平場誠示先生>>277 「無限大はあくまで, 有限な値からの極限として考えるべきものである.」という
これ、解析学の基本だよね。無限を、有限な値からの極限として考えない人は、おかしな結論に気付かないんだな（＾＾

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

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

ぬこの手ぬこTOP 0.035s