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

スレタイ箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) (256ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

12: １３２人目の素数さん [] 2025/01/15(水) 11:32:33.44 ID:ZCTGHyhi

つづき

https://rio2016.5ch.net/test/read.cgi/math/1729769396/769 スレ26
より
769現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/10(日) 16:14:30.43ID:zvgSRz4H
>>761
(引用開始)
> その代表は、dmax+1 以降 しっぽ側の一致までは分っているが
> しかし、dmax番目の箱の中は不明だ
> 選んだ代表のdmax番目の数と 問題の残った1列のdmax番目の箱の数が一致する確率は…
　そのあとの計算って、ただ箱の中身がランダムだとした場合の計算してるだけだよね？
　つまり、問題の条件、全然使ってないよね？
　それ、君が🐎🦌ってことだよね？
(引用終り)

君は、数学の公理の考えが分ってないね
ゆとり世代の数学科オチコボレ？
昔は、小学校でユークリッド幾何の公理で、公理の考え方を叩き込まれたものだ
点とは、大きさも面積も長さも持たない
線とは、長さのみを持ち 幅は0
線分は、異なる2点を結ぶ最短の線
直線は、線分を無限に伸ばしたもの

まあ、平たくいえば 公理系は スポーツやゲームのルールみたいなものだ
ルールの中で、自分のやりたいようにして良いが、ルール違反はダメってこと

さて
いま、>>747のように j列中でどれか1列を残し 他を開けて j-1個の同値類を特定したとする
ここから j-1個の代表を選んで j-1個の決定番号を得て それらの最大値 dmaxを得る

dmaxは大きければ大きいほど良い
残した 一つの列の決定番号（いまd'とおく）より、大きければ良い
d' ≦ dmax としたい

次に、残した列のdmax+1以降のしっぽの箱を開けて、しっぽ同値類が特定できたとする
このしっぽ同値類から、出来るだけ 決定番号d'が小さくなるように 代表を選びたい
d' ≦ dmax としたい

だから、決定番号がdmax+1より大きい元（数列）は、代表として論外で捨てる
そうすると、決定番号がdmax+1以下の元（数列）が、残る
ここから、d' ≦ dmax としたい
でも、dmax番目の箱は未開封なので 箱の中の数は、未知数だ
なので、決定番号がdmax+1以下の元（数列）に絞ったあとで、”d' ≦ dmax”が実現出来るかどうかは、従来の確率論通りだ■

つづく

http://rio2016.5ch.net/test/read.cgi/math/1736907570/12

14: １３２人目の素数さん [] 2025/01/15(水) 11:34:14.56 ID:ZCTGHyhi

つづき

rio2016.5ch.net/test/read.cgi/math/1729769396/791 スレ26
791現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/10 ID:zvgSRz4H
>>779
>　決定番号を排除したいなら選択公理を否定するしかない
>>787
>「選択公理を仮定すれば箱入り無数目が成立する」
>を否定したいなら
>「選択公理を仮定しても箱入り無数目は成立しない」
>を示さなければならない
>選択公理は要らないとかまったくトンチンカン

ふっふ、ほっほ
おれの主張は、真逆だ

1）選択公理は、お飾りだ。選択公理の否定はしない
　肯定するよ。その上で、>>764で
『・集合族が、有限個の集合で成り立っているとき、『その特定のケースは、選択公理のないツェルメロ–フランケル集合論 (ZF) の定理』
・特に、集合族が、1個の集合で成り立っているとき、『選択関数は単に要素に対応するだけなので・・、自明』
・さて、いま j列中でどれか1列を残し 他を開けて 有限j-1個の同値類を得る
　有限j-1個の同値類から、各一つの元を選んで代表とすることは、既述の通りで、ZFの定理にすぎず 選択公理は使わず済ますことは可能
・有限j-1個の同値類から、各一つの元を選んで代表として、それで 有限j-1個の決定番号が テンプレ>>1の方法で得られる』
　を示した
2）選択公理の否定はしない
　が、お飾りだ
　必要な同値類と代表と決定番号は、有限個で済んでいる
　だから、選択公理の否定はしないが、その実
　『その特定のケースは、選択公理のないツェルメロ–フランケル集合論 (ZF) の定理』
　で済んでいる
3）では、選択公理の箱入り無数目における役割や如何に？
　雰囲気作りだよ
　如何にも、”パラドックスが起きます”という
　お化け屋敷において、妖しい雰囲気を醸し出す
　「選択公理を使うと過去にパラドックスが出来た事例が沢山」
　「今回も 選択公理を使うパラドックスだ」と思わせる
4）どっこい
　使っている 同値類と代表と決定番号は、有限個で済んでいる
　だから 選択公理は否定しないが
　『その特定のケースは、選択公理のないツェルメロ–フランケル集合論 (ZF) の定理』
　で済んでいる

だから、「選択公理を使うパラドックス」は、今回は関係ない
今回は、決定番号で ” infinite fair lottery ”>>4-5
を使っていて、” infinite fair lottery ”で確率計算をしているのがまずいってこと
” infinite fair lottery ”では、全事象Ωが無限大に発散して
P(Ω)＝1の確率公理を満たせなくなっている
それなのに、確率計算をして 99/100 を導く
”99/100”は、決定番号を使う確率計算で well-defined でないってことだ>>778

つづく

http://rio2016.5ch.net/test/read.cgi/math/1736907570/14

15: １３２人目の素数さん [] 2025/01/15(水) 11:34:42.34 ID:ZCTGHyhi

つづき

さて
１）決定番号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)”としてしまっているところだね
それは ”スベっている” ということです

つづく

http://rio2016.5ch.net/test/read.cgi/math/1736907570/15

16: １３２人目の素数さん [] 2025/01/15(水) 11:35:05.69 ID:ZCTGHyhi

つづき

上記のように
決定番号の集合、それは多項式環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だ？ 馬鹿も休み休み言え！
まあ、こんな話ですね
まさに 『あほ二人の”アナグマの姿焼き"』ですｗ ；ｐ）
(引用終り)
以上
つづく

http://rio2016.5ch.net/test/read.cgi/math/1736907570/16

17: １３２人目の素数さん [] 2025/01/15(水) 11:35:25.06 ID:ZCTGHyhi

つづき
なお
何をランダムとするか？
これには、長い歴史があるようです（下記）

しかし、可算無限個の箱に ”ランダムな数”（実数の乱数）を入れて、ある一つの箱の数を 開けずに 他の箱の数から 推測できるか？
的中できるという マジックｗ
それは、現代の数学の乱数の理論に、真っ向矛盾しています！！ｗ ；ｐ）

(参考)
en.wikipedia.org/wiki/History_of_randomness
（google訳）
ランダム性の歴史
20世紀
20世紀には、確率論の5つの主要な解釈（古典的、論理的、頻度、傾向、主観的など）がより深く理解され、議論され、比較対照されました。[ 35 ]この世紀には、金融から物理学まで、かなりの数の応用分野が開発されました。1900年にルイ・バシュリエはブラウン運動を応用してストックオプションを評価し、金融数学と確率過程の分野を立ち上げました。

エミール・ボレルは1909年にランダム性について正式に議論した最初の数学者の一人で、正規数を導入した。[ 36 ] 1919年にリチャード・フォン・ミーゼスはギャンブルシステムの不可能性を通じてアルゴリズム的ランダム性の最初の定義を与えた。

1940年の論文「ランダム列の概念について」で、アロンゾ・チャーチはフォン・ミーゼスの形式主義における場所設定に使用される関数は、列の最初の部分の任意の関数ではなく計算可能な関数であるべきだと提案し、有効性に関するチャーチ＝チューリングのテーゼを援用した。[ 40 ] [ 41 ]

20世紀初頭の量子力学の出現と1927年のハイゼンベルクの不確定性原理の定式化により、自然の決定性に関する物理学者の間でのニュートン的考え方は終焉を迎えた。量子力学では、多くの観測可能要素が可換ではないため、システム内のすべての観測可能要素を一度にランダム変数として考える方法さえ存在しない。[ 42 ]

1940年代初頭までに、確率に対する頻度理論アプローチはウィーン学派で広く受け入れられていたが、1950年代にカール・ポパーが傾向理論を提唱した。[ 43 ] [ 44 ]頻度アプローチは「コインを一回投げる」ことを扱えず、大きな集団や集団にしか対処できないため、単一ケースの確率は傾向または偶然として扱われた。傾向の概念は、量子力学における単一ケースの確率設定、例えば特定の瞬間の特定の原子の崩壊の確率を扱いたいという欲求によっても推進された。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1736907570/17

18: １３２人目の素数さん [] 2025/01/15(水) 11:37:35.30 ID:ZCTGHyhi

つづき

1948年にクロード・シャノンが情報理論を発展させたことで、ランダム性のエントロピー観が生まれた。この観点では、ランダム性は確率過程における決定論の反対である。したがって、確率システムのエントロピーがゼロであればランダム性はなく、エントロピーが増加するとランダム性も増加する。シャノンの定式化は、すべての確率が等しい場合のボルツマンの19世紀のエントロピー定式化をデフォルトとしている。 [ 46 ] [ 47 ]エントロピーは現在、熱力学から量子化学まで、科学のさまざまな分野で広く使用されている。[ 48 ]

偶然性と賭け戦略の研究のためのマルチンゲールは、1930年代にポール・レヴィによって導入され、 1950年代にジョセフ・L・ドゥーブによって形式化されました。 [ 49 ]金融理論におけるランダムウォーク仮説の応用は、 1953年にモーリス・ケンドールによって初めて提案されました。 [ 50 ]その後、ユージン・ファーマとバートン・マルキールによって推進されました。

1961 年、エドワード ローレンツは、気象シミュレーション用のコンピューター プログラムに入力された初期データにわずかな変更を加えると、気象シナリオがまったく異なる結果になる可能性があることに気づきました。これは後にバタフライ効果として知られるようになり、「ブラジルで蝶が羽ばたくと、テキサスで竜巻が発生するか?」という質問に言い換えられることがよくあります。 [ 65 ]予測可能性の重大な実際的限界の重要な例は地質学です。地質学では、地震を個別に、または統計的に予測する能力は、いまだに遠い見通しです。[ 66 ]

1970年代後半から1980年代初頭にかけて、コンピュータ科学者は、計算に意図的にランダム性を導入することが、より優れたアルゴリズムを設計するための効果的なツールになり得ることに気づき始めました。場合によっては、このようなランダム化されたアルゴリズムは、最良の決定論的方法よりも優れたパフォーマンスを発揮します。[ 33 ]
(引用終り)
以上

さて
rio2016.5ch.net/test/read.cgi/math/1728783469/906 箱入り無数目を語る部屋25
より
906現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/11 ID:xGTnxzX9
>>902
>両者ともに時間の・・

ID:S0s/6Kqn は、御大か
朝の巡回ご苦労さまです

”論争は 時間のムダ”と
なるほど

では ご教示に従い
”アナグマの姿焼き”をば・・ｗ ；ｐ）

(参考)
xn--pet04dr1n5x9a.com/%E5%B0%86%E6%A3%8B%E7%94%A8%E8%AA%9E/%E7%A9%B4%E7%86%8A%E3%81%AE%E5%A7%BF%E7%84%BC%E3%81%8D.html
将棋講座ドットコム
【将棋用語】穴熊の姿焼き
穴熊側が囲いを残したまま大きく形勢を損ねていること。
穴熊自体は固いため詰みまでの手数はかかるが、逃げ場もないため、攻めが切れてしまうと千日手・持将棋引き分け・宣言などを狙うことがかなり難しい。穴熊の欠点の1つと言える。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1736907570/18

19: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/01/15(水) 11:38:00.73 ID:ZCTGHyhi

つづき

なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）https://keiji-pro.com/magazine/10/ 刑事事件マガジン 更新日：2023.10.13
サイコパス（精神病質者）の10の特徴と診断基準｜実はあなたの周りに・・・？
サイコパスとは、「反社会性パーソナリティ障害」という精神病者のこと。
サイコパスの10の特徴 表面上は口達者利己的・自己中心的 平然と嘘をつく
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png

おサルさんの正体判明！（＾＾）
https://rio2016.5ch.net/test/read.cgi/math/1671460269/923 スレ12 より
”「ガロア理論 昭和で分からず 令和でわかる
　＃平成どうしたｗ」
昭和の末期に、どこかの大学の数学科
多分、代数学の講義もあったんだ
でも、さっぱりで、落ちこぼれ卒業して
平成の間だけでも30年、前後を加えて35年か”
”(修士の)ボクの専攻は情報科学ですね”とも

可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***）そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾

注***）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり〜！（＾＾；

なお
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
は、お断りです

小学生がいますので、18金（禁）よろしくね！（＾＾

テンプレは以上です

http://rio2016.5ch.net/test/read.cgi/math/1736907570/19

47: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [sage] 2025/02/15(土) 20:40:33.46 ID:XknlDm4+

転載 ガロア第一論文と乗数イデアル他関連資料スレ13 より
https://rio2016.5ch.net/test/read.cgi/math/1738367013/734
>箱入り無数目のロジックに穴がないことも
>納得した。

おお恐れながら
箱入り無数目のロジックに穴がないとしても rio2016.5ch.net/test/read.cgi/math/1736907570/
1列の場合に矛盾ありです

つまり １列の出題
s = (s1，s2，s3 ，・・,sn-1,sn,sn+1,・・) ∈R^N を考える
いま しっぽ同値類の代表
s' = (s'1，s'2，s'3 ，・・,s'n-1,sn,sn+1,・・) ∈R^N であったとして
この場合、sn-1≠s'n-1 として、n以降は一致していて
決定番号d=n です

いま、回答者のAさんが、ある大きな有限の数 D をとって
d < D と出来れば , D 以降の箱 sD,sD+1,sD+2,・・の箱を開けて
出題のしっぽから 同値類を特定して、その代表列
s' = (s'1，s'2，s'3 ，・・,s'n-1,sn,sn+1,・・) があって
sD-1の未開の箱の数は、定義より d ≦ D-1 が成り立っているので
代表のD-1の数が、未開の箱の数 sD-1 と一定している と宣言すれば、Aさんは勝てる

そして、もし 常に ある大きな数 D をとって
d < D と出来るならば、回答者のAさんは、100％必勝です
だが、これは変です

その解明として、数列を形式的冪級数τ(X)と考えて
τ(x) = s1+s2x+s3x^2・・+sn-1x^n-2+snx^n-1+sn+1x^n+・・ として
上記同様に考えると、代表
τ'(x) = s'1+s'2x+s'3x^2・・+s'n-1x^n-2+snx^n-1+sn+1x^n+・・ として
差を取ると 決定番号d=n より上の係数は消えて
τ(x) -τ'(x) =s1-s'1+(s2-s'2)x+(s3-s'3)x^2・・+(sn-1-s'n-1)x^n-2 ：＝f(x) （多項式）
と 係数 (sn-1-s'n-1) より小さい部分が残り n-2次多項式に なる

しっぽ同値類とは、形式的冪級数環R[[x]]/R[x] (R[x]は多項式環) という商集合で
しっぽ同値類の代表とは、f(x)∈R[x]、τ(x) ＝τ'(x)+f(x) ∈R[[x]] です
多項式環R[x]は、任意の自然数より大きい次元の部分空間を持つ無限次元線形空間 （>>419 都築より）
ですから、いま あえて未定義の ランダム*)という言葉を使うと ランダムに選ぶ R[x]の元は（前記の意味で）無限次ですので
”回答者のAさんが、ある大きな有限の数 D をとって d < D と出来る”が不成立です（τ(x) が わかって意図すれば可能です）

（ *)”ランダム”を、選択公理に お任せ と考えても良いでしょう）

追伸
いま 100列で考えて、99列から ある大きな有限の数 D を決める
1列が未開で残る。そうすると、上記と同じ状態になります
箱入り無数目は、未開の1列と 開けてしまった99列が平等だと仮定している
そう仮定すれば、ロジックに穴がないかも知れないが
未開の1列と 開けてしまった99列とが 平等に扱えないならば、上記の通りです

http://rio2016.5ch.net/test/read.cgi/math/1736907570/47

61: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [sage] 2025/03/19(水) 11:19:42.89 ID:jGV7zUN5

転載：純粋・応用数学・数学隣接分野（含むガロア理論）19
https://rio2016.5ch.net/test/read.cgi/math/1725190538/618
2025/03/19(水) 07:41:27.67ID:+DlAmH51
>> 611
>3）計算した結果を見るのも大事だ。しかし、計算しないでも「それ、なんかおかしくない？」と思わなきゃいけない、良い工学屋とはいえないのです
>　その典型例が、「箱入り無数目」だな （＾＾

補足しておく
1）確率論の分野に 乱数理論、確率過程論、情報理論がある
2）いま、下記「真の」乱数を使って、生成した乱数を 箱に入れた
　「真の」乱数だから、他の箱を開けても、閉じられている箱の数を予測することはできない（乱数の定義から従う）
　予測できるならば、「真の」乱数でなくなり、矛盾
3）確率過程論などでもそうだが、乱数生成のパラメータ t として、連続濃度を考えることができる（パラメータ t は、普通は時間と考えることが多い）
　だから、連続 パラメータ t から、可算個の 乱数値をサンプリングすることは 可能だ
　情報理論の常識からしても、閉じられた箱の中の数が 連続濃度の可能性があるのに、可算個のサンプリング値から 確率99/100的中など、情報エントロピーを考えると 全く整合しない

あたかも、アマ数学者が「5次方程式のべき根の解の公式を 作った」というが如し
プロ数学者：「5次方程式は、べき根では 解けないよ。近似解なら 可能かもしれないが」というが如し
（ガロア理論の常識が無い人には、これ分らないだろうが）

「箱入り無数目」も同様
乱数理論、確率過程論、情報理論 の常識が無い人には、分らないだろうが （＾＾

(参考)
https://ja.wikipedia.org/wiki/%E4%B9%B1%E6%95%B0%E7%94%9F%E6%88%90
乱数生成
「真の」乱数と「疑似」乱数の比較
乱数生成、すなわち乱数列の生成には主に2つの方法がある。1つ目の方法は、ランダムであることが予想される物理現象を測定し、測定過程で起こりうる偏りを補正する方法である。

http://rio2016.5ch.net/test/read.cgi/math/1736907570/61

73: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/01(日) 10:41:36.99 ID:SMdueHXd

>>67
>なぜ一般教養レベルの問題を論文に？

数学論文でなくとも、”確率論に関するパラドックス”は、よく論文になっているよ（例えば下記）
https://yamanashi.repo.nii.ac.jp/record/1421/files/12_8-15.pdf
山梨大学学術リポジトリ
確率論に関するパラドックスの考察
中村宗敬（Munetaka NAKAMURA） 著 · 2011 —
例えば,よく知られたパラドックスとして誕生日問題, すなわち, 集団が23人を超えると その中に同じ誕生日の人がいる確率は1/2を超えるが, 1年の日数 365に比して, 23人と ... 8 ページ

>　Kusiel-Vorreuter大学教授　Sergiu Hart

Sergiu Hart氏もこれ（確率論に関するパラドックス）（>>5 より Some nice puzzles http://www.ma.huji.ac.il/hart/puzzle/choice.pdf ）

さて >>8 より
https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎

これ 京大学部の確率論テキストだが、これに限らず 学部レベルの確率論テキストは 世にいろいろあるよ
学部レベルの確率論を習得した人は
”箱入り無数目理論”は、ぺっぺ です （＾＾；

＜理由＞
1）まず
　閉じた箱の中の任意実数 x∈R の1点的中は、測度論として 確率0以外は与えられない（下記 ルベーグ測度より）
　1点的中の確率99/100など ぺっぺ です（測度論に矛盾している）
2）さらに、上記 重川 第4章ランダム・ウォーク で 連続時間を取る
　ある 時刻t で 区間[0,t]を考える。 これは連続変数だから ここから可算個のサンプルが採れる
　時刻tから 遡って t0,t1,t2・・・ と 可算無限個のサンプルにおいて
　重川 第4章の通り、ベルヌーイ列で いま 0，1の二値とする
　これを、箱入り無数目のように 可算無限の箱に入れる
　重川のように iid を仮定し、確率分布を与えれば 正当な確率理論による的中確率が定まる（iid なので どの一つの箱も例外なし！）
　一方、箱入り無数目は ある箱が例外で 確率99/100だと 主張する
　重川 確率論基礎と、箱入り無数目 の確率99/100 は、矛盾！■

(参考)
https://manabitimes.jp/math/2728
高校数学の美しい物語
ルベーグ測度  2023/05/11
・1点集合 {p} p∈R μ*({p})＝0

http://rio2016.5ch.net/test/read.cgi/math/1736907570/73

78: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/02(月) 20:48:48.33 ID:C4gI6lYt

>>73-77
ふっふ、ほっほ

1）100人の数学者バージョン >>4 https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
　で、箱入り無数目が救えると勘違いしているようだが
　話は逆だよ。 箱入り無数目が 潰れれば、100人の数学者バージョン も同様に潰れると思うよ
2）100人の数学者バージョン (Dec 9 '13) >>4 https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
　と、Sergiu Hart (2013) >>5 http://www.ma.huji.ac.il/hart/puzzle/choice.pdf  で
　この両者が 元ネタとして 引用しているのが
　XOR’s Hammer Written by mkoconnor August 23, 2008
　”Set Theory and Weather Prediction”で
　ここには
　”Then, since all reverse well-founded subsets of R are countable, at most countably many prisoners will be wrong under the Hardin-Taylor strategy. Since all countable subsets of R are measure zero, this gives another way to win the game against Bob with probability one.
In fact, it implies that you can do more: You don’t need Bob to tell you (x0, f(x0) | x0 ≠ x}, just (x0, f(x0) | x0 ＜ x}. Hardin and Taylor express this by imagining that
we represent the weather with respect to time as an arbitrary function f：R→ R.
Then, given that we can observe the past, there is an almost perfect weatherman who can predict the current weather with probability 1.
They further show that the weatherman can almost surely get the weather right for some interval into the future.”
　との記述あり
3）これを、”weatherman”の話から、実関数論に例えると
　ある区間[a,b]∈R で、可算無限列 a<a0<a1<a2<・・・ <b を取ることができて
　実関数値列 f(a0),f(a1),f(a2),・・・ が構成できる
　この実関数値列で、あるf(ai) i∈N の値が 他の関数値から 確率99/100で的中できることになる
　区間[a,b]の可算無限列など、好きなだけ作れるし、区間[a,b]なども数直線上に 好きなだけ取ることが出来る
　そうすると、解析関数でもない、微分可能関数でもない、単なる連続関数で このような 確率99/100の的中が生じる
　ならば 実関数論に革命が起きるぞｗ（上記の”XOR’s Hammer”2008 記載の通り）
4）ある関数論の数学者が ”箱入り無数目”を読んでいると 気分が悪くなったと言うが それ分る。上記3）を認める 関数論の数学者はいないだろう ；ｐ）
　”選択公理を認めれば 理屈は正しい”と言われるならば、実解析本なり これからの集合論本なりに ”箱入り無数目”論を入れて貰えば良いだろうが・・・
　だが、”XOR’s Hammer”2008 から17年、mathoverflowやSergiu Hart (2013)から12年、箱入り無数目から ほぼ丸10年経つが
　いまだに、誰一人 まともに テキストに取り上げる数学者なし！！ｗ ；ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1736907570/78

83: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/03(火) 06:29:53.60 ID:ObiwjfR8

>>78-79 補足
旧ガロアスレで 2016/07 に”確率論の専門家”さんが来て、”そもそも時枝氏の勘違い”だと言った
（”当てられっこないという直感どおり，実際当てられないという結論が導かれる”と言っていた
　その理由は、決定番号 d_Xとd_Yがそもそも分布を持たない可能性すらある という（下記））
https://ａｉ.２ｃｈ．ｓｃ/test/read.cgi/math/1475822875/456
現代数学の系譜11 ガロア理論を読む24 2016/10/16より
(引用開始)
532 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:15:17.47 ID:f9oaWn8A
>>530
>2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう

535 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:33:06.50 ID:f9oaWn8A
>>534
非可測であることに目をつぶって計算することの意味をあまり感じないな
直感的に1/2とするのは微妙．
むしろ初めの問題にたちもどって，無限列から一個以外を見たとこでその一個は決定できないだろうと考えるのが
直感的にも妥当だろう
(引用終り)

補足1
・hが、決定番号を決める 関数（これが非可測だという）
・d_Xとd_Yとが、時枝氏のいう決定番号>>1で、それぞれ 実数の可算無限列XとYとに対応している

補足2
・いま、”決定番号 d_Xとd_Yがそもそも分布を持たない”を掘り下げると
　>>1 で まず 有限nで 実数列の集合 R^nを考える.
　s = (s1，s2，s3 ，・・・，sn-1, sn)，s'=(s'1， s'2， s'3，・・・，s'n-1, s'n)∈R^nは，
　ある番号から先のしっぽが一致する とき同値s 〜 s'と定義すると
　有限nの場合、sn＝s'n である
　では、確率 P(sn-1＝s'n-1) はどうか？
　コイントスなら 1/2、サイコロなら1/6、もし実数r∈[0,1] なら0
　即ち、いまの場合 r∈R だから P(sn-1＝s'n-1)＝0
　よって、決定番号は分布を持たない
　よって、無限長の数列でも 分布を持たない
　言い換えれば、有限の決定番号d が得られる確率は0
（∵ 有限の決定番号d とは、d以降の d,d+1,d+2,・・・の無限個の数が 全て一致する場合であるから その確率は0 *）
　注 *) コイントス 1/2 の場合でも、無限個の数が 全て一致する 確率は0
・箱入り無数目>>1は、有限の決定番号dの大小比較による確率計算をしているが
　それは 確率0の世界の話（確率0は、ルベーグ測度論の零集合の中）
　100人の数学者も、無限列のしっぽ同値を使うので ルベーグ測度論の零集合の中 **)
　注 **)類似の例が、>>8 の 非正則分布の確率の話で
　全事象の確率は1であるというコルモゴロフの確率の公理に反する(根源事象の確率0)
　要するに、まっとうな確率計算ができない分布が 世には存在して、それを使う確率計算や
　100人の数学者の話は、ダメだってことです■

http://rio2016.5ch.net/test/read.cgi/math/1736907570/83

89: １３２人目の素数さん [] 2025/06/05(木) 07:42:59.36 ID:ELDakrES

>>87
>決定番号は定義から自然数。いかなる自然数も有限値だから決定番号が有限値である確率は1。

そこがトリックです
決定番号は、単なる自然数ではない
かつ、自然数Nが無限集合であることから、パラドックスが生じる
（例えば、下記のサンクトペテルブルクのパラドックス（確率のパラドックス）も、無限によるパラドックス）

いまの箱入り無数目において >>5の
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf
Choice Games November 4, 2013 で
P2 game2 を流用し、少し改変する

P2”interval [0,1] and writes down its infinite decimal expansion 0.x1x2...xn..., with all xn ∈ {0,1,...,9}.”で
例えば、n=10の有限長を考える。この数列を 宝くじの番号として、10^10枚の宝くじを発行する
いま、当り番号が0.999 999 999 9 として、しっぽ同値の決定番号を使って、当りの金額を決める
もし、完全一致なら1等で 賞金1億円(決定番号1)
0.x1 99 999 999 9 で、x1≠9 のとき 2等で 1億円/10^1 (つまり1千万円で、総額約1億円)(決定番号2)
0.x1x2 9 999 999 9 で、x2≠9 のとき 3等で 1億円/10^2(つまり百万円で、総額約1億円)(決定番号3)
　・・・
0.x1x2x3x4x5x6x7 99 9 で、x7≠9 のとき 8等で 1億円/10^8(つまり1円で、総額約1億円)(決定番号8)
で、その他 x9≠9 や x10≠9 (決定番号9 以上)は、外れで 賞金なし

賞金総額約8億円で、当り券の枚数 ＝ 1億枚（10^8枚）
発行は 10^10 ＝ 100億枚で、1枚100円なら売り上げ1兆円
（もし 1枚1円に下げても売り上げ100億円）

さて、これで 発行枚数10^nで n→∞ （無限枚発行）とすると
当選確率は0だ
当りを有限だが大きなmとしても、無限枚の発行なら 当り確率0

なので、箱入り無数目は、あたかも 無限枚発行の宝くじで 「もし当りの くじが引けたら？」の "たら話"にすぎない
100人数学者の話も同様

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B5%E3%83%B3%E3%82%AF%E3%83%88%E3%83%9A%E3%83%86%E3%83%AB%E3%83%96%E3%83%AB%E3%82%AF%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
サンクトペテルブルクのパラドックス（確率のパラドックス）
パラドックスの内容
数学的には、この種の問題では、賞金の期待値を算出し、参加費がその期待値以下であれば参加者は損しないと判断する。
しかし、この問題における賞金の期待値を計算してみると、その数値は無限大に発散してしまうのである。
略
ところが実際には、このゲームでは
1/2 の確率で1円、
1/4 の確率で2円、
1/1024 の確率で512円の賞金が得られるに過ぎない
（賞金が512円以下にとどまる確率が1023/1024）。
したがって、そんなに得であるはずがないことは直観的に分かる。
これが、この問題がパラドックスとされる所以である。

http://rio2016.5ch.net/test/read.cgi/math/1736907570/89

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

あと 166 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.011s