מחלק – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
שחזור לגרסה 13212308 מתאריך 01:22, 26 באוקטובר 2012 מאת EmausBot
שורה 21: שורה 21:
==מספר המחלקים של מספר שלם==
==מספר המחלקים של מספר שלם==


'''[[משפט (מתמטיקה)|משפט]]''': יהי [[מספר שלם]] המיוצג בצורה:<br />
'''[[משפט (מתמטיקה)|משפט]]''': מספר המחלקים של [[מספר שלם]] המיוצג בצורה:<br />
<p align="left">
<p align="left">
<math>\!\,
<math>\!\,
שורה 36: שורה 36:
</math> שלמים,
</math> שלמים,
(על פי [[המשפט היסודי של האריתמטיקה]], לכל מספר שלם יש הצגה יחידה כמכפלה של [[מספר ראשוני|מספרים ראשוניים]]),
(על פי [[המשפט היסודי של האריתמטיקה]], לכל מספר שלם יש הצגה יחידה כמכפלה של [[מספר ראשוני|מספרים ראשוניים]]),
הוא:
אזי מספר המחלקים של המספר הוא:
<p align="left">
<p align="left">
<math>\
<math>\

גרסה מ־13:34, 21 בינואר 2013

במתמטיקה, מספר שלם a הוא מחלק (או גורם) של מספר שלם b אם אפשר לכתוב את b כמכפלה של a במספר שלם אחר. במקרה כזה, השארית בחלוקה של b ב-a היא 0. דוגמה: 5 הוא מחלק של המספר 35, אך לא של המספר 33.

נהוג לסמן את התכונה כך: a|b פירושו "a מחלק את b."

היחס "לחלק את" הוא רפלקסיבי (a|a לכל a), וטרנזיטיבי (אם a|b וגם b|c אז a|c), ולכן הוא מהווה קדם סדר. לעומת זאת היחס אינו אנטי סימטרי ( מחלקים זה את זה). בין המספרים הטבעיים היחס הוא יחס סדר חלקי.

למושג המחלק המשותף המקסימלי של שני מספרים יש חשיבות רבה בתורת המספרים האלמנטרית.

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

הכללה

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

מושג המחלק נחוץ לצורך עיסוק בתחומי פריקות יחידה.

מספר המחלקים של מספר שלם

משפט: מספר המחלקים של מספר שלם המיוצג בצורה:

כאשר המספרים: ראשוניים, והמספרים: שלמים, (על פי המשפט היסודי של האריתמטיקה, לכל מספר שלם יש הצגה יחידה כמכפלה של מספרים ראשוניים), הוא:

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

לדוגמה ניקח את המספר 12. ברור כי למספר 12 יש בדיוק שישה מחלקים: 1,2,3,4,6,12
נציג את המספר כמכפלה של ראשוניים: , על פי המשפט נובע כי למספר 12 יש בדיוק: מחלקים.

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

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

ראו גם