[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
261(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/11(金)10:29 ID:RRsRScoq(1/4) AAS
>>251
メモ：現代数学の”無限”のランドスケープ
追加
外部ﾘﾝｸ:ja.wikipedia.org
デデキント無限
(抜粋)
ZFにおけるデデキント無限
省15
262(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/11(金)10:29 ID:RRsRScoq(2/4) AAS
>>261
つづき
選択公理との関係
整列可能な任意の無限集合はデデキント無限である。ACは任意の集合が整列可能であることを述べた整列可能定理と同値であるから、ACから無限集合はデデキント無限集合であるということが簡単に導かれる。しかしながら、無限とデデキント無限の同値性はACよりもっと弱いものである。すなわちこの同値性を仮定してもACは導かれない。
とくに可算無限な部分集合を持たない無限集合の存在するようなZFのモデルが存在する。このモデルでは無限だがデデキント有限である集合が存在する。以上よりそのような集合はこのモデルにおいて整列不可能である。
可算選択公理CC（ACω）を仮定すればいかなる無限集合もデデキント無限であることが証明される。しかしながら、この同値性は、実際にはCCより真に弱い。（ZFの無矛盾性の仮定のもとで）CCは成立しないが2つの無限集合の定義の同値性が成り立つZFのモデルが存在する。すなわちこの同値性を仮定してもCCは導かれない。
可算選択公理を仮定した無限との同値性の証明
省4
263: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/11(金)10:31 ID:RRsRScoq(3/4) AAS
>>259
一言だけいっとくと、貴様、安達は自分より下だと思ってるみたいだけど
はっきりいって、貴様の数学の理解度は安達よりも上だとしても、ほんの少しだよｗ(゜ロ゜;
264(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/11(金)10:48 ID:RRsRScoq(4/4) AAS
>>262
念押しな（＾＾
(引用開始)
可算選択公理を仮定した無限との同値性の証明
デデキント無限集合が無限であることはZFで容易に証明される。実際、任意の有限集合はある有限順序数と等濃であって、有限順序数がデデキント有限であることは帰納法により証明できる。
可算選択公理を用いることによって、その逆が証明できる。つまり、無限集合はデデキント無限である
(引用終り)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s