3. Appendix: Principle of the construction of the body of real numbers
This principle dates back to 1872 and was defined by Dedekind in 1872.
We assume here that the field of rational numbers is known, and we are interested in certain parts of called cuts, which we now define.
Definition. Any non-empty major part X of the field of rational numbers that satisfies the following two properties is called a cutoff:
(a) any rational less than an element of X belongs to X;(b) for any rational a belonging to X, there exists an element b in X such that a <...
You do not have access to this resource.
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed?
Log in!
Ongoing reading
Appendix: Principle of the construction of the body of real numbers