• 数学 结合律


    数学中,结合律二元运算可以有的一个性质,意指在一个包含有二个以上的可结合运算子的表示式中,只要算子的位置没有改变,其运算的顺序就不会对运算出来的值有影响。亦即,重新排列表示式中的括号并不会改变其值。例如:

    (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.

    运算的顺序并不会影响到表示式的值,且可证明这在含有“任意”多个 *\!\!\! 运算的表示式之下也依然是成立的。因此,当 *\!\!\! 是可结合的时,运算的顺序可以不需要去规范而不会使其意义不清,所以可以省略掉括号而简单写成:

    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.
    • 若 M 是某个集合且 S 为所有从 M 映射至 M 的函数所组成的集合,则在 S 上的函数复合的运算是可结合的:
    (f\circ g)\circ h=f\circ(g\circ h)=f\circ g\circ h\qquad\forall f,g,h\in S.
    • 更一般性地,给定四个集合 M 、 N 、 P 和 Q,且 hM → NgN → P 、 fP → Q,则
    (f\circ g)\circ h=f\circ(g\circ h)=f\circ g\circ h
    和前面一样。简单地说,映射的复合总会是可结合的。
    • 给定一个有三个元素 A 、 B 和 C 的集合,其运算如下:
    +
    ×ABC
    A A A A
    B A B C
    C A A A

    是可结合的。不过,此运算不是可交换的。

    [编辑]不可结合性

    一个在集合 S 上的二元运算 * 若不满足结合律,则称之为不可结合的。表示成符号即为:

    (x*y)*z\ne x*(y*z)\qquad\exist x,y,z\in S.

    在此一运算下,运算的顺序是影响的。减法除法都是不可结合运算的简单例子:

    
\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}

    一般,当不可结合运算在一个表示出现多于一次时,括号就必须被使用来表示其运算顺序。不过,数学家会对若干常见的不可结合运算采用一种特别的运算顺序的规则。这单纯只是个为了减少括号的语法约定。

    [编辑]另见

  • 相关阅读:
    java虚拟机-内存的分配
    java-类的多态和多重继承
    java 设计模式-策略模式
    java-线程介绍和基本使用
    java 数据流操作
    java basic
    JAVA连载117-反射的应用与打破封装新
    C连载2-编译过程以及语言历史概览
    Android连载12-完善新闻app内容区域
    JavaScript连载11-Switch
  • 原文地址:https://www.cnblogs.com/olvo/p/2466311.html
Copyright © 2020-2023  润新知