# "Gaps" or "holes" in rational number system

In Rudin's Principles of Mathematical Analysis 1.1, he first shows that there is no rational number $$p$$ with $$p^2=2$$. Then he creates two sets: $$A$$ is the set of all positive rationals $$p$$ such that $$p^2<2$$, and $$B$$ consists of all positive rationals $$p$$ such that $$p^2>2$$. He shows that $$A$$ contains no largest number and $$B$$ contains no smallest.

And then in 1.2, Rudin remarks that what he has done above is to show that the rational number system has certain gaps. His remarks confused me.

My questions are:

1. If he had shown that no rational number $$p$$ with $$p^2=2$$, this already gave the conclusion that rational number system has "gaps" or "holes". Why did he need to set up the second argument about the two sets $$A$$ and $$B$$?

2. How does the second argument that "$$A$$ contains no largest number and $$B$$ contains no smallest" showed gaps in rational number system? My intuition does not work here. Or it is nothing to do with intuition?

• FWIW, this {A, B} partition is called a Dedekind cut Apr 30, 2020 at 1:10
• 1) It's subtly but there is not reason to think that rationals not have a number $q$ so that $q^2=2$ is a "hole"? After all there is no rational number $q$ where $q$ has sharp teeth and eats rabbits, is a hole. And there is not rational number $q$ where $q^2=-1$ is a hole. $x^2=2$ could simply be... something that doesn't exist. .... Apr 30, 2020 at 1:48
• But the hole comes in noting we can get close to it. We can hone in and find infinitely many $p_i$ and $q_i$ where $q_i-p_i$ can get as small as we like but $p_i^2 < 2 < q_i^2$. So the road between $p_i$ to $q_i$ ought to be "smooth" (they can be as close as we like) but the have a "jump" somehow we jump fro $p_i^2 < 2$ to $q_i^2> 2$ without passing a $r^2 = 2$ in between. Apr 30, 2020 at 1:48
• This answer may be helpful math.stackexchange.com/a/95366/6455. There are physical and intuitive explanations for the use of the words "hole" and or "gap". Apr 30, 2020 at 15:39
• By a "gap" he says that although rationals are arbitrarily close to $\sqrt{2}$ both smaller and larger than it, no rational is equal to $\sqrt{2}$ . So the mere fact that $\sqrt{2}$ is irrational does not in itself illustrate the assertion that the rational number system has "gaps". For example, $-1$ is never the square of a real number. But this fact alone does not say that the real number system has "gaps". It does not, the reals form a complete ordered field. May 5, 2020 at 18:29

It depends on what you consider a “gap” in the rational numbers. As long as this is not a formally defined concept, we’re just talking about our everyday, geometrically informed conceptions of gaps.

The mere fact that a certain equation doesn’t have a rational solution doesn’t seem like a basis for identifying a “gap”. The equation $$x^2=-1$$ also has no solution in the rational numbers, and this fact also gives rise to an extension of the number system (to the complex numbers, in this case), but it doesn’t fit with our everyday notion of a gap to call this deficiency a “gap”. This corresponds to the fact that when we fill the need to solve the equation $$x^2=2$$ by introducing irrational numbers, we depict them on the same axis as the rational numbers, between rational numbers, whereas when we fill the need to solve the equation $$x^2=-1$$ by introducing imaginary numbers, we depict them along a different axis.

So the mere fact that some equation can’t be solved does not indicate a gap in the number system, if by “gap” we mean anything like what we mean by it in everyday language (where a “gap” would certainly be depicted along the same axis as the things between which it lies). By contrast, the fact that you can split the rational numbers into two sets, with all numbers in one set greater than all numbers in the other but without a number that marks the boundary, does seem to suggest that there “should” be a number at the boundary, so that, in a sense not too removed from our everyday use of the word, there is a gap at the boundary.

• It is fascinating to me that we both had the same example in mind. ;) Apr 29, 2020 at 16:10
• @XanderHenderson: Yes – mathematical minds think alike :-) (I upvoted your answer; I don't understand why no one else did.) Apr 29, 2020 at 17:06
• In the argument in your last paragraph, I presume both sets must be nonempty, right? Otherwise it seems like the same idea would apply to -1 as to 2. Apr 30, 2020 at 2:02
• @DavidZ: Yes. There's no gap at the end of a stick :-) Apr 30, 2020 at 5:34
• @PatrickT: That's a false dichotomy. Both are actually the case: $p$ is approached on both sides arbitrarily closely by rational numbers (e.g. by its successive decimal approximations or by this sequence), and also by "missing" (irrational) numbers (e.g. by $\sqrt{2+2^{-n}}$ for $n\to\infty$). May 1, 2020 at 7:26

There is a difference between a thing not existing in some set, and the existence of "gap" corresponding to that thing. For example, there is no rational number $$p$$ such that $$p > q$$ for all rational numbers $$q$$. Does this mean that there is a "gap" in the rationals corresponding to some "largest" rational number? I think that most people would argue that, no, there is no "gap" there.

Or, perhaps more interestingly, there is no rational number $$p$$ such that $$p^2 = -1$$. In order to solve the equation $$p^2 + 1 = 0$$, it is necessary to introduce the imaginary unit $$i$$ and the complex number system (or, perhaps, the Gaussian rationals; we don't need a continuum, really). Is the lack of existence of a rational $$p$$ such that $$p^2 = -1$$ a "gap"? Again, I think that most people would argue that it is not.

Similarly, it is not a priori obvious that the non-existence of a (positive) rational number $$p$$ such that $$p^2 = 2$$ represents any kind of gap in the rational number system. By showing that no such $$p$$ exists, all Rudin has done is show that no such $$p$$ exists. This seems tautological (because it is), but the situation is analogous to the non-existence of a largest rational number or the imaginary unit.

What Rudin then does is demonstrate that there is a "rational number like object", $$s$$, which can meaningfully be said to have the following properties:

• $$s^2 = 2$$,

• there is a set of positive rational numbers $$A$$ such that $$a \in A$$ implies that $$a < s$$, and

• there is a set of positive rational numbers $$B$$ such that $$b \in B$$ implies that $$b > s$$.

Thus, in a very meaningful sense, this object $$s$$ fits into the rational number system in a natural way. It "plugs a hole" in the rationals. Contrast this with the imaginary unit $$i$$, which doesn't fit into the rational number system in any natural way—it lives in a place that is orthogonal to the rationals.

The best option here is to read Dedekind's original Continuity and irrational numbers or its exposition in Hardy's A Course of Pure Mathematics.

Expansion of numbers systems can be seen driven by algebraic needs as one moves along the path $$\mathbb {N}\to\mathbb{Z} \to\mathbb {Q}$$. But the next step to $$\mathbb {R}$$ is totally non-algebraic and not based on finding solutions to polynomial equations. Rather the need is to enhance the order relations. When one tries to analyze the structure of set $$\mathbb {Q}$$ in terms of order relations $$<, >$$ a different kind of inadequacy presents us. The idea first popularized by Dedekind is not difficult to grasp and it's a wonder why the issue is not dealt with in high school curriculum.

Dedekind makes use of geometric intuition and argues that if we wish the number system like $$\mathbb{Q}$$ to represent all points on a straight line then we are in deep trouble. The existence of a point corresponding to square root of $$2$$ is guaranteed by Pythagoras theorem but such points (including all points realized via geometric constructions) are not the only ones on the number line which do not belong in $$\mathbb {Q}$$ rather there are many more of various kinds.

For example we can try to imagine the existence of a point $$a$$ such that $$a^3=2$$. Such a number is not available in $$\mathbb {Q}$$. But instead of solving $$a^3=2$$ we can look at inequations $$a^3<2$$ and $$a^3>2$$. This leads us to study the partition of $$\mathbb {Q}$$ into two non-empty disjoint subsets $$A$$ and $$B$$ each corresponding to numbers satisfying these inequalities. Dedekind's idea is that as we try to take larger and larger numbers in $$A$$ and smaller and smaller numbers in $$B$$ their cubes get closer and closer to $$2$$. And then Dedekind realizes that the key here is not the algebraic equations and the related inequalities but rather the partitioning of $$\mathbb {Q}$$ into two sets $$A, B$$ such that they are non empty, disjoint and exhaustive and further every member of $$A$$ is less than every member of $$B$$.

He studies such partitions in detail and shows that there are only three possibilities when we make such a partition:

• $$A$$ has a greatest member
• $$B$$ has a least member
• Neither $$A$$ has a greatest member nor $$B$$ has a least member.

These possibilities are mutually exclusive and exhaustive. The first two possibilities show that as we move from set $$A$$ to set $$B$$ based on ordering there is boundary point which lies at the end of $$A$$ or the start of $$B$$ and this boundary point is such that all numbers less than it lie in $$A$$ and all those greater than it lie in $$B$$. The third possibility gives us no such boundary point.

Dedekind then says that this is a defining characteristic of the idea of a geometric straight line in the sense that if we cut the line into two parts via a point then exactly one of the two parts must include that division point. This is not exactly a theorem derived from the axioms of Euclidean geometry but Dedekind feels that this is what should be the intrinsic nature of a straight line if it is supposed to be made up of a series of points such that one can go from one point of the line continuously to another point of the line. This is based on the belief that a line is connected / continuous / has no gaps.

And as mentioned above the system of rationals is not continuous / connected / gap-less in the way a straight line is and thus can't represent all points of a line. Dedekind says that the first two possibilities while partitioning the rationals correspond to the rational number which is boundary point of the partition. And the third possibility leads us to a new kind of a number called irrational number which is supposed to act as a boundary point.

Dedekind gives a name to such partition of rationals into two sets: a cut. And he develops the notions of order relations and algebraic operations on such cuts. The arithmetic which evolves out of all this exercise matches the arithmetic of rationals when the cuts correspond to rationals. And thus we already have an expansion of numbers because there are cuts which don't correspond to rationals. This is how Dedekind constructs the real number system $$\mathbb{R}$$ as a set of cuts.

And then he shows that the final goal of the expansion is achieved. When one tries to make a cut by partitioning the reals into two sets $$A$$ and $$B$$ in analogous manner then there is always a boundary point between the two. And the system does not have gaps like $$\mathbb {Q}$$ had and it can be used to represent all points of a straight line.

Most modern presentations of Dedekind's approach (especially those which appear in real-analysis textbooks) are totally unmotivated and are written as if author is highly disinterested and is doing so only as a formality.

The writing of Dedekind shows how all this is developed from scratch and gives lot of intuitive explanations. IMHO understanding the construction of real numbers from scratch (ideally before you have heard of any calculus related terms like limits) is essential for a thorough study of calculus/real-analysis and the effort is very rewarding.

• I was going to recommend Hardy's 'Course on Pure Mathematics' as well where this is discussed in detail.
– Tom
Apr 30, 2020 at 15:13
• @Tom: Hardy's exposition is the best I have found. Once I studied that all the mysteries of calculus were revealed. I think that moment as my mathematical enlightenment. Apr 30, 2020 at 15:31
• Yes, great book, I'm surprised it's not more widely read.
– Tom
Apr 30, 2020 at 16:24

When Rudin describes the rational number system as having "gaps" while the real number system does not, he is describing in rigorous terms what we can intuitively think of as drawing a vertical line through, or "cutting," the horizontal number line.

In the case of rational numbers, Rudin has shown that there's a spot that splits all the rational numbers into two disjoint sets: those less than $$\sqrt 2$$ and those greater than $$\sqrt 2$$. Importantly, this "cut" does not actually land on any rational number, and we don't even need to define irrational numbers (like $$\sqrt 2$$) to construct these sets. In this sense, the rational numbers have "gaps" (more formally, they are incomplete). If you split the rational number line at a random point, you may land on a number, or you may miss.

Contrast this with the real numbers. If we take this similar process of cutting the real number line, we find that, we'll never "miss" a real number with one of our cuts. No matter where we draw our vertical line, we are guaranteed to hit a real number. It is in this sense that the real numbers are complete (have no "gaps"). In fact, the first rigorous construction of the real numbers (due to Dedekind) used this exact method of cutting the rational numbers into disjoint sets and defining the splitting point of these cuts to be what we now call real numbers.

Consider the parabola P and the line L whose equations are

$$y=2-x^2$$

and

$$y=0.$$

L cuts from one side of P to the other at the point $$(\sqrt2,0)$$, but if $$x$$ and $$y$$ have to be rational numbers, then this point doesn't exist. So we have the result that in the rational plane, curves can cross one another without having a point of intersection. This strongly violates most people's geometrical intuition, suggesting that the rational-number plane is not a valid model of our geometrical notions about space. For example, the very first proof in Euclid's elements fails in the rational-number plane, but Euclid didn't perceive this as an issue that even needed to be discussed, because it was so obvious that curves that crossed must intersect.

To make a model that fits our intuition better, we can make an axiom like this: Let A and B be sets of numbers such that every number in A is smaller than every number in B. Then there exists some number z such that z is greater than or equal to every number in A, but less than or equal to any number in B.

With this axiom, we can prove that P and L intersect. We no longer have a gap in the x axis that is big enough to drive a line through.

This thread is a couple of months old, but I think I should weigh in, given that the other answers seem to focus on the solutions of algebraic equations.

I think it is worth stressing that, despite what the examples given might make you think, the concept of "gaps" is inherently topological (or order-theoretic, whichever way you prefer to swing), not algebraic.

Indeed, what happens is sort of the opposite of what the example with the square root seems to suggest: what we do is we fill the gaps (most of which we cannot even name!). Then, having done that, we see that, lo and behold, we have e.g. a positive $$n$$-th root for each positive number --- but this can be seen as a sort of side effect. Merely ensuring that we have all these solutions will not give us completeness --- the magic only works in one way.

In other words, even if you extend the rationals to a larger ordered field to ensure that the resulting field contains solutions for all algebraic (or even analytic!) equations (which admit real/ordered solutions at all, i.e. not including equations like $$x^2+1=0$$, or "too many" solutions of equations like $$x^2+x+1=0$$), the resulting field will usually not be complete (i.e. "gap-free"), and depending on how you choose to extend the order$$^\dagger$$, it might not even be a subfield of the real numbers (e.g. it might contain infinitesimals).

The easy way to see this is by noting that there are only countably many equations (in finitely many variables, at least), so you can start with the rational numbers, take all these equations with rational parameters plugged in, add solutions, generate a field $$F_1$$ with those, then take all equations with parameters in $$F_1$$, use their solutions to obtain a field $$F_2$$, rinse and repeat, and then $$\bigcup_n F_n$$ will be a countable field in which all possible equations have solutions. It not very difficult to see that a countable dense linear order cannot be complete (using the fact that the completion of rationals has the cardinality of the continuum). All this remains true even if you add equations using e.g. exponentials, trigonometric functions, integrals, etc.

(That is of course, unless you allow external parameters --- if you add all solutions to equations of the form $$x=r$$ where $$r$$ is a real number, then the resulting set will certainly contain the reals, and if you add nothing else besides, you will, of course, get the set of real numbers.)

Even if you add some continuum many elements extra on top of that (and then ensure all equations have solutions), there is no reason for what you get to turn out complete.

$$\dagger$$ Actually, once you have the solutions to all equations of the form $$x^2-y=0$$ with $$y\geq 0$$, it is easy to see that there is a unique total ordering compatible with multiplication, namely that for which the positive elements are exactly the squares. That is, provided you are careful enough not to add nonzero $$x,y$$ with $$x^2=-y^2$$. The way I am stating this here, this is a bit circular, but it can all be stated and shown in a formally sound way which I do not want to get into to avoid being too technical.