;上次课主要内容
一、二元运算及其性质
1、定义
设S为集合,函数f:S Ⅹ S → S称为S上的二元运算,简称为二元运算·
注:从函数的要求来看验证一个运算是否为集合S上的二元运算关键考虑两点
1)S中任何两个元素都可以进行这种运算,且运算的结果是惟一
函数对应的体现 x,y → 运算结果 z=x*y x,y,z∈ S
2)S中任何两个元素的运算结果都属于S,即S对该运算是封闭的.
2、二元运算的表示
通常用 * 、 ? 、* 、△、★ …等抽象符号表示二元运算的算符.
设f:S × S → S 是S上的二元运算,对任意的x,y∈S,
如果x与y的运算结果是z,即 f(x,y) = z
可利用算符 △ 简记为 x △ y = z
3、一元运算
定义9.2 设S为集合
函数f:S → S称为S上的一个一元运算,简称为一元运算
用算符来表示一元运算.若f:S → S为S上的一元运算,
则f(x)=y可以用算符 * 记为 *(x) =y 或 *x = y
;5、有限集合上的运算(可用一个表格来表示运算的过程和结果)
设 S={a1,a2,a3.a4,a5} , *为其上的二元运算
则该运算可用表来表示:中间是运算结果,运算次序为行标为先列标后
* a1 a2 a3 a4 a5
a1 a1*a1 a1*a2 a1*a3 a1*a4 a1*a5
a2 a2*a1 a2*a2 a2*a3 a2*a4 a2*a5
a3 a3*a1 a3*a2 a3*a3 a3*a4 a3*a5
a4 a4*a1 a4*a2 a4*a3 a4*a4 a4*a5
a5 a5*a1 a5*a2 a5*a3 a5*a4 a5*a5
;二、二元运算的一般性质(运算律-公理)
1、交换律: 设*为S上的二元运算.
如果对于任意的x,y∈S都有 x*y = y*x ( 或f(x,y) = f(y,x))
则称运算*在S上是可交换的,或者说运算*在S上适合交换律。
2、结合律 设*为S上的二元运算,如果对于任意的x,y,z∈S都有:
(x*y) *z = x*(y *z) ( f(f(x,y,z)=f(x,f(y,z))
则称运算 *在S上是可结合的,或者说运算 *在S上适合结合律.
3、等幂律
定义9.5 设 *为S上的二元运算,如果对于任意的x∈S都有 x*x=x
则称该运算 *适合幂等律.
如果S中的某些x满足 x*x = x,则称x??运算*的幂等元.
如果S上的二元运算*适合幂等律,则S中的所有元素都是幂等元.
P(S)上的交运算与并运算均适合等幂律,且每个元素均为等幂元。
4、分配律(一种运算对另一种运算而言)
定义9.6 设 *和 o 是S上的两个二元运算,
如果对任意的x,y,z∈S有
x*(y o z)=(x*y) o(x*z) (左分配律)
(y o z) * x = (y*x) o(z*x) (右分配律)
则称运算*对 o 是可分配的,也称*对 o 适合分配律.
f(x,g(y,z))=g(f(x,y),f(x,z)) 左分配
f(g(y,z),x)=g(f(y,x),f(z,x)) 右分配;5、吸收律 (一种运算对另一种运算而言)
设 o 和*是S上两个可交换的二元运算,如果对于任意的x,y∈S都有
x*(x o y)= x x o(x*y )= x
则称o和*满足吸收律.
集合的交并运算均满足吸收律(命题公式的合取与析取运算)
对以上的各个公理要有几个实际的运算作为模型来体会
三、二元运算中的特殊元素
1、单位元(幺元)
1)左、右单位元和幺元定义
定义9.8 设*为S上的二元运算,如果存在el(或er)∈S使得
对任何x∈S都有: el* x = x (或 x* er = x )
则称el(或er)是S中关于*运算的一个左单位元(或右单位元).
若e∈S关于运算*既是左单位元又是右单位元,
则称e为S上关于*运算的单位元. 单位元也可以叫做幺
原创力文档

文档评论(0)