求闻百科
搜索
切换搜索
切换菜单
切换个人菜单
查看“结合律”的源代码
求闻百科,共笔求闻
更多语言
阅读
查看源代码
查看历史
页面
讨论
更多操作
←
结合律
因为下列原因,您没有权限编辑该页面。请逐条确认下列问题是否解决后再试。
您所请求的操作,仅限具有
注册用户
权限的
用户
执行。
若您尚未登录求闻百科账号,请您
登录
求闻百科账号后操作。
您尚未完成实名制验证,因此操作受限。请尽快
完成实名制验证
,或联系
裁决委员会
以
获取操作权限
。
注:若您是非中国大陆用户,您应当联络电子邮件staff
qiuwen.org以获得帮助。
您尚未完成
电子邮件确认
,因此操作受限,请尽快
完成电子邮件确认
。
若您无法完成前述手续,请参考
帮助文档
,或通过适当渠道请求管理员或裁决委员协助。
您可以查看和复制此页面的源代码。
若您无权编辑本页面,您可以
提出编辑请求
,提请有权限者代为编辑。
{{NoteTA |G1 = Math}} 在[[数学]]中,'''结合律'''(associative property)是[[二元运算]]可以有的一個性质,意指在一个包含有二个以上的可结合运算子的表示式,只要[[运算数]]的位置没有改变,其运算的順序就不会对运算出来的值有影响。亦即,重新排列表示式中的[[括号]]并不会改变其值。例如: : <math>(5+2)+1=5+(2+1)=8</math> 上式中的括号虽然重新排列了,但表示式的值依然不变。當这在任何[[實数]]的加法上都成立时,我们说「实数的加法是一个可结合的运算」。 结合律不应该和[[交换律]]相混淆。交换律会改变表示式中运算元的位置,而结合律则不会。例如: : <math>(5+2)+1=5+(2+1)</math> 是一个结合律的例子,因为其中的括號改变了(且因此运算子在运算中的順序也改变了),而运算元<math>5</math>、<math>2</math>、<math>1</math>则在原来的位置中。再来, : <math>(5+2)+1=(2+5)+1</math> 则不是一个结合律的例子,因为运算元<math>2</math>和<math>5</math>的位置互换了。 可結合的运算在数学中是很常见的,且事实上,大多数的[[代数结構]]确实会需要它们的二元运算是可结合的。不过,也有許多重要且有趣的运算是不可结合的;其中一个簡單的例子为[[向量積]]。 == 定義 == 形式上,一个在[[集合 (数学)|集合]]<math>S</math>上的二元运算<math>*</math>被称之为'''可结合的'''若其满足下面的'''结合律''': : <math>(x*y)*z=x*(y*z)\qquad \forall x,y,z\in S</math>。 运算的順序并不会影响到表示式的值,且可證明这在含有「任意」多个<math>\ast</math>运算的表示式之下也依然是成立的。因此,當<math>\ast</math>是可结合的时,運算的順序可以不需要去规范而不会使其意義不清,所以可以省略掉括号而简單写成: : <math>x*y*z.\,</math> 不过,需要记住的是,改变运算的順序并不包含或允许以移动表示式中的运算元來改变其真实的运算。 == 例子 == 一些可結合的運算的例子如下。 * 在[[算術]]中,[[實數]]的[[加法]]和[[乘法]]都是可結合的,即: :: <math> \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\R. </math> * [[复数 (数学)|複數]]和[[四元數]]的加法與乘法是可結合的。[[八元數]]的加法也是可結合的,但其乘法則是不可結合的。 * [[最大公因數]]和[[最小公倍數]]的運算都是可結合的。 :: <math> \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\Z. </math> * 因為[[線性變換]]是個可表示成矩陣的函數,其中的函數複合則可以用[[矩陣乘法]]來表示,立即可知矩陣乘法為可結合的。 * [[集合 (数学)|集合]]的[[交集]]和[[聯集]]為可結合的: :: <math> \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. </math> * 若<math>M</math>是某個集合且<math>S</math>為所有從<math>M</math>映射至<math>M</math>的函數所組成的集合,則在<math>S</math>上的[[函數複合]]的運算是可結合的: :: <math>(f\circ g)\circ h=f\circ(g\circ h)=f\circ g\circ h\qquad\forall f,g,h\in S</math>。 * 更一般性地,給定四個集合<math>M</math>、<math>N</math>、<math>P</math>和<math>Q</math>,且<math>h: M \to N, g: N \to P</math>、<math>f: P \to Q</math>,則 :: <math>(f\circ g)\circ h=f\circ(g\circ h)=f\circ g\circ h</math> :和前面一樣。簡單地說,映射的複合總會是可結合的。 * 給定一個有三個元素<math>A</math>、<math>B</math>和<math>C</math>的集合,其運算如下: {| class="wikitable" style="text-align:center" | <math>+</math> |- ! <math>\times</math> !! A !! B !! C |- ! A | A || A || A |- ! B | A || B || C |- ! C | A || A || A |- |} 是可結合的。不過,此運算不是可交換的。 == 不可結合性 == 一個在集合<math>S</math>上的二元運算*若不滿足結合律,則稱之為'''不可結合的'''。表示成符號即為: : <math>(x*y)*z\ne x*(y*z)\qquad\exist x,y,z\in S</math>。 在此一運算下,運算的順序是'''有'''影響的。[[減法]]、[[除法]]和[[冪]]都是不可結合運算的簡單例子: : <math> \begin{matrix} (5-3)-2\ne 5-(3-2)\quad \\ (4/2)/2\ne 4/(2/2)\qquad\qquad \\ 2^{(1^2)}\ne(2^1)^2.\quad\qquad\qquad \end{matrix} </math> 一般,當不可結合運算在一個表示出現多於一次時,括號就必須被使用來表示其[[運算順序]]。不過,[[數學家]]會對若干常見的不可結合運算採用一種特別的運算順序的規則。這單純只是個為了減少括號的語法約定。 === 二進位浮點數 === {{Main|IEEE二進位浮點數算術標準}} 在[[電腦科學]]中,由於採用二進位浮點數運算,因此加法不符合結合律。<ref>{{cite web |title = What Every Computer Scientist Should Know About Floating-Point Arithmetic |url = http://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html |work = What Every Computer Scientist Should Know About Floating-Point Arithmetic |accessdate = 2014-08-31 }}</ref> : <math>(a+b)+c \ne a+(b+c)</math> 以下兩個運算的結果在電腦中不相等: * <math>(0.1+0.2)+0.3</math> * <math>0.1+(0.2+0.3)</math> 使用相等运算符進行比較,會傳回假(false)。 == 參考文獻 == {{Reflist}} == 參見 == * [[半群]]是一個有著封閉可結合二元運算的集合。 * [[交換律]]和[[分配律]]是另兩個在二元運算中常被討論的性質。 * [[遞移關係]] * [[冪結合性]]和[[可代替性]]是兩個弱型式的結合律。 {{-}} {{二元運算的性質}} [[Category:初等代数|J]] [[Category:泛函分析|J]]
返回
结合律
。