[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
644: １３２人目の素数さん [sage] 2019/12/07(土) 15:58:02.67 ID:xYeMsbxM 前に集合Xに対し集合Ｆを X∈F Y∈F､Ｚ∈Ｙ⇒Z∈F を満たす最小のクラスとしたとき、 Fの任意の元がシングルトン⇒Fは有限集合 の証明を書いたんだけど、まるで理解できなかったらしい。 証明書く能力はおろか、人が書いた証明を読む能力がまるでない。 曰く、その能力を身につけるつもりもサラサラないそうな。 数学に興味はあるけど、数学を理解するつもりは全然ないというスタイルらしい。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/644
647: １３２人目の素数さん [] 2019/12/07(土) 16:13:06.06 ID:uZFmzNJe >>644 ＞X∈F ＞Y∈F､Ｚ∈Ｙ⇒Z∈F ＞Fの任意の元がシングルトン⇒Fは有限集合 これ、本当ですか？ 第一の疑問 「Fの任意の元がシングルトンの場合、 任意のY∈Fについて、Ｚ∈ＹなるZがとれるので 降下列が終わらないのではないか？」 第二の疑問 「仮にFの任意の元がシングルトンもしくは空集合、とした場合 Fを{{},{{}},{{{}}},…}とすれば、Fは無限集合だが Y∈F､Ｚ∈Ｙ⇒Z∈Fを満たすのではないか？」 http://rio2016.5ch.net/test/read.cgi/math/1570237031/647
650: １３２人目の素数さん [] 2019/12/07(土) 16:28:57.46 ID:uZFmzNJe >>649 >>28のことなら、>>644とは違いますね http://rio2016.5ch.net/test/read.cgi/math/1570237031/650
652: １３２人目の素数さん [] 2019/12/07(土) 16:36:08.72 ID:uZFmzNJe >>327かな それでも>>644とは違いますね http://rio2016.5ch.net/test/read.cgi/math/1570237031/652
661: １３２人目の素数さん [] 2019/12/07(土) 16:59:47.35 ID:uZFmzNJe >>658 別にあなたが成りすましてるといいたいわけではないが >>644がちょっとあり得ないレベルの粗雑化なので あれじゃ、書く意味ないですよね http://rio2016.5ch.net/test/read.cgi/math/1570237031/661
669: １３２人目の素数さん [] 2019/12/07(土) 17:27:31.65 ID:uZFmzNJe >>667 >>644の「Fの任意の元がシングルトン⇒Fは有限集合」の話ですよね？ 「Fの任意の元がシングルトン」でY∈F､Z∈Ｙ⇒Z∈Fなんですよね？ で、Fはそもそも正則性公理を満たしますか？ http://rio2016.5ch.net/test/read.cgi/math/1570237031/669
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