Greenova-Taova věta

Z Multimediaexpo.cz

Verze z 14. 4. 2014, 11:33; Sysop (diskuse | příspěvky)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)

Greenova-Taova věta je tvrzení z oboru teorie čísel dokázané v roce 2004 Benem Greenem a Terencem Taem, které říká, že posloupnost prvočísel obsahuje libovolně dlouhé aritmetické posloupnosti. Jinými slovy, pro libovolné přirozené číslo k lze nalézt k-prvkovou aritmetickou posloupnost prvočísel. Věta je rozšířením Szemerédiho věty a je speciálním případem Erdősovy-Turánovy hypotézy.

Věta je čistě existenční tvrzení a důkaz nenabízí konstrukční postup, jak slibované existující posloupnosti nalézt.