[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
162(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/06(日)13:38 ID:d8OQiN+r(11/27) AAS
>>151 補足
ツェルメロの自然数構成で
0：Φ
1：{Φ}
2：{{Φ}}
・
・
n：{・・{Φ}・・} n重
これで、全ての有限の自然数は構成できる
無限公理で、Nとωが出来たあとに、
ω：{・・{Φ}・・} ω重 （ωは、下記のwikipedia定義に従う）
と定義すれば良い
下記、順序数「すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である」
但し、下記”順序型というアイデア”を使う
QED
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
(抜粋)
次が成り立つ：
5.順序数からなる空でない集合には必ず最小元が存在する
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。
そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく。
注釈
^ 順序数は本来、上で述べた定義とは異なる仕方で定義されていた。
その定義とは、順序集合全体の集まりを「同型である」という "同値関係" によって類別したとき、順序集合 (A, <) の "同値類" を (A, <) の順序型（order type）と呼び、特に整列集合の順序型を順序数と呼ぶというものである。
ところが現代の標準的な集合論においては、A が空集合でない限り (A, <) と同型な順序集合全体の集合といったものは存在しないことが示される。
したがって、このような順序数の定義の仕方は正当な方法であるとは認められない。
これを克服するために考えられたのが上で述べた定義であり、現在は上の定義（あるいはそれと同値な定義）が広く用いられている。
だが、順序型というアイデア自体が排除されたわけではない。順序数を上で述べたような仕方で定義した後、それを用いることによって順序型を正当な方法で定義できるということが知られている。
省2
178: 2019/10/06(日)18:31 ID:Gc2q5hFd(2/4) AAS
>>162
> >>151 補足
> ツェルメロの自然数構成で
> 0：Φ
> 1：{Φ}
> 2：{{Φ}}
> ・
> ・
> n：{・・{Φ}・・} n重
> これで、全ての有限の自然数は構成できる
> 無限公理で、Nとωが出来たあとに、
> ω：{・・{Φ}・・} ω重 （ωは、下記のwikipedia定義に従う）
> と定義すれば良い
> 下記、順序数「すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である」
> 但し、下記”順序型というアイデア”を使う
> QED
と定義すれば良いって定義になってないでしょ？
この場合
X∈Ω
と同値であるXについての条件を書き下さねばなりません。
それはなんですか？
アイデアがあるならそれに従って定義を書き下してください。このアイデアにそってやればできるなんて証明は通用しません。
184(1): 2019/10/06(日)20:30 ID:Gc2q5hFd(3/4) AAS
>>182
以上ってまさかこれで>>162の証明の不足部分が補えたという意味？
ではないよね？
187(1): 2019/10/06(日)20:41 ID:Gc2q5hFd(4/4) AAS
>>186
え？>>185がなんですか？
>>162の証明の不足部分はまだ一つも埋められてませんよ？
188: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/07(月)06:00 ID:2lTTrhZd(1/3) AAS
>>187
ええ、どうぞ、>>185にお答え下さい
それに合わせて、>>162の補足説明を、させて頂きます
それまでは、質問者には、常に>>185の逆質問があることを、ご了承ください
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s