[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
503(9): 2023/07/17(月)15:17 ID:LrNVuBcU(7/14) AAS
>>502
さて、箱が有限ｍ個の場合を
mが可算無限の場合に拡張しましょう
箱に区間[0,1]（一様分布）の任意の実数を
入れるのは同じ
各箱は、独立同分布(iid)とします
どの箱も、箱が一つの場合と同じです
Ω＝区間[0,1]
いま、区間[0,1]にルベーグ測度を入れます
Fは、ルベーグ測度のσ -加法族
省14
504(8): 2023/07/17(月)15:58 ID:LrNVuBcU(8/14) AAS
>>503
さて、時枝氏の決定番号を潰します
決定番号は 2chｽﾚ:math
をご参照
箱に区間[0,1]（一様分布）の任意の実数を入れます
１）箱がm個の数列が二つ
s =(s1，s2，s3 ，・・・,sm)，
s'=(s'1， s'2， s'3，・・・,s'm)∈R^mで，
ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義する(n<m).
この二つの列が同値なので、少なくとも sm＝s'm が成立している
省22
505(1): 2023/07/17(月)18:53 ID:5uwGGghW(8/12) AAS
>>503
Ω＝[0,1]はあなたが勝手に設定した標本空間ですね。
「さて， 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」から分かる通り、時枝先生が設定した標本空間はΩ＝{1,2,...,100}です。
時枝先生はこの設定ならば「めでたく確率99/100で勝てる」が結論されることを示されました。
もしあなたがこの結論に不服ならば、あなたが為すべきは、
・Ω＝{1,2,...,100}と設定できないこと
・Ω＝{1,2,...,100}と設定しても「めでたく確率99/100で勝てる」が結論されないこと
のいずれかを示すことです。
「Ω＝[0,1]なら勝てない」という主張は、箱入り無数目の問い「勝つ戦略はあるでしょうか?」への回答として意味を為しません。
分かりますか？分かりませんか？
506(1): 2023/07/17(月)19:18 ID:5uwGGghW(9/12) AAS
>>504
>時枝記事の100個の決定番号 d1<d2<・・<d100は
>存在するが確率0で、使えないってことです
箱入り無数目が成立するために d1<d2<・・<d100 である必要はありません。(d1,d2,...,d100)∈N^100 であれば十分です。
後者は決定番号の定義から直ちに成立します。
尚、決定番号の定義に有限列は用いないので有限列を考える必要はありませんよ。
507(1): 2023/07/17(月)20:01 ID:LrNVuBcU(9/14) AAS
>>505
>Ω＝[0,1]はあなたが勝手に設定した標本空間ですね。
>「Ω＝[0,1]なら勝てない」という主張は、箱入り無数目の問い「勝つ戦略はあるでしょうか?」への回答として意味を為しません。
いいえΩ＝[0,1]は
下記のSergiu Hart氏のPDF Choice Games からのパクリです
Sergiu Hart氏は、”When the number of boxes is finite”の条件を付していますが
finite→可算無限（実は非可算も）に拡張できることは、>>503の”確率論基礎 重川一郎”(これに限らず)にあります
2chｽﾚ:math
外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il
Sergiu Hart
省15
508(2): 2023/07/17(月)20:02 ID:LrNVuBcU(10/14) AAS
>>506
>箱入り無数目が成立するために d1<d2<・・<d100 である必要はありません
>(d1,d2,...,d100)∈N^100 であれば十分です。
”一般性を失わずに”という常套句を省いたことを突いてきたのは、さすがですがｗ(苦笑)
「”一般性を失わずに”、d1<=d2<=・・<=d100」とすれば意味同じ
そして、>>504で主張していることは、可算無限長の数列の決定番号は発散しているので
十分大きな長さの列に埋め込めば、”d1<=d2<=・・<=d100”となる確率は0になるという主張です
その突っ込みでは、”私の主張はゆるがない”ですよ
509(1): 2023/07/17(月)20:30 ID:NyI8GqsK(1/2) AAS
>>501-503の確率空間って、箱入り無数目におけるいかなる
試行とも対応してないからナンセンスだね。池沼ですか？
510(2): 2023/07/17(月)20:41 ID:5uwGGghW(10/12) AAS
>>507
>つまり、区間[0,1]の任意の実数を入れることは、時枝氏の記事の前提条件を満たす
はい、もちろん満たしますよ？
>だから、ここから反例が構成できれば、時枝氏の記事の反例になります
時枝先生はΩ={1,2,...,100}と設定すれば「めでたく確率99/100で勝てる」が結論されるとおっしゃってるので
あなたは
・Ω＝{1,2,...,100}と設定できないこと
・Ω＝{1,2,...,100}と設定しても「めでたく確率99/100で勝てる」が結論されないこと
のいずれかを示さなければなりません。
Ω＝{1,2,...,100}以外の標本空間を持ち出しても反論の体を為しません。
省1
511(2): 2023/07/17(月)20:42 ID:NyI8GqsK(2/2) AAS
>>504
箱入り無数目における「しっぽの同値類」は
有限m列の場合のm→∞とした極限ではないのだから
ナンセンス。無限版の理論が何でも有限理論の
極限になっていると思ってる池沼ですか？
たとえば、ヒルベルト空間やバナッハ空間の理論は
有限次元線形空間の極限としてすべて得られる
と思ってる？
512(1): 2023/07/17(月)20:51 ID:5uwGGghW(11/12) AAS
>>508
>「”一般性を失わずに”、d1<=d2<=・・<=d100」とすれば意味同じ
意味不明です。
箱入り無数目が成立するために d1<=d2<=・・<=d100 である必要はありません。(d1,d2,...,d100)∈N^100 であれば十分です。
>そして、>>504で主張していることは、可算無限長の数列の決定番号は発散しているので
いいえ、任意の実数列の決定番号はその定義から自明に自然数です。
>その突っ込みでは、”私の主張はゆるがない”ですよ
あなたの主張とは何ですか？
513(3): 2023/07/17(月)22:52 ID:LrNVuBcU(11/14) AAS
>>511
>箱入り無数目における「しっぽの同値類」は
>有限m列の場合のm→∞とした極限ではないのだから
>ナンセンス。無限版の理論が何でも有限理論の
>極限になっていると思ってる池沼ですか？
ありがとね
鋭い突っ込みだね
説明するよ
１）>>504で主張していることは
「時枝記事の決定番号を使う論法が虚構である」という主張です
省11
514(1): 2023/07/17(月)22:52 ID:LrNVuBcU(12/14) AAS
>>509
>>>501-503の確率空間って、箱入り無数目におけるいかなる
>試行とも対応してないからナンセンスだね。池沼ですか？
大学で確率論の単位未取得なんだね？
>>503の確率空間は、時枝の初期状態 つまり最初の一列の状態に対応しているんだ
これが、時枝さんの誤魔化しを理解する第一歩なんだよ
これを示すことで、時枝さんの論法は
「ある箱の確率が、0→99/100に変化する」というデタラメな主張だと
はっきり分かる仕掛けなのです！
515(1): 2023/07/17(月)23:24 ID:LrNVuBcU(13/14) AAS
>>512
>>「”一般性を失わずに”、d1<=d2<=・・<=d100」とすれば意味同じ
>意味不明です。
>箱入り無数目が成立するために d1<=d2<=・・<=d100 である必要はありません。(d1,d2,...,d100)∈N^100 であれば十分です。
ふむ
意味不明か
常用の筋なのだがねｗ
付言すれば、自然数は全順序集合であるので、それを使って最大元を明示したってこと（最小元もだが）
>>そして、>>504で主張していることは、可算無限長の数列の決定番号は発散しているので
>いいえ、任意の実数列の決定番号はその定義から自明に自然数です。
省15
516: 2023/07/17(月)23:32 ID:LrNVuBcU(14/14) AAS
>>515 タイポ訂正
（この両立は、自然数全体Nが非正則分布で確率の和が0にならないからだが（下記ご参照）
↓
（この両立は、自然数全体Nが非正則分布で確率の和が1にならないからだが（下記ご参照）
517(2): 2023/07/17(月)23:36 ID:5uwGGghW(12/12) AAS
>>513
>１）>>504で主張していることは
>「時枝記事の決定番号を使う論法が虚構である」という主張です
あなたがそう主張したいのは分かりました。
しかし主張の根拠がありません。根拠無き主張こそ虚構ですね。
>つまり、この議論だけでは不十分なれど
不十分ではなくナンセンスです。
>箱入り無数目における「しっぽの同値類」は
>有限m列の場合のm→∞とした極限ではない
で終了です。
省17
518(3): 2023/07/17(月)23:53 ID:GpeoaFRE(2/2) AAS
>>517
通りがかりがのぞいただけで
どっちがいい加減かが
はっきりわかるようになった
519: 2023/07/18(火)00:09 ID:/UoFB0pd(1) AAS
>>514
>時枝さんの論法は
>「ある箱の確率が、0→99/100に変化する」というデタラメな主張
デタラメなのはあなたのその解釈ですね。
箱入り無数目の確率99/100はある箱の属性ではありません。
箱の属性だと思うのは、あなたの独善的標本空間Ω=[0,1]を前提に据えて思考しているからでしょう。
>付言すれば、自然数は全順序集合であるので、それを使って最大元を明示したってこと（最小元もだが）
意味不明です。
>そこの言い換えは、>>513で示したよ
>>513が間違いであることは>>517で示しました。
省14
520(2): 2023/07/18(火)05:41 ID:gdmhN1uK(1) AAS
>>Ω＝{1,2,...,100}以外の標本空間を持ち出しても反論の体を為しません。
否定でも肯定でもよいので
標本空間Ω＝{1,2}について議論してみてほしい。
521(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/18(火)15:05 ID:MPWfDUiz(1/2) AAS
>>520
ありがとうございます。
ご苦労様です
スレ主です
>>518も
謎のプロ数学者さんかな
夜遅くから早朝まで
ありがとうございます。
余談ですが、睡眠時間平均7時間の人が長寿だという米国の研究があるそうです
朝早く目が覚めるのかもしれませんが、昼寝で補うといいかも
省14
522(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/18(火)15:06 ID:MPWfDUiz(2/2) AAS
>>521
つづき
さて、実はいま職場からで、3連休明けでいろいろ取り込みで
今夜は、会合があって出かける予定です
ともかく、私の略解をば下記へ
１）時枝説は、2列X,Yでこの順で決定番号d1,d2で、仮にd1>d2とする
列Xの箱を開けて、d1を得て、Y列のd1+1以降の箱を開けて、Y列の属する同値類の代表これをY'とでもして
Y'のd1番目の箱の数を、Y列のd1番目の箱の数とすると、d1番目の箱の数が的中できることに
逆に、列Yを開けると、d1>d2ゆえ、d2+1まで列Xの箱を開けると、開けすぎで、
Xの同値類の代表X’との一致はすでに無くなっているので、時枝氏の手法は機能しない
省8
523(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)12:01 ID:nRDluDzX(1/11) AAS
>>522
スレ主です
> ３）なぜ、”ハマリ”か？
ここは>>498 以下に書いたので、いま書いても屋上屋
なので>>531の
”2列でね（実は、過去2016年ころにもプロらしい人が来て2列の議論をして行った）”
について、下記をば引用する
（参考）
純粋・応用数学(含むガロア理論)8 2chｽﾚ:math
525 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/05/27
省16
524(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)12:01 ID:nRDluDzX(2/11) AAS
>>523
つづき
（参考）
旧ガロアスレ20 （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
2chｽﾚ:math
1）
519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13]
>>518
X=(X_1,X_2,…)をR値の独立な確率変数とする．
時枝さんのやっていることは
省28
525(1): 2023/07/19(水)12:24 ID:4yn9tDSJ(1/19) AAS
>>523
>１）下記の519と522で、「それの証明ってあるかな？ 100個中99個だから99/100としか言ってるようにしか見えないけど」
100個中99個であること、ランダム選択であることから99/100
> 「二列で考えると、P(h(Y)>h(Z))=1/2であれば嬉しい．hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明」
確率論の専門家が P(h(Y)>h(Z))=1/2 を前提にしていると勘違いしているだけ。時枝先生は P(h(Y)>h(Z))=1/2 を前提にしていない。
hが可測でないなら P(h(Y)>h(Z))=1/2 は言えない。
しかーし、Y,Zのいずれかをランダムに選択した方をa、他方をbと置けば、「ランダム」の定義から P(h(a)>h(b))=1/2 が言える。
時枝先生は P(h(Y)>h(Z))=1/2 ではなく P(h(a)>h(b))=1/2 だとおっしゃっている。これは正しい。
> ここを補足すると、>>451に書いたように、数列が有限長ならば、同値類は最後の箱ｎのみで殆ど決定されてしまうので、時枝氏の論法は使えない
> では、数列が無限長ならば？ その証明が無いという指摘だ(なお、有限長数列同様に、ダメ(証明できない)だろう(下記２)))
省3
526(5): 2023/07/19(水)12:36 ID:4yn9tDSJ(2/19) AAS
サルにも分かるように言おうか？
確率論の専門家「時枝は Q⇒箱入り無数目成立 と言ってるが、Qの証明が無い。」
時枝先生「Q⇒箱入り無数目成立 と言ってない。箱入り無数目の前提条件にQは不要。」
分かりますか？分かりませんか？
527(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)14:53 ID:nRDluDzX(3/11) AAS
>>524追加引用
現代数学の系譜11 ガロア理論を読む20 2ch
2chｽﾚ:math
532 132人目の素数 2016/07/03 ID:f9oaWn8A 11/13
>>530
> 2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
534 132人目の素数 2016/07/03 ID:/kjhINs/ 14/15
省29
528(1): 2023/07/19(水)15:07 ID:TLXvfCRC(1/3) AAS
勘違いしてるひとの意見を再掲しても意味ないよ
しかも、本人は専門家でも何でもなく
言ってることがめちゃくちゃぶれてるじゃん
529(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)15:12 ID:nRDluDzX(4/11) AAS
>>527
さらに補足
１）この2016年07月当時、みな一度
「時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う」
で、納得した
２）ところが、その後一部の人が、外測度を使って
時枝氏の方法が、裏付けられないかを検討したのです
その残骸が、過去ログにあるのですが、面倒なので発掘しない
３）さらにその後、外測度派から一人「固定」と言い出した人が出た
その人が、多分 >>526の人です
省1
530(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)15:17 ID:nRDluDzX(5/11) AAS
>>528
ありがとね
１）まず>>529ね
２）めちゃくちゃぶれてるのは、多分 >>526の人でしょう
531(1): 2023/07/19(水)15:55 ID:TLXvfCRC(2/3) AAS
>>530
>>526氏はぶれてないね。
一貫している。
532(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)15:57 ID:nRDluDzX(6/11) AAS
>>526
>確率論の専門家「時枝は Q⇒箱入り無数目成立 と言ってるが、Qの証明が無い。」
>時枝先生「Q⇒箱入り無数目成立 と言ってない。箱入り無数目の前提条件にQは不要。」
なるほど
あなたは、時枝「箱入り無数目」は
無条件で成立すると主張するのですか？
さて
１）「箱入り無数目」が、既存の確率過程論 ランダムウォーク理論
例えば、下記 重川 P45と バッティングするという認識はありますか？
つまり、重川 P45にあるように、連続時間をパラメータとした確率変数の族 (Xt)で
省21
533: 2023/07/19(水)15:58 ID:TLXvfCRC(3/3) AAS
箱入り無数目には別バージョン(または拡張）設定が
ありうる。出題者がたくさんいて回答者が一人の場合
出題者が一人で、回答者がたくさんいる場合
これだけでも設定はまったく異なり、対応する確率空間
は異なる。（なお、1が提示した>>501-503
の確率空間は箱入り無数目におけるいかなる設定・試行
とも対応していないのでナンセンス。）
しかし、基本的には「当てられる」という事実はある。
「100人の数学者バージョン」ね。
これを否定している数学者なんていないわけ。
省4
534(2): 2023/07/19(水)17:30 ID:4yn9tDSJ(3/19) AAS
>>532
>あなたは、時枝「箱入り無数目」は
>無条件で成立すると主張するのですか？
日本語わかりませんか？
私は箱入り無数目は P(h(Y)>h(Z))=1/2 なる条件無しに成立すると言ってます。
535(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)17:36 ID:nRDluDzX(7/11) AAS
>>538
>箱入り無数目には別バージョン(または拡張）設定が
>ありうる。
１）必死の論点ずらしですね
まず、時枝記事そのもので議論しましょうね
２）時枝記事（そのもの）が成り立つならば
>>532で示したように
関数論を使って
ある関数f：[t',t'']→R （不連続でも可）で
区間[t',t'']の中に 可算無限個の t'<t1<t2<・・<t''が取れて
省7
536(1): 2023/07/19(水)17:37 ID:4yn9tDSJ(4/19) AAS
>>534
>直感的に1/2とするのは微妙
時枝先生はランダム（一様分布）の定義に基づいて1/2としている。
直感的に？どこかのサルじゃあるまいし。
537(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)17:41 ID:nRDluDzX(8/11) AAS
>>535 タイポ訂正
ある関数f：[t',t'']→R （不連続でも可）で
↓
任意の関数f：[t',t'']→R （不連続でも可）で
だな
538(1): 2023/07/19(水)17:41 ID:4yn9tDSJ(5/19) AAS
>>529
>（なお、「固定」については、>>500で決着させた）
意味不明。
固定の何をどう決着させたと？
539(1): 2023/07/19(水)17:44 ID:4yn9tDSJ(6/19) AAS
>>529
過去に誰それがどうこう言ったなんて情報はどうでもいい
今すぐ
>君は勘違いしているが、時枝の「箱入り無数目」は、数学としては大きな欠陥があるのです（測度の指定や高確率ｗ）
と言った張本人であるあなたがどこにどんな欠陥があるのか示しなさい
540: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)17:47 ID:nRDluDzX(9/11) AAS
>>536
"直感的に1/2とするのは微妙"は
多分>>532に書いたようなことを
見通して書いているとおもうよ
>>532は、確率過程論の常識で、初歩の初歩だから
541(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)17:50 ID:nRDluDzX(10/11) AAS
>>539
>>君は勘違いしているが、時枝の「箱入り無数目」は、数学としては大きな欠陥があるのです（測度の指定や高確率ｗ）
>と言った張本人であるあなたがどこにどんな欠陥があるのか示しなさい
その前に、>>535(含む>>537)を認めて下さい
議論が、上滑りになるから
話は、それからですよ
542: 2023/07/19(水)17:50 ID:4yn9tDSJ(7/19) AAS
>>532
>１）「箱入り無数目」が、既存の確率過程論 ランダムウォーク理論
> 例えば、下記 重川 P45と バッティングするという認識はありますか？
無いです。
> つまり、重川 P45にあるように、連続時間をパラメータとした確率変数の族 (Xt)で
> ある区間[t',t'']の中に 可算無限個の t'<t1<t2<・・<t''が取れて
> 時枝「箱入り無数目」が正しければ、t1<t2<・・たちに対応するXtの値から、あるti (i∈N)が存在して
> Xtiの値が、確率99/100で的中できることになる
> これはヘンです
まったくヘンじゃないです。
省1
543: 2023/07/19(水)18:05 ID:4yn9tDSJ(8/19) AAS
>>532
>上記同様、t1<t2<・・たちに対応するf(t)の値から、あるti (i∈N)が存在して
ある特定のtiではなく、時枝戦略の手順で特定される100個のtiのいずれかをランダムに選択したtiね。
ランダム選択という条件が必要。
> f(ti)の値が、確率99/100で的中できることになる
> fが正則ならばともかく、不連続な関数ですから
> これはヘンです
まったくヘンじゃないけど？
544(1): 2023/07/19(水)18:08 ID:4yn9tDSJ(9/19) AAS
>>532
要するに箱入り無数目の出題者がi番目の箱にf(ti)の値を入れた場合ってことでしょ？
確率99/100で的中できるじゃん
証明が箱入り無数目記事に書いてあるじゃん
読めないの？
545(1): 2023/07/19(水)18:11 ID:4yn9tDSJ(10/19) AAS
>>541
>その前に、>>535(含む>>537)を認めて下さい
間違ってるので却下します
546: 2023/07/19(水)18:16 ID:4yn9tDSJ(11/19) AAS
繰り返す
今すぐ
>君は勘違いしているが、時枝の「箱入り無数目」は、数学としては大きな欠陥があるのです（測度の指定や高確率ｗ）
と言った張本人であるあなたがどこにどんな欠陥があるのか示しなさい
547(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/19(水)18:40 ID:nRDluDzX(11/11) AAS
>>545
>>その前に、>>535(含む>>537)を認めて下さい
>間違ってるので却下します
どこが、間違っているのか？ 教えて欲しい
（竹腰見昭先生ふうの言い方かもねｗ）
548: 2023/07/19(水)18:47 ID:4yn9tDSJ(12/19) AAS
>>547
542 543 544
549(1): 2023/07/19(水)20:38 ID:5c8G/zZc(1/5) AAS
>>544
あれれ、また
（>>518より）
”どっちがいい加減かが
はっきりわかるようになった”
と言われますよｗ
>要するに箱入り無数目の出題者がi番目の箱にf(ti)の値を入れた場合ってことでしょ？
>確率99/100で的中できるじゃん
>証明が箱入り無数目記事に書いてあるじゃん
１）そもそも、その証明に疑義が呈されているのです
省22
550(3): 2023/07/19(水)20:58 ID:4yn9tDSJ(13/19) AAS
>>549
>それでは、なぜ可算無限個なら、確率99/100で的中できる？ そこに数理的な理屈が皆無だし、疑義があるのです
数理的な理屈は箱入り無数目記事に書いてあります
疑義があるなら具体的に指摘して下さい
>これ正しいなら、関数論のテキストを書き直さないとねｗ
不要です
関数論のテキストには「箱入り無数目は不成立」なんて書かれてませんので
551(4): 2023/07/19(水)21:23 ID:ax3gKgQz(1) AAS
>>550
>>数理的な理屈は箱入り無数目記事に書いてあります
確率測度を用いない理屈らしいですね
552(2): 2023/07/19(水)21:52 ID:4yn9tDSJ(14/19) AAS
>>551
>確率測度を用いない理屈らしいですね
自明なので書かれてないだけですが、確率を扱っている以上もちろん確率測度を用います。
箱入り無数目の確率空間は (Ω={1,2,...,100}, F=2^Ω, P(f∈F)=|f|/|Ω|) です。|x|はxの濃度です。
553(2): 2023/07/19(水)21:58 ID:5c8G/zZc(2/5) AAS
>>551
>>>550
>>>数理的な理屈は箱入り無数目記事に書いてあります
>確率測度を用いない理屈らしいですね
そうですね
「否定でも肯定でもよいので
標本空間Ω＝{1,2}について議論してみてほしい。」>>520
でしたね
さて>>522より再録
”１）時枝説は、2列X,Yでこの順で決定番号d1,d2で、仮にd1>d2とする
省11
554(3): 2023/07/19(水)21:59 ID:4yn9tDSJ(15/19) AAS
>>551
箱入り無数目において、
標本空間が有限集合であることは読み取れましたか？
確率分布が離散一様分布であることは読み取れましたか？
それらが読み取れた上で、確率測度が書かれていないというだけの理由で
>確率測度を用いない理屈らしいですね
なるコメントをしましたか？
いかがですか？
555: 2023/07/19(水)22:03 ID:4yn9tDSJ(16/19) AAS
>>553
>ここで、”確率測度”をしっかり議論すれば
>”ハマリ”が分かるということかな？ｗ
では”ハマリ”が分かるように”確率測度”をしっかり議論して下さい
556(1): 2023/07/19(水)22:09 ID:5c8G/zZc(3/5) AAS
>>550
>>これ正しいなら、関数論のテキストを書き直さないとねｗ
>不要です
>関数論のテキストには「箱入り無数目は不成立」なんて書かれてませんので
うーん
現代的な関数の定義は、集合論的立場で、下記
”二項関係の特別の場合として関数を定義するということであり、その意味で関数は写像の同義語である[注釈 2]。より細かく、「数」の集合への写像に限る場合もある[注釈 3]”
ですね
”ディリクレは、x と f (x) の対応関係に対して一定の法則性を持たせる必要はないとした”（下記）
これが、現代的な関数の定義です
省9
557(1): 2023/07/19(水)23:15 ID:4yn9tDSJ(17/19) AAS
>>556
>ところが時枝理論が正しいと、ある数yが可算無限個の数y1,y2,・・などと関連がついて、確率1/2なり99/100なりで的中できる
>こんな理屈、集合論にも関数論にも記載なし！ｗ
当たり前です
「こんな理屈」＝箱入り無数目 であり、集合論なり関数論なりの定理ならば、数学セミナーに載りませんよ？
558(2): 2023/07/19(水)23:26 ID:5c8G/zZc(4/5) AAS
>>553
>ここで、”確率測度”をしっかり議論すれば
>”ハマリ”が分かるということかな？ｗ
１）まず >>503より再録
さて、箱が有限ｍ個の場合を
mが可算無限の場合に拡張しましょう
箱に区間[0,1]（一様分布）の任意の実数を
入れるのは同じ
各箱は、独立同分布(iid)とします
どの箱も、箱が一つの場合と同じです
省15
559(2): 2023/07/19(水)23:33 ID:5c8G/zZc(5/5) AAS
>>557
>「こんな理屈」＝箱入り無数目 であり、集合論なり関数論なりの定理ならば、数学セミナーに載りませんよ？
真逆なんだけど
数学セミナーに掲載してはいけない
デタラメ記事「箱入り無数目」が
まっとうな記事と誤解される形で掲載された
そこが大問題です
おちゃらけの数学パズルとでも
しておくべきだったろうに・・
560: 2023/07/19(水)23:33 ID:4yn9tDSJ(18/19) AAS
>>558
論じてる確率空間が違います
話になりません
561(3): 2023/07/19(水)23:35 ID:4yn9tDSJ(19/19) AAS
>>559
>デタラメ記事「箱入り無数目」
どこがどうデタラメなのか詳しくお願いします
562(3): 2023/07/20(木)05:29 ID:9Cgpu/bp(1) AAS
>>561
>>どこがどうデタラメなのか詳しくお願いします
これは「もしかすると出鱈目かもしれない」と思い始めている人の言い方
563(3): 2023/07/20(木)08:37 ID:byH/kBh4(1/8) AAS
>>562
>確率測度を用いない理屈らしいですね
と言った方ですか？
>>554に答えて頂けませんか？
564(1): 2023/07/20(木)09:27 ID:VqHu00Jy(1) AAS
>>563
もっと堂々とした態度を取った方がいいよ
565: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)10:57 ID:I85baJ5b(1/10) AAS
>>563-564
どちら様も、ご苦労様です
ありがとうございます
スレ主です
>もっと堂々とした態度を取った方がいいよ
竹腰 見昭先生
「反例あり」という主張にひるまず
堂々と、30分反論した竹腰 見昭先生を見習えとｗ
脱線ですが、「反例あり」でも まだ手はあると
１）例えば、反例が有限で特定できれば、「ある有限の例外を除いて・・」とすれば良い
省12
566(4): 2023/07/20(木)11:09 ID:4VkD7Lp+(1) AAS
数学者（？）だった人物が呆れ返るわ
「科学は葬式ごとに進歩する」とはよく言ったもの
567(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)11:29 ID:I85baJ5b(2/10) AAS
>>561-562
>>>559
>>デタラメ記事「箱入り無数目」
>どこがどうデタラメなのか詳しくお願いします
では、本題です
１）「箱入り無数目」では、初期状態の確率測度をすっぽかしている
つまり、最初の１列で箱に数を入れ終わって、全ての箱が閉じられている状態
これは、>>558で扱いました
２）なぜ、これが重要かというと、「箱入り無数目」では、何列に並べ替えるかは決まっていない
とすると、どの箱が「箱入り無数目」の的中対象になる箱かは未定です
省12
568: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)11:40 ID:I85baJ5b(3/10) AAS
>>566
>数学者（？）だった人物が呆れ返るわ
>「科学は葬式ごとに進歩する」とはよく言ったもの
ありがとうございま
スレ主です
それは面白い説ですね
アーベルとガロア
夭逝した
が、それで数学の進歩が速くなったと思う人は少ないだろう
それにくらべて、ガウスは長命だった
省5
569: 2023/07/20(木)11:44 ID:byH/kBh4(2/8) AAS
>>567
>初期状態の確率を考えると、数当ての難易度には、大きな差ができるはず
間違い
箱入り無数目の確率空間はあなたの独善的確率空間とは違うので
> ところが、「箱入り無数目」では、初期状態の確率測度による難易度の依存性が消えている
あなたの独善的確率測度は箱入り無数目とは無関係なので消えて当然
> 単に、2列で1/2、100列で99/100という
はい、その通り。それが箱入り無数目の確率空間による確率計算。
> 確率測度を考えると、「箱入り無数目」の矛盾が見えてくる
箱入り無数目の確率空間はあなたの独善的確率空間とは違うので矛盾しない
省2
570: 2023/07/20(木)11:45 ID:byH/kBh4(3/8) AAS
>>566
まったくですね
571(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)11:47 ID:I85baJ5b(4/10) AAS
>>562
>>>561
>>>どこがどうデタラメなのか詳しくお願いします
>これは「もしかすると出鱈目かもしれない」と思い始めている人の言い方
お分かりかな？
世間で、「箱入り無数目」がどう思われているか？
普通に正しいと思われているｗ
（あたかも、IUTに対してショルツェ氏の論が正しいと言われるが如し）
>>566
数学者（？）だった人物が呆れ返るわ
省4
572(2): 2023/07/20(木)11:48 ID:byH/kBh4(4/8) AAS
>>566
別スレで大量コピペもやらかしてるようですね
困ったものです
573: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)11:54 ID:I85baJ5b(5/10) AAS
>>571 タイポ訂正
(引用開始)
↓
(引用終り)
574: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)12:11 ID:I85baJ5b(6/10) AAS
>>572
>別スレで大量コピペもやらかしてるようですね
>困ったものです
スレ主です
１）大量コピペとは下記とかですかね？
私は、こっちのスレ主でもありますｗ
ガロア第一論文と乗数イデアル他関連資料スレ5
2chｽﾚ:math
２）いいんじゃないですか？
私は、困ってない！ｗ
省4
575(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)12:58 ID:I85baJ5b(7/10) AAS
>>571 補足
まあ、こんなことを書くのは、数学科出身者だろうね
数学科以外で、数学の記事で、数学者らしき人に挑戦しようという人は少ないだろうから
しかし、一方で、数学科出身者で
時枝「箱入り無数目」が正しいというのも、如何なものか？
ともかく、必要なのは、時枝「箱入り無数目」不成立の
エレガントな説明ないし解説なのです
時枝ほどの人が、ハマったのだから
まあ、普通の人がハマるのも、やむなしだろう
省4
576(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)14:21 ID:I85baJ5b(8/10) AAS
>>511 補足
>有限m列の場合のm→∞とした極限ではないのだから
>ナンセンス。無限版の理論が何でも有限理論の
>極限になっていると思ってる池沼ですか？
老婆心ながら補足しておく
１）物理の本だったかで読んだ話で
「ある若い研究者の発表で、前に座って聞いていた教授らしい人から
やおら”君の理論式は、極限ではこうなるが、大丈夫か”
というツッコミがあり、若い発表者がしどろもどろになった」という
物理では、ある理論に対しその極限を考えてみるというのは、常用のスジ
省20
577: 2023/07/20(木)14:27 ID:byH/kBh4(5/8) AAS
>>576
>時枝「箱入り無数目」に対して、有限mからの極限を考えてどうなるか？
> 勿論、それが全てではないし、厳密な証明の代用にはならない
じゃダメ
578: 2023/07/20(木)14:29 ID:byH/kBh4(6/8) AAS
>>575
>ともかく、必要なのは、時枝「箱入り無数目」不成立の
>エレガントな説明ないし解説なのです
では「箱入り無数目」不成立の説明ないし解説をお願いします
エレガントでなくてもよいです
579(1): 2023/07/20(木)14:42 ID:5uV9Xs7U(1) AAS
>>572
専門家が専門分野の理解に有益な資料を抜粋してるんですから
有意義な資料提供でしょ
コピペ魔扱いは違いませんかね‥
580: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)17:12 ID:I85baJ5b(9/10) AAS
>>579
ご苦労様です
スレ主です
思うに
１）時枝氏「箱入り無数目」について、肯定的に賛同してもらえないことに対する不満と八つ当たりと
２）猫に小判、豚に真珠で、理解できないと（勿論私もですがｗ）
さて
・上記１）については、「それでも地球は動く」で、自分の信ずることを曲げることはできないでしょう
・上記２）については、下記 西村博之 2ちゃんねる鉄の掟 出されたご飯は残さず食べるで
人のカキコに文句言わないのが鉄則ですからね。自分のレベルを超えていても、文句は筋違いです
省6
581(1): 2023/07/20(木)17:35 ID:U21QnIEd(1/2) AAS
富山県から金沢にはない飛騨山脈を眺めると東西に連なって見える
582(1): 2023/07/20(木)17:43 ID:U21QnIEd(2/2) AAS
たまにはバカになることも重要です
583(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/20(木)18:42 ID:I85baJ5b(10/10) AAS
>>581-582
ありがとうございます。
スレ主です
>富山県から金沢にはない飛騨山脈を眺めると東西に連なって見える
なるほど
地理に疎くて、家人に笑われていますが
いま、マップで確認しました
なるほど
>たまにはバカになることも重要です
出世・処世術の要諦
省4
584(1): 2023/07/20(木)19:00 ID:byH/kBh4(7/8) AAS
>>583
>君は勘違いしているが、時枝の「箱入り無数目」は、数学としては大きな欠陥があるのです（測度の指定や高確率ｗ）
いつになったら欠陥とやらを示してくれるんですか？
585: 2023/07/20(木)19:46 ID:hz4hRiws(1) AAS
>>584
そういう卑屈な言い方をしなければ
話は前に進むだろうに
586: 2023/07/20(木)23:15 ID:byH/kBh4(8/8) AAS
>>583
今日もなんとか会合とかなんですか？
サクッと欠陥とやら示してくれませんかねえ
「ある」ってはっきり言いましたよね？欠陥
587(1): 2023/07/21(金)05:06 ID:wed/utvU(1/2) AAS
中学レベルの確率も疎かな濊拖が時枝確率論を蔑視
よくもまぁこんな自殺に至っても不思議じゃないほど恥ずかしい痴態を晒し続けながら活き活きとしてられるよな
やっぱり濊拖も自己愛性人格障害だな
濊拖はダイレクト出版が大好きなネトウヨ
588(1): 2023/07/21(金)05:12 ID:wed/utvU(2/2) AAS
濊拖のどこが専門家なんだ？言ってみろ
589: 2023/07/21(金)06:09 ID:KpdbZx3h(1/3) AAS
そういう話は三途の川の向こうでやってくれ
590: 2023/07/21(金)08:02 ID:XyIiumdn(1/14) AAS
>>583
欠陥を示せないならせめて>>510に同意するか答えてくれませんか？
指摘をスルーし、後で何事も無かったかのように同じ主張を持ち出してくる、これを延々と繰り返す
この手口そろそろやめませんか？みっともないにも程がありますよ？
591(3): 2023/07/21(金)08:05 ID:Dpf9+zTy(1/6) AAS
>>587-588
ありがとね
スレ主です
よくぞ言ってくれました
（これは、>>571"よくぞ言ってくれた"と同じ意味です）
つまり、多分 ID:wed/utvU 氏は 数学科出身者と思うのだけれど
時枝「箱入り無数目」が正しいと思っているらしい
数学科出身者が、時枝天動説が正しいと思っているとすれば
普通の人が時枝「箱入り無数目」を読んで正しいと思っても、なんの不思議なし
時枝天動説は、世間にあまり良い影響を与えていない一つの証拠です
省9
592(1): 2023/07/21(金)08:10 ID:XyIiumdn(2/14) AAS
>>591
決定番号に欠陥があると思うならそう思う根拠を今書けばいいでしょう
くだらない話をする暇はあるのに肝心な話を書く暇は無いんですか？
593(1): 2023/07/21(金)09:19 ID:KpdbZx3h(2/3) AAS
>>592
>>決定番号に欠陥がある
この文章に欠陥がある
594: 2023/07/21(金)09:48 ID:XyIiumdn(3/14) AAS
>>593
>確率測度を用いない理屈らしいですね
と言った方ですか？
>>554に答えて頂けませんか？
595(1): 2023/07/21(金)09:49 ID:KpdbZx3h(3/3) AAS
欠陥がある質問
596: 2023/07/21(金)11:11 ID:XyIiumdn(4/14) AAS
>>595
欠陥の内容を具体的に提示願います
597: 2023/07/21(金)12:34 ID:uT0+qATq(1) AAS
>>583
＞>たまにはバカになることも重要です
＞
＞出世・処世術の要諦
＞運鈍根」ですね
違う
そもそも、人間の脳はいつもマジメに考えられるようには出来ていない
神経を使うようなことを長時間考えたりしたりしていると、
神経はすり果てて脳ミソや体は疲れるようになっている
そういうときがあるから、たまにはバカになることが重要
省2
598(1): 2023/07/21(金)14:55 ID:lBLK/+ah(1) AAS
疲れるなら休めばいいだけ
５ｃｈに張り付いて書き込みまくってる人間がよく言うわ
疲れずに書き込めるなら、それが現在のあなたの
本来の知性のレベルですよ っと
認知症だって誰でもなりうるし、別におかしな
ことじゃない
599: 2023/07/21(金)16:00 ID:OMFb++Wu(1) AAS
>>598
>５ｃｈに張り付いて書き込みまくってる人間がよく言うわ
自慢という訳ではないが、頭の中で考えている間に1つ定理が完成したよ
>疲れずに書き込めるなら、それが現在のあなたの
>本来の知性のレベルですよ っと
神経を使うことによる疲れとパソコンに書くことによる疲れとは別だから、この仮定が甘い
600(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/21(金)16:19 ID:L/LQf6Gh(1/6) AAS
>>591
>「箱入り無数目」の決定番号を潰す話を、あとで書こうと思う
スレ主です
＜「箱入り無数目」の決定番号を潰す話＞
１）決定番号については、下記をご参照
2chｽﾚ:math
２）記号を整備しよう
有限長さnの数列：sn = (s1，s2，s3 ，・・，sn)
可算有限長さの数列：sN = (s1，s2，s3 ，・・・)
可算有限長さ一点コンパクト化の数列：sN+ = (s1，s2，s3 ，・・・，sω)
省16
601(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/07/21(金)16:22 ID:L/LQf6Gh(2/6) AAS
>>600
つづき
６）一つの箱に確率pで数が入れられるとする。また、一つの同値類内で考える
lemma 1：有限長さnの数列 snで、決定番号n-1以下の確率p、nの確率1-p
証明：決定番号n-1以下の場合、n-1番目が一致しているべきで確率p、nの確率は余事象で1-p
lemma 2：確率p＝0で、有限長さnの数列 snで、決定番号n-1以下の確率0、nの確率1
証明：lemma 1で、p＝0とすればよい
lemma 3：確率p＝0で、可算有限長さ一点コンパクト化の数列 sN+において、決定番号ωの確率1、ω未満(つまり有限n)の確率0
証明：lemma 2において、上記４）のlim n→ω sn＝sN+ を適用すればよい
lemma 4：確率p＝0で、可算有限長さの数列 sN = (s1，s2，s3 ，・・・)において、決定番号ω未満(つまり有限n)の確率0
省17
602: 2023/07/21(金)16:25 ID:ZulSnJQX(1/3) AAS
頭を使うことによる疲れと歩いたりして体力を使うことによる疲れとは別なのと同じ
上下前次1-新書関写板覧索設栞歴
あと 400 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s