# Why is Dedekind's Cut Used to Define Irrational Numbers?

• Tann
In summary, Dedekind's cut definition allows us to define all real numbers as sets of rational numbers, providing a way to rigorously distinguish between rational and irrational numbers. The term "cut" refers to the boundary between two disjoint sets of rational numbers, and the definition makes it easy to prove important properties, such as the Least Upper Bound Property. Dedekind's cut does not contain irrational numbers, but rather defines them in terms of sets of rationals. The existence of an irrational number between two disjoint sets of rational numbers depends on the sets being defined correctly, and there can be either a rational or an irrational number between them depending on the specific sets chosen.
Tann
By Dedekind's cut we can define some irrational number, where L and R are two disjoint sets of all rational numbers.

We know that rational and irrational numbers have different properties, that give us the ability to clearly distinguish between a rational number (expressed as a ratio between at least two integers) and an irrational numbers (cannot be expressed as a ratio between at least two integers).

My question is this:

Since rational and irrational numbers are clearly distinguished from each other, then what is the purpose of Dedekind’s cut, and why the word ‘cut’ is used here?

Thank you.

Dedinkind cuts do not give irrational numbers, nor are they used to distinguish between rational and irrational numbers.
The purpose of Dedekind's cut is to give a rigorous definition of all real numbers as sets of rational numbers. It is not just a matter of "distinguishing between" them- in fact, since all rational numbers are real numbers, there are "rational" cuts that correspond to rational numbers.

As far as the name is concerned, Dedekind used the term "Schnitt" (German for "cut") because, in our everyday concept of numbers, it was the boundary between L and R (the place that "cuts" between them) that determines the real number corresponding to the "cut".

The nice thing about the Dedekind Cut definition is that it makes it easy to prove the "Least Upper Bound Property", a defining property of the real numbers (i.e.it is true in the field of real numbers but not rational numbers).

Of course there are other ways of going from rational numbers to real numbers. You can define real numbers as equivalence classes of increasing sequences of rational numbers- making it easy to prove "monotone convergence"- or as Cauchy sequences of rational numbers-making it easy to prove the "Cauchy Criterion".

Is it true that if L and R are disjoint sets of all rational numbers, there cannot be but an irrational number between them?

And if it is true, how can we prove it?

Last edited:
Are L and R dedekind cuts still? How can you have "disjoint sets of all irrationals"? If L contains all irrationals, how can R contain any irrationals? and if we read it differently and L and R jointly contain all irrationals how can there be any irrationals "between" them? In short, it is very unclear what you're talking about. could you try starting with clear definitions of what L and R are?

moreover dedekind cuts do not contain irrationals, they define the reals in terms of sets of rationals.

matt said:
and if we read it differently and L and R jointly contain all irrationals how can there be any irrationals "between" them?

Thank you Matt my mistake, the correct one is:

Is it true that if L and R are disjoint sets of all rational numbers, there cannot be but an irrational number between them?

L + R are sets of all Q members.

L = {x: x^2 <2}
R = {x: x^2 >2}

√2 is between R and L.

Is √2 is the result of Dedekind's cut, in this case?

Last edited:
Well, apart from the dubious nature of your mathematics, surely the answer is, in your own terms, no: put 4 instead of 2 in the brackets on the right of the < and >. Or reread the first reply to you post by Halls of Ivy.

HallsofIvy wrote:
it was the boundary between L and R (the place that "cuts" between them) that determines the real number corresponding to the "cut".
State 1:

If L and R are disjoint sets of all rational numbers such that any l in L < any r in R , L has no greatest member and R has no smallest member, then there must be an irrational number between L and R.

Isn't it?

State 2:

If L and R are disjoint sets of all irrational numbers such that any l in L < any r in R , L has no greatest member and R has no smallest member, then there must be a rational number between L and R.

Isn't it?

If the answer to both states is 'yes' then I think that there is some strange situation here, because the probability to find state 2 along the real-line is greater then state 1.

But if we define a 1-1 mapping between each arbitrary state 2 and the rational number that exists between L and R of state 2, then there are much more cases of rational numbers between irrational numbers than irrational numbers between rational numbers.

Last edited:

## What is a Dedekind's cut?

A Dedekind's cut is a concept in mathematics, named after the mathematician Richard Dedekind. It is a way of representing real numbers by dividing them into two sets - the lower set and the upper set. The cut is made such that all elements in the lower set are less than any element in the upper set. This allows for a clear separation between the rational and irrational numbers.

## How is a Dedekind's cut different from other ways of representing real numbers?

A Dedekind's cut is different from other ways of representing real numbers because it is based on the idea of dividing the real numbers into two sets, rather than using decimal expansions or rational approximations. This makes it a more intuitive and fundamental concept in the study of real numbers.

## What is the purpose of a Dedekind's cut?

The purpose of a Dedekind's cut is to provide a rigorous definition of real numbers. It allows for a clear and consistent way of representing all real numbers, including irrational ones, and provides a foundation for further study and analysis in mathematics.

## How is a Dedekind's cut used in calculus?

In calculus, Dedekind's cuts are used to define the real numbers and the real line. This provides a basis for the study of limits, derivatives, and integrals. Dedekind's cuts also allow for a more rigorous and precise understanding of concepts such as continuity and convergence.

## Can Dedekind's cuts be applied to other number systems?

Yes, the concept of Dedekind's cuts can be applied to other number systems such as the complex numbers, the p-adic numbers, and the surreal numbers. It is a versatile and powerful tool in mathematics that can be used to study various number systems and their properties.

• General Math
Replies
19
Views
1K
• General Math
Replies
7
Views
1K
• General Math
Replies
4
Views
588
• General Math
Replies
4
Views
2K
• General Math
Replies
11
Views
1K
• General Math
Replies
7
Views
2K
• General Math
Replies
12
Views
3K
• Topology and Analysis
Replies
6
Views
1K
• General Math
Replies
1
Views
2K
• Classical Physics
Replies
85
Views
4K