拓扑空间的紧性
- 格式:pdf
- 大小:2.55 MB
- 文档页数:8
Sigma紧的拓扑空间是一种特殊的拓扑空间,具有紧性。
在数学中,紧性是一个重要的概念,用于研究空间的性质和行为。
对于sigma紧的拓扑空间,它是紧空间的一种推广,能够处理更复杂的空间结构和性质。
具体来说,sigma紧的拓扑空间具有以下性质: 1. 有限覆盖性质:对于任意一个开覆盖,存在有限的子覆盖。
这意味着存在有限个开集,它们的并集能够覆盖整个空间。
2. 正规性:每个sigma紧的拓扑空间是正规的,这意味着任意两个不交闭集都可以被有限个开集分离。
3. 分离性:sigma紧的拓扑空间满足T_1分离性,即对于任意两个不同的点,存在一个开集只包含其中一个点。
4. 局部紧性:每个点都有一个紧邻域。
这意味着每个点附近存在一个紧的子空间。
5. 序列紧性:对于任意一个序列,存在一个收敛的子序列。
这意味着空间中的序列是相对紧的。
总之,sigma紧的拓扑空间是一种具有紧性的特殊拓扑空间,具有一系列重要的性质和行为。
这些性质有助于深入了解空间的性质和行为,并应用于不同的数学领域和实际问题中。
拓扑学中的完备空间与紧性拓扑学是数学的一个分支,研究空间及其性质的学科。
在拓扑学中,完备空间与紧性是两个非常重要的概念。
本文将介绍完备空间和紧性的定义、性质以及它们在拓扑学中的应用。
一、完备空间完备空间是指具有某种度量的空间,在这个度量下,所有的柯西序列都有极限。
柯西序列是指一个序列,对于任意给定的正数ε,存在一个正整数N,使得序列中所有下标大于N的项的距离都小于ε。
完备空间可以用来描述序列的连续性和极限的存在性。
完备空间的定义可以扩展到一般的度量空间和赋范空间。
对于度量空间来说,完备性是指该空间中的任意柯西序列都收敛于该空间内的某个点。
对于赋范空间来说,完备性也是指该空间中的任意柯西序列都收敛于该空间内的某个点。
完备空间的一个重要性质是,任何收敛序列在完备空间中都有极限。
这个性质对于研究序列的极限和连续函数的性质非常有用。
例如,在实数轴上,任何收敛序列都有极限,所以实数轴是一个完备空间。
二、紧性紧性是指给定一个拓扑空间,若其每个开覆盖都有有限子覆盖,那么该拓扑空间是紧的。
换句话说,紧性是一种性质,用于描述拓扑空间中点集的紧凑性和有限性。
在拓扑学中,紧性是一种非常重要的概念,它与连续性、紧致性以及有界性有密切的联系。
紧性有许多等价的定义。
其中一种定义是:若拓扑空间的每个无穷开覆盖都存在有限子覆盖,则该空间是紧的。
紧性的一个重要性质是,闭子空间的紧性是继承于父空间的。
也就是说,若给定一个紧空间,其闭子空间也是紧的。
这一性质使得紧性在拓扑学的研究中非常有用。
三、完备空间与紧性的关系在一些特定的情况下,完备空间与紧性之间存在一定的关联。
例如,完备的度量空间上的闭子集一定是紧的。
这个结论可以通过证明闭子集的柯西序列在该子集中有极限来得出。
此外,如果一个拓扑空间是完备的且紧的,那么根据Heine-Borel定理,该空间是有界闭集。
这个定理在分析学中有着重要的应用。
四、应用举例完备空间与紧性在拓扑学、函数分析、实变函数等领域有广泛的应用。
拓扑学中的紧致性与连续映射拓扑学是数学的一个分支,研究空间中的点与集合之间的关系。
在拓扑学中,紧致性和连续映射是两个重要的概念。
本文将介绍紧致性和连续映射的基本概念、性质以及它们在拓扑学中的应用。
一、紧致性紧致性是拓扑学中的一个重要概念。
在数学中,我们常常需要考察一个集合是否具有紧致性,这可以通过以下方式来定义:定义:一个拓扑空间X是紧致的,如果它的每一个开覆盖都存在有限子覆盖。
上述定义可以进一步说明紧致性的特点:对于一个拓扑空间X的任意开覆盖,我们都可以从中选取有限个开集,使得它们覆盖整个X。
这也就是说,拓扑空间X的任何开覆盖都存在有限子覆盖。
紧致性的一个重要性质是有限覆盖性质。
有限覆盖性质指的是对于任意的紧致拓扑空间X和它的一个开覆盖,都存在有限子覆盖。
这个性质在拓扑学的证明中经常被使用。
紧致性在实际问题中有广泛的应用。
例如,在实分析中,根据有界闭区间上的最值定理可以得到最大最小值的存在性,这是基于紧致性的结果。
二、连续映射连续映射是拓扑学中另一个基本概念。
在数学中,我们通常研究两个拓扑空间之间的映射,而其中的连续映射是一类特殊的映射。
定义:设X和Y是两个拓扑空间,f:X→Y是一个映射。
如果对于Y中任意的开集V,其原像f^(-1)(V)是X中一个开集,那么称映射f是连续的。
简而言之,连续映射是指原空间中的开集在映射后保持开集性质。
连续映射有一些基本的性质。
首先,对于任意的拓扑空间X,其自身上的恒等映射是连续的。
其次,连续映射的合成仍然是连续的。
此外,如果X和Y分别是紧致拓扑空间,那么连续映射f:X→Y将紧致集映射为紧致集。
三、紧致性与连续映射的关系紧致性和连续映射之间有着紧密的关系。
事实上,连续映射保持紧致性,即原空间中的紧致集在映射后仍然是紧致的。
定理:若f:X→Y是一个连续映射,其中X是紧致空间,那么f(X)在Y中是紧致的。
这个定理说明了连续映射对于紧致空间的映射性质。
通过连续映射,我们可以将一个紧致空间映射为另一个紧致空间。
拓扑学中的完备空间与紧性拓扑学是数学中的一个分支,研究的是空间中的点集之间的开放集和闭合集的性质。
在拓扑学中,完备空间和紧性是两个重要的概念。
完备空间指的是一个度量空间中的某种性质,而紧性则是一个拓扑空间中的性质。
接下来将分别介绍完备空间和紧性这两个概念。
首先是完备空间。
在拓扑学中,完备空间通常指的是某个度量空间中的一个特定性质。
一个度量空间如果任何柯西序列都收敛于该度量空间中的某个点,那么这个度量空间就是完备的。
以实数轴R为例,实数轴上的柯西序列对应的实数序列若收敛于实数轴上的某一点,则该实数轴就是完备的。
完备度量空间在数学分析中有着重要的应用,比如完备空间上的柯西序列必收敛等性质。
完备空间的概念是对度量空间连续性与连续性程度的一种衡量。
接着是紧性。
紧性是拓扑学中一个重要的性质,一个拓扑空间如果满足以下条件,则称之为紧空间:对于该空间的任意开覆盖,都存在有限的子覆盖。
也就是说,对于任意开覆盖,都可以从中选取有限个开集,使得这些开集覆盖整个空间。
紧性是一种局部紧致性的一种推广,它是一种对空间整体性质的度量。
紧性的概念在分析学、代数学以及拓扑学中有着广泛的应用,比如紧性空间上的有限覆盖引理、Tychonoff定理等是紧性概念的重要应用。
综上所述,拓扑学中的完备空间和紧性是两个重要的概念,完备空间描述了度量空间的连续性程度,而紧性描述了拓扑空间的整体性质。
这两个概念在数学中有着广泛的应用和重要性,深入理解这两个概念对于深入研究拓扑学及其相关领域具有重要的意义。
拓扑学中的紧性和连通性拓扑学是对空间的一种研究方法,其中最基本的概念是紧性和连通性。
紧性指的是空间中的每一个开覆盖都可以找到一个有限子覆盖,也就是说,紧性是一种关于空间局部有限和全局有限之间的关系。
连通性则是指空间中不存在两个不相交的开集,也就是说,连通性是一种关于空间是否具有单一性的性质。
在拓扑学中,紧性和连通性往往是与拓扑空间的性质密切相关的。
对于紧性,我们可以考虑一个例子:实数轴上的闭区间[0,1]。
这个闭区间可以被认为是一种紧性空间,因为对于任何一个包含[0,1]的开覆盖,我们都可以找到一个有限的子覆盖。
换句话说,我们可以用有限个开区间覆盖整个[0,1]区间,而不需要无限的区间。
同样地,我们也可以考虑一个非紧性空间的例子:无穷大的开区间(0,1)。
对于任何一个包含(0,1)的开覆盖,我们都无法找到一个有限的子覆盖,因为这个区间无限延伸,没有办法用有限个开区间覆盖。
紧性的概念可以被推广到更一般的拓扑空间上。
如果一个空间中的任何开覆盖都有有限子覆盖,那么这个空间就是紧性的。
特别地,一个紧致空间一定是紧性的。
连通性是拓扑学中另一个重要的概念。
连接性是指一个空间中不存在两个不相交的开集。
这个概念可以很自然地推广到路径连通性和可缩性。
路径连通性指的是空间中的任意两个点之间都存在一条路径连接。
如果空间是路径连通的,那么它也是连接的。
可缩性是指空间可以通过连续地变形缩成一个点。
比如,一个拓扑空间如果同构于一个点,则它就是可缩的。
连通性是一个拓扑空间的基本性质。
不连通的空间可以被看作是由若干个连通的部分拼接而成。
因此,如果我们要研究一个空间的性质,首先需要考虑它是否连通。
总之,拓扑学中的紧性和连通性是研究拓扑空间性质的基本概念。
它们在数学中有着广泛的应用,尤其在微积分、代数学、几何学等领域。
通过深入研究这些概念和它们的应用,我们可以进一步加深对拓扑学的理解和掌握。
拓扑学中的完备空间与紧性在拓扑学中,完备空间与紧性是重要的概念。
完备空间指的是对于任意的柯西序列,都存在其极限点在该空间内。
而紧性则是指一个空间的任意开覆盖都存在有限子覆盖。
本文将介绍完备空间和紧性的定义、性质以及它们在拓扑学中的重要性。
一、完备空间的定义与性质在拓扑学中,给定一个度量空间,如果该度量空间中的任意柯西序列都存在收敛的极限点在该空间内,则该度量空间被称为完备空间。
完备空间的定义可以推广到一般的拓扑空间。
完备空间的一个重要性质是:每个无限紧的度量空间都是完备的。
这个性质说明了紧性与完备性的关系。
二、紧性的定义与性质在拓扑学中,给定一个拓扑空间,如果它的任意开覆盖都存在有限子覆盖,则该拓扑空间被称为紧空间。
紧性是一种比较强的性质,它可以推广到度量空间、赋范空间和一般的拓扑空间。
紧性有很多等价的定义,比如有限交性、有限并性、极限点紧性等,它们都可以用来刻画紧性的特征。
紧性的性质也是拓扑学中的重要内容。
有限交的闭集族是紧集,而有限交的闭集族也一定是紧集。
紧集的闭子集也是紧集。
此外,紧空间的连续映射的像也是紧集。
完备空间与紧性是拓扑学中相关而又不完全相同的两个概念。
然而,它们之间存在一定的联系和关系。
首先,每个紧空间是完备的。
这是因为紧性的定义保证了拓扑空间中的每个柯西序列都存在极限点,因此紧空间一定是完备空间。
其次,对于度量空间而言,完备空间一定是紧空间的充要条件是该度量空间是有限维的。
这个结论被称为完备性定理。
四、完备紧空间的例子在拓扑学中,完备紧空间具有很多重要的应用。
以下是几个完备紧空间的例子:1. 实数集实数集是一个完备紧空间。
这是基本的实分析中的定理,由完备性和紧性的定义可得。
2. 完备度量空间通过适当选择合适的度量函数,我们可以构造出很多完备度量空间。
例如,欧几里德空间中的闭球是完备的。
3. 紧致型空间紧致型空间是一类重要的完备紧空间,它在函数空间、测度论等领域有广泛的应用。
例如,连续函数空间中的柯西序列收敛于连续函数空间。
拓扑学中的连通性与紧性的研究拓扑学是一门研究空间性质的学科,其中连通性和紧性是其重要概念之一。
本文将介绍拓扑学中的连通性和紧性的基本概念、性质以及相关研究。
一、连通性的概念与性质连通性是拓扑学中研究空间内部连通程度的属性。
给定一个拓扑空间X,如果X中任意两点都可以通过空间内的路径连续地相连,则称X是连通的,否则称X是不连通的。
连通性的概念可以进一步推广,如道路连通性、区域连通性等。
连通性具有以下性质:1. 连通集的补集是不连通的:若A是连通集,则A的补集A'是不连通的。
2. 连通集与连续映射的像:若f:X→Y是连续映射,且X是连通的,则f(X)也是连通的。
3. 连通集的闭包与内部:连通集的闭包和内部仍然是连通的。
二、紧性的概念与性质紧性是拓扑学中研究空间紧凑性的概念。
给定一个拓扑空间X,如果X中的任意开覆盖都存在有限子覆盖,则称X是紧的。
紧性具有以下性质:1. 紧集的闭子集是紧的:若A是紧集,B是A的闭子集,则B也是紧的。
2. 局部有限的连续映射的像是局部有限集:若f:X→Y是局部有限的连续映射,且X是紧的,则f(X)是Y中的局部有限集。
3. 连续映射下的紧性:若f:X→Y是连续映射,且X是紧的,则f(X)是Y中的紧集。
三、连通性与紧性的关系在拓扑学中,连通性与紧性有一定的关联。
有以下定理可以描述连通性与紧性的关系:定理1:连通紧致集合是连通性与紧性的结合。
证明:假设A是连通紧致集合,我们可以证明A是连通的且紧的。
首先,假设A不连通,则存在开集U、V,满足A⊆U∪V、U∩V=∅且U∩A≠∅、V∩A≠∅。
由于A是紧的,故存在有限子覆盖U1、V1、U2、V2、...、Un、Vn。
如果我们选择U1、U2、...、Un这些开集,则A⊆U1∪U2∪...∪Un,而U1∪U2∪...∪Un∪V1∪V2∪...∪Vn是U∪V的一个开覆盖,矛盾于A的连通性。
因此,A必须是连通的。
其次,假设A不紧,则存在A的一个开覆盖,无有限子覆盖。
点集拓扑学考试题及答案一、选择题(每题4分,共20分)1. 点集拓扑学中,以下哪个概念不是拓扑空间的基本元素?A. 开集B. 闭集C. 连续函数D. 集合答案:D2. 在拓扑空间中,若集合A的补集是开集,则称集合A为闭集。
以下哪个选项不是闭集的特征?A. 包含其所有极限点B. 其内部不一定为空C. 包含其边界点D. 其补集是开集答案:B3. 拓扑空间中的紧性是指什么?A. 每个开覆盖都有有限子覆盖B. 每个闭集都是紧致的C. 每个序列都有收敛子序列D. 每个开集都是连通的答案:A4. 在拓扑空间中,若对于任意两个不同的点x和y,都存在不相交的开集U和V,使得x∈U且y∈V,则称该空间为豪斯多夫空间。
以下哪个选项不是豪斯多夫空间的特征?A. 每个单点集都是闭集B. 任意两个不同的点都可被不相交的开集分开C. 任意两个不同的点都可被不相交的闭集分开D. 任意两个不同的点都可被不相交的邻域分开答案:C5. 拓扑空间中的连通性是指什么?A. 不存在非空的不相交开集的并集B. 空间中任意两点间都存在连续路径C. 空间中任意两点间都存在不相交的开集D. 空间中任意两点间都存在不相交的闭集答案:A二、填空题(每题3分,共15分)1. 拓扑空间中,若对于任意的开集U和V,它们的交集U∩V也是开集,则称该空间具有_________性质。
答案:交换2. 拓扑空间中的连续映射是指,对于任意的开集V,其原像f^(-1)(V)也是开集。
这种映射也被称为_________映射。
答案:同胚3. 在拓扑空间中,若存在一个点x,使得对于任意的开集U包含x,U中都包含不同于x的点,则称该空间为_________空间。
答案:Hausdorff4. 拓扑空间中的紧性等价于每个开覆盖都有_________子覆盖。
答案:有限5. 在拓扑空间中,若对于任意的开集U和V,它们的并集U∪V也是开集,则称该空间具有_________性质。
答案:结合三、简答题(每题10分,共30分)1. 简述拓扑空间中开集和闭集的定义。
tietze定理
Tietze定理是一种数学中的基本定理,它在拓扑学中有广泛的应用。
这个定理可以用来确定一个拓扑空间是否是紧的,或者确定一个连续映射是否是闭的。
Tietze定理的表述如下:
假设X 和Y 是两个拓扑空间,并且f: X →Y 是连续的。
如果对于所有的x ∈X 和所有的开集U ∈X,都存在一个包含x 的开集V ∈X,使得f(V) 是Y 中的开集,那么f 是闭映射。
这个定理的证明需要用到一些拓扑学的基本概念,包括开集、闭集、连续映射等。
Tietze定理的应用非常广泛,它可以用来解决一些拓扑学中的问题。
例如,我们可以使用这个定理来证明一些拓扑空间的紧性。
如果一个拓扑空间满足Tietze 定理的条件,那么这个空间就是紧的。
此外,Tietze定理还可以用来研究连续映射的性质。
如果一个连续映射满足
Tietze定理的条件,那么这个映射就是闭的。
这意味着这个映射会将拓扑空间中的开集映射到另一个拓扑空间中的开集。
Tietze定理是一种非常重要的数学工具,它在拓扑学中有广泛的应用。
紧致空间与连续函数紧致空间与连续函数是实分析中两个重要的概念。
紧致空间指的是一种特殊的拓扑空间,而连续函数则是一种在拓扑空间中定义的函数。
本文将探讨紧致空间与连续函数之间的关系以及它们在数学中的应用。
一、紧致空间的定义和性质紧致空间是一种具有特殊性质的拓扑空间。
对于一个拓扑空间X,如果从X的任意一个开覆盖中可以选取有限多个开集,使得它们的并覆盖整个X,那么X就是一个紧致空间。
换句话说,紧致空间是一种在任意开覆盖下都可以选出有限子覆盖的空间。
紧致空间具有许多重要的性质,其中之一是有限闭集的交仍然是闭集。
这个性质在数学证明中经常被使用到,尤其是在拓扑学和实分析中。
另外,紧致空间还满足Tychonoff定理,即任意多个紧致空间上的直积仍然是紧致的。
二、连续函数的定义和性质在拓扑空间中,连续函数是一种保持拓扑结构的函数。
对于两个拓扑空间X和Y,如果函数f:X→Y满足对于任意开集V⊂Y,它的原像f^(-1)(V)是X中的开集,那么f就被称为X到Y的连续函数。
连续函数具有一些基本性质。
首先,恒等函数是连续函数。
其次,如果f和g都是X到Y的连续函数,那么它们的复合函数g∘f也是连续函数。
此外,如果X和Y是拓扑空间,而f:X→Y是连续函数,并且X是紧致空间,那么f(X)在Y中也是紧致空间。
三、紧致空间与连续函数的关系紧致空间与连续函数之间存在着紧密的联系。
其中一个重要的结果是赋范线性空间上的有界闭集是紧致的。
这个结论可以由泛函分析中的哈尔-巴拿赫定理推导出来。
此外,在实分析中,利用紧致空间的特性可以证明一些重要的定理,比如连续函数的最大值定理和最小值定理。
连续函数在紧致空间中有许多重要的应用。
其中之一是一致连续性定理。
该定理指出,如果X是紧致空间,f:X→R是连续函数,那么f在X上一定是一致连续的。
这个结果在数学分析中有广泛的应用,可以帮助我们研究函数的性质和极限。
四、紧致空间与连续函数的应用举例紧致空间和连续函数在数学的许多领域中都有广泛的应用。
« 久别重逢的 std::bad_alloc MSTC 月刊第三期(十周年特辑) »Klein Bottle拓扑空间的紧性by pluskid, on 2011-07-26, in Mathematics29 comments参加暑期讨论班其中有一场是我讲,第一次这样子讲数学的东西,有点紧张,于是先在这里整理一下。
内容大致是拓扑空间的紧性。
关于空间的紧性,我们在之前的分析中已经见过了:例如在实数轴上的有界闭区间就是典型的紧集,紧集具有很多优良的性质,比如我们知道在有界闭区间上的连续函数一定是一致连续的,并且能取到最大值和最小值。
所以,在将空间的概念推广到一般的拓扑空间之后,我们也希望将紧性这一优良性质也带到拓扑空间中来。
为此,我们需要找到什么是紧集最本质的东西。
在实数轴上的紧集,有如下的一些等价刻画:1. 是有界闭集2. 的任意无限子集必存在极限点3. 中的任意序列必有收敛子列4.的任意开覆盖必有有限子覆盖其中第一条无法在拓扑空间中使用,因为“有界”的概念无法定义。
第二或者第三条曾经被认为是实质性的,但是后来由于Tychonoff 定理,人们发现最后一条才是真正好的定义,因此将其作为拓扑空间紧性的定义,而第二条和第三条分别被叫做“极限点紧(Limit point compact )”和“序列紧(Sequencially compact )”。
下面是正式内容,在给出定义之前,我先给出一个提纲:首先当然是要给出拓扑空间紧性的定义。
接下来当然是会举一些例子,一方面是把枯燥的定义从抽象中拉回来,另一方面也是非常重要的是给出紧空间的存在性的证据,因为定义总是可以随便给的,这样子我可以给出具有任意优良性质的定义来,然而所定义的东西如果是不存在的话,相关的一切性质其实都是空谈。
然后我们将介绍从已有的紧空间构造新的紧空间的方法:包括集合的交、并、补,以及子空间、商空间和积空间——这一系列都是标准套路。
在这里将会出现一个大定理,就是刚才提到的 Tychonoff 定理。
接下来将暂时中断一下,讨论一下稍微具体一点的度量空间中的紧性。
因为度量空间更加具体一些,所以能得到的性质也更丰富一些。
最后我们将简要介绍一些将非紧空间(non-compact space )转化为紧空间(compactification ,紧化)的初步知识。
啊,不过,由于一次报告是两个人一起讲的,这次我大致负责前半部分,因此从度量空间的紧性开始那部分内容就不列在这里了。
定义 1:设是一个集合,它的一族子集如果满足则称为 为 的一个覆盖,或 覆盖 。
特别地,如果 是一个拓扑空间,而且每个 , 都是 中的开集,则称 为 的一个开覆盖。
定义 2:拓扑空间 称为紧的,如果它的任意开覆盖有有限子覆盖。
其实根据这个定义里的描述,也可以看出紧性之所以好的一些端倪了,不精确地说,利用紧性我们可以把无限的东西转化为有限的情况来处理。
我们最熟悉的紧空间的例子应该就是中的闭区间了,在数学分析中已经证明过它是紧的。
其他我们还可以举一些简单的例子,比如:任意由有限点集所构成的拓扑空间是紧的。
因为无论在它上面给怎么样的拓扑,它所有的开集的个数总是有限的,所以任意开覆盖本身就是有限覆盖了。
具有余有限拓扑(cofinite topology )的空间是紧的。
因为假设 是具有 cofinite topology 的空间 的一个开覆盖,从 中任选一个非空的元素 ,由 cofinitetopology 的定义,知道只有有限个元素 ,对于每一个,可以找到一个使得,这样,就是的开覆盖的一个有限子覆盖。
非紧空间的例子也很好举,例如上的区间就不是紧的,因为我们可以构造一个开覆盖,它的任意一个有限子集族总是无法覆盖。
有了基本的例子之后,下面我们来讨论如何从已有的紧空间构造新的紧空间。
从集合的角度来看,构造新的集合常用的操作有 、 ,从空间的角度来看则有子空间()、商空间()、积空间(),下面我们就依次讨论在这些操作下紧性是否能得到保持。
首先是紧空间的交集,因为任意拓扑空间的交集上,最自然的拓扑就是这一系列包含映射所诱导的始端拓扑(Initial Topology ),如果这些拓扑空间互相之间没有什么关系的话,讨论起来就比较复杂了,通常我们会讨论所有要取交的拓扑空间是一个大的拓扑空间的子空间的情况,这个时候它们的交集实际上就是子空间的一种特殊情况,所以我们放到讨论子空间的紧性的时候再讨论。
其次是并集。
任意多个并的情况显然是不对的,例如 上可数个紧集,的并集是本身,并不是紧的。
不过有限个的情况表现还是良好的。
命题 1:若 是空间 的有限个紧子集,则它们的并也是紧的。
证明:记 。
设是 的任一开覆盖,则显然它也是每一个,的开覆盖,因此对于每个,存在的一个有限子集族仍然覆盖。
令则显然 是 的一个有限子集族,并且它仍然覆盖 。
接下来我们讨论拓扑子空间的紧性。
一个紧空间的子空间是否一定是紧的呢?显然不一定,明显的反例是紧空间 的子空间,但是如果限制到闭子集的话,就可以做到了:定理 1:紧空间的闭子集是紧的。
注意这里我们称一个空间的子集是紧的,实际上是在说这个子集配上子空间拓扑之后是一个紧空间。
在证明这个定理之前,我们先给一个方便的验证子空间紧性的判定定理:理:定理 2:设是的子空间,是紧的,当且仅当任意一族覆盖的中的开集包含一个覆盖的有限子族。
这里的意思是说,如果是的子空间,判断的紧性的时候,用中的开集来覆盖还是用中的开集来覆盖都是一样的。
这个定理可以省去我们在验证的时候的一些麻烦。
证明:首先证正向:设是紧的,是一族覆盖的中的开集,则是的一个开覆盖,根据紧性,存在有限子覆盖显然对应的的子族仍然覆盖。
再证反过来,设是的一族开集,它覆盖了,则根据子空间拓扑的定义,对于每个,,存在中的开集使得,因此是一族覆盖的中的开集,由定理假设,它包含一个有限子族仍然覆盖,则对应的是的一个有限子族,并且仍然覆盖,由此得是紧的,即证。
定理 1 的证明:设是紧空间,是的闭子集,是的任一开覆盖,则是的一个开覆盖,由的紧性,存在的一个有限子族仍然覆盖。
如果则将它从中去掉,否则不做任何操作,得到是的一个有限子族,并且它是覆盖的。
证完。
借助子空间紧性的结论,对于刚才提到的紧集的交的紧性,我们可以有这样一个推论:推论 1:设是一个拓扑空间,是的一族紧且闭的子集。
那么它们的交也是紧的。
由任意闭集的交集是闭集,并且这个交集是其中某一个(任意一个)紧集的子集,根据定理 1 立即得到。
接下来我们讨论紧空间的商空间,紧性在这里的表现是很好的,但是我们并不直接给出商空间的紧性,而是叙述一个更一般的结论:定理 3:设是连续映射,是紧空间,那么也是紧的。
由商映射的连续性以及到上性(满射),根据这个定理立即可以得到任意紧空间的商空间仍然是紧的。
证明:设是的一个开覆盖,则由的连续性知是的一个开覆盖。
由的紧性,存在的一个有限子集族仍然覆盖。
则对应的集族是的一个有限子集族并且仍然覆盖。
证完。
由这个定理可以立即得到,如果两个拓扑空间和是同胚的,其中一个紧那么另一个必定也是紧的。
换句话说,紧性是一个拓扑性质。
这样的性质通常可以用来方便地区分两个(在同胚意义下)不同的拓扑空间,因为要证明两个空间同胚,只要找出一个同胚映射就可以了,但是要证明两个空间不同胚,则是要证明不可能有同胚存在,通常是一个更加困难的问题,比较好解决的情况通常都用反证法来做了,就是假设同胚,但是又发现两个空间的某个拓扑性质是不一样,就导出矛盾。
例如,用紧性可以证明球面和平面是不同胚的。
类似地可以证明和是不同胚的。
不过,这里既然提到了同胚和连续映射,就正好也说一下紧空间的好处吧(因为我实在不知道这一小部分内容放在哪里讲比较好了)。
我们知道从上的紧集打出去的连续函数一定是一致连续的,一致连续是比连续要强得多的条件,不过在一般的拓扑空间中并不能方便地定义“一致连续”的概念,不过从紧空间打出去的连续映射仍然具有一些良好的性质:定理 4:设是连续映射,如果是紧空间,是 Hausdorff 空间,则是闭映射。
闭映射是一个很好的东西,例如我们有一个非常直接的推论:推论 2:设是连续的双射,若是紧空间,是 Hausdorff 空间,则是同胚映射。
为了证明定理 4 ,我们再引入另外两个结论,当然它们本身也是相当重要的,因此也是作为定理出现。
首先我们要注意到,在一般的拓扑空间中,紧集不一定是闭的(类比中:有界闭集等价于紧集)。
例如最开始我们举的余有限拓扑空间中,任意集合都是紧的,然而只有有限集才是闭的。
不过,如果加上了 Hausdorff 条件的话,这一点就可以得到保证了:定理 5:Hausdorff 空间中的紧子集是闭集。
这个定理的证明过程本身是比较有用的,因此被抽取出来也作为一个定理:定理 6:设是 Hausdorff 空间中的紧子集,,则存在中互不相交的开集、,使得和。
证明:,由的 Hausdorff 性,存在互不相交的开集和,使得、。
当取遍时,我们得到是的一个开覆盖,根据的紧性,存在的一个有限子集族仍然覆盖。
下面令则和为互不相交的开集,且、。
证完。
定理 5 的证明:设是 Hausdorff 空间中的紧子集,我们现在证明是开集。
对任意的,根据定理 6 ,存在中互不相交的开集、使得、,因此,即证。
定理 4 的证明:任取中的闭集,由的紧性和定理 1 知是紧集,由的连续性和定理 3 知是紧的,再由定理的 Hausdorff 性和定理 5 知是闭的。
即证。
下面我们再回到主线:接下来只剩下积空间的紧性的讨论了。
紧性在这里的表现也是优良的,Tychonoff 定理保证了任意一族紧空间的积空间也是紧的。
这是一个很要紧的地方,因为我们在最开始列了 4 条中紧性的刻画,其中末尾 3 条在度量空间中是等价的,然而在一般的拓扑空间中则不行了,那究竟选哪一条作为紧性的定义呢?正是Tychonoff 定理一锤定音——选择当前的这个定义,可以得到 Tychonoff 定理的结论,而其他的定义则无法做到。
不过,在讲 Tychonoff 定理之前,我们先来看一下有限个紧空间的积空间的紧性。
虽然有限个的情况证明方法和 Tychonoff 中任意积的证明完全不一样,但是有限的情况会引出一个本身也很有用的 Tube Lemma ,所以是不容错过的。
由于有限积可以由两两积归纳得到,并且我们之后会有更加一般的情况,这里只给出两个紧空间的积空间的描述:定理 7:若和是紧空间,则也是紧的。
证明这个定理需要用到下面的 Tube Lemma :定理 8 (Tube Lemma):设和是拓扑空间,其中是紧的,若中的任一开集包含了“切片” ,则存在中的开领域使得也包含在中。
证明过程可以参考下图,图取自 Munkres 的《Topology》证明:首先,由于是开集,对于每一点,存在其开领域,特别地,我们可以取积拓扑中的基开邻域。