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

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

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

121: １３２人目の素数さん [sage] 2017/06/22(木) 20:00:21.09 ID:WgJfdE7K

>>98-99
> ある決定番号nの数列が存在するとして、かならずその後者 決定番号n+1の数列が構成可能です
> 従って、決定番号は任意の自然数を取ることができます！

無限数列の場合は以下のようになるから数当て戦略が不成立であることは言えないですよ
決定番号が自然数 : 決定番号より後ろには可算無限個の項が存在する

数当て戦略を成立させないために決定番号より後ろに可算無限個の項が存在する状態をなくしたいからスレ主は
> 箱が「可算無限個」だから、”L→∞を考えろ” (>>80)

極限を考えるということは無限数列のある項より後ろに存在する可算無限個の項をまとめて扱うための条件を考えることになって

> 「sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す」
だから決定番号の極限を求めるための可算無限個の項を扱うための条件としては以下の2通りしかない
(1) 2つの無限数列を比較したときにある番号Dから後ろが全て一致する
(2) 2つの無限数列を比較したときにどのような番号をとってもそれより後ろの項が一致しない

(1)の場合は決定番号の極限値はD(ある自然数)
(2)の場合は2つの無限数列は同じ類に属さないので別の代表元を用いて決定番号を求めることになる
よって決定番号の極限値はある自然数であって無限大にならない

極限を考えても決定番号はある自然数(有限)であって決定番号より後ろには可算無限個の項が存在する

例として(>>98)
> 仮に代表元は「最初から全部の項が0の無限数列」とします
別の代表元として「最初から全部の項が1の無限数列」とする

有限数列a1=1, a2=1, ... , aD=1に対してa(D+1)=0, a(D+2)=0, ... をまとめて加えて無限数列を作ると
n > Dである自然数に対して |an - 0| = 0 であるから lim_{n→∞} an = 0 であり決定番号はD+1

有限数列a1=1, a2=1, ... , aD=1に対してa(D+1)=1, a(D+2)=1, ... をまとめて加えて無限数列を作ると
全ての自然数に対して |an - 1| = 0 であるから lim_{n→∞} an = 1 であり決定番号は1

http://rio2016.5ch.net/test/read.cgi/math/1497848835/121

124: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/06/22(木) 22:37:30.84 ID:MHGinDmi

>>123 つづき

２．
で、無限列でも、"by choosing the xi independently and uniformly on [0, 1] and {0, 1, ..., 9}, respectively.”が言えれば、数学的には、有限長さ列の場合と同じことが言えますね。

（時枝）>>15より
”扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない”

そこで、前スレでも書きましたが、下記確率の専門家さんの証明を引用します
スレ20より http://rio2016.2ch.net/test/read.cgi/math/1466279209/538 2016/07/03
うーん，正直時枝氏が確率論に対してあまり詳しくないと結論せざるを得ないな

>確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
の認識が少しまずい．
任意有限部分族が独立とは
P(∀i=1,…n,X_i∈A_i)=Π[i=1,n]P(X_i∈A_i)ということだけど
これからP(∀i∈N,X_i∈A_i)=Π[i=1,∞]P(X_i)が成立する（∵n→∞とすればよい）
これがきっと時枝氏のいう無限族が直接独立ということだろう．
ということは(2)から(1)が導かれてしまったので，
「(1)という強い仮定をしたら勝つ戦略なんてあるはずがない」時枝氏の主張ははっきり言ってナンセンス
確率変数の独立性というのは，可算族に対しては(1)も(2)も同値となるの
(引用終り)

つまり、確率の専門家さんの証明は、”independently and uniformly”のうち
前者の”independently”（独立性）について、証明したのです。
後者の”uniformly”は、有限無限で扱いが変わらないことは自明です。
ですから、無限列でも、"by choosing the xi independently and uniformly on [0, 1] and {0, 1, ..., 9}, respectively.”が言えたので、数学的には、有限長さ列の場合と同じことが言える。
つまり、繰り返しですが、プレイヤー2ではgame1の勝率0、ゲーム2では勝率1/10だと

以上

http://rio2016.5ch.net/test/read.cgi/math/1497848835/124

135: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/06/23(金) 06:39:29.60 ID:GDLxUv2f

>>130-131
どうも。スレ主です。
難しく考えすぎでは？

私の主張は
「時枝記事で、任意の自然数ｎ∈Ｎ（自然数の集合）に対し、決定番号がｎとなる同値類が構成できる。
　従って、決定番号の集合をＫとして、集合Ｋの濃度は可算無限。」と単純です
（略証）
１．>>93より引用
”「全部の項が0の無限数列」と
　「ｎ番目までの項が1で、その後の全部の項が0の無限数列」は　同値”
　↓
これを変形して、ｎ＞１で
　「全部の項が0の無限数列」と
　「ｎ-1番目までの項が1で、その後の全部の項が0の無限数列」は　同値”とします
２．ここで、仮に代表元は「最初から全部の項が0の無限数列」とします(>>98)
　そうすると、「ｎ-1番目までの項が1で、その後の全部の項が0の無限数列」と代表元との比較で、決定番号はｎです。
３．ｎとして、任意の自然数を取ることができます。ＱＥＤ

これで終りです。

追記
１．上記は略証ですが、添え字付きの文字＊）を使った証明にできることには、同意頂けるとして略証としました。
　注＊）時枝>>12の「s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N」のような書き方ですが、書くのも大変ですし、読む方も大変です。上記略証でご勘弁を。
２．任意の自然数ｎについて、>>88 現代数学における自然数の構成にならって、ｎの後者ｎ＋１、その後者ｎ＋１＋１、その後者ｎ＋１＋１＋１、・・・と無限に続けることができます
　そうすると、任意の自然数ｎについても、必ず可算無限の後者が存在しますよ。くどいですが、ここ良いですね
３．”超限順序数 ω”とかを持ち出されていますが、現代数学の確率論のテキストでは、”超限順序数 ω”は不要と思います。
　”超限順序数 ω”を使わずに、可算無限と連続無限を扱っています。
　例えば、>>57で紹介した ６章 確率分布 http://www.heisei-u.ac.jp/ba/fukui/pdf/stattext06.pdf などを見て下さい
　もし、確率論で、”超限順序数 ω”を使った確率論のテキストがあれば教えて下さい。
　なお、Sergiu Hart氏 PDF>>28、 mathoverflow >>23 とも、”超限順序数 ω”は登場していません

http://rio2016.5ch.net/test/read.cgi/math/1497848835/135

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

あと 532 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.015s