Difference between revisions of "Rational number"
m |
|||
Line 9: | Line 9: | ||
# Rational numbers form a [[commutative]] [[field]]. In plain English it means that you can add, subtract, multiply, and divide them (with the obvious exception of division by <math>0</math>) and the result of each such operation is again a rational number. | # Rational numbers form a [[commutative]] [[field]]. In plain English it means that you can add, subtract, multiply, and divide them (with the obvious exception of division by <math>0</math>) and the result of each such operation is again a rational number. | ||
# Rational numbers are [[dense]] in the set of reals. This means that every non-empty open interval on the real line contains at least one (actually, infinitely many) rationals. Alternatively, it means that every real number can be represented as a [[limit]] of a [[sequence]] of rational numbers. | # Rational numbers are [[dense]] in the set of reals. This means that every non-empty open interval on the real line contains at least one (actually, infinitely many) rationals. Alternatively, it means that every real number can be represented as a [[limit]] of a [[sequence]] of rational numbers. | ||
+ | ==See also== | ||
+ | [[rational approximation]] |
Revision as of 15:57, 23 June 2006
Contents
Definition
A number is called rational if it can be represented as a ratio of two integers.
Examples
- All integers are rational because every integer can be represented as (or , or...)
- All numbers whose decimal expansion or expansion in some other number base is finite are rational (say, )
- All numbers whose decimal expansion is periodic are rationals.
Actually, the last property characterizes rationals among all real numbers.
Properties
- Rational numbers form a commutative field. In plain English it means that you can add, subtract, multiply, and divide them (with the obvious exception of division by ) and the result of each such operation is again a rational number.
- Rational numbers are dense in the set of reals. This means that every non-empty open interval on the real line contains at least one (actually, infinitely many) rationals. Alternatively, it means that every real number can be represented as a limit of a sequence of rational numbers.