Асоцијативност

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

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

$$\begin{array}{cc}(2+3)+4& =2+(3+4)=9\\ 2\times (3\times 4)& =(2\times 3)\times 4=24.\end{array}$$

Дефиниција

Бинарна операција ∗ на скупу S је асоцијативна када овај дијаграм комутује. То јест, када се два пута од Шаблон:Math до Шаблон:Mvar компонују на исту функцију од Шаблон:Math до Шаблон:Mvar.

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

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

Асоцијативни закон се такође може изразити функционалном нотацијом на следећи начин: Шаблон:Math.

Записивање неасоцијативних операција

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

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

$a\circ b\circ c=(a\circ b)\circ c$

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

$a\circ b\circ c=a\circ (b\circ c)$

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

Генерализовани асоцијативни закон

У одсуству асоцијативног својства, пет фактора Шаблон:Mvar, Шаблон:Mvar,Шаблон:Mvar, Шаблон:Mvar, Шаблон:Mvar резултирају Тамаријевом решетком четвртог реда, могуће различитих производа.

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

• Шаблон:Math
• Шаблон:Math
• Шаблон:Math
• Шаблон:Math
• Шаблон:Math

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

Шаблон:Block indent

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

Пример где ово не функционише је логички двоуслован Шаблон:Math. То је асоцијативно је; дакле, Шаблон:Math је еквивалентно са Шаблон:Math, али Шаблон:Math најчешће значи Шаблон:Math, што није еквивалентно.

Пропозициона логика

Правило замене

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

$$(P\vee (Q\vee R))\iff ((P\vee Q)\vee R)$$

и

$$(P\wedge (Q\wedge R))\iff ((P\wedge Q)\wedge R),$$

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

Истинисно функционални спојеви

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

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

$((P\vee Q)\vee R)\leftrightarrow (P\vee (Q\vee R))$

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

$((P\wedge Q)\wedge R)\leftrightarrow (P\wedge (Q\wedge R))$

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

$((P\leftrightarrow Q)\leftrightarrow R)\leftrightarrow (P\leftrightarrow (Q\leftrightarrow R))$

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

Неасоцијативна операција

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

$$(x*y)*z\ne x*(y*z)\text{for some }x,y,z\in S.$$

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

Одузимање

$(5-3)-2\ne 5-(3-2)$

Дељење

$(4/2)/2\ne 4/(2/2)$

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

$2^{(1^2)}\ne (2^1{)}^2$

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

$\begin{array}{cc}𝐢\times (𝐢\times 𝐣)& =𝐢\times 𝐤=-𝐣\\ (𝐢\times 𝐢)\times 𝐣& =\mathrm{𝟎}\times 𝐣=\mathrm{𝟎}\end{array}$

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

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

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

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

Неасоцијативност израчунавања са помичним зарезом

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

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

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

Нотација за неасоцијативне операције

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

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

$$\begin{array}{c}x*y*z=(x*y)*z\\ w*x*y*z=((w*x)*y)*z\\ \text{etc.}\end{array}\}\text{за свако }w,x,y,z\in S$$

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

$$\begin{array}{c}x*y*z=x*(y*z)\\ w*x*y*z=w*(x*(y*z))\\ \text{etc.}\end{array}\}\text{за свако }w,x,y,z\in S$$

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

Одузимање и дељење реалних бројева

$x-y-z=(x-y)-z$

$x/y/z=(x/y)/z$

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

$(fxy)=((fx)y)$

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

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

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

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

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

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

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

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

$\mathbb{Z}\to \mathbb{Z}\to \mathbb{Z}=\mathbb{Z}\to (\mathbb{Z}\to \mathbb{Z})$

$x\mapsto y\mapsto x-y=x\mapsto (y\mapsto x-y)$

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

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

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

$(x^{\wedge }y{)}^{\wedge }z\ne x^{\wedge }(y^{\wedge }z)$

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

$a\uparrow \uparrow (b\uparrow \uparrow c)\ne (a\uparrow \uparrow b)\uparrow \uparrow c$

$a\uparrow \uparrow \uparrow (b\uparrow \uparrow \uparrow c)\ne (a\uparrow \uparrow \uparrow b)\uparrow \uparrow \uparrow c$

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

$\overrightarrow{a}\times (\overrightarrow{b}\times \overrightarrow{c})\ne (\overrightarrow{a}\times \overrightarrow{b})\times \overrightarrow{c}\text{ for some }\overrightarrow{a},\overrightarrow{b},\overrightarrow{c}\in {ℝ}^3$

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

$\frac{(x+y)/2+z}{2}\ne \frac{x+(y+z)/2}{2}\text{for all }x,y,z\in ℝ\text{ with }x\ne z.$

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

$(A\mathrm{\setminus }B)\mathrm{\setminus }C\ne A\mathrm{\setminus }(B\mathrm{\setminus }C)$.

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

Историја

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

Види још

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

Литература

• Шаблон:Cite book.
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite journal
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite journal
• Шаблон:Cite journal
• Шаблон:Cite journal
• Шаблон:Cite journal

Спољашње везе

• Шаблон:Cite web