>>572
(引用開始)
そもそも、正則性公理以前に、Zermeloのωが
{x}というシングルトンの形になってる時点で
ωが極限順序数であることと矛盾します
なぜなら、ω={x}ならば、xは順序数であり ω>x かつ ω=x+1となりますが
ωが極限順序数であれば、ω>xならば ω>x+1となります
つまりω>x かつ ω=x+1 となる xは存在せず、矛盾します
(引用終り)
なるほど、
その批判は、結構まともだが、順序数の算術演算(下記)を考えれば、批判が不当なのはすぐ分かるよ
1.>>270の7項のω={{・・{・・ {} ・・}・・}} を使う
(なお、最内層の{}が添え字 n・・を消す前の状態で「集積点」になっていると、考えることができる)
2.この場合において、下記の順序数の算術演算 1 + ω = ω ≠ ω + 1 を考える(Ordinal arithmetic wikipewdia もご参照)
3.つまり、ω={{・・{・・ {} ・・}・・}} は、無限”ラッキョウの皮むき”(下記)みたいなこと(下記ヒルベルトホテルのパラドックスに類似)
外に皮を加えても、1 + ω = ωです。一方で、最内側の {} → {{}}とすれば
ω={{・・{・・ {} ・・}・・}}→ω={{・・{・・ {{}} ・・}・・}}
つまり、ω ≠ ω + 1
4.これ以上の細かい議論は、不要でしょう
詳しい、ことは、下記wikipedia「順序数」などで自得願います(^^;
(参考)
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
6 順序数の演算
順序数の和は一般には可換でない。例えば、1 + ω = ω ≠ ω + 1 である。
https://en.wikipedia.org/wiki/Ordinal_arithmetic
Ordinal arithmetic
On the other hand, right cancellation does not work:
3+ω =0+ω =ω but 3≠ 0
つづく
純粋・応用数学(含むガロア理論)7
■ このスレッドは過去ログ倉庫に格納されています
574現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/05/03(月) 08:31:18.39ID:zlBH6lY9■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★3 [煮卵★]
- 【W杯】「希望は日本」 どうしたアジア勢!6戦無敗→まさかの6連敗…得失点は−13 「仕方ないで済ませてたらレベルアップはない」 [王子★]
- 交際男性の乳首を切り 「やらないなら出て行け」左手薬指を切断…24歳女に保護観察付き有罪判決・男性は執行猶予求める (大阪地裁) [少考さん★]
- 「いいの?前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男(54)逮捕 ★2 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場! パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 《金メダリストの“自慢の父は自衛官”投稿が話題》古賀千景議員の不適切発言は「冒涜」有志が抗議文も [夜のけいちゃん★]
- ⛵👒👊☠👊🏝🏡
- 【悲報】テレビ局「カサゴ欲しい」漁師「釣れば?」TV「嫌だ」漁「船代くれる?」TV「嫌」→漁師困惑wwwwwwwwwwwwwwwwwwww [802034645]
- 【悲報】フルHDで十分おじさん、絶滅へwwwww [589647274]
- 【悲報】高市早苗容疑者、周囲に「土日も休んでいない。休めない」などと意味不明な供述をしている模様 [731544683]
- 【朗報】高梨沙羅さんの最新verのお姿がこちらwwwwwwwww [589647274]
- クンニしてみたい!