現代数学の系譜 カントル 超限集合論at MATH
現代数学の系譜 カントル 超限集合論 - 暇つぶし2ch16:132人目の素数さん
19/10/05 11:12:09.27 kZwmbLNI.net
>>14
>フォン・ノイマン宇宙の
>「0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合」
>を認めると、空集合Φ={}に、ω回冪集合の演算を繰り返して
>ツェルメロ構成で、集合 {{…{}…}}({}の多重無限)が、出来ました
出来ません
Vωのことなら、その要素は遺伝的有限集合になりますが、すべて{}は有限重です
そこからさらに1回冪集合の演算を繰り返した場合
はじめて無限集合が出来上がりますが、その場合も
要素、その要素・・・ととっていった場合、必ず有限回で空集合に至る、
という意味で{}は有限重です
ところで>>11でID:o3KPqddg氏から
{{…{}…}}({}の多重無限)について
ω以外の名前を付けて区別するよう求められましたので、
別の名前をつけてください


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch