Recently, I studied again the so called Dedekind cuts. They are a refined idea to explain how to construct real numbers out of rational numbers.
The whole problem comes from the fact that the set of rational numbers (made of the numbers that can be defined by a ratio of two integers, such as
) has holes. For example the number
doesn’t fit in
.
If you don’t know why this is true, I think that you should have a look; it’s very interesting indeed.
But let’s go back to the subject of this post: Dedekind’s really smart idea.
He thought that the best way to define real number is by… not defining them! Let me explain.
For Dedekind, a cut is the division of the set of rational numbers into two disjoint, non empty and ordered sets. These two sets are just around the new number you want to define: in other words your number is the hole in between the two. Then, he defines the set of real numbers as the set of all cuts.
Isn’t that smart? Yes, of course.
Unfortunately, when I read about it for the first time I felt that this idea didn’t really help my intuition:
Definition. A cut in is a pair of subsets A, B of
such that:
- (a)
,
,
,
.
- (b) If
and
then
.
- (c)
contains no largest element.
Definition. A real number is a cut in .
I closed the book and went for a coffee. After few hours thinking about it, something clicked. I had my EUREKA moment and a metaphor came to my mind.
I imagined Dedekind going to a bookshop in order to buy some books. With a detailed list of the books he wants to buy, he enters the bookshop and starts searching for them.
He heads to the right shelf and start browsing the books (that are alphabetically ordered). When he arrives at the position in the shelf where the book he is looking for should be, he finds a.. hole. Ouch, the book is not there.
Then he continues on his list and starts searching for the second book. And… this second book is also missing! Another empty slot on the shelf.
As you may know, Dedekind is a well motivated person and so he continues on his list for the whole afternoon. Imagine his disappointment when he discovers that NONE of the books he wanted to buy are available in the bookshop.
Dedekind is sad but after a few seconds (and not after a few hours like me thinking about his cuts..) he realises something: for him, it is perfectly fine to collect just the empty slots of the books he wanted to buy. After all, they are uniquely determined by the alphabetically ordered books in the shelf around each empty slot!
So he goes towards the exit and tells the cashier: “Sir, I’d like to buy all the books that are around the empty slots of the books I didn’t find. How much is it? Can you deliver them at my place by preserving the current ordering?”
The guy at the desk doesn’t really understand his questions and just answers: “Five bucks, please”.
For what it’s worth, I know now that the set of real numbers is like a large (infinite) collection of.. missing books (and only costs five bucks)!