>>783
(引用開始)
>答えは下記にある
どこにも「実数全体を好きな順序で整列できる」なんて無い。
当然だ。それを仮定すると「R上の任意の全順序は整列順序」を帰結できるが、通常の大小関係がその反例。実際正の実数全体の最小元は存在しない。
なんで間違いを認められないの?
(引用終り)
ふっふ、ほっほ
おサル=サイコパス>>29か
ご苦労さまです
発狂してる?
ああ、勘違いのおサルさんw (^^
1)下記の整列可能定理により
「実数全体をある順序で整列可能」だぜ
『それを仮定すると「R上の任意の全順序は整列順序」を帰結できるが、通常の大小関係がその反例』
だと? 意味わからん。”全順序”と”整列順序”と この二つを混同しているとしか思えないよ
2)いいかい 下記 選択公理と等価な命題 整列可能定理『任意の集合は整列可能である』
おっさんの「R上の任意の全順序(集合)」に、 整列可能定理を適用すれば良いだけのこと
ただちに 整列順序が得られる■
(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
選択公理と等価な命題
整列可能定理
任意の集合は整列可能である。
https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合
集合 S 上の整列順序関係(well-order)とは、
S 上の全順序関係 ≤ であって、S の任意の非空部分集合が必ず ≤ に関する最小元をもつものをいう。
あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合
(S,≤) を慣例に従ってしばしば単純に S で表す。
(選択公理に同値な)整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。
https://en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
(google訳)
歴史
ゲオルク・カントールは整列定理を「思考の根本原理」とみなした。[ 4 ] しかし、整列を視覚化することは困難、あるいは不可能であると考えられている。
R
{\displaystyle \mathbb {R} }、すべての実数の集合。このような視覚化には選択公理を組み込む必要があるだろう。[ 5 ] 1904年、Gyula Kőnigは、そのような整列は存在し得ないことを証明したと主張した。数週間後、Felix Hausdorffは証明に誤りがあることを発見した。[ 6 ] しかし、一階述語論理では、整列定理は選択公理と同等であることが判明した。つまり、選択公理を含むツェルメロ・フレンケル公理は整列定理を証明するのに十分であり、逆に、選択公理を含まないが整列定理を含むツェルメロ・フレンケル公理は選択公理を証明するのに十分である。 (ツォルンの補題についても同様である。)
スレタイ箱入り無数目を語る部屋30(あほ二人の”アナグマの姿焼き"Part4w)
■ このスレッドは過去ログ倉庫に格納されています
784132人目の素数さん
2026/06/03(水) 14:16:42.23ID:fYDcpTpe■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【日中】中国の王毅外相が関係正常化の「条件」を提示 岩屋前外相との会談で ★2 [煮卵★]
- タイムズカー、個人情報最大660万件流出 氏名、住所、生年月日、電話番号、メアド、運転免許情報、学生証などの画像 ★2 [おっさん友の会★]
- 【バレーボール】男子・日本代表 髙橋藍の兄、高橋塁…同性愛者であると公表「初めて自分自身を認めることができました」 [阿弥陀ヶ峰★]
- 【バレーボール】男子・日本代表 髙橋藍の兄、高橋塁…同性愛者であると公表「初めて自分自身を認めることができました」 ★2 [阿弥陀ヶ峰★]
- 物価高に7割超”年収追い付かず” 必要な年収増加額は平均約38万円 住友生命 [首都圏の虎★]
- 【🇯🇵】日の丸を傷つけたら処罰「国旗損壊罪」に日弁連が即時廃止求める「表現の自由そのものが失われかねない」 ★3 [少考さん★]
- 戦前愛国保守「中国を倒せ!中国をつぶさなければ日本に未来はない!戦争戦争!南進南進!米国も潰せ!」実はスパイでした [819729701]
- 人 参 を 炒 め た
- 【悲報】亜月ねね先生宅、大量の監視カメラが設置されて終わる [398059782]
- 【HanaE.sys】Patch to Stability
- 【高市悲報】AIマンガの作り方の本、作例のクオリティが高すぎると話題 もうこれ漫画家廃業だろ [158478931]
- 【悲報】中国さん、なんかまじで台湾侵攻はじめそうwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [339035499]