スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8ｗ)

前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1788330573/
前スレ スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の後

数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

つづく

つづき
さて
１）決定番号d は、>>278に 書いたように
　>>205 都築暢夫 広島大 の意味で、
多項式環 F[x]から、一つ d-1次多項式 f(x)を選んだことに対応することは, すでに述べた
（簡単に要約すると、1列の可算無限列 R^N を形式的冪級数(つまりは形式的冪級数F[[x]]の元)）
　と見て、一つの同値類で 形式的冪級数で
　代表 f[[x]]と 任意g[[x]]との差 g[[x]]-f[[x]]=f(x) （多項式）とできる ということ
　| f[[x]],g[[x]] ∈F[[x]] ）
２）多項式環 F[x]は、>>205 都築暢夫 広島大 の意味で、任意nに対して 常にn+1が存在し
　F[x]は、（可算）無限次元線形空間になる
３）さて、（可算）無限次元線形空間 F[x] から
　多項式を二つ f(x) m次式 ,g(x) n次式 を選んだ時
　mとnの大小比較が、確率論として成立するのか？
　が問題となる。
　ポイント（問題点）は、『F[x]は、（可算）無限次元線形空間』で、多項式の次数が発散していることだ
４）まず、ミニモデルとして
　（可算無限の）自然数Nで m,n ∈N で考えてよう
　全事象 Ω＝N とすると、明らかに 数え上げ測度 mで、m(Ω)＝∞ であり
　確率測度 P(Ω)=１を満たせない
　このようなときに、確率を考えると パラドックスが起きる場合がある
　例えば、まず先に m を取る。その後 Nからランダムにnを選ぶとする（実は ”ランダム”の定義も問題）
　そうすると、自然数Nは平均値が発散し、標準偏差も発散しれているから
　常に m<n つまり P(m<n)=1
　逆に、n を取り。その後 mを選ぶ 上記同様 P(n<m)=1 で 矛盾
５）これをベースに、>>205 都築暢夫 広島大 の意味で （可算）無限次元線形空間 F[x]を考える
　二つの多項式 f(x) m次式 ,g(x) n次式 を選んだ時
　その次数 mとnの比較もまた、上記と同じ矛盾が生じる

上記より、>>507に対する批判は
最大値関数 ”max({d(s1),...,d(s100)}-{d(si)})”が、発散する量であり
無造作に ”Di≧d(si)”としてしまっているところだね
それは ”スベっている” ということです

つづく

つづき
上記のように
決定番号の集合、それは多項式環F[x]の 元である多項式多項式 f(x)が d-1次であるとき 決定番号がdになるのだが
F[x]は、　>>205 都築暢夫 広島大 の意味で、可算無限次元線形空間になる（下記再録）
ゆえに
確率空間における全事象 Ω＝決定番号の集合（多項式環F[x]の元 多項式多項式 f(x) の次数の集合）
としたとき、Ωは無限集合ゆえ 確率公理P(Ω)=1を満たせないのです
ゆえに
箱入り無数目論法は、矛盾を含んでいるのです！！

(参考)>>205より再録
www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I 都築暢夫 広島大
F を体とする
P3
例3.2.多項式環F[x]. F[x]nは1,x,··· ,xnを基底に持つn+1次元線形空間である
F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である
証明. 1,x,··· ,xnがF[x]nの基底になること: 1,x,··· ,xnがF[x]nを生成することは明らか
a0,··· ,an∈Fに対してa0+a1x+···+anxn=0とするとき、a0=a1=···an=0となることをnに関する帰納法で証明する
n=0のときは明らか。n−1まで成り立つとする。x=0とすると、a0=0である
(a1+ a2x+···+anxn−1)x=0より、a1+a2x+···+anxn−1=0である
帰納法の仮定から、a1=···an=0となる。よって、1,x,··· ,xnは一次独立である
したがって、1,x,··· ,xnはF[x]nの基底になる■
(引用終り)

さて
>>385 再録
1）確率論、確率過程論を知っている人ならば、「箱入り無数目」など抱腹絶倒ものｗ
　特に、確率過程論からみて全然ダメ
2）乱数理論で、乱数を箱にいれたら、当然乱数は他の箱の数を見ても当てられないはず
　当然です。「箱入り無数目」の確率99/100など、噴飯物
3）情報理論からみても、任意実数区間[a,b]｜a＜b
　の実数の的中は非可算無限の話で、可算個の実数のランダムな情報では、的中には、当然情報が不足
4）ルベーグ測度論で、任意実数区間[a,b]で、実数の一点 r∈[a,b] には
　測度は0 (零集合)にしか、なり得ない。確率99/100だ？ 馬鹿も休み休み言え！
まあ、こんな話ですね
まさに 『あほ二人の”アナグマの姿焼き"』ですｗ ；ｐ）
(引用終り)
以上

つづく