>>568-569
(引用開始)
>例:
>実数の区間 を考えてみましょう。
>この区間の部分集合として、{1/2, 1/3, 1/4, ...} を考えると、この部分集合には最小元が存在しません。
>このように、実数の部分集合には、最小元を持たないものが存在するため、実数全体を整列順序で並べることはできません。
上記は「実数の順序が整列順序でない」ことを示すのみであって、
実数全体の集合に、実数の順序と異なる整列順序をいれることができない、
という主張の証明ではない。
選択公理により、実数全体の集合の、空でない部分集合に対して、その代表元を選択する関数が存在する。
(引用終り)
ふっふ、ほっほ、それな
下記
>>509
>なにおまえ たてつく気?
>じゃあ実数の整列順序示せ 好きなように整列できるんだろ?
>>520
>倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ
>イッチョマエの台詞はその後に吐いてね
とほざいていた ID:MtMWibfm くんに言ってあげてねw
なお、>>499の 2017春(首都大東京) 薄葉季路(早大理工) 集合論の宇宙 -UniverseとMultiverse- (企画特別)
発表スライド『集合論の宇宙 Universe と Multiverse』
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
における Multiverseの視点からは
1)フルパワー選択公理を持つ ZFC公理系内では 実数の整列順序 は、存在する
このとき、人は可能な限りの任意の整列順序を示すことが可能
例えば、先頭に好きなr1,r2,r3,・・と並べて 残りを 選択公理にお任せとか
あるいは、任意の途中に 上記のr1,r2,r3,・・と並べて 残りを 選択公理にお任せとか
最初に 有理数のみを整列させて その後に無理数の集合を整列させるとか
それらを、何度でも繰り返して良い
2)別の宇宙で フルパワー選択公理を否定して
例えば、可算選択公理に制限したら?
そのときは、実数を整列させることは不可能だ
(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
選択公理の制限
選択公理は上のように様々な結論を導く強い公理になっている。選択公理に条件を課して、より弱い公理としたものが研究されている。
・可算選択公理
・従属選択公理
など
Inter-universal geometry と ABC予想 (応援スレ) 73
■ このスレッドは過去ログ倉庫に格納されています
571現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/08/12(火) 06:36:14.54ID:Wz/RxMvE■ このスレッドは過去ログ倉庫に格納されています
ニュース
- なぜ高市首相を支持するのか 各地で聞こえた「石破氏とは違う」の声 [蚤の市★]
- 古市憲寿「中居くん騒動の時はみんな何の証拠もないはずなのにたやすく彼を断罪していた」「後から完全に嘘だとわかったことを…」 [Ailuropoda melanoleuca★]
- フランス各地でデモに乗じ破壊や略奪、歴史的建造物の市庁舎は放火で焼失…全国1500の小売店が襲撃受ける ★9 [ぐれ★]
- 【芸能】マツコ「50歳過ぎて思う」 幸せか、幸せじゃないかの差は「本当にわずか…これがもういけない」 [冬月記者★]
- トランプ氏、米中ロ会談に意欲 議題は「ウクライナより核軍縮」 [蚤の市★]
- 「郵便貯金」の上限、100万人が超過 撤廃要望に民間金融機関は反発 [蚤の市★]
- 【高市悲報】イタリア人、店を暴動から守るために散弾銃で武装して店に立てこもる。さすがの暴徒も退散 [165981677]
- 【早苗動画】アリの巣に大量の砂糖をぶっかけると社会主義が失敗する理由がわかるらしい [856346618]
- 移民の増加を推進していたケンモメンはフランスを見て今は考えを変えたの? [294785177]
- 【高市悲報】辻󠄀元「G7オンライン会議、当日6時には報道出てるからそれより前に知ってたやろ」外務省「…言えない🥺」 [359965264]
- 高市「オッサンは戦争行かないと思ってんだろ?お前らから徴兵するからな」ヒョガおじ、逝くww [916950698]
- 【悲報】フランスデモを冷笑する日本人、叩かれるフェーズに入るwwwwwwwww