探検


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

862132人目の素数さん
垢版 |
2026/09/20(日) 12:16:02.89ID:W6sOZSLm
こうかな?
Δ:X^2→N^2→Z
を決定番号dの差を対応させる写像とし
A={(x,y)∈X^2::Δ(x,y)>0}
とする
これがX^2の可測集合だとすると
Ay={x∈X::Δ(x,y)>0}
はどれもXで可測だけど特定のyについて
Δ(x,y)=d(x)-d(y)>0
とは
d(x)>d(y)(定数)
であることなのでnが確率変数では無いことから
どのAyも非可測
よってAも非可測ということか
863132人目の素数さん
垢版 |
2026/09/20(日) 13:30:22.23ID:W6sOZSLm
>>862
>これがX^2の可測集合だとすると
>Ay={x∈X::Δ(x,y)>0}
>はどれもXで可測だけど特定のyについて
A⊂X^2={(x,y)::x,y∈X}
に対してy切片を
Ay={x∈X::(x,y)∈A}
とし
S={A⊂X^2::∀y∈X:Ay:Xの可測集合}
とするとこれは完全加法族
それは切片(を取る操作)が和積補集合と可換だから
可測なI,J⊂XについてI×J∈Sなので
Sの完全加法性により
I×Jで生成される完全加法族すなわちX^2の可測集合をすべて含む
よって
X^2の可測集合のy切片は全てXで可測
2026/09/20(日) 15:12:00.66ID:ZHwOKVWx
>>857
(引用開始)
よって
決定番号を与える写像は非可測
よって
Xから独立な2つの実数(すなわち2^N\Fの元)を取っても
それらに定義される決定番号m,nについて
この確率空間ではP(m>n)は定義されない
しかし
{m.n}からランダムに数xを選びyを残った方とすると
P(x>y)

m=nのとき0でm≠nのとき1/2
(引用終り)

ID:W6sOZSLm は、(ですね)人か (>>854より (イメージだけで何とかなると思っているようです) )
ご苦労さまです(^^
結構細かい議論が得意なんだね

さて
君に送る (下記)「着眼大局、着手小局」
御大のごとく囲碁7段ともなると いわずもがな
有段者になれば、常に心がけるべきことだ
自分なりの大局観を持つべし(低段者は低段者なりのね。それが、上達のこつ。数学も同じ)

さて、上記での現代数学確率論での無定義用語”ランダム”の問題を 取り上げるよ
下記 Vitali setを [0, 1]に集めた集合から、”ランダム”に x,yを取る(簡便にx≠yを仮定する)
x<y 又は x>y のどちらかだ。ゆえに 確率 P(x<y) =1/2は、正しいか? 正しくないと思う数学徒が殆どだろう

この説明の対比として、[0, 1]の一様分布の任意実数を考えよう x,y ∈[0, 1]として
あとは 同様で 確率 P(x<y) =1/2は、正しい(∵ 簡便に 正方形[0, 1]x[0, 1] で 点(x,y) の分布を考えると
x<y の占める面積は 正方形[0, 1]x[0, 1]で 対角線 x=y より上半分で 1/2)■

この議論は、可測だから可だが Vitali setではどうか?
同じように 正方形[0, 1]x[0, 1]中の 点(x,y) x,y ∈Vitali[0, 1] とすると
当然 正方形[0, 1]x[0, 1]中の面積は 非可測で 測度論に乗らないから まずい

さて、話は変るが x,y ∈Vitali[0, 1]で、具体的な数 例えば x=π-3 ≒0.14・・とy=π^2-9≒0.95・・と
で x<y 成立だ。この二つをシャッフルして a,b とする P(a<b) =1/2は正しい!

もし、Vitali setを経由したから ”お手付き”とか 時枝さん みたいな言説は あきらかに変
つまり 集合としての Vitali非可測と、 Vitaliから有限個を取り出したときの 大小とは 議論を分けるべし!

これぞ、着眼大局なり(“big picture”Terence Tao とも )

つづく
865132人目の素数さん
垢版 |
2026/09/20(日) 15:12:38.86ID:ZHwOKVWx
つづき

(参考)
https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88
ヴィタリ集合(英: Vitali set)
R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる

<“big picture”>
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao

https://www.nishiwaki.or.jp/kens/cat1/index22.html
西脇病院院長西脇健三郎 長崎県
https://www.nishiwaki.or.jp/kens/0908/2009082041.html
Ken’s Lounge エッセイ 「着眼大局、着手小局」2009年8月20日木
(抜粋)
この「着眼大局、着手小局」は、太平洋戦争開戦時参謀本部に所属、終戦後はシベリヤに抑留され、帰国した後に伊藤忠商事の会長に就いた瀬島龍三の座右の銘であったと聞いている。

まぁ〜兎に角、私はこの言葉が好きである。常に日々の生活の中で心がけている。日常の些事を、出来ることであれば、手掛け、処理していきながら、地域社会、世界の将来を見据えることは大切なことではないだろうか。
(引用終り)
以上
866132人目の素数さん
垢版 |
2026/09/20(日) 16:14:39.81ID:W6sOZSLm
(全く理解できないみたいですね)
867132人目の素数さん
垢版 |
2026/09/20(日) 16:16:41.38ID:W6sOZSLm
テンプレです
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は?
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ
自然数nをAが選ぶ
選び方はAの自由
Aは2枚のカードにnとn+1を書いて箱に入れる
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
偶数を引いた方が勝ち
さてA,Bの勝つ確率は?
868132人目の素数さん
垢版 |
2026/09/20(日) 16:20:24.68ID:W6sOZSLm
>>855
>Xn=X0+Dn
mod 1
869132人目の素数さん
垢版 |
2026/09/20(日) 16:21:52.54ID:W6sOZSLm
(彼の人は何も理解する気が無いのです)
2026/09/20(日) 16:22:59.76ID:brqWeblN
>>865
>「着眼大局、着手小局」
>私はこの言葉が好きである。

うん、デカいことばっかりいうけど
円分方程式の根を根号をつかって表せる?
と聞くと全然できないっていう人が
好みそうな言葉ではある
871132人目の素数さん
垢版 |
2026/09/20(日) 16:25:28.71ID:W6sOZSLm
>決定番号を与える写像は非可測
>よって
>Xから独立な2つの実数(すなわち2^N\Fの元)を取っても
>それらに定義される決定番号m,nについて
>この確率空間ではP(m>n)は定義されない
ここまでの話と
>しかし
>{m.n}からランダムに数xを選びyを残った方とすると
>P(x>y)
>は
>m=nのとき0でm≠nのとき1/2
ここは別の確率空間の話なのにね
872132人目の素数さん
垢版 |
2026/09/20(日) 16:35:16.09ID:NSZaZtFQ
>「着眼大局、着手小局」
到達不能性の定義を理解できず「どうがんばっても到達できないんだああああああ」と連想ゲームで済ませる人が好きな言葉だそうです
2026/09/20(日) 16:36:23.90ID:brqWeblN
>>852
>ふっふ、ほっほ
>2列が対称であることと、
>無限列の正規サイコロの目の的中が
>確率論通り どれも1/6となることとは
>両立する
(中略)
>普通に考えて
>n2の可能性は 1〜∞まであるから
>n2は 想定される有限のn1∈N より
>つねに大きくなる
>即ち 具体的なn2を見たら
>「あら もう明けちゃったよ そこ!」になる

ふっふ、ほっほ

高卒🐒は
中略の後の発言が
中略の前の「2列が対称」を
完全否定してることに気づかない🤣

>一見矛盾の理由は、
>決定番号n1,n2はあくまで存在のみの保証の具体性のない数だから
>「どちらが大きい」という問いは 事前には決まらないという事実から従う

選択関数が存在するならば、決定番号は具体的に決まる
つまり事前に決まる

2列のそれぞれを選んで、それぞれ決定番号が相手より大きい、ということはない
そして一方の確率が大きければ、他方の確率が小さくなるから、対称でなくなる

2人がそれぞれ異なる選択関数を用いるのは
問題設定を誤解しているので却下

2人は同じ選択関数を用いる
したがって対称だと認めるならば
外れる確率は1/2以下にならざるを得ない
874132人目の素数さん
垢版 |
2026/09/20(日) 16:47:12.95ID:W6sOZSLm
>>872
ですね
レスを投稿する


ニューススポーツなんでも実況