- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学与-集合论基础
集合论基础 内容提要 现代数学的基础 渗透到计算机科学的各个方面 典型的离散结构模型 基本内容:集合的概念、性质、运算、关系、函数等。 集合论基础 集合的概念 注意:集合无法精确定义! 说明 集合:把具有共同性质的一些组成一个整体,通常用大写字母表示,A,B,S 有限集与无限集 集合论基础 元素与集合 元素:组成集合的单个事物,通常用小写字母表示,a, b, c 若一个元素 a 在集合A内,称a属于A,记作 a∈A。 若一个元素 a 不在集合A内,称a不属于A,记作 a ? A。 集合论基础 集合的表示 枚举法 把集合中的所有元素列举出来 例: A={1,2,3,…N} 叙述法 把集合中元素的共同性质刻划出来 例: A={x | P(x)}, P为一谓词. 集合论基础 外延性原理 两个集合相等,当且仅当它们有相同的成员. 记作A=B. 也就是说, Vx ( x∈A ?x ∈B) 集合论基础 子集 子集: 集合A的每一个元素都是集合B的元素,则称A是B的子集. 记作A ? B. 也就是说, Vx (x∈A→ x ∈B). 回忆:两个集合相等的充要条件是互为子集! 集合论基础 真子集 集合 A是集合B的子集, 且A与B不相等,则称A是B的真子集. 也就是说, (Vx) (x∈A→ x ∈B) ∧ (?y) (y ∈B ∧ y ? A) 集合论基础 空集 不包含任何元素的集合称为空集. 记作Φ. 也就是说, Φ={x | P(x) ∧ ?P(x)} 注意:空集是任意集合的子集. 比较:Φ和{Φ} 集合论基础 全集 在一定范围内,如果所有集合都是一个集合的子集,那么此集合可作为全集,记作E. 也就是说, E={x | P(x) ∨ ?P(x)}. 注意:全集的概念是相对的. 集合论基础 幂集 给定任意一个集合A,由A的所有子集作为元素所组成的集合 记作T(A). 显然: (1) Φ和A是T(A)中的元素; (2) 如果|A|=n, |T(A)|=2n. 集合论基础 基于幂集的二进制编码 把集合A中的元素按出现的次序作为二进制数的位,而各元素在A的每个子集中的出现编为1, 不出现则为0. 这样每个子集唯一地对应着一个二进制数编码. 若|A|=n, 则T(A)={Ai |i ∈J}, J={j | j是 n 位二进制数,000…0≦j ≦111…1}. 为什么? 集合论基础 集合的运算 集合的交 集合的并 集合的补 集合的差 集合的对称差 集合论基础 集合的交 集合A和集合B的所有共同元素所组成的集合.记作A∩B. 也就是说, A∩B={x | (x∈A ∧ x ∈B)}. 集合论基础 集合交运算的性质 幂等律: A∩A=A 零一律: A∩Φ= Φ 同一律: A∩E=A 交换律: A∩B=B∩A 结合律: (A∩B) ∩C=A∩ (B∩C) 集合论基础 集合的并 集合A和集合B中所有属于A或属于B的元素组成的集合,记作A∪B. 也就是说, A∪B={x|(x∈A ∨ x ∈B)}. 集合论基础 集合并运算的性质 幂等律: A∪A=A 同一律: A∪Φ=A 零一律: A∪E=E 交换律: A∪B=B∪A 结合律: (A∪B)∪C=A∪(B∪C) 集合论基础 集合的补 E是全集, A是一个集合,属于E而不属于A的元素所组成的集合.记作~A. 也就是说, ~A={x | x ? A}. 集合论基础 集合补运算的性质 对合律: ~(~A)=A De Morgan律: ~(A∪B)=~A∩~B, ~(A∩B)= ~A∪~B 否定律: ~E= Φ, ~ Φ=E A∪~A=E, A∩~A= Φ 集合论基础 集合的差 所有属于集合A而不属于集合B的元素组成的集合. 记作A-B. 也就是说, A-B={x|(x∈A ∧ x ? B)}. 比较(1)A-B和B-A; (2)差运算和补运算. 集合论基础 集合差运算的性质 A-B=A∩~B A-B=A-(A∩B) 集合论基础 集合的对称差 或者属于集合A, 或者属于集合B, 但不能同时属于A和B. 记作A⊕B. 也就是说, A⊕B={x| (x∈A ∧x ? B) ∨ (x∈B ∧x ? A)}, 即, A⊕B= (A-B) ∪ (B-A) 集合论基础 集合对称差运算的性质 交换律: A⊕B= B⊕A 同一律: A⊕Φ=A 零一律: A⊕A= Φ 结合律: (A⊕B)⊕C= A⊕(B⊕C) A⊕B= (A∩~B) ∪ (~A∩B) 集合论基础 集合运算的其它性质 分配律: A∩(B∪C)=
文档评论(0)