スレタイ箱入り無数目を語る部屋3

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

576: １３２人目の素数さん [] 2022/10/07(金) 08:03:07.10 ID:JooN1fem

>>560 補足
>時枝記事が正しければ、
>無限のランダムウォーク中にひとつ
>ランダムウォークのしっぽ同値類を使って、確率99/100で的中できる
>というアホな話になるｗ

まあ、現代確率論、確率過程論で
時枝記事がデタラメということは、すぐ分かる
だが、時枝記事の謎解きは別だ

時枝記事の謎解きは、
可算無限数列（実無限）>>1
　↓
形式的冪級数（環）>>168
　↓
しっぽの同値類＝多項式（環）>>169（可能無限）>>472
　↓
可能無限から反例構成できる
という流れで説明できるだろう

つまり
１）形式的冪級数環で、その級数のしっぽの同値類を考える
２）同じ同値類の二つの元の差を取ると、しっぽの部分が消えて、多項式になる
　具体的には、二つの元を下記とする
　τa＝a0+a1x+a2x^2・・+anx^n+an+1x^n+1 ・・
　τb＝b0+b1x+b2x^2・・+bnx^n+an+1x^n+1 ・・(つまり、n+1項以上のしっぽ部分が一致)
　f(x)＝τa-τb で n次多項式になる（式の計算はスペースの都合で略す）
３）逆に、一つの形式的冪級数τに対して、
　その同値類の元は、τ+f(x) と書ける
（τの例としては、超越関数の原点x=0での級数展開をイメージして貰えば分かり易いだろう）
４）いま、出題された数列から、τ+f(x) が構成できたとしょう
　そして、この同値類における代表を、τ+fd(x)としよう
５）時枝の記事>>1は、ある大きな次数（自然数）mを取れば、
　m以上の項は、同値類でしっぽの共通部分に当たるから、
　代表のτ+fd(x)を見れば、問題のτ+f(x) の共通のしっぽの部分も推察がつくというものだ>>1
６）時枝記事は、99個の列を作って、それらの決定番号の最大値 Dmax99 を得て
　それを上記mとして利用しようというもの
　それで、確率99/100を得るという
　（決定番号の説明は https://rio2016.5ch.net/test/read.cgi/math/1620904362/402 ご参照）
　（確率99/100は https://rio2016.5ch.net/test/read.cgi/math/1620904362/403 ご参照）
７）しかし、多項式環は、無限次元線形空間（>>189 都築 暢夫 広島大）であるから
　原理的に、有限の Dmax99 を与えても、確率99/100と出来ないことは自明だろう

以上

http://rio2016.5ch.net/test/read.cgi/math/1660377072/576

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

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

ぬこの手ぬこTOP 0.031s