A Green-Tao tétel egy számelméleti állítás, amelyet Ben Green és Terence Tao bizonyít 2004-ben [1] , hogy egy prímsorozat tetszőleges hosszúságú aritmetikai sorozatokat tartalmaz . Más szavakkal, vannak k tagú prímszámok aritmetikai sorozatai , ahol k bármilyen természetes szám lehet. A bizonyíték Szémerédy tételének kiterjesztésében rejlik .
Bár a Green-Tao tételt csak annak a ténynek a bizonyítékaként ismerjük, hogy a prímszámok halmazában tetszőlegesen hosszú progressziók vannak jelen, ennek az állításnak [2] vannak jelentős erősítései: először is, az állítás igaz marad egy pozitív sűrűségű prímek tetszőleges halmaza (az összes prím halmazához képest); másodszor külön felső határok vannak arra vonatkozóan, hogy mekkora lehet a minimális progresszió eleme a vizsgált halmazban.
A továbbiakban a megfogalmazásokban a prímszámok halmazát jelenti. A bejegyzés jelentése , ahol a logaritmus szorzata .
Greene-Tao tétel Legyen prímek halmaza, és a prímekhez viszonyított sűrűsége szigorúan pozitív. Ekkor a halmaz egy számtani hossz-sort tartalmaz . |
Green külön korábbi munkájában [3] igazolt eredményt a halmaz eloszlásfüggvényére vonatkozóan , de csak egy háromtagú progresszió speciális esetére.
Van egy olyan állandó , hogy ha a prímek halmaza kielégíti a -t , akkor háromtagú aritmetikai sorozatot tartalmaz. |
Mivel a szükséges függvény aszimptotikusan kisebb, mint a szegmens prímeinek száma , a tétel igaz marad végtelen pozitív sűrűségű halmazokra, ha , . Így újrafogalmazhatjuk az utolsó tételt egy rögzített sűrűségre.
Létezik egy olyan állandó , hogy bármely prímhalmazra és annak sűrűségére a következő következmény érvényesül: ha , akkor háromtagú aritmetikai progressziót tartalmaz. |
2006-ban Tao és Tamar Ziegler az eredményt polinomiális progressziókra általánosította [5] . Pontosabban, bármely adott P 1 , …, P k egész együtthatójú polinomhoz egy m változó állandó nulla taggal végtelen sok x , m egész szám van úgy , hogy x + P 1 ( m ), …, x + P k ( m ) prímszámok. Az a speciális eset, amikor a polinomok m , 2 m , …, km , az előző eredményt vonja maga után (van k hosszúságú prímek számtani sorozata ).