




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、精选课件1 曹 广 福 精选课件2目的:了解集合的表示法;掌握集合的基本运算;熟悉一些常用集合的符号;准确理解集合序列的上、下限集。重点与难点:集合序列的上、下限集。基本内容:一背景1Cantor的朴素集合论2悖论3基于公理化的集合论精选课件3二集合的定义具有某种特定性质的对象的全体1集合的几种表示法我们在诸如数学分析等前期课程中已接触过集合这个概念,所谓集合,指的是具有某种特定性质的对象的全体,通常用大写英文字母A,B,X,Y等表示;集合中的每个对象称为该集合的元素。一般说来,我们总用小写字母a,b,x,y表示集合中的元素。精选课件4 对于集合A,某一对象x如果是A的元素,则称x属于A,记作
2、 ;如果x不是A的元素,则称x不属于A,记正如定义所说,集合是由具有某种特定性质的对象全体组成的,因此,在表示一个集合时,常把这一性质写出来,例如,A是由具有性质P的元素全体组成时,通常记为: ,其中P可以是一段文字,也可以是某个数学式子。 |PxxA具有性质xAxAxA或精选课件52几个特殊的集合及其表示: 除了上述方法之外,有时也用特殊记号表示某些特殊的集合。比如,在大多数场合下,R始终表示实数全体(或直线)C始终表示复数全体(或复平面),N、Z、Q分别表示自然数、整数、有理数全体,以后如无特别声明,我们也都不加解释地使用这些符号。此外,直线上的区间也采用诸如a,b,(a,b)等记号,如果
3、一个集合仅由有限个元素组成,则最方便的办法是将其一一列出,例如,1到10的自然数全体可记作1,2,3,10,不含任何元素的集合称为空集,记作 。精选课件6三集合的运算1.集合的子集 假设A,B是两个集合,如果A中的元素都是B中的元素,则称A是B的子集,记作 前者读作“A包含于B中”,后者读着“B包含A”。显然,空集 是任何集合的子集,任何集合是其自身的子集。假如要证明A是B的子集,最常用的办法是,任取 。 如果A是B的子集,且存在 ,则称A是B的真子集,记作 。 如果A是B的子集,B又是A的子集,则称A与B相等,记作A=B。 BxAx然后设法证明,AbBb使,BABAAB或精选课件72交运算
4、所有既属于A,又属于B的元素组成的集合称为A与B的交集(或通集),记作 ,若 ,则称A与B互不相交,显然 B当且仅当 且 。 对于一簇集合 ,可类似定义其交集, 即 BABAAxAxBxAA,|AxAxAA有对每一精选课件83.并运算 假设A,B是两个集合,所谓A与B的并集(或和集),指的是由A与B中所有元素构成的集合,记作 ,换句话说 , 对于一簇集合 ,可类似定义其并集,即 BA.BxAxBAx或当且仅当AA,AxAAA使存在精选课件9注:在本书中我们未把0包含在N内,+不在中不在中,11:11NnxxAnnn设0 , 11nnA) 1 , 2(1nnA( ( ) -2 -1-1/n -1
5、 0 1-1/n 1 精选课件1011nafnafEE则记设,)(:,:axfExEREfaf ( a-1/n a),(),11nnaa)(11nafnE),(11nna ( ( a-1/n-1 a-1/n a-1/n+1 a精选课件11则记设,)(:,:axfExEREfaf11nafnafEE( a a+1/n),(11nna)(11nafnE),),(11nnaa精选课件124差(余)运算 由所有属于A但不属于B的元素组成的集合,称为A减B的差集,记作A-B(AB),也就是说, ,但 。 AxBAx当且仅当Bx 精选课件13 应该注意的是,此处并未要求B是A的子集。假如B是A的子集,则称
6、A-B为B关于A的余集,记作CAB。需要指出的是,我们讲某个集合的余集时,要弄清相对于哪个集合的余集,特别是涉及到多个集合时,尤其应注意。有时,我们总是限定在某个固定集合A内讨论一些子集,在这种情况下,可以省略A,而将CAB记作CB(或BC)。 集合 称为A与B的对称差,记作 。 )()(ABBABA精选课件14四.集合的运算问题问题1 1:回忆数的四则运算,由此猜测:回忆数的四则运算,由此猜测集合的运算应该具有什么性质。集合的运算应该具有什么性质。精选课件15定理1 (1) (2) (3) (4) (5) (6) AAAAAA,AAAAA,ABBAABBA;)()(CBACBA;)()(CB
7、ACBA)()()(CABACBA)()()(CBCACBA精选课件16(7)(8)(9)(10)(11)(12) 。 )()(BACBAC)()(BABABA)()()(CABACBA)()()(CABACBABCACCAB则若,ABABABAB,则若精选课件17 上述基本性质都是常用的,其中(9),(10)两式通常称为德摩根(De Morgan )法则,它们的证明也是容易的。现在以(10)式为例进行证明。 精选课件18(9)()()(10)()()AAAASASASASA精选课件19五集合序列的上、下(极)限集精选课件20,:nAxNnNx使是一个集合序列设,21nAAA() : :lim
8、suplimnnnnnnnAAx xAxAxA或属于无限多个集合存在无限多个 ,使1NNnnANB例:设A2n=0,1A2n+1=1,2;则上极限集为0,2精选课件21() : :limliminfnnnnnnAAxxAxnxA或除去有限个集外,有当 充分大时,有1NNnnA例:设A2n=0,1A2n+1=1,2;则上极限集为0,2,下极限集为111limlimnnnnnnnnAAAA1,:NNnnnAAxNnNx使() :limsuplimnnnnnAAx xA或属于无限多个集合,:nAxNnNx有NB精选课件22nAnAnAlimnnAAlimlimnnnnAAA精选课件23;),(1为单
9、调减少则称满足若集列nnnnANnAAA;),(1为单调增加则称满足若集列nnnnANnAAA.)21limnnnnnAAA 单调减少,则若;,) 11limnnnnnAAA则单调增加若精选课件241,:NNnnnAAxNnNx使)(suplimlimnnnnAA1,:NNnnnAAxNnNx有)(inflimlimnnnnAA111nnNNnnnnNnnAAAA当An为单调增加集列时11NNNNnnNNnnAAAA精选课件251,:NNnnnAAxNnNx使)(suplimlimnnnnAA1,:NNnnnAAxNnNx有)(inflimlimnnnnAA 11NNNNnnNNnnAAAA当
10、An为单调减小集列时111nnNNnnnnNnnAAAA精选课件26则设,),(),11 ,11(212NnnnAnnAnn1,:NNnnnAAxNnNx使)(suplimlimnnnnAA1,:NNnnnAAxNnNx有)(inflimlimnnnnAA( ( ( ) ) )-n -1 0 1 2 n(,)limnnA ( 1,1limnnA 精选课件27则设,1 ,4 ,1121112NnAAnnnnnn -1 0 1 2 3 41,:NNnnnAAxNnNx有)(inflimlimnnnnAA1,:NNnnnAAxNnNx使)(suplimlimnnnnAA(0,1limnnA0,4)l
11、imnnA精选课件28111| )()(:|)()(lim:kNNnknnnxfxfxxfxfxknknnxfxfNnNxfxf11| )()(|, 1, 1:)()(lim有,:AxxA有,:AxxA使精选课件29111)(:)(:)()(limkNNnknnnaxfxaxfxxfxf,则设knkkaxfNnNaxf111)(, 1,)(, 1有利用极限的保号性知,使得从而aaxfnaxfNnNkknk111)()(, 1, 1取极限,则两边关于有则,若111)(:kNNnknaxfxx,)()(lim,)(axfxfaxfxxnn即:反之若a a+1/k f(x) 精选课件30一域与-域有
12、理数全体(或实数全体)相对于四则运算是封闭的,人们通常称它们为有理数域(或实数域),整数集则不然。前面已经定义了集合的“并”、“交”、“差”运算,那么什么样的集簇相对于集合的运算是封闭的呢? 这就是下面要引进的定义。 定义2 假设S是一个给定的集合,F是以S的一些子集为元素的一个集合,称为S的子集簇,如果它满足 (1) ;(2)当 时, ;(3)当 。 则说F是S的一些子集构成的一个域(或代数)。 如果还有 是F中一列元素时,有 则称F为S的一些子集构成的一个 域(或 代数)。 FAFACsFBAFBA,时,)3(21nAAA当FAnn1F精选课件32 不难发现,如果(1)、(2)、(3)成立
13、,则必有 ,且对任意 。如果(3)成立,则对任意 有 。 域的最简单例子是S的一切子集构成的簇,这是S的子集簇中最大者;另一个例子是由空集和S本身构成的簇,这是S的子集所构成的域中最小者。 FS FBAFBA,21FAAAnFAnn1精选课件33 问题问题5 5:对于一个给定集合的:对于一个给定集合的子集簇F,它关于集合的运算可能不是封闭,它关于集合的运算可能不是封闭的。的。 1. 1. 如何构造一个如何构造一个-域包含域包含F?F? 2. 2. 这样的这样的-域有多少?域有多少? 3. 3. 存不存在满足上述条件的最小的存不存在满足上述条件的最小的-域?域? 4. 4. 如何构造?如何构造?
14、 精选课件34 我们所要的 域G(F)必须满足这样两个条件(i)(ii)任何包含F的 域都包含G(F),换句话说,G(F)是包含F的 域中最小者。 满足(i)的 域不难找,S的一切子集构成的 域便是一个,问题在于如何找最小的一个,为此,不妨把包含F的所有 域相交,记这个集合为 ,则显然有 ,而且任何包含F的 域当然也包含了 ,如果我们证明了 是一个 域,则它就是包含F的最小 域。 )(FGF ( )FFF()FF()FF()FF精选课件35下面的定理说明, 不仅是含F的最小 域,而且是满足(i)、(ii)的唯一 域定理3 假设F是S的子集簇,则 是满足(i)、(ii)的唯一的 域。( )FF(
15、)FF精选课件36精选课件37目的:掌握势的定义,熟悉势的性质, 了解势的比较。重点与难点:势的定义及比较。精选课件387苹果 1,2,3,4,5,6,7 7桔子精选课件39一势的定义问题问题1 1:回忆有限集是如何计数的?:回忆有限集是如何计数的?问题问题2 2:有限集的计数方法如何移植到无限:有限集的计数方法如何移植到无限 集情形?集情形?精选课件40 定义定义1 1 假设是两个集合,如果在A与B之间存在一种一一对应关系 ,即对A中任一元素,通过 与B中唯一元素对应,反之,对B中任一元素,A中也有唯一元素通过 与之对应,则称集合A与集合B是对等的或它们有相同的势或基数,记作 ,或 ,满足上
16、述条件的 称为A和B之间的一个1-1对应。 BA BA精选课件41 显然,任何集合A与它自身是对等的, 即 ; 若 ,则也有 ,若 , ,则 。AABAABCB CABA例1 作对应关系则 是 与 之间的一一对应。ZN , 2 , 1 , 0 , 12,12, 2 , 1 ,2,2:kknkknkknkknNZ精选课件42 从例1看出,虽然 是 的真子集,甚至直觉上 比 的元素少很多,但他们却是对等的,这在有限集情形是做不到的,后面将会看到,一个集合可以与其真子集对 等 是 无 穷 集 的 一 个 特 征 。 NZNZ精选课件43例2 N与R1不对等,即 。 若不然,存在 与 的一个一一对应
17、, 将与N中n对应的元素 记为 ,则 上至少有一个单位长度的区间不含 ,不妨设此间 分为三等分,则 中至少不含1RN)(n1R1 ,0,1 ,01将I12 0 , , , 1 33nr1r1RN2r精选课件44以 表示这个区间,将 三等分,其左、右两个区间中至少有一个区间不含 ,记为 ,依此类推,可得一串闭区间 ,满足:(1) ,且 的长度趋 于0(2) 。2I2I3r3InI321IIInI, 3 ,2, 1,nIrnn精选课件45由闭区间套定理知 ,但对任意nnI1nnmIrm1,,换言之,nnI1 不在R1中,这是不可能的。这一矛盾说明, N与R1不可能对等。精选课件46 例2 说明,两
18、个无限集的确可能有不同的势,既然势可以不同,如何对其进行比较呢?下面的定义给出了比较的方法。势的比较问题问题3 3:如何判断两个有限集含相同数量的:如何判断两个有限集含相同数量的 元素?元素?问题问题4 4:从有限集所含元素个数的:从有限集所含元素个数的比较比较, 启发我们如何比较无限集的势?启发我们如何比较无限集的势? 精选课件47 定义定义2 2 假设A、B是两个集合,若A与B的某个真子集B*对等,但不与B对等,则说A的势小于B的势,记作 ,或说B的势大于A的势,记作 。BAAB 精选课件48问题问题5 5:从通常自然数大小的比较,对无限:从通常自然数大小的比较,对无限 集的势我们自然会猜
19、测什么?集的势我们自然会猜测什么?精选课件49 从直觉上判断,上述定义是自然和合理的,但有没有可能发生这样的情况呢,即A与B不对等,但A可以与B的真子集对等,B也可以与A的真子集对等?如果是这样的话,将会出现既有 ,又有 ,这显然是不合理的。伯恩斯坦(Bernstein)定理指出这种情况不会发生。BA AB 精选课件50 * *定理定理1(Bernstein) 1(Bernstein) 假设假设A A,B B是两个是两个集合,如果集合,如果A A与与B B的某个子集对等,的某个子集对等,B B又与又与A A的某个子集对等,则的某个子集对等,则 。 证明:证明:略略BA 精选课件51 由Bern
20、stein定理不难证明: 若 ,且 ,则 。 从合理性方面讲,任何两个集合A和B 的势都应该是可以比较大小的,即下面三种 情况必有且仅有一种情况出现:CBA CACBBA,精选课件52(i) ;(ii) ;(iii) 。BA BA 遗憾的是,至今尚无法证明或否认这是真的。Zermelo给集合论加上了一条公理,即Zermelo选择公理,依据这条公理便可证明(i)、(ii)、(iii)有且仅且一种情形发生。BA精选课件53 选择公理(选择公理(ZermeloZermelo)设)设 是一是一簇两两不相交的非空集,则存在集合簇两两不相交的非空集,则存在集合L L满足下满足下列条件:列条件: (1 1)
21、 ; (2 2)L L与与F F中每一个集合有且只有一个公中每一个集合有且只有一个公共元素。共元素。 AaaAFaAaAL 三Zorn引理精选课件54 直观地看,可以从F的每个集合中各自仅取出一个元素来构造一个新的集合L,这条公理与后面要介绍曹恩(Zorn)引理是等价的。换句话说,可以由选择公理出发证明Zorn引理,也可以由Zorn引理出发证明选择公理。 首先让我们对一般的集合引进所谓的序关系:精选课件55 定义定义3 3 设S是一非空集合,如果在S的部分元素之间引进了某种序关系 ,满足 (i) ; (ii)若 ; (iii)若 。则称 是一个偏序集偏序集。如果对任意 必有一个成立,则称 为一
22、个全序集全序集。)(Saaacacbba则,baabba则且,),(SabbaSba与,),(S精选课件56 定义定义4 4 设 是一个偏序集, ,若对一切 ,都有 ,则称 是 的一个上界。如果 ,使得 中不存在 ,使 ,则称 是 的一个极大元极大元。 ),(SSbSA,Axbx Saxxaxa ,abASS精选课件57 ZornZorn引理引理 如果偏序集如果偏序集 中的任何全中的任何全序子集在序子集在S S中都有上界,则中都有上界,则S S中一定存在极大中一定存在极大元。元。),(S精选课件58精选课件59目的:熟悉常见的两类集合的势,掌握其 基本性质。重点与难点:可数集合的性质,连续势的
23、 性质。精选课件60一可数集合 定义定义 凡是与自然数对等的集称为可数集或可列集,凡与R1对等的集称为具有连续势。可数集性质: 定理定理2 2 任何无穷集都包含一个可数子集。任何无穷集都包含一个可数子集。 精选课件61 证明:假设 是一个无穷集,任取 ,因 无穷,故 亦无穷,因此又可以从 中任取一个元素 ,显然 ,假如已从 中取出 个元素 ,则由 是无穷集知 仍是无穷集,从而可从中取出一个元素 ,由归纳法知可从 中取出互不相同得元素MMMx 1nM1nx1xM1xM 2x12xx MMniix1niixM1精选课件62排成一无穷序列: ,显然 是 的可数子列。证毕。,21nxxx,21nxxx
24、M精选课件63定理定理3 3 可数集合的无穷子集仍是可数的。可数集合的无穷子集仍是可数的。 证明:假设 是可数集, 是 的无穷子集,由定理2, 含可数子集 ,于是 ,但 ,故 ,从而 也是可数的。证毕。 M2M1MM1MMM2MMM12MM 11M精选课件64定理定理4 4 设设 是可数集,是可数集, 是有限集或可数是有限集或可数 集,则集,则 可数。可数。 证明:由于 有限或可数,故 有限或可数,所以 可以写成 ,或 ,又因 可数,从而 可以写成 ,将 按如下方法排列:当 时,将 排成 BAABBBAA1iibABAB,21nbbbA1iiaBAniibAB1精选课件65当 将 排成无论哪种
25、情形, 显然都是可数的。证毕。,2121mnaaabbb1iibAB,2211nnbababaBABA精选课件66定理定理5 5 有限个或可数个有限集或可数集的有限个或可数个有限集或可数集的 并仍是有限集或可数集。并仍是有限集或可数集。 证明:不妨假设 是一列有限或可数集(有限个集合情形证明相仿)。将 中元素排列成 ,(如果 是有限集,则排列成 )。于是 表示 中的,21nAAAiAija,21iniiiaaaA iA,21iniiiaaaAiA精选课件67第 个元素,记 ,则对任意自然数 ,满足 的数组 必为有限个,首先按 从小到大的顺序进行编号,即将 编为对每个 ,将 重新写成 jnjin
26、njinn),(ji1iiA1iijnjianjiija,1 , 12211nnnaaa精选课件68即按第一个下标 从小到大的顺序排列,应该注意的是 中可能含一些重复的元素,暂且将重复元素留着,最后将 排成在上述序列中,去掉重复元素,则剩下的是有限集或可数集。证毕。 i1iiAija,1 , 111211312213211211nnnaaaaaaaaa精选课件69 如果说 表示正整数, 表示一个有限集与可数集之并的势, 表示 个可数集之并的势, 表示可数个可数集之并的势,则定理5蕴含了下列各式:(1)(2)(3)(4)0C0C00CC 00CC 00CC 000CCC000CCC精选课件70
27、定理定理6 6 。 证明:记 ,显然 是可数集,故 可数;同理每个 也可数,从而 可数,于是0CQ , 3 , 2 , 1,mnmAn,1,2,3, nmAmn 1nnAnA1()nnA0) )(11nnnnAAQ精选课件71是可数的,即 。证毕。 定理6告诉我们,尽管有理数全体在数轴上处处稠密,然而,它和自然数集却是对等的,这与我们的直觉是多么不同!0QC精选课件72 问题问题1 1:可数集合的性质与有限集合的性:可数集合的性质与有限集合的性 质有何异同?其本质差别是什么?质有何异同?其本质差别是什么?精选课件73 前面已经看到,可数集是无穷集中势最小者,下面的命题指出,任一无穷集并上一个可
28、数集不影响它的势。精选课件74 命题命题1 1 假设假设 A A 是无穷集是无穷集,B,B是可数集是可数集或有限集,则或有限集,则 。 证明:由 可数或有限知 也可数或有限,且 ,故不妨假设 与 不相交。由定理2知 含可数子集,不妨记为 ,则 仍可数,于是 与 ABABBBA()AB AA0AA0AB0AB精选课件75 对等,又 与自身对等,不妨设 是 与 的1-1对应, 是 到自身的恒等映射,则令 ,易知 是 0A0AB0A0AA0AA00)()()(AAaaAaaa当当0000()()()AAA AABABA A与精选课件76的1-1对应,从而 。证毕。 二无限集的特征 问题问题2:2:
29、有限集与无限集的本质差别是否也有限集与无限集的本质差别是否也 体现在一般的无限集?这种差别是体现在一般的无限集?这种差别是 否正是无限集的特征?否正是无限集的特征?ABA精选课件77命题命题2 2 是无穷集当且仅当它可以与其是无穷集当且仅当它可以与其 真子集对等。真子集对等。 证明:先证必要性,若 可数,则结论显然,故不妨设 不是可数集,由定理2, 含可数子集 ,由于 非可数,所以 仍是无穷集,由命题1立知 AAA0AAA0AA000)(AAAAAA精选课件78即 与其真子集 对等。 为证充分性,我们要证,若 与其真子集对等, 必是无穷集。假若不然, 是有限集,不妨设为 , 与其真子集对等,记与 对等的真子集为 , 是 与 之间的1-1对应。则 ,注意0AAAAA12 ,nAa aaAAA120,miiiAa aamnA0()AA0A精选课件79且因 是一一的,故对不同的 , 。故 是 中 个不同的元素,于是 。然而 。这说明 。这个矛盾意味着 必是无穷集。证毕。120() (), (),(),miiiAaaa()()kjiiaa, k j0()AAmmA)(0An0()AAA精选课件80 在例2中,我们已经看到 与 是不对等的,因此 是一个不可数集合,我们也知道 是最小的无穷集,所以 。有一个很有意思的问题,存不存在这样的集合
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 浙江金融职业学院《微生物生态学》2023-2024学年第二学期期末试卷
- 中国劳动关系学院《密码学基础》2023-2024学年第二学期期末试卷
- 山西电力职业技术学院《插图》2023-2024学年第二学期期末试卷
- 泉州经贸职业技术学院《现代仪器分析(含波谱分析)》2023-2024学年第二学期期末试卷
- 武汉信息传播职业技术学院《智能制造技术基础》2023-2024学年第二学期期末试卷
- 湖北开放职业学院《项目投融资》2023-2024学年第二学期期末试卷
- 南方医科大学《环境水文地球化学》2023-2024学年第二学期期末试卷
- 浙江大学《增材制造》2023-2024学年第二学期期末试卷
- 通化医药健康职业学院《应用波谱解析》2023-2024学年第二学期期末试卷
- 内蒙古工业职业学院《马克思主义原著》2023-2024学年第二学期期末试卷
- 2024-2025学年第二学期学校总务工作计划(附2月-6月安排表行事历)
- 23G409先张法预应力混凝土管桩
- 三年级下册口算天天100题(A4打印版)
- 合规理论知识考核试题题库及答案
- 新版人教版七年级下册语文全册课件(2020最新版)
- MSDS物质安全技术资料-洗面水
- 河南省地图含市县地图矢量分层地图行政区划市县概况ppt模板
- 绩效管理全套ppt课件(完整版)
- 推进优质护理-改善护理服务-PPT课件
- T∕CNFAGS 3-2021 三聚氰胺单位产品消耗限额
- 几种藏文输入法的键盘分布图
评论
0/150
提交评论