Asocijativnost

Ovaj članak ili neki od njegovih odlomaka nije dovoljno potkrijepljen izvorima (literatura, veb-sajtovi ili drugi izvori). Ako se pravilno ne potkrijepe pouzdanim izvorima, sporne rečenice i navodi mogli bi biti izbrisani. Pomozite Wikipediji tako što ćete navesti validne izvore putem referenci te nakon toga možete ukloniti ovaj šablon.

U matematici, asocijativnost je osobina koju mogu posjedovati binarne operacije. Ona predstavlja, unutar izraza koji sadrži dva ili više istih asocijativnih operatora u nizu, da red kojim se operacije izvode nije bitan sve dok je niz operanda nepromijenjen. To jest, premještanje zagrada u takvom izrazu neće utjecati na njegovu vrijednost. Razmotrimo slijedeći primjer

${\displaystyle (5+2)+1=5+(2+1)=8\,}$

Iako su zagrade premještene, vrijednost izraza se nije promienila. Pošto ovo važi kada vršimo sabiranje bilo kojih realnih brojeva, kažemo da je "sabiranje realnih brojeva asocijativna operacija."

Asocijativnost ne treba miještati sa komutativnosti. Komutativnost dozvoljava mijenjanje redoslijeda ili niza operanada unutar izraza, dok asocijativnost to ne dopušta. Naprimjer,

${\displaystyle (5+2)+1=5+(2+1)\,}$

je primjer asocijativnosti, pošto su zagrade premještene (i, zbog toga, red operacija takom izračunavanja), dok su se operandi 5, 2 i 1 pojavili u istom redoslijedu od lijeva na desno u izrazu.

${\displaystyle (5+2)+1=(2+5)+1\,}$

nije primjer asocijativnosti pošto je niz operanda promijenjen kada su 2 i 5 zamijenili mjesto.

Asocijativne operacije su mnogobrojne u matematici, te, u stvari, većina algebarskih struktura eksplicitno traži da njihove binarne operacije budu asocijativne. Međutim, mnoge važne i interesantne operacije nisu asocijativne; jedan od takvih primjera bi bio vektorski proizvod.

Formalno, binarna operacija ${\displaystyle *\!\!\!}$ na skupu S naziva se asocijativnom ako zadovoljava zakon asocijacije:

${\displaystyle (x*y)*z=x*(y*z)\qquad {\mbox{za sve }}x,y,z\in S.}$

Redoslijed izračunavanja ne utiče na vrijednost takvih izraza, te se može pokazati da to isto važi i za izraze koji sadrže bilo koji broj ${\displaystyle *\!\!\!}$ operacija. Zbog toga, kada je ${\displaystyle *\!\!\!}$ asocijativno, redoslijed izračunavanja ne mora se specifikovati stavljanjem zagrada, te se jednostavno piše:

${\displaystyle x*y*z.\,}$

Međutim, važno je zapamtiti da ,ijenjanje redoslijeda operacija ne uključuje niti dozvoljava mijenjanje samih operacija, tako što bi operande razmiještali unutar izraza.

Ako je binarna operacija asocijativna, ponavljana primjena operacije daje isti rezultat bez obzira na to koliko je važećih parova i zagrada u izrazu.

Za četiri elementa rezultat binarne operacije može se odrediti na 5 načina

1. ${\displaystyle (ab)c)d}$
2. ${\displaystyle (ab)(cd)}$
3. ${\displaystyle (a(bc))d}$
4. ${\displaystyle a((bc)d)}$
5. ${\displaystyle a(b(cd))}$

Ako važi zakon asocijacije navedeni slučaj može se pisati ${\displaystyle abcd}$

Neki primjeri asocijativnih operacija su slijedeći.

• U aritmetici, sabiranje i množenje realnih brojeva su asocijativne operacije; npr.,

${\displaystyle \left.{\begin{matrix}(x+y)+z=x+(y+z)=x+y+z\quad \\(x\,y)z=x(y\,z)=x\,y\,z\qquad \qquad \qquad \quad \ \ \,\end{matrix}}\right\}{\mbox{za sve }}x,y,z\in \mathbb {R} .}$

• Sabiranje i množenje kompleksnih brojeva i kvaterniona je asocijativno. Sabiranje oktoniona je, također, asocijativno, ali množenje istih nije.

• Funkcije najvećeg zajedničkoh dijelioca i najmanjeg zajedničkog sadržaoca ponašaju se asocijativno.

${\displaystyle \left.{\begin{matrix}\operatorname {gcd} (\operatorname {gcd} (x,y),z)=\operatorname {gcd} (x,\operatorname {gcd} (y,z))=\operatorname {gcd} (x,y,z)\ \quad \\\operatorname {lcm} (\operatorname {lcm} (x,y),z)=\operatorname {lcm} (x,\operatorname {lcm} (y,z))=\operatorname {lcm} (x,y,z)\quad \end{matrix}}\right\}{\mbox{ za sve }}x,y,z\in \mathbb {Z} .}$

• Pošto su linearne transformacije funkcije moje mogu biti prikazane preko matrica, gdje množenje matrica predstavlja kompoziciju funkcija, zaključujemo da je množenje matrica asocijativno.

• Uzimajući presjek unije skupova:

${\displaystyle \left.{\begin{matrix}(A\cap B)\cap C=A\cap (B\cap C)=A\cap B\cap C\quad \\(A\cup B)\cup C=A\cup (B\cup C)=A\cup B\cup C\quad \end{matrix}}\right\}{\mbox{za sve skupove }}A,B,C.}$

• Ako je M neki skup, a S označava skup svih funkcija iz M u M, tada je operacija kompozicije funkcije na S asocijativna:

${\displaystyle (f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h\qquad {\mbox{za sve }}f,g,h\in S.}$

• Nešto općenitije, za data četiri skupa M, N, P i Q, gdje vrijedi h: M u N, g: N u P i f: P u Q, tada je

${\displaystyle (f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h}$

Ukratko, kompozicija preslikavanja je uvijek asocijativna.

• Razmotrimo skup sa tri elementa, A, B i C. Slijedeća operacija:

je asocijativna. Zbog toga, naprimjer, vrijedi A(BC)=(AB)C. Ovo preslikavanje nije komutativno.

Za dokazivanje logičkih operacija vrijede dva pravila zamjene

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

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

Vrjijedi asocijativnost za disjunkciju

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

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

konjukciju

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

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

ekvivalenciju

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

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

Za binarnu operaciju ${\displaystyle *}$ za koju ne važi asocijativnost kažemo da je ne asocijativna.

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

• Oduzimanje

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

• Dijeljenje

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

• Stepenovanje

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

• I beskonaćne sume nisu asocjativne

${\displaystyle (1-1)+(1-1)+(1-1)+(1-1)+(1-1)+(1-1)+\dots \,=\,0}$

dok je

${\displaystyle 1+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+\dots \,=\,1}$

• Polugrupa je skup sa zatvorenim binarnim operacijama.
• Komutativnost i distributivnost su ostale dvije često korištene osobine binarnih operacija.
• Asocijativnost stepena i alternativnost su slabi oblici asocijativnosti.