next up previous notation contents
Next: 2.3 Real Numbers Up: 2 Numbers Previous: 2.1 Integers

2.2 Rational Numbers

The rational number system is an extension of the integer number system [42]. The set of all rationals is denoted by   tex2html_wrap_inline32161 :

figure6052

Each rational number is a ratio of two integers: a numerator and a non-zero denominator. The rationals extend the integers since the integers are homomorphic to the rationals. An injective mapping tex2html_wrap_inline32249 is a homomorphism if all the properties of tex2html_wrap_inline32159 are preserved in tex2html_wrap_inline32253 . The mapping tex2html_wrap_inline32255 (abbreviated as tex2html_wrap_inline32257 ),

math6080

is a homomorphism from tex2html_wrap_inline32159 to tex2html_wrap_inline32161 . In order to verfiy this one must show that:

math6086

math6092

and

math6098

When dealing with different   number systems in close mutual proximity it will be useful to precisely specify operators as was done above. With a formal definition of rational addition and multiplication, showing that tex2html_wrap_inline32257 is a homomorphism is straightforward. Because of the simple homomorphism tex2html_wrap_inline32257 , the integers are commonly viewed as a subset of the rationals.

The nice properties of the integers extend to the rationals. The rationals are closed under addition and multiplication. Rational addition has a total inverse as did integer addition. Rational addition and multiplication are associative and commutative; together they obey the distributive law. Rational multiplication has an ``almost'' total inverse:

math6105

The inverse is not total because zero is not allowed in the denominator of a rational. So the rationals are closed under division, except for division by zero. As with integers, comparisons between rational numbers result in one of three orderings. Most mathematicians do not view the lack of a total multiplicative inverse as a major failing of the rationals.

Consider the squaring operator defined by:

math6114

The inverse of the squaring operator is the square root operator, which satisfies the following:

math6119

There is no total square root operator over the rationals: consider tex2html_wrap_inline32267 or tex2html_wrap_inline32269 . This is one reason to extend the rationals. Many popular operators are not total over the rationals.


Common Practice

There are computer facilities, in the form of software libraries or hardware assist, for performing operations on rationals. These facilities store each rational as a pair of integers [51], or as a continued fraction [36]. Although arithmetic operations (+, -, tex2html_wrap_inline32275 , and tex2html_wrap_inline32277 ) can be performed with these libraries, many other popular operations cannot be performed directly since many popular operations are not total over the rationals. It is also difficult to predict the computational resources required for a string of operations since the time required to perform an operation is dependent on the numbers involved. Limiting the computational requirements usually results in a system like floating point, which will be discussed shortly.


next up previous notation contents
Next: 2.3 Real Numbers Up: 2 Numbers Previous: 2.1 Integers
Jeff TupperMarch 1996