第9章到第12章介绍集合论包含集合.pptVIP

第9章 集 合 第9章到第12章介绍集合论．包含集合、关系、函数和基数．对概念和定理的介绍将以数理逻辑的谓词逻辑为工具来描述，体现了这两个数学分支之间的联系，且可使集合论的研究既简练又严格，还将简要介绍集合论公理系统．这个公理系统又称公理集合论，是数理逻辑的一个分支． 9 ． 1 集合的概念和表示方法9．1． 1 集合的概念 一个模糊定义：集合是一些确定的、可以区分的事物汇聚在一起组成的一个整体，组成—个集合的每个事物称为该集合的一个元素．或简称—个元．(集合论公理系统的一个基本思想是将集合中的元素也描述为集合，这样集合论就可以只关心集合了。) 如果a是集合A的一个元素，就说a属于A，或者说a在A中，记作a∈A， 如果b不是集合A的—个元素，就说b不属于A．或者说b不在A中,记作b?A． 朴素的集合论简单但存在多种悖论，例如例5的罗素悖论。为避免悖论，准确理解，特别应注意以下约束： (1)不自吞：集合的元素可以是任何事物，也可以是另外的集合(以后将说明，集合的元素不能是该集合自身，正则公理指出集合不能自吞p153-154)． (2)不重复：一个集合的各个元素是可以互相区分开的．这意味着，在一个集合中不会重复出现相同的元素． (3)无次序：组成一个集合的各个元素在该集合中是无次序的．(注：有序对也可由集合来表达p135) (4)确定性：任—事物是否属于一个集合，回答是确