スレタイ 箱入り無数目を語る部屋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.

つづく

反例を示せない時点でレフェリーもクソも無いわけだが

>>417
(引用開始)
トランプの山から5枚のカードを取る
　i)5枚とも伏せて横に並べる。真ん中のカードが、最大である確率は？
　ii)5枚とも伏せて横に並べる。うち4枚を開ける。残りのカードが、最大である確率は？
（注：トランプの順は、番号順で 同じ数字は スペード>ハート>クラブ>ダイヤの順とする）
この二つの問題の混同を狙ったのが、時枝「箱入り無数目」かもね
上記１）i)で、トランプの52枚の札→∞ としたのが 「箱入り無数目」ですよ。ここもポイントの一つです
(引用終り)

補足説明
・「i)5枚とも伏せて横に並べる。真ん中のカードが、最大である確率は？」 当然1/5
・「ii)5枚とも伏せて横に並べる。うち4枚を開ける。残りのカードが、最大である確率は？」
　ここで、4枚を開けて、最高がスペードの3だったとする
　スペードの3に勝てるのは、ダイヤの4から上40枚。52-4=48で、確率40/48＝5/6
・別に、4枚を開けて、最高がスペードの12(Q)だったとする
　スペードの12に勝てるのは、ダイヤの13(K)から上4枚。52-4=48で、確率4/48＝1/12
・これで言いたいことは、上記i)とii)とは、確率計算が異なる（下記ベイズ推定類似）（なお、ii)を多数繰り返せば、i)の1/5に収束するだろう（有限のトランプならばね。非正則分布は別として））
・トランプの52枚の札→∞ （つまり、札の数は自然数N全体とする）と
　上記ii)の場合に、4枚の札の最高が有限nとすると、∞中の残り1枚がそれを上回る確率1
・”札→∞”は、非正則分布になるよ。だから、箱入り無数目は 非正則分布を使ったトリックなのです！

https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%BA%E6%8E%A8%E5%AE%9A
ベイズ推定
ベイズの定理の式は
主観確率分布 P(A) に、係数 P(X|A) / P(X) を掛けることにより、証拠 X を加味して、より客観性の高い確率分布 P(A|X) を求める
このように確率分布をより客観的にする方法（ベイズ改訂）を利用して、A を推定する方法が、ベイズ推定である
一方、A は「原因」であるから、従来の推計統計学では、確率分布 P(A) は既に決定しているものであり、従って X を条件とする確率 P(A|X) は意味がない
一方で、ベイズ推定は人間の思考の過程をモデル化したものとも考えられ、人間の思考様式になじむとも主張されている

どうも、私がシン・スレッド主です

１．今後、１が「スレ主」と名乗ってもニセモノとして抹●
２．公理的集合論以外の専攻の人が、箱入り無数目の専門家を名乗っても不承認
（専門家と認められるのは例えば以下の人物）
https://academist-cf.com/fanclubs/281?lang=ja
３．数理論理学を「基礎論」とかいう蔑称で呼ぶ輩は容赦なく抹●

>>553
誤　箱入り無数目は 非正則分布を使ったトリックなのです！
正　箱入り無数目不成功は 非正則分布を使った屁理屈なのです！

ニセモノは容赦なく抹●

なお、本スレッドはこれで最後とし後継スレッドは立てない
勝手に後継を称するスレッドを立てたものは容赦なく抹●

１とかいうエテ公はベイズしか知らんベイズ🐎🦌

バトル続くよどこまでも♪

選択公理を使ったなぞなぞはないの？

>>544 補足
スレ主です

>その上で、彼の「数学研究」なるものが、いまのかれの人生の支えならば、それはそれで良いんじゃね？

・科学や数学で、ちょっとした発見や発想が、大きく発展するときがある
　リュードベリの公式(下記)がそうだが、λ 光（線スペクトル）の波長の逆数で整理すると、
　1/λ＝R（1/n^2-1/m^2）という綺麗な式になる
　ここから、量子力学が発展した
・類似が、フライ曲線(下記)で、フライ曲線がフェルマー最終定理の解決につながったし
　いまのABC予想の発端にもなっている
・おっちゃんの研究にも、そういう”あとから見るとちょっとした思いつき”（コロンブスの卵）の幸運があるかも
　それは、誰にも否定はできない

https://ja.wikipedia.org/wiki/%E3%83%A8%E3%83%8F%E3%83%8D%E3%82%B9%E3%83%BB%E3%83%AA%E3%83%A5%E3%83%BC%E3%83%89%E3%83%99%E3%83%AA
ヨハネス・リュードベリ（Johannes Rydberg、愛称はヤンネ Janne、1854年11月8日 - 1919年12月28日）は、スウェーデンの物理学者である。分光学に関するリュードベリの式（英語版）で知られる。
ルンド大学で数学を学んだ。ルンド大学で数学の講師になったが、1882年に物理学の講師になり、1901年に教授になり、1914年に病気で教授職を継続できなくなった1919年までルンド大学の教授職にあった。シーグバーンは彼の弟子である。1919年にロンドン王立協会の外国人会員に選出されている[1]。
リュードベリの業績は1890年に励起された原子のスペクトルの波長が整数の組み合わせの式で表されることを示したことである。
1/λ＝R（1/n^2-1/m^2）
ここで係数Rがリュードベリ定数。λは光（線スペクトル）の波長、n,mは適当な整数である。

https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%AB%E3%83%8F%E3%83%AB%E3%83%88%E3%83%BB%E3%83%95%E3%83%A9%E3%82%A4
ゲルハルト・フライ（Gerhard Frey, 1944年 - ）
フライ曲線（英語版）はフェルマーの最終定理を解決する有力な手がかりとなった。

>>521
これはこれは、もと弥勒菩薩こともと天皇陛下ですね
スレ主です

>基礎論村の皆さん完全勝利おめでとう、記念に基礎論スレ立ててあげようか？

私も、下記のスレを立てて、自称基礎論くんの相手をしていました
いま見ると、DAT落ちしていましたｗ
現代数学の系譜 カントル 超限集合論他 3
https://rio2016.5ch.net/test/read.cgi/math/1595034113/

基礎論スレは、すぐ過疎になりそう
なお、別の基礎論スレで、下記の”数学基礎論が衰退したのは何故か？理由を考察”が話題になりました
それを見た記憶があります
(参考)
https://www.youtube.com/watch?v=1X8npQqoGkQ
数学基礎論が衰退したのは何故か？理由を考察
謎の数学者 2021/05/13

>>553
不成立なら反例(d1,d2)を簡単に示せるはずなのに示さなかったからあなたの負けは確定済み
泣き言は聞きません

>>562
帰っていいよ
昼寝してなよｗ
戻ってこなくて良いぞｗｗ

>>563
不成立なら反例(d1,d2)を簡単に示せるはずなのに示さなかったからあなたの負けは確定済み
泣き言は聞きません

>>565
はい、ご苦労さまです
聞いてくれとは頼んでいないｗ
帰っていい、昼寝してな と言っている

ご苦労さまです
戻ってこなくて良いぞｗｗ

>>548
関係無い
簡単な反例すら示せなかったという事実が真実を雄弁に物語る

>>558
もともとバトルではない、ただの調教
今回は言い訳の余地を根絶しただけのこと

Mizarを使ったジョルダンの曲線定理の証明
http://www.cs.shinshu-u.ac.jp/~okazaki/TPP2012shidama.pdf

こういう話の方が面白そう。数学セミナー時枝号はそっちがメインの特集だった。

https://i.imgur.com/jiAJata.jpg
家族等など紹介してプラス\4000をGET可能！
tk..tk [あぼーん用]

ピーター・ショルツの凝縮数学
https://en.wikipedia.org/wiki/Condensed_mathematics#References

>>570
本当にこれお得そうだよな

もう来るな
４ね

>>569
>Mizarを使ったジョルダンの曲線定理の証明
>http://www.cs.shinshu-u.ac.jp/~okazaki/TPP2012shidama.pdf
>こういう話の方が面白そう。数学セミナー時枝号はそっちがメインの特集だった。

これは、もと弥勒菩薩こともと天皇陛下
スレ主です

同意です
伝統ある数学セミナー誌に
ブラックなクソ記事書いた時枝さん
その虚報に乗せられて、うごめく数学科のオチコボレ亡者たち
まさに地獄図です
この落とし前をどうするのかな？ｗ

自動投稿だろ、bot

>>560
>リュードベリの公式
物理の話は物理板でしな

１の物理板への亡命は許可する

>>561
基礎論とかいう馬鹿語は禁止

１の数学板への参加は許可しない

>>570
こういうのは見逃せないよな。

　 ∞
( >д<)｛ 踏ﾝﾂﾞｹﾃｬﾙ!
　/ \
　δ δ
⊂(>>581)⊃)⊃

>>563
>バトル続く理由がお分かり頂けたでしょうか？
>成立派のレベルが低い

…とかいう１のレベルが低い　中卒レベル
底辺といっていい

>決定番号d1〜d100を前提として、
>あるdi (i＝1〜100)が最大値である確率は1/100

正確には
・他より大きな決定番号はたかだか１つ存在する
・上記の決定番号をもつ列を選ぶ確率は1/100

>では、前提の「決定番号d1〜d100」の確率はどうか？
>成立派は、決定番号は自然数だから「決定番号d1〜d100」は当然とする

然り
これを否定するヤツは反論理的トンデモ

>しかし、決定番号に上限がなく、
>かつ減衰しない非正則分布であることを考えると
>d1〜d100の最大値をMとして、
>可算無限数列で1〜Mの長さは有限M、
>一方 Mから後ろの長さは可算無限
>つまり、可算無限数列である非正則分布で考えると
>先頭1〜Mの長さは有限Mの出来事は、無限小領域の話
>つまり、確率0の事象と解釈できます

できない
自然数全体Nの測度を１とするとき、
各々の自然数の単集合が等しい測度を持つとするなら
単集合が非可測集合になる
なぜならもし各単集合の測度を０とするなら
可算個の足し合わせで１にならねばならないが
それは測度の可算加法性を否定することになる
ヴィタリの非可測集合の非可測性証明と同じ

>これが、時枝「箱入り無数目」のマジック（or トリック）と思います

残念ながら、まったくの誤り
１はこんなトンデモな理屈で「箱入り無数目は間違ってる」と
吠え続けたのだから、スレ主の座から失墜するのは当然のことである

ぉ゙前、ﾁﾞｯﾁｬﾏのｽﾏﾎかpcに変なびょーき移しﾀﾙﾙｫ!?
も゙ぅ゙許さね゙ぇ゙から゙な゙ぁ゙？
(威嚇)

びょーき撒き散らすﾃﾛﾘﾝゎ
出禁だ!出禁だ!

>>576 追加
>伝統ある数学セミナー誌に
>ブラックなクソ記事書いた時枝さん
>その虚報に乗せられて、うごめく数学科のオチコボレ亡者たち
>まさに地獄図です
>この落とし前をどうするのかな？ｗ

スレ主です
時枝「箱入り無数目」不成立が分からないやつ
数学科を名乗らない方が良いな

はずいからな
バカにされるよ

「箱入り無数目成立？ アホか」ってね
確率論・確率過程論の単位とっていれば、「箱入り無数目」不成立は自明だから

>>564　>>566　loser１全く反論できず🤣🤣🤣🤣🤣🤣🤣

１は
�T）d1＜ｎとなるｎは無数にあるから確率１
�U）d2＜ｎとなるｎは無数にあるから確率１
とドヤる

しかし、�T）と�U）は実は独立事象ではない！
したがって、両立するかといえばしない
ｄ１＜ｄ２　かつ　ｄ２＜ｄ１　となることはない
列を３列以上に増やしても同様、どの２列をとっても
互いに相手のほうが大きいという関係は成立しない
つまり、１００列全てはもちろん、どんな２列も
「他の９９列より自列の決定番号が大きい」
という関係が並立することはなく、結局なりたつのは
１００列中１列である
そして、そのような１列を選ばない限り
「選んだ列の決定番号は、他の９９列の決定番号以下」
という性質を満たす

１の敗因は、１００列について独立でない事象を独立だと誤解した点にある

>>589
自明とかwww
理由は全く理解できないけど思い込みで間違ってると決めつけてます、の間違いだろ

何年かかっても思い込みを排除して論証出来ないなんて恥ずかしすぎだぞ

まともに不成立を論証しろよ

>>576
「箱入り無数目」は良記事
その根っこを、2021年7月号の
「囚人と帽子のパズル／もし囚人が無限にいたら」
で掘り下げている

これが答え
いまだに「箱入り無数目は間違ってる」とか喚いてる１は
クロネッカーなみに時代錯誤のクソ爺🤣🤣🤣🤣🤣🤣🤣

>>589
＞時枝「箱入り無数目」不成立が分からないやつ
＞数学科を名乗らない方が良いな
＞はずいからな　バカにされるよ
＞「箱入り無数目成立？ アホか」ってね
＞確率論・確率過程論の単位とっていれば、
＞「箱入り無数目」不成立は自明だから

・確率過程は全く無関係
　無限個の箱＝無限個の確率変数＝これは確率過程！
　と思う１は確率過程知らん素人
・確率論も実は無関係
　確率という言葉を用いた＝確率論！
　と思う１は数学知らん素人
・集合論の選択公理を知っていれば
　箱入り無数目の成立は明らかである
　ただ、今の数学科の学生がどの段階で
　選択公理について学ぶのかは分からん
　実は、そんな機会がないのかもしれん

ﾍﾓｯﾋﾟとのぉ約束だょｯｯｯ!?
（暴走）
ﾁﾞｬ､俺🍄採りにｲｯﾃくるｶﾗ。
|=3

１が以下の如く自己批判するならスレッド参加を認めてもよい
ただしスレ主復帰は永遠に認めない

例文
私が間違ってました
箱入り無数目が不成立となるには
代表がとれない、というしかないと
よくわかりました

１の政治板等、他板への亡命は許可する

さて、本日、2023年9月30日
１による”「箱入り無数目」不成立説”の不成立が確定し
１のスレ主の地位を剥奪した

今、暫定スレッド主は私がつとめているが、
この地位を本日を以て辞し、明日2023年10月1日以降
同志であるID:+fFdXRinに引き渡したい

ついてはID:+fFdXRinの意思を確認したい
引き受けていただけますか
なお、特にHNで名乗る必要はございません

タルスキ・グロタンディーク集合論
https://en.wikipedia.org/wiki/Tarski%E2%80%93Grothendieck_set_theory

>>592
>まともに不成立を論証しろよ

スレ主です
基礎学力を確認させてもらっていいかい？

１）大学レベルの確率論と確率過程論は？
　両方？ 片方だけ？ どちらも不可だったの？
２）もし、両方 or 片方の場合
　箱入り無数目の前段>>1は、大学レベルの確率論の射程内は理解できますか？
　Y or N

ここが肝心でね
大学レベルの確率論と確率過程論が分かっていれば良いが
両方ダメな奴（それはアスペの二人だが）とは、議論にならないのでね

超準解析
https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90

これなら選択公理と確率を無限次元で議論できそうな気がする

>>601
＞大学レベルの確率論と確率過程論は？
＞両方？ 片方だけ？ どちらも不可だったの？

そういう１は、大学の線形代数、履修した？
・（可だけど）単位取った、
・単位とれず中退（もしくか転部）した
・そもそも大学行ってない（入試に落ちた）

ついでにいうと某大学数学科の場合
確率論は３年の後期
確率過程論は４年もしくは大学院
これマメな
https://www.ms.u-tokyo.ac.jp/kyoumu/math_curriculum.html
https://www.ms.u-tokyo.ac.jp/kyoumu/ms_curriculum.html

ところで603の某大学ではそもそも数理論理学の講義がありません
集合については２年で教えてますが、これは基礎レベルです
まったく嘆かわしいことです　
私の出身大学では３年で講義がありますよ
ただ、何故か応用系になってますが
ま、確かに応用はできますけど、応用目的ではないんだがな・・・

>>601
＞大学レベルの確率論と確率過程論が分かっていれば良いが

　実はそんなの要らない
　大学２年レベルの集合論、特に選択公理が分かっていれば
　箱入り無数目は理解出来るはずですがね

＞両方ダメな奴（それはアスペの二人だが）とは、
＞議論にならないのでね

　回答者の視点でしか考えない１こそ
　アスペルガー症候群というにふさわしいが
　実際はアスペルガー以前に単に自分が使える幼稚な考えに固執してるだけ
　算数の成績が悪い児童によく見られる

１は確率論ガー、確率過程ガーというが、
実際はベイズの定理と独立性くらいしか知らない
要するに「算数」レベル

１が箱入り無数目を毛嫌いするのは
自分が理解した算数を否定していると思うからだろうが
実際は問題を誤解したが上の誤解でしかない

むしろ、フビニの定理が成り立たないような分布を持ち出して
「箱を開けた順番で計算するのが正しい」とわめくことこそ
積分論を理解しないど素人の野蛮な反数学テロ

>>576
>まさに地獄図です
反例を示せず負けが確定した気分が？

>>607

>>599の提案の回答をお願いします

別にシン・スレッド主の就任を無理強いするつもりはないですが
１の復活を阻止したいなら、引き受けたほうがよいかと

>>589
数学板で感情論に訴えてもナンセンス
おまえは反例を示せなかった
それがすべて

>>601
箱入り無数目は証明を読めないと分からない
おまえは学部レベルの学力が無いから証明を読めない
だから確率論の話に見えるだけ
実際は「100個中1個だから1/100」ってだけのことで確率論の話ではない

>>602
>超準解析
>https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90
>これなら選択公理と確率を無限次元で議論できそうな気がする

これは、もと弥勒菩薩こともと天皇陛下
スレ主です

超準解析か
なるほど

ちょっと面白いかも
しれませんね

超準解析入門
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H29-isono.pdf

>>612
>超準解析入門
>https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H29-isono.pdf

これは、もと弥勒菩薩こともと天皇陛下
スレ主です

それ見ました
勉強になります

ノンスタか

その資料は
分かり易いですね

>>611 追加
>>602
>超準解析
>https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90

下記の超準解析の R^N
こいつに、箱入り無数目を適用したら？ｗ
数列R^N中のある数riが、箱入り無数目で確率99/100で決まる？
それ、初耳だよ〜ん！ｗｗｗ

https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90
超準解析
基本的定義
本節では超実数体 *R の最も簡明な定義のひとつを概説する。
R を実数体、
N を自然数の成す半環とする。
R^N によって実数列の成す集合を表す。
体*R は R^Nの適当な商（後述）として定義される。

>>613 追加
>>612
>超準解析入門
>https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H29-isono.pdf

上記P21
（引用開始）
5 超積とフォンノイマン環
5.1 関数解析とフォンノイマン環無限次元ベクトル空間

いっそ複素数にして，C^nにしましょう
この考えをさらに推し進めて，数字が無限個並んだものであるC^∞を考えてみましょう．このようなものを無限次元ベクトル空間といいます

このようなものの研究は関数解析という名前がついています．
このような無限次元ベクトル空間で，「長さと角度」が上手く定まるものをヒルベルト空間といいます．
長さや角度というのは，R^2に対して内積やノルムを考えるのと同じようなものです．
(引用終り)

ここで
C^∞→C^Nと書き換えてみる
箱入り無数目は、R^Nだった
しかし、同じように数列のしっぽ同値類を、C^Nで考えることが出来るぞｗ

C^N で、箱入り無数目が成り立つと
関数解析で、至るところ確率99/100が出没する
それ、初耳だよ〜ん！ｗｗｗ

>>614
>数列R^N中のある数riが、箱入り無数目で確率99/100で決まる？
いいえ
決めるのは出題者
勝つ戦略は当てるだけ
バカですか？

>>615
>C^N で、箱入り無数目が成り立つと
成り立ちますけどなにか？

>関数解析で、至るところ確率99/100が出没する
日本語でお願いします

>>615
的外れな傍証を積み重ねても不成立の証明にはなりません
不成立を証明したいなら反例を示すべきでした
しかしあなたは示せませんでした
それがすべてです

>>611-615
1=ID:yf2/5xQn、とその相棒＝ID:blQwBA/m
超準解析にお花畑を見る（幻覚）

任意の(d1,d2,d3)∈N^3で
d2,d3<d1
d1,d3<d2
d1,d2<d3
の3つの命題が同時に成立することはない
しかもどの2つの命題を選んでも同時に成立することがない
したがって成立するのはたかだか1つでしかない

>>617
(引用開始)
>C^N で、箱入り無数目が成り立つと
成り立ちますけどなにか？
>関数解析で、至るところ確率99/100が出没する
日本語でお願いします
(引用終り)

１）複素解析 一致の定理（下記）で、ある領域D中の正則関数f(z)の値C^Nを考える
　f(z1),f(z2),・・・
　書き換えると
　f1,f2,・・・
　これを箱に入れる。箱入り無数目成立で、あるfiの値が他の関数値から確率99/100で的中できる！
２）確かに、一致の定理でありそうに思えるが、ちょっと待て
　一致の定理では、(z1,f1),(z2,f2),・・・という可算無限の組が必要だ。z1,z2,・・・の情報がないと、一致の定理が使えないんじゃないの？
　それでも、確率99/100で的中できる？ 箱入り無数目は、素晴らしい！ ；ｐ）
３）領域D中に、可算列f1,f2,・・・は至るところ取れる。列は可算無限個取れる。確率は1-εにできるらしい！ｗ
４）待て待て、複素関数fは正則とは限らない。連続あるいは、不連続でも良い。箱入り無数目は、素晴らしい！ ；ｐ）

んなわけないだろ

https://ja.wikipedia.org/wiki/%E4%B8%80%E8%87%B4%E3%81%AE%E5%AE%9A%E7%90%86
一致の定理（いっちのていり、英: Identity theorem）は、実解析と複素解析において、通常は可算点列上で局所的に一致する2つの解析関数が大域的に一致することを主張する定理である。重要な定理であり、解析接続の一意性の証明にはこの定理が必要となる
この定理には名は冠されていないが、1844年頃、リウヴィルが楕円関数に特殊な形で適用したのが最初であり、直後にコーシーが自分が開発した複素解析の中に取り入れて一般化したものである[1]
定理
(2) 連結開領域
D⊂C で正則な複素関数 f(z),g(z) が、D で集積点を持つ D の部分集合U上で一致すれば領域 D 全体で一致する。ここでUとして例えば開集合を取ることができる

>>621
>２）確かに、一致の定理でありそうに思えるが
まったく頓珍漢
関数値を決めるのは出題者
勝つ戦略は当てるだけ
勝つ戦略と一致の定理はなんの関係も無い
バカですか？

>>621
的外れな傍証を積み重ねても不成立の証明にはなりません
不成立を証明したいなら反例を示すべきでした
しかしあなたは示せませんでした
それがすべてです

>>621
[0,1)上の関数f,gについて、あるε∈[0,1)が存在して
[ε,1)上でfとgが等しければ同値、という同値関係を入れる

このとき任意のf1,…,f100∈[0,1)について、
f1〜f100から１つを選び、他の99個の関数について
上記の同値類の代表元をとって、元の関数との一致開始箇所
（これを決定点と呼ぶ）の最大値をΕとする

このとき選んだ関数fiの決定点εとΕを比較して
ε<=Εとなっている確率は少なくとも1-1/100である。

なお、fが複素解析関数なら、zを含まないある近傍で
fと一致する関数gが分かり、zまで解析延長できれば
f(z)が分かるけど、知らんかった？

>>624
レスありがと
スレ主です

>[0,1)上の関数f,gについて、あるε∈[0,1)が存在して
>[ε,1)上でfとgが等しければ同値、という同値関係を入れる
>このとき任意のf1,…,f100∈[0,1)について、
>f1〜f100から１つを選び、他の99個の関数について
>上記の同値類の代表元をとって、元の関数との一致開始箇所
>（これを決定点と呼ぶ）の最大値をΕとする

１）ε＝1-ε’に取り直す
”[0,1)上の関数f,gについて、ある正の実数ε’で1-ε’∈[0,1)が存在して
　[1-ε’,1)上でfとgが等しければ同値、という同値関係を入れる
　このとき任意のf1,…,f100∈[0,1)について、
　f1〜f100から１つを選び、他の99個の関数について
　上記の同値類の代表元をとって、元の関数との一致開始箇所
（これを決定点と呼ぶ）の最小値をΕとする”
２）このとき、点1のε’近傍での一致を考えていることになる
　あきらかに、ε’はいくらでも小さく取れる
　細かいランダムの定義は別として、”ランダムに”同値類の代表を選べば、Εの集合には最小値は存在しない
３）Εの集合には最小値は存在しないにも関わらず
　最小値Εを使った確率計算が、確率論としてはヘンだ
（解析や代数学ではかまわない。確率計算ではないから。確率計算では、確率測度の裏付けがいるよ）

数学板の公安員会への質問
問１　時枝記事に書いてあることしか分からない　y/n
問2　選択公理しか分からない、基礎論は分からない　y/n

数学板の公安員会への質問
問１　時枝記事に書いてあることしか分からない　y/n
問2　選択公理しか分からない、基礎論は分からない　y/n

数学板の公安員会への質問
問１　時枝記事に書いてあることしか分からない　y/n
問2　選択公理しか分からない、基礎論は分からない　y/n

>>625
>”ランダムに”同値類の代表を選べば、

同値類の代表は選択関数で決まる
その都度ランダムに選ぶのではない
ID:VkMdmELaは、代表の決定について、
なにか誤解してるのではないか？

>Εの集合には最小値は存在しない

「Eの集合」が何を指すのか不明
「有限個のε’」の中の最小値E'は必ず存在する

>Εの集合には最小値は存在しないにも関わらず
>最小値Εを使った確率計算が、確率論としてはヘンだ

「有限個のε’」のなかに最小値E'は存在する
そして、それを決定点とするfはたかだか１つである
このfを選ぶ確率は有限分の１である
確率論的に何もおかしなことはないが？

ID:eLPsl7D9氏への質問
１．数学科卒　y/n
２．１でyの場合、専攻を具体的に記して
３．１でnの場合、卒業学部、学科を具体的に記して（大卒でない場合もその旨明記）

なにがなんでも確率論的におかしいことにしたいセタ

数学板の公安委員会は厨二丸出し

数学板の公安委員会は厨二丸出し

数学板の公安委員会は厨二丸出し

>>632-634
わかりました…高卒ですね

サーバ移転で不調みたい

意志を数学に入れるとは高卒らしいｗｗｗ

数学板の公安員会の知識は選択公理と代数を齧っただけだな

数学板の公安員会の知識は選択公理と代数を齧っただけだな

数学板の公安員会の知識は選択公理と代数を齧っただけだな

>>638-640　高卒は選択公理も線形代数も齧れなかった、と

もう終わりだよこの５ちゃん
重すぎｨ!

もう終わりだよこの５ちゃん
重すぎｨ!

完

完

箱入り無数目の目の値を二値{0,1}にしても無限次元あることには変わりはない
目の数が無限大であることがポイント：{0,1}^Nの百個の直積

目じゃなく箱な　日本語覚えような　ニホンザル　ID:eLPsl7D9

ニホンザルの習性
・問題文だけ見て、直感で当たりっこないと脊髄反射し吠えまくる
・タイトルだけ出てくる言葉「目」を馬鹿の一つ覚えで使いまくる

可測空間と可測写像
https://arxiv.ハテナブログ.com/entry/2018/04/01/014110
ハテナブログはローマ字で

定義
(S,Α)、(T,Β)を可測空間とする。写像f:S->Tが可測とはf^(-1)(Β)⊂Αを満たすとき、fは可測という。
時枝記事の場合はS=R^Nの百個の直積、T=(R^N/〜)の百個の直積

相変わらず迷走してるね

>>649
ありがとうございます
スレ主です
これは、もと弥勒菩薩こともと天皇陛下ですね

>定義
>(S,Α)、(T,Β)を可測空間とする。写像f:S->Tが可測とはf^(-1)(Β)⊂Αを満たすとき、fは可測という。

同意です
関数（写像）の可測性ですね
関数（写像）の可測性が、保証されないと
確率測度が定義できない
それが、過去に私が確率論の専門家さんと呼んだ人の教えです
箱入り無数目の決定番号による確率計算には、確率測度の裏付けない！