[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 64 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

596(1): 2022/01/28(金)10:20 ID:XHv+DeMU(3/6) AAS
>>594
>This is different from ω because in ω only 0 does not have a direct predecessor while in ω + ω the two elements 0 and 0' do not have direct predecessors.
しっかり書いてありますね 。0'の前者は無いと。英語読めますか？

つまり
>0 < 1 < 2 < 3 < ... < 0' < 1' < 2' < ...
なる表記は＜列ではないと。＜列ならば二項関係＜の定義に従い < 0' の左隣が存在する必要がありますから。

コピペバカには理解不能かな？

---

597(3): 2022/01/28(金)11:52 ID:OCJDS5eR(1/5) AAS
>>595-596
三歳児知能のおサルさんたち、馬脚を現す（サルと馬では 形容矛盾だがｗ）

二項関係で、集合に全順序を定義できる
有限集合に、全順序を拡大定義できる
可算無限集合たる自然数Ｎにも、全順序を定義できる

自然数Ｎを超えて、Ordinal numbers（順序数） にも、全順序を定義できる
必然、”0' do not have direct predecessors.”>>594のような状態（極限順序数の場合）も出現するが、全順序はそのまま定義できて、不等号 < のそのまま使えるってことですよ

それは、扱う集合が、有限集合→ω＝自然数N（最小の加算無限）→順序数α
あるいは、有限集合→N→Q（有理数（稠密））→R（実数（連続））
と変遷しても、全て 不等号 < を使った全順序を与えることができて
省3

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.222s*