[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
782(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/07(土)08:06 ID:8WzaZQff(1/27) AAS
>>779
(引用開始)
> ”{無限公理} + {ペアノの公理} : N = {1, 2, ... , n, ...}”によって
> そうやって、会田茂樹の無限回の”サイコロ投げ”で終りでしょｗ（＾＾
anの値が必ず1ずつ増えていくのならよいですがそうじゃないでしょう
(引用終り)
anの値が必ず1ずつ増えていくのですよ！！
というか、そう見なせるということです
下記のコーシー列
「有限数列 (x1, x2, ..., xk) は xk = xk+1 = xk+2 = … と延長することにより、コーシー列と見なせる」
です。もちろん、延長は有限ではいけません
当然、無限に延長するということ。現代数学では、これは認められますｗ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
コーシー列
(抜粋)
コーシー数列
無限数列 (xn) について
(抜粋)
lim_{n,m→ ∞}|x_n-x_m|=0
が成立するとき、数列 (xn) はコーシー的である、コーシー性を持つ、あるいはコーシ−列であるという。
有限数列 (x1, x2, ..., xk) は xk = xk+1 = xk+2 = … と延長することにより、コーシー列と見なせる。
実数におけるコーシー列
しかし、実数の重要な性質の一つとして、実数全体の集合 R におけるどのようなコーシー列も必ず R 内に極限値を持つことが挙げられる。実数からなるどんなコーシー数列も収束列であるという事実は、歴史的な事情で「実数の連続性」と呼ばれる[4]。
（4.^ 後述のように一般的な語法では完備性と呼ばれる概念であり、函数の連続性とは無関係であるので注意）
したがって、実数列あるいは実ユークリッド空間内の点列のみに関して言うならば、それが収束することとコーシー列であることは同値となる。この場合であれば、コーシー列は必ず収束するので、|xn ? xm| を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できる。
コーシーの方法ならば極限値の推定は不要であるという利点がある。
つづく
上下前次1-新書関写板覧索設栞歴
あと 220 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s