Dedekind cut

In mathematics, Dedekind cuts are a way to build the real numbers from the rational numbers. They are named after the German mathematician Richard Dedekind, but Joseph Bertrand thought about them before him.

A Dedekind cut splits the rational numbers into two groups, called A and B. Every number in group A is smaller than every number in group B. Group A never has a largest number. If group B has a smallest number, the cut matches that rational number. If not, the cut shows a special number that is not rational, called an irrational number. This helps us see how all real numbers fit together without any gaps.

Dedekind cuts can also work with any set where the items can be ordered, like numbers. The cut still splits the set into two parts: one part closed downward and the other closed upward. The first part never has a largest element.

Using Dedekind cuts, we can see that every real number matches a unique way of splitting the rational numbers. This shows that the number line is a complete continuum, with no missing points when we include all these cuts.

Definition

A Dedekind cut is a way to split the rational numbers into two groups, called A and B. Every number in group A is smaller than every number in group B. Group A must not have the biggest number in it. This idea helps us understand and build the real numbers using simpler rational numbers.

Representations

A Dedekind cut splits rational numbers into two groups. One group, called A, has smaller numbers. The other group, called B, has larger numbers. The important part is that group A does not have a biggest number. This helps us describe numbers that are not in the original set, like the square root of 2. Even though there is no rational number that equals √2, we can still show it. We put all rational numbers smaller than √2 in A and the rest in B. In this way, the cut itself represents the number √2, an irrational number.

Main article: Interval
Further information: Rational numbers

Ordering of cuts

We can compare two Dedekind cuts by looking at their sets. If the first set of one cut is fully inside the first set of another cut, then the first cut is smaller. This helps us put all Dedekind cuts in order, like numbers.

All Dedekind cuts together form a set that is perfectly ordered. This means that any group of these cuts with a top limit will have a smallest top limit, which helps us work with numbers that might not normally have this property.

Main article: least-upper-bound property

Construction of the real numbers

See also: Construction of the real numbers § Construction by Dedekind cuts

A Dedekind cut is a way to build the real numbers from the rational numbers. It splits the rational numbers into two groups. One group, A, has numbers that are smaller. The other group, B, has numbers that are larger. Group A never has a largest number. This method helps us understand numbers that can't be written as simple fractions, like the square root of 2.

Relation to interval arithmetic

A Dedekind cut divides the rational numbers into two groups. One group has numbers smaller than a real number r. The other group has numbers larger than r. We can show this as pairs of numbers from each group. This helps us understand intervals close to r.

This idea connects closely to interval arithmetic. It lets us do basic math on real numbers using the two groups from the cut. This connection is useful in some areas of math.

Main article: interval arithmetic

Further information: constructive analysis

Generalizations

In higher math, the idea of a Dedekind cut can work with many types of ordered groups, not just numbers. For any group where you can say one thing is "smaller" or "larger" than another, you can still split the group into two parts using the same rules.

One way to make sure every possible "gap" is covered is through something called the Dedekind-MacNeille completion. This method helps build a full structure that includes all the original items and fills in any missing points, which is very useful in advanced mathematics.