現代数学の系譜工学物理雑談古典ガロア理論も読む74

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む74 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

417: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/10(土) 20:31:21.60 ID:AHc3nl9z

>>415
つづき

定理 3 (Saharon Shelah, 1984） ZF + “ すべての実数の集合はルベーク可測” が
無矛盾なら，ZFC + “ 到達不可能基数が存在する” も無矛盾である．特に定理 2
で到達不可能基数を条件から落せない．
定理 3 K (Saharon Shelah, 1984） ZF + “ すべての実数の集合はベールの性質
を持つ” の無矛盾性は ZFC の無矛盾と同値である．
X ⊆ R がルベーク可測 ⇔ ある Borel 集合 B と零集合 N で X = B4N とできる
X ⊆ R がベールの性質を持つ ⇔ ある Borel 集合 B と第 1 種の集合 M で
X = B4M とできる

(A) 選択公理が悪い．選択公理がなければこんなことは起こらないのではない
か ？
定理 4 (Mycielski, Swierczkowski, Mazur, Banach, Davis, 1964) ZF + AD のも
とですべての実数の集合はルベーク可測になる．

系． 決定性公理 AD は選択公理と矛盾する．

(A) 選択公理が悪い．選択公理がなければこんなことは起こらないのではない
か ？
定理 5 (Hugh Woodin, 1985) （ZFC の成り立つ世界で）無限個のウディン基数
が存在してその上に一つ可測基数が存在するとき AD が L(R) で成立する．
L(R) : R から出発して，定義可能な集合をとる操作を超限回繰り返して得られ
る集合の作るクラス．L(R) では ZF と DC が成り立つ．
ウディン基数，可測基数 :
到達不可能基数よりはるかに “大きい” が集合論で考察する巨大基数の中
では最大のものでないような基数
決定性公理 AD は選択公理の alternative と見るべきではい．むしろ選択公理の成
り立つ豊かな（つまり存在してもいいような巨大基数がすべて実際に存在する
ような）世界の内部世界 L(R) で成り立つ原理ととらえるべきである．
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1564659345/417

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.032s