Dedekind cut

In mathematics, Dedekind cuts, named after German mathematician Richard Dedekind (but previously considered by Joseph Bertrand), are a method of constructing the real numbers from the rational numbers. 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, and group A does not have a largest number. If group B has a smallest number, the cut matches that rational number. If not, the cut represents a special kind of number that is not rational, called an irrational number. This idea helps us understand how all real numbers, both rational and irrational, fit together without any gaps.

Dedekind cuts can also be used with any set where the items can be ordered, like numbers. In these cases, the cut still splits the set into two parts with the same rules: one part closed downward and the other closed upward, with no largest element in the first part.

Using Dedekind cuts, we can see that every real number corresponds to a unique way of splitting the rational numbers. This shows that the number line is a complete continuum, meaning there are 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. Also, group A must not have the biggest number in it. This idea helps us understand and build the real numbers using simpler rational numbers.

By not requiring these rules strictly, we can also think about bigger number lines that include special points like infinity.

Representations

A Dedekind cut divides rational numbers into two groups: one group A with smaller numbers and another group B with larger numbers. The key idea is that group A has no largest number, which helps us describe numbers that aren’t in the original set, like the square root of 2. Even though there isn’t a rational number equal to √2, we can still represent it by placing all rational numbers less than √2 in A and all others in B. This way, the cut itself stands for 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 order all Dedekind cuts 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, contains numbers that are smaller, and the other group, B, contains numbers that are larger. Importantly, group A never has a largest number. This method helps us understand and work with numbers that can't be written as simple fractions, like the square root of 2.

Relation to interval arithmetic

A Dedekind cut splits the rational numbers into two groups: one group with numbers smaller than a real number r, and another with numbers larger than r. This can also be shown as pairs of numbers from each group, which helps us understand intervals close to r.

This idea links closely to interval arithmetic, allowing us to perform basic math operations on real numbers using just the two groups from the cut. This connection is especially useful in certain areas of mathematical study.

Main article: interval arithmetic

Further information: constructive analysis

Generalizations

In more advanced math, the idea of a Dedekind cut can be used with many types of ordered collections, not just numbers. For any collection where you can compare items as "smaller" or "larger," you can still split the collection into two parts following similar rules.

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