[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
189(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/15(火) 08:00:16.67 ID:IoQw/Dy0(1/2) AAS
ペアノの公理は、現代数学大系の中では、ZFC公理系の中に包含されているので
正確には、公理と呼ぶのは間違いだが、歴史的にそういう名称で呼ばれている
（詳しくは、下記 ”Rei Frontier Tech Blog ZFC公理系について：その2”）
で、我々は、すでにZFCの中で、自然数を構成して、それを使っているということを忘れている人がいる
それ、単に後者が存在するというだけのことですよね
それは、任意の自然数ｍを取ったときも同じことが言える
で、さらに言えば、無限集合としての自然数Nは、公理系としては、ペアノの公理だけでは達成できない
無限公理が、無限集合の存在には必要だ
それについては、下記などを読めば、どこにでも書いてある
「ペアノの公理で、有限と無限を区別できる」と、錯覚している人がいるようだね
http://tech-blog.rei-frontier.jp/entry/2017/11/02/102042
Rei Frontier Tech Blog
ZFC公理系について：その1 20171102
(抜粋)
今回皆様にお話するのは、現代数学の土台であり、我々が普段接する数学的対象をつくる素材を提供してくれる、ZFC公理系にまつわるお話です。
・はじめに
・命題と論理式
・外延性公理と集合
・非順序対と合併
・無限公理と無限系譜
・分出公理と共通部分
(引用終り)
http://tech-blog.rei-frontier.jp/entry/2017/11/09/100000
同
ZFC公理系について：その2 20171109
(抜粋)
本記事の目的は、自然数全体の集合Nを定義し、その性質（の一部）を述べることです。
・べき集合の公理、自然数の全体
・ペアノの公理
(引用終り)
http://tech-blog.rei-frontier.jp/entry/2017/11/16/100000
同
ZFC公理系について：その3 20171116
(抜粋)
前前回、前回につづいて、ZFC公理系の残りの公理を紹介していきます。
・写像と選択公理
・順序対、直積
・写像、一般の直積、選択公理
・順序数、ZFC公理系
・順序関係と順序数
・正則性公理
・置換公理
・参考文献
(引用終り)
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
ZF 公理系
https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory （ZFC）
223(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/01/15(火) 23:59:33.37 ID:IoQw/Dy0(2/2) AAS
>>203-204
多項式環を使ったのは、意図があってね（＾＾
多項式環の元の多項式の次数ｎは、ペアノの公理を満たす
環なので、積和で閉じている
ｎ次多項式に対して、１次の多項式の積を作れば、n+1次式になる
よって、ベクトル空間として、多項式環の次元は可算無限になる（下記）
だから、多項式環によって構成された反例を、ペアノの公理をもって、これを排除することはできないのだった
なお、当然ながら、多項式の次数ｎは、全ての自然数を尽くす
https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93
ベクトル空間
多項式環 F[x]（上述）の次元は可算無限（基底の一つは 1, x, x^2, … で与えられる）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s