Inter-universal geometry と ABC予想 (応援スレ) 74 (973ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
571(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)15:20 ID:lylF2dxQ(8/10) AAS
>>566-567 補足
１）未確認飛行 Cさんで 1つ無限集合 a を選び
a の「冪集合」P (a)で を作るところが面白い*)
つまり 無限公理 ∃a(∅∈a∧∀x(x∈a⇒(x∪{x})∈a)).（下記無限公理の集合Iをaに書き換えた）
だから、aは 帰納的な元の全てを含むので
例えば a={0,1,2,・・・,ω,S1,S2・・} （ここにω,S1,S2・・は無限順序数を表す>>566 ご参照）
などだが
省15
587: 08/31(日)16:40 ID:ptzEvizv(21/26) AAS
>>571
>∩(S1,S2・・) は**)、ω=N になるとは限らない
はい、大馬鹿。
S1=S(ω)は帰納的集合ではない。実際ω∈S(ω)∧¬S(ω)∈S(ω)。
あらゆる帰納的集合の共通部分だと言ってるのに帰納的でない集合を持ち出してどうしたいの？ 馬鹿なの？ 死ぬの？
588: 08/31(日)16:44 ID:ptzEvizv(22/26) AAS
>>571
>*) 面白いが、aが可算だと P (a)は非可算になるので 可算集合の定義を非可算を経由するのが、いかにも大袈裟
それってあなたの感想ですよね？
> **）順序数の定義>>567 より S1,S2・・ などは ωを部分集合として含むのだが
> このままでは 集合積 ∩(S1,S2・・) は、ωを含むωより大きい集合になりうる
自然数の構成で自然数の拡張である順序数を持ち出すのが大馬鹿
612(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)07:22 ID:Llrj9wIL(1/2) AAS
>>571 補足
ここは、中高一貫校生も来る可能性があるから
補足しておくよ
１）集合積∩は、例えば A∩Bと A∩B' と (ここにB≠B')では積の結果が一般には異なる
同様に∩Aλ （λは添え字）を考えると
最初をA0として 最後をAendとすると、最初から最後まで 全て確認しないと
∩Aλの結果が定まらない。つまり、積を構成する要素が一つ変わっただけで 結果が異なる敏感なものだということ
省26
631(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/01(月)11:10 ID:gg6LcAZV(2/7) AAS
>>571 補足の補足
(引用開始)
１）未確認飛行 Cさんで 1つ無限集合 a を選び
a の「冪集合」P (a)で を作るところが面白い*)
つまり 無限公理 ∃a(∅∈a∧∀x(x∈a⇒(x∪{x})∈a)).（下記無限公理の集合Iをaに書き換えた）
だから、aは 帰納的な元の全てを含むので
例えば a={0,1,2,・・・,ω,S1,S2・・} （ここにω,S1,S2・・は無限順序数を表す>>566 ご参照）
省33
636(1): 09/01(月)12:45 ID:2hK1RYNi(6/8) AAS
>>631
補足している>>571に
>面白いが、aが可算だと P (a)は非可算になる
という基本的な間違いがある
aが有限集合のとき P(a) は可算な有限集合である
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s