La teoría de números aditivos es una rama de la teoría de números que surgió en el estudio de problemas sobre la descomposición de números enteros en términos de una forma dada [1] (por ejemplo, en números primos , números en espiral , e potencias, etc.).
Entre los problemas clásicos, cuyo estudio sentó las bases de la teoría aditiva de números, podemos nombrar los siguientes [1] .
La solución de estos problemas se complica por el hecho de que varias operaciones básicas con números naturales participan simultáneamente en las formulaciones :
La relación entre las propiedades aditivas y multiplicativas de los números es extremadamente compleja, y esta complejidad es responsable de la dificultad para resolver muchos problemas en teoría de números [2] .
La moderna teoría de números aditivos incluye una amplia gama de problemas en el estudio de grupos abelianos y semigrupos conmutativos con la operación de adición [3] . La teoría aditiva de números está estrechamente relacionada con la teoría combinatoria de números (especialmente la combinatoria aditiva ) [4] y con la geometría de los números , utiliza métodos analíticos , algebraicos y probabilísticos . Dependiendo de los métodos de solución, los problemas aditivos son una parte integral de otras secciones de la teoría de números: teoría analítica de números , teoría algebraica de números , teoría probabilística de números [1] .
Los primeros resultados sistemáticos en la teoría de números aditivos provinieron de Leonhard Euler , quien publicó en 1748 una investigación (por medio de series de potencias ) de la expansión de los números naturales en términos naturales; en particular, consideró el problema de descomponer un número en un número dado de términos y demostró el teorema de los números pentagonales [5] . En el mismo período surgieron dos problemas clásicos de tipo aditivo: el problema de Goldbach y el problema de Waring , y posteriormente aparecieron decenas de problemas nuevos.
Para resolver muchos de estos problemas, herramientas generales como el método del círculo de Hardy-Littlewood , el método del tamiz [6] y el método de la suma trigonométrica han resultado útiles . Hilbert demostró [7] que para cualquier número entero, cualquier número natural es la suma de un número limitado de términos elevado a . Lev Shnirelman en 1930 introdujo el concepto de la densidad de una sucesión de números naturales, lo que permitió un avance significativo en la solución del problema de Goldbach y la demostración del teorema de Waring generalizado [8] ..
Grigory Freiman en 1964 demostró un teorema importante del campo de la combinatoria aditiva .
Un subconjunto se denomina base aditiva (asintótica) [9] de orden finito si cualquier número natural lo suficientemente grande se puede escribir como la suma de la mayoría de los elementos de . Por ejemplo, los números naturales son en sí mismos una base aditiva de orden 1, ya que todo número natural es trivialmente la suma de a lo sumo un número natural. Menos trivial es el teorema de la suma de cuatro cuadrados de Lagrange , que mostró que el conjunto de números cuadrados es una base aditiva de cuarto orden. Otro resultado muy conocido y no trivial en esta dirección es el teorema de Vinogradov de que cualquier número natural impar suficientemente grande puede representarse como la suma de tres números primos [10] .
Muchos estudios modernos en esta área se refieren a las propiedades de las bases asintóticas generales de orden finito. Por ejemplo, un conjunto se llama base asintótica mínima de un orden si es una base asintótica de un orden , pero ningún subconjunto propio es una base asintótica de un orden . Se demostró [11] que existen bases de orden asintóticas mínimas para cualquier , y también existen bases de orden asintóticas que no contienen bases de orden asintóticas mínimas .
También se considera el problema: cuánto es posible reducir el número de representaciones en forma de una suma de elementos de una base asintótica. A esto se dedica la conjetura de Erdős-Turan (1941) [12] , que aún no ha sido demostrada .