Število Sierpińskega je v teoriji števil takšno liho naravno število k, da je število oblike sestavljeno za vsa naravna števila n (n > 0). Wacław Franciszek Sierpiński je leta 1960 dokazal, da je lihih celih števil k s takšno značilnostjo neskončno mnogo.
Če je k število Sierpińskega, so vsi elementi naslednje množice:
sestavljena števila.
Števila v takšni množici z lihim k in se imenujejo Prothova števila.
Znana števila Sierpińskega
Prva trenutno znana števila Sierpińskega so :
78557, 271129, 271577, 322523, 327739, 482719, 575041, 603713, 903983, 934909, 965431, … .
Da je število 78557 število Sierpińskega, je dokazal John Selfridge leta 1962 in pokazal, da imajo vsa števila oblike prafaktor v pokrivni množici Za drugo znano število Sierpińskega 271129 je pokrivna množica Vsa trenutno znana števila Sierpińskega imajo podobne pokrivne množice.
Problem Sierpińskega
Problem Sierpińskega išče najmanjše število Sierpińskega.
Leta 1967 sta Sierpiński in Selfridge postavila domnevo, da je 78.557 najmanjše število Sierpińskega, kar naj bi bila tudi rešitev problema Sierpińskega.
Za dokaz, da je 78.557 res najmanjše število Sierpińskega, je treba pokazati, da vsa liha števila manjša od 78.557 niso števila Sierpińskega. To pomeni, da za vsak lihi k manjši od 78.557 obstaja takšno pozitivno celo število n, da je število oblike k2n+1 praštevilo. Do konca leta 2013 je obstajalo le še šest števil:
k = 10223, 21181, 22699, 24737, 55459 in 67607,
za katera se ne ve ali so možna števila Sierpińskega. Seventeen or Bust (skupaj s PrimeGrid) je projekt porazdeljenega računalništva, ki preskuša ta preostala števila. Če se bo v projektu našlo praštevilo oblike za vsako preostalo k, bo problem Sierpińskega rešen.
Ker je drugo dokazano število Siepinskega enako 271129, so preostale neznane vrednosti k med 78557 in 271129:
79309, 79817, 91549, 99739, 131179, 152267, 156511, 163187, 168451, 193997, 200749, 202705, 209611, 222113, 225931, 227723, 229673, 237019, 238411
Najmanjši n, za katerega je k 2n+1 praštevilo
0, 0, 1, 0, 1, 0, 2, 1, 1, 0, 1, 0, 2, 1, 1, 0, 3, 0, 6, 1, 1, 0, 1, 2, 2, 1, 2, 0, 1, 0, 8, 3, 1, 2, 1, 0, 2, 5, 1, 0, 1, 0, 2, 1, 2, 0, 583, 1, 2, 1, 1, 0, 1, 1, 4, 1, 2, 0, 5, 0, 4, 7, 1, 2, 1, 0, 2, 1, 1, 0, 3, 0, 2, 1, 1, ... ali (ne velja za n = 0), za lihe k glej ali (ne velja za n = 0).
Prvi takšni trije k-ji, da k-ti člen tega zaporedja ni določen, so domnevno enaki 78557, 157114 in 271129.
Za več členov glej (), (301≤k≤600), (601≤k≤900) in ().
Istočasno število Sierpińskega in Rieselovo število
Število je lahko istočasno število Sierpińskega ali Rieselovo število. Takšna števila se imenujejo Brierova števila. Najmanjših pet znanih je: 3316923598096294713661, 10439679896374780276373, 11615103277955704975673, 12607110588854501953787, 17855036657007596110949, ... ().Problem 29.- Brier Numbers
Dualni problem Sierpińskega
Dualno število Sierpińskega je definirano kot takšno liho naravno število k, da je število oblike sestavljeno za vsa naravna števila n. Obstaja domneva, da je množica takšnih števil enaka kot množica števil Sierpińskega. je na primer sestavljeno za vsa naravna števila n, 78557 pa je dokazano najmanjše dualno število Sierpińskega.
Najmanjši takšni n-ji, da je število oblike praštevilo, so (za lihe k-je):
1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 1, 3, 2, 1, 1, 4, 2, 1, 2, 1, 1, 2, 1, 5, 2, 1, 3, 2, 1, 1, 8, 2, 1, 2, 1, 1, 4, 2, 1, 2, 1, 7, 2, 1, 3, 4, 2, 1, 2, 1, 1, 2, 1, 1, 2, 1, 7, 4, 5, 3, 4, 2, 1, 2, 1, 3, 2, 1, 1, 10, 3, 3, 2, 1, 1, ...
Ni znanih členov pod 78557, tako da je 78557 dokazano najmanjše dualno število Sierpińskega. Vendar so nekatere vrednosti n velike. Na primer najmanjše rešitve za k = 2131, 40291 in 41693, so najmanjši n-ji: 4583176, 9092392 in 5146295. (Vendar je najmanjši takšen n, da je , le 44, 8 in 33. Zanimivo je, da je najmanši n, za katerega je praštevilo, le 19.)
Lihi k-ji, za katere je število oblike sestavljeno za vse , so:
773, 2131, 2491, 4471, 5101, 7013, 8543, 10711, 14717, 17659, 19081, 19249, 20273, 21661, 22193, 26213, 28433, ...
Ta problem obravnava tudi projekt »Five or bust«, ki je podoben projektu Seventeen or Bust. Z njim se je našlo praštevila za vsa , tako da je trenutno znano najmanjše dualno število Sierpińskega 78557.
Funkcija Sierpińskega je in je dejansko lahko definirana za vsa liha cela števila k in vsa cela števila n (pri čemer je n neničeln), od katerih sta lahko oba ali pozitivno ali negativno število. Če je n negativen, bo funkcija imela obliko , če se zanjo izbere števec, bo imela obliko , ali dualna funkcija Sierpińskega, če je k negativen, in bo funkcija imela obliko , če pa se izbere njena absolutna vrednost, bo imela obliko , ali Rieselevo funkcija; če sta oba k in n negativna, bo imela funkcija obliko , če se izbere absolutna vrednost števca, bo imela obliko , ali dualna Rieselova funkcija, tako da se lahko definira funkcija za vse lihe cele k in vse cele n (pri čemer je n neničeln), od katerih sta lahko pozitivna ali negativna, tako da se lahko poiščejo vsi n-ji za katere je praštevilo za lihi celi k. Vendar še vedno niso znana praštevila za k = 78557, 271129, -509203, itd. Obstaja domneva, da imajo vsa takšna števila pokrivno množico, ne velja pa za nekatere popolne potence, tako da obstaja tudi domneva po kateri imajo vsa števila, ki niso popolne potence, pokrivno množico.
Glej tudi
Rieselovo število Cullenovo število Prothovo število Seventeen or Bust
Sklici
Nadaljnje branje
Zunanje povezave
The Sierpinski problem: definition and status The Prime Glossary: Sierpinski number
The dual Sierpinski problem List of primes of the form: k*2^n+1, k<300 The Prime Sierpinski Problem, a related question. Five or bust, a related question.
Kategorija:Praštevila Kategorija:Teorija števil Sierpinski-Selfridgeova domneva problem Sierpinskega Kategorija:1960 v znanosti