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

つづく

自動投稿だろ、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は可測という。

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

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　>記述的集合論は、不勉強で初耳ですが、

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