第二十一章SECTION1集论和一般拓扑学.docVIP

第二十一章 集论与一般拓扑学 集是近代数学最基本的概念.本章首先介绍集论的公理系统.不过这个系统近来已被证明是不完备的,所以对这里所采取的出发点做了必要的说明(见§1,一的最后).其次介绍集论本身的主要内容─序数与基数理论. 本章另一主要内容是一般拓扑学.这里重点介绍对数学分析特别重要的几种特殊拓扑空间和点集——尺度空间(附一致性结构)、紧致集、联结集，还结合前两者讨论了变换族的点点收敛拓扑、一致收敛拓扑、紧致——开拓扑.最后，介绍流形和微分流形的概念和几个基本的存在定理.代数拓扑的知识不在本章介绍之列（唯一例外是在§6里谈到“单联”的概念），此外，在介绍微分流形的时候没有牵涉到微分几何结构（如切空间）. §1 集(集合) 集的定义 1.集的古典定义 [集与元素] 一些事物的全体叫做一个集,这些事物中的每一个,都称为这个集的(或这个集里的)元素. 如果某种事物只有一个,这个事物假定记做a,那末称这种事物的全体是集{a},a是{a}的唯一的元素. 如果某种事物不存在,就称这种事物的全体是空集.规定任何空集都只是同一个集,记作φ.任何事物都不是φ的元素. 每一个集都是一个事物. [属于与包含] 假定a是集A的元素,记作 aA或Aa “”读作“属于”，“”读作“包含”.假定a不是A的元素，记作 或 “”读作“不属于”，“”读作“不包含”. [定义的注释] {a}和a一般是不同的概念,比如{φ}有一个唯一的元素φ,但是φ没有元素. 和在逻辑上是彼此相否定(非)的,换句话说,假定a是一个事物,A是一个集,那末 aA和aA 不能都成立,也不能都不成立. 假定A和B都是集,如果任何一个事物属于A也一定属于B,属于B也一定属于A,那末A和B是同一个集,或称两个集A和B相等,记作A=B. [集的例子] 假定有一些事物,全部写出来是a,b,c,…,那末由定义,它们的全体是一个集,这个集可以记成{a,b,c,…}.元素符号的次序和重复都无关实质,比如{a,b}={b,a}={a,b,a}. 由定义, φ是一个集,而集是一个事物,所以下列的事物都是集: {φ},{{φ},φ},{{{{φ}},{φ}},{φ}} 又例如,零和正整数可以定义如下: 0 =φ 1 ={0} = {φ} 2 = {0,1}= {φ,{φ}} 3 = {0,1,2} = {φ,{φ},{φ,{φ}}} 4 = {0,1,2,3} …………… [族] 族是集的同义词.在某些情况,比如一个集A的元素都是集的时候,为了避免混淆,也把A叫做一个族或者一个集族. 虽然在近代集论模型中,任何一个集的元素都是集(因为不考虑非集的“事物”)，但是有时使用“族”这个称呼可以表达得更清楚. 族有时也当作量词用.例如把属于一个集族的全部集说成“一族集”. 2. 罗素怪异 上面已经用例子说明怎样用列举元素的办法来表示一个集.但是当一个集的全部元素无法列举的时候,这个集应该怎样表示呢?在集论发展的初期,流行的习惯是把一个集说成是“所有满足某条件的事物的全体”.如果把“某个事物x满足某条件”这句话表示成一个逻辑公式p(x),那末按照所说的这种习惯表示法,一个集可以记作{x|p(x)}或{x:p(x)}(所有使p(x)成立的x的全体).一般往往认为只要所说的条件是明确的,也就是对任何x,p(x)和(非p(x),就是p(x)的否定)有一个且只有一个成立,那末这种表示法是没有问题的.可是实际上并不如此.下面举著名的罗素怪异当例子: 设.如果z是集,那末z也是事物,因此zz和zz不能都成立.假定zz,那末z应该满足所说的条件xx,因此zz,自相矛盾.假定zz,那末z已经满足所说的条件xx,因此zz,又自相矛盾.这就叫罗素怪异. 根据定义的注释,z不是集.因此罗素怪异实际上是错误地假设“z是集”引起的.除了这个形式逻辑上的理由外，对罗素怪异还可做更深入的解释，但是有个根本的问题不好解决，既然{x|xx}不是集，那末别的{x|p(x)}可以算作集吗? 为了回答这个问题,集的概念必须进一步精密化,因此下面介绍公理系统. 3. ZFC公理系统与BNG公理系统 目前集论公理系统有两种形式,一种是策莫洛-弗兰克尔-柯很形式,简称ZFC;另一种是贝尔内斯-诺伊曼-葛德尔形式,简称BNG.这里采用ZFC公理系统. ZFC包括九个公理(有三个显然包含在前面集的定义和定义的注释中),它们是 [外延公理] 即定义的注释. [空集公理] 存在一个不包含任何元素的集. [无序对公理] 对任何事物x和y,存在一个集{x,y},{x,y}的仅有的元素是x和y