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

1 名前：１３２人目の素数さん [2024/03/05(火) 08:04:40.23 ID:FscjMFDQ.net] 前スレが1000近く又は1000超えになったので、新スレを立てる https://rio2016.5ch.net/test/read.cgi/math/1708680610/ 前スレ スレタイ 箱入り無数目を語る部屋16 (参考)時枝記事 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などは下付添え字 つづく 49 名前：１３２人目の素数さん [2024/03/05(火) 20:28:05.11 ID:sv6mPLu1.net] >>46 ＞ここでε→0とすると ε＝0にはできない (1-ε）<1　だから(1-ε)^n→0になる 1だったら1^n→0にならない つまり、箱入り無数目はあくまでε>0の場合の>>46のモデルで成立するので ε→0の極限とε=0の場合は、もちろん違う 50 名前：１３２人目の素数さん [2024/03/05(火) 21:00:56.77 ID:GpIsjTrm.net] >>47 命題の真偽は1例で真なら真と？ 君って呆れるほど馬鹿なんだね 1例で偽なら偽だよ 51 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 21:07:57.92 ID:IYPmJEac.net] >>49 何言ってんだこいつ 52 名前：１３２人目の素数さん [2024/03/05(火) 21:12:12.76 ID:GpIsjTrm.net] >>50 反例も知らないの？ なら黙ってれば？　恥かくだけだから 53 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 21:16:40.84 ID:IYPmJEac.net] >>51 モデリングなんて職人芸なんだから、実戦で色んなパターンを覚える以外にないだろ コロナ感染確率は感染してるかどうかわからないから確率変数でモデル化するんだろ そこに試行がどうとか定数だとかそんなの全く関係ねーよ 54 名前：１３２人目の素数さん [2024/03/05(火) 21:19:34.97 ID:GpIsjTrm.net] >>52 おまえ日本語読めないの？ なら小学校の国語からやり直し 55 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 21:24:50.17 ID:IYPmJEac.net] >>53 何言ってんだこいつ 56 名前：１３２人目の素数さん [2024/03/05(火) 21:26:43.89 ID:GpIsjTrm.net] >>54 おまえ日本語読めないの？ なら小学校の国語からやり直し 57 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 21:33:35.75 ID:IYPmJEac.net] >>55 なんでコロナの感染確率は試行でも� 58 名前：ｽでもないランダム要素のない確定していることなのに確率なの？ [] [ここ壊れてます] 59 名前：１３２人目の素数さん [2024/03/05(火) 21:34:21.89 ID:GpIsjTrm.net] ある確率モデルで「未知のものは確率変数」ならば、あらゆる確率モデルで「未知のものは確率変数」 ↑ バカ丸出し 60 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 21:35:27.44 ID:IYPmJEac.net] >>55 さっさと厚生労働省に文句言いに行けよ ランダム要素がないものに確率を使うなって 61 名前：１３２人目の素数さん [2024/03/05(火) 21:35:33.97 ID:GpIsjTrm.net] >>56 どうでもいい そんなことを論じてると思ってるの？ おまえ馬鹿だろ 62 名前：１３２人目の素数さん [2024/03/05(火) 21:36:06.55 ID:GpIsjTrm.net] >>58 論点のすり替えご苦労さん 63 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 21:38:23.57 ID:IYPmJEac.net] >>57 お前が確率変数を使わずにモデル化できる未知のものを探してくればいいじゃん 64 名前：１３２人目の素数さん [2024/03/05(火) 21:40:17.58 ID:GpIsjTrm.net] >>61 なんで？ 65 名前：１３２人目の素数さん [2024/03/05(火) 21:40:30.35 ID:GpIsjTrm.net] だから言ってるだろ 屁理屈はいいから「未知のものは確率変数」と書かれた書籍を示せって 日本語がわからないなら小学校の国語からやり直し 66 名前：１３２人目の素数さん [2024/03/05(火) 21:40:53.90 ID:GpIsjTrm.net] ある確率モデルで「未知のものは確率変数」ならば、あらゆる確率モデルで「未知のものは確率変数」 ↑ バカ丸出し 67 名前：１３２人目の素数さん [2024/03/05(火) 21:41:21.77 ID:GpIsjTrm.net] PCR検査の確率モデルで「未知のものは確率変数」ならば、あらゆる確率モデルで「未知のものは確率変数」 ↑ バカ丸出し 68 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 21:45:35.21 ID:IYPmJEac.net] 結局、こいつこんな職人の勘みたいなところをつつくしかやることないんだな 69 名前：１３２人目の素数さん [2024/03/05(火) 21:50:35.47 ID:GpIsjTrm.net] >>66 つまりおまえは「確率論において未知のものは確率変数」は間違いだと思ってるってことでよいの？ 70 名前：１３２人目の素数さん [2024/03/05(火) 21:53:20.30 ID:GpIsjTrm.net] 職人の勘に左右されるってことはそういうことやろ？ 違うか？ 71 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 21:53:26.82 ID:IYPmJEac.net] >>67 だから 確率論の話はしてない モデリングの話をしてんだよ 72 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 21:54:21.57 ID:IYPmJEac.net] >>68 モデリングは職人の腕次第で結論が変わるに決まってるだろ 73 名前：１３２人目の素数さん [2024/03/05(火) 21:56:00.97 ID:GpIsjTrm.net] >>70 だから話を逸らすなよ 聞いたことに答えろカス 74 名前：１３２人目の素数さん [2024/03/05(火) 21:57:27.35 ID:GpIsjTrm.net] >>69 じゃ失せろよカス 75 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:01:01.36 ID:IYPmJEac.net] ここで、発端になったレスを思い出してみよう こいつがなんでこんなに必死になってるかって言うと、コロナの例が＞837を完全に否定してるからなのですね コロナに感染してるかどうかなんて最初にすでに決まっていて突然変化するわけないからね 1例挙げれば十分な命題だったでしょ 837 １３２人目の素数さん 2024/02/23(金) 02:14:00.13 ID:xKynRG52 ＞833 >最初に決めるから確率変数じゃないとかね 君は文盲かい？ 試行毎に変化するものが確率変数　変化しないものは確率変数でない と書いたんだけど読めないかい？　なら小学校の国語からやり直そうね 838 １３２人目の素数さん sage 2024/02/23(金) 02:16:11.67 ID:0hiCCwLy ＞837 それがおかしいって言ってんだよ 見えないものが確率変数ね 76 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:02:19.91 ID:IYPmJEac.net] >>72 じゃあもう下らない質問すんな 77 名前：１３２人目の素数さん [2024/03/05(火) 22:05:29.77 ID:GpIsjTrm.net] ここで、発端になったレスを思い出してみよう こいつがなんでこんなに必死になってるかって言うと、二つの封筒の例が＞838を完全に否定してるからなのですね 相手の封筒の中身が見えないからといって確率変数としてしまうとパラドックスになるからね 1例挙げれば十分な命題だったでしょ 838 １３２人目の素数さん sage 2024/02/23(金) 02:16:11.67 ID:0hiCCwLy ＞837 それがおかしいって言ってんだよ 見えないものが確率変数ね 78 名前：１３２人目の素数さん [2024/03/05(火) 22:09:38.39 ID:GpIsjTrm.net] >>73 じゃ聞くけどPCR検査の例における試行、確率変数、確率空間ってそれぞれ何？ 答えによっては >試行毎に変化するものが確率変数　変化しないものは確率変数でない に抵触しないかもよ？　心して答えてね 79 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:14:24.62 ID:IYPmJEac.net] >>76 試行なんてねーよ 感染してるかどうかは最初から確定してるんだから 確率変数だって0か1の値をとるだけだろ 確率空間なんて確率変数が定まればなんでもいい 80 名前：１３２人目の素数さん [2024/03/05(火) 22:23:13.76 ID:GpIsjTrm.net] >>77 >試行なんてねーよ つまり君は確率論における反例を挙げたわけじゃないってことね？ 君、要らないから失せていいよ 以下、長崎県立大学のページから引用 試行：　実験や観測を行うこと 標本点：　その試行で生じる個々の結果（今後しばしば ω と書く）　←定義に試行が使われている 標本空間：　標本点の全体（今後しばしば Ω と書く）　←定義に標本点が使われている 事象：　標本空間Ωの部分集合　←定義に標本空間が使われている 根元事象：　標本点が1つの事象　←定義に標本点が使われている ↑ 試行が未定義ならすべて未定義　是すなわち確率論に非ず 81 名前：１３２人目の素数さん [2024/03/05(火) 22:24:32.09 ID:GpIsjTrm.net] 確率論を論じてるのかと思いきや似非確率論だったとさ やれやれ 82 名前：１３２人目の素数さん [2024/03/05(火) 22:30:32.50 ID:GpIsjTrm.net] ちなみに二つの封筒問題は純粋に数学の問題なので 838 １３２人目の素数さん sage 2024/02/23(金) 02:16:11.67 ID:0hiCCwLy ＞837 それがおかしいって言ってんだよ 見えないものが確率変数ね の完全な反例です 誰かさんの似非確率論を用いた言いがかりとは違います 83 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:31:36.33 ID:IYPmJEac.net] >>79 だから何度言えばいいのこれ 確率論の話をしてるんじゃねーよ モデリングの話をしてるんだよ 84 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:32:50.00 ID:IYPmJEac.net] >>80 そう思ってるの君だけだから ＞ちなみに二つの封筒問題は純粋に数学の問題なので 85 名前：１３２人目の素数さん [2024/03/05(火) 22:34:36.90 ID:GpIsjTrm.net] >>82 じゃ何の問題？ 86 名前：１３２人目の素数さん [2024/03/05(火) 22:35:20.82 ID:GpIsjTrm.net] >>81 だから失せなって 君以外の誰もモデリングの話なんてしてないから 87 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:36:15.26 ID:IYPmJEac.net] >>83 封筒の問題はモデリングを適当にやると変な答がでるよって話だよ 箱入り無数目も同じだろ 88 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:37:57.69 ID:IYPmJEac.net] >>84 君以外はみんな箱の中身を確率変数でモデル化するとどうなるかの話してるんですけどー 89 名前：１３２人目の素数さん [2024/03/05(火) 22:43:32.36 ID:GpIsjTrm.net] >>85 >>86 君往生際悪いよ 「試行毎に変化するものが確率変数」の正否を論じてるのに試行の無いモデルを持ち出す馬鹿が居ても無意味だから失せなよ 90 名前：１３２人目の素数さん [2024/03/05(火) 22:45:26.82 ID:GpIsjTrm.net] 0078１３２人目の素数さん 2024/03/05(火) 22:23:13.76ID:GpIsjTrm >>77 >試行なんてねーよ ↑ 「試行毎に変化するものが確率変数」の正否を論じてるのにこの答えは馬鹿としか言い様がありません 91 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:46:39.06 ID:IYPmJEac.net] >>87 モデルに試行がないんじゃねーよ 現実の問題側に試行がないの モデルにはΩからωがランダムに選ばれるという試行がある 92 名前：１３２人目の素数さん [2024/03/05(火) 22:47:57.15 ID:GpIsjTrm.net] 試行が存在しないモデルを持ち出してどうやって「試行毎に変化するものが確率変数」の正否を論じるつもりだったのでしょう？ 馬鹿のやることは理解できましぇーん 93 名前：１３２人目の素数さん [2024/03/05(火) 22:54:15.82 ID:GpIsjTrm.net] >>89 なに後出しで言ってんの？ おまえそんなこと一言も言ってなかったじゃん 指摘が刺さったので取り繕ったな？ｗ で？>>76に答える気あるの？>>77も>>89も答えになってないよ？ 94 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:56:01.40 ID:IYPmJEac.net] >>91 答になってる 95 名前：１３２人目の素数さん [2024/03/05(火) 22:56:30.53 ID:GpIsjTrm.net] 言っとくけど書き散らすんじゃなく、1レスで完全な答えを書けよ？ 書き散らしは採点せんぞ？ 96 名前：１３２人目の素数さん [2024/03/05(火) 22:56:52.38 ID:GpIsjTrm.net] >>92 はい、落第 97 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:57:07.19 ID:IYPmJEac.net] >>93 だれも頼んでない 98 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:57:29.35 ID:IYPmJEac.net] >>94 そうよかったね 99 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 22:59:44.50 ID:IYPmJEac.net] そもそも確率空間に落とし込んだ時点で試行なんて言葉に意味なんてねーぞ 常にΩからωを選ぶって一回の試行になるんだからな 100 名前：１３２人目の素数さん [2024/03/05(火) 23:10:23.44 ID:GpIsjTrm.net] >>97 おまえΩが何か書いてないじゃん　頭イカレテる？ いいから落第者は去りましょう　往生際悪いよ 101 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 23:27:34.75 ID:IYPmJEac.net] >>98 確率論でΩを明示しても何もいいことない 102 名前：１３２人目の素数さん [2024/03/05(火) 23:33:22.80 ID:GpIsjTrm.net] >>99 誰もおまえの持論を聞いてない 103 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 23:37:05.18 ID:IYPmJEac.net] >>100 じゃあΩの具体的な中身を有効活用した確率論を勝手にやってろ 104 名前：１３２人目の素数さん [2024/03/05(火) 23:40:26.44 ID:GpIsjTrm.net] >>101 何を聞いても屁理屈しか言えないおまえに用は無い　失せろ 105 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 23:44:42.73 ID:IYPmJEac.net] >>102 じゃあ飯の邪魔すんな 106 名前：１３２人目の素数さん [2024/03/05(火) 23:49:57.24 ID:GpIsjTrm.net] おまえから絡んできたんだろ 107 名前：１３２人目の素数さん mailto:sage [2024/03/05(火) 23:53:27.70 ID:IYPmJEac.net] >>104 それはお前だ 108 名前：１３２人目の素数さん [2024/03/06(水) 00:07:25.52 ID:UPLSLbzu.net] >>27 補足 　>>4より www.ma.huji.ac.il/hart/ Sergiu Hart www.ma.huji.ac.il/hart/#puzzle Some nice puzzles: www.ma.huji.ac.il/hart/puzzle/choice.pdf? Choice Games November 109 名前：4, 2013 P2 Remark. When the number of boxes is finite Player 1 can guarantee a win with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively. ＜google訳＞ Remark. 箱が有限個の場合、プレイヤー 1 は勝利を保証できます。 ゲーム 1 では確率 1、ゲーム 2 では確率 9/10 で、 xi はそれぞれ [0, 1] と {0, 1,..., 9} で独立かつ一様で (引用終り) さて １）Sergiu Hart氏は、有限個の場合は、従来の確率論通りだという 　つまり、区間[0, 1]の任意実数では確率0 (＝Player 2の勝率) 　{0, 1,..., 9} では、確率 1/10 (＝Player 2の勝率) 　ってこと 　この場合、箱の中の数は、従来の確率論通り 確率変数である ２）可算無限個の場合は？ 　仮に百歩ゆずって、有限個の箱が確率1-εで当てられるとしても 　当たる箱以外に、やはり可算無限個の箱がある 　それは、上記Sergiu Hart氏の理論通りです 　すなわち、上記『プレイヤー 1 は勝利を保証できます 　ゲーム 1 では確率 1、ゲーム 2 では確率 9/10 で 　xi はそれぞれ [0, 1] と {0, 1,..., 9} で独立かつ一様で』の通りで 　この場合、箱の中の数は、従来の確率論通り 確率変数である よって、『箱の中の数は、従来の確率論通り 確率変数である』！ が結論です [] [ここ壊れてます] 110 名前：１３２人目の素数さん [2024/03/06(水) 00:09:11.58 ID:hk/0+lKf.net] >>105 いいから失せろ 111 名前：１３２人目の素数さん mailto:sage [2024/03/06(水) 00:45:02.38 ID:S5Dm0o31.net] 今日はこれでご飯食べようかな ここで、発端になったレスを思い出してみよう こいつがなんでこんなに必死になってるかって言うと、コロナの例が＞837を完全に否定してるからなのですね コロナに感染してるかどうかなんて最初にすでに決まっていて突然変化するわけないからね 1例挙げれば十分な命題だったでしょ 837 １３２人目の素数さん 2024/02/23(金) 02:14:00.13 ID:xKynRG52 ＞833 >最初に決めるから確率変数じゃないとかね 君は文盲かい？ 試行毎に変化するものが確率変数　変化しないものは確率変数でない と書いたんだけど読めないかい？　なら小学校の国語からやり直そうね 838 １３２人目の素数さん sage 2024/02/23(金) 02:16:11.67 ID:0hiCCwLy ＞837 それがおかしいって言ってんだよ 見えないものが確率変数ね 112 名前：１３２人目の素数さん [2024/03/06(水) 00:49:18.62 ID:hk/0+lKf.net] >>108 これでおかわりすれば？ ここで、発端になったレスを思い出してみよう こいつがなんでこんなに必死になってるかって言うと、二つの封筒問題の例が＞838を完全に否定してるからなのですね 相手の封筒の中身が見えないからといって確率変数としてしまうとパラドックスになるからね 1例挙げれば十分な命題だったでしょ 838 １３２人目の素数さん sage 2024/02/23(金) 02:16:11.67 ID:0hiCCwLy ＞837 それがおかしいって言ってんだよ 見えないものが確率変数ね 113 名前：１３２人目の素数さん mailto:sage [2024/03/06(水) 00:51:28.90 ID:S5Dm0o31.net] >>109 確率変数にして何の問題があったの？ 何も問題でないよ 114 名前：１３２人目の素数さん [2024/03/06(水) 00:56:38.66 ID:hk/0+lKf.net] >>110 自分で勉強して下さい 115 名前：１３２人目の素数さん mailto:sage [2024/03/06(水) 01:05:00.03 ID:S5Dm0o31.net] >>111 復習したけど何も問題なかった 飯の邪魔しないで 116 名前：１３２人目の素数さん [2024/03/06(水) 01:07:00.56 ID:hk/0+lKf.net] >>112 理解できなかったんだね 117 名前：１３２人目の素数さん mailto:sage [2024/03/06(水) 01:09:49.49 ID:S5Dm0o31.net] 封筒の中身を確率変数にすることの一番のポイントは、中身を定数にしたモデルの拡張になっていること すなわち、定数のモデルから結論できることはすべて確率モデルでも正しい これにより、定数によるモデル化よりも劣ってる点が全くない 118 名前：１３２人目の素数さん mailto:sage [2024/03/06(水) 01:11:40.93 ID:S5Dm0o31.net] >>113 具体的に指摘できないなら邪魔しないで 119 名前：１３２人目の素数さん [2024/03/06(水) 01:14:23.87 ID:hk/0+lKf.net] >>114 やはり理解できてない 120 名前：１３２人目の素数さん mailto:sage [2024/03/06(水) 01:27:07.41 ID:S5Dm0o31.net] >>116 それはよかったね 121 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 02:18:41.93 ID:1ZltP1Y1.net] >>26 箱入り無数目で目の値を二値、自然数数値にした時の尻尾同値類のボレル可測性はVitali集合のボレル可測性と同等である 飯ウマー 122 名前：１３２人目の素数さん [2024/03/06(水) 05:53:53.58 ID:IDPoig8I.net] >>106 >>46読んだかい？ 決定番号が正則分布（幾何分布）になる無限列の分布を与えてるよ https://ja.wikipedia.org/wiki/%E5%B9%BE%E4%BD%95%E5%88%86%E5%B8%83 しかも１さんがドヤってた確率過程（ベルヌーイ過程）を使ってね https://ja.wikipedia.org/wiki/%E3%83%99%E3%83%AB%E3%83%8C%E3%83%BC%E3%82%A4%E9%81%8E%E7%A8%8B いやぁ、滑稽滑稽 どうした？確率論 どうした？確率過程 まあ、決定番号が幾何分布になると分かっていれば 別に箱入り無数目戦略とらなくても もっといい方法があるけどな ただ箱入り無数目も100列の場合、確率99/100成功するし、計算できる 残念だったな　１さん　完全に終わったよ　あなたの完全敗北　ご愁傷さま さすが正則行列も可積分条件も無限集合も分からんド素人 幾何分布もベルヌーイ過程も知りませんでしたぁ！ ギャハハハハハハ！！！ 123 名前：１３２人目の素数さん [2024/03/06(水) 05:57:10.18 ID:IDPoig8I.net] >>118　その”知識”だけでは意味がない　釈迦如来 124 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 06:45:16.48 ID:1ZltP1Y1.net] ド素人は気にするな 125 名前：１３２人目の素数さん [2024/03/06(水) 07:03:58.57 ID:IDPoig8I.net] >>121 似非玄人、>>46に何も反論出来ず ヒャッハー！ 126 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 10:53:42.72 ID:1ZltP1Y1.net] 設定不明の問いのには答えようがない、ド素人め 127 名前：１３２人目の素数さん [2024/03/06(水) 11:05:26.02 ID:GkBPE511.net] >>122 ご苦労様です、スレ主です 　>>46って、0さんじゃない？ｗ　；ｐ） >>188 >箱入り無数目で目の値を二値、自然数数値にした時の尻尾同値類のボレル可測性はVitali集合のボレル可測性と同等である 弥勒菩薩さま、救いのお言葉 ありがとうございます。 弥勒菩薩さまのお言葉を、私なりに解釈してみました １）記号を用意しよう 　下記ヴィタリ集合 R/Q で、有理数Qの代わりに m進展開の有限小数の集合Umを使う 　Umは、Qとほとんど類似だが、巡回小数を含まない。なのでN⊂Um⊂Q、ゆえにUmは可算無限集合 　m=10なら10進展開で 　m=2では 2進展開で二値を使っている 　1/3は、10進小数では巡回小数だが、3進小数では0.1と有限小数になる（mの取り方に依存する） ２）いま、商集合 R/Umを考える。下記のヴィタリ集合と同じ論法で、選択公理を使って R/Umの代表から非可測集合を作ることができる（詳細略す） 　これを区間[0,1]に限定した集合をV(Um)とする 　補足すると、無理数 r1,r2∈R r1-r2∈V(Um)のとき、r1-r2は有限小数で よってr1とr2は 小数の第n+1から先しっぽが一致している 　つまり、v=r1-r2 とすると v=0.v1 v2 v3 ・・vn 0 0 0 ・・・と書ける（ここにvnは小数第n位の数 vn≠0） ３）箱入り無数目>>1との関係で、箱に区間[0,1]の実数のm進展開の無限小数を入れるとする 　先頭から、m1,m2,・・,mi,・・ となる ここに miは 0〜m-1の整数 　つまり、箱入り無数目のしっぽ同値類は、R/Umと対応づけができる 　m1,m2,・・,mi,・・ → 無限小数 s=0.m1 m2 ・・ mi ・・ s∈Um 　代表番号dは、あるm進数列で 代表r∈Umに対して s-r==0.m'1 m'2 ・・ m'd-1,0 0 0・・（小数d位以降は0）となること ４）繰り返すが、上記 m=2で2進展開で二値になり V(U2)が ヴィタリ集合と同様に 非可測集合を成す 弥勒菩薩さま、ありがとうございます！ 迷える子羊に救いあれ！ アーメン！ (参考) https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合(Vitali set） https://alg-d.com/math/ac/lebesgue.html トップ > 数学 > 選択公理 > Lebesgue非可測集合の存在 2011年10月12日 壱大整域 128 名前：１３２人目の素数さん [2024/03/06(水) 11:08:35.55 ID:GkBPE511.net] >>122 タイポ訂正 　Umは、Qとほとんど類似だが、巡回小数を含まない。 　　↓ 　Umは、Qとほとんど類似だが、循環小数を含まない。 　1/3は、10進小数では巡回小数だが、3進小数では0.1と有限小数になる 　　↓ 　1/3は、10進小数では循環小数だが、3進小数では0.1と有限小数になる 129 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 11:10:46.59 ID:1ZltP1Y1.net] ０は以前おっちゃんになりすましたアホだろ 130 名前：１３２人目の素数さん [2024/03/06(水) 11:11:09.48 ID:GkBPE511.net] >>122 タイポ訂正追加 　代表番号dは、あるm進数列で 代表r∈Umに対して s-r==0.m'1 m'2 ・・ m'd-1,0 0 0・・（小数d位以降は0）となること 　　↓ 　代表番号dは、あるm進数列で 代表r∈Umに対して s-r = 0.m'1 m'2 ・・ m'd-1,0 0 0・・（小数d位以降は0）となること 131 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 11:19:24.51 ID:1ZltP1Y1.net] >>124 記述集合論も 132 名前：１３２人目の素数さん [2024/03/06(水) 11:24:59.00 ID:IjGHMB8G.net] >>124 >　46って、0さんじゃない？ 誰かは知らんが、>>46は決定番号の分布が正則になるように設定されている >>119はそのポイントを見事にいい当てている １が「ロジックがしっかりしている」と誉めた人物と １が「こいつはサイコパス」と貶した人物が同一 だとするとまあジキルとハイドなわけですが・・・ 閑話休題 >>188よりは>>46のほうが、１にとっては理解しやすいし有意義だと思うが 弥勒菩薩はまだ地上に出てくるのが５億年ほど早かったんじゃないかと・・・ 133 名前：１３２人目の素数さん [2024/03/06(水) 11:28:25.90 ID:IjGHMB8G.net] >>124 ＞迷える子羊に救いあれ！ ０がいうように、「無情報事前条件」なんていう 「エーテル」に固執するのをやめれば 悟りが開けるのではないかね　知らんけど 134 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 11:36:36.38 ID:1ZltP1Y1.net] ポーランド空間に反応できない確率専攻もどうかね 135 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 11:47:09.87 ID:1ZltP1Y1.net] 最初にいったろ、こいつらド素人屁理屈上手相手に議論してもどうもならんと 136 名前：１３２人目の素数さん [2024/03/06(水) 11:55:15.51 ID:RxDn7n9W.net] ポーランド空間って言葉を振り回すだけの似非玄人のド素人もどうかね 弥勒菩薩？明王、天にも至らんよ 137 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 12:00:08.36 ID:1ZltP1Y1.net] サイコロ投げが分からない奴に言われてもなー 138 名前：１３２人目の素数さん [2024/03/06(水) 12:10:16.79 ID:hk/0+lKf.net] サイコロ投げが分かってるのは自分だけと思いたい妄想菩薩 139 名前：１３２人目の素数さん [2024/03/06(水) 12:27:40.52 ID:RxDn7n9W.net] 弥勒菩薩は、１云うところの「鳥なき里の蝙蝠」 https://ja.wiktionary.org/wiki/%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0 鳥がいないところでは、ただ飛べるというだけでコウモリが偉そうにする、あるいは偉そうに見えることから、 ある分野に関して、本当に優れた人がいないところでは、ちょっとその分野に知識等があるだけで、 その道の権威然とすることのたとえ。「鳥なき島の蝙蝠」とも。 140 名前：１３２人目の素数さん [2024/03/06(水) 12:30:16.02 ID:RxDn7n9W.net] ポーランドといえば、ポーランド記法 https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%BC%E3%83%A9%E3%83%B3%E3%83%89%E8%A8%98%E6%B3%95 一説によると「ウカシェヴィチ 」という名前が複雑すぎたので「ポーランド」で誤魔化したとも・・・ 141 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 12:55:37.06 ID:1ZltP1Y1.net] ド素人の遠吠え 142 名前：１３２人目の素数さん [2024/03/06(水) 13:02:54.19 ID:l+rk+Cj9.net] >>138　そういうあなたの専門、何？ 143 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 14:33:50.46 ID:1ZltP1Y1.net] 選択公理、選択公理と叫ぶんでこれ買っただけど全然読んでない 選択公理と数学　田中 §15位相数学と選択公理 ベール性とボレル集合について書いてある（記述集合論） §28決定性公理 無限ゲームについて書いてある。箱入り無数の目もこういう形で定式化して議論すべきじゃないのか。 144 名前：１３２人目の素数さん [2024/03/06(水) 14:45:36.18 ID:yBkM/z01.net] >>140 >§28決定性公理 >無限ゲームについて書いてある。 >箱入り無数の目もこういう形で定式化して議論すべきじゃないのか。 素人わけもわからずイキる ミロク　２＊歳　 今、人生の絶頂期 この後、転落が待っているとは その時、知る由もなかった 145 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 15:14:22.74 ID:1ZltP1Y1.net] ド素人同士論破ゲームを続けて 146 名前：１３２人目の素数さん [2024/03/06(水) 15:43:20.40 ID:GkBPE511.net] ポーランド空間か https://ja.wikipedia.org/wiki/%E3%83%9D%E3%83%BC%E3%83%A9%E3%83%B3%E3%83%89%E7%A9%BA%E9%96%93 ポーランド空間 ポーランド空間（ポーランドくうかん）とは、可分で完備距離づけ可能な位相空間のことである。すなわち、可算な稠密部分集合をもつ完備距離空間と同相な空間のことである。名前の由来は、この空間が著名なポーランド人研究者たち（例えば、ヴァツワフ・シェルピニスキ、カジミェシュ・クラトフスキ、アルフレト・タルスキなど）によって研究され始めたことによる。今日では、Borel equival 147 名前：ence relationなどの研究を含んだ記述集合論の研究のための基礎としても重要視されている。 普通の距離づけでは完備でないがポーランド空間ではあるようなものも存在する。例えば、開区間 (0, 1) はポーランド空間である。 いかなる2つの不可算なポーランド空間の間にも、ボレル同型写像が存在する。すなわち、全単射でボレル構造を保つものが存在する。特に、不可算なポーランド空間の濃度は必ず連続体濃度となる。 [] [ここ壊れてます] 148 名前：１３２人目の素数さん mailto:sage [2024/03/06(水) 16:16:39.10 ID:X//IEIZJ.net] 弥勒菩薩は何故サイコロが正6面体の立方体だと サイコロを平面上で投げたとき1から6の目が等確率で出ることになるのか の理由でも考えていればよろしい これにはれっきとした理由がある 149 名前：弥勒菩薩 mailto:sage [2024/03/06(水) 16:18:54.21 ID:1ZltP1Y1.net] 蛇足 俺は箱入り無数目に勝つ戦略がないとはいっていない、時枝記戦略の間違いを指摘しただけ

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef