Definition:Rational Number
Definition
A number in the form $\dfrac p q$, where both $p$ and $q$ are integers ($q$ non-zero), is called a rational number.
The set of all rational numbers is usually denoted $\Q$.
Thus:
- $\Q = \set {\dfrac p q: p \in \Z, q \in \Z_{\ne 0} }$
Formal Definition
The field $\struct {\Q, +, \times}$ of rational numbers is the field of quotients of the integral domain $\struct {\Z, +, \times}$ of integers.
This is shown to exist in Existence of Field of Quotients.
In view of Field of Quotients is Unique, we construct the field of quotients of $\Z$, give it a label $\Q$ and call its elements rational numbers.
Canonical Form of Rational Number
Let $r \in \Q$ be a rational number.
The canonical form of $r$ is the expression $\dfrac p q$, where:
- $r = \dfrac p q: p \in \Z, q \in \Z_{>0}, p \perp q$
where $p \perp q$ denotes that $p$ and $q$ have no common divisor except $1$.
Geometrical Definition
The definitions of rational numbers and irrational numbers as specified in Euclid's The Elements is different from the contemporary definitions:
In the words of Euclid:
- With these hypotheses, it is proved that there exist straight lines infinite in multitude which are commensurable and incommensurable respectively, some in length only, and others in square also, with an assigned straight line. Let then the assigned straight line be called rational, and those straight lines which are commensurable with it, whether in length and in square or square only, rational, but those which are incommensurable with it irrational.
(The Elements: Book $\text{X}$: Definition $3$)
- And let the square on the assigned straight line be called rational and those areas which are commensurable with it rational, but those which are incommensurable with it irrational, and the straight lines which produce them irrational, that is, in case the areas are squares, the sides themselves, but in case they are any other rectilineal figures, the straight lines on which are described squares equal to them.
(The Elements: Book $\text{X}$: Definition $4$)
Notation
Variants on $\Q$ are often seen, for example $\mathbf Q$ and $\QQ$, or even just $Q$.
Some sources use $R$, and for the real numbers use $\mathfrak R$.
Examples
Some examples of rational numbers are:
- $1$, $7$, $540$, $\dfrac 2 3$, $\dfrac 1 9$
Also see
- Results about rational numbers can be found here.
Linguistic Note
The name rational number has two significances:
- $(1): \quad$ The construct $\dfrac p q$ can be defined as the ratio between $p$ and $q$.
- $(2): \quad$ In contrast with the concept irrational number, which can not be so defined.
- The ancient Greeks had such a term for an irrational number: alogon, which had a feeling of undesirably chaotic and unstructured, or, perhaps more literally: illogical.
- The proof that there exist such numbers was a shock to their collective national psyche.
The symbol $\Q$ arises from the construction of the rational numbers as the field of $\Q$uotients of the integers $\Z$.
Sources
- 1960: Walter Ledermann: Complex Numbers ... (previous) ... (next): $\S 1.1$. Number Systems
- 1964: Steven A. Gaal: Point Set Topology ... (previous) ... (next): Introduction to Set Theory: $1$. Elementary Operations on Sets
- 1964: J. Hunter: Number Theory ... (previous) ... (next): Chapter $\text {I}$: Number Systems and Algebraic Structures: $1$. Introduction
- 1964: Walter Rudin: Principles of Mathematical Analysis (2nd ed.) ... (next): Chapter $1$: The Real and Complex Number Systems: Introduction
- 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text I$: Algebraic Structures: $\S 1$: The Language of Set Theory
- 1968: Ian D. Macdonald: The Theory of Groups ... (previous) ... (next): Appendix: Elementary set and number theory
- 1969: C.R.J. Clapham: Introduction to Abstract Algebra ... (previous) ... (next): Chapter $1$: Integral Domains: $\S 1$. Introduction
- 1970: B. Hartley and T.O. Hawkes: Rings, Modules and Linear Algebra ... (previous) ... (next): Chapter $1$: Rings - Definitions and Examples: $2$: Some examples of rings: Ring Example $4$
- 1971: Allan Clark: Elements of Abstract Algebra ... (previous) ... (next): Chapter $1$: The Notation and Terminology of Set Theory: $\S 1$
- 1971: Wilfred Kaplan and Donald J. Lewis: Calculus and Linear Algebra ... (previous) ... (next): Introduction: Review of Algebra, Geometry, and Trigonometry: $\text{0-1}$: The Real Numbers
- 1971: Robert H. Kasriel: Undergraduate Topology ... (previous) ... (next): Notation for Some Important Sets
- 1971: Robert H. Kasriel: Undergraduate Topology ... (previous) ... (next): $\S 1.8$: Collections of Sets: Definition $8.4$
- 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 4$: Number systems $\text{I}$: The rational numbers
- 1973: C.R.J. Clapham: Introduction to Mathematical Analysis ... (previous) ... (next): Chapter $1$: Axioms for the Real Numbers: $2$. Fields: Example $2$
- 1973: G. Stephenson: Mathematical Methods for Science Students (2nd ed.) ... (previous) ... (next): Chapter $1$: Real Numbers and Functions of a Real Variable: $1.1$ Real Numbers
- 1974: Murray R. Spiegel: Theory and Problems of Advanced Calculus (SI ed.) ... (previous) ... (next): Chapter $1$: Numbers: Real Numbers: $3$
- 1975: T.S. Blyth: Set Theory and Abstract Algebra ... (previous) ... (next): $\S 1$. Sets; inclusion; intersection; union; complementation; number systems
- 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces ... (previous) ... (next): Notation and Terminology
- 1977: K.G. Binmore: Mathematical Analysis: A Straightforward Approach ... (previous) ... (next): $\S 1$: Real Numbers: $\S 1.2$: The set of real numbers
- 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (2nd ed.) ... (previous) ... (next): Part $\text {II}$: Counterexamples: $30$. The Rational Numbers
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 2$: Introductory remarks on sets: $\text{(b)}$
- 1981: Murray R. Spiegel: Theory and Problems of Complex Variables (SI ed.) ... (previous) ... (next): Chapter $1$: Complex Numbers: The Real Number System: $3$
- 1986: David Wells: Curious and Interesting Numbers ... (previous) ... (next): Glossary
- 1993: Richard J. Trudeau: Introduction to Graph Theory ... (previous) ... (next): $2$. Graphs: Paradox
- 1994: H.E. Rose: A Course in Number Theory (2nd ed.) ... (previous) ... (next): Preface to first edition: Prerequisites
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): Appendix $\text A$: Sets and Functions: $\text{A}.1$: Sets
- 1997: Donald E. Knuth: The Art of Computer Programming: Volume 1: Fundamental Algorithms (3rd ed.) ... (previous) ... (next): $\S 1.2.2$: Numbers, Powers, and Logarithms
- 1997: David Wells: Curious and Interesting Numbers (2nd ed.) ... (previous) ... (next): Glossary
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): number: 2.
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): rational number
- 1999: András Hajnal and Peter Hamburger: Set Theory ... (previous) ... (next): $1$. Notation, Conventions: $2$
- 2000: James R. Munkres: Topology (2nd ed.) ... (previous) ... (next): $1$: Set Theory and Logic: $\S 4$: The Integers and the Real Numbers
- 2008: Paul Halmos and Steven Givant: Introduction to Boolean Algebras ... (previous) ... (next): Appendix $\text{A}$: Set Theory: Countable Sets
- 2008: David Joyner: Adventures in Group Theory (2nd ed.) ... (previous) ... (next): Chapter $2$: 'And you do addition?': $\S 2.1$: Functions: Example $2.1.6$
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): number: 2.
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): rational number
- 2008: Ian Stewart: Taming the Infinite ... (previous) ... (next): Chapter $2$: The Logic of Shape: Pythagoras
- 2008: Ian Stewart: Taming the Infinite ... (previous) ... (next): Chapter $3$: Notations and Numbers: Negative numbers