An irrational number is a real number that cannot be reduced to any ratio between an integer *p* and a natural number *q* . The union of the set of irrational numbers and the set of rational number s forms the set of real numbers. In mathematical expressions, unknown or unspecified irrationals are usually represented by *u* through *z* . Irrational numbers are primarily of interest to theoreticians. Abstract mathematics has potentially far-reaching applications in communications and computer science, especially in data encryption and security.

Examples of irrational numbers are 2 ^{1/2} (the square root of 2), 3 ^{1/3} (the cube root of 3), the circular ratio pi , and the natural logarithm base *e* . The quantities 2 ^{1/2} and 3 ^{1/3} are examples of algebraic number s. Pi and *e* are examples of special irrationals known as a transcendental number s. The decimal expansion of an irrational number is always nonterminating (it never ends) and nonrepeating (the digits display no repetitive pattern).

If *x* and *z* are irrationals such that *x* < *z* , then there always exists an irrational *y* such that *x* < *y* < *z* . The set of irrationals is "dense" like the set * Q* of rationals. But theoretically, the set of irrationals is "more dense." Unlike

*, the set of irrationals is*

**Q***nondenumerable*. There are more nonterminating, nonrepeating decimals than is possible to list, even by implication. To prove this, suppose there is an implied list of all the nonterminating, nonrepeating decimal numbers between 0 and 1. Every such number consists of a zero followed by a decimal point, followed by an infinite sequence of digits from the set {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Suppose the elements of the list are denoted

**x**_{1},

**x**_{2},

**x**_{3}, ... and the digits in the numbers are denoted

*. The list can be written like this:*

**a**_{ii}*x*_{1} = 0. *a*_{11} *a*_{12} *a*_{13} *a*_{14} *a*_{15} *a*_{16} ...

*x*_{2} = 0. *a*_{21} *a*_{22} *a*_{23} *a*_{24} *a*_{25} *a*_{26} ...

*x*_{3} = 0. *a*_{31} *a*_{32} *a*_{33} *a*_{34} *a*_{35} *a*_{36} ...

*x*_{4} = 0. *a*_{41} *a*_{42} *a*_{43} *a*_{44} *a*_{45} *a*_{46} ...

*x*_{5} = 0. *a*_{51} *a*_{52} *a*_{53} *a*_{54} *a*_{55} *a*_{56} ...

*x*_{6} = 0. *a*_{61} *a*_{62} *a*_{63} *a*_{64} *a*_{65} *a*_{66} ...

...

Even though we don't know the actual values of any of the digits, it is easy to imagine a number between 0 and 1 that can't be in this list. Think of a number * y* of the following form:

** y** = 0.

*b*_{11}

*b*_{22}

*b*_{33}

*b*_{44}

*b*_{55}

*b*_{66}...

such that no * b _{ii}* in

*is equal to the corresponding*

**y***in the list. The resulting number*

**a**_{ii}*is nonterminating and nonrepeating, is between 0 and 1, but is not equal to any*

**y**

**x**_{i}in the list, because there is always at least one digit that does not match.

The non-denumerability of the set of irrational numbers has far-reaching implications. Perhaps most bizarre is the notion that "not all infinities are created equal." Although the set of rationals and the set of irrationals are both infinite, the set of irrationals is larger in a demonstrable way.

*This was last updated in*September 2005

*Posted by:*Margaret Rouse

## Tech TalkComment

## Share

## Comments

## Results

## Contribute to the conversation