[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ11 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
911(3): 01/01(水)12:29 ID:2b7XvZNh(4/16) AAS
>>904-910
ID:SnhQCod3 は、御大か
巡回 ご苦労さまです
ID:mZ2ntjQvは、
おサル(>>9-10)さんか？ｗ ；ｐ）
さて
>>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ が、整列している
>が整列順序による整列を意味してるなら間違いに決まってんじゃん
ここで、まず 下記のWell-ordering theorem（整列定理、第一階述語論理では整列定理は選択公理と等価 ）
を百回音読してね
その上で、人は ”{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・”という可算無限の整列の1列を作ることができる
そして、ここで 整列定理の力を借りると
”{}＜{{}}＜{{{}}}＜{{{{}}}}∈・・・”
と読み替えることが可能なんだよ
分りますか？？
もし、あなた ID:mZ2ntjQvが 数学オチコボレのおサルさんならば、
このロジックの理解は、難しいだろうなｗｗ ；ｐ）
(参考)
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
（google訳）
整列定理（ツェルメロの定理とも呼ばれる）は、すべての集合は整列可能であることを述べています。集合Xが厳密な全順序で整列しているとは、 Xのすべての空でない部分集合がその順序付けのもとで最小の元を持つ場合を指します。整列定理はツォルンの補題とともに、選択公理（AC とも呼ばれる。選択公理 § 同値も参照）と同値な最も重要な数学的命題です。 [ 1 ] [ 2 ]エルンスト・ツェルメロは、整列定理を証明するための「異論の余地のない論理原理」として選択公理を導入しました。[ 3 ]整列定理から、すべての集合は超限帰納法の影響を受けやすいと結論付けることができ、これは数学者によって強力な手法と考えられています。[ 3 ]この定理の有名な帰結の一つはバナッハ＝タルスキーのパラドックスである。
歴史
ゲオルク・カントールは、整列定理を「思考の基本原理」とみなした。[ 4 ]
However, it is considered difficult or even impossible to visualize a well-ordering of
R; such a visualization would have to incorporate the axiom of choice.[5]
1904年、ギュラ・ケーニヒはそのような整列は存在し得ないことを証明したと主張した。
数週間後、フェリックス・ハウスドルフは証明に間違いを見つけた。[ 6 ]
しかし、第一階述語論理では整列定理は選択公理と等価であることが判明した。
つまり、選択公理が含まれたツェルメロ-フレンケル公理は整列定理を証明するのに十分であり、逆に、選択公理はないが整列定理が含まれたツェルメロ-フレンケル公理は選択公理を証明するのに十分である。
（同じことはゾルンの補題にも当てはまる。）
しかし、第二階述語論理では、整列定理は選択公理よりも厳密に強い。
つまり、整列定理から選択公理を演繹できるが、選択公理から整列定理を演繹することはできない。[ 7 ]
上下前次1-新書関写板覧索設栞歴
あと 91 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s