5.2 二元运算的性质与特殊元素

5.2二元运算的性质与特殊元素PropertiesofOperations&SpecialElements代数系统·离散数学基础课程目录CONTENTS01运算的性质封闭性·交换律·结合律

分配律·吸收律·幂等律

消去律02运算的特殊元素•幺元(IdentityElement)

•零元(ZeroElement)

•逆元(InverseElement)03性质与元素总结深入探讨这些代数性质与特殊元素，在有限集合的“运算表”中是如何直观体现的，掌握快速识别方法。01运算的性质定义5.4：封闭性(Closure)设`*`是定义在集合A上的二元运算，如果对于任意`x,y∈A`，都有`x*y∈A`，则称二元运算`*`在A上是封闭的。核心解读判断一个运算是否具有封闭性，本质上就是看：运算产生的结果，是否依然属于运算前的原集合。这是构成代数系统的必要条件之一。典型示例❌自动售货机找零：若预设币种集合为{1元,5角}，找零1.5元是封闭的，但找零3角则不封闭。✅布尔加法：集合{0,1}上的逻辑或运算，结果永远是0或1，具备封闭性。✅模m加法：(a+b)modm的结果一定在0到m-1之间，属于原整数集的子集。01运算的性质例题5.2：封闭性讨论问题：设集合A={x|x=2ⁿ,n∈N}，请分别讨论集合A对乘法运算和加法运算是否满足封闭性。乘法运算分析任取m,k∈N，则2ᵐ,2ᵏ∈A。

由指数运算律：2ᵐ×2ᵏ=2^(m+k)。

∵m+k∈N，∴2^(m+k)∈A。

结论：集合A对乘法运算封闭。加法运算分析采用“举反例”法：取2¹,2²∈A。

计算和：2¹+2²=2+4=6。

∵6无法表示为2ⁿ(n∈N)的形式，∴6∉A。

结论：集合A对加法运算不封闭。01运算的性质定义5.5：可交换性（交换律）定义：设`*`是定义在集合A上的二元运算，如果对于任意的`x,y∈A`，都有`x*y=y*x`，则称二元运算`*`在A上是可交换的，即运算满足交换律。满足交换律+(加法)、×(乘法)

∪(并集)、∩(交集)不满足交换律集合的笛卡尔乘积`×`

关系的复合运算`￮`01运算的性质定义5.6：可结合性（结合律）定义5.6设是定义在集合A上的二元运算，如果对于任意x,y,z∈A，都有(x*y)*z=x*(y*z)，则称二元运算在A上是可结合的，即运算满足结合律。✅满足结合律加法+、乘法×

并集∪、交集∩

关系的复合运算❌不满足结合律笛卡尔乘积：

(A×B)×C≠A×(B×C)01运算的性质例题5.3|结合律的证明设集合A上定义二元运算★，对任意的x,y∈A，都有x★y=y。请证明该运算满足结合律。证明思路：分别展开等式两边，验证结果是否一致。1.左式展开：(x★y)★z=y★z=z2.右式展开：x★(y★z)=x★z=z∴(x★y)★z=x★(y★z)，运算满足结合律。例题5.4|交换律与结合律的讨论设Q是有理数集合，在Q上定义运算：x*y=x+y-xy。请分别讨论该运算是否满足交换律与结合律。▌交换律∵x*y=x+y-xy

=y+x-yx=y*x✅满足交换律▌结合律分别展开等式两边，最终结果均为：

x+y+z-xy-xz-yz+xyz✅满足结合律01运算的性质定义5.7：可分配性(Distributivity)设,￮是定义在集合A上的两个二元运算，如果对于任意x,y,z∈A，都满足：•左分配律：x*(y￮z)=(x*y)￮(x*z)|右分配律：(y￮z)*x=(y*x)￮(z*x)则称运算对运算￮是可分配的。若同时满足左、右分配律，则称“*”对“￮”满足分配律。经典示例：算术运算中的分配律在实数集上，乘法对加法满足分配律：x×(y+z)=x×y+x×z01运算的性质例题5.5：讨论分配律设集合A={α,β}，定义运算*和￮的运算表如下所示。请分别讨论：运算*对￮是否可分配？运算￮对*是否可分配？运算*表|α|β

----------------------

α|α|β

β|β|α运算￮表￮|α|β

----------------------

α|α|α

β|α|β❌*对￮：不满足分配律取x=β,y=α,z=β：

左边：β*(α￮β)=β*α=β；

右边：(β*α)￮(β*β)=β￮α=α。

∵β≠α，故不满足分配律。✅￮对*：满足分配律证明思路：穷举所有8种元素组合进行验证。

对任意的x,y,z∈A，逐一计算等式两边的值，

可验证等式x￮(y*z)=(x￮y)*(x￮z)均成立。01运算的性质定义5.8：吸收律(AbsorptionLaw)设二元运算`*`和`￮`是可交换的，若对集合中的任意元素x,y，都满足：x*(x￮y)=x且x￮(x*y)=x则称这两个运算满足吸收律。定义5.9：幂等律(IdempotentLaw)设`*`是定义在集合A上的二元运算，若对任意元素x∈A，都满足：x*x=x则称运算`*`满足幂等律。满足此条件的元素x称为幂等元。💡经典示例：集合的基本运算集合的并(∪)和交(∩)运算，同时满足吸收律与幂等律。例如：A∪(A∩B)=A(吸收律)；A∩A=A(幂等律)。01运算的性质例题5.6&5.8：吸收律与幂等律验证例题5.6｜吸收律验证题目：沿用例题5.5的运算表，判断代数系统是否满足吸收律。验证过程：•左吸收：α*(α￮β)=α*α=α，α￮(α*β)=α￮β=α•右吸收：β*(β￮α)=β*α=β，β￮(β*α)=β￮β=β✅结论：代数系统满足吸收律。例题5.8｜幂等律验证题目：沿用例题5.5的运算表，判断两个运算是否满足幂等律。验证过程：•运算`*`：当元素为β时，β*β=α≠β。•运算`￮`：α￮α=α，且β￮β=β。❌运算`*`不满足幂等律；✅运算`￮`满足幂等律。01运算的性质定义5.10：消去律设`*`是二元运算，若x*y=x*z⇒y=z（左消去律）且y*x=z*x⇒y=z（右消去律），则称二元运算`*`满足消去律。满足消去律的运算•实数集R上的加法`+`：

若a+b=a+c，则两边同时加上`-a`，可推出b=c。减法同理。不满足消去律的运算•集合的并集`∪`和交集`∩`：

例如：若集合A={1},B={2},C={1,2}，则A∩B=A∩C=∅，但显然B≠C。01运算的性质例题5.9：综合性质讨论（max,min）在自然数集N上定义运算：x*y=max{x,y}，x￮y=min{x,y}。讨论它们满足哪些代数性质。01封闭性max和min的运算结果仍为自然数，故满足。02交换律max{x,y}=max{y,x}，故满足。03结合律max{max{x,y},z}=max{x,y,z}，故满足。04分配律max{x,min{y,z}}=min{max{x,y},max{x,z}}，故满足。05吸收律max{x,min{x,y}}=x，故满足。06幂等律max{x,x}=x，故满足。直观理解：最大值与最小值02运算的特殊元素定义5.11：幺元(IdentityElement)左幺元(LeftIdentity)对于集合内所有元素x，若存在元素eₗ满足：eₗ*x=x右幺元(RightIdentity)对于集合内所有元素x，若存在元素eᵣ满足：x*eᵣ=x幺元(Identity)当左幺元与右幺元相等时：eₗ=eᵣ=e💡核心解读幺元的作用类似于乘法中的数字1(`1×x=x`)，它是二元运算中的“中性”元素。无论与任何元素运算，都不会改变该元素本身。📝典型示例•实数加法集合<R,+>的幺元是0(0+x=x+0=x)

•实数乘法集合<R,×>的幺元是1(1×x=x×1=x)02运算的特殊元素定理5.1：幺元的唯一性若代数系统<S,*>中同时存在左幺元eₗ和右幺元eᵣ，则必有：eₗ=eᵣ=e且该元素e就是该运算的唯一幺元。这说明，只有当左右幺元都存在且相等时，代数系统才具有幺元。例题5.12：寻找左右幺元设集合S={a,b,c,d}，定义二元运算*，其运算表如下：*abcdaadcbbabcdccbaddabcd结论：左幺元为b和d，无右幺元，故无幺元。02运算的特殊元素定义5.12：零元(ZeroElement)左零元(LeftZero)θₗθₗ*x=θₗ对任意x∈S，运算后均得左零元本身。右零元(RightZero)θᵣx*θᵣ=θᵣ对任意x∈S，运算后均得右零元本身。零元(ZeroElement)θθₗ=θᵣ=θ若一个元素同时是左零元和右零元，则称其为集合S上关于运算*的零元。💡核心解读零元在二元运算中的地位与我们熟悉的数字0在乘法中的地位是一样的：任何数字与0相乘，结果都是0，它是一个“吞噬”其他元素的元素。📝经典示例在实数集R和乘法运算×构成的代数系统<R,×>中，数字0就是它的零元。因为对任意实数x，都有0×x=0且x×0=0。02运算的特殊元素例题5.15：洗衣机混洗模型设集合S={浅色,深色}，洗衣机里衣服混洗的颜色融合运算“￮”结果如下表所示。请分析该二元运算的幺元（单位元）和零元。颜色融合运算表什么是“幺元”？浅色(L)与任何颜色混合，结果都保持另一个颜色的“本色”。

结论：浅色是幺元。什么是“零元”？无论浅色还是深色，只要和深色(D)混合，最终结果都会被“同化”为深色。

结论：深色是零元。02运算的特殊元素定义5.13：逆元(InverseElement)设e是集合A上二元运算*的幺元。对于任意元素a∈A：•若存在b∈A，使得b*a=e，则称b是a的左逆元。

•若存在b∈A，使得a*b=e，则称b是a的右逆元。

•若b既是a的左逆元又是右逆元，则称b是a的逆元，记作a⁻¹。核心解读逆元的本质作用是“抵消”原元素的运算效果。

一个元素与它的逆元进行运算，结果会回归到“中性”的幺元状态。经典示例在实数加法群<R,+>中：

•加法幺元是0。

•任意实数x的加法逆元是-x。

因为x+(-x)=0。02运算的特殊元素例题5.16：求逆元设集合A={a,b,c}，二元运算￮的运算表如下。请根据运算表找出该代数系统的幺元、零元，以及各元素的逆元。￮abcaabcbbcaccab幺元(Identi