计算机科学导论第12章--离散结构.pptVIP

  • 9
  • 0
  • 约1.04万字
  • 约 54页
  • 2018-03-16 发布于北京
  • 举报
计算机科学导论第12章--离散结构.ppt

(2) 特殊函数 ①函数的性质 设函数f :A→B 若对于任何的x1,x2∈A,x1≠x2,都有 f(x1)≠f(x2),则 称f是单射的。 若Ran(f)=B,则称f是满射。 若f既是满射的,又是单射的,则称f是双射的。 12.3.2 关系与函数 12.3.2 关系与函数 (a) 单射函数 (b) 满射函数 (c) 双射函数 ②复合函数 设f是从集合A到集合B的函数,g是从集合B到集合C的函数,f和g的复合用f ?g 表示为 f ?g ={(a,c)|a∈A∧c∈C∧?b(b∈B)∧(a,b)∈f∧(b,c)∈g } ③反函数 设函数f是集合X到集合Y的一个双射函数。则f的反函数是集合Y到集合X的函数,对于?y∈Y,都分派一个惟一的x∈X和它对应,使得f(x)=y 。f的反函数记作:f –1: Y→X,即f –1(y)=x。 12.3.2 关系与函数 12.4 代数结构 12.4.1 代数结构概述 1.运算的定义及性质 (以二元运算为例) 设S为集合,函数 f:S ×S→S 称为S上的二元运算,简称为二元运算。 二元运算的一些性质: (1) 设 ? 为S上的二元运算,如果对于任意的x,y∈S都有x ?y =y ?x,则称运算 ?在S上满足交换律。 (2) 设 ? 为S上的二元运算,如果对于任意的x,y,z∈S都有 (x ?y)?z =x ?(y ?z),则称运算 ? 在S上满足结合律。 12.4.1 代数结构概述 (3) 设 ? S上的二元运算,如果对于任意的x∈S有 x ?x =x 则称运算 ? 在S上满足幂等律。 (4) 设 ? 和?为S上两个二元运算,如果对于任意的x,y,z∈S,有 x?(y ?z) = (x?y) ?(x?z) (左分配律) (y ?z)?x = (y?x) ?(z?x) (右分配律) 则称运算?对运算?满足分配律。 (5) 设 ? 和?为S上两个可交换的二元运算,如果对于任意的x,y∈S,都有 x ?(x ?y)=x x ?(x ?y)=x 则称运算?和?满足吸收律。 2.运算中的特殊元素 集合中有些元素在运算过程中具有特殊的性质,它们是集合运算中的特殊元素。 (1)幺元。设*为S上的二元运算,如果元素e∈S且对任意元素x∈S,有 x*e=e*x=x 则称e为S上关于*运算的幺元,且唯一。 (2)零元。设*为S上的二元运算,如果元素O∈S且对任意元素x∈S,有 x*O=O*x=O 则称O为S上关于*运算的零元,且唯一。 (3)逆元。设*为S上的二元运算,e∈S为运算*的幺元。对于元素x∈S,且对任意元素y∈S,有 x*y =y*x =e 则称y为x的逆元。 12.4.1 代数结构概述 3.代数结构的定义 代数结构通常指由以下三个部分组成的数学结构: ① 一个非空集合S,称为代数结构的载体。 ② S上的若干运算。 ③ 一组刻画载体S上各运算所满足性质的公理。 通常,代数结构用一个多元序组S,Δ,*,…来表示,其中,S是载体,Δ,*,…为各种运算。有时,S中地位比较特殊的元素(如幺元、零元、逆元)也会被列入这个多元组的末尾。 例如,以自然数集N为载体,“+”运算可以作为二元运算组成一个代数结构,记为N,+。 12.4.2 格与布尔代数 1.格 (1)格的定义: 有序集A,≤称为格(lattice),如果A的任何两个元素的子集都有上确界和下确界。通常,用a∨b表示{a,b}的上确界,用a∧b表示{a,b}的下确界。 (a) 格 (b) 非格 (2)分配格 称格A,∨,∧为分配格,如果它满足分配律,即对任意a,b,c∈A, a∧(b∨c)=(a∧b) ∨(a∧c) a∨(b∧c)=(a∨b) ∧(a∨c) 12.4.2 格与布尔代数 (3)有界格 格A,∨,∧称为有界格,如果A中既有上确界1,又有下确界0。则,0和1称为A的界。 对于A中的一个元素a,如果有 a∨b =1,a∧b=0 则称b为a 的补元或补。记为a’。 如果A中的每个元素都有补元,则有界格A,∨,∧称为有补格。 12.4.2 格与布尔代数 2.布尔代数的定义 定义:代数系统B,∨,∧称为布尔代数,如果?B满足以下条件: ① 运

文档评论(0)

1亿VIP精品文档

相关文档