השערת המספרים הראשוניים התאומים – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ בוט: שינויים קוסמטיים
שורה 1:
ב[[תורת המספרים]], '''השערת הראשוניים התאומים''' קובעת שישנם [[אינסוף]] זוגות של [[ראשוניים תאומים]], כלומר מספרים <math>\ p , p+2</math> ששניהם [[מספר ראשוני|ראשוניים]]. השערה זו היא אחת מן ה[[בעיה פתוחה במתמטיקה|בעיות הפתוחות]] המפורסמות ב[[תורת המספרים]] וב[[מתמטיקה]] בכלל.
 
[[מתמטיקאי]]ם מאמינים שאכן ישנם אינסוף זוגות של ראשוניים תאומים, בגלל שורה של נימוקים [[היוריסטיקה|היוריסטיים]] המבוססים על תכונות [[סטטיסטיקה|סטטיסטיות]] של המספרים הראשוניים, ובגלל עדויות מספריות התומכות בהשערת הארדי-ליטלווד (ראו להלן). עם זאת, להשערה עדיין אין [[הוכחה]].
 
== מספרם של הראשוניים התאומים ==
 
ידוע שאם [[טור ההופכיים של המספרים הראשוניים|מסכמים את ההופכיים של כל המספרים הראשוניים]], <math>\ \sum_{p} \frac{1}{p}</math>, ה[[טור (מתמטיקה)|טור]] מתבדר וסכומו אינסופי. ליתר דיוק, הסכום <math>\ \sum_{p<x} \frac{1}{p}</math> שווה בקירוב ל- <math>\ \log\log(x)</math>. תוצאה זו מתאימה ל[[משפט המספרים הראשוניים]], שלפיו ישנם כ- <math>\ \frac{x}{\log(x)}</math> ראשוניים הקטנים מ- <math>\ x</math>.
 
בניגוד לכך, הראה [[ויגו ברון]] בשנת [[1915]], באמצעות פיתוח של [[שיטת הנפה]] המודרנית, שמספר המספרים הראשוניים התאומים הקטנים מ-x אינו עולה על <math>\ C \frac{x}{(\log x)^2}</math> עבור קבוע מסוים ''C > 0''. מכאן נובע שאם מסכמים את ה[[מספר הופכי|הפכיים]] של הראשוניים התאומים בלבד, ה[[טור (מתמטיקה)#טורים אינסופיים|טור מתכנס]] ל[[גבול (מתמטיקה)|גבול]] סופי, הנקרא [[קבוע ברון]].
 
== הפרשים חסומים ==
שורה 15:
פרויקט מרובה משתתפים שהוקם בעקבות עבודתו של זאנג הצליח להוריד את ההפרש ל-5000. James Maynard הוריד את ההפרש ל-600{{הערה| James Maynard, [http://arxiv.org/abs/1311.4600 Small gaps between primes]}} באמצעות עידון של [[משפט בומביירי-וינוגרדוב]]. הכללה של שיטות אלה מאפשרת להראות שלכל m, יש אינסוף רווחים באורך <math>\ \exp(8m+5)</math> הכוללים m ראשוניים{{הערה|(Primes in intervals of bounded length, Andrew Granville, Bull AMS 52(2), 171--222 (2015}}.
 
== השערת הארדי-ליטלווד ==
 
בעוד שהשערת הראשוניים התאומים קובעת רק שישנם אינסוף זוגות של תאומים, השערת הארדי-ליטלווד מנבאת את ההתפלגות של מספר הזוגות, בצורה [[אנלוגיה|אנלוגית]] ל[[משפט המספרים הראשוניים]].
שורה 27:
=== k-יה של ראשוניים ===
 
ישנה השערה מפורסמת (הקרויה באנגלית the k-tuple conjecture), שלפיה ישנם לא רק זוגות של ראשוניים תאומים, אלא קבוצות של k ראשוניים בעלי כל קשר לינארי אפשרי (פרט לאלו הנמנעים בגלל סיבות טריוויאליות, כגון a,a+2,a+4 שאחד מהם מוכרח להתחלק ב- 3); לדוגמה, משערים שישנם אינסוף [[ראשוני ז'רמן|ראשוניי ז'רמן]], כלומר זוגות של ראשוניים מהצורה <math>\ p,2p+1</math>. גם להשערה זו ישנה גרסה [[כמות|כמותית]]ית שנסחו הארדי וליטלווד.
 
לאחרונה ([[2004]]) הושגה התקדמות מסוימת בכיוון זה, כאשר בן גרין ו[[טרנס טאו]] הוכיחו שישנן אינסוף שלשות של ראשוניים מהצורה a,a+d,a+2d (כאשר a ו- d אינם קבועים מראש), וגם אינסוף רביעיות, וכן לסדרות בכל אורך. עם זאת, השיטות שלהם אינן מסייעות בפתרון הבעיה שהוזכרה בפסקה הקודמת.
 
=== הצגת 2 כהפרש ===
שורה 65:
== לקריאה נוספת ==
* An Introduction to the Theory of Numbers, G.H.Hardy and E.M.Wright, פרק 22.20
* [[ מרכוס דו סוטוי]], '''המוזיקה של המספרים הראשוניים''', הוצאת [[משכל]], תרגם: אוריאל גבעון, 2006.
 
== קישורים חיצוניים ==
* {{MathWorld|PrimeGaps}}
== הערות שוליים ==
{{הערות שוליים}}
 
[[קטגוריה:מספרים ראשוניים]]
[[קטגוריה:בעיות פתוחות במתמטיקה]]
 
== הערות שוליים ==
{{הערות שוליים}}