Teorema de los númberos primos

De Wikipedia
Saltar a navegación Saltar a la gueta

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 teoremas más importantes de la hestoria 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.[1]

El teorema tamién ye conocíu como teorema del númberu primu[2] o teorema del númberu de primos.

Espresión del teorema[editar | editar la fonte]

Gráficu comparativu de π(x) (colloráu), x / ln x (verde) y Li(x) (azul).

Sía la función contador de númberos primos, que denota la cantidá de primos que nun entepasen a . El teorema establez que:[3]

, onde ye'l llogaritmu natural de .

Esta espresión nun implica que la diferencia de los 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:

, onde ye la integral logarítmica movida de .

Historia[editar | editar la fonte]

En 1792 o 1793,[4] tando entá nel Collegium Carolinum, y siempres según el mesmu Gauss («ins Jahr 1792 oder 1793»),[5] 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.[6]

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.[7] 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.[7]

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. Y. 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.

Relación cola hipótesis de Riemann[editar | editar la fonte]

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[editar | editar la fonte]

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:

[8]

Teorema de los númberos primos pa progresiones aritmétiques[editar | editar la fonte]

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 les borrafes 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.[9]

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

Carrera de númberos primos[editar | editar la fonte]

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.[10]:1–2 Sicasí, Littlewood amosó en 1914[10]:2 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.[11] Granville y Martin dan-y una esposición completa y estudiada.[10]

Referencies[editar | editar la fonte]

  1. Gracián, Enrique: «Los númberos primos. Un llargu camín al infinitu» ISBN 978-84-473-6625-5, pág 77
  2. Introducción a la teoría analítica de númberos primos, T. M. Apostol, pág.98; ISBN 84-291-5006-4
  3. Niven y Zuckerman: Introducción a la teoría de númberos ISBN 968-18-0669-7, pp.23 y 24
  4. Savitt, David (n'inglés). «The Mathematics of Gauss.» Cornell University. Consultáu'l 13 de xunu de 2015.
  5. Gauss, C. F. Werke, Bd 2, 1st ed, 444-447. Göttingen 1863.
  6. Tou un capítulu, el cuartu dedicar a la relació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
  7. 7,0 7,1 Said Sidki: Indtoduçao à teoria dos númberos, impa 1975
  8. Michele Cipolla. «La determinazione assintotica dell'nimo numbero primu». Matematiche Napoli 3. 
  9. Ivan Soprounov. A short proof of the Prime Number Theorem for arithmetic progressions. http://academic.csuohio.edu/soprunov_i/pdf/primes.pdf. 
  10. 10,0 10,1 10,2 «Prime Number Races». American Mathematical Monthly 113 (1). xineru de 2006. doi:10.2307/27641834. http://www.dms.umontreal.ca/%7Eandrew/PDF/PrimeRace.pdf. 
  11. (2004) Unsolved problems in number theory, 3rd, Springer-Verlag. ISBN 978-0-387-20860-2.

Enllaces esternos[editar | editar la fonte]




Teorema de los números primos