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

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

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

1: １３２人目の素数さん [] 2024/06/04(火) 21:15:15.41 ID:GxSzeiWS

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

https://rio2016.5ch.net/test/read.cgi/math/1710632805/
前スレ スレタイ 箱入り無数目を語る部屋18

(参考)時枝記事
https://imgur.com/a/8bqlb08
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.net/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などは下付添え字

つづく

http://rio2016.5ch.net/test/read.cgi/math/1717503315/1

6: １３２人目の素数さん [] 2024/06/04(火) 21:18:10.91 ID:GxSzeiWS

つづき

（完全勝利宣言！ｗ）（＾＾
https://rio2016.5ch.net/test/read.cgi/math/1666352731/767 (775の修正を追加済み)
>>701-702 補足説明
　>>760にも書いたが、
”　a)確率上、開けた箱と開けてない箱とは、扱いが違う”>>701
をベースに、時枝記事>>1のトリックを、うまく説明できると思う

１）いま、時枝記事のように
　問題の列を100列に並べる
　1〜100列 のいずれか、k列を選ぶ(1<=k<=100)
　k以外の列を開け、99列の決定番号の最大値をdmax99 とする
　k列は未開封なので、確率変数のままだ
　なので、k列の決定番号をXdkと書く
２）もし、Xdk<=dmax99 となれば、dmax99+1以降の箱を開けて
　k列の属する同値類を知り、代表列を知り、dmax99番目の箱の数を参照して
　その値を問題のk列の箱の数とすれば、勝てる
（∵決定番号の定義より、dmax99番目の箱は、問題のk列とその代表とで一致しているから）
３）しかし、決定番号は、
　自然数N同様に非正則分布>>13だから、これは言えない
　つまり、確率はP(Xdk<=dmax99)=0 とすべきだ
（非正則分布なので、上限なく発散しているので、dmax99<=Xdk となる場合が殆ど）
４）もし、決定番号が、[0,M]（Mは有限の正整数）の一様分布ならば
　dmax99が分かれば、例えば、
　0<=dmax99<=M/2 ならば、勝つ確率は1/2以下
　M/2<=dmax99<=M ならば、勝つ確率は1/2以上
　と推察できて
　それを繰り返せば、大数の法則で、P(Xdk<=dmax99)=99/100が言えるだろう
（注：dmax99は、100列中の99列の最大値なので、P(Xdk<=dmax99)=99/100が正しいだろう）
　しかし、非正則分布では、このような大数の法則は適用できない
５）人は無意識に、決定番号も正則分布のように錯覚して、トリックに嵌まるのです
　しかし、非正則分布では、大数の法則も使えない
　結局、時枝記事の99/100は、だましのトリックってことです

つづく

http://rio2016.5ch.net/test/read.cgi/math/1717503315/6

35: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2024/06/07(金) 11:13:39.65 ID:2aWcUJV1

さて、箱入り無数目>>1について
関数論からの考察を加えてみよう

１）三角関数sin x を使って、箱に先頭から 数を入れる
　sin 1,sin 2,・・,sin n,・・ となる
　これらは、超越数になるので少し細工して（下記 リンデマン、ワイエルシュトラス）
　箱には、有限小数に落とした数を入れる
　例えば、ガウス記号を使って、[(sin n)*10^m]/10^m とすれば良い （mは、1≦m なる適当な（例えばm=100などの）整数）
２）箱入り無数目論法では、ある自然数kを選んで それ以外の[(sin n)*10^m]/10^m の値から
　あるk番目の箱で、問題の関数値 [(sin k)*10^m]/10^m を ピタリと言い当てることができるという
　しかし、下記関数論の 一致の定理があるが、この定理とは ズレがある
（箱入り無数目の[(sin n)*10^m]/10^m の値は、あくまで小数まるめの数でしかなく、かつ 1,2,3,・・n・・の離散点の値の情報しかないので、一致の定理に乗らない）
３）sin x はあくまで一例で、任意の正則関数 f(x) が使えて、同様の手法で箱に f(x) の小数まるめの数を入れることができる
　箱入り無数目の主張は、任意正則関数 f(x)が x=1,2,3,・・n・・の離散点の値の情報から、f(x)がピタリと決められるという。これは、一致の定理に乗らない！
　さらに、箱入り無数目の主張は、正則関数でなくとも、任意関数 f(x)が x=1,2,3,・・n・・の離散点の値の情報から、f(x)がピタリと決められるという。全くデタラメである！

(参考)
https://manabitimes.jp/math/2685
高校数学の美しい物語 2022/10/21
一致の定理
https://ja.wikipedia.org/wiki/%E4%B8%80%E8%87%B4%E3%81%AE%E5%AE%9A%E7%90%86
一致の定理（いっちのていり、英: Identity theorem）は、実解析と複素解析において、通常は可算点列上で局所的に一致する2つの解析関数が大域的に一致することを主張する定理である。重要な定理であり、解析接続の一意性の証明にはこの定理が必要となる。

https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0
超越数
(2) 初等関数の特殊値が超越数となる例
代数的数 α ≠ 0 に対する、sin α、 cos α、tan α 。（リンデマン、ワイエルシュトラス (K. Weierstrass)）

https://manabitimes.jp/math/907
高校数学の美しい物語 2021/03/07
ガウス記号の定義と３つの性質

http://rio2016.5ch.net/test/read.cgi/math/1717503315/35

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

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

ぬこの手ぬこTOP 5.228s*