[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
367(2): １３２人目の素数さん [] 2021/11/17(水) 08:33:41.89 ID:SyxUn7xV(1/4) AAS
>>362
>答えられないんですね？
読めば？ｗ
https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/fujita0.pdf
集合・濃度・順序数・基数
藤田 博司
愛媛大学理学部
2019 年 9 月 3 日
数学基礎論サマースクール 2019 @静岡大学
>>363
> 1. ε∋ε∋ε∋… なる∈無限下降列が存在するからεは正則性公理を満たさない。
それ間違っているよ
かつ、反基礎の公理も考えられるから（下記）、
正則性公理でそのような集合が否定されるわけではないよ
単に、正則性公理の外かも知れないってことだけ
http://pssj.info/program_ver1/program_data_ver1/35/ws/mukai.pdf
超集合論?circularityの論理の現在?
(ワークショップ資料)
向井国昭
慶應義塾大学湘南藤沢
2002/11/10
P4
超集合論は, ZFC の FA(基礎の公理) を AFA (反基礎の公理,Anti-Foundation Axiom) に置き換えて得られる集合論である．
373(5): １３２人目の素数さん [] 2021/11/17(水) 20:52:00.29 ID:SyxUn7xV(2/4) AAS
>>372
>ω={x}という形で表すことはできない
>なぜなら0,1,2,…の中に最大元は存在しないから
できるよ
順序数の並び 下記
0, 1, 2, 3, ............
すべての（有限）自然数が並び終える
（可能無限＝エンドレス無限とすれば、”（有限）自然数が並び終える”とするのは形容矛盾ですがねｗ ）
これを、そのまま
ω={0, 1, 2, 3, ............}とすれば良い
ここに、｛｝内にすべての（有限）自然数が入っている
それで良いでしょ？
｛｝を外す
0, 1, 2, 3, ............ となる
”............ ”の部分は、ワケワカ状態だ
けど、その状態が存在することを（無限）公理として認めましょう
というわけだ
それを認めたら
…{{}}… （>>369） も認めるべし。 ”…”の部分は、ずーと無限に続いている（可能無限＝エンドレス無限）
こちらを認めないならば、0, 1, 2, 3, ............の、
”............ ”の部分も認めちゃいけない（つまりは有限で、自然数Nは有限集合）ことになるぞｗ
同じだよ
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω,
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。
そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。
374: １３２人目の素数さん [] 2021/11/17(水) 20:53:12.63 ID:SyxUn7xV(3/4) AAS
>>371
それ>>373なｗ
376(6): １３２人目の素数さん [] 2021/11/17(水) 23:43:40.41 ID:SyxUn7xV(4/4) AAS
>>373
(引用開始)
順序数の並び 下記
0, 1, 2, 3, ............
すべての（有限）自然数が並び終える
（可能無限＝エンドレス無限とすれば、”（有限）自然数が並び終える”とするのは形容矛盾ですがねｗ ）
これを、そのまま
ω={0, 1, 2, 3, ............}とすれば良い
ここに、｛｝内にすべての（有限）自然数が入っている
(引用終り)
なんか分かってない人が居る
自然数の集合N（=ω）={0, 1, 2, 3, ............}
Nの元 ∀n 、これは全て有限です
全て有限ですが、これを全て集めた{0, 1, 2, 3, ............}は、無限集合です
この話は、結構微妙なバランスで成立しているのです
{0, 1, 2, 3, ............}を、{0, 1, 2, 3, ........,n}として、ある有限nで打ち切ってはいけない
ある有限nで打ち切ると、自然数の集合Nは有限集合になってします
ここの理解には、元 nの有限性を強く読むと、ここは理解できない
個々の元 nは有限だけれども、元 nには上限は無く、それを全部集めると無限集合ができる
個々の元 nは有限だけれども、元 nは上限が有ってはいけない。上限があると、有限集合しかできない
では、有限の元を全部集めたら無限集合にできるのか？ という疑問が出る
その疑問は当然です。その疑問を封じるための公理が、無限公理です
無限公理があるから、有限の元を全部集めて、
無限集合が出来るべしという仕掛けです
さて、自然数の集合N（=ω）={0, 1, 2, 3, ............}ができると
時枝の無限個の箱>>345も可能です。□0,□1,□2,□3, ...........です
無限個のカッコ "｝"も同様です。}0,}1,}2,}3, ...........です。これ右側です
鏡映しで、左側...........,3{,2{,1{,0{ も可です
左右合わせて、...........,3{,2{,1{,0{}0,}1,}2,}3, ........... となります
これぞ、可算多重シングルトン・・・,{,{ },},・・・です。これは、厳然と存在します
自然数の集合N（=ω）={0, 1, 2, 3, ............}ができると、ここまで必然です
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s