Dæksæt (talteori)

I matematik er det dækkende sæt for en sekvens af heltal sættet af primtal , således at hvert medlem af sekvensen er deleligt med mindst ét ​​tal i mængden. Udtrykket "dækkende sæt" bruges kun til eksponentielt voksende sekvenser.

Sierpinski og Riesel numre

Brugen af ​​udtrykket "dækningssæt" er relateret til Sierpinski- og Riesel- numrene . Disse er ulige naturlige tal , for hvilke (Sierpinskis tal) eller (Riesels tal) er sammensatte.

Siden 1960 har det været kendt, at der er uendeligt mange Sierpinski- og Riesel-numre, men da der er uendeligt mange numre af formen eller for enhver , så er det for at bevise medlemskab i Sierpinski- og Riesel-numrene nødvendigt at kontrollere, at ethvert medlem af sekvensen eller er delelig med primtal for det dækkende sæt.

Disse dækkende sæt er dannet af primtal , der har en kort periode i binær repræsentation . Det kan påvises, at for at opnå et komplet afdækningssæt skal perioden være på mindst 24 cifre.[ klargør ] En periode med længde 24 giver et dækkende sæt , og en periode på længde 36 giver dækkesæt: ; ; og . Riesel-numrene har samme afdækningssæt som Sierpinski-numrene.

Andre dæksæt

Dækningssæt bruges også til at bevise eksistensen af ​​sammensatte Fibonacci-sekvenser ( prime-fri sekvens ).

Begrebet dækkende sæt kan nemt generaliseres til andre sekvenser. I de følgende eksempler bruges + på samme måde som i regulære udtryk - betyder 1 eller mere. For eksempel betyder 91 + 3 sæt {913, 9113, 91113, 911113...}

Et eksempel er rækkefølgen:

I hvert tilfælde er hvert led deleligt med et af primtallene {3,7,11,13}. Disse primtal danner et dækkende sæt nøjagtigt som for Sierpinski- og Riesel-tallene.

En endnu enklere sag er følgende sekvens:

Det kan vises, at:

Således har vi et dækkende sæt med kun tre primtal {3,7,13}. Dette blev kun muligt, fordi vi stillede betingelsen om, at n skal være ulige.

Dæksættet findes også i rækkefølgen:

Det kan vises, at:

Da det kan skrives som , har vi til sekvensen et dæksæt - et dæksæt med et uendeligt antal medlemmer.

Links