Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上下前次1-新
543(4): 08/30(土)22:38 ID:jE3Cs7nW(18/22) AAS
>>531 補足
>>518 より
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
外部ﾘﾝｸ:ja.wikipedia.org
無限公理
定義
集合を構築する記法を用いた場合は
∃I(∅∈I∧∀x(x∈I⇒(x∪{x})∈I)).
である
(引用終り)
補足するよ
下記の 順序数 での 無限集合部分を使う
名前を付ける
S0=ω,
S1=S(ω),
S2= S(S(ω)),
S3=S(S(S(ω))),
・
・
Sn=S(Sn-1),
ここで、Peano axioms en.wikipedia 訳で ”各自然数は、それより小さい自然数の集合と（集合として）等しくなります”
に注目しよう。これは、無限順序数でも成り立つ
いま、S3=S(S(S(ω)))＝{0,1,2,・・・,ω,S(ω),S(S(ω))} となる
そこで、上記”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”において
A=S3=S(S(S(ω)))＝{0,1,2,・・・,ω,S(ω),S(S(ω))} としよう
すると ”∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”が Aにおける 無限集合の積と解釈できるとして（要証明事項）
∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}＝ω∩S(ω)∩S(S(ω)) と書ける
ここで、ω∩S(ω)∩S(S(ω))＝ω は簡単に分ること
同様のことが、任意nのSnで言えるだろう(数学的帰納法でも使えば)
さて、問題は順序数 での 無限集合という素性の知れた集合だから簡単に言えることだが
無限公理の主張に戻ると、無限公理は 有限の帰納的に生成される集合全てを含む なにか無限集合Iの存在を主張するものである
無限集合Iで分っていることは、”有限の帰納的に生成される集合全てを含む”だけ
だから、素直に 無限集合Iから ”有限の帰納的に生成される集合全てを含む”を取り出す式を書けば良いだけと 単純に考えることができる
集合積∩を使う問題点は、上記のように 無限集合Iの大きさと具体的な構成に依存して
式 ”∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”が変わってしまうこと
（なお、無限集合Iは、順序数に限定されない）
結論として、”ωが最小の無限集合で、全ての無限集合の共通部分”は分っていることだから
いずれ 手間を掛ければ その結論には達するが
無限集合Iの大きさと その具体的な構成に依存する式を使うと
話が 大袈裟になるってことだ■
つづく
>>538
>2chｽﾚ:news
おや？
独教授「ABC予想の証明論文は論理に飛躍がある」 望月教授「それはお前がクソ無能だからだ」 [886559449]
か
それ ニュース速報板だね
情報ありがとう
上下前次1-新書関写板覧索設栞歴
あと 352 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s