（点集拓扑学拓扑）知识点(3)

定义4．5．1设X是一个拓扑空间．从单位闭区间[0，1]→X的每一个连续映射

f: [0，1]→X叫做X中的一条道路，并且此时f(0) 和f(1) 分别称为道路f的起点和终点．当x＝f（0）和y＝f（1）时，称f是X中从x到y的一条道路．起点和终点相同的道路称为闭路，并且这时，它的起点（也是它的终点）称为闭路的基点．

如果f是X中的一条道路，则道路f的象集f([0，l])称为 X中的一条曲线或弧，并且这时道路f的起点和终点也分别称为曲线f([0,1])的起点和终点． 或许应当提醒读者，“道路”这个词在这里所表达的意思已经与我们对它原有的理解颇有不同，希望读者不要因此而混淆了我们在这里严格定义的道路和曲线这两个不同的概念． 定义4．5．2 设X是一个拓扑空间．如果对于任何x，y，存在着X中的一条从x到y的道路（或曲线），我们则称X是一个道路连通空间．X中的一个子集Y称为X中的一个道路连通子集，如果它作为X的子空间是一个道路连通空间．(Y是否道路连通与X是否道路连通没有关系)

实数空间R是道路连通的．这是因为如果x，y∈R，则连续映射f:[0，1]→R定义为对于任何t∈[0,1]有f(t)=x+t(y-x)，便是R中的一条以x为起点以y为终点的道路、也容易验证任何一个区间都是道路连通的．

定理4．5．1如果拓扑空间 X是一个道路连通空间，则X必然是一个连通空间．

证明 对于任何x，y∈X，由于X道路连通，故存在从x到y的一条道路f:[0，l]→X这时曲线f（[0,1]），作为连通空间[0，l]在连续映射下的象，是X中的一个连通子集，并且我们有x，y∈f（[0，1]）．因此根据定理4.1.7可见X是一个连通空间。

连通空间可以不是道路连通的．我们已经指出例4．4．l中的S1是一个连通空间．不难证明（留作习题，见习题第3题）它不是道路连通的． 道路连通与局部连通之间更没有必然的蕴涵关系、例如离散空间都是局部连通的，然而包含着多于两个点的离散空间不是连通空间，当然也就不是道路连通空间了．

定理4．5．2设X和Y是两个拓扑空间，其中X是道路连通的，f: X→Y是一个连续映射． 则 f（X）是道路连通的．

证明 设y1,y2?f(X),?x1,x2?X?f(x1)?y1,f(x2)?y2 ．由于X是道路连通的，故X中有从x1到x2的一条道路g：[0，1]→X．易见，映射h：[0，1]→f(X)，定义为对于任意t∈[0，1]有h（t）=f?g（t），是f（X）中从y1到y2的一条道路．这证明f（X）是道路连通的．

根据定理4. 5．2可见，空间的道路连通性是一个拓扑不变性质，也是一个可商性质. 定理4．5．3 设X1,X2,...Xn是n≥1个道路连通空间．则积空间X1?X2?...?Xn也是道路连通空间．

证明 我们只需要对n＝2的情形加以证明．

设x?(x1,x2),y?(y1,y2)?X1?X2对于i=l，2，由于Xi是道路连通空间，故在Xi中有从xi到yi的一条道路fi：[0，1]→Xi．定义映射 f：[ 0，1]→ X1?X2，使得对于任何t∈[0，l] 有f（t）＝（f1(t),f2(t))．容易验证（应用定理3．2. 7）f是连续的，并且

有f(0)=x, f(1)=y．这也就是说f是X1?X2中从x到y的一条道路．这证明 X1?X2是一个道路连通空间．

作为定理4．5．3的一个直接的推论立即可见：n维欧氏空间Rn是一个道路连通空间．（这个结论也容易直接验证．）

为了今后的需要我们证明以下引理，

定理4．5．4 [粘结引理] 设A和B是拓扑空间X中的两个开集（闭集），并且有X＝A∪B．又设Y是一个拓扑空间，f1：A→Y和f2：B→Y是两个连续映射，满足条件： f1|A?B?f2|A?B

定义映射f: X→Y使得对于任何x∈X， f（x）＝?则f是一个连续映射．

证明 首先注意，由于f1|A?B?f2|A?B，映射f的定义是确切的．因为当x∈A∩B时，有f1(x)?f2(x)

其次，我们有：对于Y的任何一个子集Z有 f?1?1?f1(x)x?A

x?B?f2(x)(Z)?f1?1(Z)?f2?1(Z)

?1这是由于f1(Z)?f(Z)?A,f2?1(Z)?f?1(Z)?B

?1?1现在设U是Y的一个开集．由于f1,f2都连续，所以f1(U),f2(U)分别是A和B的开集．然而A和B都是X的开集，所以f1(U),f2(U)也都是 X的开集．因此

?1?1f?1(Z)?f1?1(Z)?f2?1(Z)是X的一个开集．这便证明了f是一个连续映射．

当A和B都是X的闭集时，证明是完全类似的．

我们现在按建立连通分支概念完全类似的方式建立道路连通分支的概念．

定义 4. 5．3设X是一个拓扑空间，x，y∈X．如果X中有一条从x到y的道路，我们则称点x和y是道路连通的．(注意:是”点”道路连通)

根据定义可见，如果x，y，z都是拓扑空间X中的点，则 （1）x和x道路连通；（因为取常值的映射f: [0，1]→X（它必然是连续的）便是一条从x到x的道路．） （2）如果x和y连通，则y和x也连通；(设f:[0，1]→X是X中从x到y的一条道路．定义映射 j：[0，l]→X，使得对于任何t∈[0，l]有j（t）＝f（1－t）．容易验证j是一条从y到x的道路．)

(3) 如果x和y连通，并且y和z连通，则x和z连通．（设f1,f2：[0，1]→X分别是

X中从x到y和从y到z的道路．定义映射f:[0，1]→X使得对于任何t∈[0，l]， f(t)??t?[0,1/2]?f1(2t)

t?[1/2,1]?f2(2t?1)

应用粘结引理立即可见f是连续的，此外我们有f（0）＝f1（0）=x和f(1)=f2(1)=z．因此f是从x到z的一条道路．）

以上结论归结为：拓扑空间中点的道路连通关系是一个等价关系．

定义4．5．4设X是一个拓扑空间．对于X中的点的道路连通关系而言的每一个等价类称为拓扑空间X的一个道路连通分支． 如果Y是拓扑空间X的一个子集．Y作为X的子空间的每一个道路连通分支称为X的子集Y的一个道路连通分支．

拓扑空间X??的每一个道路连通分支都不是空集；X的不同的道路连通分支无交；以及X的所有道路连通分支之并便是X本身．此外，x，y∈ X属于X的同一个道路连通分支当且仅当x和y道路连通．

拓扑空间X的子集A中的两个点x和y属于A的同一个道路连通分支的充分必要条件是A中有一条从x到y的道路．

根据定义易见，拓扑空间中每一个道路连通分支都是一个道路连通子集；根据定理4．5．1，它也是一个连通子集；又根据定理4．3．l，它必然包含在某一个连通分支之中． 作为定理4．5．l在某种特定情形下的一个逆命题，我们有下述定理： 定理4．5．5 n维欧氏空间R的任何一个连通开集都是道路连通的．

证明 首先我们注意n维欧氏空间R中的任何一个球形邻域都是道路连通的，这是因为它同胚于n维欧氏空间R本身．

其次证明 n维欧氏空间R的任何一个开集的任何一个道路连通分支都是一个开集：设U是R的一个开集，C是U的一个道路连通分支．设x∈C．由于U是一个包含x的开集，所以也包含着以x为中心的某一个球形邻域B（x，ε）．由于球形邻域B(x,ε)是道路连通的，并且B（x，ε）∩C包含着x，故非空,这导致B（x，ε）? C．所以C是一个开集． 最后,设V是R的一个连通开集．如果V??，则没有什么要证明的．下设V??．V是它的所有道路连通分支的无交并，根据前一段中的结论，每一个道路连通分支都是开集．因此如果V有多于一个道路连通分支，易见这时V可以表示为两个无交的非空开集之并，因此V是不 …… 此处隐藏：3571字，全部文档内容请下载后查看。喜欢就下载吧 ……