[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (802ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
14(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)11:03 ID:JrhjRl4x(8/46) AAS
>>7
つづき
>「フォン・ノイマン宇宙、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス」
>という存在を認めることにしましょう
さて、この前提で
下記より、冪集合で P({a})={Φ,{a}}
つまり、 P({a})は{a}という一元集合の冪集合です
ここで、{Φ,{a}}から、{{a}}という集合を作ることができるということを認めることにしましょう
（注：{Φ,{a}}から、元Φを取り除くだけですけど（多分、分出公理を使う）
あるいは、 P({Φ,{a}})={Φ,{Φ},{{a}},{Φ,{a}}}としても、{{a}}は作ることができる ）
まあ、要するに
{a}という集合に対して、一つ{}が多い{{a}}を、冪集合作る操作で、構成することができるということ
ここで、フォン・ノイマン宇宙の「0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合」を認めると
空集合Φ={}に、ω回冪集合の演算を繰り返して
ツェルメロ構成で、集合 {{…{}…}}（{}の多重無限）（>>4）が、出来ました（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
冪集合
(抜粋)
冪集合（べきしゅうごう、英: power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。
定義
集合 S が与えられたとき、S のどの部分集合をも元とする集合
P(S):={A：a set｜A⊆S}}
を S の冪集合と呼ぶ。例えば
・ P({a})={Φ,{a}}
外部ﾘﾝｸ:tnomura9.exblog.jp
tnomuraのブログ
冪集合公理 by tnomura9 | 2018-02-02 08:02
(抜粋)
これまで調べた、外延性の公理、空集合の公理、対の公理、和集合の公理、冪集合公理から構築できる公理的集合論の世界は、空集合 {} を base case にして {{}}, {{{}}}, {{}, {{{}}}}, などのように有限集合を無限に作り出していく集合の生成体系で、そのなかでは和集合の演算が導入されている。
また、その中にはそれらの集合の冪集合も含まれる。
上下前次1-新書関写板覧索設栞歴
あと 788 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s