箱入り無数目を語る部屋19
https://rio2016.5ch.net/test/read.cgi/math/1710616318/
前スレ 箱入り無数目を語る部屋18
https://imgur.com/a/8bqlb08
数学セミナー201511月号「箱入り無数目」
設定
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」 私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.
〜は R^N を類別するが,各類から代表を選び,代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す.
つまりsd,sd+1,sd+2,・・・を知ればsの類の代表r は決められる.
更に,何らかの事情によりdが知らされていなくても,あるD>=d についてsD+1, sD+2,sD+3,・・・
が知らされたとするならば,それだけの情報で既に r = r(s)は取り出せ, したがってd= d(s)も決まり,
結局sd (実はsd,sd+1,・・・,sD ごっそり)が決められることに注意しよう.
(補足)
sD+1, sD+2,sD+3,・・・:ここでD+1などは下付添え字 問題に戻り,閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが, とにかく第l列の箱たち,第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2,・・・,s^100を成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて, 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列〜第(k-1) 列,第(k+1)列〜第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て,代表の袋をさぐり, s^1〜s^(k-l),s^(k+l)〜s^100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける:s^k(D+l), s^k(D+2),s^k(D+3),・・・.いま
D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100,そして仮定が正しいばあい,上の注意によってs^k(d)が決められるのであった.
おさらいすると,仮定のもと, s^k(D+1),s^k(D+2),s^k(D+3),・・・を見て代表r=r(s^k) が取り出せるので
(代表)列r のD番目の実数rDを見て, 「第k列のD番目の箱に入った実数はs^k(D)=rDと賭ければ,めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(補足)
s^k(D+l), s^k(D+2),s^k(D+3),・・・, rD:ここで^kは上付き添え字、(D+l), Dなどは下付添え字 なお、某スレッド
https://rio2016.5ch.net/test/read.cgi/math/1710632805/
の自称「スレ主」ことマリグナント・ナルシシズムは
以下のように吠え続けている
「箱入り無数目は間違ってる
箱はみな独立なのだから
他の箱の中身をいくら見たって
箱の中身がわかるわけない
当てる確率は0!」
悪性自己愛
https://ja.wikipedia.org/wiki/%E6%82%AA%E6%80%A7%E8%87%AA%E5%B7%B1%E6%84%9B
悪性自己愛(あくせいじこあい、英: Malignant narcissism)とは、
ナルシシズム、反社会性パーソナリティ障害、攻撃性、サディズム
の極端な混合から成る一つの心理学的症候群である。
多くの場合は誇大性を示し、常に敵意の程度を上昇させる用意がある。
悪性自己愛者は関わる組織を損ない、関係する人々の人間性を奪いもする。
仮説上の病理現象として、悪性自己愛は自己愛性パーソナリティ障害はもちろん、
パラノイアの側面をも包含しうる。 任意に列 s∈R^N をとる
s をその尻尾同値類の代表列 r(s) と比較した場合
s[n]=r(s)[n]でない n はたかだか有限個である
d(s)を、それ以上のnでみなs[n]=r(s)[n]となる n の最小値とする
(このような数は必ず存在する)
そして集合S={s1,…,s100}に対して、siを除いた集合をS_x(si)とし
集合Sの各列s∈Sのd(s)の最大値をd_max(S)とすると
d(si)<=d_max(S_x(si)) が成立しないsiは、100列中たかだか1つである https://rio2016.5ch.net/test/read.cgi/math/1710616318/833
0833132人目の素数さん 2024/03/28(木) 00:26:55.13ID:ltyF/58/
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = idY
>なんてよくある定理を見て、X=∅でY={1}のときにそんな全射はないから不成立とか言い出すの?
X、Yは、任意の空でない集合とすべきだったね
さて、XをR^N、YをR^N/〜(〜は尻尾同値関係)
f:X→Yを無限列から自身が属する尻尾同値類への写像とする
もちろん、fは全射である(そして単射ではない)
そしてg:Y→Xが存在して、f o g = idY となる
gは、尻尾同値類からその代表への写像である
そして g o fは、無限列から自身が属する尻尾同値類の代表への写像である https://rio2016.5ch.net/test/read.cgi/math/1710632805/32-33
32 2024/03/28(木) 09:59:10.37 ID:mfAFv7ob
>”箱一つ、サイコロ一つの目を入れる。確率変数Xで扱う”
>これを決着させよね。それが先決だよ
33 2024/03/28(木) 10:23:30.21 ID:p82w91aI
>決着してるよ
>確率変数にしたらどんな矛盾が生じるか書いたのに理解できんかかったんか? 箱が無限個
そのうち、尻尾同値類の代表と中身が一致しない箱は有限個 他は一致
さて、この状況で、尻尾同値類の代表と中身が一致する箱を回答者が選ぶ確率は? 関数f:[0,1]→Rと、その中の可算相違同値類を考える
(可算個の点でのみ相違する場合、同値とするのが可算相違同値)
[0,1]内の可算集合は、測度0
さて、任意にx∈[0,1]を選んだとき f(x)₌r(f)(x)となる確率は?
(r(f)は、fの可算相違同値類の代表) https://rio2016.5ch.net/test/read.cgi/math/1710632805/56
>0056132人目の素数さん
>2024/03/28(木) 20:55:11.57ID:870qUCcg
>彼は確率論をまともに学んできてないので、
>先頭に(Ω,F,P)を勝手な確率空間とするっていう
>枕詞をおく作法が分かってないんだよね
勝手? 何言ってるかわからんな 数学板での箱入り無数目に関する論争?は
Ωを(S^N)^100とするか{1,…,100}とするか
の争いだと思うが
(注:RでなくSとしたのは、Sが2以上の要素をもつどんな集合でも構わないため)
後者の場合、定数(s1,…,s100)∈(S^N)^100に対して、
i∈{1,…,100}を選べば、si(d_max(S_x(i)))を選ぶことになる
S_x(i)は{s1,…,s100}からsiを除いた集合
d_maxは列集合の各要素列の決定番号の最大値をとる集合 さて任意のs∈S^Nに対して、その尻尾同値類の代表列r(s)が求まる
各項を比較して、等しければ0、異なっていれば1とすることで、
s∈S^Nから{0,1}^Nへの写像diffが構成できる
diff(s)は、{0,1}^Nの中で、1の項が有限個のものとなるので、
これを自然数の2進表現とみなすと
S^NからNへの写像diff_nが構成できる ところで集合Ωを(S^N)^100と決めたところで、
その上のσ集合代数Fの与え方次第で
箱入り無数目の答えは変わってしまう
これは2つの封筒でΩを封筒の金額とした場合とまったく同じである 2つの封筒で、金額が5000円と10000円の二つしかないなら
10000円の封筒を見て、いくら交換したところで必ず5000円損するだけである
箱入り無数目も、決定番号が単独最大でない列を選べば
何回やってみたところで、箱の中身は代表元と一致してしまう
中身が毎回変わるわけではないからである
これが問題の数学的価値を失わしめるほど易しい解釈だというのは確かだが
だからといって「数学的に間違ってる」と謗ることはできない https://rio2016.5ch.net/test/read.cgi/math/1710632805/93
>任意の確率空間(Ω,F,P)と1,...,6の値を一様に取る任意の確率変数Xについて
>P(X=1)=P(X∈{1})=P^X({1})=1/6
任意の確率空間(Ω,F,P)に対して
1,...,6の値を一様に取る確率変数X
が存在するっけ? 例えばΩ₌{0,1}としたとき、
{ω∈Ω|x(ω)₌i}(iは1から6まで)の測度が
すべて1/6になるようなXって存在するっけ? Ω₌{1,…,100}として
X(ω)
₌1 (d(sω)<₌d_max(S_x(sω)) のとき)
₌0 (d(sω)> d_max(S_x(sω)) のとき)
とすると、X(ω)₌0となるωはたかだか1個
それぞれの{ω}の測度が1/100なら
X(ω)₌1となる確率はP(X(ω)₌1)は少なくとも99/100
完全に確率論の中で定式化できちゃいましたが何か? 逆にΩ₌(S^N)^100、ω₌(ω1,…,ω100)∈(S^N)^100として
X(ω)
₌1 (d(ω100)<₌d_max(S_x(ω100)) のとき)
₌0 (d(ω100)> d_max(S_x(ω100)) のとき)
とすると、X(ω)₌0となるω全体の測度は(非可測により)求まらない
X(ω)₌1となる確率P(X(ω)₌1)も同様に求まらない
つまり別の問題 >>18
(参考)
https://ocw.tsukuba.ac.jp/course/math/probability/p-1/ (このページの下段 講義ノート(729.03 KB))
確率論(2014年度版)稲垣敏之 3B413(シス情研究科長室)筑波大
目次
Chapter1 確率
1.1 確率の定義について
Chapter2 確率変数と分布関数
2.1 例題
2.2 確率変数
P2
どのようにして「確率」を定義するかについては,いくつかの流儀がある
本節では,それらのうち,「数学的確率」と「統計的確率」について考えてみよう
(1)数学的確率 ある試行において,同程度の確からしさで起こることが期待される場合の数をN ,そのうち,あることがらAが起こる場合の数をrとするとき,r/N を「Aが起こる確率」という
【前提】1.Nは有限確定
2.試行の結果として起こり得る各場合は,「同程度の確からしさ」を持つ
(例1)「正しく作られたサイコロ」を振ったときに「1の目が出る確率は1/6」である
(例3)成田からフランクフルトへ向かう直行便に乗ることになった
航空機がハイジャックされることを恐れる人にとっては,自分が乗る便がハイジャック「される」,「されない」の2通りの場合がある
だからといって,「これから乗るフランクフルト行き直行便がハイジャックされる確率は1/2である」といってよいだろうか?
(引用終り)
・ぼく小学生かな? 『自分が乗る便がハイジャック「される」,「されない」の2通り』
「これから乗るフランクフルト行き直行便がハイジャックされる確率は1/2である」
・小学生なのに、難しいことを考えているんだね
えらいね、小学生なのに >>20
>ぼく小学生かな?
大学卒ですが何か?
君は中学卒かな?
>これから乗るフランクフルト行き直行便
すでに出題された問題ですが何か? マリグナントは「Ωは数列空間!」という決めつけに固執し
小利口君は任意のΩで成立とかいうトンデモ妄想にトリップ
御愁傷様 >>18 これに尽きてるね 理解できないマリグナントは🐎🦌
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
Ω₌{1,…,100}として
X(ω)
₌1 (d(sω)<₌d_max(S_x(sω)) のとき)
₌0 (d(sω)> d_max(S_x(sω)) のとき)
とすると、X(ω)₌0となるωはたかだか1個
それぞれの{ω}の測度が1/100なら
X(ω)₌1となる確率はP(X(ω)₌1)は少なくとも99/100 小利口の馬鹿述語論理に付き合うと馬鹿になる
∀x.P(x)⇒Q(x)は、∀x.¬P(x)なら常に正しい >1,...,6の値を一様に取る確率変数X:{0,1}→{1,...,6}
存在しませんね
そもそも{0,1}から{1,...,6}への全射が存在しない 向こうのスレッドはタイトルとは無関係の痴話喧嘩になりはてた Ω₌{1,…,100}、ω∈Ωとして
X(ω)
₌1 (d(sω)<₌d_max(S_x(sω)) のとき)
₌0 (d(sω)> d_max(S_x(sω)) のとき)
とすると、X(ω)₌0となるωはたかだか1個
それぞれの{ω}の測度が1/100なら
X(ω)₌1となる確率はP(X(ω)₌1)は少なくとも99/100 起こるべき事象は
i列を選ぶ (i=1~100)
であって
選んだ箱の中身がxである (x∈R)
ではないことに注意 Ω={0,1}の場合、X:Ω→Rで
X(0)=α、X(1)=β とした場合
{0}の測度がpなら P(X=α)=pで
{1}の測度が自動的に1-pになるので、P(X=β)=1-pで
γがα,β以外なら、P(X=γ)=0
マリグナントはこんな基本的なことすら理解できずに間違う
テンプレに大々的に載せるしかないなこりゃ Ωが有限集合の場合、測度としては
各要素の単集合に0<=p_n<=1の値をつけて
その和が1になるようにするだけのこと 「見えないものは確率変数」というカルト宗教にはまると
2つの封筒問題で確実に
「封筒を交換すれば必ず儲かる!」
と絶叫する発狂状態に陥る
もちろん上記は誤っている
なぜなら2つの封筒で異なる封筒を選んだ2人の人物が
2人とも交換して儲かることなど決してないのだから
かならず1人が得し、1人が損する
しかしこのことは「見えないものは確率変数」狂には決して証明できない! 「箱入り無数目」でも「見えないものは確率変数」狂は間違った結論に飛びつく
例えば、選んだ列の決定番号は、他の列よりも必ず大きくなる、とか
100人がそれぞれ異なる100列を選んで100人とも同じことをいう
しかし、実際にそうなるのはたかだか1人しかいない!
この瞬間、正常な精神と知性を有する人なら
「見えないものは確率変数」という前提のおかしさに気づく
しかし、彼らは誰一人気づかない
正常な精神と知性を有していないから 「見えないものは確率変数」狂は
アスペルガー的な独我論者である
2つの封筒で、もう一つの封筒を選んだ他者の視点に決して立てない
箱入り無数目で、他の99列を選んだ他者の視点に決して立てない
ただ自分の立場だけに固執しつづける
だから自分の前提の誤りに決して気づきえない
これが異常性の根源である 「見えないものは確率変数」の恐ろしいところは
ラプラスがいうところの等確率の原理を
数学的な正当化ができない状況でも
前提しようとすることにある
そのような場合には、実にしばしばトンチンカンなことがおきる
2つの封筒の金額の一様性然り
箱入り無数目の箱の中身の一様性また然り 「箱入り無数目」では箱の中身の分布なんて全く考えてない
100列のうち、d(si)>d_max(S_x(si)) となる列がたかだか1列
だから、その列を選ばなければ、d(si)<=d_max(S_x(si))なのだから
si[d_max(S_x(si))]=r(si)[d_max(S_x(si))]となり、当てられる
というだけの実に単純な話である
任意の列Xについて
X[n]=r(X)[n]
となる確率を求めるものではない 確率変数D:R^N→N に対して
確率変数D_n:(R^N)^n→Nを、Max(D(s1),…,D(sn))と定義したとき
D>D_nとなる確率が1/(n+1)となるか
Dが可測であればそうなる
Dが可測でないならもちろんそんな計算はできない
しかしその場合そもそもそんなDを考えること自体意味がない
つまりそんな定式化をすること自体「間違っている」
時枝正の「箱入り無数目」の後半で「非可測だから無意味」と言ってるのはそういう意味
時枝正は記事の前半の計算から、箱の中身を確率変数としても同様の結果が成立すると
正当化できる理屈があるのではないかと考えているようだが、もちろん今のところは
そんな理屈は見つかっていない 正当化したくなる心情は大いに理解するとしても、だ >Ω={0}で、(Ω,F,P)が確率空間で、Xが1,...,6を一様に取る確率変数とすると
そんなXはない
{0}から1,…,6のどれかに写像する
仮に1とする
そのとき、P(X=1)=1で、P(X≠1)=0 Ω={1,…,100}で、(Ω,F,P)が確率空間で、
XがR^Nに値をとる確率変数とする(Ω→R^N)
このとき、d:R^N→Nという関数と合成すれば
D=d○XというNに値をとる確率変数もできる(Ω→N)
このとき、P(D(i)>D(j)) (j≠i) はたかだか1/100である >>38
>Ω={1,…,100}で、(Ω,F,P)が確率空間で、
>XがR^Nに値をとる確率変数とする(Ω→R^N)
>このとき、d:R^N→Nという関数と合成すれば
>D=d○XというNに値をとる確率変数もできる(Ω→N)
>このとき、P(D(i)>D(j)) (j≠i) はたかだか1/100である
・確率変数の理解がおかしくないか?
・例えば、下記 古屋茂 「確率変数」の説明にあるように
確率変数Xは、離散型なら総和、連続型なら積分して、全体が1になるよ
”XがR^Nに値をとる確率変数とする(Ω→R^N)”は、離散型かね? それとも連続型?
総和や積分で、全体が1になるか?
・何を言わんとしているか 意味不明! ;p)
(参考)
https://kotobank.jp/word/%E7%A2%BA%E7%8E%87%E5%A4%89%E6%95%B0-43864
コトバンク
確率変数
日本大百科全書(ニッポニカ) 「確率変数」の意味・わかりやすい解説
[古屋 茂]
いろいろの値をとりうる変数Xがあって、それぞれの値をとる確率が決まっているときXを確率変数という。たとえば、さいころを投げたとき出る目の数をXと置けば、Xは1から6までの整数のどれかであり、どの値をとる確率も1/6であるからXは確率変数である。また宝くじを買ったとき、当せん金額をXとするとXは確率変数である。はずれた場合はXは0であり、当せんした場合は等級によってXの値は決まり、しかも、各場合の確率は決まっているからである。
確率変数Xのとりうる値がx1、x2、……であって、Xがxiである確率をpiとすればp1+p2+……=1である。このような確率変数を離散型という。これに対して、ある区間I(無限区間でもよい)のどの値もとりうるような確率変数を連続型という。詳しくいえば、区間Iで連続な関数f(x)が
f(x)≧0,∫I f(x)dx=1
を満たし、Iに含まれる任意の区間Jに対して、Xの値がJに属する確率が
∫I f(x)dx
で与えられるとき、Xを連続型の確率変数というのである。測度論的確率論では離散型および連続型を含む一般的な形で確率変数が定義される。この場合、確率変数Xは変数というよりむしろ関数というべきものである。すなわち、確率測度が与えられている標本空間で定義された可測関数のことを確率変数というのである。 >>39
>確率変数の理解がおかしくないか?
>”XがR^Nに値をとる確率変数とする(Ω→R^N)”は、離散型かね? それとも連続型?
Ω=={1,…,100}だから離散型だが?
>総和や積分で、全体が1になるか?
Xの像でない要素は確率0
Xの像である要素では、逆像の元の個数がnならn/100
足し合わせれば当然1になる
こんな簡単なことも自力で検証できないマリグナント君は
確率変数の理解が全くできていないのではないかね? ・それで済むなら、Ω→R^Nって不要
というか、Ω→R^Nが意味不明
・最初から、X={x1=1,x2=2,・・,x100=100}
P(xi) = 1/100 | i=1〜100
としておけば、それで終わっている >>41
>Ω→R^Nが意味不明
確率変数
https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E5%A4%89%E6%95%B0
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
確率変数 Ω→Eは、標本空間(起こりうることがらの集まり)Ω の元に数 E を対応させる可測関数である
(Ω, E はそれぞれ可測空間)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー >>42
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
確率空間 (Ω,F,P)が与えられたとき、
確率変数とは、標本 ω∈Ωに割り当てた値をとる変数のことである。
値にはその名の通り R や Z の他、ベクトル値 R^d を割り当てることもある。
「値」として、一般的には可測空間 (E,ε)とする。
確率変数とは (F,ε)-可測関数 である。
つまり、値 B∈ε の原像 X^{-1}(B)={ω :X(ω)∈ B}} が F の元であることを意味している。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 再録
(参考)
https://kotobank.jp/word/%E7%A2%BA%E7%8E%87%E5%A4%89%E6%95%B0-43864
コトバンク
確率変数
日本大百科全書(ニッポニカ) 「確率変数」の意味・わかりやすい解説
[古屋 茂]
いろいろの値をとりうる変数Xがあって、それぞれの値をとる確率が決まっているときXを確率変数という。たとえば、さいころを投げたとき出る目の数をXと置けば、Xは1から6までの整数のどれかであり、どの値をとる確率も1/6であるからXは確率変数である。また宝くじを買ったとき、当せん金額をXとするとXは確率変数である。はずれた場合はXは0であり、当せんした場合は等級によってXの値は決まり、しかも、各場合の確率は決まっているからである。
確率変数Xのとりうる値がx1、x2、……であって、Xがxiである確率をpiとすればp1+p2+……=1である。このような確率変数を離散型という。これに対して、ある区間I(無限区間でもよい)のどの値もとりうるような確率変数を連続型という。詳しくいえば、区間Iで連続な関数f(x)が
f(x)≧0,∫I f(x)dx=1
を満たし、Iに含まれる任意の区間Jに対して、Xの値がJに属する確率が
∫I f(x)dx
で与えられるとき、Xを連続型の確率変数というのである。測度論的確率論では離散型および連続型を含む一般的な形で確率変数が定義される。この場合、確率変数Xは変数というよりむしろ関数というべきものである。すなわち、確率測度が与えられている標本空間で定義された可測関数のことを確率変数というのである。 >>43
>確率変数とは、標本 ω∈Ωに割り当てた値をとる変数のことである。
>値にはその名の通り R や Z の他、ベクトル値 R^d を割り当てることもある。
>「値」として、一般的には可測空間 (E,ε)とする。
>確率変数とは (F,ε)-可測関数 である。
・ベクトル値 R^d つまり、d次元ユークリッド空間ならば 1次元R^1の延長で測度が入ります
・ところが、無限次元ユークリッド空間ならば 1次元R^1の単純な延長では、測度が入りません
例えば、一辺aの立方体の体積は、a^3ですが
無限次元a^∞ だと、a>1 a^∞→∞、1>a>0 a^∞→0となります
なので、無限次元ユークリッド空間でなく、測度が入るヒルベルト空間などに限って扱うのが普通です
(参考)
https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E7%A9%BA%E9%96%93
ヒルベルト空間
ヒルベルト空間(ヒルベルトくうかん、英: Hilbert space)は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。
ヒルベルト空間は、典型的には無限次元の関数空間として、数学、物理学、工学などの各所に自然に現れる。
古典的なユークリッド空間はさておき、ヒルベルト空間の例としては、自乗可積分関数の空間 L2、
自乗総和可能数列の空間 ℓ^2、
超関数からなるソボレフ空間 H^s、
正則関数の成すハーディ空間 H^2 などが挙げられる。
例
ルベーグ空間
詳細は「ルベーグ空間」を参照
ルベーグ空間は測度空間 (X, M, μ) (X は集合で、M は X の部分集合からなる完全加法族、μ は M 上の完全加法的測度)に付随する関数空間である。
L^2(X, μ) を、X 上の複素数値可測関数で、その絶対値の平方のルベーグ積分が有限となるようなもの全体の成す空間とする。 >>44-45
そもそも、ΩからR^Nへの関数Xは出題として出される
このとき、Xの値域は、R^N全体ではなく、
その中のたかだか100個の要素からなる有限集合であるから
R^N全体におけるσ代数を考える必要はなく
その中の有限集合におけるσ代数を考えればいい
決定番号Dの場合も同様にその値域はN全体ではなく
その中のたかだか100個の要素からなる有限集合であるから
N全体におけるσ代数を考える必要はなく
その中の有限集合におけるσ代数を考えればいい
Ωをむやみに大きくする必要がない これが重要 ところで、もし箱が[0,1]上の点で番号付けられているならば
Ωを[0,1]として、X:[0,1]→Rとすればいい
そして、Xとその可算相違同値類の代表r(X)が
一致する[0,1]上での点での値を1とし
一致しない[0,1]上での点での値を0とする
新たな確率変数DIFFを考えれば
P(DIFF=1)=1である
なぜならDIFF=0となる[0,1]上の点は可算個しかなく
[0,1]上での測度は0だからである >>46
>そもそも、ΩからR^Nへの関数Xは出題として出される
>このとき、Xの値域は、R^N全体ではなく、
>その中のたかだか100個の要素からなる有限集合であるから
>R^N全体におけるσ代数を考える必要はなく
>その中の有限集合におけるσ代数を考えればいい
>決定番号Dの場合も同様にその値域はN全体ではなく
>その中のたかだか100個の要素からなる有限集合であるから
>N全体におけるσ代数を考える必要はなく
>その中の有限集合におけるσ代数を考えればいい
>Ωをむやみに大きくする必要がない これが重要
ゴマカシだね
1)箱1個、サイコロの目を入れる Ω={1,2,3,4,5,6}(=Sとおく)
2)箱n個、サイコロの目を入れる Ω=S^n
3)箱N*個、サイコロの目を入れる Ω=S^N
注)*Nは自然数の集合で可算無限の意味
4)サイコロの目 S={1,2,3,4,5,6}を実数全体 R={r∈ℝ} (記号濫用でℝとRを同じ記号でも良いが、使い分けておく)
サイコロの目 Ω=S^Nが 100個の要素からなる有限集合にならないと同様の理由で、
R^Nは100個の要素からなる有限集合にならない!
(参考)
https://rio2016.5ch.net/test/read.cgi/math/1710632805/
(参考)時枝記事
https://imgur.com/a/8bqlb08
数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.net/test/read.cgi/math/1620904362/401-406
純粋・応用数学(含むガロア理論)8 より
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
2.続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.
〜は R^N を類別するが,各類から代表を選び,代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す.
(補足)
sD+1, sD+2,sD+3,・・・:ここでD+1などは下付添え字 https://rio2016.5ch.net/test/read.cgi/math/1710632805/477
>we assume (Ω,F,P) is some probability space …の(Ω,F,P)は
>最終的に証明したい定理をフルで論理式で書くと、
>もちろん∀で量化される
任意の確率空間で成り立つことだけで
個別の問題が語りきれると思うターンエーって
底抜けの🐎🦌だと思うが >>48
>ゴマカシだね
トンデモだね
>箱1個、サイコロの目を入れる Ω={1,2,3,4,5,6}(=Sとおく)
>箱n個、サイコロの目を入れる Ω=S^n
>箱N*個、サイコロの目を入れる Ω=S^N 注)*Nは自然数の集合で可算無限の意味
箱入り無数目の「サイコロ」は箱の中にはない
回答者がどの列を選ぶか決めるサイコロ1つ
Ω={1,…,100}
>サイコロの目 を実数全体 R
>サイコロの目 Ω=S^Nが 100個の要素からなる有限集合にならないと同様の理由で、
>R^Nは100個の要素からなる有限集合にならない!
Ω={1,…,100}
出題をX:Ω→R^Nとする
Xの像Im(X)はR^Nの部分集合で有限集合
(しかもその要素数はたかだか100個!) ターンエーが何をいいたいのかわからんが
仮に「任意の確率空間で成り立つ命題」として
箱入り無数目の確率を示せというならアタマ最悪
数学のスの字もわからん高卒ド素人の典型的🐎🦌発言 https://rio2016.5ch.net/test/read.cgi/math/1710632805/490
>(∃x.P)⇒Qと∀x.P⇒Qはほぼ同値
∀x.P⇒Qと∃x.PからQがいえる、といいたいらしい
そのことは正しい
しかし、Qを示したいのに∀x.P⇒Qだけ示しても意味ない
ましてや∀x.P⇒⊥(すなわち¬∃x.P)から、∀x.P⇒Qを示した場合
∃x.Pが成り立たないのだから無意味
こんな初歩からわからんターンエーは
やっぱり論理ド素人