[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
67(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)08:13 ID:cMDg8k3q(3/6) AAS
>>66
つづき
外部ﾘﾝｸ:ja.wikipedia.org
フォン・ノイマン宇宙
(抜粋)
フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される。
空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。Vの集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。
Vと集合論
ω を自然数全体の集合とすると、Vωは遺伝的有限集合全体の集合であり、無限公理の成り立たない集合論モデルである。Vω+ωはordinary mathematicsの宇宙であり、ツェルメロの集合論のモデルである。
省13
81(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/12(木)23:53 ID:cMDg8k3q(6/6) AAS
>>77-78
言い訳必死だな、サルはｗ（＾＾
・∈−順序は、公理的集合論ＺＦＣの目玉の重要キーワードでしょ？
これで、帰納法及び超限帰納法が可能になるんだ
・フォン・ノイマン宇宙（>>67）も、重要キーワードでしょ？
「V=WF ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す」
そして、フォン・ノイマン宇宙で、学部数学なら展開できる
フォン・ノイマン宇宙では、∈−順序が成り立ち、∈が推移律を保つ
・推移律：x∈y∈z で、ここでｘはｙの任意の元として、ｘに対し∀x∈zが成立→即y⊂z成立 かつ x⊂z成立
・これで（フォン・ノイマン宇宙で）、ベン図に反例はない
省5
138(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/14(土)11:28 ID:QdZ5TU5n(7/19) AAS
>>137
つづき
以下、余談だがご参考まで（＾＾；
(>>67)
外部ﾘﾝｸ:ja.wikipedia.org
フォン・ノイマン宇宙
(抜粋)
定義
この累積的階層は順序数のクラスによって添え字付けられた集合Vαの集まりであり、特に、Vαは階数α未満の集合全てによる集合である。ゆえに各順序数 α に対して集合Vαが超限帰納法によって以下のように定義できる:
・V0は空集合, {}とする。
省18
155(1): 2019/09/14(土)16:22 ID:VYIPOabR(16/30) AAS
>>154
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
５． ニワトリ、完全に集合＝順序数、と誤解するトンデモぶりｗ >>81
>>・∈−順序は、公理的集合論ＺＦＣの目玉の重要キーワードでしょ？
>> これで、帰納法及び超限帰納法が可能になるんだ
>>・フォン・ノイマン宇宙（>>67）も、重要キーワードでしょ？
>> フォン・ノイマン宇宙では、∈−順序が成り立ち、∈が推移律を保つ
>>・推移律：x∈y∈z で、ここでｘはｙの任意の元として、
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s