>>556
どうも、スレ主です
横レスご容赦
>>544より
”ツォルンの補題とデデキント切断の関係についてですが、
デデキント切断は最大元・上限ともに存在する場合が無いのはいつもそうですから、残りの可能性として
(2) 最大元がある、上限がない
(3) 最大元がない、上限がある
(4) どちらもない
の3つがあります。一方、ツォルンの補題つまり
"半順序集合Pは、その全ての鎖(つまり、全順序部分集合)がPに上界を持つとする。このとき、Pは少なくともひとつの極大元を持つ。"
を全順序集合に適用した場合、上界を持つなら極大元を持ち、全順序集合においては必ず極大元は最大元に一致するので最大元を持つことになります。これは (2) しか切断がないことを言っていて、自動的に(4)が排除されるので、ツォルンの補題は実数の連続性を含意しますか?もし違うとしたらこの考えの穴はどこにありますでしょうか。”
だったね
それで、
・上記のデデキント切断の切断を適用すべき集合としては、主として 実数Rと有理数Qとが考えられて、実数Rに適用するって話で良いよね
・あと、下記で 有理数Qに適用する場合は読んでいる? つまり、全順序集合Qに適用した場合、「切断4の場合は無理数に対応する」は可です
(なお、全順序集合Nに適用した場合、「切断1の場合(下組の最大元と上組の最小元がある)」>>544 もありうる)
・で、ツォルンの補題は、本質は選択公理であって、補題とか定理ではないってことも、ご理解をよろしくね
つまり、”ツォルンの補題は実数の連続性を含意しますか?”→”選択公理は実数の連続性を含意しますか?”と言い換えができる
・だから、選択公理と実数の連続性 という”全く性質の異なる命題の比較をしている”って、自覚ある?
そこから、根本的に考え直した方が、いい気がするな
つづく
純粋・応用数学(含むガロア理論)10
■ このスレッドは過去ログ倉庫に格納されています
557132人目の素数さん
2022/04/30(土) 20:35:11.35ID:Vf6bDvV+■ このスレッドは過去ログ倉庫に格納されています
ニュース
- フジ自ら報道「CM見合わせ75社、AC350本超」 ★4 [ひかり★]
- 有田芳生衆院議員「僕の知っている女性タレントも…」中居正広からの被害を暴露 [muffin★]
- 【免許】マトモにMT車に乗れる人がいなくなるぞ! 教習所のカリキュラムが「AT車が基本」に変更される!!★2 [ひぃぃ★]
- 立憲・小川幹事長「減税しか有権者の耳に入らなくなっている。減税すれば社会がバラ色になるほど事は単純ではない」 [お断り★]
- 大橋未歩アナ 「局アナ時代に性接待を要求されたこと、断じてない」 [ひかり★]
- 【これで死亡者は4人】「あなたの子供がイジメに」脅迫電話や玄関にゴミ撒き…死去した元兵庫県議を苦しめた卑劣すぎる嫌がらせ ★2 [ぐれ★]
- 【実況】博衣こよりのえちえち街🧪 ★4
- 【実況】博衣こよりのえちえち街🧪 ★3
- ウォルマート、声明「トランプ関税は魔法のシステムではありません。上がった関税は販売価格に転嫁され皆さんが負担します」 [931948549]
- 中国人「なぜ日本人は天皇を倒して自分が天皇になろうとしないの?」 [377482965]
- 【超衝撃】イオンスタイル新小松で大量の食品を買った→値引き率がヤバすぎる・・・・・・・・・・・・ [372613588]
- とうすこはフジテレビの活動を支援しています😄🏡