Inter-universal geometry と ABC予想 (応援スレ) 73

Inter-universal geometry と ABC予想 (応援スレ) 73 (900ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

523: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/11(月) 23:02:19.44 ID:iGLBvSqQ

>>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がどこにあるかわかりませんが、それも適当に決めてやればいいのです。ようするに実数を思いついた順番にひたすら並べていけばいいのです（無限回！しかも非可算無限回！）それが整列順序というものです

数学的帰納法ってあまり信頼がないですが、あれは自然数を一斉に順番に並べることができること（ペアノの公理）から由来する定理であって、整列可能定理というのはその非可算無限集合に拡張された超限帰納法に対応するものです。非可算無限個の元を順番に並べるという、とても有限の時間で人ができるわけがないことを考えているわけです。選択公理というのは、非空な集合の非可算無限直積から元が取れる、つまり非可算無限個の元をまったく同時に扱える、ということを主張する公理なので、そりゃあそんなこと認めてしまえば、整列順序なんて作れるよね、とそんな気がしてきませんか？（すべての実数に対してその次の数を考えてやるだけで整列順序ができるわけだから！）

つづく

http://rio2016.5ch.net/test/read.cgi/math/1753000052/523

855: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/20(水) 13:45:53.44 ID:n7uBTsIt

つづき

https://ja.wikipedia.org/wiki/%E7%B4%A0%E6%9C%B4%E9%9B%86%E5%90%88%E8%AB%96
素朴集合論
https://en.wikipedia.org/wiki/Naive_set_theory
Naive set theory
Unlike axiomatic set theories, which are defined using formal logic, naive set theory is defined informally, in natural language.
Sets are of great importance in mathematics; in modern formal treatments, most mathematical objects (numbers, relations, functions, etc.) are defined in terms of sets. Naive set theory suffices for many purposes, while also serving as a stepping stone towards more formal treatments.
Method
A naive theory in the sense of "naive set theory" is a non-formalized theory, that is, a theory that uses natural language to describe sets and operations on sets.
Consistency
A naive set theory is not necessarily inconsistent, if it correctly specifies the sets allowed to be considered. This can be done by the means of definitions, which are implicit axioms.
Utility
The choice between an axiomatic approach and other approaches is largely a matter of convenience. In everyday mathematics the best choice may be informal use of axiomatic set theory. References to particular axioms typically then occur only when demanded by tradition, e.g. the axiom of choice is often mentioned when used.

https://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96
圏論
関連文献
竹内外史『層・圏・トポス　現代的集合像を求めて』日本評論社、1978年1月。ISBN 4-535-78109-5
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1753000052/855

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.036s