Inter-universal geometry と ABC予想 (応援スレ) 74 (959ﾚｽ)
上下前次1-新

---

531(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/30(土)16:54 ID:jE3Cs7nW(15/22) AA×
>>522

外部ﾘﾝｸ:ja.wikipedia.org

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
531: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/30(土) 16:54:17.25 ID:jE3Cs7nW >>522 (引用開始) Aの濃度に関係なく、無限公理を満たせばいい まあ、Aは極限順序数でしょうね でもなんであれ共通集合をとるので、 結局、最小の極限順序数になりますね (引用終り) いや別にそれは否定していない というか、そもそも カントールの無限集合がそれで カントールの無限集合を 公理的に構築しようということだから それは結論なわけで、答えを知っているんだ 問題は、その答えを先取りしては行けないってこと 自然数N＝ω これが 無限集合たちの最小で 全ての無限集合に含まれている それは、結論なわけ だが、結論を先に使うと 公理的な視点では 循環論法で いまは、その結論を使わずに 下記 無限公理の 無限集合Iから自然数を抽出する の如く ∩を使わずに済ます方が 公理による自然数N＝ωの構築として 圧倒的に スマートで美しいってこと https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86 無限公理 無限集合Iから自然数を抽出する 他の方法 以下のような他の方法もある。 Φ(x)を「xは帰納的である」という論理式とする。つまり、 Φ(x)=(∅∈x∧∀y(y∈x→(y∪{y}∈x))) とする。おおざっぱに言うとすべての帰納的な集合の共通部分をとりたいわけである。 これを形式的に書くと、次のような集合 Wが一意に存在することを示したい。 ∀x(x∈W↔∀I(Φ(I)→x∈I)) (*) 存在については、無限公理と分出公理を使って証明する。 Iを無限公理によって保証された帰納的集合とする。分出公理を使って集合 W={x∈I:∀J(Φ(J)→x∈J)}を取り出す。つまり WはIの要素のうち、あらゆる帰納的集合に含まれているものを集めてきた集合である。 明らかに(*)を満たす。 以下略 http://rio2016.5ch.net/test/read.cgi/math/1755784703/531
引用開始 の濃度に関係なく無限公理を満たせばいい まあは極限順序数でしょうね でもなんであれ共通集合をとるので 結局最小の極限順序数になりますね 引用終り いや別にそれは否定していない というかそもそも カントールの無限集合がそれで カントールの無限集合を 公理的に構築しようということだから それは結論なわけで答えを知っているんだ 問題はその答えを先取りしては行けないってこと 自然数 これが 無限集合たちの最小で 全ての無限集合に含まれている それは結論なわけ だが結論を先に使うと 公理的な視点では 循環論法で いまはその結論を使わずに 下記 無限公理の 無限集合から自然数を抽出する の如く を使わずに済ます方が 公理による自然数の構築として 圧倒的に スマートで美しいってこと 無限公理 無限集合から自然数を抽出する 他の方法 以下のような他の方法もある をは帰納的であるという論理式とするつまり とするおおざっぱに言うとすべての帰納的な集合の共通部分をとりたいわけである これを形式的に書くと次のような集合 が一意に存在することを示したい 存在については無限公理と分出公理を使って証明する を無限公理によって保証された帰納的集合とする分出公理を使って集合 を取り出すつまり はの要素のうちあらゆる帰納的集合に含まれているものを集めてきた集合である 明らかにを満たす 以下略

---

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

---

あと 428 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.058s