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

Inter-universal geometry と ABC予想 (応援スレ) 73 (670ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

571: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/12(火) 06:36:14.54 ID:Wz/RxMvE

>>568-569
(引用開始)
＞例:
＞実数の区間 を考えてみましょう。
＞この区間の部分集合として、{1/2, 1/3, 1/4, ...} を考えると、この部分集合には最小元が存在しません。
＞このように、実数の部分集合には、最小元を持たないものが存在するため、実数全体を整列順序で並べることはできません。
上記は「実数の順序が整列順序でない」ことを示すのみであって、
実数全体の集合に、実数の順序と異なる整列順序をいれることができない、
という主張の証明ではない。
選択公理により、実数全体の集合の、空でない部分集合に対して、その代表元を選択する関数が存在する。
(引用終り)

ふっふ、ほっほ、それな
下記
　>>509
>なにおまえ　たてつく気？
>じゃあ実数の整列順序示せ　好きなように整列できるんだろ？
>>520
>倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ
>イッチョマエの台詞はその後に吐いてね

とほざいていた ID:MtMWibfm くんに言ってあげてねｗ
なお、>>499の 2017春(首都大東京) 薄葉季路（早大理工） 集合論の宇宙 -UniverseとMultiverse- (企画特別)
発表スライド『集合論の宇宙　Universe と Multiverse』
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
における Multiverseの視点からは

１）フルパワー選択公理を持つ ZFC公理系内では 実数の整列順序 は、存在する
　このとき、人は可能な限りの任意の整列順序を示すことが可能
　例えば、先頭に好きなr1,r2,r3,・・と並べて 残りを 選択公理にお任せとか
　あるいは、任意の途中に 上記のr1,r2,r3,・・と並べて 残りを 選択公理にお任せとか
　最初に 有理数のみを整列させて その後に無理数の集合を整列させるとか
　それらを、何度でも繰り返して良い
２）別の宇宙で フルパワー選択公理を否定して
　例えば、可算選択公理に制限したら？
　そのときは、実数を整列させることは不可能だ

(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
選択公理の制限
選択公理は上のように様々な結論を導く強い公理になっている。選択公理に条件を課して、より弱い公理としたものが研究されている。
・可算選択公理

・従属選択公理
など

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

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

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

ぬこの手ぬこTOP 0.021s