[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
7(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:22 ID:JrhjRl4x(7/46)調 AAS
>>6
つづき
まず、タイポ訂正
そして、無限上昇列が出来たら、それを逆に辿る、無限下降列でしょ
↓
そして、無限上昇列が出来たら、それを逆に辿ると、無限下降列でしょ
分かると思うが（＾＾
さて、>>4より
(引用開始)
議論の前提として、ある程度、標準的に認められている現代数学の成果
テキストや、ウェブサイトにある、現代数学の成果は認めるものとしましょう
（そうしないと、全てを公理からの構成や厳密な証明を求めるようなことをすると、余白が足りない（時間も足りない））
(引用終り)
これを合意したものとして
下記、正則性公理より、
「フォン・ノイマン宇宙、WFは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に通常の集合演算を施すことによって得られるものだけに制限することを主張している。
(引用終り)
つづく
12(1): 2019/10/05(土)10:59 ID:kZwmbLNI(4/44)調 AAS
>>7
＞「フォン・ノイマン宇宙、WFは0に冪集合の演算を有限回、
＞ あるいは超限回繰り返して得られる集合全体のクラス」
＞という存在を認めることにしましょう
上記を認めても、1の言われる
{{…{}…}}（{}が無限重）
がフォン・ノイマン宇宙に入っていないので
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）が、出来ました（＾＾
https://ja.wikipedia.org/wiki/%E5%86%AA%E9%9B%86%E5%90%88
冪集合
(抜粋)
冪集合（べきしゅうごう、英: power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。
定義
集合 S が与えられたとき、S のどの部分集合をも元とする集合
P(S):={A：a set｜A⊆S}}
を S の冪集合と呼ぶ。例えば
・ P({a})={Φ,{a}}
https://tnomura9.exblog.jp/26409538/
tnomuraのブログ
冪集合公理 by tnomura9 | 2018-02-02 08:02
(抜粋)
これまで調べた、外延性の公理、空集合の公理、対の公理、和集合の公理、冪集合公理から構築できる公理的集合論の世界は、空集合 {} を base case にして {{}}, {{{}}}, {{}, {{{}}}}, などのように有限集合を無限に作り出していく集合の生成体系で、そのなかでは和集合の演算が導入されている。
また、その中にはそれらの集合の冪集合も含まれる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s