Bijective numeration is any
numeral system
A numeral system (or system of numeration) is a writing system for expressing numbers; that is, a mathematical notation for representing numbers of a given set, using digits or other symbols in a consistent manner.
The same sequence of symb ...
in which every non-negative
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
can be represented in exactly one way using a finite
string of digits. The name refers to the
bijection (i.e. one-to-one correspondence) that exists in this case between the set of non-negative integers and the set of finite strings using a finite set of symbols (the "digits").
Most ordinary numeral systems, such as the common
decimal system, are not bijective because more than one string of digits can represent the same positive integer. In particular, adding
leading zero
A leading zero is any 0 digit that comes before the first nonzero digit in a number string in positional notation.. For example, James Bond's famous identifier, 007, has two leading zeros. Any zeroes appearing to the left of the first non-zero di ...
es does not change the value represented, so "1", "01" and "001" all represent the number
one
1 (one, unit, unity) is a number representing a single or the only entity. 1 is also a numerical digit and represents a single unit of counting or measurement. For example, a line segment of ''unit length'' is a line segment of length 1. I ...
. Even though only the first is usual, the fact that the others are possible means that the decimal system is not bijective. However, the
unary numeral system
The unary numeral system is the simplest numeral system to represent natural numbers: to represent a number ''N'', a symbol representing 1 is repeated ''N'' times.
In the unary system, the number 0 (zero) is represented by the empty string, th ...
, with only one digit, ''is'' bijective.
A bijective
base-''k'' numeration is a bijective
positional notation. It uses a string of digits from the set (where ''k'' ≥ 1) to encode each positive integer; a digit's position in the string defines its value as a multiple of a power of ''k''. calls this notation ''k''-adic, but it should not be confused with the
''p''-adic numbers: bijective numerals are a system for representing ordinary
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s by finite strings of nonzero digits, whereas the ''p''-adic numbers are a system of mathematical values that contain the integers as a subset and may need infinite sequences of digits in any numerical representation.
Definition
The
base-''k'' bijective numeration system uses the digit-set (''k'' ≥ 1) to uniquely represent every non-negative integer, as follows:
* The integer zero is represented by the ''
empty string
In formal language theory, the empty string, or empty word, is the unique string of length zero.
Formal theory
Formally, a string is a finite, ordered sequence of characters such as letters, digits or spaces. The empty string is the special cas ...
''.
* The integer represented by the nonempty digit-string
::
:is
::.
* The digit-string representing the integer ''m'' > 0 is
::
:where
::
:and
::
:
being the least integer not less than ''x'' (the
ceiling function).
In contrast, standard
positional notation can be defined with a similar recursive algorithm where
::
Extension to integers
For base
, the bijective base-
numeration system could be extended to negative integers
in the same way as the standard base- numeral system by use of an infinite number of the digit
, where
, represented as a left-infinite sequence of digits
. This is because the
Euler summation
:
meaning that
:
and for every positive number
with bijective numeration digit representation
is represented by
. For base
, negative numbers
are represented by
with
, while for base
, negative numbers
are represented by
. This is similar to how in
signed-digit representations, all integers
with digit representations
are represented as
where
. This representation is no longer bijective, as the entire set of left-infinite sequences of digits is used to represent the
-adic integers, of which the integers are only a subset.
Properties of bijective base-''k'' numerals
For a given base
,
* the number of digits in the bijective base-''k'' numeral representing a nonnegative integer ''n'' is
*:
, in contrast to
for ordinary base-''k'' numerals;
if ''k'' = 1 (i.e., unary), then the number of digits is just ''n'';
* the smallest nonnegative integer, representable in a bijective base-''k'' numeral of length
, is
*:
;
* the largest nonnegative integer, representable in a bijective base-''k'' numeral of length
, is
*:
, equivalent to
, or
;
* the bijective base-''k'' and ordinary base-''k'' numerals for a nonnegative integer ''n'' ''are identical'' if and only if the ordinary numeral does not contain the digit ''0'' (or, equivalently, the bijective numeral is neither the empty string nor contains the digit ''k'').
For a given base
,
* there are exactly
bijective base-''k'' numerals of length
;
* a list of bijective base-''k'' numerals, in natural order of the integers represented, is automatically in
shortlex order In mathematics, and particularly in the theory of formal languages, shortlex is a total ordering for finite sequences of objects that can themselves be totally ordered. In the shortlex ordering, sequences are primarily sorted by cardinality (length) ...
(shortest first, lexicographical within each length). Thus, using λ to denote the
empty string
In formal language theory, the empty string, or empty word, is the unique string of length zero.
Formal theory
Formally, a string is a finite, ordered sequence of characters such as letters, digits or spaces. The empty string is the special cas ...
, the base 1, 2, 3, 8, 10, 12, and 16 numerals are as follows (where the ordinary representations are listed for comparison):
Examples
:34152 (in bijective base-5) = 3×5
4 + 4×5
3 + 1×5
2 + 5×5
1 + 2×1 = 2427 (in decimal).
:119A (in bijective base-10, with "A" representing the digit value ten) = 1×10
3 + 1×10
2 + 9×10
1 + 10×1 = 1200 (in decimal).
:A typical alphabetic list with more than 26 elements is bijective, using the order of A, B, C...X, Y, Z, AA, AB, AC...ZX, ZY, ZZ, AAA, AAB, AAC...
The bijective base-10 system
The bijective base-10 system is a base
ten
Ten, TEN or 10 may refer to:
* 10, an even natural number following 9 and preceding 11
* one of the years 10 BC, AD 10, 1910 and 2010
* October, the tenth month of the year
Places
* Mount Ten, in Vietnam
* Tongren Fenghuang Airport (IATA code ...
positional
numeral system
A numeral system (or system of numeration) is a writing system for expressing numbers; that is, a mathematical notation for representing numbers of a given set, using digits or other symbols in a consistent manner.
The same sequence of symb ...
that does not use a digit to represent
zero
0 (zero) is a number representing an empty quantity. In place-value notation such as the Hindu–Arabic numeral system, 0 also serves as a placeholder numerical digit, which works by multiplying digits to the left of 0 by the radix, usu ...
. It instead has a digit to represent ten, such as ''A''.
As with conventional
decimal, each digit position represents a power of ten, so for example 123 is "one hundred, plus two tens, plus three units." All
positive integer
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called '' cardinal ...
s that are represented solely with non-zero digits in conventional decimal (such as 123) have the same representation in decimal without a zero. Those that use a zero must be rewritten, so for example 10 becomes A, conventional 20 becomes 1A, conventional 100 becomes 9A, conventional 101 becomes A1, conventional 302 becomes 2A2, conventional 1000 becomes 99A, conventional 1110 becomes AAA, conventional 2010 becomes 19AA, and so on.
Addition
Addition (usually signified by the plus symbol ) is one of the four basic operations of arithmetic, the other three being subtraction, multiplication and division. The addition of two whole numbers results in the total amount or ''sum'' of ...
and
multiplication
Multiplication (often denoted by the cross symbol , by the mid-line dot operator , by juxtaposition, or, on computers, by an asterisk ) is one of the four elementary mathematical operations of arithmetic, with the other ones being ad ...
in decimal without a zero are essentially the same as with conventional decimal, except that carries occur when a position exceeds ten, rather than when it exceeds nine. So to calculate 643 + 759, there are twelve units (write 2 at the right and carry 1 to the tens), ten tens (write A with no need to carry to the hundreds), thirteen hundreds (write 3 and carry 1 to the thousands), and one thousand (write 1), to give the result 13A2 rather than the conventional 1402.
The bijective base-26 system
In the bijective base-26 system one may use the Latin alphabet letters "A" to "Z" to represent the 26 digit values
one
1 (one, unit, unity) is a number representing a single or the only entity. 1 is also a numerical digit and represents a single unit of counting or measurement. For example, a line segment of ''unit length'' is a line segment of length 1. I ...
to
twenty-six. (A=1, B=2, C=3, ..., Z=26)
With this choice of notation, the number sequence (starting from 1) begins A, B, C, ..., X, Y, Z, AA, AB, AC, ..., AX, AY, AZ, BA, BB, BC, ...
Each digit position represents a power of twenty-six, so for example, the numeral ABC represents the value = 731 in base 10.
Many
spreadsheet
A spreadsheet is a computer application for computation, organization, analysis and storage of data in tabular form. Spreadsheets were developed as computerized analogs of paper accounting worksheets. The program operates on data entered in ce ...
s including
Microsoft Excel
Microsoft Excel is a spreadsheet developed by Microsoft for Windows, macOS, Android and iOS. It features calculation or computation capabilities, graphing tools, pivot tables, and a macro programming language called Visual Basic for ...
use this system to assign labels to the columns of a spreadsheet, starting A, B, C, ..., Z, AA, AB, ..., AZ, BA, ..., ZZ, AAA, etc. For instance, in Excel 2013, there can be up to 16384 columns (2
14 in binary code), labeled from A to XFD. A variant of this system is used to name
variable stars
A variable star is a star whose brightness as seen from Earth (its apparent magnitude) changes with time. This variation may be caused by a change in emitted light or by something partly blocking the light, so variable stars are classified as e ...
.
[.] It can be applied to any problem where a systematic naming using letters is desired, while using the shortest possible strings.
Historical notes
The fact that every non-negative integer has a unique representation in bijective base-''k'' (''k'' ≥ 1) is a "
folk theorem" that has been rediscovered many times. Early instances are for the case ''k'' = 10, and and for all ''k'' ≥ 1. Smullyan uses this system to provide a
Gödel numbering
In mathematical logic, a Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number. The concept was developed by Kurt Gödel for the proof of ...
of the strings of symbols in a logical system; Böhm uses these representations to perform computations in the programming language
P′′. mentions the special case of ''k'' = 10, and discusses the cases ''k'' ≥ 2. appears to be another rediscovery, and hypothesizes that if ancient numeration systems used bijective base-''k'', they might not be recognized as such in archaeological documents, due to general unfamiliarity with this system.
Notes
References
* .
* .
* .
* . (Discusses bijective base-10.)
* . (Discusses bijective base-''k'' for all ''k'' ≥ 2.)
* .
{{Use dmy dates, date=July 2020
Numeral systems
Non-standard positional numeral systems