A matematikában az egész számok sorozatának lefedő halmaza a prímszámok halmaza úgy , hogy a sorozat minden tagja osztható legalább egy számmal a halmazban. A "fedőkészlet" kifejezést csak exponenciálisan növekvő szekvenciákra használják.
A "takarókészlet" kifejezés a Sierpinski és Riesel számokhoz kapcsolódik . Ezek páratlan természetes számok , amelyekre (Sierpinski-szám) vagy (Riesel-szám) összetett.
1960 óta köztudott, hogy végtelenül sok Sierpinski- és Riesel-szám létezik, de mivel végtelen sok szám van az alakban vagy bármely , akkor a Sierpinski- és Riesel-számokhoz való tagság bizonyításához ellenőrizni kell, hogy bármely tag sorozatának vagy osztható a lefedő halmaz prímszámaival.
Ezeket a lefedő halmazokat olyan prímekből alakítják ki , amelyek bináris reprezentációjában rövid periódusúak . Megmutatható, hogy a teljes fedőkészlet megszerzéséhez a periódusnak legalább 24 számból kell állnia.[ pontosítás ] A 24 hosszúságú periódus fedőkészletet ad , a 36 hosszúságú periódus pedig fedőkészleteket: ; ; és . A Riesel számok fedőkészletei megegyeznek a Sierpinski számokkal.
A fedőhalmazokat az összetett Fibonacci -szekvenciák létezésének bizonyítására is használják (prímmentes szekvencia ).
A fedőhalmazok fogalma könnyen általánosítható más sorozatokra. A következő példákban a + ugyanúgy használatos, mint a reguláris kifejezésekben - jelentése 1 vagy több. Például a 91 + 3 a következőt jelenti: {913, 9113, 91113, 911113…}
Példa erre a sorrend:
Minden esetben minden tag osztható a {3,7,11,13} prímszámok egyikével. Ezek a prímek pontosan úgy alkotnak egy fedőhalmazt, mint a Sierpinski- és Riesel-számok esetében.
Egy még egyszerűbb eset a következő sorrend:
Kimutatható, hogy:
Így van egy mindössze három prímből álló fedőhalmazunk {3,7,13}. Ez csak azért vált lehetségessé, mert azt a feltételt szabtuk, hogy n páratlan legyen.
A fedőkészlet a következő sorrendben is megtalálható:
Kimutatható, hogy:
Mivel így is felírható , a sorozathoz van egy fedőhalmaz - egy végtelen számú tagú fedőhalmaz.