23/07/21 16:19:12.87 L/LQf6Gh.net
>>591
>「箱入り無数目」の決定番号を潰す話を、あとで書こうと思う
スレ主です
＜「箱入り無数目」の決定番号を潰す話＞
１）決定番号については、下記をご参照
ｽﾚﾘﾝｸ(math板:30番)
２）記号を整備しよう
有限長さnの数列：sn = (s1，s2，s3 ，・・，sn)
可算有限長さの数列：sN = (s1，s2，s3 ，・・・)
可算有限長さ一点コンパクト化の数列：sN+ = (s1，s2，s3 ，・・・，sω)
３）集合の包含記号を濫用して
sn ⊂ sN ⊂ sN+ とできることは見やすい
（勿論、sn-1 ⊂ sn も成り立つ）
４）いま、snの極限を考えよう。nが下記のリーマン球面で、北極点に到達するとして
lim n→ω sn＝sN+ となる
可算有限長さの数列 sN = (s1，s2，s3 ，・・・)は、一点コンパクト化の数列 sN+からsωを除いたものになる
５）「確率測度は？」（そら耳かも知れないが、ゼミの先生が言ったような気がしたｗ）
いま、箱 s1，s2，s3 ，・・・，sωたちは、確率論の意味で独立と仮定する
（独立の定義は、一般の確率論の本の通り。また、いまの議論では独立の場合を扱えば十分）
独立の仮定より 確率測度は 1次元空間 si∈R i∈{1，2，3 ，・・・，sω}=N∪ω
を考えれば良いことになる
いま、確率測度を考えるために、簡単に区間[0,1]に限定して考える
（R全体を考えるのは、確率測度としては発散が入り、不都合）
（なお、区間[0,1]の実数→コイントスなら{0.1}、サイコロなら{1,2,3・・6}、確率pで{1,2,3・・1/p}(但し1/pは自然数)など、適宜に換えればよい
また、区間[0,1]の実数の場合の1点的中は、p＝0である（区間[0,1]のルベーグ測度による確率測度から従う））
つづく