拓扑空间开集闭集闭包聚点邻域

本文格式为Word版，下载可任意编辑——拓扑空间开集闭集闭包聚点邻域吉首大学数学与统计学院点集拓扑教案

第一章拓扑空间与拓扑不变量

数学分析中的连续函数的定义与和值域都是欧氏空间（直线、平面或空间）或是其中的一部分。本章将首先把连续函数的定义域和值域的主要特征抽象出来用以定义度量空间，将连续函数的主要特征抽象出来用以定义度量空间的连续映射。然后将两者再度抽象，给出拓扑空间和拓扑空间之间的连续映射。随后逐步提出拓扑空间的一些基本问题如邻域、开集、闭集、闭包、聚点、导集、内部、边界、序列、极限等。进一步引入紧致性、连通性、可数性与分开性等重要的拓扑不变性

§1.1拓扑空间、开集、闭集、聚点、闭包、邻域

一、问题的引入

数学分析里我们知道，在连续函数的定义中只涉及距离这个概念，定义域是一维欧氏空间,即实数空间，两点之间的距离d(x,y)=|x-y|,即两两实数之差的绝对值,定义域是n维欧氏空间，两点x=(x1,x2,?，xn),Y=(y1,y2,?，yn)之间的距离d(x,y)=

(x1?y1)2?…+(xn?yn)2。

无论是几维空间，它的距离都有下面的性质：

1.d(x,y)≥0,?x,y∈R;2.d(x,y)=0?x=y;

3.d(x,y)=d(y,x)?x,y∈R;4.d(x,z)≤d(x,y)+d(y,z),?x,y,z∈R;这些性质反映了距离的特征。

将R推广为一般的集合，我们由距离可以抽象出度量以及度量空间的定义。

nnnn（一）度量空间

1.定义

定义1设X是一个集合，ρ：X×X→R,假使对于任何x,y,z∈X,有①（正定性）ρ（x,y）≥0并且ρ(x,y)=0?x=y；②（对称性）ρ(x,y)=ρ(y,x)；

③（三角不等式）ρ(x,z)≤ρ(x,y)+ρ(y,z)则称ρ是集合X中的一个度量。

1

吉首大学数学与统计学院点集拓扑教案

假使ρ是集合X中的一个度量，则称偶对（X，ρ）是一个度量空间，或径称X是一个度量空间。而ρ（x,y）称为从点X到点Y的距离。

2.度量空间举例例2.1.1实数空间R

对实数集合，定义ρ：R×R→R如下：?x,y∈R，令ρ（x,y）=|x-y|,易知ρ是R的一个度量。因此（R,ρ）是一个度量空间。

可见，度量空间是实数空间的推广，度量是距离的推广。

例2.1.1n维欧式空间R

对实数集合R的n重笛卡尔积R=R×R×?×R，定义ρ：R×R→R如下：对任意两点x=(x1,x2,?，xn),Y=(y1,y2,?，yn)∈R，令ρ（x,y）=

nnnnnnn?(xi?1ni?yi)2，

n可以验证ρ是R的一个度量，偶对（R，ρ）称为n维欧氏空间。有时径称R为n维欧氏空间。n=2时，R2常称为欧氏平面或平面。

例2.1.2Hilbert空间H

记H是平方收敛的所有实数序列构成的集合，即H={x=(x1,x2,?，xn)|xi∈R,i∈Z+,

?xi?1?2iH→R如下：对于任意x=(x1,x2,?，??},定义ρ：H×

?xn),Y=(y1,y2,?，yn)∈H，令ρ（x,y）=

??(xi?1i?yi)2。这个定义的合理性及验

证?(xi?12?y)ii??以及验证ρ是H的一个度量，可见P49附录。因此（H,ρ）

是一个度量空间，称为Hilbert空间。

例2.1.3离散的度量空间

设（X,ρ）是一个度量空间，称（X,ρ）是一个离散的度量空间或称ρ是一

2

吉首大学数学与统计学院点集拓扑教案

个离散的度量，假使对每一个x∈X,存在一个实数?x?0使得ρ（x,y）>?x,对任何y∈X，y≠x成立。

如，设X是一个集合，定义ρ：X×X→R,使得对于任何x,y∈X,有

?(x,y)??离散的。

思考题

?0若x?y,易知ρ是X的一个离散度量，度量空间（X,ρ）是

1若x?y?例2.1.5令X=C([a,b])={f:[a,b]→R|f在[a,b]上连续}，并且对于任意的f,g∈C([a,b]),令d(f,g)=

?|f(x)-g(x)|dx,d是C([a,b])的度量吗？

ab（答案：d是C([a,b])的度量，因此（C([a,b])，d）是一个度量空间）

3.邻域、开集

⑴度量空间的球形邻域及其基本性质

定义2.设（X,ρ）是一个度量空间，x∈X,对于任意的ε>0，

B（x,ε）={y∈X|ρ（x,y）<ε}称为以x为中心，ε为半径的球形邻域，也称为x的一个ε邻域，也记作Bε(x)。

定理1.0.1度量空间（X,ρ）的球形邻域具有以下性质：①每一点x∈X至少有一邻域，并且x属于它的每一个邻域；

②对于点x∈X的任意两个球形邻域，存在x的一个球形邻域同时包含于两者；

③假如y∈X属于x的某个球形邻域，则y有一个球形邻域包含于x的那个球形邻域。

证明：??

⑵度量空间的开集及其基本性质

定义3.设X是一个度量空间，A?X，假如?a?A,都???0，使B(a,ε)

?X，则称A是X的一个开集。

由定理2.1.1的③知，X的球形邻域都是开集。

3

吉首大学数学与统计学院点集拓扑教案

例2.1.7实数空间R中的开区间都是开集，而半开半闭区间、闭区间都不是开集。两个开区间的并也是开集。

可见，度量空间的开集是实数空间开区间的推广。定理1.0.2度量空间X的开集具有以下性质：①集合X本身和空集Ф都是开集；②任何两个开集的交是开集；③任何一个开集族的并是开集。证??

推论U是度量空间的开集的充分必要条件是U是这个空间中若干个球形邻域的并。

⑶度量空间中点x的邻域球形邻域的推广

定义4.设X是一个度量空间，x∈X,U?X，假如存在开集V使x∈V?U，则称U是x的一个邻域。

注：有定义可知，开集V是它的每一点的邻域，但邻域却不一定是开集。如[0，2]是1的邻域，但它不是开集。

定理1.0.3设X是一个度量空间，x∈X,U?X，则U是x的一个邻域?存

在B(x,ε)?U。

证明：??

本定理为邻域提供了一个等价说法。

推论X是一个度量空间，U?X，则U是X的一个开集?U是其内每一点的邻域。

证由定义2.1.3和定理2.1.3。

（二）度量空间之间的连续映射

定义5设X和Y是两个度量空间，f：X→Y，以及x0∈X，假如对于f(x0)的任何一个球形邻域B(f(x0),ε)，存在x0的某一个球形邻域B(x0，δ)使得f(B(x0，δ))?B(f(x0),ε)，则称映射f在x0处是连续的。

4

吉首大学数学与统计学院点集拓扑教案

假如映射f在X的每一点连续，则称f是一个连续函数。显然这个定义是数学分析中连续函数定义纯粹形式上的推广。

定理1.0.4设X和Y是两个度量空间，f：X→Y，则

①f在x0点处连续?f(x0)的每一个邻域的原像是x0的一个邻域；②f是连续的?Y中每个开集的原像是X中的开集。

证明：①“?〞若f在x0点处连续，设U为f(x0)的一个邻域，据TH2.1.3，有B(f(x0),ε)?U，由于f在x0点处连续，所以存在B(x0，δ)使得f(B(x0，δ))然而f-1[B(f(x0),ε)]?f-1(U)，而B(x0，δ)?f-1[B(f(x0),ε)]，?B(f(x0),ε)，

所以B(x0，δ)?f-1(U)，这说明f-1(U)是x0的一个邻域。

“?〞设f(x0)的每一个邻域的原像是x0的一个邻域，任给f(x0)的一个邻域B(f(x0),ε)，则f-1[B(f(x0),ε)]是x0的一个邻域，据TH2.1.3，x0有一个球形邻域B(x0，δ)?f-1[B(f(x0),ε)]，因此f[B(x0，δ)]?B(f(x0),ε)，所以f在x0点处连续。

②“?〞设f连续，令V为Y中一开集，U=f-1(V),对于每一个x∈U，则f(x)∈V，由于V是开集，所以V是f(x)的一个邻域，由于f在每一点x连续，故由①知U是x的一个邻域，由上面的