Irrational number

Irrational number
Name	Irrational number
Set	Real numbers
Examples	$\backslash sqrt\{2\}$, π, e

Irrational number. In mathematics, an irrational number is any real number that cannot be expressed as a ratio of two integers. More formally, a real number is irrational if it is not an element of the set of rational numbers, meaning it cannot be written in the form $a/b$ where $a$ and $b$ are integers and $b\; \backslash neq\; 0$. The decimal expansion of an irrational number neither terminates nor eventually repeats a finite sequence of digits endlessly, a property that distinguishes it from every rational number. The study of irrational numbers is fundamental to real analysis, number theory, and the logical foundations of mathematics.

Definition and basic properties

A real number is defined as irrational if it is not a member of the set $\backslash mathbb\{Q\}$, the field of rational numbers. This definition places irrational numbers within the complete ordered field of real numbers, denoted $\backslash mathbb\{R\}$. Consequently, the set of irrational numbers is precisely the set-theoretic complement $\backslash mathbb\{R\}\; \backslash setminus\; \backslash mathbb\{Q\}$. A key property is that the decimal representation of any irrational number is infinite and non-repeating; it does not exhibit a recurring block of digits from some point onward, unlike the decimal for a rational number such as $1/3\; =\; 0.\backslash overline\{3\}$. The irrational numbers are dense in the real line, meaning between any two distinct real numbers, there exists an irrational number, a property they share with the rationals. However, unlike the countable set $\backslash mathbb\{Q\}$, the set of irrationals is uncountable, having the cardinality of the continuum.

History and discovery

The discovery of irrational numbers is traditionally attributed to the Pythagorean school in ancient Greece, often to Hippasus of Metapontum in the 5th century BCE. The Pythagoreans held that all quantities could be expressed as ratios of integers, so the discovery that the diagonal of a unit square (of length $\backslash sqrt\{2\}$) was incommensurable with its side was a profound philosophical crisis. This early proof of irrationality relied on reductio ad absurdum and the concept of parity. For centuries, mathematicians like Eudoxus of Cnidus addressed irrational magnitudes through his theory of proportion, later formalized in Euclid's Elements. The acceptance and rigorous treatment of irrationals advanced significantly in the 19th century with the work of Karl Weierstrass, Richard Dedekind with his Dedekind cuts, and Georg Cantor with his theories of infinity and the real number system.

Examples and important constants

The most elementary examples of irrational numbers are the square roots of non-perfect square natural numbers, such as $\backslash sqrt\{2\}$, $\backslash sqrt\{3\}$, and $\backslash sqrt\{5\}$. Fundamental mathematical constants proven to be irrational include the ratio of a circle's circumference to its diameter, π, and the base of the natural logarithm, e. The irrationality of $e$ was established by Leonhard Euler in 1744, while the irrationality of $\backslash pi$ was proven by Johann Heinrich Lambert in 1768. Other prominent examples are the golden ratio $\backslash varphi$, Apéry's constant $\backslash zeta(3)$, and logarithms of integers not being powers of the base, like $\backslash log\_\{10\}\; 2$. Many values of trigonometric functions, such as $\backslash sin(1)$ and $\backslash cos(1)$ (with arguments in radians), are also irrational.

Irrationality proofs

The most common method for proving irrationality is proof by contradiction, assuming the number is rational and deriving a logical inconsistency. The classic proof for $\backslash sqrt\{2\}$ assumes it equals $a/b$ in lowest terms, leading to the conclusion that both $a$ and $b$ are even, contradicting the assumption of coprime integers. For constants like $e$ and $\backslash pie$ in 1873. Building on such techniques, Ferdinand von Lindemann proved the transcendence of $\backslash pi$ in 1882, which implies its irrationality. For algebraic numbers, Liouville's theorem provides a criterion for transcendence and irrationality.

Properties and classification

Irrational numbers can be further classified into two disjoint sets: algebraic irrationals and transcendental numbers. An algebraic irrational is a root of a non-zero polynomial with integer coefficients that is not a rational number; examples include $\backslash sqrt\{2\}$ and the golden ratio $\backslash varphi$. A transcendental number is not a root of any such polynomial; $\backslash pi$ and $e$ are the most famous examples, with their transcendence established by Lindemann and Hermite, respectively. The set of algebraic irrationals is countable, while the transcendental numbers are uncountable, demonstrating that "almost all" irrationals are transcendental. Irrational numbers are not closed under basic arithmetic operations; the sum or product of two irrationals can be rational (e.g., $\backslash sqrt\{2\}\; +\; (-\backslash sqrt\{2\})\; =\; 0$).

Mathematical significance

The existence of irrational numbers necessitated the expansion of the number system from the rationals to the real numbers, a complete, Archimedean ordered field. This development was crucial for the rigorous formulation of calculus and mathematical analysis by figures like Augustin-Louis Cauchy and Bernhard Riemann. Irrationals are essential in defining continuity, limits, and measure theory, forming the basis for the real number line. In geometry, they appear inherently in measurements of basic figures, such as the diagonal of a square or the circumference of a circle. The study of irrationality and transcendence remains an active area in number theory, with deep connections to Diophantine approximation and unsolved problems regarding the status of constants like Euler's constant and Catalan's constant.

Category:Real numbers Category:Number theory Category:Mathematical constants