Difference between revisions of "Rational number"

m (Formatting)
 
(5 intermediate revisions by 4 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 expressed as the [[ratio]] of two [[integer]]s.  
  
 +
== Examples ==
  
==Examples==
+
* All integers are rational because every integer <math>a</math> can be represented as <math>\frac{a}{1}</math>
* 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...)
+
* Every number with a finite [[decimal expansion]] is rational (for example, <math>12.345=\frac{12345}{1000}</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 periodic decimal expansion (for example, 0.314314314...) is also rational.  
* All numbers whose decimal expansion is [[periodic]] (repeating, i.e. 0.314314314...) in some base are rationals.
 
Actually, the last property characterizes rationals among all [[real number]]s.
 
  
 +
Moreover, any rational number in any [[base numbers|base]] satisfies exactly one of the last two conditions.
  
 
==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 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 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.
 +
* Despite this, the set of rational numbers is [[countable]], i.e. the same size as the set of integers.
 +
 +
== See also ==
  
==See also==
 
 
* [[Fraction]]
 
* [[Fraction]]
 
* [[Rational approximation]]
 
* [[Rational approximation]]
 +
 +
[[Category:Definition]]
 +
[[Category:Number theory]]
 +
 +
{{stub}}

Latest revision as of 21:00, 3 February 2025

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

Examples

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

Moreover, any rational number in any base satisfies exactly one of the last two conditions.

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 $0$) 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.
  • Despite this, the set of rational numbers is countable, i.e. the same size as the set of integers.

See also

This article is a stub. Help us out by expanding it.