【点集拓扑学】§2.7 拓扑空间中的序列.pptVIP

* * §2.7 拓扑空间中的序列 定义2.7.1　设X是一个拓扑空间．每一个映射S: →X，叫做X中的一个序列．我们常将序列S记作 ；或者 ，或者干脆记作 ．有时我们也将记号 简化为{ }，但这时要警惕不要与单点集相混． 定义2.7.2　设 是拓扑空间X中的一个序列，x∈X．如果对于x的每一个邻域U，存在M∈ ,使得当i＞M时有 ∈U，则称点x是序列 的一个极限点(或极限)，也称为序列收敛于x，记作 　　 lim ＝x或 →x(i→∞) 　　如果序列至少有一个极限，则称这个序列是一个收敛序列． 定义2.7.3　设X是一个拓扑空间，S, ： →X是X中的两个序列．如果存在一个严格递增的映射N：→ (即对于任意 ，如果 ，则有N( )＜N( )，使得 ＝ ，则称序列 是序列S的一个子序列． 定理2.7.1　设 是拓扑空间X中的一个序列．则 　　(1) 如果 是一个常值序列，即对于某一个x∈X，有 =x,i∈ ，则lim = x； 　　(2) 如果序列 收敛于x∈X，则该序列 的每一个子序列也收敛于x． 　定理2.7.2　设X是一个拓扑空间，A X, x ∈ X,如果有一个序列 在A-{x}中(此意即，对于每一个i∈ 有 ∈A-{x})，并且收敛于x，则x是集合A的一个凝聚点． 例2.7.1　定理2.7.2的逆命题不成立． 　这个例子表明，在一般的拓扑空间中不能像在数学分析中那样通过序列收敛的性质来刻画凝聚点． 　　定理2.7.3　设X和Y是两个拓扑空间，f:X→Y．则 　　(1) 如果f在点 ∈X处连续，则X中的一个序列 收敛于 蕴涵着Y中的序列 收敛于f( )； 　　(2) 如果f连续，则X中的一个序列 收敛于x∈X蕴涵着Y中的序列 收敛于f(x)． 例2.7.2　定理2.7.3的逆命题不成立． 　此外，在度量空间中，序列的收敛可以通过度量来加以描述． 　　定理2.7.4　设(X，ρ)是一个度量空间， 是X中的一个序列，x∈X．则以下条件等价： 　　(1)序列 收敛于x； 　　(2)对于任意给定的实数ε＞0，存在N∈ 使得当i＞N 时ρ( ,x)ε； 　　(3)limρ( ,x)=0(i→∞)． *