Generaliserad aritmetisk progression - en uppsättning tal eller element i en godtycklig grupp , representerade som
för vissa . [ett]
En progression kallas egentlig om alla tal i formen är olika, det vill säga den innehåller element.
Rangen (eller dimensionen ) för progressionen är antalet termer i representationen av varje element (i notationen ovan, talet ).
När , den generaliserade aritmetiska progressionen kallas också den [2] -dimensionella kuben (eftersom det finns en linjär avbildning från ) in i den.
När mängden är en vanlig aritmetisk progression .
Generaliserade aritmetiska progressioner är en konstruktion som är mindre strukturerad än den vanliga aritmetiska progressionen, men som ändå har en icke-trivial struktur (när storleken på progressionen är stor och rangordningen liten). Detta gör dem till ett bekvämt verktyg för att studera och generalisera aritmetiska kombinatoriska satser relaterade till härledning av struktur från de numeriska egenskaperna hos en mängd, såsom additiv energi , dubbleringsfaktor , etc. [3]
Vissa strukturella satser av additiv kombinatorik bevisar förekomsten av en generaliserad aritmetisk progression av tillräckligt liten rang och stor storlek i tillräckligt ordnade mängder, eller möjligheten att täcka en sådan mängd med en generaliserad aritmetisk progression av liten rang och liten (begränsad av någon formel på storleken på uppsättningen) storlek.
Generaliserade aritmetiska progressioner kan användas för att bevisa Roths teorem . [fyra]
I allmänhet är det ofta lättare att bevisa närvaron av generaliserade aritmetiska progressioner i en uppsättning, baserat på några kända fakta om denna uppsättning, än att bevisa närvaron av vanliga aritmetiska progressioner.