20/01/03 10:11:10.17 ivt0JCXh.net
>>251 補足
１．完備化という概念がある
２．完備化 (順序集合)（英語版）下記
”Dedekind cut”について、説明されている
３．カントールは、完備化にコーシー列を使ったという（下記）
URLﾘﾝｸ(ja.wikipedia.org)
完備化 (順序集合)（英語版）（Dedekind-MacNeille completion へ飛ぶ）
URLﾘﾝｸ(en.wikipedia.org)
Dedekind-MacNeille completion
(抜粋)
Examples
If Q is the set of rational numbers, viewed as a totally ordered set with the usual numerical order, then each element of the Dedekind-MacNeille completion of Q may be viewed as a Dedekind cut, and the Dedekind-MacNeille completion of Q is the total ordering on the real numbers, together with the two additional values ±∞.[7]
The construction of the real numbers from the rational numbers is an example of the Dedekind completion of a totally ordered set, and the Dedekind-MacNeille completion generalizes this concept from total orders to partial orders.
URLﾘﾝｸ(ja.wikipedia.org)
コーシー列
(抜粋)
コーシー列（コーシーれつ、Cauchy sequence）は、数列などの列で、十分先のほうで殆ど値が変化しなくなるものをいう。
数学史における位置付け
19世紀後半には実数を算術的に定義する方法が盛んに研究され、
その中で現在コーシー列と呼ばれる概念を導入したのがカントールである。
カントールがこの成果を発表したのは1872年で、1821年に発表されたコーシーの収束判定法を満たす数列を用いて実数を定義しようという、当時一般的だった考え方に基づいている。
このコーシーの収束判定法を満たす数列としてコーシー列が用いられ、実数はコーシー列の極限として定義された。