[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
597(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/16(月)22:11 ID:8WY20Dqi(2/2) AAS
>>589-596
ID:rbeJ8doGは、御大か
囲碁将棋をやらない人は、プロのすごさが分らない
おサルさん、君は 御大には”セイモク フウリン”だぞ
まあ、レベルが低すぎると 相手のレベルの高さが分らないものだが ；ｐ）
そもそも>>563より
Inter-universal geometry とABC 予想57
2chｽﾚ:math
(引用開始)
>無限公理が存在を主張する集合全体
無限公理が存在を主張する集合全体？
(引用終り)
補足すると
”>無限公理が存在を主張する集合全体”について
これ私の発言なのだが、ツッコミが・・
つまり、ZFCなどの無限公理により、無限公理の存在のみを認めるが
存在する無限集合が、はたして自然数の集合Nであることは保証しない
カントールやデデキントの素朴集合論では
自然数の集合Nが、最小の無限集合であって、かつ任意の無限集合はすべてNを含むことは既知
それを、公理的に構築するのがZFCなどの公理の目的
だから、結論を先取りすると
出来た無限集合全体の最小部分、全ての無限集合の共通部分が、自然数の集合Nだと言えるのです（cf.カントールの順序数理論）
ところで、上記にプロ数学者のするどいツッコミが・・
”無限公理が存在を主張する集合全体？”と入ったのです
確かに、そこはツッコミどころでは、あった （＾＾
そこで見つけたのが、>>563の 数理論理学II 筑波大 坪井先生PDF 外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
だった
今回は 追加で下記をば（こいつは、いつものように jp.wikipedia 無限公理から辿れます）
外部ﾘﾝｸ:en.wikipedia.org
Axiom of infinity
”Extracting the natural numbers from the infinite set”があり
google訳を抜粋する。式も略すが、∩は使われていない！（＾＾
（下記の”非公式には、すべての帰納的集合の共通部分を取ることになります。より正式には、唯一の集合Wの存在を証明したいのです”を百回音読してね）
記
”無限集合I は自然数の上位集合である。自然数自体が集合を構成することを示すために、指定の公理スキームを適用して不要な要素を削除し、すべての自然数からなる集合Nを残すことができる
自然数を抽出するには、どの集合が自然数であるかを定義する必要があります。自然数は、外延公理と帰納公理以外の公理を仮定せずに定義できます。つまり、自然数は0かその次の要素のいずれかであり、その各要素は0か、その次の要素のいずれかです。正式な言葉で言えば、定義は次のようになります
略
もっと正式にはこうです:
略
代替方法
代替の方法は次のとおりです
Φ（×）「xは帰納的である」という式である。つまり
略
非公式には、すべての帰納的集合の共通部分を取ることになります。より正式には、唯一の集合Wの存在を証明したいのです。
略
つまり
Wは、Ｉは、他のすべての帰納的集合の元でもある。これは明らかに（*）の仮定を満たす
一意性については、まず、(*)を満たす任意の集合はそれ自体が帰納的であることに注意する
略
これらの方法は両方とも、 2階算術の公理を満たすシステムを生成します
(引用終り)
以上
598: 06/16(月)22:27 ID:7GSpsGVO(6/12) AAS
>>597
>全ての無限集合の共通部分が、自然数の集合Nだと言えるのです
はい、大間違い。
偶数全体の集合Eは無限集合だが、N∩E=E≠N であるから、全ての無限集合の共通部分はNではない。
口から出まかせはやめてね
599: 06/16(月)22:32 ID:7GSpsGVO(7/12) AAS
>>597
>ところで、上記にプロ数学者のするどいツッコミが・・
>”無限公理が存在を主張する集合全体？”と入ったのです
>確かに、そこはツッコミどころでは、あった （＾＾
いや、突っ込まれたのは君だからｗ
馬鹿も度を越えると自分が突っ込まれたことすら認識できないんだね（呆）
600: 06/16(月)22:40 ID:7GSpsGVO(8/12) AAS
>>597
>ところで、上記にプロ数学者のするどいツッコミが・・
>”無限公理が存在を主張する集合全体？”と入ったのです
>確かに、そこはツッコミどころでは、あった （＾＾
君、
>問題は、無限公理により存在する集合全て "∀"が、きちんと定義できているのか？ だ(>>571)
とトンデモ発言して>>573でフルボッコされたのもう忘れたの？
記憶障害かい？ 病院行きなよ
601: 06/16(月)22:47 ID:7GSpsGVO(9/12) AAS
>>597
無限公理が存在を謳う集合が不明とか言っちゃったトンデモさん
不明なら命題たり得ないんだから公理になり得ない
そんなことも分からないって馬鹿も度を越えてるね 生きてて恥ずかしくないの？
602: 06/16(月)22:56 ID:7GSpsGVO(10/12) AAS
>>597
君が持ち出した筑波大 坪井明人先生のpdfのφ(x)は命題「xは無限公理が存在を謳う集合」だから、
「無限公理が存在を謳う集合は不明」との君の主張に従えば、ωはwell-definedでなく、ひいてはpdfが間違いということになる。
筑波大 坪井明人先生にたてついちゃったよこのトンデモさん。
まあその前に無限公理は公理たり得ないとZF公理系を否定し、ひいては現代数学そのものにたてついちゃってるんだけどねｗ
605(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/17(火)06:58 ID:142iXzRZ(1) AAS
>>598-604
負負不幸のおサルさん>>596
"-"を3回重ねると、やはり"-"(不)というダジャレか ；ｐ）
さて
1）20世紀初頭に、無限集合論を公理的に構築して、ラッセルのパラドックスなどから救おうというヒルベルトの構想があった
cf 外部ﾘﾝｸ:ja.wikipedia.org ラッセルのパラドックス 矛盾の解消 公理的集合論による解消[注 1]
2）それ以前に、素朴集合論として、カントールやデデキントの無限集合の研究があった
cf カントールの順序数 外部ﾘﾝｸ:ja.wikipedia.org
及び デデキント無限 外部ﾘﾝｸ:ja.wikipedia.org
3）この素朴集合論を構築することを目的として ZFC公理系ができたのです
結果、ZFC公理系からノイマン宇宙ができる 外部ﾘﾝｸ:ja.wikipedia.org
ここに”整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される[1]。特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。V内の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。”
4）ノイマン宇宙の英語版には、ポンチ絵がある 外部ﾘﾝｸ:en.wikipedia.org
ともかく、自然数の集合N＝ω（最初の無限順序数） （これは可算無限でもある）
であって、ノイマン宇宙の無限集合はすべて、N＝ωを含んでいる
つまりは、全てのノイマン宇宙の無限集合の共通部分が、自然数の集合Nです
ところが、これは結論を先取りしていて、自然数の集合Nをいまから構築しようとするときつかうと やばい
5）そこで、20世紀初頭の天才たちが、いろいろ考えた結果が
>>597 の Axiom of infinity ”Extracting the natural numbers from the infinite set”だね
6）戻ると、∩を使うのは 賢明ではない。ツッコミどころ満載になるだろう
御大の”無限公理が存在を主張する集合全体？”(>>596) も、これだね
回答は、前記の通り
>>589で
(引用開始)
>”実質同じ”？ 証明は？
共通部分∩の定義を確認すればよいだけ。確認しろよ
(引用終り)
とか、発狂していたおサルさん
昨日は、ちょっと暑かったｗ ；ｐ）
618: 06/17(火)15:19 ID:imHVDh7R(8/13) AAS
>>597
>全ての無限集合の共通部分が、自然数の集合Nだと言えるのです
大間違い。Nではなく{}。
証明
偶数全体の集合をE、奇数全体の集合をOと書く。E,Oは無限集合である。E,Oを除くすべての無限集合の共通部分をCと書く。
すべての無限集合の共通部分=C∩E∩O=C∩{}={}。
口から出まかせ言って赤っ恥かいてもごまかして平然としてるから成長できないんだよ、オチコボレ君。
619: 06/17(火)15:26 ID:imHVDh7R(9/13) AAS
>>597
>全ての無限集合の共通部分が、自然数の集合Nだと言えるのです
正しくは
「無限公理が存在を謳う集合全体の集合の共通部分をNと定義すれば、Nはペアノの公理を満たす。」
まあ無教養なオチコボレには到底理解できないだろうなぁ（遠い目）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.038s