Általánosított aritmetikai progresszió – egy tetszőleges csoport számainak vagy elemeinek halmaza , amely így ábrázolható
egyesek számára . [egy]
Egy progressziót akkor nevezünk megfelelőnek , ha az alak minden száma különböző, azaz elemeket tartalmaz.
A progresszió rangja (vagy dimenziója ) az egyes elemek reprezentációjában szereplő tagok száma (a fenti jelölésben a szám ).
Amikor , az általánosított aritmetikai progressziót [2] -dimenziós kockának is nevezik (mert lineáris leképezés van -ból ) bele.
Ha a halmaz egy közönséges aritmetikai sorozat .
Az általánosított aritmetikai sorozatok egy olyan konstrukció, amely kevésbé strukturált, mint a szokásos aritmetikai progresszió, de ennek ellenére nem triviális szerkezetű (ha nagy a progresszió mérete és kicsi a rangja). Ez kényelmes eszközzé teszi őket az aritmetikai kombinatorika azon tételeinek tanulmányozására és általánosítására, amelyek egy halmaz numerikus jellemzőiből – például additív energiából , duplázási tényezőből stb. – való szerkezet származtatásával kapcsolatosak [3] .
Az additív kombinatorika egyes szerkezeti tételei igazolják egy kellően kis rangú és nagy méretű általánosított aritmetikai sorozat létezését kellően rendezett halmazokban, vagy annak lehetőségét, hogy egy ilyen halmazt lefedjünk egy általánosított, kis rangú és kicsi (valamilyen képlet által korlátozva) a készlet mérete) mérete.
Általánosított aritmetikai progressziók használhatók a Roth-tétel bizonyítására . [négy]
Általánosságban elmondható, hogy az általánosított aritmetikai sorozatok halmazban való jelenlétének bizonyítása a halmazra vonatkozó ismert tények alapján gyakran könnyebb, mint a közönséges aritmetikai sorozatok jelenlétének bizonyítása.