At least in classical mathematics, every real number may be written in base for any natural number (binary for , decimal for , etc), which can be generalized to fractional (especially ) and beyond.
For integers, this idea goes back to the Old Babylonians using base (around 2000 BCE), perfected in the Gupta Empire using base (around 400), and popularized in Europe by Fibonacci? (in 1202). For arbitrary real numbers, these were first used by Abu'l-Hasan al-Uqlidisi? (around 952) and popularized by Simon Stevin? (in 1585). This notation (in base ) is now ubiquitous, and (despite the technical difficulties of doing so rigorously) serves as a de facto definition of the real numbers in elementary mathematics.
Radix notation in base is the basis of floating point arithmetic?, the fast but imprecise method of calculation with real numbers usually used in modern computing.
Given a natural number , let be the set of natural numbers (including zero) strictly less than : ; in this context, an element of is called a digit (in base ). Let be the set of integers: ; in this context, an element of is called a place. Then a function from to is a doubly-infinite sequence of digits, one digit for each place. Such a sequence defines a doubly-infinite series of rational numbers:
(The term is the place value of the digit at the place .) This series converges (to a real number) if and only if there is a place such that for all . That is, we can write the series as
In this way, a sequence of digits (finite on one end, infinite on the other) represents a nonnegative real number. (Sometimes is used instead of , so that integers have nonzero digits only at positive places instead of only at negative ones. Ultimately this is a matter of convention, but this article uses so that the places are written in order.)
As a representation of real numbers, this is almost unique. Specifically, two distinct sequences and of digits represent the same real number (meaning that the sums of the series are equal) if and only if there is some place such that
In this case, the sequence with s is generally considered standard. The real numbers arising in this way are precisely the positive -adic rational? numbers, that is the rational numbers that are positive integer multiples of for some integer (the same as above).
In classical mathematics, every nonnegative real number may be represented in this way. Given such a number and a place , let be the remainder? modulo of the floor of : that is, ; then . (For -adic rational , this will produce the representation with s; to automatically produce the other representation, use .) The number is represented only by a sequence of all s.
Given unique symbols for the digits, the real number represented by a sequence of digits may be written by, beginning at the smallest place whose digit is nonzero, writing the symbols in order, with a dot (or comma), called the radix point, between place and place (and padding zeroes after the radix point if the first nonzero digit has not yet been reached). Of course, the sequence is still infinite and cannot be written down, but we may write any finite portion. The -adic rationals can be represented exactly by leaving out the infinitely repeating digit ; arbitrary rational numbers may be represented exactly by a bar over a list of digits that repeats infinitely. (It is a theorem that every non--adic rational number can be uniquely represented in this way; in fact, only rational numbers can be so represented.) A subscript may be used to indicate the base (with a default base in practice). Finally, a negative real number is written by writing its absolute value after a minus sign.
Given any number (not necessarily a natural number), still called the base, and any set of numbers, whose elements are called digits, we may consider finite or infinite sequences of digits, indexed by integers (still called places). Such a sequence should include a smallest place as part of its data (since may not be one of the digits), so the places are all (or perhaps only some) of the integers . Then the infinite series
still converges to a real number.
If is a natural number and is , then we recover the representation above of all nonnegative real numbers, unique except for the positive -adic rationals. More generally, if is any real number and is , then we get a representation of all nonnegative real numbers, which (for non-integer ) is never unique (although in practice one uses the last sequence in lexicographic ordering).
If is a natural number and is , then we get a representation of all positive real numbers (but not unless we allow the empty list of digits). If and is again , then every infinite sequence gives a divergent series, but the finite sequences represent all positive integers, uniquely up to a shift of place; this is called tally notation. In the other direction, if is a natural number and is a set of consecutive integers that includes both and , then we get a representation of all real numbers (positive, negative, and zero), which is unique except for a few rational numbers (in the case of and so , those which are half of a power of ); this is called balanced radix notation.
Here are some representations of well-known real numbers in well-known radixes:
Number | Decimal (, | Binary (, ) | Positive binary (, ) | Natural (, ) | Ternary (, ) | Balanced ternary (, , writing for ) | Tally (, ) |
---|---|---|---|---|---|---|---|
(or ) | (or ) | (nonce symbol, or empty list) | (or ) | (or ) | (nonce symbol, or empty list) | ||
(or ) | (or ) | (as a finite list, or with padding , or ) | (or , etc) | (or ) | |||
(or ) | (or ) | (as a finite list, or , or with padding ) | (or , etc) | (or ) | |||
(or , etc) | (not possible) | ||||||
(or ) | (or ) | (as a finite list, or , or ) | (etc) | (or ) | |||
(etc) | (not possible) | ||||||
(or ) | (or ) | (as a finite list with padding , or with padding , or ) | (etc) | (or ) | (not possible) | ||
(with padding ) | (etc) | (or ) | (not possible) | ||||
(or ) | (or ) | (as a finite list, or with padding , or ) | (or , etc) | (or ) |
In constructive mathematics, it is not generally true that every real number has a radix expansion. However, one does have the following results:
In the presence of weak countable choice, there exists a radix expansion in any base (e.g., a decimal expansion or binary expansion) for every Cauchy real number iff holds; there exists a radix expansion for every Dedekind real number has iff the analytic holds. Without weak countable choice, Lifschitz realizability gives a model in which holds but it is not true that there exists a radix expansion in any base for every Cauchy real number, which implies that there are models in which the analytic LLPO holds but it is not true that there exists a radix expansion in any base for every Dedekind real number. See Andrew Swan‘s answer to Birchfield (2024). In addition, the analytic holds for the Dedekind real numbers in condensed sets, but every function from the Dedekind real numbers to the boolean domain is a constant function, which implies that it is not true that there exists a radix expansion in any base for every Dedekind real number.
In the presence of countable choice, is equivalent to the claim that the rings of radix expansions in any two bases are isomorphic. See Daniel Mehkeri's answer to Feldman (2010).
That every Cauchy real number has a choice of radix expansion in any base implies that the weak limited principle of omniscience (WLPO) for the natural numbers holds; that every Dedekind real number has a choice of radix expansion implies that the analytic WLPO holds.
Fred Richman considered a number system (a noncancellable rig) of nonnegative decimal sequences in which ; the usual rig of nonnegative real numbers is a subrig; see Richman 1999. In this rig, is not cancellable, and there is no value of . Although Richman was a prominent constructivist, the development is not (and probably cannot be made) constructive.
In nonstandard analysis, every hyperreal number has a radix expansion (by the transfer principle), but these now have digits with nonstandard natural places. The expansion of a nonstandard hyperreal will have digits at nonstandard places that cannot be predicted by the digits at standard places. A well-known example is that (in base ) if it is understood that the bar applies a hyperfinite but nonstandard number of places (although , as usual, if the bar applies to all places). One wants to write , but this is misleading, because the bar on the left-hand side includes one more digit than the bar on the right-hand side; would be more accurate. Of course, one could write this same equation in standard mathematics if the bar is understood to apply to a large but finite number of places. (Note that it’s not possible to have the bar apply to exactly the standard places, since the set of standard natural numbers is not definable. Indeed, in that case the would have to be at the least nonstandard place, and there is no such number.)
Mathematician and Usenet legend Alexander Abian?, before branching into speculative physics, advocated polemically that the real numbers should be defined as finite or infinite sequences of decimal digits; see Abian 1981. While not favoured by most mathematicians due to the inelegance of the definitions and proofs, this is the form in which the real numbers are often presented to elementary students.
Alexander Abian?. 1981. Calculus must consist of the study of real numbers in their decimal representation and not of the study of an abstract complete ordered field or nonstandard real numbers. International Journal of Mathematical Education in Science and Technology 12(4). Doi:10.1080/0020739810120417.
Fred Richman, Is 0.999… = 1?. Mathematics Magazine, Volume 72, Issue 5, 1999, Pages 396-400, [doi:10.1080/0025570X.1999.11996777]
David Feldman (2010) on Math.Overflow, Radix notation and toposes
Madeleine Birchfield (2024) on Category Theory Zulip, Radix expansions in constructive mathematics
Last revised on August 16, 2025 at 01:13:20. See the history of this page for a list of all contributions to it.