13运算的定义及性质.PPT

第2讲 运算的定义及性质集合的运算 1.3 运算的定义及性质 运算是讨论对象之间有何联系的一种方法. 其实，我们已经接触过很多运算,如数之间的加法运算、多项式之间的乘法运算、矩阵的逆运算、向量的线性运算等.在讨论离散数据结构时也会经常遇到各种各样的运算，如在下节即将研究的集合间的运算. 虽然运算本质上是映射，但研究的侧重点不同，在运算中更注重于运算满足的一些运算性质，而根据这些性质可以对一些离散对象分门别类进行讨论. 因此，有必要先把运算的一般定义及其性质进行讨论. 1.4 集合的运算 最常见的集合运算是并、交和补. 1.并运算 Theorem 是包含A和B的最小集合. Theorem (并运算满足的性质) * * 掌握以下内容: 1.运算的定义. 2.各种运算的性质. 3.常见的集合的5种运算及运算律. 1. 运算的定义 (1)定义 A1, A2,…, An到B的n元运算: A到B(或A上)的n元运算: A上的n元封闭运算(代数运算): 几个例子. 例1-14 f: Z? N, f(x) = |x|. 例1-15 f: Z? N, f(x) = x(mod k), x = qk + r, 0? r k: 8 = 2· 3 + 2; -5 = -2· 3 + 1. 例1-16 例1-17 (2)运算符号的选取 函数符号f, g, …, F, G, …,φ,ψ…; 常见运算符号+, ·, /,?, ?,…; 自定义符号 ,?, , … (3)运算符号的位置 (4)运算表 A = {a, b, c}, *: 思考 A上封闭的1元运算, 2元运算和3元运算的个数是多少? b a c b c c c a b a b c a b c * 2.运算的性质 (1)对合(involutive)性 Def 设*是A上的1元代数运算, 例 (2)幂等(idempotent)性 幂等元x: A关于*具有幂等性: A中每个元素对于*都是幂等元. 两个例子: 1 3 2 2 3 2 3 1 3 1 2 3 1 2 3 * (3)交换(commutative)性 Def 设*是A上的2元代数运算, 若对于任意的x, y ? A, 均有 则称*满足交换律. 显然, 映射的复合运算?不满足交换律: 加法运算”+”满足交换律, 而减法运算”-”不满足交换律: 2 – 3 ? 3 – 2. 如何根据定义的运算得出运算具有交换性? (4)结合(associative)性 映射的复合运算?满足结合律: 加法运算“+”满足结合律, 而减法运算“-”不满足结合律: (2 - 3) - 5 ? 2 - (3 – 5). 如何根据运算表判断运算是否可(交换)结合? (5)单位元素. Def 设*是A上的2元代数运算, 若存在e ? A,对于任意的x? A, 下列条件均成立： 则称e为集合A关于*运算的单位元素或幺元素.(幺元律?) 例 Z关于加法运算+的单位元素为0,而Z关于乘法运算“.”的单位元素为1,Z关于减法运算-没有单位元素. (6)零元素. Def 设*是A上的2元代数运算, 若存在? ? A,对于任意的x? A, 下列条件均成立： 则称?为集合A关于*运算的零元素.(零元律?) 例1-28 Z关于加法运算+和减法运算-均没有零元素, 而Z关于乘法运算?的零元素为0. (7)逆元素 若A关于运算有单位元素e, 则可以讨论A中取定的元素x是否有逆元. Def 设*是A上的2元代数运算且有单位元素e,若对于x? A,存在y? A,使得下列条件均成立: 则称y为x的关于*的逆元素. 显然,一个方阵关于乘法运算的逆元就是其逆矩阵, 因为单位元素是单位矩阵. 对于函数来说,一个映射关于函数的复合运算的逆元就是其逆映射, 当然只有双射才有逆元,其单位元素是恒等映射. 例1-29 R中各元素关于加法运算+和乘法运算?逆元素. (8)消去(cancellation)性. Def 设*是A上的2元代数运算, 若A关于*运算有零元则记为? , 如果对于任意的x, y , z ? A, 只要x ? ? , 那么下列条件均成立： 则称*具有消去性, 或称*满足消去律. 例1-31 Z上的加法运算+和乘法运算?均满足消去律. 例1-32 实数集R上的所有2阶方阵组成的集合,关于矩阵乘法运算不满足消去律. (9)分配(distributive)性. Def 设*和?是集合A上的两