[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
415(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/14(月)10:07 ID:w6tqRMw5(2/8) AAS
>>413
・任意の自然数よりも大きい最小の超限順序数 ωが定義されたとする（これは同型を除いて一意）
・ωは、順序数全体の成す類において順序位相（英語版）に関する極限点
・集積点であるとは、x の任意の近傍が S の点を無限に含むという条件に同値である
・よって、下記の「0, 1, 2, 3, ............, ω, S(ω)」上昇列から、
S(ω)→ｎ（ｎは有限）の ”無限降下列”を考えると
集積点ω（＝極限順序数）を通過するので、「S の点を無限に含む」、即ち、無限の自然数の元を含む
省26
417(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/14(月)10:28 ID:w6tqRMw5(3/8) AAS
>>415 補足
この話は、すでに>>42>>52にモデルを書いておいたが
1)閉区間[0,1]内の数列
0(=1-1/1),1-1/2,1-1/3,・・,1-1/n,・・,(n→∞)1(=1-1/∞)=ω
ができる
2)同様に
閉区間[1,2]内の数列
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s