点集拓扑学.docx
- 文档编号:8130607
- 上传时间:2023-01-29
- 格式:DOCX
- 页数:8
- 大小:22.73KB
点集拓扑学.docx
《点集拓扑学.docx》由会员分享,可在线阅读,更多相关《点集拓扑学.docx(8页珍藏版)》请在冰豆网上搜索。
点集拓扑学
点集拓扑学的基本概念
参考文献:
熊金城,点集拓扑讲义(第二版),第二章.
1.度量空间与连续映射首先让我们回忆一下在数学分析中学习过的连续函数的定义,一个函数f:
RR被称为在点x0R处是连续的,如果对于任意实数
0,存在实数0,使得对于任何xR,当xx0时,恒有f(x)f(x0).在这个定义中只涉及两个实数之间的距离(即两个实数之差的绝对值)这个概念;为了验证一个函数在某点处的连续性往往只要用到关于上述距离的最基本的性质,而与实数的其它性质无关.关于多元函数的连续性情形也完全类似.以下我们从这一考察出发,抽象出度量和度量空间的概念.
定义1.1设X是一个集合,:
XXR是映射.如果对于任何
x,y,zX,有
(1)正定性,(x,y)0,并且(x,y)0当且仅当xy;
(2)对称性,(x,y)(y,x);
(3)三角不等式,(x,z)(x,y)(y,z).
则称是X上的一个度量。
若是集合X上的一个度量,则称偶对(X,)是一个度量空间,或称X是一个具有度量的度量空间.当度量早有约定时,或者在行文中已作交代,不提它不至于引起混淆,这时我们就称X是一个度量空间.此外,对于任意两点x,yX,实数(x,y)称为点x和点y之间的距离.
例1.2实数空间R.
对于实数集合R,定义:
RRR如下:
对于任意x,yR,令
(x,y)xy
容易验证是R的一个度量,因此偶对(X,)是一个度量空间.这个度量空间特别地称为实数空间或实直线,这里定义的度量称为R的通常度量,并且常常略而不写,简称R为实数空间.例1.3n维欧式空间Rn.
对于实数集合R的n重笛卡尔集RnRRR,定义:
RnRnR
如下:
对于任意的x(x1,x2,,xn),y(y1,y2,,yn)Rn,令
(x,y)(xiyi)2.
容易验证是Rn的一个度量,因此偶对(Rn,)是一个度量空间.这个度量空间特别地称为n维欧氏空间.这里定义的度量称为Rn的通常度量,并且常常略而不写,而称Rn为n维欧氏空间.2维欧氏空间通常称为欧氏平面或平面.
例1.4Hilbert空间
记H为平方收敛的所有实数序列构成的集合,即:
Hx(x1,x2,)xiR,iN,xi2
i1
定义:
HHR如下:
对任意的x(x1,x2,),y(y1,y2,)H,
(x,y)(xiyi)2
容易验证是H的一个度量,偶对(H,)是一个度量空间,这个度量空间称为Hilbert空间。
这里定义的度量称为H的通常度量,并且常常略而不写,而称H为Hilbert空间.例1.5离散的度量空间设(X,)是一个度量空间.称(X,)是离散的,或者称是X的一个离散度量,如果对于每一个xX,存在一个实数x0使得对于任何yX,(yx),都有(x,y)x.例如我们假定X是一个集合,定义使得对于任何x,yX,有:
(x,y)10,,xxyy;.
0,xy.
容易验证是X的一个离散度量。
因此度量空间(X,)是离散的离散的度量空间或许是我们以前未曾接触过的一类空间,但今后会发现它的性质是简单的.
定义1.6设(X,)是一个度量空间,对于任意给定的实数0,定
义
B(x,)yX(x,y)
B(x,)称为以x为中心,为半径的球形邻域,简称为x的一个-邻域。
定理1.7度量空间(X,)的球形邻域具有以下基本性质:
(1)每一点x至少有一个球形邻域U,并且点x属于它的每一个球形邻域;
(2)对于点x的任意两个球形邻域U,V,存在x的一个球形邻域W同时包含于U与V中;
(3)如果y属于x的某一个球形邻城U,那么y有一个球形邻域
VU.
证明:
(1)设xX,对每一个实数0,B(x,)是x的一个球形邻域,这说明x至少有一个球形邻域;由于(x,x)0,故x属于它的每一个球形邻域。
(2)设B(x,1)和B(x,2)是x的两个球形邻域,任意选取实数0,使
得min{1,2},则易见B(x,)B(x,1)B(x,2),即B(x,)满足要求。
(3)设yB(x,),令1(x,y).显然,10,若zB(y,1),则
(z,x)(z,y)(y,x)1(y,x)
所以zB(x,),这就证明了B(y1,1)B(x,).
定义1.8设A是度量空间X的一个子集.如果A中的每一个点都有一个球形邻域包含于A(即对于每个aA,都存在实数0使得
B(a,)A),那么称A是度量空间X中的一个开集.
例1.9实数空间R中的开区间都是开集.
设a,bR且ab,则开区间(a,b)xRaxb是R中的一个开集。
这是因为
如果x(a,b),令min{xa,bx},则B(x,)(a,b).同样容易证明无限的开区间(a,),(,b),(,)都是R中的开集。
而闭区间[a,b]{xRaxb}却不是R中的开集。
因为对于a[a,b]以及任何0,B(a,)[a,b]都不成立。
类似地,半开半闭区间(a,b],[a,b)以及无限区间[a,)和(,b]都不是R中的开集。
定理1.10度量空间X中的开集具有以下性质:
(1)集合X本身和空集都是开集;
(2)任意两个开集的交是一个开集;
(3)任意一个开集族(即由开集构成的族)的并是一个开集.
证明:
(1)根据定理1.7
(1),X中每个元素x都有一个球形邻域,这个球形邻域当然包含在X中,所以X满足开集的条件;空集中不包含任何一个点,也自然地可以认为它满足开集的条件.
(2)设U和V是X中的两个开集.如果xUV,那么存在x的一个球形邻域B(x,1)包含于U,同时也存在x的一个球形邻域B(x,2)包含于V.根据定理1.7
(2),x有一个球形邻域B(x,)同时包含于B(x,1)和B(x,2),因此:
B(x,)B(x,1)B(x,2)UV
由于UV中的每一点都有一个球形邻域包含于UV,所以UV是一个开集.
(3)设A是一个由X中的开集构成的子集族,如果xA,那么存在A0A使得xA0.由于A0是一个开集,所以x有一个球形邻域包含于A0,显然这个球形邻域也包含于A.这证明A是X中的一个开集.
此外,根据定理1.7,每一个球形邻域都是开集.
为了讨论问题的方便,我们将球形邻域的概念稍稍作一点推广.
定义1.11设x是度量空间X中的一个点,U是X的一个子集.如果存在一个开集V满足条件:
xVU,那么称U是点x的一个邻域.
经过这样的推广以后,邻域就不一定是开集了。
比如:
实数空间中的区间[a,b),除了a点以外,该区间是其中任意一点的邻域。
下面这个定理为邻域的定义提供了一个等价的说法,并且表明从球形邻域推广为邻域是自然的事情.
定理1.12设x是度量空间X中的一个点,则X的子集U是x的一个邻域的充分必要条件是x有某一个球形邻域包含于U.
证明:
如果U是点x的一个邻域,根据邻域的定义,存在开集V使得xVU,又根据开集的定义,x有一个球形邻域包含于V,从而这个球形邻域也就包含于U,这证明U满足定理的条件.反之,如果U满足定理中的条件,由于球形邻域都是开集,因此U是x的邻域.
现在我们把数学分析中的连续函数的概念推广为度量空间之间的连续映射.
首先回忆一下在数学分析中学过的连续函数的定义:
函数f:
RR称为在x0R处是连续的
0,0,使得xR,当xx0时,恒有f(x)f(x0)
0,0,使得xR,当x0xx0时,恒有
f(x0)f(x)f(x0)
0,0,使得x(x0,x0),恒有f(x)(f(x0),f(x0))0,0,使得f(x0,x0)(f(x0),f(x0))
定义1.13设X和Y是两个度量空间,f:
XY是映射且x0X.若
对于f(x0)的任何球形邻域B(f(x0),),都存在x0的某个球形邻域B(x0,)使得
f(B(x0,))B(f(x0),)
则称映射f在点x0处是连续的.
若映射f在X的每一个点x处连续,则称f是一个连续映射.
以上的这个定义是数学分析中函数连续性定义的推广.下面的这个定理是把度量空间和度量空间之间的连续映射的概念推广为拓扑空间和拓扑空间之间的连续映射的出发点。
定理1.14设X和Y是两个度量空间,f:
XY是映射且x0X.则下述条件
(1)和
(2)分别等价于条件
(1)*和
(2)*:
(1)f在点x0处是连续的;
(1)*f(x0)的每一个邻域的原象是x0的一个邻域;
(2)f是一个连续映射;
(2)*Y中的每一个开集的原象是X中的一个开集.
证明:
(1)
(1)*设
(1)成立.令U为f(x0)的一个邻域,由定理1.12,
f(x0)有球形邻域B(f(x0),)包含于U.由于f在点x0处是连续的,故x0有一个球形邻域B(x0,),使得f(B(x0,))B(f(x0),).又
f1(B(f(x0),))f1(U),故B(x0,)f1(U)
这证明f1(U)是x0的一个邻域。
(1)*
(1)设
(1)*成立,则对任意给定的f(x0)的球形邻域B(f(x0),),f1(B(f(x0),))是x0的一个邻域,根据定理1.12,x0有一个球形邻域B(x0,)包含于f1(B(f(x0),)).因此f(B(x0,))B(f(x0,)).这证明f在点x0处连续.
(2)
(2)*设
(2)成立.令V为Y中的一个开集且Uf1(V).xU,我们有f(x)V.由于V是一个开集,所以V是f(x)的一个邻域.由于f在每一点处都连续,故根据
(1)*可知道U是x的一个邻域.于是有包含x的某一个开集Ux使得UxU,易见UUx.由于每一个Ux
xU都是开集,根据定理1.10,我们知道U是一个开集.
(2)*
(2)设
(2)成立.对于任意xX,设U是f(x)的一个邻域,即存在包含f(x)的一个开集VU.从而xf1(V)f1(U).根据
(2)*,我们知道f1(V)是一个开集,所以f1(U)是x的一个邻域,因此对于x而言,
(1)*成立,于是f在点x处连续。
由于点x是任意选取的,所以f是一个连续映射.
2.拓扑空间与连续映射
从上一节定理1.14可以看出:
度量空间之间的一个映射是否是连续的,或者在某一点处是否是连续的,本质上只与度量空间中的开集有关(注意,邻域是通过开集定义的).这就导致我们甩开度量这个概念,参照度量空间中开集的基本性质(定理1.10)建立拓扑空间和拓扑空间之间的连续映射的概念.现在我们遵循这一思路,即从开集及其基本性质(定理1.10)出发来建立拓扑空间的概念.
定义2.1设X是一个集合,T是X的一个子集族.如果T满足如下条件:
(1)X,T;
(2)A,BTABT;
(3)T1T{A:
AT1}T.
那么称T是X的一个拓扑.如果T是集合X的一个拓扑,则称偶对(X,T)是一个拓扑空间,或称集合X是一个相对于拓扑T而言的拓扑空间;或者当拓扑T早已约定或在行文中已有说明而无须指出时,就称集合X是一个拓扑空间。
此外T的每一个元素都叫做拓扑空间(X,T)中的一个开集.
现在我们可以将上述定义中的三个条件与定理2.2.10的三个结论对照一下,将“U属于T”读做“U是一个开集”,便会发现两者实际上是一样的.
现在首先将度量空间纳入拓扑空间的范畴.
定义2.2设(X,)是一个度量空间.令T为由X中的所有开集构成的集族,根据定理2.2.10,T是X的一个拓扑.我们称T为X的由度量诱导出来的拓扑,此外我们约定:
如果没有另外的说明,我们提到度量空间(X,)的拓扑时,指的就是拓扑T;在称度量空间(X,)为拓扑空间时,指的就是拓扑空间(X,T).
度量空间是拓扑空间中最为重要的一类.此外,我们还有其它一些拓扑空间的例子.
例2.3平庸空间.
设X是一个集合.令T=X,,容易验证,T是X的一个拓扑,称之为X的平庸拓扑;并且我们称拓扑空间(X,T)为一个平庸空间.在平庸空间(X,T)中,有且仅有两个开集,即X本身和空集.
例2.4离散空间.
设X是一个集合,令T=2X,即T是由X的所有子集构成的族.容易验证T是X的一个拓扑,称之为X的离散拓扑;并且我们称拓扑空间(X,T)为一个离散空间.在离散空间(X,T)中,X的每一个子集都是开集.
例2.5设X={a,b,c}.令
T={,{a},{a,b},{a,b,c}}
容易验证T是X的一个拓扑,因此(X,T)是一个拓扑空间,这个拓扑空间既不是平庸空间又不是离散空间.
例2.6有限补空间.
设X是一个集合.对于X的每一个子集A,它的补集X-A我们写为A'.令
T=U2X:
U'是有限的
可以验证T是X的一个拓扑,称之为X的有限补拓扑.拓扑空间(X,T)称为一个有限补空间.
例2.7可数补空间.
设X是一个集合.令
T=U2X:
U'是可数的
可以验证T是X的一个拓扑,称之为X的可数补拓扑.拓扑空间(X,T)称为一个可数补空间.
例2.8对于实数集合R来说,我们可以定义五个拓扑,它们是平庸拓扑Tt、离散拓扑Ts、欧氏拓扑Te、有限补拓扑Tf和可数补拓扑Tc.它们的关系是:
一个令人关心的问题是拓扑空间是否真的要比度量空间的范围
更广一点?
换句话就是问:
是否每一个拓扑空间的拓扑都可以由某一
个度量诱导出来?
定义2.9设(X,T)是一个拓扑空间.如果存在X的一个度量使得拓扑T是由度量诱导出来的拓扑,那么称(X,T)是一个可度量化空间.
根据这个定义,前述问题即是:
是否每一个拓扑空间都是可度量化空间?
事实上每一个只含有限个点的度量空间作为拓扑空间都是离散空间.然而一个平庸空间如果含有多于一个点的话,它肯定不是离散空间,因此它不是可度量化的.由此可见,拓扑空间比度量空间的范围要广泛。
进一步的问题是满足一些什么条件的拓扑空间是可度量化的?
这是点集拓扑学中的重要问题之一,以后我们将专门讨论。
现在我们来将度量空间之间的连续映射的概念推广为拓扑空间之间的连续映射.
定义2.10设X和Y是两个拓扑空间,f:
XY.如果Y中每一个开集U的原象f1(U)是X中的一个开集,那么就称f是从X到Y的一个连续映射,或简称映射f连续.
按这种方式定义拓扑空间之间的连续映射,保证了:
当X和Y是两个度量空间时,如果f:
XY是从度量空间X到度量空间Y的一个连续映射,那么它也是从拓扑空间X到拓扑空间Y的一个连续映射,反之亦然。
下面的这个定理尽管证明十分容易,但所指出的却是连续映射的最重要的性质.
定理2.11设X,Y和Z都是拓扑空间.则
(1)恒等映射iX:
XX是一个连续映射;
(2)如果f:
XY和g:
YZ都是连续映射,则gf:
XZ也是连续映射.
证明:
(l)如果U是X的一个开集,则iX1(U)U当然也是X的开集,所以iX连续.
(2)设f:
XY和g:
YZ都是连续映射.如果W是Z的一个开集,由于g连续,g1(W)是Y的开集;又由于f连续,所以f1(g1(W))是X的开集,因此
111
(gf)1(W)f1(g1(W))
是X的开集.这证明gf连续.
在数学科学的许多学科中都要涉及集合和映射,如在线性代数中我们考虑线性空间和线性变换,在群论中我们考虑群和同态.集合论中的一一映射,线性代数中的(线性)同构,群论中的群同构都是较为特殊的一类映射.类似地,在拓扑中我们也给它们一个特殊名称.
定义2.12设X和Y是两个拓扑空间,如果f:
XY是一个双射,并且f和f1都是连续的,则称f是一个同胚映射或同胚.定理2.13设X,Y和Z都是拓扑空间.则
(l)恒同映射iX:
XX是一个同胚;
(2)若f:
XY是一个同胚,则f1:
YX也是一个同胚;
(3)若f:
XY和g:
YZ都是同胚,则gf:
XZ也是一个同胚.根据定理2.13,我们可以说:
在任意给定的一个由拓扑空间组成的族中,两个拓扑空间是否同胚这一关系是一个等价关系.因此同胚关系将这个拓扑空间族分为互不相交的等价类,使得属于同一类的拓扑空间彼此同胚,属于不同类的拓扑空间彼此不同胚.
如果某一个拓扑空间具有某种性质P,那么与其同胚的任何一个拓扑空间也具有性质P,我们就称此性质P是一个拓扑不变性质,也就是说,拓扑不变性质即为同胚的拓扑空间所共有的性质.
拓扑学的中心任务便是研究拓扑不变性质。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 拓扑学