[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新

---

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

---

274: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/14(火)19:56 ID:V0GJJBJ/(4/5) AAS
つづき

Theorem 2.4 ([4], [14]). Equivalent are:
1. in a (pseudo)metric space X, a point x is an accumulation point of a subset A iff there exists a sequence in A\ {x} that converges to x,
略す
17. the Axiom of Countable Choice.
The Axiom of Dependent Choices implies the Baire Category Theorem for complete pseudometric spaces, and the latter implies the Axiom of Countable Choice.

(参考)
ja.wikipedia.org/wiki/%E3%82%BD%E3%83%AD%E3%83%B4%E3%82%A7%E3%82%A4%E3%83%A2%E3%83%87%E3%83%AB
ソロヴェイモデルはロバート M. ソロヴェイ (1970)によって構成されたモデルでツェルメロ＝フレンケル集合論 (ZF) の全ての公理が成り立ち、選択公理を除去し、実数の集合が全てルベーグ可測であるようにしたものである。この構成は到達不能基数の存在に依拠している。
構成
ソロヴェイはそのモデルを二つのステップによって構成した。まず初めに、到達不能基数 κ を含む ZFC のモデル M から始める。
略す
二つ目のステップではソロヴェイのモデル N として、M[G] の中で順序数の可算列で遺伝的に定義可能な集合全てからなるクラスを考える。このモデル N は M[G] の内部モデルであって ZF + DC を満たし、実数集合が全てルベーグ可測で perfect set property を持ち、ベールの性質を持つものになっている。この証明には、M[G] の実数は全て順序数の可算列を用いて定義可能であり、N と M[G] が同じ実数を持っていることを使う。
略す
(引用終り)
以上

---

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

---

あと 728 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.008s