Inter-universal geometry と ABC予想 (応援スレ) 73 (766ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
523(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/11(月)23:02 ID:iGLBvSqQ(6/7)
>>520
>倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ
>イッチョマエの台詞はその後に吐いてね
面白い！
oshiete.goo さん ；ｐ）
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がどこにあるかわかりませんが、それも適当に決めてやればいいのです。ようするに実数を思いついた順番にひたすら並べていけばいいのです（無限回！しかも非可算無限回！）それが整列順序というものです
数学的帰納法ってあまり信頼がないですが、あれは自然数を一斉に順番に並べることができること（ペアノの公理）から由来する定理であって、整列可能定理というのはその非可算無限集合に拡張された超限帰納法に対応するものです。非可算無限個の元を順番に並べるという、とても有限の時間で人ができるわけがないことを考えているわけです。選択公理というのは、非空な集合の非可算無限直積から元が取れる、つまり非可算無限個の元をまったく同時に扱える、ということを主張する公理なので、そりゃあそんなこと認めてしまえば、整列順序なんて作れるよね、とそんな気がしてきませんか？（すべての実数に対してその次の数を考えてやるだけで整列順序ができるわけだから！）
つづく
530: １３２人目の素数さん [] 08/12(火)01:10 ID:r/id88M5(1/18)
>>523
>数学的帰納法ってあまり信頼がないですが、あれは自然数を一斉に順番に並べることができること（ペアノの公理）から由来する定理であって
はい、大間違い。
1.数学的帰納法は公理だから信頼うんぬんはナンセンス。
2.数学的帰納法は定理ではなく公理（但しど素人は勘違いしがちだが、ZF上に構成した自然数が数学的帰納法を満たすことは定理）。
3.一斉に順番に並べることができることと数学的帰納法は独立。
実際、{0,1,2,・・・,0',1',2',・・・}は左の方が小さいとする順序で一斉に順番に並べることができるが、P(0)∧∀n(P(n)→P(S(n)))→∀n(P(n))は言えない（P(0)∧P(0')∧∀n(P(n)→P(S(n)))→∀n(P(n))なら言える）。
※より正確には数学的帰納法ではなく数学的帰納法の原理が公理だが、数学的帰納法の原理から数学的帰納法の証明はほぼ自明なので特に区別せず書いた。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s