HOME

TheInfoList



OR:

In mathematics, a
sequence In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called ...
of
natural numbers 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 ...
is called a complete sequence if every positive
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 expressed as a sum of values in the sequence, using each value at most once. For example, the sequence of
powers of two A power of two is a number of the form where is an integer, that is, the result of exponentiation with number two as the base and integer  as the exponent. In a context where only integers are considered, is restricted to non-negative ...
(1, 2, 4, 8, ...), the basis of the
binary numeral system A binary number is a number expressed in the base-2 numeral system or binary numeral system, a method of mathematical expression which uses only two symbols: typically "0" ( zero) and "1" (one). The base-2 numeral system is a positional notatio ...
, is a complete sequence; given any natural number, we can choose the values corresponding to the 1 bits in its binary representation and sum them to obtain that number (e.g. 37 = 1001012 = 1 + 4 + 32). This sequence is minimal, since no value can be removed from it without making some natural numbers impossible to represent. Simple examples of sequences that are not complete include the
even number In mathematics, parity is the property of an integer of whether it is even or odd. An integer is even if it is a multiple of two, and odd if it is not.. For example, −4, 0, 82 are even because \begin -2 \cdot 2 &= -4 \\ 0 \cdot 2 &= 0 \\ 4 ...
s, since adding even numbers produces only even numbers—no
odd number In mathematics, parity is the property of an integer of whether it is even or odd. An integer is even if it is a multiple of two, and odd if it is not.. For example, −4, 0, 82 are even because \begin -2 \cdot 2 &= -4 \\ 0 \cdot 2 &= 0 \\ 41 ...
can be formed.


Conditions for completeness

Without loss of generality, assume the sequence ''a''''n'' is in non-decreasing order, and define the partial sums of ''a''''n'' as: :s_n=\sum_^n a_m. Then the conditions :a_0 = 1 \, :s_ \ge a_k - 1 \text k \ge 1 are both necessary and sufficient for ''a''''n'' to be a complete sequence.Honsberger, R. Mathematical Gems III. Washington, DC: Math. Assoc. Amer., 1985, pp.123-128. A corollary to the above states that :a_0 = 1\, :2a_k \ge a_ \text k \ge 0 are sufficient for ''a''''n'' to be a complete sequence. However there are complete sequences that do not satisfy this corollary, for example , consisting of the number 1 and the first
prime A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only way ...
after each power of 2.


Other complete sequences

The complete sequences include: * The sequence of the number 1 followed by the
prime number A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only way ...
s (studied by
S. S. Pillai Subbayya Sivasankaranarayana Pillai (5 April 1901 – 31 August 1950) was an Indian mathematician specialising in number theory. His contribution to Waring's problem was described in 1950 by K. S. Chandrasekharan as "almost certainly his best p ...
and others); this follows from
Bertrand's postulate In number theory, Bertrand's postulate is a theorem stating that for any integer n > 3, there always exists at least one prime number p with :n < p < 2n - 2. A less restrictive formulation is: for every n > 1, there is always ...
. * The sequence of
practical number In number theory, a practical number or panarithmic number is a positive integer n such that all smaller positive integers can be represented as sums of distinct divisors of n. For example, 12 is a practical number because all the numbers from 1 ...
s which has 1 as the first term and contains all other powers of 2 as a subset.. * The
Fibonacci numbers In mathematics, the Fibonacci numbers, commonly denoted , form a sequence, the Fibonacci sequence, in which each number is the sum of the two preceding ones. The sequence commonly starts from 0 and 1, although some authors start the sequence from ...
, as well as the Fibonacci numbers with any one number removed. This follows from the identity that the sum of the first ''n'' Fibonacci numbers is the (''n'' + 2)nd Fibonacci number minus 1 (see Fibonacci_numbers#Second_identity).


Applications

Just as the powers of two form a complete sequence due to the binary numeral system, in fact any complete sequence can be used to encode integers as bit strings. The rightmost bit position is assigned to the first, smallest member of the sequence; the next rightmost to the next member; and so on. Bits set to 1 are included in the sum. These representations may not be unique.


Fibonacci coding

For example, in the Fibonacci arithmetic system, based on the Fibonacci sequence, the number 17 can be encoded in six different ways: :110111 (F6 + F5 + F3 + F2 + F1 = 8 + 5 + 2 + 1 + 1 = 17, maximal form) :111001 (F6 + F5 + F4 + F1 = 8 + 5 + 3 + 1 = 17) :111010 (F6 + F5 + F4 + F2 = 8 + 5 + 3 + 1 = 17) :1000111 (F7 + F3 + F2 + F1 = 13 + 2 + 1 + 1 = 17) :1001001 (F7 + F4 + F1 = 13 + 3 + 1 = 17) :1001010 (F7 + F4 + F2 = 13 + 3 + 1 = 17, minimal form, as used in
Fibonacci coding In mathematics and computing, Fibonacci coding is a universal code which encodes positive integers into binary code words. It is one example of representations of integers based on Fibonacci numbers. Each code word ends with "11" and contains n ...
) The maximal form above will always use F1 and will always have a trailing one. The full coding without the trailing one can be found at . By dropping the trailing one, the coding for 17 above occurs as the 16th term of A104326. The minimal form will never use F1 and will always have a trailing zero. The full coding without the trailing zero can be found at . This coding is known as the Zeckendorf representation. In this numeral system, any substring "100" can be replaced by "011" and vice versa due to the definition of the Fibonacci numbers.Stakhov, Alexey. , ''Museum of Harmony and Golden Section''. Originally accessed: 27 July 2010. Continual application of these rules will translate form the maximal to the minimal, and vice versa. The fact that any number (greater than 1) can be represented with a terminal 0 means that it is always possible to add 1, and given that, for 1 and 2 can be represented in Fibonacci coding, completeness follows by induction.


See also

* Ostrowski numeration


References


External links

* {{Series (mathematics) Integer sequences