点集拓扑知识点
点集拓扑知识点总结

一、点集拓扑学的基本概念1. 拓扑空间的概念拓扑空间是点集拓扑学中的一个基本概念,它是一个具有一定性质的集合,其定义是一个集合X,以及X的子集族T,称为X上的一个拓扑结构,满足以下条件:(1)空集和全集都属于T(2)任意两个元素的交集属于T(3)任意有限个元素的并集属于T拓扑结构T的元素称为开集,满足这些条件的集合X称为拓扑空间。
2. 拓扑结构的生成拓扑结构可以由邻域系统、基本开集系统或者距离函数生成。
通常我们可以通过指定一组生成元素,然后利用生成元素的运算得到拓扑结构。
3. 连通性连通性是点集拓扑学中一个重要的概念,它描述了集合的整体性质。
一个集合如果可以被分解成两个不相交的非空集合,则称该集合是不连通的;反之,如果一个集合不能被分解成两个不相交的非空集合,则称该集合是连通的。
4. 紧性紧性是一种覆盖性质,描述了集合上开覆盖的性质,一个集合如果任何开覆盖都存在有限子覆盖,则称该集合是紧的。
二、拓扑空间上的映射1. 连续映射拓扑空间之间的映射称为连续映射,一个映射如果满足对于任意开集的原像都是开集,则称该映射是连续的。
2. 同胚映射一个双射且连续的映射称为同胚映射,它描述了两个拓扑空间之间的等同性质。
3. 全局性质全局性质是指拓扑空间中全体元素的性质,例如紧性、连通性等。
1. 度量空间度量空间是一种特殊的拓扑空间,它可以通过度量函数来定义拓扑结构。
度量空间的拓扑结构由度量函数生成。
2. 离散拓扑离散拓扑是一种特殊的拓扑结构,它的开集是所有单点集和空集的组合。
它是最精细的拓扑结构。
3. 有限开拓扑有限开拓扑是一种限制了开集数量的拓扑结构,它适用于有限集的拓扑结构定义。
四、点集拓扑的应用1. 分析学拓扑学在分析学中有广泛的应用,比如连续函数的性质、紧性和连通性对于函数的性质有很大的影响。
2. 几何学拓扑学在几何学中有着举足轻重的地位,比如拓扑不变性理论、同伦理论等都是几何学中重要的研究方向。
3. 应用数学拓扑学在应用数学中有广泛的应用,比如网络结构的分析、信号传输的优化等都涉及到拓扑学的知识。
点集拓扑学拓扑知识点

(点集拓扑学拓扑)知识点————————————————————————————————作者:————————————————————————————————日期:第4章 连通性重要知识点本章讨论拓扑空间的几种拓扑不变性质,包括连通性,局部连通性和弧连通性,并且涉及某些简单的应用.这些拓扑不变性质的研究也使我们能够区别一些互不同胚的空间. §4.1 连通空间本节重点: 掌握连通与不连通的定义.掌握如何证明一个集合的连通与否?掌握连通性的拓扑不变性、有限可积性、可商性。
我们先通过直观的方式考察一个例子.在实数空间R 中的两个区间(0,l )和[1,2),尽管它们互不相交,但它们的并(0,1)U [l ,2)=(0,2)却是一个“整体”;而另外两个区间(0,1)和(1,2),它们的并(0,1)U (1,2)是明显的两个“部分”.产生上述不同情形的原因在于,对于前一种情形,区间(0,l )有一个凝聚点1在[1,2)中;而对于后一种情形,两个区间中的任何一个都没有凝聚点在另一个中.我们通过以下的定义,用术语来区别这两种情形.定义4.1.1设A 和B 是拓扑空间X 中的两个子集.如果∅=⋂⋃⋂)()(A B B A则称子集A 和B 是隔离的.明显地,定义中的条件等价于∅=⋂B A 和 ∅=⋂A B 同时成立,也就是说,A 与B 无交并且其中的任何一个不包含另一个的任何凝聚点.应用这一术语我们就可以说,在实数空间R 中,子集(0,1)和(1,2)是隔离的,而子集(0,l )和[1,2) 不是隔离的.又例如,易见,平庸空间中任何两个非空子集都不是隔离的,而在离散空间中任何两个无交的子集都是隔离的.定义4.1.2 设X 是一个拓扑空间.如果X 中有两个非空的隔离子集A 和B 使得X=A ∪B ,则称X 是一个不连通空间;否则,则称X 是一个连通空间.显然,包含着多于两个点的离散空间是不连通空间,而任何平庸空间都是连通空间. 定理4.1.1设X 是一个拓扑空间.则下列条件等价:(l )X 是一个不连通空间;(2)X 中存在着两个非空的闭子集A 和B 使得A ∩B=∅ 和 A ∪B = X 成立;(3) X 中存在着两个非空的开子集A 和B 使得A ∩B=∅ 和 A ∪B = X 成立;(4)X 中存在着一个既开又闭的非空真子集.证明(l )蕴涵(2): 设(1)成立.令A 和B 是X 中的两个非空的隔离子集使得 A ∪B =X ,显然 A ∩B=∅,并且这时我们有B B B A B B A B X B B =⋂⋃⋂=⋃⋂=⋂=)()()(因此B 是X 中的一个闭子集;同理A 也是一个X 中的一个闭子集.这证明了集合A 和B 满足条件(2)中的要求.(2)蕴涵(3).如果X 的子集A 和B 满足条件(2)中的要求,所以A 、B 为闭集,则由于这时有A =B /和B=A ',因此A 、B 也是开集,所以A 和B 也满足条件(3)中的要求.(3)蕴涵(4).如果X 的子集A 和B 满足条件(3)中的要求,所以A 、B 是开集,则由A =B '和B=A ' 易见A 和B 都是X 中的闭集,因此A 、B 是X 中既开又闭的真(∵A 、B ≠∅,A ∪B=X ,∴A 、B ≠X )子集,所以条件(4)成立.(4)蕴涵(l ).设X 中有一个既开又闭的非空真子集A .令B=A '.则A 和B 都是X 中的非空的闭子集,它们是无交的并且使得A ∪B=X .易见两个无交的闭子集必定是隔离的(因为闭集的闭包仍为自己).因此(l )成立.例4. 1.1 有理数集Q 作为实数空间R 的子空间是一个不连通空间.这是因为对于任何一个无理数r ∈R-Q ,集合(-∞,r )∩Q =(-∞,r]∩Q 是子空间Q 中的一个既开又闭的非空真子集.定理4.1.2 实数空间R 是一个连通空间.证明 我们用反证法来证明这个定理.假设实数空间R 是不连通空间.则根据定理4.1.1,在R 中有两个非空闭集A 和B 使得A ∩B=∅ 和 A ∪B = R 成立.任意选取a ∈A 和b ∈B ,不失一般性可设a <b .令A ~=A ∩[a,b],和B ~=B ∩[a,b].于是A ~和B ~是R 中的两个非空闭集分别包含a 和b ,并且使得A ~∩B ~=∅和A ~∪B ~=[a ,b]成立.集合A ~有上界b ,故有上确界,设为b ~.由于A ~是一个闭集,所以b ~∈A ~,并且因此可见b ~<b ,因为b ~=b 将导致b ∈A ~∩B ~,而这与A ~∩B ~=∅矛盾.因此(b ~,b]⊂B ~.由于B ~是一个闭集,所以b ~∈B ~.这又导致b ~∈A ~∩B ~,也与A ~∩B ~=∅矛盾.定义4.1.3设Y 是拓扑空间X 的一个子集.如果Y 作为X 的子空间是一个连通空间,则称Y 是X 的一个连通子集;否则,称Y 是X 的一个不连通子集.拓扑空间X 的子集Y 是否是连通的,按照定义只与子空间Y 的拓扑有关(即Y 的连通与否与X 的连通与否没有关系.).因此,如果X Z Y ⊂⊂,则Y 是X 的连通子集当且仅当Y 是Z 的连通子集.这一点后面要经常用到.定理4.1.3 设Y 是拓扑空间X 的一个子集,A ,B ⊂Y .则A 和B 是子空间Y 中的隔离子集当且仅当它们是拓扑空间X 中的隔离子集.因此,Y 是X 的一个不连通子集当且仅当存在Y 中的两个非空隔离子集A 和B 使得A ∪B =Y(定义)当且仅当存在X 中的两个非空隔离子集A 和B 使得A ∪B =Y .证明 因为 ))(())(())()(())()(()))((()))((())(())((A B C B A C A Y B C B Y A C A Y B C B Y A C A B C B A C X X X X X X Y Y ⋂⋃⋂=⋂⋂⋃⋂⋂=⋂⋂⋃⋂⋂=⋂⋃⋂因此根据隔离子集的定义可见定理成立.定理4.1.4 设Y 是拓扑空间X 中的一个连通子集.如果X 中有隔离子集A 和B 使得 Y ⊂A U B ,则或者 Y ⊂A ,或者 Y ⊂B .证明 如果A 和B 是X 中的隔离子集使得Y ⊂AUB ,则∅=⋂⋃⋂⋂=⋂⋂⋃⋂⋂⊂⋂⋂⋂⋃⋂⋂⋂)()(()()())(())((A B B A Y A Y B B Y A Y A Y B Y B Y A 这说明A ∩Y 和B ∩Y 也是隔离子集.然而(A ∩Y )∪(B ∩Y )=(A ∪B )∩Y =Y因此根据定理4.1.3,集合A ∩Y 和B ∩Y 中必有一个是空集.如果 A ∩Y=∅,据上式立即可见 Y ⊂B ,如果 B ∩Y = ∅,同理可见Y ⊂A .定理4.1.5设Y 是拓扑空间X 的一个连通子集,Z ⊂X 满足条件Y Z Y ⊂⊂.则 Z 也是X 的一个连通子集.证明 假设Z 是X 中的一个不连通子集.根据定理4.1.3,在 X 中有非空隔离子集A 和B 使得Z=A ∪B .因此 Y ⊂AUB .由于Y 是连通的,根据定理4.1.4,或者Y ⊂A ,∅=⋂=⇒∅=⋂⊂⋂⇒⊂⊂B Z B B A B Z A Y Z或者Y ⊂B,同理,∅=A 。
点集拓扑讲义知识点总结

点集拓扑讲义知识点总结一、拓扑空间基本概念1.1 集合和拓扑空间在点集拓扑学中,最基本的两个概念就是集合和拓扑空间。
集合是元素的无序集合,而拓扑空间是一个集合,其中定义了一种称为拓扑结构的特定结构。
这个结构用来描述集合中元素的“接近”或“相邻”的概念。
1.2 拓扑结构拓扑结构定义了哪些子集被认为是开集,从而为集合赋予了拓扑性质。
具体来说,给定一个集合X,如果满足以下条件:(1)空集和X本身是开集;(2)任意开集的任意并集仍然是开集;(3)有限个开集的任意交集仍然是开集。
那么这个集合X连同其定义的拓扑结构称为一个拓扑空间。
1.3 开集和闭集在拓扑空间中,开集和闭集是两个非常重要的概念。
开集是指每个点都包含在集合内部的集合,闭集则是指包含了其边界的集合。
开集和闭集的性质和运算是拓扑学中的基础。
1.4 拓扑空间的连通性拓扑空间的连通性描述了空间内部的连通性质,一个拓扑空间如果不是两个不相交开集的并,则称为连通的。
连通性质是描述空间整体结构的一种重要方式。
二、拓扑空间的结构和性质2.1 度量空间和拓扑空间度量空间是一种拥有度量的拓扑空间,度量是一种满足一系列性质的函数,用来度量空间中两点之间的距离。
度量空间可以定义一种称为度量拓扑的拓扑结构,这种拓扑结构给出了空间中点的“接近”概念。
2.2 Hausdorff空间Hausdorff空间是指任意两个不同的点都存在不相交的邻域的拓扑空间。
这种空间具有较强的分离性质,能够更好地描述空间中点的位置关系。
2.3 紧空间在拓扑学中,紧空间是指任何开覆盖都存在有限子覆盖的空间。
紧空间具有重要的性质,例如有限覆盖性质和闭性性质,这些性质在分析和拓扑学的研究中有着重要的应用。
2.4 连通空间连通空间是指空间中不存在非空且既开又闭的子集的空间。
换句话说,连通空间是指空间中的点在拓扑上是连续的,没有间断。
这是拓扑空间中另一个极为重要的性质。
2.5 分离性和局部性在拓扑学中,还存在一些描述拓扑空间性质的分离性和局部性定理,包括T0空间、T1空间、T2空间等概念。
拓扑学中的点集拓扑理论

拓扑学中的点集拓扑理论拓扑学是数学中研究空间的性质和结构的学科,而点集拓扑理论则是拓扑学的一个重要分支。
在点集拓扑理论中,我们研究的是点集及其子集之间的联系和性质,并通过定义拓扑空间,引入拓扑结构来研究这些问题。
本文将介绍拓扑学中的基本概念、基本性质以及一些相关应用。
一、基本概念1. 点集在拓扑学中,点集是指由一些点组成的集合。
这些点可以是实数、复数、向量等数学对象,也可以是一般的集合。
我们研究的对象主要是点集及其子集之间的关系。
2. 拓扑空间拓扑空间是指一个集合X以及X上的一个拓扑结构T的有序对(X, T)。
其中,X是点集,T是X上的一些子集构成的集合,满足以下性质:(a)X和空集∅都属于T;(b)任意多个集合的并集属于T;(c)有限个集合的交集属于T。
3. 开集与闭集在拓扑空间中,如果一个集合属于拓扑结构T,则称其为开集;如果一个集合的补集属于拓扑结构T,则称其为闭集。
4. 连通性连通性是指拓扑空间中无法拆分为两个非空、不相交开集的性质。
若一个空间既非空也不是整个空间,则称其为连通的;否则称其为不连通的。
二、基本性质1. 连通性的等价性对于拓扑空间X,以下三个命题是等价的:(a)X是连通的;(b)X中任意两点之间存在连通子集;(c)X中任意两点之间的道路连续子集。
2. 拓扑空间的同胚两个拓扑空间(X, T)和(Y, U)如果存在一个双射f:X→Y,使得f和f的逆映射都是连续映射,则称(X, T)与(Y, U)同胚。
同胚的概念可以理解为两个空间在拓扑结构上完全相同。
三、相关应用1. 图论中的拓扑排序拓扑排序是指对一个有向无环图(Directed Acyclic Graph, DAG)的所有顶点进行线性排序,使得若存在一条从顶点u到顶点v的路径,则在排序中u一定在v之前。
拓扑排序在任务调度、编译顺序以及依赖关系分析等领域有广泛应用。
2. 数据分析中的聚类与分类在数据分析中,将样本点抽象成点集,并通过拓扑结构来描述样本之间的关系。
点集拓扑讲义

连通性和道路连通性
连通性的定义:如果点集中的任意两点都可以通过点集中的一条路径相连则称该点集是连通的。
道路连通性的定义:如果存在一条路径使得点集中任意两点都可以通过这条路径相连则称该点集是道路连通的。
连通性与道路连通性的关系:如果一个点集是连通的那么它一定是道路连通的;反之则不一定成立。
连通性和道路连通性的应用:在几何学、图论等领域中连通性和道路连通性是重要的概念对于研究点集的拓扑性 质和结构具有重要意义。
定理和性质的应用
定理和性质在数学领域中 的应用
在物理问题中的具体应用
在计算机科学中的实际应 用
在其他领域中的应用和推 广
在几何学中的应用
拓扑不变性:点集拓扑学中的概念指在拓扑变换下保持不变的性质。 几何结构:研究几何对象的拓扑性质如连通性、紧致性等。 流形:在点集拓扑学中流形是一类特殊的拓扑空间可以用来研究几何对象的形状和结构。 组合几何:利用点集拓扑学中的方法研究几何形状的组合和构造。
添加标题
同胚:在点集拓扑中如果存在一个从拓扑空间到拓扑空间B的连续映射并且这个映射可以逆向地由一个 从拓扑空间B到拓扑空间的连续映射构成则称拓扑空间与拓扑空间B同胚。
分离公理和紧致性
分离公理:点集拓扑中的基本性质指对于任意两个 不同的点存在一个开邻域不包含另一个点。
紧致性:点集拓扑中的基本性质指一个点集是紧致 的当且仅当它的闭包等于自身。
基的概念:拓扑空间中一个重要的概念是用来定义空间的拓扑结构的。基由若干个开集组成 满足一定的性质。
基的分类:根据基的性质可以将基分为第一类基和第二类基。第一类基是可数的第二类基是 不可数的。
基的性质:基具有连通性、可数性、分离性等性质这些性质对于研究拓扑空间的性质和结构 非常重要。
点集拓扑知识点.doc

点集拓扑知识点【篇一:点集拓扑知识点】第二章拓扑空间 2.1 拓扑空间的概念 2.1.1 拓扑定义2.1.1 的一子集族。
如果t 满足:上的离散拓扑;典型拓扑:余有限拓扑、余可数拓扑、有心拓扑、去心拓扑定义2.1.2 的子空间拓扑或相对拓扑:母空间的开集交上y 即可。
定义2.1.3 ) 是拓扑空间,是x 上的等价关系,等价类的集合为叫商空间。
下面证明上拓扑。
(1)由于拓扑t 对有限交封闭有,,类似地,由拓扑t 对任意并封闭上拓扑。
定理 2.1.1 ;(2)有限并封闭;(3)任意交封闭。
定理 2.1.2 作为子空间的闭集族。
2.1.2 领域系定义2.1.5 的开领域。
定义 2.1.6 是拓扑空间,如果 a内存在x 的领域。
注解:由拓扑定义中,有限交封闭和任意闭封闭,有限开领域(或领域)交集仍为开领域(或领域),任意开领域(或领域)并集仍为开领域(或领域)。
注解:不同的度量可能诱导相同的拓扑;如前面的度量是不同度量,但诱导出相同拓扑。
定义2.1.9 上的拓扑,如果存在x 上的一个度量d,使得 d 的诱导拓扑是可度量化的拓扑。
注解:集合x 上的每个度量可诱导拓扑,但每一拓扑不一定由度量诱导。
例:离散拓扑是可度量化的拓扑,由离散度量诱导,因为单点集是开球;有限拓扑可度量化该拓扑为离散拓扑。
即非离散有限拓扑不可度量化; 2.2 拓扑基和子基 2.2.1 拓扑基在欧式空间中,开球时最简单的开集,而且任何开集可由开球作并运算得到,但在非度量诱导的拓扑空间中没有球的概念,为了弥补这一缺陷,引进拓扑基。
定义2.2.1 的一个拓扑基,而拓扑基的成员叫基开集。
注解:显然t是自己的一个基;如果 b 例:离散拓扑空间,所有单点集构成拓扑基;由度量诱导的拓扑空间,所有开球构成拓扑基,实际上,以有理数为半径的球族也是拓扑基。
给定一集合,下面介绍一种判别它是否是拓扑基的方法:定理2.2.1不是拓扑基。
其实,假设 b 是拓扑不能由 b 中某些成员之并,或者说它不满足上述定理的条件。
点积拓扑讲义知识点总结

点积拓扑讲义知识点总结1. 拓扑空间的定义与性质拓扑空间是一种数学结构,它描述了空间中点的接近程度和连接情况。
拓扑空间包括一个集合X和一个称为拓扑结构的集合T,满足以下性质:(1)全集X和空集∅都属于T;(2)T的任意有限交集仍属于T;(3)T的任意并集仍属于T。
2. 点积拓扑的定义与性质点积拓扑是一种特殊的拓扑空间,定义如下:对于一个集合X和一个集合X上的映射f(x, y),其中x, y∈X,如果它满足以下条件:(1)对于每个x∈X,都有f(x, x)=0;(2)对于每个x, y∈X,都有f(x, y)=f(y, x);(3)对于每个x, y, z∈X,都有f(x, y)+f(y, z)≥f(x, z);则称f(x, y)为X上的一个点积。
定义了点积的X称为点积空间。
3. 点积空间的性质点积空间具有以下性质:(1)对于每个x∈X,有f(x, x)=0;(2)对于每个x, y∈X,都有f(x, y)=f(y, x);(3)对于每个x, y, z∈X,都有f(x, y)+f(y, z)≥f(x, z)。
4. 点积拓扑空间的构造点积拓扑空间的构造包括以下几个步骤:(1)定义点积空间X的集合和点积f(x, y);(2)定义X上的开球B(x, r)={y∈X|f(x, y)<r};(3)使用开球构造X上的开集合。
5. 点积空间的拓扑结构点积空间X上的拓扑结构由以下性质构成:(1)X本身和空集∅都是开集合;(2)X上的任意并集仍是开集合;(3)X上的有限交集仍是开集合。
6. 点积空间的连通性一个点积空间X是连通的,如果X不可表示为X的两个非空开集合的不交并。
换句话说,如果X不能表示为X=U∪V,其中U和V都是X的开集合,且U∩V=∅,则X是连通的。
7. 点积空间的完备性一个点积空间X是完备的,如果X上的柯西序列都收敛。
柯西序列是一种序列,对于任意给定的正数ε,存在一个正整数N,使得对于所有的n, m≥N,都有f(xn, xm)<ε。
点集拓扑知识归纳总结

第二章 拓扑空间2.1拓扑空间的概念2.1.1拓扑定义2.1.1设X 是一集合,T 是X 的一子集族。
如果T 满足:(1),X T ∅∈;(2)有限交封闭;(3)任意并封闭。
则称T 为X 上的一拓扑,而T 的成员叫X 的开集。
例:{},T X =∅叫X 上的平庸拓扑;{}A |A T X =⊆叫X 上的离散拓扑;典型拓扑:余有限拓扑、余可数拓扑、有心拓扑、去心拓扑定义2.1.2 Y 的子空间拓扑或相对拓扑:母空间的开集交上Y 即可。
定义2.1.3 设(X,T )是拓扑空间,∼是X 上的等价关系,等价类的集合为[]{}/|X x x X =∈∼,自然投影:/p X X →∼定义为()[]p x x =。
令(){}1//|T U X p U T −=⊆∈∼∼叫/X ∼上的商拓扑,()/,/T X ∼∼叫商空间。
下面证明/T ∼是/X ∼上拓扑。
(1)由于()1p T −∅=∅∈,()1/p X X T −=∈∼,即,//X T ∅∈∼∼;(2)设/A T ⊆∼为有限集,由于()11U U U A Ap p U −−∈∈⎛⎞=⎜⎟⎝⎠∩∩,且满足()1p U T −∈,由拓扑T 对有限交封闭有,()1U A p U T −∈∈∩,从而U U /AT ∈∈∼∩;(3) /A T ∀⊆∼,由于()11U U A Ap U p U −−∈∈⎛⎞=⎜⎟⎝⎠∪∪,类似地,由拓扑T 对任意并封闭有,()1U A p U T −∈∈∪,从而U /AU T ∈∈∼∪。
综上所述,/T ∼是/X ∼上拓扑。
定理2.1.1设(X,T )是拓扑空间,F 是X 的闭集族,则(1),X F ∅∈;(2)有限并封闭;(3)任意交封闭。
定理2.1.2设(X,T )是拓扑空间,F 是X 的闭集族,Y ⊆ X,则Y |F 是Y 作为子 空间的闭集族。
2.1.2 领域系定义2.1.5设X 是拓扑空间,包含x 的开集叫x 的开领域。
定义2.1.6设X 是拓扑空间,如果A 内存在x 的开领域,则称A 是x 的领域。
点集拓扑知识点总结

点集拓扑知识点总结点集拓扑是数学中一个重要的分支,研究的是空间中的点和点之间的关系。
在点集拓扑中,我们主要关注的是点集之间的连通性、紧致性以及开放性等性质。
本文将从基础概念、连通性、紧致性和开放性等方面对点集拓扑进行总结。
1. 基础概念•点:点集拓扑的基本元素,可以是任意维度的对象,如点、线、面等。
•集合:由多个点组成的集合,可以是有限的也可以是无限的。
•空间:点集拓扑研究的对象,可以是欧氏空间、度量空间等。
•区域:空间中的一个开集,可以是任意维度的对象,如开区间、开球、开盘等。
2. 连通性在点集拓扑中,连通性是一个重要的概念,用来描述一个空间是否可以被分割成多个不相交的部分。
•连通集:一个空间中,如果不存在非空的开集既是它的一个子集,又是它的补集,那么这个空间就是连通的。
•连通分支:一个连通集的极大连通子集称为连通分支。
一个空间可能有多个连通分支。
•非连通集:一个空间中,如果可以被分割成多个不相交的连通集,那么这个空间就是非连通的。
3. 紧致性紧致性是点集拓扑中的另一个重要概念,用来描述一个空间中的点集是否可以被覆盖。
•紧集:一个空间中的点集,如果它的任意开覆盖都存在有限子覆盖,那么这个点集就是紧致的。
•有界集:一个空间中的点集,如果它存在一个有界的开覆盖,那么这个点集就是有界的。
4. 开放性与闭包开放性与闭包是点集拓扑中用来描述点集性质的重要概念。
•开集:在一个空间中,如果一个点集的所有点都是内点,那么这个点集就是开集。
•闭集:在一个空间中,如果一个点集包含了它的所有极限点,那么这个点集就是闭集。
•内点:在一个点集中,如果存在一个开集包含于该点集,那么这个点就是内点。
•极限点:在一个点集中,如果每一个邻域都包含除该点本身之外的点,那么该点就是极限点。
•闭包:一个点集的闭包指的是这个点集加上它的所有极限点。
5. 拓扑空间拓扑空间是点集拓扑的基础,它是由一个点集和该点集上的拓扑结构组成的。
•拓扑结构:一个点集上的拓扑结构由这个点集上的所有开集组成。
点集拓扑学拓扑知识点

第4章 连通性重要知识点本章讨论拓扑空间的几种拓扑不变性质,包括连通性,局部连通性和弧连通性,并且涉及某些简单的应用.这些拓扑不变性质的研究也使我们能够区别一些互不同胚的空间. §4.1 连通空间本节重点: 掌握连通与不连通的定义.掌握如何证明一个集合的连通与否?掌握连通性的拓扑不变性、有限可积性、可商性。
我们先通过直观的方式考察一个例子.在实数空间R 中的两个区间(0,l )和[1,2),尽管它们互不相交,但它们的并(0,1)U [l ,2)=(0,2)却是一个“整体”;而另外两个区间(0,1)和(1,2),它们的并(0,1)U (1,2)是明显的两个“部分”.产生上述不同情形的原因在于,对于前一种情形,区间(0,l )有一个凝聚点1在[1,2)中;而对于后一种情形,两个区间中的任何一个都没有凝聚点在另一个中.我们通过以下的定义,用术语来区别这两种情形.定义4.1.1设A 和B 是拓扑空间X 中的两个子集.如果∅=⋂⋃⋂)()(A B B A则称子集A 和B 是隔离的.明显地,定义中的条件等价于∅=⋂B A 和 ∅=⋂A B 同时成立,也就是说,A 与B 无交并且其中的任何一个不包含另一个的任何凝聚点.应用这一术语我们就可以说,在实数空间R 中,子集(0,1)和(1,2)是隔离的,而子集(0,l )和[1,2) 不是隔离的.又例如,易见,平庸空间中任何两个非空子集都不是隔离的,而在离散空间中任何两个无交的子集都是隔离的.定义4.1.2 设X 是一个拓扑空间.如果X 中有两个非空的隔离子集A 和B 使得X=A ∪B ,则称X 是一个不连通空间;否则,则称X 是一个连通空间.显然,包含着多于两个点的离散空间是不连通空间,而任何平庸空间都是连通空间. 定理4.1.1设X 是一个拓扑空间.则下列条件等价:(l )X 是一个不连通空间;(2)X 中存在着两个非空的闭子集A 和B 使得A ∩B=∅ 和 A ∪B = X 成立;(3) X 中存在着两个非空的开子集A 和B 使得A ∩B=∅ 和 A ∪B = X 成立;(4)X 中存在着一个既开又闭的非空真子集.证明(l )蕴涵(2): 设(1)成立.令A 和B 是X 中的两个非空的隔离子集使得 A ∪B =X ,显然 A ∩B=∅,并且这时我们有B B B A B B A B X B B =⋂⋃⋂=⋃⋂=⋂=)()()(因此B 是X 中的一个闭子集;同理A 也是一个X 中的一个闭子集.这证明了集合A 和B 满足条件(2)中的要求.(2)蕴涵(3).如果X 的子集A 和B 满足条件(2)中的要求,所以A 、B 为闭集,则由于这时有A =B /和B=A ',因此A 、B 也是开集,所以A 和B 也满足条件(3)中的要求.(3)蕴涵(4).如果X 的子集A 和B 满足条件(3)中的要求,所以A 、B 是开集,则由A =B '和B=A ' 易见A 和B 都是X 中的闭集,因此A 、B 是X 中既开又闭的真(∵A 、B ≠∅,A ∪B=X ,∴A 、B ≠X )子集,所以条件(4)成立.(4)蕴涵(l ).设X 中有一个既开又闭的非空真子集A .令B=A '.则A 和B 都是X 中的非空的闭子集,它们是无交的并且使得A ∪B=X .易见两个无交的闭子集必定是隔离的(因为闭集的闭包仍为自己).因此(l )成立.例4. 1.1 有理数集Q 作为实数空间R 的子空间是一个不连通空间.这是因为对于任何一个无理数r ∈R-Q ,集合(-∞,r )∩Q =(-∞,r]∩Q 是子空间Q 中的一个既开又闭的非空真子集.定理4.1.2 实数空间R 是一个连通空间.证明 我们用反证法来证明这个定理.假设实数空间R 是不连通空间.则根据定理4.1.1,在R 中有两个非空闭集A 和B 使得A ∩B=∅ 和 A ∪B = R 成立.任意选取a ∈A 和b ∈B ,不失一般性可设a <b .令A ~=A ∩[a,b],和B ~=B ∩[a,b].于是A ~和B ~是R 中的两个非空闭集分别包含a 和b ,并且使得A ~∩B ~=∅和A ~∪B ~=[a ,b]成立.集合A ~有上界b ,故有上确界,设为b ~.由于A ~是一个闭集,所以b ~∈A ~,并且因此可见b ~<b ,因为b ~=b 将导致b ∈A ~∩B ~,而这与A ~∩B ~=∅矛盾.因此(b ~,b]⊂B ~.由于B ~是一个闭集,所以b ~∈B ~.这又导致b ~∈A ~∩B ~,也与A ~∩B ~=∅矛盾.定义4.1.3设Y 是拓扑空间X 的一个子集.如果Y 作为X 的子空间是一个连通空间,则称Y 是X 的一个连通子集;否则,称Y 是X 的一个不连通子集.拓扑空间X 的子集Y 是否是连通的,按照定义只与子空间Y 的拓扑有关(即Y 的连通与否与X 的连通与否没有关系.).因此,如果X Z Y ⊂⊂,则Y 是X 的连通子集当且仅当Y 是Z 的连通子集.这一点后面要经常用到.定理4.1.3 设Y 是拓扑空间X 的一个子集,A ,B ⊂Y .则A 和B 是子空间Y 中的隔离子集当且仅当它们是拓扑空间X 中的隔离子集.因此,Y 是X 的一个不连通子集当且仅当存在Y 中的两个非空隔离子集A 和B 使得A ∪B =Y(定义)当且仅当存在X 中的两个非空隔离子集A 和B 使得A ∪B =Y .证明 因为 ))(())(())()(())()(()))((()))((())(())((A B C B A C A Y B C B Y A C A Y B C B Y A C A B C B A C X X X X X X Y Y ⋂⋃⋂=⋂⋂⋃⋂⋂=⋂⋂⋃⋂⋂=⋂⋃⋂因此根据隔离子集的定义可见定理成立.定理4.1.4 设Y 是拓扑空间X 中的一个连通子集.如果X 中有隔离子集A 和B 使得 Y ⊂A U B ,则或者 Y ⊂A ,或者 Y ⊂B .证明 如果A 和B 是X 中的隔离子集使得Y ⊂AUB ,则∅=⋂⋃⋂⋂=⋂⋂⋃⋂⋂⊂⋂⋂⋂⋃⋂⋂⋂)()(()()())(())((A B B A Y A Y B B Y A Y A Y B Y B Y A 这说明A ∩Y 和B ∩Y 也是隔离子集.然而(A ∩Y )∪(B ∩Y )=(A ∪B )∩Y =Y因此根据定理4.1.3,集合A ∩Y 和B ∩Y 中必有一个是空集.如果 A ∩Y=∅,据上式立即可见 Y ⊂B ,如果 B ∩Y = ∅,同理可见Y ⊂A .定理4.1.5设Y 是拓扑空间X 的一个连通子集,Z ⊂X 满足条件Y Z Y ⊂⊂.则 Z 也是X 的一个连通子集.证明 假设Z 是X 中的一个不连通子集.根据定理4.1.3,在 X 中有非空隔离子集A 和B 使得Z=A ∪B .因此 Y ⊂AUB .由于Y 是连通的,根据定理4.1.4,或者Y ⊂A ,∅=⋂=⇒∅=⋂⊂⋂⇒⊂⊂B Z B B A B Z A Y Z Θ或者Y ⊂B,同理,∅=A 。
点集拓扑

点集拓扑1、映射与集合运算1.1、集合X 到集合Y 的一个映射f 满足如下条件:①x X ∀∈,()..y Y s t f x y ∃∈=; ②12x x X ∀=∈,有()()12f x f x =。
1.2、集合X 到集合Y 的一个映射f 是满射则:①f 是一个映射;②y Y ∀∈,..x Xs t ∃∈()f x y =或者()f X Y =。
1.3、集合X 到集合Y 的一个映射f 是单射则:①f 是一个映射;②12,x x X ∀∈,如果12x x ≠,则()()12f x f x ≠或者12,x x X ∀∈如果()()12f x f x =那么12x x =。
1.4、设集合X 到集合Y 的一个映射f ,对A X ∀⊂,()y f A ∈..x A s t ⇔∃∈()y f x =。
1.5、设集合X 到集合Y 的一个映射f ,对B Y ∀⊂,()()1x fB f x B -∈⇔∈。
1.6、设集合X 到集合Y 的一个映射f ,对于任意A X ⊂,B Y ⊂,有()()1ff A A -⊃,当映射f为单射时相等;()()1f f B B -⊂,当映射f 为满射时相等。
1.7、在集合X 到集合Y 的映射f 下,A X ∀⊂,B Y ⊂有:①111()()()fA B fA fB ---⋃=⋃;②111()()()f A B f A f B ---⋂=⋂;③111()()()f A B f A f B ----=-。
1.8、在集合X 到集合Y 的映射f 下,A X ∀⊂,B Y ⊂有:①()()()f A B f A f B ⋃=⋃; ②()()()f A B f A f B ⋂⊂⋂,当映射f 为单射时相等;③()()()f A B f A f B -⊃-,当映射f 为单射时相等。
1.9、特殊映射:①恒同映射X i :(),X x X i x x ∀∈=;②投射i p :12n i X X X X X =⨯⨯⨯→ ,对()12,,,n x x x X ∀∈ ,()i i p x x =;③自然投射p :设R 是集合X 的一个等价关系,则映射:Xp X R→,对x X ∀∈,()[][]()RRp x x x x R =表示的等价类。
点集拓扑讲义-104页

例 3. 设 X 为任一集合, Tα α ∈ ∧ 为 X 上的一族拓扑, 令 T = Tα,
α∈∧
则 T 也为 X 上的一个拓扑.
例 4. 设 (X, T ) 为一个拓扑空间, A 为 X 的一个子集, 令
TA = E ∩ A E ∈ T ,
4
第一章 点集拓扑基础
例 5. 令 X = 1, 2, 3, 4, 5 , S = {1}, {2, 3}, {2, 5}, {4, 5} , 则
B1 = {1}, {2}, {5}, {2, 3}, {2, 5}, {4, 5} ,
B2 = {1}, {2}, {5}, {1, 2}, {1, 5}, {2, 3}, {2, 5}, {4, 5}, {1, 2, 3}, {1, 2, 5},
d(P, Q) = (x2 − x1)2 + (y2 − y1)2. 平面上以 P 为中心, r(r > 0) 为半径的开球记为 B(P ; r), 即
B(P ; r) = M (x, y) ∈ R2 d(P, M ) = (x − x1)2 + (y − y1)2 < r .
设 E 为 平 面 上 的 一 个 非 空 子 集, P0(x0, y0) 为 平 面 上 的 一 个 点, 若 存 在 某 个 δ > 0, 使 得 B(P0; δ) ⊆ E, 则 称 P0 为 集 合 E 的 一 个内点. 由 定 义 知, 若 P0 为 E 的内点, 则 p0 必须属于集合 E. 但另一方面, 集合 E 中的点并 不一定都是 E 的内点, 如: 利用有理数及无理数在实数中的稠密性可知, 集 合 E = {M (x, y) x, y ∈ Q} 甚至没有一个内点. 当然也有另一种极端的情形, 即集合 E 中的每个点都是 E 的内点, 我们称这样的集合为开集. 按这样的定义,
点集拓扑关系知识点总结

点集拓扑关系知识点总结1. 拓扑空间拓扑空间是点集拓扑的基础概念,它是一个集合和该集合上的一组子集的组合。
这组子集需要满足一定的性质,使得在这个集合上能定义一种拓扑结构。
具体来说,拓扑空间需要满足以下几个条件:(1)空集和整个集合本身是拓扑空间的子集;(2)有限个开集的交集仍然是开集;(3)任意多个开集的并集仍然是开集。
根据这些性质,我们可以定义一个拓扑空间。
拓扑空间上的这种拓扑结构能够帮助我们研究集合内部的性质,比如连通性、紧性、收敛性等。
2. 连通性在拓扑空间中,我们可以定义连通性,用来描述集合内部的结构。
一个拓扑空间被称为连通的,如果它不是两个不相交的开集的并集。
换句话说,如果一个拓扑空间的任意开集要么是整个空间本身,要么是空集,那么它就是连通的。
连通性是拓扑空间中的一个基本性质,它描述了集合内部的连接程度。
比如在欧几里得空间中的直线、圆周等都是连通的,而两个不相交的点是不连通的。
3. 紧性紧性是拓扑空间的另一个重要性质,它描述了集合上的一种紧凑性。
一个拓扑空间被称为紧的,如果它的任意开覆盖都有有限子覆盖。
也就是说,如果一个拓扑空间上的任意开集族都存在有限个开集,这个有限个开集的并集覆盖了整个空间,那么这个空间就是紧的。
紧性是拓扑空间中的一个重要性质,它和连通性一样,可以帮助我们研究集合内部的结构。
在欧几里得空间中,有界闭区间是紧的,而非有界闭区间则不是紧的。
4. 度量空间度量空间是点集拓扑中的一个重要概念,它是一个集合和该集合上的一种度量的组合。
度量空间上的度量可以帮助我们定义集合上的距离,从而研究集合内部的性质。
度量空间需要满足以下几个条件:(1)非负性:对于任意两个点x和y,它们之间的距离需要大于等于零;(2)同一性:对于任意两个点x和y,它们之间的距离等于零当且仅当x和y是同一个点;(3)对称性:对于任意两个点x和y,它们之间的距离和y和x之间的距离是相等的;(4)三角不等式:对于任意三个点x、y和z,它们之间的距离满足不等式d(x,z) ≤ d(x,y) + d(y,z)。
点集拓扑初步知识

点集拓扑初步知识拓扑学是数学中的一个分支,它研究的是空间和形状的性质,但不关注其度量或者大小。
点集拓扑学就是拓扑学中最基础的分支之一,它研究的是点集的性质和关系。
在点集拓扑学中,点是最基本的对象,可以是任何东西,只要能够被视为一个单独的实体,并且与其他点存在某种关系。
下面是一些点集拓扑学中的基础概念和定义。
1. 拓扑空间拓扑空间是一个元素集合和定义在元素集合上的一组特殊关系的组合。
这些特殊关系可以告诉我们哪些元素是相邻的,哪些元素是集合的一部分。
这些关系被称为拓扑结构,它们定义了集合中元素的位置和连接方式。
在拓扑空间中,元素可以是点、线、平面等等。
2. 邻域邻域是两个点之间存在的一段区域。
如果两个点之间存在一个邻域,那么它们就是相邻的。
邻域的大小和形状不一定相同,可以是一个球形区域,也可以是一个矩形或者一个多边形。
3. 函数函数是拓扑空间中的一种映射。
它可以将一个元素映射为另一个元素。
在点集拓扑中,这些元素通常是点或一些较高维度的对象,如线或平面上的点。
函数有许多不同的类型,例如连续函数、开放函数等等。
4. 连通性连通性是指拓扑空间中的一些点可以通过一些路径(曲线)连接起来。
连通性可以用来描述一个空间的形状和性质。
如果一个拓扑空间是连通的,那么它的所有部分都可以通过一些路径相连。
相反,如果一个空间不是连通的,那么它可以被分成几个相互独立的部分。
5. 闭包闭包是指所有点集内点和边界点的集合。
一个点集和它的闭包具有相同的连通性和一些其他性质。
在点集拓扑中,闭包是十分重要的,因为它可以告诉我们点集内部的性质,以及这些性质如何影响点集外部。
总结点集拓扑学是拓扑学中最基础的分支之一,它研究的是点集的性质和关系。
在点集拓扑学中,点是最基本的对象,可以是任何东西,只要能够被视为一个单独的实体,并且与其他点存在某种关系。
拓扑空间是一个元素集合和定义在元素集合上的一组特殊关系的组合。
这些特殊关系可以告诉我们哪些元素是相邻的,哪些元素是集合的一部分。
拓扑学中的点集拓扑理论

拓扑学中的点集拓扑理论拓扑学是数学的一个分支,研究的是空间和其性质的结构。
在拓扑学中,点集拓扑理论是其基础和核心部分。
本文将介绍点集拓扑理论的基本概念、性质以及其在实际应用中的重要性。
一、基本概念:1. 点集:在拓扑学中,点集是指一组点的集合。
可以是有限的或者无限的,通常用大写字母表示,如A、B、C等。
2. 拓扑空间:拓扑空间是指一个点集,以及其上定义的一个拓扑结构。
拓扑结构由开集构成,满足一定的公理,用T表示。
3. 开集与闭集:在拓扑空间中,开集是指任意给定的点x,都存在一个包含x的开集。
闭集是指开集的补集。
4. 连通性:一个拓扑空间是连通的,如果它不能被分解为两个非空且不相交的开集。
否则,它是非连通的。
二、性质:1. Hausdorff性:一个拓扑空间满足Hausdorff性,如果任意两点都存在不相交的开集分别包含这两点。
2. 紧性:一个拓扑空间是紧的,如果它的任意开覆盖都存在有限子覆盖。
3. 完备性:一个拓扑空间是完备的,如果其中的任意Cauchy序列都收敛于其中的一个点。
三、应用:1. 基础数学研究:点集拓扑理论作为纯数学的一个分支,对于基础数学的研究有着重要的意义。
它与集合论、代数学等学科有着密切的联系,为数学的发展提供了坚实的基础。
2. 物理学应用:点集拓扑理论在物理学领域中有广泛的应用。
比如在凝聚态物理学中,拓扑序在材料的性质研究中起到了关键作用。
拓扑能带理论在凝聚态物理学中的应用也越来越受到关注。
3. 计算机科学应用:点集拓扑理论在计算机科学中也有着重要的应用。
在计算机图形学中,拓扑性质的研究与计算机模型的建立密切相关。
此外,在网络拓扑结构的分析和设计中,拓扑学也发挥着重要的作用。
四、结论:点集拓扑理论作为拓扑学的基础和核心部分,对于基础数学研究以及其在物理学、计算机科学等领域的应用具有重要意义。
通过对点集、拓扑空间、连通性等基本概念的理解,并且熟悉其性质与应用,我们可以更好地掌握和应用拓扑学中的点集拓扑理论。
点集拓扑学知识点总结

点集拓扑学知识点总结点集拓扑学:那些让人又爱又恨的知识点咱就说,学习点集拓扑学就像在神秘森林里找宝藏,有时候感觉近在咫尺,伸手一抓却啥也没有。
今天就来唠唠点集拓扑学的那些知识点。
先说说拓扑空间这个概念吧。
这就好比给一群元素打造一个“小世界”,在这个世界里规定哪些元素关系亲近,哪些又比较疏远。
比如说,咱家里的厨房就是一个拓扑空间(嘿嘿,有点奇怪的比喻哈)。
那些锅碗瓢盆、柴米油盐都在这个空间里。
为啥这么说呢?你看,灶台上的锅和旁边的铲子,它们在做饭这个“活动范围” 里,关系就比较近。
但是和客厅里的沙发比起来,那可就远多了。
这就是一种对元素关系的规定,就像拓扑空间里定义的开集一样,规定了哪些元素组合在一起有特殊的“亲近关系”。
再讲讲基和子基。
这俩概念有点像盖房子的砖头和半块砖头(哈哈,我这比喻可能不太准确,但好理解嘛)。
有了基里的那些元素,就像有了完整的砖头,能搭出房子的基本框架。
子基呢,就像是半块砖头,虽然单个不太能成事,但是组合组合就能变成基,然后构建出整个拓扑空间的结构。
我记得有一次我想自己搭个小书架,我先找来了一些木板,这些木板就像基里的元素。
但是一开始我没有合适的工具把木板裁成合适的大小,那些原始的大木板就有点像子基,经过我的一番努力,把它们加工好,最后成功搭起了书架。
这就和基与子基的关系有点像,从一些基础的东西出发,慢慢构建出完整的结构。
连续映射也是很有趣的知识点。
就好比你给朋友寄快递,你把包裹按照快递站的规定包装好(这就像定义域里的元素满足一定的条件),然后快递经过各种站点运输(这个过程就像映射),最后完好无损地到达朋友手中(这就是在值域里也满足一定的关系)。
有一回我给在外地的朋友寄自己做的小点心,我精心包装,还在包裹上写了各种注意事项。
经过快递的一路“奔波”,朋友收到的时候点心还是好好的。
这就像连续映射一样,从一个地方到另一个地方,保持着一种“连贯性”。
在学习点集拓扑学的过程中,虽然有时候被那些复杂的概念搞得晕头转向,但是一旦想通了这些知识点之间的关系,就像突然找到了宝藏的钥匙。
点集拓扑知识点汇总

点集拓扑知识点汇总点集拓扑学是数学中的一个分支,研究的是集合中的点及其之间的关系。
在这篇文章中,我们将对点集拓扑学的一些基本知识点进行汇总和解释。
1.拓扑空间(topological space):拓扑空间是一个集合,其中定义了开集(open set)的概念。
开集是满足一定条件的子集,在拓扑学中起到了重要的作用。
2.开集(open set):开集是一个拓扑空间中的子集,满足以下条件:对于任意的点x属于开集U,存在一个ε>0,使得以x为中心、半径为ε的开球完全包含在U中。
3.闭集(closed set):闭集是一个拓扑空间中的子集,其补集为开集。
换句话说,闭集包含了它的所有极限点。
4.邻域(neighborhood):邻域是一个点的某个开集的超集。
邻域可以用来描述一个点的局部性质。
5.连通性(connectedness):一个拓扑空间是连通的,当且仅当它不能分解为两个非空不相交的开集。
连通性是拓扑学中的一个基本概念,用来描述一个空间的整体性质。
6.紧致性(compactness):一个拓扑空间是紧致的,当且仅当它的每个开覆盖都有有限子覆盖。
紧致性是一个重要的性质,它能够保证一些重要的结论和定理的有效性。
7.连续映射(continuous mapping):两个拓扑空间之间的映射被称为连续的,如果对于任意的开集V,它的原像的逆映射是一个开集。
8.同胚(homeomorphism):如果两个拓扑空间之间存在一个双射的连续映射及其逆映射也是连续的,那么这两个拓扑空间是同胚的。
同胚可以理解为两个空间之间的“形状”是相同的。
9.分离公理(separation axioms):分离公理是用来描述拓扑空间的一些分离性质的公理。
常见的分离公理有T0公理、T1公理、T2公理等等。
10.基(basis):拓扑空间中的基是一组开集的集合,它可以通过它们的有限交来生成拓扑空间中的所有开集。
基为拓扑学中的许多定理的证明提供了便利。
点集拓扑知识点梳理

点集拓扑知识点梳理点集拓扑是数学中的一个分支,主要研究的是集合上的拓扑结构和性质。
在点集拓扑中,我们关注的是集合中的元素之间的关系,而不关心元素的具体性质。
点集拓扑的研究对象可以是有限集合、无限集合,甚至是无穷集合。
点集拓扑研究的核心概念是拓扑空间。
拓扑空间由一个非空集合和在这个集合上定义的一组特定的性质组成。
这些性质称为开集公理,它们描述了集合中元素之间的开放性。
在点集拓扑中,我们通常关注以下几个重要的概念:1.开集和闭集:在拓扑空间中,开集是指集合中的每个元素都是内点的集合。
闭集则是指集合中包含了所有的极限点的集合。
开集和闭集是拓扑空间中最基本的性质,它们有着重要的性质和相互关系。
2.连通性:一个拓扑空间是连通的,如果它不能被分解成两个非空不相交的开集。
连通性是点集拓扑中一个重要的性质,它可以用来描述集合的整体性质。
3.紧性:在拓扑空间中,紧性是指空间中的任意开覆盖都可以找到有限子覆盖的性质。
紧性是点集拓扑中一个重要的性质,它可以用来描述集合的紧凑性。
4.序列和极限点:在拓扑空间中,序列是指集合中的一组元素按照某种顺序排列而成的。
极限点是指序列中的元素在拓扑空间中趋向于某一点的概念。
序列和极限点是点集拓扑中用来描述元素之间距离关系的重要工具。
5.连续映射:在拓扑空间中,连续映射是指两个拓扑空间之间的映射,它保持了拓扑空间中开集的性质。
连续映射是点集拓扑中一个重要的概念,它描述了元素之间的映射关系。
点集拓扑是数学中一个重要的分支,它不仅在数学研究中有着广泛的应用,而且在其他学科中也有着重要的作用。
在物理学中,点集拓扑可以用来描述物体在空间中的形状和结构;在计算机科学中,点集拓扑可以用来描述计算机网络中的通信和连接关系。
总之,点集拓扑是数学中一个重要的分支,它研究的是集合上的拓扑结构和性质。
在点集拓扑中,我们关注的是集合中元素之间的关系,而不关心元素的具体性质。
点集拓扑的核心概念包括开集和闭集、连通性、紧性、序列和极限点以及连续映射等。
点集拓扑学拓扑知识点

点集拓扑学拓扑知识点第4章连通性重要知识点本章讨论拓扑空间的几种拓扑不变性质,包括连通性,局部连通性和弧连通性,并且涉及某些简单的应用.这些拓扑不变性质的研究也使我们能够区别一些互不同胚的空间.§ 4. 1连通空间本节重点:掌握连通与不连通的定义. 掌握如何证明一个集合的连通与否?掌握连通性的拓扑不变性、有限可积性、可商性。
我们先通过直观的方式考察一个例子.在实数空间R中的两个区间(0, 1)和[1, 2), 尽管它们互不相交,但它们的并(0, 1) U [1, 2)= (0, 2)却是一个“整体”;而另外两个区间(0, 1)和(1, 2),它们的并(0, 1)U (1, 2)是明显的两个“部分”.产生上述不同情形的原因在于,对于前一种情形,区间(0, 1)有一个凝聚点1在[1, 2)中;而对于后一种情形,两个区间中的任何一个都没有凝聚点在另一个中. 我们通过以下的定义,用术语来区别这两种情形.定义4. 1. 1设A和B是拓扑空间X中的两个子集.如果(A B)(B A)则称子集A和B是隔离的.明显地,定义中的条件等价于A B 和B A 同时成立,也就是说,A与B无交并且其中的任何一个不包含另一个的任何凝聚点.应用这一术语我们就可以说,在实数空间R中,子集(0, 1)和(1, 2)是隔离的,而子集(0, 1)和[1 , 2)不是隔离的.又例如,易见,平庸空间中任何两个非空子集都不是隔离的,而在离散空间中任何两个无交的子集都是隔离的.定义4.1. 2设X是一个拓扑空间.如果X中有两个非空的隔离子集A和B使得X=A U B,则称X 是一个不连通空间;否则,则称X是一个连通空间.显然,包含着多于两个点的离散空间是不连通空间,而任何平庸空间都是连通空间.定理4. 1. 1设X是一个拓扑空间.则下列条件等价:(1)X是一个不连通空间;(2) X中存在着两个非空的闭子集A和B使得A A B= 和A U B = X成立;(3)X中存在着两个非空的开子集A和B使得A A B= 和A U B = X成立;(4)X中存在着一个既开又闭的非空真子集.证明(1)蕴涵(2):设(1)成立.令A和B是X中的两个非空的隔离子集使得A UB = X,显然A n B=,并且这时我们有B B X B (A B)(B A)(B B) B因此B是X中的一个闭子集;同理A也是一个X中的一个闭子集.这证明了集合A和B满足条件(2)中的要求.(2)蕴涵(3).如果X的子集A和B满足条件(2)中的要求,所以A、B为闭集,则由于这时有 A = B,和B= A,因此A、B也是开集,所以A和B也满足条件(3)中的要求.(3) 蕴涵(4).如果X 的子集A 和B 满足条件(3)中的要求,所以 A 、B 是开集,则由A = B 和B= A 易见A 和B 都是X 中的闭集,因此A 、B 是X 中既开又闭的真(: A 、B 丰 ,A U B=X , ? ?? A 、B 丰X)子集,所以条件(4)成立.(4) 蕴涵(1).设X 中有一个既开又闭的非空真子集A .令B= A .则A 和B 都是X 中的非空的闭子集,它们是无交的并且使得 A U B=X .易见两个无交的闭子集必定是隔离的(因为闭集的闭包仍为自己).因此(1)成立.例4. 1 . 1有理数集Q 作为实数空间 R 的子空间是一个不连通空间.这是因为对于任何一个无理数r C R-Q ,集合(-8, r) n Q= (―oo, r] A Q 是子空间Q 中的一个既开又闭的非空真子集.定理4. 1. 2 实数空间R 是一个连通空间. 证明我们用反证法来证明这个定理.假设实数空间 R 是不连通空间.则根据定理 4. 1. 1,在R 中有两个非空闭集 A 和B, 一一 .、、 ,一、一一一 .—,一…、一 / L使得A n B= 和A U B = R 成立.任意选取a€ A 和b C B ,不失一般性可设 av b.令A =A n [a,b],和B =B n [a,b].于是A 和目是R 中的两个非空闭集分别包含和A U ?=[a, b]成立.集合A 有上界b,故有上确界,设为所以?€ A ,并且因此可见 ?v b ,因为?=b 将导致be AnL=」一 -、.?、_____ ~ 兰、一―—、兰 .、、兰此(b , b] B .由于B 是一个闭集,所以b C B . N 又导致b C A n B ,也与A n B = 矛盾.定义4.1. 3设Y 是拓扑空间X 的一个子集.如果Y 作为X 的子空间是一个连通空间,则称Y 是X 的一个连通子集;否则,称 Y 是X 的一个不连通子集.拓扑空间X 的子集Y 是否是连通的,按照定义只与子空间 Y 的拓扑有关(即Y 的连通与否与X 的连通与否没有关系.) .因此,如果Y Z X ,则Y 是X 的连通子集当且仅当 Y 是Z 的连通子集.这一点后面要经常用到.定理4. 1. 3设Y 是拓扑空间X 的一个子集,A , B Y .贝U A 和B 是子空间Y 中的隔离子集当且仅当它们是拓扑空间X 中的隔离子集.因此,Y 是X 的一个不连通子集当且仅当存在 Y 中的两个非空隔离子集 A 和B 使得AU B = Y(定义)当且仅当存在 X 中的两个非空隔离子集 A 和B 使得A U B = Y.证明因为(C Y (A) B) (C Y (B) A) ((C X (A) Y) B) ((C X (B) Y) A) (C X (A) (Y B)) (C X (B) (Y A)) (C X (A) B) (C X (B) A)因此根据隔离子集的定义可见定理成立.定理4. 1. 4设Y 是拓扑空间X 中的一个连通子集.如果 X 中有隔离子集 A 和B 使得Y A U B ,则或者 Y A,或者 Y B.证明如果A 和B 是X 中的隔离子集使得 Y AUB ,贝U((A Y) B Y) ((B Y) A Y) (AY B) (B Y A)Y ((AB) (B A)这说明A n Y 和Bn Y 也是隔离子集.然而a 和b,并且使得A n ~ ~ 一 ............b .由于A 是一个闭集,矛盾.因(A n Y) U (Bn Y) = (A U B) n Y = Y 因此根据定理4. 1. 3,集合A n Y和B n Y中必有一个是空集.如果A n Y=,据上式立即可见Y B,如果B n Y = ,同理可见Y A .定理4. 1. 5设Y是拓扑空间X的一个连通子集,Z X满足条件Y Z Y .则Z 也是X的一个连通子集.证明假设Z是X中的一个不连通子集.根据定理 4. 1. 3,在X中有非空隔离子集A和B使得Z=A U B .因此Y AUB .由于Y是连通的,根据定理4.1 . 4,或者YA, Z Y A Z B A B B Z B或者Y B,同理,A 。
《点集拓扑学》期末复习

期末复习学了一个学期的点集拓扑,大家对它应当有了更多的了解,更深刻的认识.大家掩卷回忆一下,点集拓扑学的主要内容有哪些?沿着什么思路研究?研究手法是什么?下面把这几个方面的内容理一下,仅供参考.一、点集拓扑学的主要内容:1.一般拓扑空间:(1)任何点集只要定义了拓扑,就成了拓扑空间.任何拓扑空间中均有开集、基、闭集、闭包.任何点集均可能有凝聚点,任何点均有邻域.指定了顺序的元素就成了序列.(这些名词的定义是什么?相互关系是什么?如何判定?)(2)常见的拓扑空间有:度量空间、平庸空间、离散空间、有限补空间、可数补空间等.任何集合均可通过指定开集而构成上述空间.因此一个集合与不同的拓扑(开集族)配对,可以构成不同的拓扑空间.(实数集合可能成为上述空间吗?)(注意:实数集合与实数空间不同.)(3)一般拓扑空间均可以有子空间,任意有限个拓扑空间均可以构成乘积空间.任一拓扑空间中的一个等价关系均可以造出商空间.(这些空间的拓扑是怎样的?或基是怎样的?)2.有个性的拓扑空间:与连通性有关的空间、各可数性公理空间、各分离性公理空间、与紧致性有关的空间、完备度量空间.(1)并不是任何空间都可以成为上述空间的.只有符合上述空间定义的空间才可以成为上述空间.(各类空间之间没有必然的联系)(2)R及是上述空间吗?(3)若有两个空间,之间通过连续映射联系起来,则原象空间的哪些性质可以传递到象空间?(4)上述空间的哪些性质可以遗传给子空间?(或闭遗传?)(5)上述空间的哪些性质可以是有限可积的?3.连通性:(1)§4.1的所有定义,定理均要掌握.以应对判断一个空间的连通性.(2)两种分支的性质.(3)三种连通性之间的关系.(4)R及的连通性.4.可数性:(1)P.149 图表5.1(2)各空间的性质.(特别,空间中序列的性质及如何构造序列?)(3)哪些常见空间是的?是可分的?Lindeloff的?5.分离性:(1)P.171 图表6.1(2)各分离性空间的定义及等价命题.(3)常见空间及的分离性.(4)中序列的极限点,中点集的凝聚点,正规、完全正则空间与连续映射的关系.(5)遗传性、有限可积性、连续映射的保持性等.6.紧致性:(1)P.191、201、204、208、210、212的图表.(2)各空间的定义及等价命题.(3)紧致性与分离性的关系.(4)紧致、可数紧致的等价命题.(5)中的紧致子集.(6)局部紧致、仿紧致只要求定义与联系图.二、思路:不断剖析,将中的性质作为公理搬到一般拓扑空间中来.考察具备怎样的性质的拓扑空间才能具有与相应的性质.及研究各拓扑空间的性质及这些性质的遗传性、有限可积性、连续映射的保持性、拓扑不变性.三、研究手法:集合的运算与逻辑推理.四、收获收获:复习了这些内容后,对点集拓扑学有何了解?研究目的:研究各拓扑空间的性质及这些性质的遗传性、有限可积性、连续映射的保持性、拓扑不变性.感受:原来具有……性质.提高:对逻辑推理性的证明能力有提高?证明的书写能力有提高?五、几个注意点:1.首先,要熟悉所有的定义、定理的内容.2.涉及度量空间,常利用球形邻域.3.有限个开集的交是开集,任意个开集的并是开集.有限个闭集的并是闭集,任意个闭集的交是闭集.4.一个集合的任意个拓扑的交是拓扑,即使有限个拓扑的并也可能不是拓扑.5.拓扑空间中任意个紧致闭子集的交还是紧致子集.有限个紧致子集的并还是紧致子集.6.拓扑空间与它的子集的连通性各自独立.7.不是连续映射所保持的性质,而是拓扑不变的.但是可遗传的,有限可积的.可分空间不可遗传,但是连续映射所保持的,有限可积的.8.Lindeloff空间闭遗传,不可积,但是连续映射所能保持的.紧致空间闭遗传,但是连续映射所能保持的,有限可积的.9.分离性公理空间不是连续映射所保持的,但是拓扑不变的.除正规空间, 是闭遗传外,其余均可遗传. 除正规空间,不可积外,其余均有限可积.均不可商.10.在中构造序列,可利用在x处的邻域基套,在每个中取一点,.就构成序列11.若涉及到连续映射f:X→Y,总是将X中的子集映到Y,或将Y中的子集反射到X.12.常对一个等式或包含关系式两边同取f或或闭包,并注意利用P.23的习题1,2或P.28的定理1.6.3或P.20的定理1.5.213.要对集族构造一个单调上升或单调下降序列,可令:则分别为单调上升或单调下降序列.14.注意拓扑空间{X*,T*},其中X*=X∪{∞},但T*有两种构造法:P.55的习题9与P.142的例5.2.115.注意定义中的措辞:是任给还是存在(有一个).它的反面是什么?(互为反面)16.注意反证法.。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
点集拓扑知识点【篇一:点集拓扑知识点】第二章拓扑空间 2.1 拓扑空间的概念 2.1.1 拓扑定义2.1.1 的一子集族。
如果t满足:上的离散拓扑;典型拓扑:余有限拓扑、余可数拓扑、有心拓扑、去心拓扑定义2.1.2 的子空间拓扑或相对拓扑:母空间的开集交上y即可。
定义2.1.3 )是拓扑空间,是x上的等价关系,等价类的集合为叫商空间。
下面证明上拓扑。
(1)由于拓扑t对有限交封闭有,,类似地,由拓扑t对任意并封闭上拓扑。
定理2.1.1 ;(2)有限并封闭;(3)任意交封闭。
定理2.1.2 作为子空间的闭集族。
2.1.2 领域系定义2.1.5 的开领域。
定义2.1.6 是拓扑空间,如果a内存在x 的领域。
注解:由拓扑定义中,有限交封闭和任意闭封闭,有限开领域(或领域)交集仍为开领域(或领域),任意开领域(或领域)并集仍为开领域(或领域)。
注解:不同的度量可能诱导相同的拓扑;如前面的度量是不同度量,但诱导出相同拓扑。
定义2.1.9 上的拓扑,如果存在x上的一个度量d,使得d 的诱导拓扑是可度量化的拓扑。
注解:集合x 上的每个度量可诱导拓扑,但每一拓扑不一定由度量诱导。
例:离散拓扑是可度量化的拓扑,由离散度量诱导,因为单点集是开球;有限拓扑可度量化该拓扑为离散拓扑。
即非离散有限拓扑不可度量化; 2.2 拓扑基和子基 2.2.1 拓扑基在欧式空间中,开球时最简单的开集,而且任何开集可由开球作并运算得到,但在非度量诱导的拓扑空间中没有球的概念,为了弥补这一缺陷,引进拓扑基。
定义2.2.1 的一个拓扑基,而拓扑基的成员叫基开集。
注解:显然t是自己的一个基;如果b 例:离散拓扑空间,所有单点集构成拓扑基;由度量诱导的拓扑空间,所有开球构成拓扑基,实际上,以有理数为半径的球族也是拓扑基。
给定一集合,下面介绍一种判别它是否是拓扑基的方法:定理2.2.1 不是拓扑基。
其实,假设b是拓扑不能由b中某些成员之并,或者说它不满足上述定理的条件。
因而可以得到一种判别集合a 是开集的方法:定理2.2.2 给一集合,要求它是拓扑基,找出这个唯一拓扑:定理2.2.3 的一个子集族,则x上存在唯一拓扑t ,根据定理2.2.3知它是r 上某个拓扑的基,称为r 的上限拓扑;类似的有下限拓扑和通常拓扑。
注:通常拓扑比上限拓扑和下限拓扑都粗。
因为开区间是一族半开半闭的并。
维欧式空间r的积空间,即上的积拓扑。
证明:也就是要证明二者的拓扑基相等。
设的基。
根据定理2.2.1判别拓扑基的方法来证,即a a,存在以x为中心,以某个正数r 2.2.2拓扑子基定义2.2.3的子集族,若??的所有有限交构成t 是拓扑t的拓扑子基。
注解:拓扑基一定是拓扑子基;一维欧式空间r 通常拓扑的拓扑子基是所有的形如(a, 的区间构成的集族;二维欧式空间r 通常拓扑的拓扑子基是所有的平行于坐标轴的带形区域(不含边界)所构成的集族。
以这个集族为拓扑子基的拓扑是唯一的。
定理2.2.4 是非空集x的一子集族,则x 上存在唯一拓扑以它为拓扑子基。
生成的基是b={{1},{1,2},{1,3},x},由b 生成的拓扑是={{1},{1,2},{1,3}{1,2,3},,x}。
2.2.3 可数公理定义2.2.4 处的局部基。
例:设(x,d)是度量空间,x 限制为正有理数也可以)。
下面给出一种找点x 局部基的方法:定理2.2.5 的局部基。
也就是说,含x 的所有开领域构成x 的局部基(由领域的定义即得)。
定理2.2.6 注解:证明提示:根据定理2.2.2 和局部基定义。
上面两个定理中,前者从拓扑基中找局部基;后者将所有局部基并起来就构成拓扑基。
定义2.2.6 如果x 的所有点x 处有可数局部基,则称x 是第一可数空间(或注解:第一可数当且仅当每一点有可数开局部基;第二可数空间一定是第一可数空间(根据定理2.2.5);例:由上个例题知,度量空间是第一可数空间;维欧式空间是第二可数的。
因为以有理点为中心、以有理数为半径的球族。
定理2.2.7 ,存在x的可数开局部,称为规范局部基。
证明:设{ 2.3闭包、内部和边界定义2.3.1的每个领域u满足集合a的所有聚点组成的集合叫a 的导集,记为的孤立点;如果存在x 的领域u 使得u 的所有内点构成的集合叫a的内部,记为是不可数的余可数拓扑空间,a是它的不可数子集,则每个局部领域u满足和中将领域换成开领域也行。
特殊地,若x是度量空间,则从而存在x的领域u 仍是x的领域且注解:由上述定理中知,a是闭集;上述两定理中对任意并不一定成立,如上述两定理中对有限交也不一定成立,如a=(-1,0),b=(0,1)定理2.3.4 是包含于a的最大开集;a是包含a 的最小闭集。
注解:说明是包含于a的所有开集之并;a是包含a 的所有闭集之交。
下面是一些常用的集合结论:是拓扑空间x的子空间,a 小结:本章从拓扑定义出发,由度量诱导的拓扑中开球,引出拓扑基、拓扑子基及局部基。
拓扑基与局部基联系在于局部与整体的关系,将整体“打碎”就是局部,将局部“粘”在一起就是整体。
根据“点”与“集合”的关系:聚点、孤立点、边界点和内点,产生了一些新的集合:导集、闭包、边界和内部。
第三章连续映射 3.1 连续映射与同胚 3.1.1 连续映射定义3.1.1 连续。
注:定义中“领域”可换成“开领域”或“局部基领域”或“开局部基领域”。
例:(1)离散拓扑空间任一拓扑空间的任意映射是连续的;(2)任一拓扑空间平庸拓扑空间的任意映射是连续的。
定理3.1.1 注:其实“连续”的定义来源于(2),见教材p27 练习的习题9。
证明中用到的关系:定理3.1.2连续映射的复合映射是连续的,即:如果)为恒等映射,则id 连续的充要条件:都是连续的;证明:的连续性有,x中存在中的领域v,则在y中必存在的连续性有,x中存在x 的领域u 的一领域,得证!(3)商投影与有限积投影都是连续的证明:商投影:设(x,t )为拓扑空间,定义x 上的一个等价关系,从x 到等价类集合的映射为商投影,其中等价类集合中的拓扑为:,此拓扑刚好就是开集的原像是开集。
3.1.2 为映射。
如果f 为开映射(闭映射)。
注:同胚关系为等价关系。
定理3.1.4 是连续的闭映射。
例:同一集合上的两个不同拓扑间的恒等映射id,id 同胚的充要条件:两个拓扑相同。
3.1.3 焊接引理定理3.1.5 是X的闭集+∧有限集,则f连续。
证明:(1)作映射,则此定义的映射是合理的。
假设还存在映射(3)类似地,证任意闭集的原像集是闭集,而闭集对有限并封闭,故要求∧有限集。
注解:引理中(2)中的“开集”条件与(3)中的“有限”条件都不能去掉。
满足焊接引理条件,因此定义,在(0,1]上为恒等映射,在 3.2由函数诱导的拓扑、任意积拓扑 3.2.1 函数诱导的拓扑定义3.2.1设{ 为一族映射。
把所有y 中的开集的原像集作一集族,以这一集族为拓扑子基的拓扑就叫由函数族{ 诱导的拓扑,其中这一集族叫做这一拓扑的定义子基。
回顾:拓扑子基:设x 为一拓扑空间,拿出所有开集的一部分构成a,如果a 注解:3.1节讲述的是给定两个拓扑空间,再做一映射,判断这一映射是否是连续的;而本节中“由函数诱导的拓扑”是确定的拓扑使函数连续。
定理 3.2.1 为一族映射,t是由函数族{ 都连续的最粗拓扑。
证明:由“函数诱导的拓扑”定义知,开集的原像为拓扑子基的元素,当然连续。
,则由此函数族诱导的拓扑是离散拓扑。
由常值函数诱导的拓扑为平庸拓扑。
由积空间上的投影映射诱导的拓扑为积拓扑仿照有限积,可以看成积空间,也可看成欧式度量空间。
同样任意多个拓扑空间也有积空间,也可看成某度量的度量空间(即一致拓扑空间)。
3.2.2 任意多个拓扑空间的积空间定义3.2.2 为基的拓扑box 为拓扑子基的拓扑prod 叫积拓扑。
注:由定义,积拓扑是由投射族诱导的拓扑,这就与 3.2.1 挂上勾了。
另外,箱拓扑可以这样理解:比如三维空间,箱拓扑基开集看起来像“箱子”。
定理 3.2.2 设任意积空间的拓扑基是中可以任意取,得证!注解:(1)对有限积空间而言,积拓扑与箱拓扑一致;(2)积拓扑比箱拓扑要粗;(3)积拓扑是使所有投射都连续的最粗拓扑。
定理 3.2.3 为积拓扑空间,y为任意拓扑空间,连续。
证明:只需证充分性,的关于箱拓扑的一领域,而r中不存在t=0 的领域u 上的一致度量与一致拓扑定义3.2.3 时,就是全空间,因为一致度量的最大值为1;当时,就是开正方形。
同样地,对于一致拓扑箱拓扑的原因。
定理3.2.5 上,积拓扑一致拓扑箱拓扑。
证明:思路:需证在一致拓扑当中有比积拓扑基开集更小的开集。
定义3.3.1 映射来表示;映射定义3.3.2 ,若a的任意领域U,存在自然数N,使得当n 注解:数分中极限唯一,但拓扑空间并不一定唯一,如平庸拓扑空间X的任意序列收敛于空间中任意点,即lim 如果拓扑空间x中的序列为了便于操作,将上述定义进行改进如下:定义3.3.3 中,则称序列的尾部是a。
注解:尾部在a的每个局部基领域内。
序列的尾部是a,仅能知道a是序列的一个极限,但不能说明序列只有一个极限a,如平庸拓扑的任意序列。
例:余可数拓扑空间x 中序列收敛于a的充要条件:该序列尾部是a。
证明:注解:之所以有这样的结论在于序列是一可数集合。
从而可知余可数拓扑空间X中序列的极限唯一。
下面给出另一个极限唯一的拓扑空间。
定义 3.2.4 设X是拓扑空间,如果对X中任意不同两点,分别存在领域,使得这两个领域不相交,称x 是hausdorff 空间或者中通常拓扑空间是hausdorff空间;多于一点的平庸拓扑空间不是hausdorff 空间。
定理3.3.1(1)hausdorff 空间x 中收敛序列的极限唯一;是第一可数的+x中收敛序列的极限唯一,则x 是hausdorff 空间。
证明:回顾第一可数拓扑空间:如果x 的每一点处有可数局部基。
由定理2.2.9 ,称为规范局部基。
(1)假设是X的收敛序列,且有两个不同的极限a和b,由于X是hausdorff 空间,则分别存在a和b的开领域U和V,使得U,V不相交,另外,的尾部在U中,又在V中,矛盾!(2)(反证法)假设不是hausdorff 空间,则存在有两个极限a,b,矛盾!注解:定理中“x 为第一可数的”不能去掉,如不可数集x 的余可数拓扑空间,其极限是唯一的,但它不是第一可数的(证明:假设在点的领域v,使得盾!)此时有x不是hausdorff 空间,因为任意开集必相交。
应用一:用序列的极限来刻画第一可数空间的闭包,从而断定它是不是闭集。
定理3.3.2 收敛于p。
因为对p的任意领域u 可以用可数规范局部基(可数渐缩)的并表示,从而有某,由(1)的充分性,lim (充分性)设对a内任意序列注解:定理中“x为第一可数的”不能去掉,仍然是不可数集x 的余可数拓扑空的不可数真子集,由于a的闭集只能是可数子集或x,则a 不是闭集,但a 内任一序列的极限唯一,即此序列的尾部是此极限,从而有(2)中结论。