[過去ログ]
現代数学の系譜 カントル 超限集合論 (1002レス)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
214: 132人目の素数さん [sage] 2019/10/08(火) 09:37:02.76 ID:ofPIORDH >>210 >>211 > >>210 > つづき > > ここで、現代数学の順序同型(下記)を借用しましょう > ”整列順序型N’:0,1,2,・・,n,・・” は、ちょうど自然数N全体を渡り、自然数Nと順序同型です > これを認めれば、ツェルメロの整列順序型E’とノイマンの整列順序型Eとは、順序同型 > 全単射で、ツェルメロのΩが、ノイマンのωに対応する > > よろしいでしょうか? > ダメです。 あなたはωから先にダッシュをつけて区別しますが2以降はツェルメロ構成とノイマン構成では違うものでしょ? なのでもうここから区別しないとダメです。 ノイマンの構成ではまず 0,1,2,3,‥‥ が順に構成され、それと無限公理から存在が保証されている E= {0,1,2,‥‥} ∪ {いらないもの} の存在が保証されています。 ここから分出公理で {x∈E | x: finite, x: ordered inthe sence of Neumann} という集合がとれますがコレでいらないもが削ぎ落とされて 求めるωがとれたのでした。 あなたが同様にというならこの x: finite, x: ordered inthe sence of Neumann の部分を何に書き換えるのかを明示しないと何をやってもダメです。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/214
216: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/09(水) 11:48:43.65 ID:nHmzRvjt >>214 ”ここから分出公理で {x∈E | x: finite, x: ordered inthe sence of Neumann} という集合がとれますがコレでいらないもが削ぎ落とされて 求めるωがとれたのでした。” ↓ E''=E'\N = { x∈E' | x: transfinite, x: ordered in the sence of Zermelo } という集合がとれます コレでいらない自然数Nの元(finiteな元)が削ぎ落とされて E'のZermelo構成の最小元として 求めるωがとれたのでした (ここに、E'とNとは、>>211をご参照) (参考) https://en.wikipedia.org/wiki/Transfinite_number Transfinite number (抜粋) Transfinite numbers are numbers that are "infinite" in the sense that they are larger than all finite numbers, yet not necessarily absolutely infinite. The term transfinite was coined by Georg Cantor, who wished to avoid some of the implications of the word infinite in connection with these objects, which were, nevertheless, not finite. Few contemporary writers share these qualms; it is now accepted usage to refer to transfinite cardinals and ordinals as "infinite". However, the term "transfinite" also remains in use. Definition Any finite number can be used in at least two ways: as an ordinal and as a cardinal. Cardinal numbers specify the size of sets (e.g., a bag of five marbles), whereas ordinal numbers specify the order of a member within an ordered set (e.g., "the third man from the left" or "the twenty-seventh day of January"). When extended to transfinite numbers, these two concepts become distinct. A transfinite cardinal number is used to describe the size of an infinitely large set, while a transfinite ordinal is used to describe the location within an infinitely large set that's ordered. The most notable ordinal and cardinal numbers are, respectively: つづく http://rio2016.5ch.net/test/read.cgi/math/1570237031/216
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.044s