Motivation behind Dedekind's cut set 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.
 A: 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.
A: 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.
A: 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.
