У математици, асоцијативно својство^[1] је својство неких бинарних операција, што значи да преуређивање заграда у изразу неће променити резултат. У пропозиционој логици, асоцијативност је важеће правило замене израза у логичким доказима. За бинарни оператор ${\displaystyle \circ :K\times K\to K}$ се каже да је асоцијативан над скупом K ако за свако ${\displaystyle a,b,c\in K}$ важи: ${\displaystyle a\circ \left(b\circ c\right)=\left(a\circ b\right)\circ c}$. Из асоцијативности оператора ${\displaystyle \circ }$ следи да у горенаведеним изразима редослед операција не игра улогу, те и запис у коме приоритет није назначен једнозначно одређен: ${\displaystyle a\circ b\circ c}$

У оквиру израза који садржи два или више појављивања у низу истог асоцијативног оператора, редослед којим се операције изводе није битан све док се редослед операнада не мења. То јест (након поновног писања израза са заградама и у инфиксном запису ако је потребно), преуређивање заграда у таквом изразу неће променити његову вредност. Размотрите следеће једначине:

$${\displaystyle {\begin{aligned}(2+3)+4&=2+(3+4)=9\,\\2\times (3\times 4)&=(2\times 3)\times 4=24.\end{aligned}}}$$

Формално, бинарна операција ∗ на скупу S назива се асоцијативна ако задовољава асоцијативни закон:

Овде се ∗ користи за замену симбола операције, који може бити било који симбол, па чак и одсуство симбола (јукстапозиција) као за множење.

Асоцијативни закон се такође може изразити функционалном нотацијом на следећи начин: f(f(x, y), z) = f(x, f(y, z)).

Уколико се неасоцијативна операција појављује више од једном у изразу, за одређивање редоследа операција користе се заграде. Ипак, за неке честе неасоцијативне операције постоје правила њиховог коришћења без заграда.

Операција је лево асоцијативна ако је правило да се користи слева надесно, т.ј.

${\displaystyle a\circ b\circ c=(a\circ b)\circ c}$

а десно асоцијативна ако је правило да се користи здесна налево, т.ј.

${\displaystyle a\circ b\circ c=a\circ (b\circ c)}$

На пример, одузимање је лево асоцијативно, степеновање десно асоцијативно док за векторски производ нема правила.

Ако је бинарна операција асоцијативна, поновљена примена операције даје исти резултат без обзира на то колико су валидни парови заграда уметнути у израз.^[2] Ово се зове генерализовани асоцијативни закон. На пример, производ од четири елемента може се написати, без промене редоследа фактора, на пет могућих начина:

• ((ab)c)d
• (ab)(cd)
• (a(bc))d
• a((bc)d)
• a(b(cd))

Ако је операција производа асоцијативна, генерализовани закон асоцијативности налаже да ће сви ови изрази дати исти резултат. Дакле, осим ако израз са изостављеним заградама већ има другачије значење (види доле), заграде се могу сматрати непотребним и „производ“ се може недвосмислено написати као

Како се број елемената повећава, број могућих начина за уметање заграда брзо расте, али они остају непотребни за вишезначност.

Пример где ово не функционише је логички двоуслован ↔. То је асоцијативно је; дакле, A ↔ (B ↔ C) је еквивалентно са (A ↔ B) ↔ C, али A ↔ B ↔ C најчешће значи (A ↔ B) and (B ↔ C), што није еквивалентно.

У стандардној истинито-функционалној пропозиционој логици, асоцијација,^[3][4] или асоцијативност^[5] су два валидна правила замене. Правила дозвољавају померање заграда у логичким изразима у логичким доказима. Правила (користећи нотацију логичких конекција) су:

$${\displaystyle (P\lor (Q\lor R))\Leftrightarrow ((P\lor Q)\lor R)}$$

и

$${\displaystyle (P\land (Q\land R))\Leftrightarrow ((P\land Q)\land R),}$$

где је „${\displaystyle \Leftrightarrow }$” металолошки симбол који представља „може се заменити у доказу са”.

Асоцијативност је својство неких логичких спојева истинито-функционалне пропозиционалне логике. Следеће логичке еквиваленције показују да је асоцијативност својство одређених веза. Следеће (и њихове конверзе, пошто је ↔ комутативно) су истиносно-функционалне таутологије.

Асоцијативност дисјункције

${\displaystyle ((P\lor Q)\lor R)\leftrightarrow (P\lor (Q\lor R))}$

Асоцијативност везника

${\displaystyle ((P\land Q)\land R)\leftrightarrow (P\land (Q\land R))}$

Асоцијативност еквиваленције

${\displaystyle ((P\leftrightarrow Q)\leftrightarrow R)\leftrightarrow (P\leftrightarrow (Q\leftrightarrow R))}$

Заједничко порицање је пример истинито функционалне повезаности која није асоцијативна.

Бинарна операција ${\displaystyle *}$ на скупу S који не задовољава асоцијативни закон назива се неасоцијативна. симболично,

$${\displaystyle (x*y)*z\neq x*(y*z)\qquad {\mbox{for some }}x,y,z\in S.}$$

За такву операцију редослед евалуације је важан. На пример:

Одузимање

${\displaystyle (5-3)-2\,\neq \,5-(3-2)}$

Дељење

${\displaystyle (4/2)/2\,\neq \,4/(2/2)}$

Експоненцијација

${\displaystyle 2^{(1^{2})}\,\neq \,(2^{1})^{2}}$

Векторски производ

${\displaystyle {\begin{aligned}\mathbf {i} \times (\mathbf {i} \times \mathbf {j} )&=\mathbf {i} \times \mathbf {k} =-\mathbf {j} \\(\mathbf {i} \times \mathbf {i} )\times \mathbf {j} &=\mathbf {0} \times \mathbf {j} =\mathbf {0} \end{aligned}}}$

Такође, иако је сабирање асоцијативно за коначне суме, оно није асоцијативно унутар бесконачних збирова (серија). На пример,

$${\displaystyle (1+-1)+(1+-1)+(1+-1)+(1+-1)+(1+-1)+(1+-1)+\dots =0}$$ док $${\displaystyle 1+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+1)+\dots =1.}$$

Неке неасоцијативне операције су фундаменталне у математици. Често се појављују као множење у структурама које се називају неасоцијативне алгебре, које такође имају сабирање и скаларно множење. Примери су октониони и Лијеве алгебре. У Лијевим алгебрама, множење задовољава Јакобијев идентитет уместо асоцијативног закона; ово омогућава апстраховање алгебарске природе инфинитезималних трансформација.

Други примери су квазигрупе, квазипоље, неасоцијативни прстен и комутативне неасоцијативне магме.

У математици је сабирање и множење реалних бројева асоцијативно. Насупрот томе, у рачунарској науци, сабирање и множење бројева са покретним зарезом није асоцијативно, јер се грешке заокруживања уводе када се вредности различите величине споје.^[6]

Да би се ово илустровало, размотрите приказ са помичним зарезом са 4-битном мантисом:

Иако већина рачунара рачуна са 24 или 53 битном мантисом,^[7] ово је важан извор грешке заокруживања, а приступи као што је Каханов алгоритам сумирања су начини да се грешке минимизирају. То може бити посебно проблематично у паралелном рачунарству.^[8][9]

Генерално, заграде се морају користити за означавање редоследа евалуације ако се неасоцијативна операција појављује више пута у изразу (осим ако нотација не наводи редослед на други начин, на пример ${\displaystyle {\dfrac {2}{3/4}}}$). Међутим, математичари се слажу око одређеног редоследа евалуације за неколико уобичајених неасоцијативних операција. Ово је једноставно нотациона конвенција да се избегну заграде.

Лево-асоцијативна операција је неасоцијативна операција која се конвенционално вреднује с лева на десно, тј.

$${\displaystyle \left.{\begin{matrix}x*y*z=(x*y)*z\qquad \qquad \quad \,\\w*x*y*z=((w*x)*y)*z\quad \\{\mbox{etc.}}\qquad \qquad \qquad \qquad \qquad \qquad \ \ \,\end{matrix}}\right\}{\mbox{за свако }}w,x,y,z\in S}$$

док се десна асоцијативна операција конвенционално процењује с десна на лево:

$${\displaystyle \left.{\begin{matrix}x*y*z=x*(y*z)\qquad \qquad \quad \,\\w*x*y*z=w*(x*(y*z))\quad \\{\mbox{etc.}}\qquad \qquad \qquad \qquad \qquad \qquad \ \ \,\end{matrix}}\right\}{\mbox{за свако }}w,x,y,z\in S}$$

Јављају се лево-асоцијативне и десно-асоцијативне операције. Лево-асоцијативне операције укључују следеће:

Одузимање и дељење реалних бројева^{[10][11][12][13][14]}

${\displaystyle x-y-z=(x-y)-z}$

${\displaystyle x/y/z=(x/y)/z}$

Функциона примена

${\displaystyle (f\,x\,y)=((f\,x)\,y)}$

Ова нотација може бити мотивисана преносним изоморфизмом, који омогућава делимичну примену.

Десно асоцијативне операције укључују следеће:

Експоненцијализација реалних бројева у запису у суперскрипту

${\displaystyle x^{y^{z}}=x^{(y^{z})}}$

Експоненцијалност се обично користи са заградама или десно асоцијативно јер је поновљена лево-асоцијативна операција степеновања од мале користи. Поновљена степеновања би углавном била преписана множењем:

${\displaystyle (x^{y})^{z}=x^{(yz)}}$

Правилно форматиран, суперскрипт се понаша као скуп заграда; на пример. у изразу ${\displaystyle 2^{x+3}}$ сабирање се врши пре експоненцијације упркос томе што не постоје експлицитне заграде ${\displaystyle 2^{(x+3)}}$ обавијене око њега. Тако дат израз као што је ${\displaystyle x^{y^{z}}}$, пуни експонент ${\displaystyle y^{z}}$ основе ${\displaystyle x}$ се прво процењује. Међутим, у неким контекстима, посебно у рукопису, разлика између ${\displaystyle {x^{y}}^{z}=(x^{y})^{z}}$, ${\displaystyle x^{yz}=x^{(yz)}}$ и ${\displaystyle x^{y^{z}}=x^{(y^{z})}}$ може бити тешко уочљива. У таквом случају се обично подразумева десна асоцијативност.

Дефиниција функције

${\displaystyle \mathbb {Z} \rightarrow \mathbb {Z} \rightarrow \mathbb {Z} =\mathbb {Z} \rightarrow (\mathbb {Z} \rightarrow \mathbb {Z} )}$

${\displaystyle x\mapsto y\mapsto x-y=x\mapsto (y\mapsto x-y)}$

Коришћење десно-асоцијативних нотација за ове операције може бити мотивисано Кари–Хауардовом кореспонденцијом и пресносним изоморфизмом.

Неасоцијативне операције за које није дефинисан конвенционални редослед евалуације укључују следеће.

Експоненцијација реалних бројева у инфиксној нотацији^[15]

${\displaystyle (x^{\wedge }y)^{\wedge }z\neq x^{\wedge }(y^{\wedge }z)}$

Кнутови оператори стрелице нагоре

${\displaystyle a\uparrow \uparrow (b\uparrow \uparrow c)\neq (a\uparrow \uparrow b)\uparrow \uparrow c}$

${\displaystyle a\uparrow \uparrow \uparrow (b\uparrow \uparrow \uparrow c)\neq (a\uparrow \uparrow \uparrow b)\uparrow \uparrow \uparrow c}$

Вршење векторског производа три вектора

${\displaystyle {\vec {a}}\times ({\vec {b}}\times {\vec {c}})\neq ({\vec {a}}\times {\vec {b}})\times {\vec {c}}\qquad {\mbox{ for some }}{\vec {a}},{\vec {b}},{\vec {c}}\in \mathbb {R} ^{3}}$

Рачунање просека реалних бројева у паровима

${\displaystyle {(x+y)/2+z \over 2}\neq {x+(y+z)/2 \over 2}\qquad {\mbox{for all }}x,y,z\in \mathbb {R} {\mbox{ with }}x\neq z.}$

Рачунање релативног комплемента скупова

${\displaystyle (A\backslash B)\backslash C\neq A\backslash (B\backslash C)}$.

(Упореди материјалну неимпликацију у логици.)

Сматра се да је Вилијам Роуан Хамилтон сковао термин „асоцијативно својство“^[16] око 1844. године, у време када је размишљао о неасоцијативној алгебри октонона на које га је упутио Џон Т. Грејвс.^[17]

• Антикомутативност
• Дистрибутивност
• Комутативност

Асоцијативност на Викимедијиној остави.

• „Matrix product associativity”. Khan Academy. Приступљено 5. 6. 2016. CS1 одржавање: Формат датума (веза)