Postulado de Bertrand

Joseph Bertrand, matemático francés del siglo XIX.

El postulado de Bertrand dice que si n > 1 es un entero, entonces existirá al menos un número primo p con n < p < 2n. Otra formulación más débil pero más elegante es:

El postulado de Bertrand afirma que entre cualquier número mayor que 1 y su doble, por lo menos existe un número primo. Por ejemplo entre 3 y 6 está el primo 5 y entre ${\displaystyle {\sqrt {2}}\,}$ y ${\displaystyle 2{\sqrt {2}}\,}$ está el primo 2.

[1]​

Este postulado fue inicialmente formulado en 1845 por Joseph Bertrand (1822-1900). El propio Bertrand verificó su certeza para ${\displaystyle 2\leq n\leq 3\,000\,000}$.

La demostración de esta conjetura la encontró Chebyshov (1821-1894) en 1850 y por tanto el postulado también es conocido como teorema de Bertrand-Chebyshov o teorema de Chebyshov.

Ramanujan (1887-1920) dio una demostración más simple.

Para ver una demostración del postulado, ver el artículo Demostración del postulado de Bertrand.

Teorema de los números primos

El teorema de los números primos implica que el número de números primos hasta x es aproximadamente x/ln(x), por lo que si se reemplaza x por 2x entonces se observa que el número de primos hasta 2x es asintóticamente el doble del número de primos hasta x (los términos ln(2x) y ln(x) son asintóticamente equivalentes). Por lo tanto, el número de primos entre n y 2n es aproximadamente n/ln(n) cuando n es grande, por lo que en particular hay muchos más números primos en este intervalo de los que garantiza el postulado de Bertrand. Entonces, el postulado de Bertrand es comparativamente más débil que el postulado de los números primos. Pero este último es un teorema profundo, mientras que el Postulado de Bertrand se puede enunciar de manera más memorizable y demostrar más fácilmente, y también hace afirmaciones precisas sobre lo que sucede para valores pequeños de n. Además, el teorema de Chebyshov se demostró antes que el teorema de los números primos y, por lo tanto, tiene interés histórico.

La conjetura de Legendre, un enunciado similar aún sin resolver, pregunta si para cada n ≥ 1, hay un primo p, tal que n^2 < p < (n + 1)^2. De nuevo, se puede esperar que no haya uno sino muchos primos entre n^2 y (n + 1)^2, pero en este caso el teorema de los números primos no sirve de ayuda: el número de primos hasta x^2 es asintótico a x^2/ln(x^2) mientras que el número de primos hasta (x + 1)^2 es asintótica a (x + 1)^2/ln((x + 1)^2), que a su vez es asintótica a la estimación de números primos hasta x ^2. Entonces, a diferencia del caso anterior de x y 2x, no se obtiene una prueba de la conjetura de Legendre ni para todos los n grandes. Las estimaciones de error en el teorema de los números primos no son (de hecho, no pueden ser) suficientes para probar la existencia de un primo en este intervalo.

Generalizaciones

En 1919, Ramanujan (1887–1920) utilizó las propiedades de la función gamma para ofrecer una prueba más sencilla.[2]​ El breve artículo incluía una generalización del postulado, del que luego surgiría el concepto de números primo de Ramanujan. También se han descubierto más generalizaciones de los números primos de Ramanujan; por ejemplo, hay una prueba de que

${\displaystyle 2p_{i-n}>p_{i}{\text{for }}i>k{\text{where }}k=\pi (p_{k})=\pi (R_{n})\,,}$

con p_k el k-ésimo primo y R_n el n-ésimo primo de Ramanujan.

Se han obtenido otras generalizaciones del postulado de Bertrand utilizando métodos elementales. En el ejemplo dado a continuación, n recorre el conjunto de los enteros positivos. En 2006, M. El Bachraoui demostró que existe un número primo entre 2n y 3n.[3]​ En 1973, Denis Hanson demostró que existe un número primo entre 3n y 4n.[4]​ Además, en 2011, Andy Loo demostró que como n tiende a infinito, el número de números primos entre 3n y 4n también tiende a infinito,[5]​ generalizando así los términos de los resultados de Erdős y de Ramanujan (consúltese la sección sobre los teoremas de Erdős a continuación). El primer resultado se obtiene con métodos elementales. El segundo se basa en los límites analíticos de la función factorial.

Teorema de Sylvester

El postulado de Bertrand fue propuesto para su aplicación a los grupos de permutación. Sylvester (1814-1897) generalizó el enunciado más débil según la proposición: el producto de k enteros consecutivos mayores que k es divisible por un primo mayor que k. El postulado (más débil) de Bertrand se sigue de este enunciado tomando k = n, y considerando los números k'n + 1, n + 2, hasta n + k= 2n, donde n > 1. De acuerdo con la generalización de Sylvester, uno de estos números tiene un factor primo mayor que k. Dado que todos estos números son menores que 2(k + 1), el número con un factor primo mayor que k tiene solo un factor primo y, por lo tanto, es primo. Téngase en cuenta que 2n no es primo y, por lo tanto, ahora se sabe que existe un primo p con n < p < 2n.

Teoremas de Erdős

In 1932, Erdős (1913-1996) también publicó una prueba más simple usando coeficientes binomiales y la función de Chebyshov θ, definida como:

${\displaystyle \vartheta (x)=\sum _{p=2}^{x}\ln(p)}$

donde p ≤ x se considera sobre los números primos. Consúltese la demostración del postulado de Bertrand para obtener más detalles.[6]​

Erdős demostró en 1934 que para cualquier entero positivo k, hay un número natural N tal que para todo n > N, hay al menos k primos entre n y 2n. Una declaración equivalente había sido probada en 1919 por Ramanujan (véase número primo de Ramanujan).

Mejores resultados

Del teorema de los números primos se sigue que para cualquier número real ${\displaystyle \varepsilon >0}$ hay un ${\displaystyle n_{0}>0}$ tal que para todo ${\displaystyle n>n_{0}}$ hay un primo ${\displaystyle p}$ tal que ${\displaystyle n<p<(1+\varepsilon )n}$. Se puede demostrar, por ejemplo, que

${\displaystyle \lim _{n\to \infty }{\frac {\pi ((1+\varepsilon )n)-\pi (n)}{n/\log n}}=\varepsilon ,}$

lo que implica que ${\displaystyle \pi ((1+\varepsilon )n)-\pi (n)}$ tiende a infinito (y, en particular, es mayor que 1 para ${\displaystyle n}$) suficientemente grande.[7]​

También se han probado los límites no asintóticos. En 1952, Jitsuro Nagura demostró que para ${\displaystyle n\geq 25}$ siempre hay un número primo entre ${\displaystyle n}$ y ${\displaystyle {\bigl (}1+{\tfrac {1}{5}}{\bigr )}n}$.[8]​

En 1976, Lowell Schoenfeld demostró que para ${\displaystyle n\geq 2\,010\,760}$ siempre hay un primo ${\displaystyle p}$ en el intervalo abierto ${\displaystyle n<p<{\bigl (}1+{\tfrac {1}{16\,597}}{\bigr )}n}$.[9]​

En su tesis doctoral de 1998, Pierre Dusart mejoró el resultado anterior, mostrando que para ${\displaystyle k\geq 463}$, ${\displaystyle p_{k+1}\leq \left(1+{\frac {1}{2\ln ^{2}{p_{k}}}}\right)p_{k}}$, y en particular para ${\displaystyle x\geq 3\,275}$, existe un primo ${\displaystyle p}$ en el intervalo ${\displaystyle x<p\leq \left(1+{\frac {1}{2\ln ^{2}{x}}}\right)x}$.[10]​

En 2010, Pierre Dusart de nuevo demostró que para ${\displaystyle x\geq 396\,738}$ existe al menos un primo ${\displaystyle p}$ en el intervalo ${\displaystyle x<p\leq \left(1+{\frac {1}{25\ln ^{2}{x}}}\right)x}$.[11]​

En 2016, otra vez Pierre Dusart mejoró su resultado de 2010, demostrando (Proposición 5.4) que, si ${\displaystyle x\geq 89\,693}$, hay al menos un primo ${\displaystyle p}$ en el intervalo ${\displaystyle x<p\leq \left(1+{\frac {1}{\ln ^{3}{x}}}\right)x}$.[12]​ También demostró (Corolario 5.5) que, para ${\displaystyle x\geq 468\,991\,632}$, hay al menos un primo ${\displaystyle p}$ en el intervalo ${\displaystyle x<p\leq \left(1+{\frac {1}{5\,000\ln ^{2}{x}}}\right)x}$.

Baker, Harman y Pintz demostraron que existe un primo en el intervalo ${\displaystyle [x-x^{0.525},\,x]}$ para todo ${\displaystyle x}$ suficientemente grande.[13]​

Dudek demostró que, para todo ${\displaystyle n\geq e^{e^{33.3}}}$, hay al menos un primo entre ${\displaystyle n^{3}}$ y ${\displaystyle (n+1)^{3}}$.[14]​

Dudek también probó que la hipótesis de Riemann implica que para todo ${\displaystyle x\geq 2}$ hay un primer ${\displaystyle p}$ que satisface

${\displaystyle x-{\frac {4}{\pi }}{\sqrt {x}}\log x<p\leq x}$.[15]​

Consecuencias

• La secuencia de números primos, junto con el 1, es una secuencia completa, de forma que cualquier número entero positivo se puede escribir como una suma de primos (y 1) usando cada uno como máximo una vez.
• El único número armónico que es un número entero es el número 1.[16]​

Véase también

• Conjetura de Oppermann
• Diferencia entre dos números primos consecutivos
• Demostración del postulado de Bertrand

Referencias

1. Jones, Burton W. Teoría de los números" Editorial F.Trillas. S.A. México 1969
2. Ramanujan, S. (1919). «A proof of Bertrand's postulate». Journal of the Indian Mathematical Society 11: 181-182. 
3. El Bachraoui, Mohamed (2006), «Primes in the interval [2n,3n]», International Journal of Contemporary Mathematical Sciences 1 .
4. Hanson, Denis (1973), «On a theorem of Sylvester and Schur», Canadian Mathematical Bulletin 16 (2): 195-199, doi:10.4153/CMB-1973-035-3 ..
5. Andy Loo (2011). On the Primes in the Interval [3n, 4n]. arXiv:1110.2377. 
6. Erdős, P. (1932), «Beweis eines Satzes von Tschebyschef», Acta Litt. Sci. (Szeged) (en alemán), 5 (1930-1932): 194-198 .
7. G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, 6th ed., Oxford University Press, 2008, p. 494.
8. Nagura, J (1952). «On the interval containing at least one prime number». Proceedings of the Japan Academy, Series A 28 (4): 177-181. doi:10.3792/pja/1195570997. 
9. Lowell Schoenfeld (April 1976). «Sharper Bounds for the Chebyshev Functions θ(x) and ψ(x), II». Mathematics of Computation 30 (134): 337-360. JSTOR 2005976. doi:10.2307/2005976. 
10. Dusart, Pierre (1998), Autour de la fonction qui compte le nombre de nombres premiers (PhD thesis) (en francés), archivado desde el original el 10 de agosto de 2022, consultado el 8 de octubre de 2022 .
11. Dusart, Pierre (2010). «Estimates of Some Functions Over Primes without R.H.». arXiv:1002.0442  [math.NT]. 
12. Dusart, Pierre (2016). «Explicit estimates of some functions over primes». The Ramanujan Journal 45: 227-251. S2CID 125120533. doi:10.1007/s11139-016-9839-4. 
13. Baker, R. C.; Harman, G.; Pintz, J. (2001). «The difference between consecutive primes, II». Proceedings of the London Mathematical Society 83 (3): 532-562. S2CID 8964027. doi:10.1112/plms/83.3.532.  Parámetro desconocido |citeseerx= ignorado (ayuda)
14. Dudek, Adrian (December 2016). «An explicit result for primes between cubes». Funct. Approx. 55 (2): 177-197. S2CID 119143089. arXiv:1401.4233. doi:10.7169/facm/2016.55.2.3. 
15. Dudek, Adrian W. (21 de agosto de 2014), «On the Riemann hypothesis and the difference between primes», International Journal of Number Theory 11 (3): 771-778, Bibcode:2014arXiv1402.6417D, ISSN 1793-0421, S2CID 119321107, arXiv:1402.6417, doi:10.1142/S1793042115500426 .
16. Ronald L., Graham; Donald E., Knuth; Oren, Patashnik (1994). Concrete Mathematics. Addison-Wesley.  Parámetro desconocido |title-link= ignorado (ayuda)

Bibliografía

• P. Erdős (1934). «A Theorem of Sylvester and Schur». London Mathematical Society 9 (4): 282-288. doi:10.1112/jlms/s1-9.4.282. 
• Jitsuro Nagura (1952). «On the interval containing at least one prime number». Proc. Japan Acad. 28 (4): 177-181. doi:10.3792/pja/1195570997. 
• Chris Caldwell, Bertrand's postulate at Prime Pages glossary.
• H. Ricardo (2005). «Goldbach's Conjecture Implies Bertrand's Postulate». Amer. Math. Monthly 112: 492. 
• Hugh L. Montgomery; Robert C. Vaughan (2007). Multiplicative number theory I. Classical theory. Cambridge tracts in advanced mathematics 97. Cambridge: Cambridge Univ. Press. p. 49. ISBN 978-0-521-84903-6. 
• J. Sondow (2009). «Ramanujan primes and Bertrand's postulate». Amer. Math. Monthly 116 (7): 630-635. arXiv:0907.5232. doi:10.4169/193009709x458609. 

Enlaces externos

• Sondow, Jonathan. «Bertrand's Postulate». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• A proof of the weak version in the Mizar system: http://mizar.org/version/current/html/nat_4.html#T56
• Bertrand's postulate − A proof of the weak version at www.dimostriamogoldbach.it/en/

• Datos: Q632546