Difference between revisions of "Rational number"

(Examples)
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:
A '''rational number''' is a [[number]] that can be represented as a ratio of two [[integer]]s.  
+
A '''rational number''' is a [[number]] that can be represented as the [[ratio]] of two [[integer]]s.  
  
  
 
==Examples==
 
==Examples==
* All integers are rational because every integer <math>a</math> can be represented as <math>a=\frac a1</math> (or <math>\frac{2a}2</math>, or...)
+
* 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.  
Actually, the last property characterizes rationals among all [[real number]]s.
 
  
 +
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 obvious 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 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.
  
  
Line 17: Line 18:
 
* [[Fraction]]
 
* [[Fraction]]
 
* [[Rational approximation]]
 
* [[Rational approximation]]
 +
 +
[[Category:Definition]]
 +
[[Category:Number theory]]

Latest revision as of 15: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