对于任意元素a.ppt

  1. 1、本文档共94页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
对于任意元素a

Chapter 1 Sets, Mappings and Operations 集合是现代数学的最基本概念. 映射又称为函数, 它是现代数学的基本概念, 可以借助于集合下定义. 运算本质上是映射, 但有其特殊性. (关系也是集合)集合、映射、运算及关系是贯穿于本书的一条主线. ⑶ 递归法 是指通过计算规则定义集合中的元素。首先给出该集合的初始元素;然后给出由集合中已知元素构造其他元素的方法;最后强调有限次使用前面的步骤得到的元素是集合中仅有的元素。 如:设a0=1,a1=1,an+1=an+an-1, A={a0,a1,a2,……}={ak?k?0}。 ⑷ 巴科斯范式(BNF)表示法 BNF常用来定义高级程序设计语言的标识符或表达式集合。 ⑹集合的其他表示法 对于A={ 1,{2,3},{{4}}},有1∈A,{2,3}∈A,3 ? A结论,此时可以用如下树形图表示这种关系。 集合的特性 ⑴ 确定性 确定性是指一旦给定了集合A,对于任意元素a,我们就可以准确地判定a是否在A中。 如:A={x|x是自然数,且x100} 则必有30?A,101?A 集合的特性 ⑵ 互异性 互异性是指集合中的元素之间是彼此不同的,即集合中不允许出现重复的元素。 如:集合 A={a,b,c,c,b,d} 应为 A={a,b,c,d} 集合的特性 ⑶ 无序性 无序性是指集合中的元素之间没有次序关系。在不特别说明情况下,我们所讨论的集合都不是多重集。 如: A = {a, {a, b}, b, c} 与 A={a, b, c , {a, b}} 相同 集合的特性 ⑷ 抽象性 抽象性是指集合中的元素是抽象的,甚至可以是集合。 如:A = {a, {a, b}, b, c}; 几个相关概念 有限集 由有限个元素a1,…,an组成的集合称为有限集。 基数(或势) 若集合A是有限集,则集合A中的元素个数称为集合A的基数(或势),通常记作|A|。 无限集 无限集是指由无限个元素组成的集合。 空集定义 不含有任何元素的集合是空集。记?或{ }。 子集——集合间关系 给定两个集合A和B,若A中的任意元素都属于B,则称A是B的子集,或称A包含在B,或称B包含A,通常记作A ? B,或B?A。(若任意a?A,必有a?B,则A ? B) 如,集合A={1,2,3,4,5},B={1,3}, C={1,3,5,7}, 则有B ? A ,C? A, B ? C。 定理1-4 真子集——集合间关系 若A?B,且A?B,则称A是B的真子集,通常记作A?B。(若A是B的真子集,则B中至少有一个元素不属于A。) 1.2 映射的有关概念 【差运算性质】 A-A = ? A-? = A A-U = ? 2.运算的性质—消去性 消去性. 设*是A上的2元代数运算, 若A关于*运算有零元则记为? , 如果对于任意的x, y, z?A, 只要x ??, 那么下列条件均成立: x*y = x*z ? y=z;y*x = z*x ? y=z; 则称*具有消去性, 或称*满足消去律。 2.运算的性质—分配性 分配性(分配律) 设*和?是集合A上的两个2元代数运算,若对于任意x,y,z?A,有 x*(y?z)=x*y?x*z; (y?z)*x=y*x?z*x 成立,则称*对于?是可分配的(分配律)。 2.运算的性质—吸收性 吸收性 设*和?是集合A上的两个2元代数运算,若对于任意x, y?A,有 x*(x?y)=x; (y?x)*x=x 成立,则称*对于?是可吸收的(吸收律)。 2.运算的性质—德摩根律 德摩根律 设·是集合A上的1元代数运算, *和?是A上的两个2元代数运算,若对于任意x,y? A, 均有下面两个等式成立:·(x*y)=(·x)?(·y)和·(x?y)=(·x)*(·y) 则称这三种运算满足德摩根律。 1.4 集合的运算 并运算 设A和B是两个任意集合,由所有属于A或属于B的元素组成的集合称为集合A和B的并集,通常记作A∪B。即: A∪B={x|x?A或x?B} 如:设 A={a,b,c,d},B={b,d,e,f} A∪B={a,b,c,d,e,f}。 1.4 集合的运算 【并运算性质】 幂等律: A∪A=A 交换律: A∪B= B∪A 结合律: (A∪B) ∪C=A∪ (B∪C) 同一律: ?∪A=A(空集?是并运算的单位元) 零一律: U∪A

文档评论(0)

sunshaoying + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档