Zobecněná aritmetická progrese - množina čísel nebo prvků libovolné grupy , reprezentovatelná jako
pro některé . [jeden]
Progrese se nazývá vlastní , pokud jsou všechna čísla formuláře různá, to znamená, že obsahuje prvky.
Pořadí (nebo dimenze ) progrese je počet členů v reprezentaci každého prvku (ve výše uvedené notaci číslo ).
Když , zobecněná aritmetická progrese se také nazývá [2] -rozměrná krychle (protože existuje lineární zobrazení z ) do ní.
Když je množina běžným aritmetickým postupem .
Zobecněné aritmetické posloupnosti jsou konstrukcí, která je méně strukturovaná než obvyklá aritmetická posloupnost, ale přesto má netriviální strukturu (když je velikost progrese velká a pořadí je malé). To z nich dělá vhodný nástroj pro studium a zobecňování teorémů aritmetické kombinatoriky souvisejících s odvozováním struktury z numerických charakteristik množiny, jako je aditivní energie , zdvojovací faktor atd. [3]
Některé strukturní teorémy aditivní kombinatoriky dokazují existenci zobecněné aritmetické progrese dostatečně malé řady a velké velikosti v dostatečně uspořádaných množinách nebo možnost pokrýt takovou množinu zobecněnou aritmetickou progresí malé řady a malých (omezených nějakým vzorcem na velikost sady) velikost.
Zobecněné aritmetické posloupnosti lze použít k prokázání Rothovy věty . [čtyři]
Obecně platí, že dokázat přítomnost zobecněných aritmetických posloupností v množině na základě některých známých faktů o této množině je často snazší než prokázat přítomnost běžných aritmetických posloupností.