In his book Differential and Integral Calculus, Edmund Landau gives an introductory chapter, and before starting it, he assumes as true some theorems. Among them, it is one he calls: "The deepest and most important of the fundan1ental properties of the real numbers"

Let there be given any division of all the real numbers into two classes, having the following properties:

$(a)$ Neither class is empty.

$(b)$ Every number of the first class is smaller than every number of the second class. (In other words, if $a<b$ and if $a$ lies in the second class, then $b$ lies in the second class.)

Then there exists a unique real number $\xi$ ; such that every $\eta < \xi$ belongs to the first class and every $\eta > \xi$ belongs to the second class.

What is this theorem called? Should it be a consequence of the least upper bound property of the real numbers?

If we change "real" by "rational" in the first sentence, this is the approach to Dedekind cuts and thus one of the possible constructions of the real numbers. The last sentence can be stated as "each of the division determines a one (two) unique set(s) of rational numbers" or something of the sort.

  • 2
    $\begingroup$ Yes, it follows from the completeness axiom, by which the first class (since it is bounded above) has a least upper bound $\xi_1 \in \mathbb{R}$, and the second class (since it is bounded below) has a greatest lower bound $\xi_2 \in \mathbb{R}$. You can easily show that $\xi_1 = \xi_2$ (since $\xi_1 < \xi_2$ and $\xi_1 > \xi_2$ lead to contradictions), and that $\xi \equiv \xi_1$ satisfies the conclusions. Note that $\xi$ itself can belong to either class. $\endgroup$ – mjqxxxx Jul 2 '12 at 0:26
  • $\begingroup$ One way to look at it is that if you do the Dedekind construction on $\mathbb R$ instead of $\mathbb Q$, you don't get any new elements out of it -- the completion-by-cuts is an idempotent construction. $\endgroup$ – Henning Makholm Jul 2 '12 at 1:29
  • 2
    $\begingroup$ They wrote like that back then, portentous. Completeness is indeed useful. $\endgroup$ – André Nicolas Jul 2 '12 at 1:31
  • $\begingroup$ @HenningMakholm Interesting! $\endgroup$ – Pedro Tamaroff Jul 2 '12 at 5:16
  • $\begingroup$ Possibly related? math.stackexchange.com/questions/579013/… $\endgroup$ – Don Larynx Nov 24 '13 at 9:05

What is this theorem called?

The name of this property is "Dedekind completeness". And yes, it is a consequence of the least upper bound (LUB) property. In fact, in the presence of the ordered field axioms, it is equivalent to the LUB property.

It's actually a good exercise to work out the proofs both ways: using the LUB property to derive Dedekind completeness, and then vice versa.

  • $\begingroup$ OK. Odd that Wikipedia says "Dedekind completeness, also known as the least-upper-bound property". Should we change that to "equivalent to"? $\endgroup$ – Pedro Tamaroff Jul 2 '12 at 1:39
  • 1
    $\begingroup$ Usually anything equivalent to the definition of a concept is also called a definition of that concept. $\endgroup$ – GEdgar Jul 2 '12 at 1:45
  • 1
    $\begingroup$ But the equivalence might not be obvious and have to be proved. Think of how many important theorems are of the form "Consider these statements about a structure. They are all equivalent." Usually, of the n statements, 1 or 2 are different enough to make the proof of their equivalence non-trivial, and selecting the order of the proofs to minimize total effort can be challenging. $\endgroup$ – marty cohen Jul 2 '12 at 4:02
  • $\begingroup$ @martycohen: Sure, but the fact that the definitions are equivalent usually means that authors feel free to assign the fancy name to either of them, so that different textbooks may not agree which of the equivalent definitions the fancy name belongs to,. $\endgroup$ – Henning Makholm Jul 2 '12 at 10:18
  • $\begingroup$ I agree that it's odd. I'm used to one simply speaking of "completeness", and if one goes so far as to utter the phrase "Dedekind completeness" then they really mean to refer to that specific property. $\endgroup$ – user14972 Jul 2 '12 at 10:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.