נוסחת מספר המחלקה של דיריכלה
ערך זה דורש ידע מוקדם. אם אתם מתקשים להבין את הערך מומלץ לעיין ב: |
בתורת המספרים נוסחת מספר המחלקה של דיריכלה היא נוסחה המקשרת בין מספר מחלקה של מספר שלם והערך של פונקציית של דיריכלה המתאימה לקרקטר דיריכלה ממשי המתאים ל - ב -1. את הנוסחה הוכיח דיריכלה בשנת 1839 כחלק מהוכחתו של משפט דיריכלה על ראשוניים בסדרות חשבוניות.[1]
רקע ומוטיבציה
[עריכת קוד מקור | עריכה]- ערכים מורחבים – קרקטר דיריכלה, פונקציית L של דיריכלה, תבנית ריבועית בינארית, דיסקרימיננטה (תבנית ריבועית), מספר מחלקה
- עבור מספר טבעי , קרקטר דיריכלה עם מנחה (condactor) הוא פונקציה המקיימת:
- לכל מתקיים:
- לכל זר ל- מתקיים:
- לכל מתקיים:
- עבור קרקטר דיריכלה , פונקציית של דיריכלה מוגדרת כך:
קל לראות שטור זה מתכנס (בתנאי) עבור . דיריכלה הבין שטור זה נושא מידע רב על ההתפלגות של מספרים ראשוניים בסדרות חשבוניות.
- קרקטר דיריכלה נקרא ממשי אם כל ערכיו הם מספרים ממשיים.
דיריכלה הוכיח שערך לא מתאפס עבור קרקטרים שאינם ממשיים. דיריכלה רצה להוכיח שזה נכון גם עבור קרקטר ממשי. לשם כך הוא מיין תחילה את הקרקטרים הממשיים.
- עבור כל מספר טבעי ומספר ראשוני אי־זוגי סימן לז'נדר מוגדר על ידי:
|
- סימן קרונקר הוא הרחבה של סימן לז'נדר שמוגדר באופן הבא:
- עבור מגדירים:
- עבור מגדירים:
- שלם (שונה מ - 0) כלשהו מפרקים את לגורמים ראשוניים (לאו דווקא שונים) כאשר ומגדירים:
ניתן להראות שכל קרקטר דיריכלה ממשי ניתן לכתוב כ: עבוד מתאים.[2] דיריכלה קישר את הערך של פונקציית L עבור קרקטר זה לעבודותיו של גאוס על תבניות ריבועיות בינאריות:
- תבנית ריבועית בינארית היא פונקציה מהצורה .
- דיסקרימיננטה של תבנית רבועית מוגדרת להיות
- מספר המחלקה של מספר שלם הוא מספר התבניות הבינריות בעלות דיסקרימיננטה עד כדי שקילות.
נוסחת מספר המחלקה של דיריכלה קושרת בין הערך ובין מספר המחלקה .
הנוסחה
[עריכת קוד מקור | עריכה]נקבע מספר שלם . נסמן
המקרה השלילי
[עריכת קוד מקור | עריכה]כאשר קל יותר לנסח את נוסחת מספר המחלקה. נסמן במקרה זה נוסחת מספר המחלקה קובעת ש:
המקרה החיובי
[עריכת קוד מקור | עריכה]כאשר חיובי, כדי לנסח את נוסחת מספר המחלקה יש להגדיר גודל שנקרא הרגולטור של . גודל זה מתקבל מניתוח הפתרונות של משוואת פל: . נמצא פתרון במספרים השלמים כך ש - ו - הקטן ביותר האפשרי. נגדיר הרגולטור של מוגדר על-ידי: במקרה זה נסחת מספר המחלקה קובעת:
הוכחת הנוסחה
[עריכת קוד מקור | עריכה]מנקודת מבט מודרנית, הדרך הפשוטה להוכיח את הנוסחה היא להסיקה מנוסחת מספר המחלקה של דדקינד. למעשה, אין צורך בנוסחת מספר המחלקה של דדקינד באופן כללי אלא רק בנוסחת מספר המחלקה של דדקינד עבור הרחבה ריבועית של . מקרה זה של נוסחת מספר המחלקה של דדקינד קל משמעותית מהמקרה הכללי. בפרט הוא לא דורש את משפט היחידות של דיריכלה אלה רק את ניתוח פתרונות משוואת פל.
נראה את הקשר בין נוסחת מספר המחלקה של דדקינד ובין נוסחת מספר המחלקה של דיריכלה. יהיה כמו קודם ותהי פונקציית זטא של רימן. המכפלה שווה לפונקציית זטא של דדקינד עבור השדה לכן: קל להראות[3] ש - . מכאן ש: נוסחת מספר המחלקה של דדקינד נותנת נוסחה לאגף ימין של שיווין זה, שמתלכד במקרה זה עם אגף ימין של נוסחת מספר המחלקה של דיריכלה.[4]
נוסחה נוספת לערך של פונקציית L
[עריכת קוד מקור | עריכה]בנוסף לנוסחת מספר המחלקה דיריכלה פיתח נוסחה ל - עבור קרקטר דיריכלה כלשהו עם מנחה המציגה אותו כסכום סופי: פיתוח הנוסחה מתבסס על פירוק של לצירוף ליניארי של קרקטרים אדיטביים באמצעות התמרת פוריה אדיטיבית. זאת אומרת פירוק של לצירוף ליניארי של פונקציות מחזוריות המקיימות . מקדמי פירוק זה הם סכומי גאוס סופיים. נותר לחשב את טורי דיריכלה . קל לפתח נוסחה סגורה לטורים אלה באמצעות פונקציות יוצרות.
בשונה מנוסחת מספר המחלקה, נוסחה זאת לא מספקת הוכחה לאי־התאפסות של . לאומת זאת הנוסחה מספקת דרך קלה ומהירה לחשב את פונקציית L ב - 1 עבור קרקטר נתון. בשילוב עם נוסחת מספר המחלקה, נוסחה זו נותנת ביטוי סגור וסופי בשביל מספר המחלקה של כל מספר שלם.
במקרה שהמנחה ראשוני (אי־זוגי) והקרקטר ממשי אז ניתן לפשט נוסחה זו באמצעות נוסחאות מפורשות לסכומי גאוס ולקבל (עבור לא טריבוויאלי):
שימושים
[עריכת קוד מקור | עריכה]השימוש הראשון בנוסחת מספר המחלקה היה הוכחת אי־התאפסות של עבור כל קרקטר דיריכלה . טענה זו גוררת את משפט דיריכלה על מספרים ראשוניים בסדרות חשבוניות, ומהווה למעשה את חלק הארי של ההוכחה.
השימושים המודרניים בנוסחה הם בכיוון ההפוך: משתמשים בהערכות של הערך כדי לקבל את מספר המחלקה. כיוון שמספר המחלקה שלם, אין צורך לחשב את במדויק. חישוב מספיק מדויק מספק הערכת שגיאה של פחות מ - 1 בערך של מספר המחלקה, ומכאן אפשר להסיק את המספר במדויק.
שימוש זה בנוסחה הופך יעיל יותר כאשר משלבים אותה עם הנוסחה הנוספת לערך . יחד הן נותנות ביטוי קל לחישוב של מספר המחלקה. בשיטה זו אפשר לחשב את מספר המחלקה למספרים גדולים למדי (באמצעות מחשב).
קשר לנוסחת מספר המחלקה של דדקינד
[עריכת קוד מקור | עריכה]- ערך מורחב – נוסחת מספר המחלקה של דדקינד
מספר מחלקה של מספר שלם הוא מקרה פרטי של מספר המחלקה של שדה מספרים. כמו שנוסחת מספר המחלקה של דיריכלה מספקת נוסחה למספר המחלקה של מספר שלם, נוסחת מספר המחלקה של דדקינד מספקת נוסחה למספר המחלקה של שדה מספרים. כפי שראינו מעלה, קל להסיק את נוסחת מספר המחלקה של דיריכלה מנוסחת מספר המחלקה של דדקינד עבור הרחבה ריבועית של .
ראו גם
[עריכת קוד מקור | עריכה]לקראה נוספת
[עריכת קוד מקור | עריכה]- פרק בספר שעוסק בנושא: Wright, S. (2016). Dirichlet’s Class-Number Formula. In: Quadratic Residues and Non-Residues. Lecture Notes in Mathematics, vol 2171. Springer, Cham. https://doi.org/10.1007/978-3-319-45955-4_8
- Władysław Narkiewicz, The Development of Prime Number Theory From Euclid to Hardy and Littlewood
קישורים חיצוניים
[עריכת קוד מקור | עריכה]- Roy Zhao, The Class Number Formula for Quadratic Fields and Related Results, January 31, 2016
הערות שוליים
[עריכת קוד מקור | עריכה]- ^ ראו The Development of Prime Number Theory From Euclid to Hardy and Littlewood
- ^ אינו המנחה של קרקטר זה אך הוא קשור אליו
- ^ ראו נוסחה בערך על פונקציית זטא של רימן.
- ^ למעשה נוסחת מספר המחלקה של דדקינד עבור נותנת גם את השוויון , כך שניתן לראות את נוסחת המחלקה של דיריכלה כמנה של 2 נוסחאות מחלקה של דדקינד.
נוסחת מספר המחלקה | ||
---|---|---|
נוסחאות | נוסחת מספר המחלקה של דיריכלה • נוסחת מספר המחלקה של דדקינד | |
מספרי מחלקה | מספר מחלקה (תבניות ריבועיות) • מספר מחלקה (תורת המספרים) | |
פונקציות L וזטא | פונקציית L של דיריכלה • פונקציית זטא של דדקינד | |
שימושים | משפט דיריכלה • משפט פרובניוס (תורת המספרים האלגברית) • משפט הצפיפות של צ'בוטרב | |
מושגים קשורים נוספים | תבנית ריבועית בינארית • שדה מספרים • חוג השלמים האלגבריים • חבורת מחלקות האידיאלים |