Covering set

Covering set

In mathematics, a covering set for a sequence of integers refers to a set of prime numbers such that every term in the sequence is divisible by at least one member of the set. The term "covering set" is used only in conjunction with sequences possessing exponential growth.

Contents

Sierpinski and Riesel numbers

The use of the term "covering set" is related to Sierpinski and Riesel numbers. These are odd natural numbers k for which the formula k*2n+1 (Sierpinski number) or k*2n-1 (Riesel number) produces no prime numbers. Since 1960 it has been known that there exists an infinite number of both Sierpinski and Riesel numbers (as solutions to families of congruences) but, because there are an infinitude of numbers of the form k*2n+1 or k*2n-1 for any k, one can only prove k to be a Sierpinski or Riesel number through showing that every term in the sequence k*2n+1 or k*2n-1 is divisible by one of the prime numbers of the covering set.

These covering sets form from prime numbers that in base 2 have short periods. To achieve a complete covering set, it can be shown that the sequence can repeat no more frequently than every 24 numbers. A repeat every 24 numbers give the covering set {3, 5, 7, 13, 17, 241}, whilst a repeat every 36 terms can give several covering sets: {3, 5, 7, 13, 19, 37, 73}; {3, 5, 7, 13, 19, 37, 109}; {3, 5, 7, 13, 19, 73, 109} and {3, 5, 7, 13, 37, 73, 109}. Riesel numbers have the same covering sets as Sierpinski numbers.

Other covering sets

Covering sets are also used to prove the existence of composite Fibonacci sequences (primefree sequence).

The concept of a covering set can easily be generalised to other sequences which turn out to be much simpler.

In the following examples + is used as it is in regular expressions to mean 1 or more. For example 91+3 means the set {913,9113,91113,911113...}

An example are the following three sequences:

  • (82*10n+17)/9 or 91+3
  • (85*10n+41)/9 or 94+9
  • (86*10n+31)/9 or 95+9

In each case, every term is divisible by one of the primes {3, 7, 11, 13}. These primes can be said to form a covering set exactly analogous to Sierpinski and Riesel numbers.

An even simpler case can be found in the sequence:

  • (76*10n-67)/99 (n must be odd) or (76+7 [Sequence: 7, 767, 76767, 7676767, 767676767 etc]

Here, it can be shown that if:

  • w is of form 3k (n = 6k+1): (76)+7 is divisible by 7
  • w is of form 3k+1 (n = 6k+3): (76)+7 is divisible by 13
  • w is of form 3k+2 (n = 6k+5): (76)+7 is divisible by 3

Thus we have a covering set with only three primes {3, 7, 13}. This is only possible because the sequence gives integer terms only for odd n.

A covering set also occurs in the sequence:

  • (343*10n-1)/9 or 381+.

Here, it can be shown that:

  • If n = 3k+1, then (343*10n-1)/9 is divisible by 3.
  • If n = 3k+2, then (343*10n-1)/9 is divisible by 37.
  • If n = 3k, then (343*10n-1)/9 is algebraic factored as ((7*10k-1)/3)*((49*102k+7*10k+1)/3).

Since (7*10k-1)/3 can be written as 23+, for the sequence 381+, we have a covering set of {3, 37, 23+} - a covering set with infinitely many terms.

See also

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Set packing — is a classical NP complete problem in computational complexity theory and combinatorics, and was one of Karp s 21 NP complete problems. Suppose we have a finite set S and a list of subsets of S. Then, the set packing problem asks if some k… …   Wikipedia

  • Set cover problem — The set covering problem is a classical question in computer science and complexity theory. As input you are given several sets. They may have some elements in common. You must select a minimum number of these sets so that the sets you have… …   Wikipedia

  • Covering system — In mathematics, a covering system (also called a complete residue system) is a collection of finitely many residue classes whose union covers all the integers. Unsolved problems in mathematics For any arbitrarily large natural number N does there …   Wikipedia

  • Covering — may refer to: Mathematics In topology: Covering map, a function from one space to another with uniform local neighborhoods Cover (topology), a system of (usually, open or closed) sets whose union is a given topological space Lebesgue covering… …   Wikipedia

  • Covering space — A covering map satisfies the local triviality condition. Intuitively, such maps locally project a stack of pancakes above an open region, U, onto U. In mathematics, more specifically algebraic topology, a covering map is a continuous surjective… …   Wikipedia

  • Covering (graph theory) — In the mathematical discipline of graph theory, a covering (or cover) of a graph is a set of vertices (or edges) such that each edge (vertex) of the graph touches (is incident with) at least one element of the set.It is of mathematical interest… …   Wikipedia

  • Covering lemma — See also: Jensen s covering theorem In mathematics, under various anti large cardinal assumptions, one can prove the existence of the canonical inner model, called the Core Model, that is, in a sense, maximal and approximates the structure of V.… …   Wikipedia

  • Covering relation — For other uses of Cover in mathematics, see Cover (mathematics). The Hasse diagram of the power set of three elements, partially ordered by inclusion. In mathematics, especially order theory, the covering relation of a partially ordered set is… …   Wikipedia

  • Covering problem — In combinatorics and computer science, covering problems are computational problems that ask whether a certain combinatorial structure covers another, or how large the structure has to be to do that. Covering problems are minimization problems… …   Wikipedia

  • Covering graph — In the mathematical discipline of graph theory, a graph C is a covering graph of another graph G if there is a covering map from the vertex set of C to the vertex set of G. A covering map f is a surjection and a local isomorphism: the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”