La conjetura de Erdős-Turán establece que
Si es tal que
entonces contiene progresiones aritméticas de cualquier longitud dada.
me interesa cuando es el conjunto de todos los números primos. En este caso, sabemos que, por el teorema de Euler,
Entonces tenemos el Teorema de Green-Tao:
La secuencia de números primos contiene progresiones aritméticas arbitrariamente largas.
¿Es el teorema de Green-Tao una consecuencia del teorema de Euler? En otras palabras, en la demostración del teorema de Green-Tao se utiliza el teorema de Euler.
Terence Tao tiene un artículo en su sitio web
http://www.math.ucla.edu/~tao/preprints/Expository/gy-corr.dvi
explicando que la única información sobre los números primos necesaria para la prueba de Green-Tao es que tiene un polo simple en .
Ese comportamiento de zeta es equivalente a la "función zeta principal" que tiene una singularidad logarítmica en el mismo punto, de modo que es analítico cerca . Esto es un poco más que la divergencia de , pero se puede probar por el mismo método que la prueba de la divergencia de Euler.
Una interpretación vaga de esto es que en muchos lugares del artículo de Green-Tao, las suposiciones de densidad natural pueden (probablemente) ser reemplazadas por afirmaciones más débiles sobre la densidad de Dirichlet.
balarka sen
erick wong