現代数学の系譜古典ガロア理論を読む35 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜古典ガロア理論を読む35 [無断転載禁止]©2ch.net (667ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

88: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/06/21(水) 21:21:22.09 ID:jkQw9XXq

>>87 つづき
追伸
現代数学の標準的な自然数の構成法を、前スレでも紹介したので、下記引用します。
http://rio2016.2ch.net/test/read.cgi/math/1496568298/251
251 返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/06/07(水) 07:30:20.38 ID:qnt5rUPR [3/25]
(抜粋)
下記引用ご参照。現代数学の標準的な自然数の構成法だ
何を言いたいかと言えば、「任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する」を繰り返すことによって、”可算無限個の”自然数を構成しているんだ！！
だから、有限モデルから>>223の有限モデルから、一つずつ箱を増やして、”可算無限個の”箱のモデルに到達することは、なんらの問題もないってこと

これが、現代数学の標準的な自然数の構成法だと

https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
・任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する（suc(a) は a + 1 の "意味"）。

集合論において標準的となっている自然数の構成は以下の通りである。

無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である[3]。

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
(抜粋)
無限集合の公理は 0 を含む帰納的集合の存在を主張しているので、ここでの N の定義に問題はない。 自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。 それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
略
等々である。 この構成法はジョン・フォン・ノイマンによる。
これは可能なペアノシステムの構成法として唯一のものではない。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1497848835/88

96: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/06/22(木) 11:52:39.04 ID:MHGinDmi

>>95 つづき
それでは、順番に行きましょうか

>>90
Q1
・”無限公理は∞が自然数だと主張する公理ではありませんよ”
A1
・無限公理は現代数学において、可算無限集合である自然数の集合を構成するための公理ですね
（下記および>>88のジョン・フォン・ノイマンの構成法ご参照）
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
公理的集合論
(抜粋)
無限公理　空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する

Q2
・”「nの取り得る範囲が1<= n <∞である場合
　nが∞になる確率P(∞)は存在せず、
　したがってその値が１になることもない」
この単純(simple)かつ素朴(naive,innocent)な事実が理解できますか？ Y or N”
A2
・ええ、理解できますよ。Yです。そして、普通の自然数では∞という元は、自然数の集合Nや、実数の集合Rには含まれません。
　が、現代数学では、拡張実数という立場もあります
　拡張実数を使った確率論が可能かどうかは、よく知りません。が、たぶん学部の確率論の外（簡単ではない）でしょうね。
https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0
拡大実数
(抜粋)
数学における拡張実数（かくちょうじっすう、英: extended real number; 拡大実数）あるいはより精確にアフィン拡張実数 (affinely extended real number) は、通常の実数に正の無限大 +∞ と負の無限大 ?∞ の二つを加えた体系を言う。
新しく付け加えられた元（無限大、無限遠点）は（通常の）実数ではないが、文脈によってはこれらを含めた全ての拡張実数を指して便宜的に「実数」と呼ぶこともあり、その場合通常の実数は有限実数と呼んで区別する[1]。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1497848835/96

98: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/06/22(木) 11:58:12.51 ID:MHGinDmi

>>97 つづき

>>92
Q
・>正しくは非可算選択公理　なぜなら同値類の数が非可算個だから
A
・ああ、そうかも知れないですね。ほぼ同意です。

>>93
Q
・”また「∞番目までの項が1で、その後の全部の項が0の無限数列」もない
　０＜∞　で、自然数ｎについて　ｎ＜∞ならばｎ＋１＜∞になるような
　（到達不能な）自然数∞というものも存在しないから”
A
・いま、問題になっているのは決定番号ですよね。それは良い例ですね
　「ｎ番目までの項が1で、その後の全部の項が0の無限数列」で、仮に代表元は「最初から全部の項が0の無限数列」とします
　（つまり、しっぽの箱が全て0の無限数列の同値類を考える）
　そうすると、この場合決定番号はｎです。でも同様の構成で、決定番号ｎ＋１の数列ができます。
　従って、これを続けると、決定番号は全ての自然数について、上記の条件を満たす数列を構成できます。
　なお、ここらは、無限が19世紀末から20世紀初めに数学界を混乱に落とし入れた嵌まりどころですよ。下記ご参照
（参考）
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90
(抜粋)
無限（むげん、infinity）とは、限りの無いことである。
直感的には「限界を持たない」というだけの単純に理解できそうな概念である一方で、直感的には有限な世界しか知りえないと思われる人間にとって、無限というものが一体どういうことであるのかを厳密に理解することは非常に難しい問題を含んでいる。
デデキント無限
ある集合が自身と対等な（すなわち同じ濃度を持つ）真部分集合が存在するとき、その集合はデデキント無限であるという。
デデキント無限集合は常に無限集合であるが、その逆を証明するには弱い形の選択公理が必要である。
(引用終り)
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88
(抜粋)
順序集合
直積集合上の順序
ふたつの半順序集合（の台集合）の直積集合上の半順序としては次の三種類が考えられる。
・辞書式順序: (a,b)＜＝ (c,d)←→ a＜c ∨（a＝c ∧ b＜＝ d)
・積順序:(a,b)＜＝ (c,d)←→ a＜＝ c ∧ b＜＝ d
・ (a,b)＜＝ (c,d)←→ (a<c ∧ b<d) ∨ (a＝c ∧ b＝d)}

つづく

http://rio2016.5ch.net/test/read.cgi/math/1497848835/98

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

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

ぬこの手ぬこTOP 0.020s