decimal fraction
A rational number is called a decimal fraction if is an integer for some non-negative integer . For example, any integer, as well as rationals such as
are all decimal fractions. Rational numbers such as
are not.
There are two other ways of characterizing a decimal fraction: for a rational number ,
- 1.
is as in the above definition;
- 2.
can be written as a fraction , where and are integers, and for some non-negative integers and ;
- 3.
has a terminating decimal expansion, meaning that it has a decimal representation
where is a nonnegative integer and is any one of the digits .
A decimal fraction is sometimes called a decimal number, although a decimal number in the most general sense may have non-terminating decimal expansions.
Remarks. Let be the set of all decimal fractions.
- •
If , then and as well. Also, whenever . In other words, is a subring of . Furthermore, as an abelian group, is -divisible and -divisible. However, unlike , is not divisible (http://planetmath.org/DivisibleGroup).
- •
As inherited from , has a total order
structure
. It is easy to see that is dense (http://planetmath.org/DenseTotalOrder): for any with , there is such that . Simply take .
- •
From a topological point of view, , as a subset of , is dense in . This is essentially the fact that every real number has a decimal expansion, so that every real number can be “approximated” by a decimal fraction to any degree of accuracy.
- •
We can associate each decimal fraction with the least non-negative integer such that is an integer. This integer is uniquely determined by . In fact, is the last decimal place where its corresponding digit is non-zero in its decimal representation. For example, and . It is not hard to see that if we write , where and are coprime
, then .
- •
For each non-negative integer , let be the set of all such that . Then can be partitioned into sets
Note that . Another basic property is that if and with , then .