Inter-universal geometry と ABC予想 (応援スレ) 73 (736ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
70(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 07/29(火)12:09:09.63 ID:0DBEJBDg(2/2)
つづき
(参考)
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
無限集合の存在を少なくともひとつ保証するものであり、実際すべての自然数を含む集合である
定義
略
一部の数学者はこのような方法で構築された集合をinductive set（英語: inductive set）と呼ぶ。
自然言語でこの公理を記述すると、「集合𝐈で、𝐈は空集合を要素にもち、任意の𝐈の要素x に対して、
x自身とxの各要素を要素とする𝐈の要素yが存在するような集合𝐈が存在する」となる。
解釈と帰結
略
以上のことから、この公理の本質は、
すべての自然数を含んでいる集合Iが存在する
である。
無限集合Iから自然数を抽出する
無限集合Iはすべての自然数を含んでいるが。自然数全体が集合となることを示すために、分出公理を使って不要な要素を取り除いて、残った集合Nが自然数全体からなる集合である。この集合は外延性の公理により一意である。
略
他の方法
以下のような他の方法もある。
Φ(x)を「xは帰納的である」という論理式とする。
略
おおざっぱに言うとすべての帰納的な集合の共通部分をとりたいわけである。
これを形式的に書くと、次のような集合
Wが一意に存在することを示したい。
略
この定義は数学的帰納法を容易に導けるため便利である。実際、
I⊆ωが帰納的と仮定すると、
ω⊆Iであり、I=ωとなる。
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
順序数の大小関係
(抜粋)
すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を無限順序数と呼ぶ。順序数の大小関係に関して次が成り立つ：
1.略
2.略
3.α が順序数のとき、S(α) ≔ α ∪ { α } は α より大きな順序数のうちで最小のものである。S(α) を α の後続者 (successor of α)と呼ぶ
中略
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の極限順序数 ω である。ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく
略
(引用終り)
以上
97(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 07/31(木)07:14:15.63 ID:ZOjwMpAx(1/6)
>>92
>>>90-91で引用されている内容って、>>77（の前半）と別に矛盾しないのでは。
ありがとう
矛盾はしないとしても
ポイントは、>>91 尾畑研 第2章 集合
"ラッセルのパラドックスは集合論の矛盾を突いているように見えるが
今日から見れば何が集合であり何が集合でないのかを設定し切れていなかったということである
厳密を旨とする現代数学では一群の公理系を設定して
それのみを用いて論理的に導き出された結果を集積することで
理論が構築される
集合論も例外ではなくパラドックス解消の努力の中で集合の定義(公理)が明確
化されて公理的集合論が構築された結局ラッセルのパラドックスを引き起こすは集合とは認めないこととなった"
ということ
この視点から >>64の
『１）の ωa ＝ ∩a^、 a^ ＝ {x ∈P(a) | M(x)}、P (a) は a の「冪集合」、「x は無限集合である」という命題を M(x)
これと
２）の N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}、Aは無限公理により存在する集合を任意に選んだ
この二つは、ZF公理系では 全く別物だよ
つまり、前者は 冪集合公理 P(a)を適用しているが
後者は、冪集合公理を適用していない』
を見ると
いまの場合 aもAも どちらも 無限公理により存在する集合を任意に選んだのだが
公理的集合論の中では、適用する公理によって、作られる集合は 当然異なるってことだね
繰り返すが、ここは重要ポイントです
さらに付言しておくが
ZFC公理系で最初に定義される 無限集合の最小集合たる自然数の集合N=ωで
どういう公理を使って、N=ωが定義されるかを
明示的に示すことは、非常に重要なのです
無限公理 https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
「無限集合Iから自然数を抽出する」
では、無限集合Iから直接 分出公理を使って Iの部分集合として
帰納的集合たる 自然数のN={0,1,2,,・・・} を 抽出する
また、ここ ja.wikipediaから、下記の英仏独のwikipediaを辿れる
英wikipedia https://en.wikipedia.org/wiki/Axiom_of_infinity
仏wikipedia https://fr.wikipedia.org/wiki/Axiome_de_l%27infini
独wikipedia https://de.wikipedia.org/wiki/Unendlichkeitsaxiom
いずれも、無限集合から直接 分出公理を使って その部分集合として
自然数の集合を抽出しています
さて、記号∩を使うことを、ZFC公理から批判すると
使っている公理を明示的に示すことにおいて、劣るということ
分出公理を使って 直接 部分集合として 自然数の集合を抽出できるのに
わざわざ 記号∩を使うの？ なんかヘンですよね
しかも、唐突に∩。どの公理から従うかを明示せずに
128: １３２人目の素数さん [] 07/31(木)21:46:21.63 ID:1CxagZxr(15/17)
>>111
>それは あくまで 上限の無い 有限集合でしかない
君、自分が何を言ってるか分かってる？
「白い黒」「光る闇」みたいに破綻してるよ だいじょうぶ？
281: 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/03(日)23:47:51.63 ID:efM6JdP5(13/20)
しかし統合失調症、旧精神分裂病の臨床のために犠牲を払わなくても良いさ。
436: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/09(土)23:22:39.63 ID:bw4CRSHc(5/6)
>>433
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとう。
今後ともよろしく
>>434
あれ？ ID:pntqRxTqは、math jin ご本人？
いつも、Xの情報ありがとうございます
462(2): １３２人目の素数さん [sage] 08/10(日)10:31:57.63 ID:TZSBSJbk(1/8)
ええかげんにせいよゴミ
お前におれが間違ってるなどと指摘できるはずなどないやろ
正直このジャンルの話なら望月先生本人でも俺には勝てん
なんでそれがわからんのじゃ？
572: １３２人目の素数さん [] 08/12(火)06:49:58.63 ID:sxHX7Zib(3/6)
先に生活保護受給が認められれば医療費は全額がタダになるんだろう。
632: １３２人目の素数さん [] 08/13(水)23:29:21.63 ID:C2xh/shi(7/7)
>>627
>ついでに、ヒルベルトの無限ホテルを引用しておくよ（『その手順を無限に繰り返せることを示す』）
あぁ、やっぱ勝手読みしてる。
下記引用から分かる通り、筆者は無限回の繰り返しを慎重に回避している。
「よって、この手順を各無限集合（バス）ごとに繰り返すことができる。これを1台ずつ行うには無限のステップ数が必要になるが、事前の計算式を用いることで、手順の中で自分のバスの順番が来た時点で乗客は自分の部屋が何番に「なる」か決定でき、ただちにそこに行くことができるようになる。」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s