Green-Tao-sætningen er et talteoretisk udsagn bevist af Ben Green og Terence Tao i 2004 [1] , at en sekvens af primtal indeholder aritmetiske progressioner af vilkårlig længde. Med andre ord er der aritmetiske progressioner af primtal med k led, hvor k kan være et hvilket som helst naturligt tal. Beviset ligger i en forlængelse af Szémerédys sætning .
Selvom Green-Tao-sætningen kun er kendt som et bevis på selve kendsgerningen af tilstedeværelsen af vilkårligt lange progressioner i sættet af primtal, er der imidlertid [2] betydelige styrkelser af denne sætning: for det første forbliver sætningen sand for en vilkårligt sæt af primtal med positiv tæthed (med hensyn til sættet af alle primtal); for det andet er der separate øvre grænser for, hvor store elementerne i den minimale progression i det betragtede sæt kan være.
Yderligere i formuleringerne betyder sættet af primtal. Indtastningen betyder , hvor logaritmen er taget gange.
Greene-Tao teorem Lad være et sæt af primtal og dens tæthed med hensyn til primtal er strengt taget positiv. Så for enhver indeholder sættet en aritmetisk progression af længden . |
I sit separate tidligere arbejde [3] beviste Green et resultat vedrørende sættets distributionsfunktion , men kun for et særligt tilfælde af en tre-term progression.
Der er en konstant sådan, at hvis sættet af primtal opfylder , så indeholder det en tre-term aritmetisk progression. |
Da den nødvendige funktion er asymptotisk mindre end antallet af primtal på segmentet , forbliver sætningen sand for uendelige sæt af positiv tæthed, når , . Således kan vi omformulere den sidste sætning for en fast tæthed.
Der er en konstant sådan, at for ethvert sæt af primtal og dets tæthed , vil følgende konsekvens være gældende: hvis , så indeholder en tre-term aritmetisk progression. |
I 2006 generaliserede Tao og Tamar Ziegler resultatet til polynomielle progressioner [5] . Mere præcist, for alle givne polynomier med heltalskoefficienter P 1 , …, P k af en variabel m med et konstant led nul, er der uendeligt mange heltal x , m , således at x + P 1 ( m ), …, x + P k ( m ) er primtal. Det specielle tilfælde, hvor polynomierne er m , 2 m , …, km , medfører det foregående resultat (der er aritmetiske progressioner af primtal af længden k ).