Matematiikassa kokonaislukujonon peittojoukko on alkulukujoukko siten , että jonon jokainen jäsen on jaollinen vähintään yhdellä joukon numerolla. Termiä "peittojoukko" käytetään vain eksponentiaalisesti kasvaville sekvensseille.
Termin "peitesarja" käyttö liittyy Sierpinskin ja Rieselin numeroihin . Nämä ovat parittomia luonnollisia lukuja , joille (Sierpinskin luku) tai (Rieselin luku) ovat yhdistelmä.
Vuodesta 1960 lähtien on tiedetty, että Sierpinskin ja Rieselin lukuja on äärettömän monta, mutta koska muodon tai minkä tahansa luvun lukuja on äärettömän monta , niin Sierpinskin ja Rieselin lukujen jäsenyyden todistamiseksi on tarpeen tarkistaa, että jokainen jäsen sekvenssin tai on jaollinen peittävän joukon alkuluvuilla .
Nämä peittojoukot muodostetaan alkuluvuista , joilla on lyhyt jakso binääriesityksessä . Voidaan osoittaa, että täydellisen peittosarjan saamiseksi pisteen tulee olla vähintään 24 numeroa.[ selventää ] Jakso, jonka pituus on 24, antaa peittosarjan ja pituus 36 antaa peittosarjan: ; ; ja . Riesel-numeroilla on samat peittosarjat kuin Sierpinski-numeroilla.
Peittäviä sarjoja käytetään myös todistamaan komposiittisten Fibonacci-sekvenssien olemassaolo ( prime-free-sekvenssi ).
Peittojoukkojen käsite voidaan helposti yleistää muihin sekvensseihin. Seuraavissa esimerkeissä + käytetään samalla tavalla kuin säännöllisissä lausekkeissa - tarkoittaa yhtä tai useampaa. Esimerkiksi 91 + 3 tarkoittaa sarjaa {913, 9113, 91113, 911113…}
Esimerkki on sekvenssi:
Kussakin tapauksessa jokainen termi on jaollinen yhdellä alkuluvuista {3,7,11,13}. Nämä alkuluvut muodostavat peittojoukon täsmälleen samalla tavalla kuin Sierpinskin ja Rieselin luvut.
Vielä yksinkertaisempi tapaus on seuraava järjestys:
Voidaan osoittaa, että:
Siten meillä on vain kolmen alkuluvun peittävä joukko {3,7,13}. Tämä tuli mahdolliseksi vain, koska asetimme ehdon, että n :n on oltava pariton.
Peitesarja löytyy myös järjestyksessä:
Voidaan osoittaa, että:
Koska se voidaan kirjoittaa muodossa , meillä on sekvenssille peittojoukko - peittojoukko, jossa on ääretön määrä jäseniä.