>>520
>倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ
>イッチョマエの台詞はその後に吐いてね
面白い!
oshiete.goo さん ;p)
https://oshiete.goo.ne.jp/qa/2250335.html
oshiete.goo
実数の整列化について
質問者:kurororo 2006/07/02
大学で数学を学んでいる者です。最近、集合と位相の科目で、整列可能定理を学びました。それは、選択公理・Zornの補題と同値な命題であって、その内容は
「任意の集合において、適当な順序関係を定義すれば、整列集合にすることができる。(整列集合とは、空でない部分集合が常に最小元を持つ集合)」
という内容でした
さて、実数の集合は通常の順序関係では整列集合ではありません(例えば開区間は最小数を持ちません)。定理によれば、適当な順序によって実数の集合も整列集合になる訳です
それなら、それは具体的にはどのような順序なのかと調べて見たんですけど、どうも見つかりません。どなたか知っている人がいれば教えてください
No.2ベストアンサー
回答者:adinat 2006/07/03
連続濃度以上の集合に整列順序が存在することは、選択公理なしには証明できません(というより同値ですよね)。証明は抽象的構成を与えることですから、ある意味ではそれは不可能なわけです。といってしまうと身もふたもないですから、整列順序がどういうものかを納得するためにも雑な例をあげてみます
整列順序というのは、ようするに最も小さい数があって、さらに各元に対して“次の数”が定まっているような順序です。たとえば自然数列{1,2,3,…}が典型です。実数に整列順序を入れてやりたければ、まず最小元を決めて、また各元に対して次の数を決めてやればいいのです。(しかしながら非可算個の元に対して次の元を指定するなんてことは人間には無理です(本当は可算無限個でも無理なんですけどね))
たとえば、{1,2,…,…,π,e,√2,√3,…,…,0,-1,-2,…}などという順序を考えてみましょう(左の方が小さいとする順序)。次の数さえ決まっていたらいいんです。だから上の順序は整列順序です。5の次は6だし、1兆3の次は1兆4です。πの次はeだし、eの次は√2です。0とか、πの一つ前の数字が気になったりしますが、整列順序というのはあくまでも一つ大きい数さえ決まっていたらいいんです。π^eがどこにあるかわかりませんが、それも適当に決めてやればいいのです。ようするに実数を思いついた順番にひたすら並べていけばいいのです(無限回!しかも非可算無限回!)それが整列順序というものです
数学的帰納法ってあまり信頼がないですが、あれは自然数を一斉に順番に並べることができること(ペアノの公理)から由来する定理であって、整列可能定理というのはその非可算無限集合に拡張された超限帰納法に対応するものです。非可算無限個の元を順番に並べるという、とても有限の時間で人ができるわけがないことを考えているわけです。選択公理というのは、非空な集合の非可算無限直積から元が取れる、つまり非可算無限個の元をまったく同時に扱える、ということを主張する公理なので、そりゃあそんなこと認めてしまえば、整列順序なんて作れるよね、とそんな気がしてきませんか?(すべての実数に対してその次の数を考えてやるだけで整列順序ができるわけだから!)
つづく
Inter-universal geometry と ABC予想 (応援スレ) 73
■ このスレッドは過去ログ倉庫に格納されています
523現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/08/11(月) 23:02:19.44ID:iGLBvSqQ■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 古市憲寿「中居くん騒動の時はみんな何の証拠もないはずなのにたやすく彼を断罪していた」「後から完全に嘘だとわかったことを…」 [Ailuropoda melanoleuca★]
- なぜ高市首相を支持するのか 各地で聞こえた「石破氏とは違う」の声 [蚤の市★]
- フランス各地でデモに乗じ破壊や略奪、歴史的建造物の市庁舎は放火で焼失…全国1500の小売店が襲撃受ける ★8 [ぐれ★]
- トランプ氏、米中ロ会談に意欲 議題は「ウクライナより核軍縮」 [蚤の市★]
- 【仙台】余命宣告された直後、道端に現金2200万円「神様の贈り物かと…」持ち去った男が初公判で起訴内容認める [七波羅探題★]
- 「郵便貯金」の上限、100万人が超過 撤廃要望に民間金融機関は反発 [蚤の市★]
- 【高市禍】ふるさとチョイス、ロックダウン [773287991]
- 【実況】博衣こよりのえちえち朝こよ🧪★2
- 【高市悲報】カーセンサーも不振なアクセスで逝く。 [667773354]
- 移民の増加を推進していたケンモメンはフランスを見て今は考えを変えたの? [294785177]
- 高市「オッサンは戦争行かないと思ってんだろ?お前らから徴兵するからな」ヒョガおじ、逝くww [916950698]
- 【高市和平】米中露、核兵器根絶へ!トランプ、ついにノーベル平和賞受賞か [219241683]