現代数学の系譜工学物理雑談古典ガロア理論も読む77

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

261: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/17(火) 00:06:22.15 ID:tQvoYsxH

メモ
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,<) と順序同型な唯一の順序数” として定めることができる．

http://rio2016.5ch.net/test/read.cgi/math/1568026331/261

289: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/18(水) 07:38:35.48 ID:3KrCaRK2

>>261 補足説明
(引用開始)
https://elecello.com/doc/set/set0005.pdf
集合論ノート 0005 モストフスキ崩壊補題 (Mostowski Collapse Lemma) 近藤友祐 初稿: 2018/02/22 更新: 2019/09/16
(引用終り)

ここに出てくる”推移的”、”set-like”、”整礎的”、”外延的”、”クラス”の補足、下記ご参照

（参考）
https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E9%96%A2%E4%BF%82
二項関係
(抜粋)
集合上の関係
集合 X 上の二項関係のいくつか重要なクラスとして、以下のようなものを挙げることができる：
・推移的 (transitive)
X の各元 x, y, z について、x?R?y かつ y?R?z ならば x?R?z となるとき、関係 R は推移的であるという。
「先祖である」という関係は推移的である。実際、x が y の先祖で、y が z の先祖ならば、x は z の先祖である。
・集合的 (set-like)
集合 X の任意の元 x に対して、y?R?x となるような y 全体の成すクラスが集合であるような関係は、集合的（あるいは集合状、集合様）であるという。
（これは真のクラス上の関係を認める場合でないと意味を持たない）
順序数全体の成すクラス上の通常の順序関係 "<" は集合的関係だが、その逆順序 ">" は集合的ではない。
・整礎的 (well-founded)
X の任意の空でない部分集合Aが極小元a(Aのどの元xもxRaとならない)を持つときR は整礎的であるという。
自然数上の大小関係"?"は整礎的である。正則性公理を仮定すると∈は任意の集合上で整礎的である。
・外延的 (extensive)
X の任意の元 x, y について、X の任意の元 z について zRx ⇔ zRy　が成り立てば必ず x = y となるとき R は外延的であるという。
全順序は外延的である。∈は任意の集合上で外延的である。

反射的、対称的かつ推移的な関係は同値関係（あるいは等値関係）と呼ばれる。
反射的、反対称的かつ推移的な関係は半順序である。半順序が完全ならば全順序、単純順序、線型順序あるいは鎖などと呼ばれる[3]。
整礎的な線型順序は整列順序と呼ばれる。
ある関係が対称、推移的かつ連続的ならば必ず反射的である。
(引用終り)

つづく

http://rio2016.5ch.net/test/read.cgi/math/1568026331/289

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.034s