[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
685(2): 2025/10/23(木)11:41 ID:DrfhhjAK(1/3) AAS
>>677
>１）”実数は好きな順序で整列できる”：これ 選択公理を前提として、整列しようとする人の 数学能力の範囲で ”思いっきり”ワガママ勝手が許される、但し 人の 数学能力の範囲を超える部分があれば、その部分は 選択公理 ”お任せ”とせざるを得ない というか ”お任せ”にできるのだよ
有限個を好きに整列したところで無限個残るからまったく無意味。
>２）”可算集合の整列には可算選択公理が必要”：これ 正しい。が、整列長さω 限定。（下記 ACωとある通りですよ。基本は” f(n)∈A(n) for every n∈N”な）
間違い。
実際、自然数全体の集合Nは通常の大小関係<で整列集合であり、可算集合Xとの間に全単射 f:N→X が存在し、X上の順序<'を f(n)<'f(m)⇔n<m で定義すれば、空でない任意の部分集合Sに対して minS=f(min(f^(-1)(S))) が存在するから<'は整列順序。
>３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合では構成できない かつ その存在は証明も否定もできない。だから 永遠の「無限公理 存在予想」状態
予想とは証明が見つかっていない命題であり、証明が存在しない命題ではない。
>４）”ZFC集合論では到達不能基数は存在しない”：これは、上記３）項と同じ。 ZFC下では 到達不能基数は 永遠の「到達不能基数 存在予想」状態
３）項と同じく間違い。
省2
688(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/23(木)11:54 ID:90YWbZUz(2/6) AAS
>>680-685
テンプレ>>14より
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ
こいつら、あたま腐っているなｗ
みなさん 感染ら(うつら）ないようにしましょうねｗｗ ；ｐ）
(参考)
外部ﾘﾝｸ:dic.pixiv.net
省22
691(1): 2025/10/23(木)12:41 ID:Kdudi0Lq(1) AAS
>>688
自慢を通り越して侮辱になってキマシタワ
この解説をよく読むことですよ>>685
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.211s*