[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
711: 2021/02/19(金)10:38 ID:J7Kqz6z/(2/2) AAS
半群にStone-Cechコンパクト化を施すと、どういうわけかラムゼー理論と相性がよく、
ラムゼー理論の色々な定理がめちゃくちゃ簡単に証明できてしまい、
さらには既存の定理の拡張でさえも同じ方法で示せてしまう。
しかも、そのようにして得られた定理の大半は、初等的な証明が知られていない。
また、初等的に示せる場合でも、その証明は複雑怪奇で、とても読めたものではない。
それが、Stone-Cechコンパクト化を経由すると(定理の拡張も含めて)簡単に証明できてしまう。
ここまでくると、「この分野はこのやり方が正解」と言わざるを得ない。
ところで、Stone-Cechコンパクト化には普通は選択公理が必要で、
特にラムゼー理論に応用するときには選択公理が避けて通れない。
つまり、選択公理を経由することでラムゼー理論の色々な定理が
省5
上下前次1-新書関写板覧索設栞歴
あと 291 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s