Difference between revisions of "Rational number"

m
(Examples)
 
(One intermediate revision by one other user not shown)
Line 4: Line 4:
 
==Examples==
 
==Examples==
 
* All integers are rational because every integer <math>a</math> can be represented as <math>a=\frac{a}{1}</math>
 
* All integers are rational because every integer <math>a</math> can be represented as <math>a=\frac{a}{1}</math>
* All numbers whose [[decimal expansion]] or expansion in some other number [[base numbers |base]] is finite are rational (say, <math>12.345=\frac{12345}{1000}</math>)
+
* Every number with a finite [[decimal expansion]] is rational (say, <math>12.345=\frac{12345}{1000}</math>)
* All numbers whose decimal expansion is [[periodic]] (repeating, i.e. 0.314314314...) in some base are rationals.
+
* Every number with a periodic decimal expansion (e.g. 0.314314314...) is also rational.  
 
 
Moreover, any rational number satisfies the last two conditions.
 
  
 +
Moreover, any rational number satisfies exactly one of the last two conditions. The same remark holds if "decimal" is replaced with any other [[number base|base]].
  
 
==Properties==
 
==Properties==
 
# Rational numbers form a [[field]]. In plain English it means that you can add, subtract, multiply, and divide them (with the exception of division by <math>0</math>) and the result of each such operation is again a rational number.
 
# Rational numbers form a [[field]]. In plain English it means that you can add, subtract, multiply, and divide them (with the 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 set | 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 set | 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.
 +
# Despite this, the set of rational numbers is [[countable]], i.e. the same size as the set of integers.
  
  

Latest revision as of 14:51, 25 August 2022

A rational number is a number that can be represented as the ratio of two integers.


Examples

  • All integers are rational because every integer $a$ can be represented as $a=\frac{a}{1}$
  • Every number with a finite decimal expansion is rational (say, $12.345=\frac{12345}{1000}$)
  • Every number with a periodic decimal expansion (e.g. 0.314314314...) is also rational.

Moreover, any rational number satisfies exactly one of the last two conditions. The same remark holds if "decimal" is replaced with any other base.

Properties

  1. Rational numbers form a field. In plain English it means that you can add, subtract, multiply, and divide them (with the exception of division by $0$) and the result of each such operation is again a rational number.
  2. 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.
  3. Despite this, the set of rational numbers is countable, i.e. the same size as the set of integers.


See also