פעולה אסוציאטיבית

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש
Disambig RTL.svg המונח "אסוציאטיביות" מפנה לכאן. אם הכוונה למשמעות אחרת, ראו אסוציאטיביות (פירושונים).

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

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

פעולות בכמה אברים

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

הכללות

בדרך כלל המונח "פעולה אסוציאטיבית" מתייחס, כאמור, לפעולה בינארית, כלומר לפונקציה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A \times A \rightarrow A} . עם זאת למלה "פעולה" יש גם משמעות רחבה יותר, והיא עשויה לחול על כל פונקציה דו-מקומית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A\times B \rightarrow C} . במצב שבו מוגדרות פעולות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f: A \times B \rightarrow X} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ g : B \times C \rightarrow Y} , וכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ a: X \times C \rightarrow \Omega} ו-, אומרים שהמערכת אסוציאטיבית (או שאחת הפעולות אסוציאטיבית ביחס לאחרות) אם הדיאגרמה

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \begin{array}{ccc} A \times B \times C & \longrightarrow^{1\times g} & A \times Y \\ \downarrow^{f \times 1} & & \downarrow^{b} \\ X \times C & \longrightarrow^{a} & \Omega \end{array}}

קומוטטיבית. הרכבה של פונקציות היא אסוציאטיבית במובן הכללי הזה: לכל שלוש פונקציות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ X \stackrel{f}{\rightarrow} Y \stackrel{g}{\rightarrow} Z \stackrel{h}{\rightarrow} U} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ (h \circ g) \circ f = h \circ (g \circ f)} . גם פעולת הכפל בסקלר של מודול M מעל חוג R היא אסוציאטיבית במובן דומה: לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ a,b \in R} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ v \in M} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ a(bx) = (ab)x} .

העדר תלות בקומוטטיביות

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

  • ישנן פעולות שהן גם קומוטטיביות וגם אסוציאטיביות (למשל: חיבור וכפל במספרים, AND, OR, XOR).
  • ישנן פעולות שהן לא-קומוטטיביות ולא-אסוציאטיביות (למשל: חיסור וחילוק).
  • ישנן פעולות שהן קומוטטיביות אבל לא-אסוציאטיביות (למשל: הערך המוחלט של ההפרש, NOR ,NAND).
  • ישנן פעולות שהן לא-קומוטטיביות אבל כן אסוציאטיביות (למשל: הפעולה המוגדרת לפי , או כפל מטריצות).

ראו גם