TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
まだ中学生だけど大学の数学科に行きたい
現代数学の系譜11 ガロア理論を読む24
skypeで数学勉強会
東京理科大学理学部数学科・数理情報学科
小学校のかけ算順序問題×15
「理論物理学のための幾何学とトポロジー」
0.99999……は１ではない その８
≒≒≒≒≒≒≒≒≒ 数学アカデミー
フェルマーの最終定理の簡単な証明2
現代数学の系譜11 ガロア理論を読む26
- 67 ：
- >>66
つづき
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
フォン・ノイマン宇宙
(抜粋)
フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される。
空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。Vの集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。
Vと集合論
ω を自然数全体の集合とすると、Vωは遺伝的有限集合全体の集合であり、無限公理の成り立たない集合論モデルである。Vω+ωはordinary mathematicsの宇宙であり、ツェルメロの集合論のモデルである。
K が到達不能基数ならば、VKはZFCのモデルである。そして、VK+1はモース-ケリー集合論のモデルである。
V は二つの理由によって、"全ての集合による集合"とは異なるものである。第一に、これは集合ではない。
各階層Vαがそれぞれ集合でも、その和であるVは真のクラスであるからだ。第二に、Vの要素は全て整礎集合に限られている。
正則性公理は全ての集合が整礎的であることを要求していて、だからZFCでは全ての集合がVに属する。
しかし、正則性公理を除いたり否定するような別の公理系を考えることも可能である(例えばen:Aczel's anti-foundation axiom)。
このような非整礎集合の集合論は一般的に採用はされていないが、研究する余地はある。
関連項目
宇宙 (数学)
構成可能集合
グロタンディーク宇宙
到達不能基数
(引用終り)
以上
東京理科大学理学部数学科・数理情報学科
ユークリッド幾何学は中学・高校数学から撤廃すべき
整数論の一番良い本教えろ
前の人があげた数を素因数分解するスレ
分からない問題はここに書いてね459
Inter-universal geometry と ABC予想 42
ホモトピー,ホモロジー,ホモロジー代数コホモロジー
現代数学の系譜 工学物理雑談 古典ガロア理論も読む41
現代数学の系譜 工学物理雑談 古典ガロア理論も読む44
整数論を勉強するためのスレッド
--------------------
◆◆マンションに住む奥様や買う奥様(IDなし) 58部屋目◆◆
ヤヴァイ！思わずイってしまいそうなエロい曲
【治療から】痛々しい不妊様137【出産まで
【熱海】東海道線静岡口スレ84【浜松】
【無慈悲】中国紙「韓国ごときがG7に参加？」 [動物園φ★]
まんｷｭﾝってなん×246なんだよ
【テレビ】＜広瀬すず“＞ケンカの仕方”がコワ過ぎる！「性格悪い」「気が強そう」
逮捕者続出 女性専用男性セラピストアロマ
矢沢永吉 Part244
【悲報】上智の女子大化が止まらない
【ANA】50000PP修行スレ NH90便【SFC】
【韓経/中央日報】：米ＧＭ社長の警告「労組スト継続すれば韓国での生産他国に移転も」[9/4]
【懐中電灯】ホムセン最強フラッシュライト NO.140
★痛い一徹ファンヲチスレ１４
【急募】鈴木愛理マネージャー「本日の鈴木愛理アコースティックライブ名古屋公演も当日券がございます！是非お越しください！！！」
§e。e§初代リカ限定スレ§e。e§
毒男の怖い話とか音楽とか雑談とか
【汚物】篠@山は性癖です【NHK拒否】Part19
常磐あおりデマ加害者のつどい
暇な奴、吸入→圧縮→燃焼→排気でスレを回そうぜ 16周目
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
