5

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.

Pedro
  • 122,002
  • 2
    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. – mjqxxxx Jul 02 '12 at 00:26
  • 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. – hmakholm left over Monica Jul 02 '12 at 01:29
  • 2
    They wrote like that back then, portentous. Completeness is indeed useful. – André Nicolas Jul 02 '12 at 01:31
  • @HenningMakholm Interesting! – Pedro Jul 02 '12 at 05:16
  • Possibly related? http://math.stackexchange.com/questions/579013/is-the-archimedan-property-of-bbbr-the-most-important-property-in-real-anal – Don Larynx Nov 24 '13 at 09:05

1 Answers1

4

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.

  • OK. Odd that Wikipedia says "Dedekind completeness, also known as the least-upper-bound property". Should we change that to "equivalent to"? – Pedro Jul 02 '12 at 01:39
  • 1
    Usually anything equivalent to the definition of a concept is also called a definition of that concept. – GEdgar Jul 02 '12 at 01:45
  • 1
    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. – marty cohen Jul 02 '12 at 04:02
  • @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,. – hmakholm left over Monica Jul 02 '12 at 10:18
  • 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. –  Jul 02 '12 at 10:20
  • I've fixed up Wikipedia a bit. –  Jul 02 '12 at 11:04