[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
602(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/01(日)22:28 ID:dvD9YE7H(37/39) AAS
>>601
>>601
分かってないな（＾＾
>到達しないから無限公理が必要なんだよ
中学数学からの常識でしょ？ｗ
「無限公理」は、デフォルトであり、”標準”です
「有限主義」を唱えない限り、”標準”です
省10
603: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/01(日)22:28 ID:dvD9YE7H(38/39) AAS
>>602
同値な定式化
集合論の枠組みでは、数学的帰納法の原理を次のように表すことができる[1]。
自然数 N の部分集合 A が空でないとき、A に属する最小の自然数が存在する。
この原理からもともとの形の数学的帰納法が導かれることは，次のようにして示せる。帰納法の仮定 1., 2. を満たす論理式 P(n) が与えられたとする。自然数の部分集合 A を A = { n ∈ N : ¬ P(n) } によって定める。この A が空集合であるということを示したい。
そうでないと仮定すると、Aに属する最小の自然数 a を取ることができるが、P(0)は成り立っていることから a は0でない。従って、ある自然数 b について a = b + 1となっているが、a は A に属する最小の自然数であったということから、b not∈ A であり、P(b) は成り立つことになる。帰納法の仮定から P(a) も成り立つことになり、これは矛盾である。
逆に、「n 以下の任意の自然数 k について k not∈ A」という形の命題 P(n) を考えることで、数学的帰納法から上の原理を導くことができる。A を自然数のある集合とし、A に属する最小の自然数が存在しないと仮定する。
省3
607(2): 2019/09/01(日)23:23 ID:IVtPZNby(8/8) AAS
>>602
> 「無限公理」は、デフォルトであり
だから箱の数を数学的帰納法で無限個に増やすのはナンセンスだと
いっているのだが
> 中学数学からの常識でしょ？ｗ
スレ主がその常識に従っていないんだよ
{X1}, {X1, X2}, ... , {X1, X2, ... , Xn}, ... (**)と数学的帰納法で
省7
625(1): 2019/09/02(月)19:24 ID:WeHO/pQm(2/2) AAS
>>602
>>数学的帰納法＋「無限公理」は、デフォルトであり、”標準”です
既に>>623より、数学的帰納法では無限公理は証明できないことを示したｗ
有限集合論では無限公理の否定が成り立つ つまり
「任意の集合ｓは、｛｝を要素としないか
あるｘが存在して、ｘを要素としてもｘ∪｛ｘ｝が要素でない」
無限公理がデフォルトで標準とかわめくのは
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s