[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論2 (1002ﾚｽ)
上下前次1-新

---

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

---

38: 2019/12/22(日)08:47 ID:dWgKJ6XY(6/14) AA×
>>33>>0


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
38: [] 2019/12/22(日) 08:47:36.23 ID:dWgKJ6XY >>33 >∈-数列 >0∈1∈2∈3・・・∈n∈・・・→ω >（"→ω"の意味は、ωに向けてずっと続くってことね） >（なお、ωは、超限順序数で、いわゆる”有限”ではない） →ω　は必要ありません つまりωが存在しないとしても 0∈1∈2∈3・・・∈n∈・・・ は無限列です ><Neumann構成>では、後者関数の定義が、それ以前の全ての要素からなる集合だから これは嘘ですね Neumann構成の後者関数はx∪{x} つまり、xに自分自身を要素として追加した集合です 結果として自分より小さい順序数全てを要素とする集合になってるだけ ><Zermelo構成>においては、もともと、任意のm<nで、m∈n不成立 これも嘘ですね まず、自然数ｎの場合、n-1<nですが、n-1∈n Zermelo構成の後者関数x+1=｛x｝から明らかですね >だから、もともと、”n not∈ω（=Ω）”なのです（nは、任意の自然数） これはいえませんね ωは極限順序数ですから、そもそも前者であるω-1が存在しません もし、自然数の場合と同様に 「前者以外の要素を持たない」 と言い切ってしまうと、そもそも前者が存在しない場合 「いかなる要素も持たない」 ということになり空集合になってしまいます 順序数として必要な性質 「ωから任意の自然数ｎへの有限∈降下列が存在する」 を満たしているならば 「いかなる自然数ｎについても 　ｎ＜ｍ＜ωかつｍ∈ωとなる 　自然数ｍが存在する」 必要があります したがって ・ωは少なくとも無限個の自然数を要素として持つ ・要素中の最大値は存在しない という２つの性質を満たす必要があります したがってn ∈ωとなるnは無限個あります 上記の性質を満たすnの配置を いくらでも疎らにすることはできますが 有限個にはできません http://rio2016.5ch.net/test/read.cgi/math/1576852086/38
数列 の意味はに向けてずっと続くってことね なおは超限順序数でいわゆる有限ではない は必要ありません つまりが存在しないとしても は無限列です 構成では後者関数の定義がそれ以前の全ての要素からなる集合だから これは嘘ですね 構成の後者関数は つまりに自分自身を要素として追加した集合です 結果として自分より小さい順序数全てを要素とする集合になってるだけ 構成においてはもともと任意ので不成立 これも嘘ですね まず自然数の場合ですが 構成の後者関数から明らかですね だからもともと なのですは任意の自然数 これはいえませんね は極限順序数ですからそもそも前者であるが存在しません もし自然数の場合と同様に 前者以外の要素を持たない と言い切ってしまうとそもそも前者が存在しない場合 いかなる要素も持たない ということになり空集合になってしまいます 順序数として必要な性質 から任意の自然数への有限降下列が存在する を満たしているならば いかなる自然数についても かつとなる 自然数が存在する 必要があります したがって は少なくとも無限個の自然数を要素として持つ 要素中の最大値は存在しない という２つの性質を満たす必要があります したがって となるは無限個あります 上記の性質を満たすの配置を いくらでも疎らにすることはできますが 有限個にはできません

---

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

---

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

---

ぬこの手 ぬこTOP 0.052s