[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
259: 2020/01/03(金)11:27 ID:glmNLmg1(1/11) AAS
>>250
>極限は存在する
その言い方は誤り
「極限となる集合を構成できる」が正しい
で、Zermelo構成（suc(a)={a})の場合、
どういう性質を維持してωを構成できるか
が重要
省15
260: 2020/01/03(金)11:29 ID:glmNLmg1(2/11) AAS
>>251
>”（無限大をとることを許せば）”
今なすべきことは「無限大」をどうやって構成するかなので
”（無限大をとることを許せば）”は論点先取の誤り
261: 2020/01/03(金)11:33 ID:glmNLmg1(3/11) AAS
>>252
>完備化という概念がある
>完備化 (順序集合)
>”Dedekind cut”について、説明されている
>カントールは、完備化にコーシー列を使ったという
今やろうとしてるのは
Qの完備化ではなくNの完備化
省1
262: 2020/01/03(金)11:38 ID:glmNLmg1(4/11) AAS
>>253
>今問題になっているのは
>1,2‥の上極限としてどのような集合をあてがうべきなのか
その通り
>今は、あなたの主張である
>Zermelo流ではωにあてがわれる集合Ωとしては
>Ω自身も、その元も、そのまた元も、‥
省15
263: 2020/01/03(金)11:54 ID:glmNLmg1(5/11) AAS
>>254
>有理数よりなるコーシー列 (xn) の極限は、
>Q内の場合もあれば、Q外の場合もあるってこと
Qは局所コンパクトじゃないから当然
しかし今の議論には全然関係ない
>有限の場合に外側に{}があるの無いのとか、
有限なら最外側の{}は存在します
省24
264: 2020/01/03(金)12:01 ID:glmNLmg1(6/11) AAS
>>255
>Neumann流、Zermelo流に拘らずに、もっと一般に後者関数を考えるべき
>そうすれば、自然に後者関数のn→∞の極限の概念に到達するだろう
できませんね
そもそも後者関数を一般した場合
まっさきに考えるべきことは
いかにして＞を構成するか、です
省16
265: 2020/01/03(金)12:05 ID:glmNLmg1(7/11) AAS
>>256
>極限 lim n→∞ xnが、その属する集合の外に出たことをもって
>「正則性公理に反する」などと、噴飯ものの議論でしかないのです
全く見当違い
無限重シングルトン{・・・{}・・・｝だといったから
定義次第では正則性公理に反すると指摘されたまで
最外側の{}がない・・・{}・・・ならそもそも集合でない
省4
266: 2020/01/03(金)12:09 ID:glmNLmg1(8/11) AAS
>>257
>一番右のΦを残すように不要の{}とΦを除く操作
質問
Neumann構成のωの「最も右の要素」はズバリ何ですか？
この質問を突き付けられた時点で
上記の操作が不可能であると悟りましょう
（存在しない要素を永遠に探す馬鹿はいない）
省4
267: 2020/01/03(金)12:12 ID:glmNLmg1(9/11) AAS
>>258
VωにもVにも要素中に
「可算無限重シングルトン」
は存在しませんが
存在するといい切るなら証明してごらん
で・き・な・い・か・ら（＾＾）
273: 2020/01/03(金)15:47 ID:glmNLmg1(10/11) AAS
>>176＆>>257 何がどうトンデモか？
・ωの中に「最大の自然数」があるｗ
・Ｖω＋ωの要素の中に「…{{}}…」があるｗ
もちろんどちらも全くの「ウソ」である
結論：◆e.a0E5TtKEは頭が悪い！
275: 2020/01/03(金)17:43 ID:glmNLmg1(11/11) AAS
◆e.a0E5TtKEのトンデモ発言
1．{}∈{{}}、{{}}∈{{{}}} だから {}∈{{{}}}!
2．{{}}はシングルトン、{{{}}}はシングルトン、・・・
だから…{{}}…(可算無限重)はシングルトン！
正真正銘の馬鹿ですな…
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.076s