网站大量收购闲置独家精品文档,联系QQ:2885784924

《点集拓扑义》章 集合论初中步 学习笔记.docVIP

《点集拓扑义》章 集合论初中步 学习笔记.doc

此“教育”领域文档为创作者个人分享资料,不作为权威性指导和指引,仅供参考
  1. 1、本文档共23页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
《点集拓扑义》章 集合论初中步 学习笔记

PAGE 22 PAGE 23 《点集拓扑学》 第一章 集合论初步    本章介绍有关集合论的一些基本知识.从未经定义的“集合”和“元素”两个概念出发,给出集合运算、关系、映射以及集合的基数等方面的知识.至于选择公理,只是稍稍提了一下,进一步的知识待到要用到时再阐述.旨在不会过早地陷入繁难的逻辑困惑之中。   这里所介绍的集合论通常称为“朴素的集合论”,如果对集合的理论有进一步的需求,例如打算研究集合论本身或者打算研究数理逻辑,可以去研读有关公理集合论的专著. 即令就朴素集合论本身而言,我们也无意使本章的内容构成一个完全自我封闭的体系,主要是我们没有打算重建数系,而假定读者了解有关正整数,整数,有理数,实数的基本知识,以及其中的四则运算,大小的比较(<和≤),和实数理论中关于实数的完备性的论断(任何由实数构??的集合有上界必有上确界)等,它们对于读者决不会是陌生的.此外,对于通常的(算术)归纳原则也按读者早已熟悉的方式去使用,而不另作逻辑上的处理. §1.1 集合的基本概念   集合这一概念是容易被读者所理解的,它指的是由某些具有某种共同特点的个体构成的集体.例如我们常说“正在这里听课的全体学生的集合”,“所有整数的集合”等等.集合也常称为集,族,类.   集合(即通常所谓的“集体”)是由它的元素(即通常所谓的“个体”构成的.例如正在这里听课的全体学生的集合以正在听课的每一个学生为它的元素;所有整数的集合以每一个整数为它的元素.元素也常称为元,点,或成员. 集合也可以没有元素.例如平方等于2的有理数的集合,既大于1又小于2的整数的集合都没有任何元素.这种没有元素的集合我们称之为空集,记作.此外,由一个元素构成的集合,我们常称为单点集. 集合的表示法:   (1)用文句来描述一个集合由哪些元素构成(像前面所作的那样),是定义集合的一个重要方式.   (2)描述法:我们还通过以下的方式来定义集合:记号 {x|关于x的一个命题P} 表示使花括号中竖线后面的那个命题P成立的所有元素x构成的集合.例如,集合{x|x为实数,并且0x1}即通常所谓开区间(0,1).在运用集合这种定义方式时有时允许一些变通,例如集合{是实数}便是集合{,其中x是实数}的简略表示,不难明白这个集合实际上是由全体非负实数构成的.集合表示方式中的竖线“|”也可用冒号“:”或分号“;”来代替.   (3)列举法:也常将一个集合的所有元素列举出来再加上花括号以表示这个集合.例如{}表示由元素构成的集合.如果确实不至于发生混淆,在用列举的办法表示集合时容许某种省略.例如,有时我们可以用{1,2,3,…}表示全体正整数构成的集合,用{1,3,5,…}表示全体正奇数相成的集合.但我们并不鼓励这种做法,因为后面的规律不是很清楚,容易产生误解.我们再三提请读者注意:不管你用任何一种方式定义集合,最重要的是不允许产生歧义,也就是说你所定义的集合的元素应当是完全确定的.   在本书中,我们用:   表示全体正整数构成的集合,称为正整数集;   Z表示全体整数构成的集合,称为整数集;   Q表示全体有理数构成的集合,称为有理数集;   R表示全体实数构成的集合,称为实数集;   并且假定读者熟知这些集合.   以下是一些常用的记号:   ∈:表示元素与集合的关系,如:x∈X , x∈{x}等   :表示集合与集合的关系,如:AB (等价于)   (这个记号即是通常数学课本中的)   :表示与上述相反的含义.   =:表示两个集合相等,如:A=B(等价于)   以下的这个定理等价于形式逻辑中的相应命题,从直觉着去看也是自明的. 定理1.1.1 设A,B,C都是集合,则   (l)A=A;   (2)若A=B,则B=A;   (3)若A=B,B=C,则A=C. 定理1.1.2 设A,B,C都是集合,则   (l)AA;   (2)若AB,BA,则A=B;   (3)若AB,BC,则AC. 证明 (l)显然.   (2)AB意即:若x∈A,则x∈B;   BA意即:若x∈B,则x∈A.这两者合起来正好就是A=B的意思.   (3)x∈A.由于AB,故x∈B;又由于B C,从而x∈C.   综上所述,如果x∈A就有x∈C.此意即AC.   因为空集不含任何元素,所以它包含于每一个集合之中.由此我们可以得出结论:空集是惟一的.   设A,B是两个集合.如果AB,我们则称A为B的子集;   如果A是B的子集,但A又不等于B,即AB,A≠B,也就是说A的每一个元素都是B的元素,但B中至少有一个元素不是A的元素,这时,我们称A为B的真子集.   我们常常需要讨论以集合作为元素的集合,并且为了强调这一特点,这类集合常称为集族.例如,A={{1},{1,2},{1,2,3}}是

文档评论(0)

panguoxiang + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档