[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
677: １３２人目の素数さん [sage] 2019/12/07(土) 17:47:43.87 ID:r8l5YtX/ >>675 最後には空集合に到達してしまいます。 Xが正則性の条件を満たすなら自動的にF(X)も正則性の公理を満たします。 何故ならF(X)=x0∋x1∋‥なる列(有限でも無限でも)に対してx1は定義から X=y0∋y1∋‥∋yn=x1 となる列が見つかりますが、繋げればXスタートの降差列になります。 すなわち Xが正則性の条件を満たす⇔F(X)が正則性の公理を満たす です。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/677
678: １３２人目の素数さん [] 2019/12/07(土) 18:15:32.97 ID:uZFmzNJe >>677 話 聞いてますか？ >>644ではF(X)でなくFと書いてます >>644の誤りを述べているのですり替えはやめましょうね シングルトンとは「唯一の要素を持つ集合」ですよね つまり空集合はシングルトンではないですよね その場合>>644の書き方では空集合はFの要素になりませんね しかもシングルトンしかない上に、その要素も シングルトンとしてFの要素になるといってるから いつまでたっても終わりませんよ つまり正則性公理を満たしませんね http://rio2016.5ch.net/test/read.cgi/math/1570237031/678
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s