第2章集合精选.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
定理2.5-2 如果所有Ai(i=1,2,…,n)都是有限集合, 则 |A1×A2×…×An|=|A1|·|A2|·|A3|…|An| 证 n=1时, |A1|=|A1|显然成立。对n≥2用归纳法证明。 n=2时, 设|A1|=p, |A2|=q, A1中的每一个元素与A2中的q个不同元素可构成q个不同序偶, 故共可构成pq个不同序偶, 所以  |A1×A2|=pq=|A1|·|A2| 设对任意n≥2定理成立, 现证n+1也成立。  |A1×A2×…×An×An+1|=|A1×A2×…×An|·|An+1| =|A1|·|A2|…|An|·|An+1| 这里第一步是根据叉积定义和基础步骤, 第二步是根据归纳假设。 所以, 对一切n≥1, 定理成立。 最后说明一点: n重组的概念可以推广到n=1的情况, 称〈a〉为一重组。这主要为了在一些场合能方便地与多重组统一叙述, 它实质上仍代表一个元素。 图 2.2-1 2.2.5 幂集合 定义 2.2-7 设A是一集合, A的幂集ρ(A), 是A的所有子集的集合, 即 ? 一个给定集合的幂集是唯一的, 因此求一个集合的幂集是以集合为运算对象的一元运算。 例 5 (a) 如果A=, 那么ρ(A)={}。 (b) 如果A={a,b}, 那么ρ(A)={, {a}, {b}, {a, b}}。 (c) 如果A是任意非空集合, 那么A∈ρ(A), ∈ρ(A)。 子集的二进制数表示和幂集合中元素的个数: 例如,A={a,b,c}, 不妨认为a, b, c分别是第一、 二、 三个元素。于是可用三位二进制数做足标表示A的任意子集: 二进制数的第i位表示第i个元素是否属于该子集, 1表示属于, 0表示否。例如可用S101表示{a,c}, S011表示{b,c}, 三位二进制数可与其子集一一对应。 因而ρ(A)={Si|i∈J}, 这里J={000,001,…,111}。 为书写方便, 可用十进制数代替二进制数, 于是J={0,1, 2, …, 7}。 一般地, n个元素的集合A, 可用n位二进制数与其子集一一对应。因而 由此可知, n个元素的集合A, 其幂集的元素个数是 2n。 如果A是无限集, 则ρ(A)的元素个数也是无限的。 求子集的一种算法---利用二进制表示 思想: (1)首先去掉集合中的重复元素。 (2)如果集合中有n个不重复的元素,那么它就有2n个子集。 我们把0到2n-1这2n个数变成二进制就是000...00~111...11。 假设我们对每个元素位置上对应一个数字(0或1),1代表取,0代表不取, 那么就有2n个不同取法对应2n个不同子集。用循环逐个输出就可以了。 举个例子{a,b,c,d,e,f,g,h}当循环到100101 0 1时就是{a,d,f,h}。 依此类推,原理就是这样的。 a b a b c a c b c a b c d a d b d a b d c d a c d b c d a b c d 以集合为{a,b,c,d}为例,运行结果如下: 2.3 归纳法和自然数 2.3.1 集合的归纳定义 在2.1节介绍了指定集合的两种最常用方法——列举法和描述法。但有许多集合难以用这两种方法表示出来, 而用归纳定义(或称为递归定义)来指定较为方便。 (1) 基础条款(简称基础)。 它指出某些事物属于集合。它的功能是给集合以基本元素, 使所定义的集合非空。 (2) 归纳条款(简称归纳)。它指出由集合的已有元素构造新元素的方法。 归纳条款的形式总是断言: 如果事物 x,y,…, z是集合的元素, 那么用某种方法组合它们而成的一种新事物也在集合中。它的功能是指出为了构造集合的新元素, 能够在事物上进行的运算。 (3) 极小性条款(简称极小性)。它断言一个事物除非能有限次应用基础和归纳条款构成外, 那么这个事物不是集合的成员。 例 1 如果论述域是整数I, 那么能为3 整除的正整数集合S的谓词定义如下: 同样集合能归纳地定义如下: (1) (基础)3∈S ; (2

文档评论(0)

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

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

1亿VIP精品文档

相关文档