Бертранды постулат - Bertrands postulate - Wikipedia

Жылы сандар теориясы, Бертранның постулаты Бұл теорема бұл кез-келген үшін бүтін , әрқашан кем дегенде біреу бар жай сан бірге

Аз шектеулі тұжырымдама: әрқайсысы үшін әрқашан кем дегенде бір прайм болады осындай

Тағы бір тұжырымдама, қайда болып табылады -үшінші, үшін арналған

[1]

Бұл мәлімдеме алғаш рет 1845 ж Джозеф Бертран[2] (1822-1900). Бертранның өзі интервалдағы барлық сандарға қатысты мәлімдемесін тексерді [2, 3 × 106].Оның болжамдары толығымен болды дәлелденді арқылы Чебышев (1821–1894) 1852 ж[3] сондықтан постулатты да деп атайды Бертран-Чебышев теоремасы немесе Чебышев теоремасы. Чебышев теоремасын қатынас ретінде де айтуға болады , қайда болып табылады қарапайым санау функциясы (-ден кіші немесе оған тең жай сан ):

, барлығына .

Жай сан теоремасы

The жай сандар теоремасы (PNT) қарапайым сандар саны екенін білдіреді х шамамен х/ ln (х), сондықтан біз ауыстыратын болсақ х 2х онда біз 2-ге дейінгі жай санның санын көремізх дейінгі жай саннан асимптотикалық екі есе артық х (терминдер ln (2х) және ln (х) асимптотикалық түрде балама). Демек, арасындағы жай сан саны n және 2n шамамен n/ ln (n) қашан n үлкен, сондықтан, атап айтқанда, осы аралықта Бертранның Постулаты кепілдендіргеннен әлдеқайда көп жайттар бар. Сонымен, Бертранның постулаты PNT-ге қарағанда салыстырмалы түрде әлсіз. Бірақ PNT - бұл терең теорема, ал Бертранның постулатын есте қаларлықтай айтуға және оңайырақ дәлелдеуге болады, сонымен қатар кішігірім мәндер үшін не болатынын дәл айтады. n. (Сонымен қатар, Чебышев теоремасы PNT-ге дейін дәлелденген және тарихи қызығушылық бар).

Ұқсас және әлі шешілмеген Легендраның болжамдары әрқайсысы үшін ме деп сұрайды n > 1, жай мән бар б, осылай n2 < б < (n + 1)2. Тағы да біз олардың арасында тек бір емес, көптеген жай сандар болады деп күтеміз n2 және (n + 1)2, бірақ бұл жағдайда PNT көмектеспейді: қарапайым сандар саны х2 асимптотикалық болып табылады х2/ ln (х2) жай сандар саны (дейін)х + 1)2 асимптотикалық болып табыладых + 1)2/ ln ((х + 1)2), бұл шамаларға дейінгі асимптотикалық болып табылады х2. Сондықтан бұрынғы жағдайдан айырмашылығы х және 2х Легендраның болжамының дәлелі бізге тіпті үлкен емес n. PNT-дегі қателіктерді бағалау осы аралықта бір қарапайым деңгейдің болуын дәлелдеу үшін жеткіліксіз (шынымен де мүмкін емес).

Жалпылау

1919 жылы, Раманужан (1887–1920) пайдаланылған қасиеттері Гамма функциясы неғұрлым қарапайым дәлел келтіру.[4] Қысқа қағаз постулатты жалпылауды қамтыды, одан кейін тұжырымдама пайда болады Раманужан прималары. Раманужан примерлерін одан әрі жалпылау да болды; мысалы, бұған дәлел бар

бірге бк The кбірінші жай және Rn The nРаманужан премьер-министрі.

Бертран постулатының басқа жалпыламалары қарапайым әдістердің көмегімен алынған. (Келесіде, n натурал сандар жиынынан өтеді.) 2006 ж. М. Эль Бахрауи 2-дің арасында қарапайым мән бар екенін дәлелдедіn және 3n.[5] 1973 жылы, Денис Хансон 3-тің арасында қарапайым мән бар екенін дәлелдедіn және 4n.[6] Сонымен қатар, 2011 жылы Энди Лоо дәлелдеді n шексіздікке ұмтылады, 3 арасындағы жай санn және 4n сонымен бірге шексіздікке жетеді, осылайша Эрдо және Раманужан нәтижелерін жалпылайды (төмендегі Эрдустің теоремалары бөлімін қараңыз).[7] Бірінші нәтиже қарапайым әдістермен алынады. Екіншісі - үшін аналитикалық шектерге негізделген факторлық функциясы.

Сильвестр теоремасы

Өтініштерге Бертранның постулаты ұсынылды ауыстыру топтары. Сильвестр (1814–1897) әлсіз тұжырымды тұжырыммен жалпыламаған: туындысы к -дан үлкен қатарлы бүтін сандар к болып табылады бөлінетін мәнінен үлкен к. Бертранның (әлсіз) постулаты осыдан келіп шығады к = nжәне ескере отырып к сандар n + 1, n + 2, қоса алғанда n + к = 2n, қайда n > 1. Сильвестрдің жалпылауына сәйкес, осы сандардың бірінің жай көбейткіші үлкенк. Бұл сандардың барлығы 2-ден аз болғандықтан (к + 1), жай көбейткіші -ден үлкен санк тек бір жай фактор бар, демек, жай. 2 екенін ескеріңізn қарапайым емес, демек, қазір біз қарапайым деңгей бар екенін білемізб бірге n < б < 2n.

Эрдостың теоремалары

1932 жылы, Ердо (1913-1996) сонымен қатар қарапайым дәлелдеуді қолданып жариялады биномдық коэффициенттер және Чебышев функциясы ϑ, анықталған:

қайда бх жай сандармен жүгіреді. Қараңыз Бертранның постулатының дәлелі толығырақ.[8]

Эрдос 1934 жылы кез-келген оң бүтін сан үшін дәлелдеді к, натурал сан бар N бәріне арналған n > N, кем дегенде бар к арасындағы жай бөлшектер n және 2n. Баламалы тұжырымды 1919 жылы Рамануджан дәлелдеген (қараңыз) Раманужан премьер-министрі ).

Жақсы нәтижелер

Бұл кез-келген нақты үшін жай сан теоремасынан шығады бар бәріне арналған премьер бар осындай

. Мұны, мысалы, көрсетуге болады

мұны білдіреді шексіздікке барады (және, атап айтқанда, 1-ден үлкен жеткілікті үлкен ).[9]

Асимптотикалық емес шекаралар да дәлелденді. 1952 жылы Джитсуро Нагура мұны дәлелдеді арасында әрдайым праймерлер болады және .[10]

1976 жылы, Лоуэлл Шенфельд деп көрсетті , әрқашан бірінші кезек болады ашық аралықта

.[11]

1998 жылғы докторлық диссертациясында, Пьер Дюсарт үшін көрсете отырып, жоғарыдағы нәтижені жақсартты , және, атап айтқанда , онда ең жақсы мән бар аралықта

.[12]

2010 жылы Пьер Дюсарт мұны дәлелдеді кем дегенде бір қарапайым аралықта

.[13]

2016 жылы Пьер Дусарт өзінің нәтижесін 2010 жылдан бастап жақсартты, егер (ұсыныс 5.4), егер , кем дегенде бір қарапайым аралықта

.[14] Ол сондай-ақ (қорытынды 5.5) көрсетеді , кем дегенде бір қарапайым аралықта

.

Бейкер, Харман және Пинц аралықта қарапайым мән бар екенін дәлелдеді барлығы үшін жеткілікті .[15]

Салдары

  • Жай сандар тізбегі, 1-мен бірге, а толық реттілік; кез-келген натурал санды ең көбі (және 1) қосындысы түрінде әрқайсысы бірден жазыла алады.
  • Жалғыз гармоникалық сан бұл бүтін сан 1 саны.[16]

Сондай-ақ қараңыз

Ескертулер

  1. ^ Рибенбойм, Паулу (2004). Үлкен уақыттардың кішкентай кітабы. Нью-Йорк: Спрингер-Верлаг. б.181. ISBN  978-0-387-20169-6.
  2. ^ Бертран, Джозеф (1845), «Mémoire sur le nombre de valeurs que peut prendre une fonction quand on y permute les lettres qu'elle renferme.», Journal de l'École Royale политехникасы (француз тілінде), 18 (Кахье 30): 123–140.
  3. ^ Чебычев, П. (1852), «Mémoire sur les nombres премьералары». (PDF), Mathématiques журналы таза және аппликация, Série 1 (француз тілінде): 366-390. (Постулаттың дәлелі: 371-382). Сондай-ақ, Санкт-Петербургтың Mémoires de l'Académie Impériale des Sciences de, vol. 7, 15-33, 1854 б
  4. ^ Раманужан, С. (1919). «Бертран постулатының дәлелі». Үнді математикалық қоғамының журналы. 11: 181–182.
  5. ^ М. Эль Бахрауи, Аралықтағы жай бөлшектер (2n, 3n)
  6. ^ Хансон, Денис (1973), «Сильвестр мен Шур теоремасы туралы», Канадалық математикалық бюллетень, 16 (2): 195–199, дои:10.4153 / CMB-1973-035-3.
  7. ^ Лоо, Энди (2011), «Интервалдағы қарапайым кезде (3n, 4n)" (PDF), Халықаралық қазіргі математика ғылымдарының журналы, 6 (38): 1871–1882
  8. ^ Эрдо, П. (1932), «Beweis eines Satzes von Tschebyschef» (PDF), Acta Litt. Ғылыми. (Сегед) (неміс тілінде), 5 (1930-1932): 194–198
  9. ^ Г.Х. Харди және Э.М. Райт, Сандар теориясына кіріспе, 6-басылым, Оксфорд университетінің баспасы, 2008, б. 494.
  10. ^ Нагура, Дж (1952). «Кем дегенде бір жай санды қамтитын аралықта». Жапония академиясының материалдары, А сериясы. 28 (4): 177–181. дои:10.3792 / pja / 1195570997.
  11. ^ Лоуэлл Шенфельд (сәуір 1976). «Чебышевтің функциялары үшін айқын шекаралар θ(х) және ψ(х), II «. Есептеу математикасы. 30 (134): 337–360. дои:10.2307/2005976. JSTOR  2005976.
  12. ^ Дюсарт, Пьер (1998), Автоматты түрде премьер-министрлердің атаулары ұсынылады (PDF) (PhD диссертация) (француз тілінде)
  13. ^ Дюсарт, Пьер (2010). «Кейбір функциялардың R.H жоқ бірнеше уақыт ішінде бағалары». arXiv:1002.0442 [math.NT ].
  14. ^ Дюсарт, Пьер (2016). «Кейбір функциялардың жай бағалары». Ramanujan журналы. 45: 227–251. дои:10.1007 / s11139-016-9839-4.
  15. ^ Бейкер, Р. С .; Харман, Г .; Пинц, Дж. (2001). «Тізбектелген жай сандар арасындағы айырмашылық, II». Лондон математикалық қоғамының еңбектері. 83 (3): 532–562. CiteSeerX  10.1.1.360.3671. дои:10.1112 / plms / 83.3.532.
  16. ^ Роналд Л., Грэм; Дональд Э., Кнут; Орен, Паташник (1994). Бетонды математика. Аддисон-Уэсли.

Библиография

Сыртқы сілтемелер