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...
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