メモ
https://elecello.com/works.html
elecello.com 近藤 友祐 (KONDO, Yusuke)
所属: 神戸大学 大学院システム情報学研究科 情報科学専攻 情報基礎講座 情報数理グループ(CS32) 博士課程前期課程
つくったもの集合論ノート
公理的集合論の話題を断片的に。 話題の順序には特に意味もなく,self-containedでもないし体系的でもありません。 小さなミスから致命的なミスまで,間違いが多く混入していると思います。これらのPDFの内容を鵜呑みにしないでください。
インターネットは常に有益であってほしいと願っています。インターネットの海を汚染したくないので, 誤りがあればメール等でご指摘いただけると有難く思います。修正または取り下げをします。
文書作成にあたって,テキストの丸写しにならないように心がけていますが,著作権的に問題がある箇所があればご一報願います。
https://elecello.com/doc/set/set0005.pdf
集合論ノート 0005 モストフスキ崩壊補題 (Mostowski Collapse Lemma) 近藤友祐 初稿: 2018/02/22 更新: 2019/09/16
本稿では,集合論の推移的 ∈-モデルを作るにあたって重要な,モストフスキ崩壊補題について述べる.
系7 (集合版モストフスキ崩壊補題). 二項関係R が集合A 上整礎かつ外延的であると仮定する.このと
き,(A,R)〜= (M, ∈) を満たす推移的集合M がただ一つ存在する.
次の系は,例えば強制法においてZFC の十分大きな部分を満たす可算推移モデルをとって云々する流儀に
おいて有用である.反映原理でZFC のデカい部分のモデルをとり,レーヴェンハイム=スコーレムでサイズ
を可算に落とし,モストフスキで潰して推移的にし,ラショーヴァ=シコルスキの補題でジェネリックフィル
ターをとる,という流れは必殺技のコンボっぽくてカッコいい.
系8 (∈-モデルに関するモストフスキ崩壊補題). 基礎の公理を仮定する.(A, ∈) |= 外延性公理ならば,
同型(A, ∈)〜= (M, ∈) を成り立たせる推移的集合M が唯一つ存在する.
系9. 任意の整列集合に対し,それと順序同型な順序数が一意に存在する.したがって整列集合(X,<)
の順序型type(X,<) を,”(X,<) と順序同型な唯一の順序数” として定めることができる.
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
■ このスレッドは過去ログ倉庫に格納されています
261現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2019/09/17(火) 00:06:22.15ID:tQvoYsxH■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカー】「W杯史上最悪の試合」パラグアイ-オーストラリア0-0に批判噴出「共謀」「調査されるべき」 [ゴアマガラ★]
- 移民受け入れ多い先進国は大きな経済的恩恵を享受=論文 ★2 [首都圏の虎★]
- 高市政権、イランに16億円の緊急無償資金協力 イラン国民に生活必需品や食料を配布 [お断り★]
- ゴーン元会長、復帰に意欲 「日産は非常事態」 [少考さん★]
- 【W杯】日本はF組2位で3大会連続決勝T進出 1回戦で王国ブラジルと激突 スウェーデンと1-1ドロー ★10 [恐縮です★]
- 国旗損壊罪「愛国心醸成される」 維新が提出者として答弁、衆院内閣委 [おっさん友の会★]
- 🏡ちょちゅえ😲👊😅👊😲ちょちゅえ🏡
- ご 注 文 は
- 自宅のトイレと脱衣所にカメラを設置して偵察した疑いで逮捕 自衛官 [817148728]
- 日本、レアアース不足で「詰み」始める。原因は高市 [838847604]
- 【速報】トンカツ民、キャンセル確定wwwwwwwwwwwwwww [746833765]
- 土方バブル到来、中卒(27)で年収1,000万円wwwwwwwwwwwwwwwwwwwwwwwww [398059782]