חוק הפילוג

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

ניתן לראות דוגמה לתכונה זו במשוואה הבאה:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 4\cdot(2+3)=(4\cdot 2)+(4\cdot 3)}

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

נשים לב שהדבר אינו תמיד נכון לכל שתי פעולות בינאריות, למשל:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 4+(2\cdot 3)\ne(4+2)\cdot(4+3)} .

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

הגדרה פורמלית

תהא $\!\,S$ קבוצה ויהיו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, *,+} שתי פעולות בינאריות המוגדרות עליה. נאמר כי:

• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, *} הוא דיסטריבוטיבי משמאל מעל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, +} אם לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, x,y,z\isin S} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, x*(y+z)=(x*y)+(x*z)} .
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, *} הוא דיסטריבוטיבי מימין מעל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, +} אם לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, x,y,z\isin S} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, (y+z)*x=(y*x)+(z*x)} .
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, *} הוא דיסטריבוטיבי מעל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, +} אם הוא דיסטריבוטיבי מימין ומשמאל מעליו.

אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, *} היא פעולה קומוטטיבית הרי ששלושת התנאים הללו שקולים.

דוגמאות

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

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

• חוק הפילוג, באתר MathWorld (באנגלית)

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

חוק הפילוג30849021Q187959