点集拓扑学教案.docx

点集拓扑学教案为聊城大学数学科学学院数学与应用数学专业三年级本科生开设点集拓扑课程。按熊金城点集拓扑讲义（第三版，北京：高等教育出版社,2003）第一至七章编写的教案。本科生授课64学时，教学内容与进度安排如下：章节本科生授课主要内容课时数备注拓扑学的起源1一朴素集合论21.1集合、映射与关系11.2无限集1拓扑空间与连续映射21习题课时22.1度量空间与连续映射3不讲附录2.2拓扑空间与连续映射32.3邻域与邻域系2不讲定理2.3.32.4导集、闭集、闭包内部、边界3不讲例2.4.4,定理2.4.82.5内部、边界22.6基与子基2部分证明定理2.6.3,临域基及相关内容在5.1中介绍2.7拓扑空间中的序列2子空间、有限积空间、商空间6习题课时13.1子空间23.2积空间23.3商空间1例3.3.3起不讲四连通性8习题课时14.1连通空间24.2连通性的某些简单应用14.3连通分支14.4局部连通空间24.5道路连通空间1道路连通分支不讲五有关可数性的公理6习题课时15.1第一与第二可数性公理25.2可分空间1.5定理5.2.1不讲5.3Lindeloff空间1.5六分离性公理8习题课时1.56.1T0,T1Hausdorff空间26.2正则、正规、T3J4空间1.5例6.2.2讲部分6.3Urysohn引理和Tietze扩张定理1不讲定理6.3.1,6.3.4的证明6.4完全正则空间，Tychonoff空间16.5分离性公理与子空间、积空间和商空间16.6可度量化空间1定理6.6.1讲部分七紧致性10习题课时17.1紧致性3定理7.1.6讲部分7.2紧致性与分离性公理1引理7.3.2用分析中的结论7.3n维欧氏空间R”中的紧致子集0.57.4几种紧致性以及其间的关系1.57.5度量空间中的紧致性17局部紧致空间，仿紧致空间1定理7.6.8不讲.6第一章朴素集合论点集拓扑学(POint-SetToPoIOgy)现称般拓扑学(GeneraIToPOlogy),它的起源与出发点都是集合论.作为基本的点集拓扑学知识，所需的只是一些朴素集合论的预备知识.本章介绍本书中要用到的一些集合论内容，主要涉及集合及集族的运算、等价关系、映射、可数集、选择公理等.作为一教材，讲义对各部分内容均有较系统的论述，作为授课，我们只强调一些基本内容，而对已有过了解的知识不提或少提.记号:Z,Z+,R,Q分别表示整数集，正整数集，实数集和有理数集.教学重点：集合的基本概念、运算，映射的概念；教学难点：选择公理一.集合的运算事集P(X),交、并U、差一(补，余A',A').运算律:DeMOrgan律:A-(BuC)=(A-B)C(A-C).(2)A-(BnC)=(A-B)U(A-C)A-(BC)=(A-B)U(A-C)利用集合的包含关系证明(1).类似可定义任意有限个集的交或并，如记AlUA25.u=(Al5.2A”)U=Uy,A,=U：A,Ai.规定0个集之并是。，不用0个集之交.二.关系R是集合X的一个关系，即RUXXX,(x,y)wR记为xRy,称X与y是R相关的.R称为自反的，若VxX,xRx;R称为对称的，若xRy,则yRx;R称为传递的，若xRy,yRz,则XRz.等价关系：自反、对称、传递的关系.11,(X)=(x,X)xX,恒同关系，它是等价关系;(x,y)x,yR,x<y,小于关系,它是传递的，但不是对称的、不是自反的.设R是X上等价关系，VxX,X的R等价类或等价类xr或x为yXRy,xr的元称为xr的代表元；商集XR=xRxX.定理1.4.1设R是非空集合X的等价关系，则(1) VxX,Xxr;(2) Vx,yX,或者xr=Mr,或者xRCyh=证(2).设z因rcyk,则ZRxyzRy,于是xRy且xrnyR,于是Mr=yR.三.映射函数：fXY.像：AX,（八）=(x)xA);原像：VBy,1()=xXIf(x)B满射、单射、一一映射(双射)、可逆映射、常值映射、恒同映射、限制力八、扩张、内射%aX集合Xj,i",笛卡儿积X1×X2×.XXh=111,zjx,=xf=(xi,x2.11)xzX,h到第i个坐标集Xj的投射Pj：X->X,定义为P(X)=Xj,其中X=(XI,.对等价关系R,集合X到商集X/R的自然投射pXXR定义为P(X)=xft.四.集族数列Xn=XnLz.,有标集族Ay,指标集,与Ay不同，可记有标集族A=4；类似地,定义其并U-Al（或UA）、交11yAyi（或nA）,不定义。个集的交.与有限集族有相同的运算律，如DeMorgan律A-UyJy=zer-）-zer=Uze/，映射对应的集族性质：/（jzez）=lx.j（aj（u4）=ru（A尸（5鸟）=U，（约），尸（"*，）="J（4）五.无限集通过一一映射来确定两集合的个数的多少.有限集（。或与某H,2,.,n有一一映射）,无限集,可数集S或存在X到Z+的单射）,不可数集.易验证：有限集是可数集，可数集的子集是可数集，可数集的映像是可数集.定理1.7.3X是可数集=X是Z÷的映像.由此,Q是可数集，两可数集的笛卡儿积集是可数集，可数个可数集之并集是可数集.定理1.7.8R是不可数集.利用Cantor对角线法证明开区间（0,1）中的实数不可数.直观上，集合A中元素的个数称为该集合的基数，记为CardA,或A.Z+=,R=c.若存在从集合A到集合B的单射，则定义AB.连续统假设：不存在基数,使得vVc.选择公理：若A是由非空集构成的集族，则AA,可取定e（八）A.由选择公理可证明,若。,夕是基数,则下述三式中有且仅有一成立：a<.a=.a>第二章拓扑空间与连续映射本章是点集拓扑学基础中之基础，从度量空间及其连续映射导入一般拓扑学中最基本的两个概念：拓扑空间、连续映射，分析了拓扑空间中的开集、邻域、聚点、闭集、闭包、内部、边界、基与子基的性质，各几种不同的角度生成拓扑空间，及刻画拓扑空间上的连续性.教学重点：拓扑空间与连续映射,邻域与邻域系；教学难点：基与子基；可度量化空间2.1度量空间与连续映射在R上,x-y表示点X与y之间的距离.绝对值是一非负函数，具有三条重要性质.定义2.1.1设X是一集合，rXxXR如果满足正定性、对称性和三角不等式，则称P是X的一个度量.(X,p)称为度量空间，P(X,y)表示两点,y之间的距离.例2.1.1实数空间R(x,y)=x-y,R的通常度量.例2.1.2n维欧氏空间Rn=R×R×.×R.对于XWR”,记X=(z)<11定义P(Ky)=JX(i-H)2为Rn的通常度量,n维欧Yi=I氏空间.R2称为欧氏平面或平面.例2.1.3Hilbert空间H.H=工=(*,工2，演JX<,Z=I定义p:HXHTRR易证夕为度量则度量空间(”,夕)称为HiIbert空(%,y)p(,y)=J(i-yi)V/=1间.例2.1.4离散度量空间.度量空间(X,p)称为离散的，若x日2>0,使得不存在X中的点ywx,满足p(x,y)<x如对集合X,按如下方式定义：XxXA是X上的离散度量:09x=yp(,y)=l,y定义2.L2设(X/)是度量空间BwG=RcX以“加<.称为以X为心,为半径的球形邻域或邻域,或球形邻域.对(R,I.I),B(x,£)=(X-£,X+£).定理2.1.1度量空间(X，夕)的球形邻域具有性质：VxX,>0,xBx,)xX,y2>0,则三邑>0,满足XeB(x9,3)B(x,.l)nB(x,.2i)(3)若yeB(x,g)Jb>O使5(y,小u5(x,e)；证(2)0<%而可巧，？；6=£_P(X,y)9则6(y,b)UB(X,)定义2.1.3X的子集4称为(X,0)的开集，若A,me>O,使8(x,e)uA.每一球形邻域是开集.例2.1.5R中的开区间是开集.冗(a,Z?)让£=minx-,Z?-x则B(x,)(a,b)同样可证，无限开区也是开集.闭区间a,b不是开集.定理2.1.2度量空间的开集具有以下性质：(1) X。是开集;(2)两开集的交是开集;(3)任意开集族之并是开集.证(1)由定理2.1.1(1);(2),(3)由定理2.1.1(2).定义2.1.4设X是度量空间，xX,U=X,U称为X的邻域，若有开集V,使xVU.定理2.1.3U是X中点X的邻域存在£>0,使B(x,)UU.定义2.1.5设x,y是两度量空间.yxy,°x,称/在/连续，若/(/)的球形邻域8(x0),£),(£>0)存在X0的球形邻域B(x0,),使f(B(x0,)U(x0),£).称/在X连续，若f在X的每一点连续.定理2.1.4设x,y是两度量空间.yxy,/x,那么(1)/在/连续若U是/(XO)的邻域，则/T(U)是/的邻域；(2)/在X连续若U是丫的开集，则/-(U)是X的开集.证(D利用定义2.152.1.4.(2)"(U)是每一点的邻域.“”证每一点连续，利用(1).由此可见，度量空间的连续只与邻域或开集有关.它导入建立比度量空间更般的拓扑空间的概念及其连续性.2.2拓扑空间与连续映射定义221设是集合X的子集族，若T满足：(I)X,r;(2)VA,Br=>AnBr;(3)Vr1,Jr1称汇是X的一个拓扑(X")是拓扑空间，的元称为X的开集.空间X的拓扑是X的全体开集的族.定义222(X,p)度量空间由X的所有开集构成的族.(X,%)称为由度量诱导出的拓扑空间.%简称为度量拓扑.度量空间一定是拓扑空间.例2.2.1平庸拓扑r=X,。平庸空间.例2.2.2离散拓扑汇=P(X).离散空间.X的每一子集是开集.由离散度量空间导出的拓扑是离散拓扑.例2.2.4有限补拓扑r=(7XU'是X的有限子集3。验证T是X上的拓扑.(1)显然.(2)A,BuX,讨论ACB时分两种情形，一是A,B中有一是。，二是A,B都不是。；(3)T