- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学 定义2.基数 一个有穷集合(有限集合——元素个数有限的集合)A中元素的个数称为A的基数。记为 |A| (或?A, )。 显然基数有以下两个性质: (1)齐性: |?|=0 ; (2)非负性: |A|?0 (对任何集合A ); 另外,由于2?={?} ,所以|2?|=1 。 一般地,关于幂集有以下结果 定理3. 若A是有限集合, 则有 | 2A |= 2 |A| 。 这个定理也说明,我们为什么把一切子集构成的集合称为幂集。 [证明].由于集合A有限,故可设A={a1,a2,…,an},于是 离散数学 | A |=n。A的子集按其基数大小可分为0,1,2,…,n共n+1类。 A的所有k个元素的子集(基数为k的类)为从n个元素中取k个元素的组合数 。另外,因??A,故(按加法原理) ? 2A ? =1+ + +…+ +…+ = 但由于二项式定理 (x+y)n= xkyn-k 令x=y=1,则有2n = , 从而,有 | 2A |= 2n = 2 | A | 。 离散数学 定理4. 若A,B是两个集合,那么,A=B ? 2A = 2B。 [证明].?):由幂集的定义,显然; ?):一方面, A?A (自反性) ? A?2A (因为2A={B:B? A }) ? A?2B (充分性条件: 2A = 2B) ? A?B (因为2B ={A:A?B }) 另一方面, B ?B (自反性) ? B?2B (因为2B ={A:A?B }) ? B?2A (充分性条件: 2A = 2B) ? B?A (因为2A ={B:B?A}) 因此,由包含关系的反对称性,得到 A=B 。 离散数学 §2 .集合代数 集合的基本运算 定义1.余(补或非)运算((absolute)complment) 设X是全集。 一元运算 ?:2X ? 2X 对任何集合A ? X ,使得 A?={ x : x?X ? x ?A } (当全集明确时, A? ={x : x ?A }) 称为集合的余运算。称A?是A关于X的余集。 余运算有时也记为,或 ,或?A或?A。 X A A? 集合A以外的元素! 离散数学 例1.X={a,b,c,d,e,f},A={a,c,d}。则 A? = {b,e,f} 。 定理1.余运算基本定理 设X是全集,A,B是X的子集。则 (1)反身律(对合律):(A?) ?=A; (2)换质位律(逆否律);A?B ? B? ? A?; (3)A = B ? A?= B? ; (4)零壹律:X?= ?,??=X。 [证明].(采用逻辑法) (1)对任何元素x?X, x?(A?)? ? x?A? ? x?A 所以 (A?)? =A ; 离散数学 (2)对任何元素x?X, x?B? ?x?B ?x?A (条件:A?B) ?x?A? 所以 B? ?A? ; (4)对任何元素x, x?X? ?x?X ?x?? 所以 X?=? ; 对任何元素x,x??? ?x?? ?x?X? (已证 :X?=?)
原创力文档


文档评论(0)