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

תוכן שנמחק תוכן שנוסף
מ הגהה
שחזור לגרסה 18731342 מאת דוד שי - הקודם נכון ועדיף
שורה 1:
ב[[מתמטיקה]], '''מכפלה ריקה''' היא [[מכפלה]] ללא [[מחלק|גורמים]], והיא שווה ל[[איבר יחידה|יחידה]] הכפלית, [[1 (מספר)|1]]. המכפלה הריקה מוגדרת כדי לשמור על ה[[עקביות (לוגיקה)|עקביות]] של תכונות שימושיות הקשורות בכפל.
 
לאחר שמגדירים מכפלה של [[קבוצה (מתמטיקה)|קבוצת]] [[מספר]]ים, טבעי להגדיר מכפלה של [[קבוצה ריקה]] של מספרים. מסתבר שההגדרה הכי טבעית למכפלה ריקה היא איבר היחידה 1, האדיש לכפל. זאת באופן דומה להגדרת ה[[סכום ריק|סכום הריק]] כ[[איבר האפס|איבר היחידה החיבורי]], [[0 (מספר)|0]].
ניתן להוכיח ולהסביר את העובדה שמכפלה ריקה תמיד שווה ל <math>0</math> (כלומר <math>n^{0}=1</math> ) בדוגמה הבאה:
 
הכלל ידוע בשבר עם מעריכים: <math>{x^n \over x^m} = x^{n-m}</math>
 
ניקח לדוגמה את המספר 6 בחזקת 3: <math>{6^3 \over 6^3} = 6^{3-3} = 6^0</math>
 
אם נסתכל על המספר המקורי <math>{6^3 \over 6^3}</math> , נראה שבעצם מדובר במספר <math>1</math> מכיוון שהמונה והמכנה זהים לחלוטין.
 
ולכן: <math>{6^3 \over 6^3} = 6^{3-3} = 6^0 = 1</math> (ניתן להגיע להוכחה זו עם כל מספר אחר במבנה הנ"ל)
 
צורות מוכרות של המכפלה הריקה הן הטענות <math>\ a^0=1</math> לכל a שונה מאפס, <math>\ 0!=1</math> (אפס [[עצרת]]) ו-<math>\prod_{i=m}^{n} x_{i}=1</math> לכל n<m. הגדרות אלו עקביות עם התכונות של הפעולות הללו. לדוגמה לפי חוקי [[חזקה (מתמטיקה)|חזקות]]: <math>\ a^0 = a^{1-1} = a^1\cdot a^{-1}= a/a = 1</math>.