Teorema de los númberos primos

En teoría de númberos el teorema de los númberos primos ye un enunciáu que describe la distribución asintótica de los númberos primos. Esti teorema da una descripción xeneral de cómo tán distribuyíos los númberos primos nel conxuntu de los númberos naturales. Esto formaliza la idea intuitiva de que los primos son menos comunes cuanto más grandes son. Ye unu de los teoremes más importantes de la historia de les matemátiques, non solo pola so guapura sinón pola so influencia nel desenvolvimientu posterior de la investigación de los númberos primos.Gracián, Enrique: «Los númberos primos. Un llargu camín al infinitu» ISBN 978-84-473-6625-5, páx.77

El teorema tamién ye conocíu como teorema del númberu primuIntroducción a la teoría analítica de númberos primos, T. M. Apostol, páx.98; ISBN 84-291-5006-4 o teorema del númberu de primos.

 Espresión del teorema 
Sía  la función contador de númberos primos, que denota la cantidá de primos que nun entepasen a . El teorema establez que:Niven y Zuckerman: Introducción a la teoría de númberos ISBN 968-18-0669-7, páxs.23 y 24

Esta espresión nun implica que la diferencia de les dos partes de la mesma pa valores de  bien grandes sía cero; namái implica que'l cociente d'éstes pa valores de  bien grandes ye casi igual a 1.

Un meyor aproximamientu que l'anterior vien dada pola integral logarítmica movida:

 Historia 
En 1792 o 1793,Savitt, David (n'inglés). «The Mathematics of Gauss.» Cornell University. Consultáu'l 13 de xunu de 2015. tando entá nel Collegium Carolinum, y siempres según el mesmu Gauss («ins Jahr 1792 oder 1793»),Gauss, C. F. Werke, Bd 2, 1st ed, 444-447. Göttingen 1863. este anotó na so llibreta de notes:
 «Númberos primos menores que a (= ∞) a/la» qu'en llinguaxe modernu quier dicir que π(a) pa valores cada vez más grandes averar al cociente a/lna) y considérase como "la primer conxetura del Teorema de los númberos primos". Amás la función π(x) qu'indica la cantidá de númberos primos que nun superen a x foi definida por Gauss.Tou un capítulu, el cuartu dedicar a la rellación de llogaritmos y primos en «Los númberos primos. Un llargu camín al infinitu» d'Enrique Gracián, ISBN 978-84-473-6625-5

El teorema de los númberos primos tamién foi conxeturáu por Adrien-Marie Legendre en 1798, indicando que π(x) paecía tener la forma a/(A ln(a) + B), onde A y B son constantes ensin especificar. Na segunda edición del so llibru de teoría de númberos (1808) él fixo una conxetura más precisa, indicando que A = 1 y B = −1.08366.Said Sidki: Indtoduçao à teoria dos númberos, impa 1975 La conxetura foi darréu refinada por Gauss cola espresión que, anguaño, acomúñase más frecuentemente al teorema. Emprestaron contribuciones significatives sobre esta proposición Legendre, Gauss, Dirichlet, Chebychev y Riemann.

La demostración formal del teorema facer de forma independiente tantu Jacques Hadamard como Charles-Jean de la Vallée Poussin nel añu 1896. Dambes demostraciones basar na resultancia de que la función zeta de Riemann  nun tien ceros de la forma 1 + it con t > 0. En realidá la demostración fixo sobre una espresión daqué más estricta de lo que s'indica na definición anterior del teorema, siendo la espresión demostrada por Hadamard y Poussin la siguiente:

onde .

Dende 1896 la espresión acomuñada al teorema de los númberos primos foi ameyorada socesivamente, siendo'l meyor aproximamientu actual la dada por:

onde  defínese como la función asintótica a  y  ye una constante indeterminada.

Pa valores de  pequeños demostrárase que , lo que llevó a conxeturar a dellos matemáticos na dómina de Gauss que  yera una cota cimera estricta de  (esto ye que la ecuación  nun tien soluciones reales). Sicasí, en 1912 J. E. Littlewood demostró que dicha cota ye cruciada pa valores de  abondo grandes. El primeru d'ellos conozse como primer númberu de Skewes, y anguaño sábese que ye inferior a , anque se piensa que pue ser inferior inclusive a . En 1914 Littlewood amplió la so demostración cola inclusión de múltiples soluciones a la ecuación . Munchos d'estos valores y afayos tán acomuñaos a la validez de la hipótesis de Riemann.

 Rellación cola hipótesis de Riemann 

Dada la conexón qu'hai ente la función zeta de Riemann ζ(s) y π(x), la hipótesis de Riemann ye bien importante en teoría de númberos, y de xacíu, nel teorema de los númberos primos.

Si la hipótesis de Riemann cumplir, entós el términu error qu'apaez nel teorema de los númberos primos puede acutase de la meyor manera posible. Concretamente, Helge von Koch demostró en 1901 que

si y namái si la hipótesis de Riemann cumplir.
Una variante refinada de la resultancia de Koch, dada por Lowel Schoenfeld en 1976, afirma que la hipótesis de Riemann ye equivalente a la siguiente resultancia:

 Aproximamientos pal enésimu númberu primu 

De resultes del teorema de los númberos primos, llógrase una espresión asintótica pal enésimu númberu primu, denotado por pn:

Un aproximamientu meyor ye:

 Teorema de los númberos primos pa progresiones aritmétiques 

Sía  la función que denota el númberu de primos nuna progresión aritmética a, a + n, a + 2n, a + 3n, … menor que x. Dirichlet y Legendre conxeturaron, y Vallée-Poussin demostró, que, si a y n son coprimos, entós

.

onde φ(·) ye la función φ de Euler. N'otres pallabres, los númberos primos distribúyense uniformemente ente los residuos de clases [a] módulu n con mcd(a, n) = 1. Esto puede demostrase usando métodos similares utilizaos por Newman na so demostración del teorema de los númberos primos.

El teorema de Siegel–Walfisz da una bona estimación de la distribución de los númberos primos nes residuos de clases.

 Carrera de númberos primos 

Anque tenemossobremanera, que

.

empíricamente los primos congruentes con 3 son más numberosos y tán casi siempres en delantre nesta carrera de númberos primos», la primer inversión producir en x = 26,861. Sicasí, Littlewood amosó en 1914 qu'hai un númberu infinitu de cambeos de signu de la función

de manera que'l lideralgu d'esta carrera camuda socesivamente infinites vegaes. El fenómenu de que π4,3(x) ta per delantre la mayor parte del tiempu llámase polarización de Chebyshev. La carrera de los númberos primos xeneralizada a otros módulos ye oxetu de numberoses investigaciones; Pál Turán preguntó si dase siempres el casu de que π(x;a,c) y π(x;b,c) camuden posiciones cuando a y b son coprimos con c. Granville y Martin dan-y una esposición completa y estudiada.

 Referencies 



 Enllaces esternos 



Categoría:Teoría multiplicativa de númberos
Categoría:Teoremes de teoría de númberos