[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
418(1): 2021/11/21(日)07:56 ID:ZtueUz+V(1/15) AAS
>>411
{{…{{}}…}}が集合でないという問題には取り合えず目を瞑ったとして。。。
後者関数 s(x)={x}、ω={{…{{}}…}} と定義した場合
ωの前者 {…{{}}…} が存在する！
後者関数 s(x)=x∪{x}、ω={0,1,2,…} と定義した場合
ωの前者は {0,1,2,…} から最大限を取り除いた集合であるが、んなものは存在しない。
>あんたの論法では、ノイマン構成 ωも同じく、「ωは後続順序数で、極限順序数の定義に反する」となるぜ
省1
423(1): 2021/11/21(日)08:37 ID:ZtueUz+V(2/15) AAS
>>419
>まず、大前提として、シングルトンでωを定義したのではなく、
>順序数 0,1,2,・・n・・,ωを使って、ｗに相当するシングルトンを定義したのです
ωに前者は無いわけだが {{…{{}}…}} の最外カッコを外した {…{{}}…} は何？
後者関数 s(x):={x} なんでしょ？君の定義だと
425: 2021/11/21(日)08:39 ID:ZtueUz+V(3/15) AAS
言い逃れようとしてさらに深みに嵌ってる
見苦しいぞ
426(2): 2021/11/21(日)08:44 ID:ZtueUz+V(4/15) AAS
>>424
>でも、自然数とωが出来たら、集合族として、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ωが
>考えられるということだ
考えられない
なぜなら
カッコの数が無限なら最外または最内カッコは存在できない（存在したら無限の定義に反する）
最内カッコが無いなら無限下降列ができる
省2
428: 2021/11/21(日)08:51 ID:ZtueUz+V(5/15) AAS
>>424
{},{{}},{{{}}},…なる集合族なら存在するよ。どれも有限重シングルトンだから。
{},{{}},{{{}}},…,{{…{{}}…}}なる集合族は存在しないよ。{{…{{}}…}}が集合じゃないから（>>426）。
はいアウト！言い訳しても無駄
430: 2021/11/21(日)09:02 ID:ZtueUz+V(6/15) AAS
>>427
>{{…{{}}…}}には、ω+1が対応するよ
{{…{{}}…}}を{{{…{{}}…}}}と書けるよな？"…"はカッコを省略してるんだろ？
ω+1={{{…{{}}…}}}
ω={{…{{}}…}}
ωの前者={…{{}}…}
はいアウト！
省4
431: 2021/11/21(日)09:05 ID:ZtueUz+V(7/15) AAS
>>429
>ノイマン構成 N（＝ω）＝{0,1,2・・・}でも
>カッコの数は無限ですけど ∵ カッコの数が有限ならば、無限集合Nができない
ノイマン構成はシングルトンじゃないｗ
>カッコの数が無限なら最外または最内カッコは存在できない（存在したら無限の定義に反する）
はおまえが大好きなシングルトンの話な
バカかｗ
432: 2021/11/21(日)09:10 ID:ZtueUz+V(8/15) AAS
>>429
>なお、なんども書いているが
>fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω>>424
>には、最外及び最内カッコは存在します
バカｗ
ω+1が後続順序数というだけの話ｗ
ωに前者が無いという問題は、ω+1を持ち出したからと言って回避できないｗ
435: 2021/11/21(日)09:50 ID:ZtueUz+V(9/15) AAS
>>433
>そういう 「最外または最内カッコ」の存在に拘るのが、子供だよね
無限に限りがあると思ってるバカｗ
>じゃ、円周率πの「最外カッコ」は どこ？ とか言い出したら、
円周率のカッコ？ なにそれｗ
円周率を10進小数で表現したとき、どの位も自然数で表され、かつ最後の位は存在しない。
だからどーだと？ なぜ円周率を持ち出した？ｗ ω+1の次は円周率かｗ バカ丸出し
440(2): 2021/11/21(日)11:00 ID:ZtueUz+V(10/15) AAS
>>436
>(0,1)の間の名も無い超越数 r∈R を考える
ω+1、円周率と来て今度は超越数かｗ
>名無し超越数 rにおいて、これを空集合φから 具体的に書いて
>「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
どゆこと？ｗ
ノイマンの無限集合ωには最外カッコちゃんと付いてますけど？ｗ
省15
443(1): 2021/11/21(日)11:17 ID:ZtueUz+V(11/15) AAS
>>436
>名無し超越数 rにおいて、これを空集合φから 具体的に書いて
>「最外カッコ」を付けるとか、殆ど無意味な議論でしょ
もう「なんか知らんけど超越数とか出せば煙に巻けるだろうと思いました」って正直に言いなよ
君がバカなのはもうバレてるから装わなくていいよ
452(2): 2021/11/21(日)21:37 ID:ZtueUz+V(12/15) AAS
>>444
>{}ωを外す
>･･{{･･{{{}0}1}2･･}n-1}n･･ となる
>これは、最大値を持たない状態（個々の要素は有限で列の長さは無限）になるけど
じゃあ最外カッコが無いじゃんｗ
>ここに、「最外カッコ」は、{}ωで明白に存在するよ
それは最内カッコから数えて何番目？
省7
453(1): 2021/11/21(日)22:03 ID:ZtueUz+V(13/15) AAS
>>446
>これが良いとか悪いとか
>全くおかしな議論です
最外カッコの無い集合なんてZFのどの公理も認めてませんが？
455(1): 2021/11/21(日)23:35 ID:ZtueUz+V(14/15) AAS
>>446
>”･･･” の部分が出来たら、
>それが良いとか悪いとか
>全くおかしな議論です
何度も何度も何度も何度も何度も何度も何度も何度も言ってるが、
否定してるのは無限ではなく集合としての無限重シングルトン。
日本語が分からないなら数学板に書きこむな。
456(1): 2021/11/21(日)23:48 ID:ZtueUz+V(15/15) AAS
>>454
>いや、だから、最外カッコのあるなしを判定基準にしたら
>複雑な構成の集合では、必ずしも有効な判定基準にならんよね
>特に無限集合で、空集合φから組み立てられた複雑な集合になれば、その判定基準は機能しないだろう
有限集合だろうが無限集合だろうが単純だろうが複雑だろうが一切関係無い。
実際、無限公理が主張する無限集合にもちゃんと最外カッコがある。
逆に最外カッコの無い集合なんてものはどの公理も認めていない。
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s