 Dedekind 切断による実数の定義)
実数になると，切断にスルータイプはなくなる──すべてコツンタイプになる。 特に，切断は，あたった実数ｎを用いて，{ ]←, ｎ], ]n, →[ } あるいは { ]←, ｎ[, [n, →[ } で表せる。 このことを，「実数の完備性」という。 「完備 (complete)」という表現は，「スルー」を生じさせる「穴」を「不備」と見ることに因る。 実数は，もはやこのような穴をもたない。そこで，「完備」と称する。 |
| Up | 完備性 |
Dedekind 切断による実数の定義)
実数になると，切断にスルータイプはなくなる──すべてコツンタイプになる。 特に，切断は，あたった実数ｎを用いて，{ ]←, ｎ], ]n, →[ } あるいは { ]←, ｎ[, [n, →[ } で表せる。 このことを，「実数の完備性」という。 「完備 (complete)」という表現は，「スルー」を生じさせる「穴」を「不備」と見ることに因る。 実数は，もはやこのような穴をもたない。そこで，「完備」と称する。 |