現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net

**現代数学の系譜11 ガロア理論を読む** · 2016/07/15(金) 21:10:49.59

**現代数学の系譜11 ガロア理論を読む** · 2016/07/24(日) 13:56:23.77

さて
可測非可測について
１．決定性公理を使えば、実数の任意の部分集合について「ルベーグ可測である」ことが従う。
https://ja.wikipedia.org/wiki/%E6%B1%BA%E5%AE%9A%E6%80%A7%E5%85%AC%E7%90%86
決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」「ベールの性質を持つ」「完全集合性（英語版）を持つ」ことが従う。
２．そうやって、決定性公理から弱い形の選択公理（可算選択公理）が導かれ、Lebesgue測度を導入することができる（下記4-6節）
https://www.jstage.jst.go.jp/article/sugaku1947/29/1/29_1_53/_article/-char/ja/ 決定性公理に関する最近までの諸結果について無限ゲームの理論田中尚夫数学 1977

（また、下記なども参考になるだろう）
http://math.cs.kitami-it.ac.jp/~fuchino/papers/shizuoka-ws06-talk.pdf
ルベーク測度の拡張の可能性について渕野2006

http://fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf
第I部構成的集合と公理的集合論入門渕野昌 2015
(抜粋)
選択公理は，ツェルメロがこの公理を定式化した当初から色々と物議をか
もした公理である．バナッハ=タルスキーの逆理など，我々の物理的直観と
相容れない結果を導くこともあるため，問題視されることもある．それにも
かかわらずこの公理が通常仮定されるのは，
(1.9) 後述のゲーデルの構成的集合に関する結果から，ZF とZFC とは
無矛盾性に関して等価であることが示せること13)；
(1.10) Shoenfield の絶対性定理により，集合論での命題として表したとき
にそれほど複雑な形にならない数学的命題については14)，ZFC で
の証明が得られれば，それから選択公理を用いない証明を作りなお
すことができること；
(1.11) 選択公理のオルタナティヴと考えられる決定性公理の成り立つ世界
は，選択公理の成り立つ集合論の「宇宙」の内部モデルとしてとら
えることができること- ウディン(H. Woodin) による（本書第II部を参照）；
そして何よりもまず，
(1.12) 選択公理の仮定のもとで展開される数学が非常に豊かなものであること，
などがその理由として挙げられるだろう15)．

**現代数学の系譜11 ガロア理論を読む** · 2016/07/24(日) 13:57:48.88

>>190 つづき
＜決定番号の確率分布について＞
・決定性公理などを使って、時枝問題の集合を非可測から可測集合として、測度を導入できたとしてもなお
・決定番号の確率分布を考察すれば、”この仮定が正しい確率は99/100”>>34はなお不成立と思う
・鉛筆転がしをモデルとしよう。ｎ角形の鉛筆に数字を書く。ほとんど全ての面に最大値ｎを入れる。ｎ以外の数もわずか（零集合）入れる
・n→∞を考えると、まっとうな確率確率分布にはならず、１００列の決定番号の比較で、”この仮定が正しい確率は99/100”などとはとても言えないことが分かる