11
$\begingroup$

I want to know the motivation behind Dedekind's real number construction. The motivation of such properties of the cut sets is not clear to me. BTW, I am new to real analysis and just have started reading the first chapter of Rudin.

what made Dedekind to thought of sets with some nice properties (what are the motivations behind such properties ? For example, why cut set should not have any greatest element ?). I read somewhere that initially Dedekind thought that any real number can be uniquely identified by rational numbers less than that. So, this was his starting point. From that the first and second property of cut set is understandable, but the third property (no greatest element) is not clear to me.

|cite|improve this question
$\endgroup$
  • 4
    $\begingroup$ The no greatest is so that for any rational $r$, there will be a unique associated "real." It's just a technical device, we could equally well insist that the upper set have no minimum. The intuition for cuts presumably comes from the standard experience of approximation by terminating decimals. Those are too special, not intrinsic enough. "Approximating" by all rationals less than $x$ is structurally nicer. In particular, if we use decimal approximation there is a technical nightmare in verifying the basic properties of addition, multiplication. With cuts it is smooth. $\endgroup$ – André Nicolas Jun 23 '13 at 2:37
  • $\begingroup$ The no greatest is so that for any rational r, there will be a unique associated "real".- this is not clear to me $\endgroup$ – RIchard Williams Jun 23 '13 at 2:48
  • 2
    $\begingroup$ I mentioned sort of why in my first comment. $\endgroup$ – André Nicolas Jun 23 '13 at 6:59
  • 1
    $\begingroup$ See the question. $\endgroup$ – Tony Piccolo Jun 25 '13 at 6:56
  • 1
    $\begingroup$ You had better find English translation of Dedekind's pamphlet "Stetigkeit und Irrationale Zahlen" online. Or better read its exposition in chapter 1 of G H Hardy's "A Course of Pure Mathematics". The treatment of Dedekind cuts in modern textbooks is full of mathhematical symbols without any appreciation of this simple idea of real numbers. $\endgroup$ – Paramanand Singh Oct 3 '13 at 3:09
4
$\begingroup$

Here's my best guess. Dedekind:

Hmmmmmm.

The rational number line is full of holes. At $\sqrt{2}$, there should be a number, but there isn't.

What does that even mean?

Hm.

Okay, there is no hole at $2$. We can make this precise by observing that $(2-\epsilon,2)_\mathbb{Q}$ is distinct from $(2-\epsilon,2]_\mathbb{Q},$ for all strictly positive $\epsilon$.

But there is a hole at $\sqrt{2}.$ We can make this more precise by observing that $(\sqrt{2}-\epsilon,\sqrt{2})_\mathbb{Q}$ has exactly the same elements as $(\sqrt{2}-\epsilon,\sqrt{2}]_\mathbb{Q}$ for all strictly positive $\epsilon$.

But wait. If we're trying to build the real numbers, then the notation $\sqrt{2}$ isn't 'allowed' yet. Okay, so lets make it precise like this.

There is a hole at $\sqrt{2},$ which means that $\{x \in \mathbb{Q} \mid x^2 < 2\}$ has exactly the same elements as $\{x \in \mathbb{Q} \mid x^2 \leq 2\}.$

But no, this is too symmetrical; the above statement could equally well be seen as the claim that there's a hole at $-\sqrt{2}$. Okay, lets go ahead and destroy that symmetry.

There is a hole at $\sqrt{2},$ which means that the downward closure of $\{x \in \mathbb{Q} \mid x^2 < 2\}$ has exactly the same elements as the downward closure of $\{x \in \mathbb{Q} \mid x^2 \leq 2\}.$

Aha! So maybe we should define that $\sqrt{2}$ is the downward closure of $\{x \in \mathbb{Q} \mid x^2 < 2\}.$ But wait, why not the downward closure of the non-strict version? Okay, lets just disregard that possibility for the moment.

So, a real number is the downward closure of a set of rational numbers that is bounded above, but has no greatest element.

Wait. How about (Eureka!):

A real number is a downward-closed set of rational numbers that is bounded above, but has no greatest element.

|cite|improve this answer
$\endgroup$
1
$\begingroup$

Hope this helps:

To understand why the cuts had no greatest element you need to understand why we need the real numbers in the first place.

If you consider the problem of finding $\sqrt{2}$, you will find that it is possible to come up with a set of rational numbers which are all less than the $\sqrt{2}$.

We can easily define such a set.

$S = \lbrace q \mid q^2 \lt 2 \text{ or } q \lt 0, q \in \mathbb{Q} \rbrace$

The set $S$ is a cut of the rational numbers which we can identify with $\sqrt{2}$. In Dedikends construction this set actually is $\sqrt{2}$.

The idea is that there are gaps in the rational numbers where we expect there to be a value. The easiest way to identify these gaps is by describing them with something like a cut.

Then we define the collection of cuts to be our new number system. The reason for this is that every rational has a unique cut and every gap has a unique cut. Therefore we don't lose the rationals by working in this new system, but do manage to fill in the gaps.

It may be helpful if you study the construction of the reals using a Cauchy completion. That is I think a little more intuitive.

|cite|improve this answer
$\endgroup$
-2
$\begingroup$

One way to approach mathematics is to see it as building up more and more complex structures on top of simple foundations. One commonly used foundation (but not the only one) is set theory of one sort or another. Once you have set theory, you can build on it to form the natural numbers, the the integers, then the rational numbers, and then the reals. Dedekind cuts are one of the simpler ways to construct reals.

Added after question edit:

It's important that every real number be represented by exactly one Dedekind cut. Without the "no greatest element" bit, every rational number could be represented by two different cuts.

|cite|improve this answer
$\endgroup$
  • 3
    $\begingroup$ Thanks for reply. But, this was not my question. I have elaborated my problem statement. $\endgroup$ – RIchard Williams Jun 23 '13 at 1:47
  • 2
    $\begingroup$ I don't really see how this is an answer to the question asked by the OP. Strangely, it got accepted! :P $\endgroup$ – Mariano Suárez-Álvarez Jun 23 '13 at 2:04
  • $\begingroup$ The OP's question is rather vague. I did the best I could to interpret it and answer based on that interpretation. $\endgroup$ – dfeuer Jun 23 '13 at 2:36

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.