[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
641(1): 2020/03/25(水)05:22 ID:hW5LBiGq(1/2) AAS
>>639
>無限を考えるとき、人はしばしば間違う
>そこで、有限の極限を確認するという、
>真面目な取り組みを心懸けるようお薦めしたい
質問
箱の中身を0〜9の10個の数に制限する
このとき、無限列は10進無限小数だと考えることができる
.000…の同値類の代表元を.000…とする
このとき、決定番号∞となる小数を一つ上げよ
例えば
.000…は決定番号１
.900…は決定番号２
.990…は決定番号３
…
としてこの数列の極限
.999…が決定番号∞
なのか？
もし、そうだとして、.999…が.000…と同値だとする証明はあるのか？
642(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/25(水)07:52 ID:wzyKzdmN(1/4) AAS
>>641
良い質問ですね〜（＾＾
(引用開始)
質問
箱の中身を0〜9の10個の数に制限する
このとき、無限列は10進無限小数だと考えることができる
.000…の同値類の代表元を.000…とする
このとき、決定番号∞となる小数を一つ上げよ
(引用終り)
良い質問ですね〜
＜答え＞
・具体的に、例を挙げることはできない
∵実数R自身が、Qの完備化（例えば コーシー列による定義）からなる存在だから
・しかし、.000…の同値類の中に、決定番号∞となる小数（同値類の元）が存在すると考えるべきである
例：0に収束するコーシー列、これをC:c1,c2,・・ として、 C≠.000… (＊)なるコーシー列Cを考えることができる
（ (＊) この≠の意味は、0に収束するが、Cは .000… と異なるコーシー列であることを示す）
∵コーシー列とは、そのようなものだから。そして、それは、具体的な小数として書き下すことはできない存在なのだ
(引用開始)
例えば
.000…は決定番号１
.900…は決定番号２
.990…は決定番号３
…
としてこの数列の極限
.999…が決定番号∞
なのか？
(引用終り)
＜答え＞
Yes
(引用開始)
もし、そうだとして、.999…が.000…と同値だとする証明はあるのか？
(引用終り)
＜答え＞
・まず、修正：「.999…00…が.000…00…と同値（つまり、 .999…00… 〜 .000…00…）」だな（＾＾；
・この証明はあるが、厳密には ”実数Rとは？、 Qの完備化である！”に、遡ってしなければならない
・もし、大学数学科レベルの人に対してなら、「コーシー列を考えれば自明」の一言で証明は終わる！
QED
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
実数
(抜粋)
コーシー列を用いた構成
実数の構成は有理数の空間 Q の完備化とよばれる手続きによる方法が一般的である。
外部ﾘﾝｸ:ja.wikipedia.org
コーシー列
(抜粋)
実数の構成
実数の構成法の一つに、完備化と呼ばれる有理コーシー列から実数を定めるものがある。
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.036s