Additiivinen lukuteoria on lukuteorian haara , joka syntyi tutkittaessa ongelmia kokonaislukujen jakamisesta tietyn muodon termeiksi [1] (esimerkiksi alkuluvuiksi , kiharalukuiksi , e-potenssiiksi jne.).
Klassisista ongelmista, joiden tutkiminen loi perustan additiiviselle lukuteorialle, voidaan mainita seuraavat [1] .
Näiden ongelmien ratkaisua vaikeuttaa se, että formulaatioihin osallistuu samanaikaisesti useita perusoperaatioita luonnollisilla luvuilla :
Lukujen additiivisten ja kertovien ominaisuuksien välinen suhde on äärimmäisen monimutkainen, ja tämä monimutkaisuus on syynä monien lukuteorian ongelmien ratkaisemiseen [2] .
Nykyaikainen additiivinen lukuteoria sisältää laajan joukon ongelmia Abelin ryhmien ja kommutatiivisten puoliryhmien tutkimuksessa summauksen operaatiolla [3] . Additiivinen lukuteoria liittyy läheisesti kombinatoriseen lukuteoriaan (erityisesti additiiviseen kombinatoriikkaan ) [4] ja numeroiden geometriaan , se käyttää analyyttisiä , algebrallisia ja todennäköisyysmenetelmiä . Ratkaisumenetelmistä riippuen additiiviset tehtävät ovat olennainen osa lukuteorian muita osia - analyyttinen lukuteoria , algebrallinen lukuteoria , todennäköisyyslukuteoria [1] .
Ensimmäiset systemaattiset tulokset additiivinen lukuteoria tuli Leonhard Eulerilta , joka julkaisi vuonna 1748 tutkimuksen ( potenssisarjojen avulla ) luonnollisten lukujen laajentumisesta luonnollisiksi termeiksi; erityisesti hän pohti ongelmaa luvun hajottamisesta tiettyyn määrään termejä ja todisti lauseen viisikulmaisista luvuista [5] . Samaan aikaan syntyi kaksi klassista additiivityyppistä ongelmaa: Goldbach-ongelma ja Waring-ongelma , ja myöhemmin ilmestyi kymmeniä uusia ongelmia.
Yleiset työkalut, kuten Hardy-Littlewoodin ympyrämenetelmä , seulamenetelmä [6] ja trigonometrinen summamenetelmä, ovat osoittautuneet hyödyllisiksi monien näiden ongelmien ratkaisemiseksi . Hilbert osoitti [7] , että mille tahansa kokonaisluvulle mikä tahansa luonnollinen luku on summa rajoitetun määrän termejä potenssiin . Lev Shnirelman esitteli vuonna 1930 luonnollisten lukujen sarjan tiheyden käsitteen , mikä mahdollisti merkittävän edistyksen Goldbachin ongelman ratkaisemisessa ja yleisen Waring-lauseen todistamisessa [8] .
Grigory Freiman vuonna 1964 osoittautui tärkeäksi lauseeksi additiivisen alalta .
Osajoukkoa kutsutaan äärellisen kertaluvun (asymptoottiseksi) additiiviseksi kantaksi [9] , jos mikä tahansa riittävän suuri luonnollinen luku voidaan kirjoittaa enintään :n alkioiden summaksi . Esimerkiksi luonnolliset luvut ovat itse kertaluvun 1 additiivinen kanta, koska jokainen luonnollinen luku on triviaalisti enintään yhden luonnollisen luvun summa. Vähemmän triviaali on Lagrangen neljän neliön summan lause , joka osoitti, että neliölukujen joukko on neljännen kertaluvun additiivinen kanta. Toinen hyvin ei-triviaali ja laajalti tunnettu tulos tähän suuntaan on Vinogradovin lause, jonka mukaan mikä tahansa riittävän suuri pariton luonnollinen luku voidaan esittää kolmen alkuluvun summana [10] .
Monet tämän alan nykyaikaiset tutkimukset koskevat äärellisen järjestyksen yleisten asymptoottisten perusteiden ominaisuuksia. Esimerkiksi joukkoa kutsutaan tilauksen minimaaliseksi asymptoottiseksi perustaksi , jos se on järjestyksen asymptoottinen perusta , mutta mikään oikea osajoukko ei ole järjestyksen asymptoottinen perusta . Todettiin [11] , että minimaaliset asymptoottiset järjestyskannat ovat olemassa mille tahansa :lle , ja on myös asymptoottisia järjestyskantoja , jotka eivät sisällä minimaalisia asymptoottisia järjestyskantoja .
Pohditaan myös ongelmaa - kuinka paljon on mahdollista vähentää esitysten määrää asymptoottisen perustan elementtien summana . Erdős-Turan-oletus (1941) [12] , jota ei ole vielä todistettu, on omistettu tälle .