נוסחת ההיפוך של מביוס

במתמטיקה, ובפרט בקומבינטוריקה ותורת המספרים האנליטית, נוסחת ההיפוך של מביוס היא נוסחה המקשרת בין שתי פונקציות אריתמטיות כאשר אחת מהן מנוסחת כסכום ערכי הפונקציה השנייה על המחלקים של מספר טבעי.

הנוסחה הוכחה לראשונה על ידי אוגוסט פרדיננד מביוס בשנת 1832.

 סימונים והגדרות בסיסיות 
בערך זה נשתמש בסימון המקובל לקבוצת המספרים הטבעיים  ונגדירה ללא המספר 0 (כלומר, המספרים הטבעיים יחלו מהמספר 1).

באופן דומה נסמן ב- את קבוצת המספרים המרוכבים, כמקובל.

בהינתן זוג מספרים טבעיים , נאמר כי  מחלק את  ונסמן  אם ורק אם קיים  כלשהו כך ש-.

הפונקציה האריתמטית  נקראת פונקציית מביוס והיא מוגדרת כך שלכל :

הפונקציה האריתמטית  נקראת פונקציית היחידה והיא מוגדרת כך שלכל :

לבסוף, לכל זוג פונקציות אריתמטיות  מגדירים את קונבולוציית דיריכלה שלהן  כך שלכל :

ניסוח פורמלי
 ניסוח קלאסי 
יהי שתי פונקציות אריתמטיות . אזי, שני התנאים הבאים שקולים:

 לכל  מתקיים ש-
 לכל  מתקיים ש-

 ניסוח באמצעות קונבולוציית דיריכלה 
מגדירים את הפונקציה האריתמטית  כך שלכל  מתקיים ש-.

יהי שתי פונקציות אריתמטיות . אזי, התנאים הבאים שקולים:




 הוכחה 
תחת קונבולוציית דיריכלה, פונקציית היחידה  משמשת כאיבר יחידה. כלומר, לכל פונקציה אריתמטית  מתקיים ש-.

בנוסף, ניתן להוכיח כי  ו- הן איברים הופכיים תחת קונבולוציית דיריכלה, כלומר -.

מכל זה ניתן להראות כי:

מ.ש.ל.

 מסקנות 
 לכל  מתקיים ש-, כאשר  היא פונקציית אוילר, לכן לפי נוסחת ההיפוך של מביוס .
 לכל  מתקיים ש-, כאשר  היא פונקציית ז'ורדן מסדר , לכן לפי נוסחת ההיפוך של מביוס .
 לכל  מתקיים ש-, כאשר  היא פונקציית פון מנגולד, לכן לפי נוסחת ההיפוך של מביוס ותכונות פונקציית הלוגריתם, מתקבל כי .
 לכל  מתקיים ש-, כאשר  היא פונקציית ליוביל, לכן לפי נוסחת ההיפוך של מביוס .

 הכללה לפונקציות כלליות 
בהינתן זוג פונקציות  המתאפסות בקטע הפתוח  ופונקציה אריתמטית כפלית לחלוטין , שני התנאים הבאים שקולים:




קישורים חיצוניים

 הערות שוליים 

קטגוריה:קומבינטוריקה
קטגוריה:תורת המספרים
קטגוריה:פונקציות אריתמטיות