TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
チラシの裏 ２枚目
現代数学の系譜 工学物理雑談 古典ガロア理論も読む47
虚数は存在するか？
数学書が高すぎる、安くで学びたい
京大生以外は数学語るな
10以外で一番10に近い数を挙げたやつ優勝
ピタゴラス数をなんと 〜荒らされたので立て直しました〜
現代数学の系譜11 ガロア理論を読む21
【自称数学者】三鷹の大類昌俊 Part7【つどい出禁】
東京理科大学理学部数学科・数理情報学科
- 89 ：
- >>84
>フォン・ノイマン宇宙自体は推移的であっても
>フォン・ノイマン宇宙の全ての集合が推移的なわけではない
意味分かんねー（＾＾
”フォン・ノイマン宇宙の全ての集合が推移的なわけ”ですよね
∵ フォン・ノイマン宇宙は、「0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス」
（参考）
https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86
正則性公理
(抜粋)
V=WF
ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。
ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。
したがって、例えばx={x}のような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない。 WFは通常の集合演算に関して閉じているため、ZF公理系から得られる全ての真なる命題がZF公理系においても真となることが分かる。
このため、WF内で通常の数学を展開できることが知られている。
実際、x={x}のような集合の存在はZF公理系からは独立だが、数学を展開する上でこのような集合が現れることはない。
その一方で、正則性の公理は必ずしもZF公理系を拡張するために必要なものではないが、ZF公理系と他のいくつかの命題が独立であることを証明する際にその効果を発揮する。
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の公理に解釈や動機を与えるためにしばしば用いられる。
つづく
【数学者】大類昌俊【総合】 Part3
現代数学の系譜11 ガロア理論を読む28
関数解析（Functional Analysis）
1÷0ってなんで答えが定義されてないの？
三角関数っていつ使うんだよ。
皆本健太郎の東方project
松坂君の日記
現代数学の系譜 工学物理雑談 古典ガロア理論も読む82
問題文一行の超難問を出し合うスレ
現代数学の系譜11 ガロア理論を読む23
--------------------
Test [実況会場]
綾波ファンアンチスレ
香水（フレグランス）雑談スレ 12
おまいらそろそろ戦争起きると思う？
名前がおかしいバス停
実質なんでも150
【韓国】安倍首相発言に反発＝「経済報復と証明」[8/6]
中国史を語る上で欠かせない割に謎の存在「宦官（かんがん）」とは何者なのか [621794405]
● 成成明学獨國武 ＝ 関関同立 （偏差値55〜59.9）
【中央日報】「ライトハイザー米通商代表部代表もＷＴＯ改革支持…日本が犠牲に」具体的な発言が米政府要人から出たのは初めて[05/24]
中に出すぞって言いながら本当に出す奴いるの？
Mozilla Lightning/Sunbird Part2
toto実況
三浦大知 Chapter.88
ぐりりんのスレ４
実質15258
【疑問】HKTの選抜決定おかしくね？
いきなりステーキ Part.13
JUDAS PRIEST vol.88
Windows98を使い続けるよ Part20
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
