欢迎来到三一办公! | 帮助中心 三一办公31ppt.com(应用文档模板下载平台)
三一办公
全部分类
  • 办公文档>
  • PPT模板>
  • 建筑/施工/环境>
  • 毕业设计>
  • 工程图纸>
  • 教育教学>
  • 素材源码>
  • 生活休闲>
  • 临时分类>
  • ImageVerifierCode 换一换
    首页 三一办公 > 资源分类 > PPT文档下载  

    《朴素集合论》PPT课件.ppt

    • 资源ID:5634158       资源大小:715KB        全文页数:56页
    • 资源格式: PPT        下载积分:15金币
    快捷下载 游客一键下载
    会员登录下载
    三方登录下载: 微信开放平台登录 QQ登录  
    下载资源需要15金币
    邮箱/手机:
    温馨提示:
    用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)
    支付方式: 支付宝    微信支付   
    验证码:   换一换

    加入VIP免费专享
     
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,就可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰。
    5、试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。

    《朴素集合论》PPT课件.ppt

    前言,学习这门课程有两大任务:学习这门课程的知识、学习逻辑推理的方法。一、首先我们要明确:拓扑学研究的是什么?,拓扑学研究的对象就是高度抽象了的这些数学空间的具有最基础结构的空间。它们只具有最基本的数学要求:开集。我们把这样的空间称为拓扑空间。,拓扑学以拓扑空间为基本研究对象,运用集合运算的知识,延拓出闭集、导集、闭包、序列、基、子基等概念。,二、其次,只有掌握了这门课程的证明方法(逻辑推理的方法),才能称得上学好了这门课程。,学习这门课程,提醒大家注意以下几点:,(1)熟练掌握证明集合运算的常用方法。,如:要证明AB,A=B,A为开集(AT),f连续,A为闭集,xd(A),x收敛,X为间,正则空间,正规空间,完全正则空间,X为紧致空间等,应从哪儿入手?,(2)熟练掌握各种定义、定理,因为证明某个命题,往往是从定义出发去证明的。,(3)证明某个命题,要证到什么程度才算证完,要心中有数。证明的开头应如何写?,(4)每一步推理均要有根有据,根据只能是前面的定义、定理,有时也可参考一下集合的文氏图。,(5)证明时用到的根据切不可将数学分析中的结论想当然地引入,因为数学分析中的实数空间是非常完美的度量(拓扑)空间,既是的,又是的,。而要证的命题不一定具备这样的条件。,第1章集合论初步,在这一章中我们介绍有关集合论的一些基本知识从未经定义的“集合”和“元素”两个概念出发给出集合运算,关系,映射以及集合的基数等方面的知识,11集合的基本概念,集合指的是由某些具有某种共同特点的个体构成的集体,一、集合的概念,1.元素、空集、单点集,2.集合的表示法:,3.常见的集合与元素关系的记号,设A,B是两个集合如果,AB,我们则称A为B的子集;,如果A是B的子集,但A又不等于B,即AB,AB,我们称A为B的真子集.,(2)子集、真子集,注:,设X是一个集合,我们常用P(X)表示X的所有子集构成的集族,称为集合X的幂集例如,集合1,2的幂集是P=1,1,2,2,我们常常需要讨论以集合作为元素的集合,这类集合常称为集族.例如,A=1,1,2,1,2,3是一个集族.它的三个元素分别为:1,1,2,1,2,3,二、集族,三、幂集,1.2集合的基本运算,一、并、交、补(差),二、运算定律,(5)De Mongan律A-(BC)(A-B)(A-C)A-(BC)(A-B)(A-C),定义1.2.2 设X是一个基础集对于X的任何一个子集A,我们称XA为A(相对于基础集X而言)的补集或余集,并且记作CA,为了方便起见有时也记作,我们应当提醒读者,补集的定义与基础集的选取有关,基础集,13关系,定义131设X和Y是两个集合集合(x,y)|xX,yY称为X与Y的笛卡儿积,记作XY,读为X叉乘Y,一般说来集合X与集合Y的笛卡儿积XY完全不同于集合Y与集合X的笛卡儿积YX,1、笛卡儿积XY,定义1.3.3 设X,Y是两个集合如果R是X与Y的笛卡儿积XY的一个子集,即 RXY,则称 R是从X到 Y的一个关系,定义1.3.4 设R是从集合X到集合Y的一个关系,即RXY如果(x,y)R,则我们称x与y是R相关的,并且记作xRy,2、关系,如果AX,则Y的子集 yY|存在xA使得xRy称为集合A对于关系R而言的象集,或者简单地称为集合A的象集,或者称为集合A的R象,并且记作R(A),R(X)称为关系R的值域,定义1.3.5 设R是从集合X到集合Y的一个关系,即RXY这时笛卡儿积YX的子集(y,x)YX|xRy是从集合Y到集合X的一个关系,我们称它为关系R的逆,并且记作,3、关系的运算,(1)、逆、原象,设R X Y,S YZ则 S R(x,z)XY|存在yY使得xRy并且ySz,(2)复合,定理1.3.1 设R是从集合X到集合Y的一个关系,S是从集合Y到集合Z的一个关系,T是从集合Z到集合U的一个关系则:,(3)运算性质,定理1.3.2 设R是从集合X到集合Y的一个关系,S是从集合Y到集合Z的一个关系则对于X的任意两个子集A和B,我们有:(1)R(AB)R(A)R(B);(2)R(AB)R(A)R(B);(3)(SR)(A)S(R(A),习题 设R是从集合X到集合Y的一个关系,S是从集合Y到集合Z的一个关系则对于X的任意两个子集A和B以及Z中的任意一个子集C,我们有:,14 等价关系,定义1.4.1 设X是一个集合从集合X到集合X的一个关系将简称为集合X中的一个关系集合X中的关系(x,x)|xX称为恒同关系,或恒同,对角线,记作(X)或,1、恒同关系,2、等价关系,集合X中的一个关系如果同时是自反,对称,和传递的,则称为集合X中的一个等价关系,i)关系R是自反的(X)R,对于任何xX,有xRx;ii)关系R是对称的 R=R-1 对于任何x,yX,如果xRy则yRx;iv)关系R是传递的 RRR,任何x,y,zX,如果xRy,yRz,则有xRz,定义1.4.3设R是集合X中的一个等价关系集合X中的两个点x,y,如果满足条件:xRy,则称x与y是R等价的,或简称为等价的;,3、等价类、商集,对于每一个xX,集合X的子集:yX|yRx称为x的R等价类或等价类,常记作 或x,即:x=yX|yRx,并且任何一个y都称为R等价类的一个代表元素;,定理1.4.1 设R是非空集合X中的一个等价关系则:(1)如果xX,则x,因而;(2)对于任意x,yX,或者=,或者,证明(1)设xX,由于R是自反的,,4、等价类的性质,因此x,所以xRx,,设zxy.,此时有zRx,且zRy,由于R是对称的,所以xRz,又由于R是传递的,所以xRy,(2)对于任意x,yX,如果,对于任何一个t,有tRx,由上述xRy和R的传递性可见tRy,即t这证明,在初等数论中我们早就知道整数模(素数)p的等价关系将整数集合Z分为互不相交的等价类,每一个等价类记作,称为整数x的模p同余类,同理可证因此=,(注意:要证或者或者,应从以下入手:否定掉一个,去证另一个),作业:熟练掌握等价关系,等价类的概念.掌握商集的概念.明确商集的构成,15 映射,定义1.5.1 设F是从集合X到集合Y的一个关系如果对于每一个xX存在唯一的一个yY使得xFy,则称F是从X到Y的一个映射,并且记作F:XY换言之,F是一个映射,如果对于每一个xX:(1)存在yY,使得xFy;(2)如果对于Y有和,则,1、定义,2.单射、满射、双射(一一映射),f:XY是一个映射 对于每一个xX存在唯一 的一个yY使得xfy.,f:XY是一个满射 f是一映射且f(X)=Y,f:XY是一个单射,象、原象、复合、逆、定义域、值域,常值映射、恒同映射,定理1.5.2 设X和Y是两个集合,f:XY如果A,BY则(1)(AB)(A)(B);(2)(AB)(A)(B);(3)(A-B)(A)-(B),3、性质,映射的原象保持集合的并,交,差运算,映射的象的并,交,差运算 P23习题1,2.,定理1.5.3 设X和Y是两个集合又设f:XY 如果f是一个一一映射,则 便是一个从 Y到X的映射(因此我们可以写:YX),并且是既单且满的此外我们还有:和,定理1.5.3 及 P26习题3、9,定义154设X和Y是两个集合,A是X的一个子集映射f:XY和g:AY如果满足条件gf 即对于任何a A有f(a)=g(a),则称g是f的限制,也称f是g的一个扩张,记作特别地,恒同映射:XX在 X的子集A上的限制:AX称为内射这时我们有对于任何a A,(a)=a,限制,定义1.5.5 设是n0个集合,1in从笛卡儿积到它的第i个坐标集的投射(或称第i个投射):X定义为对于每一个,投射、自然投射,定义1.5.6 设R是集合X中的一个等价关系从集合X到它的商集X/R的自然投射:p:XX/R定义为对于每一个xX,p(x)=,作业:熟练掌握本节的所有定义与定理注意定理1.3.2(2)与定理1.5.2的区别熟练记忆P.23 习题1.2 与定理1.5.2,复习,1、等价关系,集合X中的一个关系如果同时是自反,对称,和传递的,则称为集合X中的一个等价关系,i)关系R是自反的(X)R,对于任何xX,有xRx;ii)关系R是对称的 R=R-1 对于任何x,yX,如果xRy则yRx;iv)关系R是传递的 RRR,任何x,y,zX,如果xRy,yRz,则有xRz,2、等价类、商集,1)对于每一个xX,x的R等价类 x=yX|yRx,3)集合X相对于等价关系R而言的商集 XR|xX,定理1.4.1 设R是非空集合X中的一个等价关系则:(1)如果xX,则x,因而;(2)对于任意x,yX,或者=,或者,4)、等价类的性质,3、映射,1)、定义,f:XY是一个映射 对于每一个xX存在唯一 的一个yY使得xfy.,f:XY是一个满射 f(X)=Y,f:XY是一个单射,定理152 设X和Y是两个集合,f:XY如果A,BY,则(1)(AB)(A)(B);(2)(AB)(A)(B);(3)(A-B)(A)-(B),2)、性质,映射的原象保持集合的并,交,差运算,映射的象的并,交,差运算 P23习题1,2.,定理1.5.3 设X和Y是两个集合又设f:XY 如果f是一个一一映射,则 便是一个从 Y到X的映射(因此我们可以写:YX),并且是既单且满的此外我们还有:和,定理1.5.3 及 P23习题3、9,投射、自然投射,定义1.5.2 设X和Y是两个集合,F:XY(读做F是从X到Y的一个映射)(记住这个记号).对于每一个xX,使得xFy的唯一的那个yY称为x的象或值,记作F(x);对于每一个y Y,如果xX使得xFy(即y是x的象),则称x是y的一个原象(注意:yY可以没有原象,也可以有不止一个原象),由于映射本身便是关系,因此,如果F是从集合X到集合Y的一个映射,那么:,(1)对于任何AX,象F(A)有定义,并且 F(A)=F(x)|xA,象、原象、复合、逆、定义域、值域,(2)对于任何BY,原象(B)有定义,并且(B)=xX|F(x)B(注意:(x)与(x)的异同,前者不一定有意义,而后者总存在;前者表示元素,后者表示集合),(3)如果Z也是一个集合并且G:Y Z,则关系的复合GF作为一个从X到Z的关系有定义;,(4)作为从 Y到X的一个关系有定义,但一般说来不是一个从Y到X的映射(这要看F是否是一一映射);,(5)F的定义域有定义,并且它就是X;(意味着X中的每个元素都必须有象),(6)F的值域有定义,并且它就是F(X)(F(X)不一定充满Y),定理 1.5.1 设 X,Y和Z都是集合如果 F:XY和G:YZ,则GF:XZ;并且对于任何xX,有GF(x)G(F(x)(这实际上是映射的积的本质),今后我们常用小写字母f,g,h,表示映射,定义153 设X和Y是两个集合,XY如果Y中的每一个点都有原象(即f的值域为Y,亦即f(X)=Y),则称f是一个满射,或者称f为一个从X到Y上的映射;如果X中不同的点的象是Y中不同的点(即对于任何,如果,则有,则称f是一个单射;如果f既是一个单射又是一个满射,则称f为一个既单且满的映射,或者一一映射,2、单射、满射、一一映射,集合X中的恒同关系(X)是从X到X的一个一一映射,我们也常称之为(集合X上的)恒同映射或恒同,有时也称之为单位映射,并且也常用记号或i:XX来表示它根据定义易见,对于任何xX,有i(x)=x概言之,恒同映射便是把每一个点映为这个点自身的映射,如果 f(X)是一个单点集,则称 f是一个常值映射,并且当f(X)=y时,我们也说f是一个取常值y的映射,常值映射、恒同映射,定理153设X和Y是两个集合又设f:XY如果f是一个一映射,则 便是一个从 Y到X的映射(因此我们可以写:YX),并且是既单且满的此外我们还有:和证明(略),定理 154设 X,Y和Z都是集合,f:XY,g:YZ如果f和g都是单射,则gf:XZ也是单射;如果f和g都是满射,则 gf:XZ也是满射因此,如果 f和 g都是一一映射,则 gf:XZ也是一一映射,16 集族及其运算,设是一个集合如果对于每一个,指定了一个集合,我们就说给定了一个有标集族,或者在不至于引起混淆的情形下干脆说给定了一个集族,同时称为(有标)集族的指标集,定理162设是一个非空的有标集族,A是一个集合则,(2)分配律,(3)DeMorgan律,定理163 设R是从集合X到集合Y的一个关系,则对于集合X的任何一个非空子集族,有,定理164 设X和Y是两个集合,f:XY则对于集合Y的任何一个非空子集族,有,作业:熟练记忆这3个定理!,简言之,集族的原象保持集族的并与交运算,1.7可数集,不可数集,基数,对于有限集,我们今后使用下面的定义.定义1.7.1 设X是一个集合,如果X是空集或者存在正整数使得集合X和集合1,2,n之间有一个一一映射,则称集合X是一个有限集.,定义1.7.2 不是有限集的集合称为无限集;如果存在一个从集合X到正整数集Z+的双射,则称集合X是一个可数无限集,不是可数无限集的无限集合称为不可数集.有限集和可数无限集统称为可数集.,基 数,图1.6.1,图1.6.2,

    注意事项

    本文(《朴素集合论》PPT课件.ppt)为本站会员(牧羊曲112)主动上传,三一办公仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知三一办公(点击联系客服),我们立即给予删除!

    温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。




    备案号:宁ICP备20000045号-2

    经营许可证:宁B2-20210002

    宁公网安备 64010402000987号

    三一办公
    收起
    展开