>>723
>累積hierarchyの最初のいくつかのレベルで作成された集合を調べることによって、または他の手段から、おそらく集合の構築のアイデアを検討することにより、集合が無限の降順シーケンスを持つことを期待しないと結論付けます
>x0∋x1∋x2∋x3∋x4∋…
>少なくとも、構築された集合の累積hierarchy内の集合については。
言いたいことは、単純で
無限の降順シーケンス
x0∋x1∋x2∋x3∋x4∋…
は、ダメってことね
で、
無限の上昇シーケンス
x0∈x1∈x2∈x3∈x4∈…
は、OKってことね
で、2つのシーケンスを比較する
降順:x0∋x1∋x2∋x3∋x4∋…
上昇:x0∈x1∈x2∈x3∈x4∈…
シーケンスの長さとしては、どちらも可算無限
で、降順はダメで、上昇はOK
∵ 上昇シーケンスを禁止したら、Zermelo-Fraenkel集合理論の公理から、可算無限 例えば自然数Nの無限列が生まれないから、自然数Nが生まれない
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
724現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/12/14(土) 08:03:47.91ID:s6Tab8iq■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「耐え抜け」 関税発動でアメリカ国民に檄「これは経済革命、われわれは勝利する」 [Hitzeschleier★]
- 「トランプは退陣を」 米各地で抗議デモ、最大規模 ★5 [蚤の市★]
- 【芸能】上沼恵美子、中居正広氏に激怒「クズやな!」「女をモノ扱いにして」「最悪やわ」 [Ailuropoda melanoleuca★]
- 【大阪】ドラッグストア「コスモス」が謝罪、「無断駐車」警告は誤り 共用駐車場の認識不足が原因 ★2 [ぐれ★]
- 上沼恵美子 中居氏・フジ問題でファンに釘刺す「誘われて行った女性も悪い、とか言わんといてね!」 [ひかり★]
- 【動物】なぜ千葉で? 施設脱走し「キョン」大繁殖 8万頭超どう向き合う [ぐれ★]
- 𝒉𝒐𝒖𝒔𝒆🏡
- 【関税発動】トランプ大統領、アメリカ国民に檄、「耐え抜け」 [419054184]
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★4
- 【石破】 Yahoo ID、勝手に停止されて生活が詰む人が急増 [732912476]
- 【悲報】日本政府「関税がこんなに高いなんて寝耳に水だった。びっくりしている」びっくりしている模様 [673057929]
- 奈良市議会のハラスメント調査結果…「維新議員が怒鳴り込んできた」「赤旗の勧誘を禁止して」など悲痛な声 [481941988]