結合律

在數學中，結合律（英語：associative property）是二元運算可以有的一個性質，意指在一個包含有二個以上的可結合運算子的表示式，只要運算數的位置沒有改變，其運算的順序就不會對運算出來的值有影響。亦即，重新排列表示式中的括號並不會改變其值。例如：

(5+2)+1=5+(2+1)=8

上式中的括號雖然重新排列了，但表示式的值依然不變。當這在任何實數的加法上都成立時，我們說「實數的加法是一個可結合的運算」。

結合律不應該和交換律相混淆。交換律會改變表示式中運算元的位置，而結合律則不會。例如：

(5+2)+1=5+(2+1)

是一個結合律的例子，因為其中的括號改變了（且因此運算子在運算中的順序也改變了），而運算元 $5$ 、 $2$ 、 $1$ 則在原來的位置中。再來，

(5+2)+1=(2+5)+1

則不是一個結合律的例子，因為運算元 $2$ 和 $5$ 的位置互換了。

可結合的運算在數學中是很常見的，且事實上，大多數的代數結構確實會需要它們的二元運算是可結合的。不過，也有許多重要且有趣的運算是不可結合的；其中一個簡單的例子為向量積。

定義

形式上，一個在集合 $S$ 上的二元運算 $*$ 被稱之為可結合的若其滿足下面的結合律：

(x*y)*z=x*(y*z)\qquad \forall x,y,z\in S

。

運算的順序並不會影響到表示式的值，且可證明這在含有「任意」多個 $\ast$ 運算的表示式之下也依然是成立的。因此，當 $\ast$ 是可結合的時，運算的順序可以不需要去規範而不會使其意義不清，所以可以省略掉括號而簡單寫成：

x*y*z.\,

不過，需要記住的是，改變運算的順序並不包含或允許以移動表示式中的運算元來改變其真實的運算。

一些可結合的運算的例子如下。

\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\}\forall x,y,z\in \mathbb {R} .

\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\}\forall x,y,z\in \mathbb {Z} .

\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\}\forall A,B,C.

(f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h\qquad \forall f,g,h\in S

。

(f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h

和前面一樣。簡單地說，映射的複合總會是可結合的。

$\times$	A	B	C
$+$
A	A	A	A
B	A	B	C
C	A	A	A

是可結合的。不過，此運算不是可交換的。

一個在集合 $S$ 上的二元運算*若不滿足結合律，則稱之為不可結合的。表示成符號即為：

(x*y)*z\neq x*(y*z)\qquad \exists x,y,z\in S

。

在此一運算下，運算的順序是有影響的。減法、除法和冪都是不可結合運算的簡單例子：

{\begin{matrix}(5-3)-2\neq 5-(3-2)\quad \\(4/2)/2\neq 4/(2/2)\qquad \qquad \\2^{(1^{2})}\neq (2^{1})^{2}.\quad \qquad \qquad \end{matrix}}

一般，當不可結合運算在一個表示出現多於一次時，括號就必須被使用來表示其運算順序。不過，數學家會對若干常見的不可結合運算採用一種特別的運算順序的規則。這單純只是個為了減少括號的語法約定。

在電腦科學中，由於採用二進位浮點數運算，因此加法不符合結合律。^[1]

(a+b)+c\neq a+(b+c)

以下兩個運算的結果在電腦中不相等：

使用相等運算符進行比較，會傳回假（false）。

^ What Every Computer Scientist Should Know About Floating-Point Arithmetic. What Every Computer Scientist Should Know About Floating-Point Arithmetic. [2014-08-31]. （原始內容存檔於2016-04-06）.