Inter-universal geometry と ABC予想 (応援スレ) 74

Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

518: １３２人目の素数さん [] 2025/08/30(土) 16:13:03.47 ID:jE3Cs7nW

>>515
(引用開始)
p10
M1, M2, . . . を集合の列とする。
すなわち，各 i ∈ N に対して，集合 Mi が定まっているものとする。
そのときすべての Mi の共通集合が
∩(i=1〜∞)Mi = {m | ∀i∈N.m ∈ Mi（すべての i に対して m ∈ Mi）}
によって定義される。
同様に，すべての Mi の合併集合は
∪(i=1〜∞)Mi = {m | ∃i∈N.m ∈ Mi（ある i に対して m ∈ Mi）}
により定義される。　
∩(i=1〜∞)Mi の代わりに∩(n∈N)Mn または，単に ∩(n)Mnもよく用いられる。
これに似た記号は有限個の集合の列の共通集合，合併集合に対しても使われる。
(引用終り)

ご高説は賜った
では、上記 その川崎徹郎氏の ”∩(i=1〜∞)Mi = {m | ∀i∈N.m ∈ Mi（すべての i に対して m ∈ Mi）}”
を適用して、下記

>>500 より
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
定義
集合を構築する記法を用いた場合は
∃I(∅∈I∧∀x(x∈I⇒(x∪{x})∈I)).
である
(引用終り)

ここで、「Aは無限公理により存在する集合を任意に選んだものである」として
１）Aが 可算無限集合の場合（そのような集合を一つ選べ）
２）Aが アレフ・ワン 非可算無限集合の場合（そのような集合を一つ選べ）
この二つの場合について
「N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}」
の証明を書け！！ｗｗ

https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%83%95%E6%95%B0
アレフ数
アレフ数（アレフすう、英: aleph number）は無限集合の濃度（あるいは大きさ）を表現するために使われる順序数のクラスである。
アレフ・ワン
→「最小の非可算順序数」も参照
ℵ1 はすべての可算順序数からなる集合の濃度で、ω1 あるいは（ときに）Ω と呼ばれる。この ω1 はそれ自身順序数でありすべての可算順序数より大きく、したがって不可算集合である

http://rio2016.5ch.net/test/read.cgi/math/1755784703/518

539: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/30(土) 20:48:08.86 ID:jE3Cs7nW

>>531 補足
　>>518 より
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
定義
集合を構築する記法を用いた場合は
∃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の大きさと その具体的な構成に依存する式を使うと
話が 大袈裟になるってことだ■

つづく

http://rio2016.5ch.net/test/read.cgi/math/1755784703/539

543: １３２人目の素数さん [] 2025/08/30(土) 22:38:22.70 ID:jE3Cs7nW

つづく

>>538
>https://hayabusa9.5ch.net/test/read.cgi/news/1756548285/

おや？
独教授「ABC予想の証明論文は論理に飛躍がある」　望月教授「それはお前がクソ無能だからだ」 [886559449]
か
それ ニュース速報板だね
情報ありがとう

http://rio2016.5ch.net/test/read.cgi/math/1755784703/543

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.027s