Defining Irrational Numbers
Irrational numbers and their rational approximations
In mathematics, we have many kinds of numbers. The most familiar, and most used numbers, are the natural numbers (the numbers used for counting), the integers (the whole numbers, positive and negative) and the rational numbers (the positive and the negative fractions). There are also other kinds of number that are frequently used by scientists. One example is the complex numbers , which include, among other exciting things, .
If you’re familiar with math, you may be thinking: “Hang on, what about the reals?”. Well, the real numbers (the number that can be represented by any finite or infinite series of desimals) are not very commonly used. This is not entirely true, since all natural numbers are integers, all integers are rationals, and all rationals are reals, we are of course using real numbers all the time, but not the real numbers that are not also rational.
Numbers that are real, but not rational, are known as the irrational numbers. Notable examples are and . Irrational numbers are numbers that cannot be written as a fraction. Since there are no fractions representing the irrationals, their decimal representations will always be infinite and non-repeating.
When we use irrational numbers in numeric calculations, we only use a finite part. For example, the area of a circle is given by
Given a circle with radius 1.52 meters, we calculate the area . Because of the limited precision with which we know , we only need the first 3 digits of . The number 3.14 is of course rational, since it can be written as the fraction . With any finite precision, the irrational numbers we use in numeric calculations are really rational approximations to irrational numbers. It is, however, possible to do calculations with arbitrary precision. Calculations where we cannot beforehand know how many digits we will need from, for example, or .
Finite representations of infinite objects
In theoretical sciences, we frequently find the need to describe the properties of infinite objects. An example from this text is the set of natural numbers. While this set is infinite, it is obvious how to build an arbitrarily large version of it. The first natural number is 1, the second is 2, and so on. In general, the -th natural number is . We can use the function to define the set of even numbers. The first even number is , the second is , and the 109-th is . Since is easy to represent on a computer, we can easily represent the set of even numbers on a computer.
We can use the above technique to represent numbers as well. Let us take another look at . The decimal representation of is , where the sequence goes on indefinitely. It is easy to represent the whole number-part of , since that is an integer. The hard part is the decimal representation. One way to store this representation through the function , where , , , , and so on. The problem is that there is no guarantee that we can represent the function . We certainly cannot store the value for each digit. Without a pattern or an algorithm to calculate the -th digit of , we are no close the representing .
A trace function is an elegant way of computing approximations to an irrational number. Let be an irrational number, then is a trace function for if
That is, is closer to than was. As an example, we provide a trace function for :
To see that is actually a trace function for , we test the three cases in it’s definition separately. For , we see that . Since , the trace function condition is satisfied. A similar observation holds for . For , we use a graph to show the correctless of the function. For between 1 and 2, we need to be close to than . That means the graph of must lie between the line that intersect the point and have slope and . This is because these two lines are the limits where
The argument for the middle case of can take som thinking to understand. following graph proves the correctness of .
Given any point on the red curve (the graph of ), the value of is closer to than is.
We can now use to approximate with arbitraty precision. Let us say we need to know the value of to 8 decimal places. We start with the value , and calculate . We square this number to get , which is correct to the first decimal place (since it is 2.0 when rounded to that precision). We keep using to calculate new values, and after 25 iterations, we get . When we square this number, we get , which rounds to (9 decimal places). Thus, to eight decimal places (which is correct).
In this argument we have used that . For our example, this means an error in the 10th digit of the square is caused by an error in the 9th or 10th digit of the original number (10th if $2c<10$). Since the first error is in the 10th digit, we know that our result must be correct to the 8th digit. (Here, we only consider the digits after the decimal point.)
The trace function can easily be stored on a computer, and is therefore an example of the kind of representation we are looking for. It allows us to specify an infinite amount of information with a few lines of code.
Using trace function is only one of many ways of representing irrational numbers, and although the trace functions are quite easy to understand, they are not the most useful representations. A Cauchy sequence is a different kind of function representing irrational numbers, and, as opposed to trace functions, Cauchy sequences directly yield an answer to within the desired precision. The downside is that Cauchy sequences are harder to find. Other approaches include continued fractions, Dedekind cuts, and sum approximations.