Our scheme of real numbers has so far been extended to rational numbers so that we could not only add and subtract without any hindrances, but could also multiply and divide without any restriction, save division by zero. But, when it comes to extraction of square roots, it seems “incomplete”. For example, there is no rational number whose square gives 2. This question crops up when we try to relate numbers to geometry.
We have seen before that we can always represent a rational number on a line. Now suppose we have a square with sides of unit length. By the theorem of Pythagoras, the square of the length of diagonal is equal to . We can also see that the length of the diagonal can be geometrically represented on the line. Now, we ask here, does there exist a rational number whose square is 2, or equivalently, does the equation have a solution in rational numbers? This amounts to asking if we can find two non-zero integers p and q such that
. Equation I.
We can demonstrate that there are no such integers. Suppose that there were two such integers p and q satisfying equation I. We may assume without loss of generality, that p and q have no common factors. If there were any, we could cancel them from both the sides of equation I till there were no common factors. Now as there are no common factors between p and q, for equation I to hold, 2 must be a factor of , and hence, of p. So we may write
Substituting this in Equation 2, we get . Equation 3.
As before, we conclude that for equation 3 to hold, 2 must divide q giving for some integer n. This contradicts our assumption that p and q have no common factors. This only proves that equation I has no solution in integers (except ). Thus, the length of the diagonal of the unit square, though it has a point representing it on the line, does not correspond to a rational number. This shows that Q is not large enough to accommodate a number such as the length of the diagonal of a unit square. So we must extend Q. We could simply include the new number which we write as in the scheme along with Q. But, then this ad hoc extension may not stand up to all our demands to include newer and newer numbers which arise out of algebraic equations, e.g.,, etc. Even if we somehow include these numbers in our scheme, we must know how to perform arithmetic operations like addition, subtraction, multiplication and division in it. Also, how does one decide which of a given pair of new numbers is smaller? There are many ways in extending Q to accommodate all these new numbers. We illustrate one of the simplest ways of doing this.
Let . It is clear that E has an upper bound, for example, 2. Next, we note that if is an upper bound of E, then there exists with (we can always choose an n because of the Archimedean property of Q). Then, one has , showing that and thus no upper bound of E can be in E. Let be one such upper bound of E, then so is since . On the other hand, since . Therefore, the E has no least upper bound in Q.
This tells us what to do. We now extend the field of rationals to a larger field containing it which has all properties of Q along with an additional property, called the least upper bound property and abbreviated as lub property, namely, every set that is bounded above has a least upper bound.
More precisely, we postulate that there is a field , containing Q and satisfying all the properties of Q listed above and an additional one:
The least upper bound property (lub): If is bounded above, then A admits a least upper bound, that is, (1) there is a such that for every and (2) for every , there is a such that .
As we constructed Q out of Z, there are ways of constructing out of Q. However, an explicit construction of from Q is beyond the scope of the present blog. Nevertheless, we are going to use the listed properties of in all subsequent discussions and deduce many interesting consequences.
Since has all the properties of Q including the order property, we write (as for Q),
and this has the same properties as . Now, we use the same notation like for elements of , exactly as we did for the elements of Q. As before, we write or according as or .
Clearly, 1, belong to and represent the natural numbers. So, one sets up a one to one correspondence between and to conclude that . Writing as the additive inverse of , of course , we see that . Since is a field, for , , we must have
where is the multiplicative inverse of n. We agree to write . This way we have . We have thus effectively extended Q to .