Theorem:
Given and
, we can find
such that
.
Proof:
Let . If
, then
and hence
. On the other hand, if
, then
. Thus, A is non-empty. Next, observe that if
, then v is an upper bound of A. In particular,
is an upper bound of A.
By the least upper bound property, A admits a least upper bound. Let us denote it by y. We will rule out the possibilities and
implying that
.
If , let
and
. It can be checked that
so that
. But,
, contradicting the fact that y is the least upper bound of A. (we have used the inequalities 7 and 8 in the previous blog).
On the other hand, if , let
and
. Again, it can be verified that
and hence w is an upper bound of A. But,
, contradicting the fact that y is the least upper bound of A. Hence,
. QED.
In particular, we see that there is an element such that
and hence also
which means that the equation
has two solutions. The positive one of those two solutions is
. In fact, the above theorem has guaranteed its extraction of the square root, cube root, even nth root of any positive number. You could ask at this stage, if this guarantees us extraction of square root of a negative number. The answer is clearly no. Indeed, we have
for
.
Remark.
We can further extend to include numbers whose squares are negative, which you know leads to the idea of complex numbers.
We have shown that Q is a subset of . One can also show that between any two distinct real numbers there is a rational number. This naturally leads to the decimal representation of real number: Given any real number x and any
, we can get a unique
and unique
such that
and
You are invited to try to prove this familiar decimal representation.
If we have a terminating decimal representation of a real number, then surely it is rational.But, we know that rationals like 1/3, 1/7, 1/11, do not have a terminating decimal expansion.
It is clear that the decimal representation of cannot terminate as it is not rational. There are many elements of
which are not in Q. Any element of
which is not in Q is called an irrational number, and irrational numbers cannot have terminating decimal representation.
More later,
Nalin Pithwa