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

前スレが1000近く又は1000超えになったので、新スレを立てる

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

（参考）
時枝問題（数学セミナー201511月号の記事） 「箱入り無数目」抜粋
純粋・応用数学（含むガロア理論）8
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401
時枝問題（数学セミナー201511月号の記事）
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice
asked Dec 9 '13 at 16:16 Denis
（Denis質問）
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N?1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.
（Pruss氏）
The probabilistic reasoning depends on a conglomerability assumption, ・・・and we have no reason to think that the conglomerability assumption is appropriate.
（Huynh氏）
If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.

つづく

Quotients of Measurable Spaces?
https://mathoverflow.net/questions/71407/quotients-of-measurable-spaces

σ代数と商空間は相性が悪いみたい

５ちゃんがD!D!о!S!にょゎょゎで直ぐㇷｯ飛び 尿がダダ漏れ、まぶたがﾋﾟｸﾋﾟｸしてそのまま戻らなくなるのゎ、
変態糞遊び愛T土方お↑じ↓勃チ♂が、仕事中に県北丘の下ｧ!で盛り合ってるからぢゃなくってぇ、、
痔夢お↑じ↓が８chan運営してて、８chan使ぃの虐スタ↑ン↓ド♂が誰かをひでしたり、(ㇾ)帝の議事堂襲撃事件を起こしたオルト・ライトの過激派ニ↑キｯ↓ﾁｬﾏ勃チ♂が８chanに集まってたから、、
サィㇵ"ｱｧｯ-!セ゚キｭㇼﾃｨの会ｼｬｧ!から痔夢お↑じ↓の会ｼｬｧ!が取引停止されちゃってて
５ちゃんも虐BlackTec↑お↓じ♂にひで虐されるひでみたぃに、D!D!о!S!攻めに掘ㇻㇾ放題に虐されてるってそれ一、
↑って↑ほんとぉ? めぅ
いきなり掘ㇻㇾ放題で頭ｲキますょ! (憤怒)

Black↑Tec↓おじ♂の虐ひで、ほんとひで

アノニマスニキｯﾁｬﾏ勃チ♂みたぃにｧｨｧﾝﾏﾝ!してサイバｱｧｯー!攻撃ボコボコに食らって吹っ飛び尿がダダ漏れ。
直ぐにまぶたがﾋﾟｸﾋﾟｸしてそのまま戻らなくなる5ちゃんを助けてぇなぁ…
って思ぅゎけ。…俺もな~…

>>650
ファインマン経路積分が測度論的に合理化される決着がつく確率論が開拓されたら色々と府に堕ちそうではあるよね
迷走ランダムウォーク酔歩。

でもブラックテックゎ、5ちゃんの過激派もそのまま盛り合わせて8chanみたぃに過激派の巣食ぅ゙ァ゙ジト゚にしちゃぇば、ㇾ帝と同時進行で日本でもサィバｱｧｯー!空間から革命♂盛り゙合ゎせて混乱に陥ら゙せてㇾ帝麻痺させられるから、
👓増税㍋ﾈ💸が叩かれてる5ちゃんにD!D!о!S!ボコボコに喰らゎせて吹っ飛ばせて、尿がダダ漏れ。まぶたがﾋﾟｸﾋﾟｸしてそのまま戻らなく‥
させる必要ﾅｨ、‥必要なくﾅｨ?

ゥㇰ露戦争のちょっと前に、露帝の方からもサイバｱｧｯー!パンチボコボコに繰り出されてたんですって。
‥Σｫｯ!?Σｫｯ!?‥ちゅ~台戦争近っぃてますかねぇ‥ｸｫﾚゎ‥
‥これってキナ臭ぃですょぉ?‥
ってﾓﾁﾍﾟちょっと思ぅゎけ。

痔核戦争♂怖ぃなぁ‥戸締まりすとこ…

>>656
何のファインマン経路積分？

良ゐｽｩｩ…楽人のみんなｯﾁｬﾏゎ、ロングライフ食品ってのゎ、知ってるかな?
今日ゎ、それを買ぃ貯め二走ってもらぅから。
家族の分もﾎﾟﾁｯとくんだょ。あくしろょ
水無しでも摂ﾚﾙ美タミンとポリフェノールもﾎﾟﾁｯて美容と健康もつるｯつるぴっかぴかにしとくんだょ。
そしてお水ゎ、家族の分も、ぃっぱぃ、ぃっぱぃ、ぃる痔瘻!
まとめて箱買ぃして倒れてこなぃょぅにｩﾏｨｺﾄ積んどくんだょ!ぁくしろょ!
そして、快適な糞遊び生活に耽るのに必要な簡易トイレゃぉ∽ｸﾞｯｽﾞゃ、ぉ尻拭きゃ、穴が3っのｧﾚ、そぅ、ぉﾊﾟﾝﾂ勃ﾁ♂だね!
ｧﾚを、ぃっぱぃらぃっぱぃ、ゅぅぃしとく痔瘻…
水無し歯磨きｸﾞｯｽﾞとｺﾞﾐ袋と使い捨て手袋、しっかり臭ぃ対策できる大きぃ屋外ゴミ箱と消臭虫除けグッズもぁると、
この辺にぃ、‥ｬｩ"ｧｨ‥ｬｩ"ｧｨ‥ゃはりｬｩｧ"ｨ‥!(確信)なちゅ~屋台が戦争に来ててもちょっとだけ、ぉ困り度を減らせるんだょね、ﾈｯ!?
避難用にでっかいｷｬﾘ-ｹ-ｽに必要な物と季節の着替ぇも詰めて置こぅ!ﾈｯ!?

じゃﾓｯﾁｬﾏゎ、遅ぃぉめざと朝ごはんを合ゎせた🎂ぉ豆腐ﾚｧ!ﾁ~ｽﾞｹ~ｷ風🍰ぉゃっをﾍﾟﾛﾘしてぉ昼寝をしてから、ﾎﾟﾁﾎﾟﾁすっから。
良ゐｽｩｩ…楽人ｯﾁｬﾏのみんなｯﾁｬﾏ勃ﾁ♂ゎ、家族の分もﾎﾟﾁるんだょ。ぁくしろょ
ｧｸｧｸｧｸｧｸｧｸ禁怖ｨﾅｧ"ｧ"ｧ"ｧ"‥串挿し♂ゃめとこ

ﾓﾁﾓﾁゎ、痔核戦争で異世界転生したら、、、
✨大魔導士✨裸魔…ヌッ!邪アァン！✨　
になりмa✞H、成りмa✞H! 成りмa✞Hめぇ!
(気錯な抱負)
魔道士と化した鬼弁を繰り出すﾓﾁﾍﾟのмuR言語をｽｩｩ…楽に翻訳してくれるスタンド使ぃが必要、…スタンド使ぃが必要ぢゃなぃ?

ハｱｧｯ-!ディ~大先生ｯﾁｬﾏに転生予定ﾆｷ、
居たら至急、先に異世界イッ‥♂といてCREA!

って感じでぇ‥、絹ごしぉ豆腐のﾚｱｧｯ-!ﾁ~ｽﾞｹ-ｷｹ-ｷ、大丈夫、ﾍ-ｷﾍ-ｷ、ｸ-ｷｸ-ｷ!ぜんぜん甘くなぃから、太らなぃ。
はっきりぺろんだね。
黒豆さんに黒蜜ときなこの仲良しｺﾝﾋﾞ、なんでも和風ｽｲ~ﾂになるから好きだし、好きだょ
檸檬と俺ン゙痔も美味しぃｿﾞこれ~
抹茶飲んでｷﾞﾝｷﾞﾝ♂で30分内のぉ昼寝して体力貯めて(痔核戦争、)待っｾﾞ!

経路積分というけれども経路に測度は入りません、これマメな

ぉ゙抹茶ｧ!にゎ黒蜜きなこと、くろ豆な

たんぱく質も摂れて。。。
🍨ぃぃぞ~これ~✨💪✨

mojoゎ欲張り、(痔核戦争)はっきりｲｷ♂んだね。
ﾓｯﾁｬﾏ達ゎ、痔核なんかに、負けなぃ!負けなぃ!
痔核🚀飛び出て来たら、元の«ω»ヶッ穴«ω»にひｯ籠めてゃるょ!! 痔ゃぁ!
って感じでぇ~…

…黒豆美味ぃなぁ…ぉかゎりすとこ…

ぁ、さ、ﾓｯﾁｬﾏゎ、これ食べたら2度寝するから。
(不幸にも疲れからか、黒塗りの豆にぶつかり稽古で可愛がられ、太りｲｸｯ‥♂゜。餅山)

‥怖くなってｫｬｯﾍﾟﾛﾘしちゃっ‥た‥ｧｧ…
ﾓﾁﾓﾁをｺﾝﾅｺﾄにしたのゎ、ど↑こ↓かの戦争屋ﾄ ｫﾓｨﾏｽ
(憤怒)

今ｼ-ｽﾞﾝのﾀﾞｨｪｯﾄ失敗してる、‥失敗してなぃ?

‥ﾁｮｺｻﾞｯ腐゜ｨ♂かなぃとね~、もぅﾑﾘﾑﾘﾑﾘﾑﾘ‥
(諦観)
邪険、夜、ﾁｮｺｻﾞｯ腐゜に逝く♂魔将の体力、つけ魔性ねぇ…

>>656
>ファインマン経路積分が測度論的に合理化される決着がつく確率論が開拓されたら色々と府に堕ちそうではあるよね
迷走ランダムウォーク酔歩。

ありがと
佐藤幹夫先生も、ここらは狙っていた気がする。あの人、物理すきだから

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%B3%E3%83%9E%E3%83%B3%E2%80%93%E3%82%AB%E3%83%83%E3%83%84%E3%81%AE%E5%85%AC%E5%BC%8F
ファインマン–カッツの公式（ファインマン–カッツのこうしき、Feynman–Kac formula）とは、放物型偏微分方程式のコーシー問題の解 u(x,t)を、ウィーナー過程 W_t を用いて表現した公式のことである。
概要
ファインマンが経路積分による量子化を発見したのが、この公式の研究の発端である [1]。カッツは、シュレディンガー方程式ではなく拡散方程式[注釈 1]を考察することで、確率過程として数学的に厳密な定式化を行った[2]。ファインマン-カッツの公式は拡散方程式に対する公式であることに注意すべきである。実時間でのシュレディンガー方程式に対する解までこみでファインマン-カッツの公式と呼ぶこともあるが、拡散方程式に対してのみこう呼ぶのが厳密には正しい。実時間のシュレディンガー方程式に対しては、測度論を基礎にして解の公式を構成することはできない[注釈 2][3]。

https://ja.wikipedia.org/wiki/%E7%B5%8C%E8%B7%AF%E7%A9%8D%E5%88%86
ファインマンの経路積分
ファインマンは、ポール・ディラックの論文にあった「時刻 t と t + Δt（Δt は微小とする）の 2 状態間の遷移の振幅が、該当する系のラグランジアンの指数関数に対応する」という記述に着想を得て、この手法を考え出した
発想
経路積分は古典力学の基本原理であるラグランジュの最小作用の原理を元にしている[1]

http://www.tuhep.phys.tohoku.ac.jp/~watamura/kougi/
綿村 哲 (わたむら さとし) 東北大学 大学院 理学研究科 量子基礎物理学講座
http://www.tuhep.phys.tohoku.ac.jp/~watamura/kougi/QFT2013_1.pdf
経路積分 6 (場の量子論2 ノート1)

>>663
>経路積分というけれども経路に測度は入りません、これマメな

ありがとう
スレ主です
これは もと弥勒菩薩こともと天皇陛下かな
釈迦に説法ですが
格子ゲージ理論というのがありまして、時空を格子におとして計算するそうで
これで、ケネス・ウィルソンはノーベル賞をゲットｗ
物理では、これが使えるらしく、たしかヒッグス粒子の計算もこれ使ったらしい

https://en.wikipedia.org/wiki/Lattice_gauge_theory
Lattice gauge theory
https://ja.wikipedia.org/wiki/%E6%A0%BC%E5%AD%90%E3%82%B2%E3%83%BC%E3%82%B8%E7%90%86%E8%AB%96
格子ゲージ理論
格子ゲージ理論（こうしゲージりろん、lattice gauge theory）は、格子上に離散化された時空におけるゲージ理論である。
低エネルギー領域での量子色力学はその強結合性のために摂動論的取り扱いができないが、この困難を打開するために生まれたのが格子ゲージ理論である。1974年、クォークの閉じ込めを記述するためにケネス・ウィルソンによって初めて提唱された[1]。1980年にはマイケル・クロイツがモンテカルロ法を用いて格子ゲージ理論による数値計算に成功し[2]、以後、”強い相互作用の第一原理計算”として有効活用されている。
格子上で場の理論を扱う場合は格子場の理論、格子上の場の理論、格子上で量子色力学を扱う場合は格子QCD、格子量子色力学などと呼ばれる。
理論の基礎
連続的な時空を「格子」という形式に離散化して表現するのが格子上の場の理論である。物理量の計算は格子上で行われるが、最終的には連続極限（格子間隔をゼロにする極限）をとることで、本来の連続的な理論を得ることができる。

>>668
追加（格子ゲージ理論と経路積分）

http://hep1.c.u-tokyo.ac.jp/~kikukawa/lectures/
菊川　芳夫 東京大学 大学院総合文化研究科 広域科学専攻 相関基礎科学系 (Bグループ 素粒子・原子核理論）
http://hep1.c.u-tokyo.ac.jp/~kikukawa/lectures/H25LatticeFieldTheory/talk_13tokuron.pdf
格子ゲージ理論入門 平成２5年度 理論物理学特論 (格子ゲージ理論)
--格子フェルミオンの基礎と応用-- 菊川　芳夫 （東大駒場）青木　慎也 （京大基研）
P3
格子化 場の量子論の定義そのもの
経路積分が``遂行できる”枠組み（cf. モンテカルロ法）
（素朴な正則化, でも一般的かつ強力）

https://ja.wikipedia.org/wiki/%E5%88%86%E9%85%8D%E5%87%BD%E6%95%B0_(%E5%A0%B4%E3%81%AE%E9%87%8F%E5%AD%90%E8%AB%96)
分配函数 (場の量子論)
場の量子論では、分配函数 (ぶんぱいかんすう、英: partition function) Z[J] は、相関函数の母函数である。通常、分配函数は、次の汎函数積分（英語版）の形で表現される。
場の量子論における分配函数は、数学的な分配函数の特別の場合であり、統計力学の分配函数と関係している。
適用方法
n-点相関関数
G_{n} は、次のような経路積分の定式化を使い表現することができる。
統計力学との関係
母函数は、統計力学の分配函数の場の量子論の類似である。このことは、系について知りたいと思うもののすべてを教えてくれる。母函数は、任意の個別の場の理論の高級な枠組みである。ある特別な理論の for Z[J] が完全閉形式であれば、完全にこれを解くことができる[2]。
統計力学の分配函数とは異なり、場の量子論の分散函数は、作用の先頭に余剰な因子 i を付加し、実数ではなく複素数で積分する。こ
（複素射影空間は、複素ヒルベルト空間であるが、確率振幅は 1 に依然として正規化されているので、「射影的」という用語をつけた。）

https://www2.yukawa.kyoto-u.ac.jp/~soken.editorial/sokendenshi/vol18/3/yamada.pdf
素粒子論研究 ･ 電子版 Vol. 18 (2014) No. 3
2013年度原子核三者若手夏の学校
素粒子パート　場の理論 講義録
格子QCDシミュレーション入門
—パソコンの上で格子場を楽しむことを目標に—
中村 純　教授 (広島大学 情報メディア教育研究センター)

時枝記事の反省への考察
確率の話は超準解析または記述的集合論でアプローチするのが吉

>>670
>時枝記事の反省への考察
>確率の話は超準解析または記述的集合論でアプローチするのが吉

記述的集合論は、不勉強で初耳ですが、下記ですかね？

https://ja.wikipedia.org/wiki/%E8%A8%98%E8%BF%B0%E9%9B%86%E5%90%88%E8%AB%96
記述集合論
数理論理学において記述集合論（英: descriptive set theory）はよい振る舞いを持つポーランド空間（例えば実数直線）の部分集合の研究である。集合論の主要な研究分野のひとつであるのと同様に、関数解析、エルゴード理論、作用素環、群作用、数理論理学など、他の分野への応用を持つ。
ポーランド空間
記述集合論はポーランド空間とそのボレル集合の研究とともに始まった。

ポーランド空間は第二可算公理を満たす位相空間で完備距離化可能なものをいう。同じことだが、それは可分な完備距離空間で距離を忘却したものである。ポーランド空間の例としては次のものが含まれる：
実数直線 R, ベール空間 N, カントール空間 C, ヒルベルト立方体 I^N

解析集合と補解析集合
ボレル集合のちょうど上の複雑性として解析集合と補解析集合がある。ポーランド空間
X の部分集合が解析であるとは、それがあるポーランド空間のボレル部分集合の連続像であるときにいう。いかなるボレル集合の連続逆像もボレルであるが、解析集合はボレルとは限らない。集合が補解析とはそれの補集合が解析集合であることをいう。これに関する基本的な結果は、解析かつ補解析な集合はボレル集合とちょうど一致するというものである（ススリンの定理）。

射影集合とWadge次数
記述集合論の多くの問題は究極的には順序数と基数に関する集合論的な性質に依存している。すなわち連続体仮説、巨大基数公理、構成可能性の公理などの集合論のoptionalな公理に依存する。この現象はとりわけ射影集合に対して顕著である。これらはポーランド空間
X 上の射影階層を通して定義される：

実効記述集合論
実効記述集合論の領域は記述集合論の手法と一般再帰理論の手法（とりわけ超算術的階層）とを結合させる。

https://en.wikipedia.org/wiki/Descriptive_set_theory
Descriptive set theory

>>671
平たく言うと圏論、宇宙はは圏と射で記述できる

>>652
> ・「Eの集合」とは、>>625の
> ”同値類の代表元をとって、元の関数との一致開始箇所
>（これを決定点と呼ぶ）の最小値をΕとする”
>　ってこと

「」と””が対応しないね

>Εの集合（元の関数との一致開始箇所の意味）には
>ε’最小値は存在しない

「Eの集合」＝「決定点がとりうる範囲」の意味？

もちろん「決定点がとりうる範囲」には最小値は存在しない
しかし、いかなるfについても、決定点ε’が存在し、それは1<=ε’<0の範囲にある

したがって問題はない
何がどう問題があると思ってる？

>自然数Nから、例えば2つn1,n2を取る。有限値だが、それが自然数Nを代表しているとは言えない
>同様に、Εの集合から二つε1’,ε2’を取る。有限値だが、それが集合Eを代表しているとは言えない

「代表している」ってどういう意味？
代表元というのは、同値類の代表だけど、分かってる？

>>651
>箱入り無数目の決定番号による確率計算には、確率測度の裏付けない！
決定番号による確率計算なんてしてませんけど？
「100個中1個だから1/100」が勝つ戦略の確率計算

今日のおサルBの学習帳

649　>可測空間と可測写像
653　>σ代数と商空間は相性が悪いみたい
659　>何のファインマン経路積分？
663　>経路積分というけれども経路に測度は入りません
670　>確率の話は超準解析または記述的集合論でアプローチするのが吉
672　>平たく言うと圏論、宇宙はは圏と射で記述できる

こんな「ポエム」に、おサルAが欲情
おサル二匹のハッタリの交合は続く

667　>佐藤幹夫先生も、ここらは狙っていた気がする。
668　>格子ゲージ理論というのがありまして、…
669　>格子ゲージ理論と経路積分
671　>記述的集合論は、不勉強で初耳ですが、

相変わらず的外れな傍証の積み上げで不成立が証明できると思ってるバカ
不成立を証明したければ反例を示すしかない
しかし示せなかった
これがすべて
よって不成立派の負けは確定済み

>>676
どちらの見方も成立しうるという見解も
否定しなければならないのが成立派

数学板の公安委員会は否定しかできない無能

どちらの見方とは？

ｘ＜ｙとｙ＜ｘが両立する、というのが不成立派のID:4vplCqAb

数学板の公安委員会は時枝記事を少しでも離れると頭から否定することしかできない、素人の馬鹿だから

時枝記事を妄信する数学板の公安委員会

証明は示された
反例は示されなかった
これがすべて

ここは数学板であり幼稚園ではない
駄々こねてもダメなものはダメ

>>684
アホがなに仕切ってんだ
間抜け！

>>684
24時間経過したんだから
好きなところへ行け
アホ！

>>686
>24時間経過した
＝君の負けの確定

もう一度言う
証明は示された
反例は示されなかった
これがすべて

d1,…,d99＜d100
d1,…,d98,d100<d99
d1,…,d97,d99,d100<d98
d1,…,d96,d98,…,d100<d97
…
d1,…,d3,d5,…,d100<d4
d1,d2,d4,…,d100<d3
d1,d3,…,d100<d2
d2,…,d100<d1
を全て満たす(d1,…,d100)は存在しない

さらに上記100個の不等式のうち
任意の2個を同時に満たす(d1,…,d100)も存在しない

つまり、任意の(d1,…,d100)について、
上記100個のうち、満たされる式は高々１個しか存在しない

そのような番号を選ばない限り、箱入り無数目は失敗しない

>>689
箱入り無数目では選択公理を前提する限り
100列からどの1列を選んでも
決定番号の組は同じ(d1,…,d100)となる

その上で、必ず失敗するということであれば
選んだ1列の決定番号diが必ず(d1,…,d100)の中の単独最大値になる
ということである　
(d1,…,d100)からランダムに1列選んでいるのに必ず単独最大値が選ばれる
というのはオカルトである

オカルトを否定するなら、そもそも
どの列を選んでも同じ(d1,…,d100)となる
ということを否定せざるを得ず、結果として選択公理が否定される

数学を越えた話だよ、時枝（応用数学者）

選択公理の下での箱入り無数目失敗は・・・数学を超えたトンデモ🤥

「(d1,…,d100)のいずれが選ばれる確率も1/100」は定義だからオカルトもクソも無い

オカルトと言えば「未開封列の決定番号は開封済列のそれより必ず大きい」って方
正常な人間は開封状態にかかわらずd1とd2の大小関係は固定されていると考える

>>693
＞カードが可算無限（→∞）の場合どうなるか？
＞自分の手札が分かり有限のdxだった。
＞しかし、→∞では平均値も→∞だから、P(dx<dy)=1
＞こうなる理由は、可算無限（→∞）の場合だからで、
＞非正則分布を扱っているから

それって非正則分布では積分計算が無意味ってことじゃね？

選択公理を使ったなぞなぞで釣れた、良かったね（終）

>>693
>５）時枝「箱入り無数目」も同様
はい大嘘
正しい箱入り無数目
dx,dyのいずれかをランダムに選んだ方をx、他方をyとする
このとき P(x>y)=P(x<y)=1/2 が成立する

嘘はダメ、ゼッタイ

>>694
>「(d1,…,d100)のいずれが選ばれる確率も1/100」
>は定義だからオカルトもクソも無い
>オカルトと言えば
>「未開封列の決定番号は開封済列のそれより必ず大きい」
>って方

そう書いたつもりだがそう読めなかったのなら謝る　スマン

選択公理使って数学者の鼻を明かしてやったぜ、ハイハイわかったから

>>694
>正常な人間は開封状態にかかわらず
>d1とd2の大小関係は固定されていると考える

1列目を選んだ場合の決定番号d'1、d'2がd'1>d'2で
2列目を選んだ場合の決定番号d''1、d''2がd''1<d''2だ
というなら、そもそもd'1=d''1、d'2=d''2ではないので
選択公理による代表の決定がなされていないことになり
選択公理を否定している

ID:/APcYulTは数学パズルを全否定したいらしい

ID:/APcYulTは選択公理が分からんで悔しいらしい

参ったｗｗｗ

他の選択公理ネタはないの？

海ゆかば
水漬くかばね
山ゆかば
草生すかばね
スレ主の
辺にこそ死なめ
かえりみはせじ

数学板公安委員会とシンスレヌシは時枝記事全否定->選択公理否定に持ち込みたい

>>706
第三者だが・・・記事は否定してない
その上で結論が成り立たないならそもそも前提が成り立たない
という対偶をとってるだけ

対偶　ご存知？

>>707
時枝記事の確率の部分が天下りだと言ってるのだが
仮定が偽なら結論は常に正しい
分かるかな

>>708
戦略とはそもそも天下り的なものだろう
肝心なのは戦略が成立するか否かであって天下り的か否かではない

箱入り無数目のなぞなぞのポイント
・数学者は選択公理に疎い
・基礎論者は確率論に疎い

>>708
戦略が天下りだから仮定が偽？？？
ちょっと何言ってるか分かりません

>>709
証明になっていないということだよ

>>711
素人の馬鹿は気にすんなよ

>>712
記事の証明のどこにギャップがあると？

>>713
貴様が素人バカでないなら記事の証明のどこにギャップがあるか示してみい

以下、無限ループ

不成立派は口だけは達者だが、誰一人として証明のギャップも反例も示せない
まさに素人バカ

>>716
貴様が証明のギャップを示せば無限ループを脱出する
阿呆ですか？

いつも言い訳に終始する不成立派
悔しかったら証明のギャップを示してみい

チンピラヤクザほんと酷いね

>>695
>＞こうなる理由は、可算無限（→∞）の場合だからで、
>＞非正則分布を扱っているから
>それって非正則分布では積分計算が無意味ってことじゃね？

これはこれは もと弥勒菩薩こと もと天皇陛下
スレ主にして>>693です

・非正則分布は、下記で全事象Ωが→∞に発散しています
　つまり、積分はできるが積分の結果がはっさんしている
・全事象Ωが→∞のとき、確率計算はしばしば∞/∞の不定形になったりします
　また、「確率の和が1」とはできない（下記）
・箱入り無数目の決定番号は、非正則分布を成します
　非正則分布を使った確率トリックが、箱入り無数目ですね

(参考)>>115
https://ai-trend.jp/basic-study/bayes/improper_prior/
2020/04/14 AVILEN Inc.
非正則事前分布とは？ 完全なる無情報事前分布
ライター：古澤嘉啓
（全体Ωが発散しているので）確率の和が1ではありません
（注：ここでの非正則事前分布は、一様分布の範囲を→∞に拡大したものです）
https://en.wikipedia.org/wiki/Prior_probability#Uninformative_priors
Prior probability
Uninformative priors
The simplest and oldest rule for determining a non-informative prior is the principle of indifference, which assigns equal probabilities to all possibilities.

https://ja.wikipedia.org/wiki/%E4%BA%8B%E5%89%8D%E7%A2%BA%E7%8E%87
事前確率
比較して情報がない場合を無情報事前分布 (non-informative prior distribution) という。後者の場合には広く薄い信念を表明している形状が望まれ、その一類型として一様分布があるが、これ以外にも多数の理論分布が存在する。

>>721
確率計算に決定番号を使っていないので言いがかり
バカは何度言っても理解できない

>>721
「100個中1個だから1/100」という確率計算に対して
>・非正則分布は、下記で全事象Ωが→∞に発散しています
>　つまり、積分はできるが積分の結果がはっさんしている
>・全事象Ωが→∞のとき、確率計算はしばしば∞/∞の不定形になったりします
>　また、「確率の和が1」とはできない（下記）
>・箱入り無数目の決定番号は、非正則分布を成します
>　非正則分布を使った確率トリックが、箱入り無数目ですね
はいずれも的外れ。

勝つ戦略を否定したいなら「100個中1個」を否定するしかない。
しかし選択公理を認めるなら「100個中1個」は否定できない。
不成立派はそこの論理が理解できない池沼。

池沼に数学は無理なので数学板から去るがよかろう

>>724
サイコパスのサルが>>5
なに仕切ってんだ？ｗｗ

数学板公安委員会はなりすまし、自演してまで価値のない時枝記事に拘る理由が分からない。アスペだろう。

>>726
>数学板公安委員会はなりすまし、自演してまで価値のない時枝記事に拘る理由が分からない。アスペだろう

これはこれは、もと弥勒菩薩こともと天皇陛下
スレ主です
御意です
１）大学レベルの確率論・確率過程論に白痴同然の二人
２）彼らは「価値のない時枝記事」（つまり、時枝記事は確率論として不成立）が理解できないのです
３）そこで倒錯して「時枝記事は確率論として不成立」の主張に対して、「デタラメだ」と突っかかるアホ
４）”数学板公安委員会はなりすまし”も、彼らにしてみれば、真面目な話かも

哀れなやつらですが
弥勒菩薩のお力で、救いの手をお願い致します

>>721
>>それって非正則分布では積分計算が無意味ってことじゃね？
>非正則分布は、全事象Ωが→∞に発散しています
>つまり、積分はできるが積分の結果がはっさんしている
>全事象Ωが→∞のとき、確率計算はしばしば∞/∞の不定形になったりします
>また、「確率の和が1」とはできない（下記）
>箱入り無数目の決定番号は、非正則分布を成します
>非正則分布を使った確率トリックが、箱入り無数目ですね

箱入り無数目の確率計算では非正則分布使ってないよ
逆に「箱入り無数目は当たらない」というのに
非正則分布を使った計算を実施してるけど
それ積分の順序を変えたら値変わっちゃう
トリックじゃね？

>>728
お前は時枝記事はすべｔ正しいと思ってるのか？

>>728
いい機会だから説明するよ

１）いま、区間[0,M] (Mは実数で、0<M)から2つの実数x,y∈[0,M]を取る
　グラフで書くと、第一象限に(0,0),(M,M),(M,0),(0,M)の4つの点を結んだ正方形が出来て
（簡便に縦軸y、横軸xとする）
　対角線 (0,0)と(M,M)を結ぶ直線の方程式ｙ＝ｘだ
　ｙ＞ｘの領域は、正方形M^2の上半分の二等辺正三角形
　ｙ＜ｘの領域は、正方形M^2の下半分の二等辺正三角形
２）よって、区間[0,M]では 確率P（ｙ＞ｘ）=1/2 (同様にP（ｙ＜ｘ）=1/2)
３）では、Mの範囲を広げて M→∞にしたら？（これ非正則分布だよ）
　正方形M^2→∞
　上半分の二等辺正三角形の面積→∞
　つまり、M→∞で P（ｙ＞ｘ）=∞/∞ （不定形）
　となる

非正則分布では、素朴にやると、不定形になってダメだ！
つまり、時枝「箱入り無数目」は、素朴すぎるってこと
選択公理だけでは、ここらのM^2→∞の不定形は、処理できてない！ｗ

>>730
>いい機会だから説明するよ
何の説明にもなってないけど何を説明した気でいるの？

>非正則分布では、素朴にやると、不定形になってダメだ！
勝つ戦略は非正則分布なるものを使ってませんが？

>>730
「勝つ戦略は非正則分布なるものを使っていない」
これは勝つ戦略の定義だから否定できない。
否定したら回答者の戦略選択の自由を奪うことになり題意に反する。

>>730
>>730
>いま、区間[0,M] (Mは実数で、0<M)から2つの実数x,y∈[0,M]を取る
>グラフで書くと、第一象限に(0,0),(M,M),(M,0),(0,M)の4つの点を結んだ正方形が出来て
>（簡便に縦軸y、横軸xとする）
>対角線 (0,0)と(M,M)を結ぶ直線の方程式ｙ＝ｘだ
>ｙ＞ｘの領域は、正方形M^2の上半分の二等辺正三角形
>ｙ＜ｘの領域は、正方形M^2の下半分の二等辺正三角形
>よって、区間[0,M]では 確率P（ｙ＞ｘ）=1/2 (同様にP（ｙ＜ｘ）=1/2)

もしかして、それが「箱入り無数目」の確率計算だと思ってる？
もしそうなら誤解だよ
だってそんな計算、記事中のどこでもしてないでしょ
勝手に偽証明、捏造しちゃいけないな

２個の数の場合、両方とも同じ、という場合を除けば
大きい数は１つだけでしょ

ランダムに２個から１個選べば大きい数を選ぶ確率は１／２
たったそれだけ

>>730 補足
スレ主です

１）この例で示したのは
　全順序ではあるが→∞に発散している非正則分布においては
　二つの元X,Yを選んで 単純にP（ｙ＞ｘ）=1/2は言えない ってこと
　つまり、P（ｙ＞ｘ）=∞/∞ なる不定形を成す場合があるのです
２）単純に「二つの元X,Yを選んで P（ｙ＞ｘ）=1/2だ」
　だという主張に対して
　反例を示したのです！！
３）従って、「二つの元X,Yを選んで P（ｙ＞ｘ）=1/2」の裏付け証明が必要
（つまりは、それはしっかりした確率測度の裏付けのある証明ですが）
　そういうことを必要とするってことです
４）時枝「箱入り無数目」に、決定的に欠けているのがこれです

>>733
お前は時枝記事はすべて正しいと思ってるのか？

>>734
>>732

>>736
時枝記事はすべて正しいと思ってるのはお前だけだ

>>734
>(積分範囲が)→∞に発散している非正則分布においては
>二つの元X,Yを選んで 単純にP（ｙ＞ｘ）=1/2は言えない ってこと

だから、それは非正則分布においては積分が無力ってことですよね？

>単純に「二つの元X,Yを選んで P（ｙ＞ｘ）=1/2だ」
>だという主張に対して反例を示したのです！！

反例ではなく、「積分では求まりません！」って降参してるだけですよね？

>従って、「二つの元X,Yを選んで P（ｙ＞ｘ）=1/2」の裏付け証明が必要
>（つまりは、それはしっかりした確率測度の裏付けのある証明ですが）

？　選ぶのは回答者なんだから、
当人が「どちらを選ぶのも確率1/2ずつ」と
宣言すればそれで終わりですよね？
回答者の意思をどう確率測度で裏付け証明するんですか？

>時枝「箱入り無数目」に、決定的に欠けているのがこれです

なんか全然見当違いなことを要求してないですか？

>>735
> 時枝記事はすべて正しいと思ってるのか？
　今のところ、明らかに誤っているといえるところは見つからないですね

>>737
> 記事はすべて正しいと思ってるのはお前だけだ
　私も「箱入り無数目記事に誤りはない」と思っているので
　彼だけではないですね

時枝戦略のポイントはsのd(s)番目以降の目が決まっていることだな。目をみなくても分かる。
目に目隠しシール貼っておくルールにすると箱一個でも成立。

>>740
> (箱入り無数目)戦略のポイントは
> (列)sのd(s)番目以降の目が決まっていることだな。

　「目」＝箱ですね
　今後、箱といってもらえますか？
　記事中では「目」という言葉は一切使っていませんから

> 目(箱)をみなくても分かる。
> 目(箱)に目隠しシール貼っておくルールにすると箱一個でも成立。

　それはないですね
　なぜなら、列の同値類の代表を知るのに
　有限個の箱を除いた全て（つまり無限個）の箱を開ける必要がありますから
　列の同値類の代表を知ることなしに、戦略は成り立ちませんよ

>>740
訂正
時枝戦略のポイントはsのd(s)番目以降の値が決まっていることだな。箱を開けなくても分かる。
箱一列でも成立。選択公理不要。

>>742
補足
確率論も不要

箱入り無数目の目は何を刺すのか？ダジャレか

記事まで買って読み込んで
これだけガチで分かってないひとも珍しい。
ほんとに数学科卒なの？

>箱入り無数目の目は何を刺すのか？

刺すじゃなく「指す」ね。
「目」とは「サイコロの目」とかと同じく、箱の中の実数のことだろう。

箱が有限個だと、出題者にランダムな実数を入れられたら当てようがない
が、箱が可算無限個あり、回答側が尻尾の同値類の代表系一覧にアクセスできる
という条件があれば、出題側はどんな実数列を入れても
箱入り無数目解法による予測から逃れることはできない
という数学の話。直観から外れる理由は2つ。
・箱が可算無限個ある点
・選択公理の適用

Hart氏の論文では
・箱の個数が可算無限個→解法成立
・箱の個数が有限個→解法不成立
と書かれているが、1はこれを
前者はジョークであり、後者こそ本音であり
タネ明かしなのだとありえない勝手解釈。
過去にはこのことをHart氏にメールで
尋ねて、冗談ではない旨の確認を
取ったひとがいた。しかも
2回目くらいのメールでうざがられてた
とかで、日本の恥さらしになったというｗ

出題側は、実は一つだけ回答側にヒントを与えている
（あるいは、出題の制限を課されている）。
それは中身が「実数」であるということ。
もし、中身が「複素数」や別の集合の元であれば
回答側は、それに応じた代表系一覧への
アクセスが必要になる。
回答を保証するためには、フルの代表系が必要。
それは回答プロセスを考えてみれば分かる。
回答側は、100列に分けた各列がどれになるのか
予め分からないのだから、どんな出題に対しても
「箱入り無数目解法が実行できる」と言い切る
ためには、フルの代表系が必要になるという理屈。

時枝記事のペテンは
・選択公理とは何か
・証明の何処で選択公理を使っているかを明示していない

>>748
それは出題側が与えたヒントではなくゲームのルール

時枝がガベイ・オコナーの定理を知っていたか怪しい。知っていたらガベイ・オコナーの定理、無限帽子問題に言及してるはず。

>>749
>・選択公理とは何か
それを示すのは記事の責務ではない。

>・証明の何処で選択公理を使っているかを明示していない
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている. 」と明示している。
日本語読めませんか？なら小学校の国語からやり直し。