25/01/15 11:19:30.46 ZCTGHyhi.net
前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります ｽﾚﾘﾝｸ(math板) 箱入り無数目を語る部屋19 )
ｽﾚﾘﾝｸ(math板)
スレタイ 箱入り無数目を語る部屋28(あほ二人の”アナグマの姿焼き"Part2ｗ)
(参考)時枝記事
URLﾘﾝｸ(imgur.com) (リンク切れてしまったが そのうちにｗ)
数学セミナー201511月号「箱入り無数目」
ｽﾚﾘﾝｸ(math板: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などは下付添え字
つづく
338:１３２人目の素数さん
25/10/02 09:44:58.43 UdWUHqxF.net
>>330
＞箱入り無数目の なかなか気づかない傷は、
＞決定番号の分布が 裾が減衰しない分布（非正則）で
誤 なかなか気づかない傷
正 素人のみならずうかつな玄人すらうっかり引っかかる罠
箱の中身の分布
無限列の決定番号の分布
そんなものは一切考えなくていい
出題者がいちいち出題を変える権利はない
回答者がどう箱を選ぶかの権利があるだけ
339:１３２人目の素数さん
25/10/02 09:54:00.57 V+X5qTLN.net
>>330
>下記の
その馬鹿語使うのもうやめな 下記貼男君
>裾の重い分布とPower law （べき乗則）で説明します
全く使わないので無駄
>この（裾が重い）場合は、当然平均値も∞に発散します
>また、確率を考えること自身ができなくなります
>ここが、箱入り無数目トリックです
はい間違い
出題が確率事象であるかのように思わせる
これが真の「箱入り無数目トリック」（笑）
実際には出題された後から事象が始まる
もっといえば１００列に並べた後から事象が始まる
別に回答者は１人でなくていい
不特定多数いていい
そして同時に１００列選ばせればいい
皆同じ代表を使えば、同じ列を選んだ人は同じ箱を選ぶ
つまり選べる箱は１００個しかない
そしてそのうち代表と不一致な箱はたかだか１個しかない
ただそれだけの話
「確率分布ガー」「測度ガー」とか言ってる人は
無駄に問題を難しく誤解して自爆死したってこと
小賢しい奴は大馬鹿者（嘲）
340:１３２人目の素数さん
25/10/02 09:55:26.66 V+X5qTLN.net
手品は見る側を誤解させるトリックで成立する
「箱入り無数目」も同じこと