《点集拓扑学》§4.5道路连通空间.doc

4.5道路连通空间较之于连通空间的概念，道路连通空间这个概念似觉更符合我们的直觉因而易于理解些我们先定义“道路”定义4.5.1设X是一个拓扑空间从单位闭区间0，1X的每一个连续映射f:0，1X叫做X中的一条道路，并且此时f(0)和f(1)分别称为道路f的起点和终点当xf（0）和yf（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，yR，则连续映射f:0，1R定义为对于任何t0,1有f(t)=x+t(y-x)，便是R中的一条以x为起点以y为终点的道路、也容易验证任何一个区间都是道路连通的定理4.5.1如果拓扑空间X是一个道路连通空间，则X必然是一个连通空间证明对于任何x，yX，由于X道路连通，故存在从x到y的一条道路f:0，lX这时曲线f（0,1），作为连通空间0，l在连续映射下的象，是X中的一个连通子集，并且我们有x，yf（0，1）因此根据定理4.1.7可见X是一个连通空间 连通空间可以不是道路连通的我们已经指出例44l中的是一个连通空间不难证明（留作习题，见习题第3题）它不是道路连通的道路连通与局部连通之间更没有必然的蕴涵关系、例如离散空间都是局部连通的，然而包含着多于两个点的离散空间不是连通空间，当然也就不是道路连通空间了定理4.5.2设X和Y是两个拓扑空间，其中X是道路连通的，f:XY是一个连续映射则 f（X）是道路连通的 证明设由于X是道路连通的，故X中有从到的一条道路g：0，1X易见，映射h：0，1f(X)，定义为对于任意t0，1有h（t）=fg（t），是f（X）中从到的一条道路这证明f（X）是道路连通的根据定理4.5.2可见，空间的道路连通性是一个拓扑不变性质，也是一个可商性质.定理4.5.3设是n1个道路连通空间则积空间 也是道路连通空间证明我们只需要对n2的情形加以证明设对于i=l，2，由于是道路连通空间，故在中有从到的一条道路：0，1定义映射f：0，1，使得对于任何t0，l有f（t）（)容易验证（应用定理32.7）f是连续的，并且有f(0)=x,f(1)=y这也就是说f是中从x到y的一条道路这证明 是一个道路连通空间作为定理4.5.3的一个直接的推论立即可见：n维欧氏空间是一个道路连通空间（这个结论也容易直接验证）为了今后的需要我们证明以下引理，定理4.5.4粘结引理设A和B是拓扑空间X中的两个开集（闭集），并且有XAB又设Y是一个拓扑空间， ：AY和：BY是两个连续映射，满足条件： 定义映射f:XY使得对于任何xX， f（x） 则f是一个连续映射证明首先注意，由于 ，映射f的定义是确切的因为当xAB时，有 其次，我们有：对于Y的任何一个子集Z有 这是由于现在设U是Y的一个开集由于 都连续，所以分别是A和B的开集然而A和B都是X的开集，所以也都是X的开集因此是X的一个开集这便证明了f是一个连续映射当A和B都是X的闭集时，证明是完全类似的我们现在按建立连通分支概念完全类似的方式建立道路连通分支的概念定义4.5.3设X是一个拓扑空间，x，yX如果X中有一条从x到y的道路，我们则称点x和y是道路连通的(注意:是“点”道路连通)根据定义可见，如果x，y，z都是拓扑空间X中的点，则（1）x和x道路连通；（因为取常值的映射f: 0，1X（它必然是连续的）便是一条从x到x的道路）（2）如果x和y连通，则y和x也连通；(设f:0，1X是X中从x到y的一条道路定义映射j：0，lX，使得对于任何t0，l有j（t）f（1t）容易验证j是一条从y到x的道路)（3）如果x和y连通，并且y和z连通，则x和z连通（设：0，1X分别是X中从x到y和从y到z的道路定义映射f:0，1X使得对于任何t0，l， 应用粘结引理立即可见f是连续的，此外我们有f（0）（0）=x和f(1)=(1)=z因此f是从x到z的一条道路）以上结论归结为：拓扑空间中点的道路连通关系是一个等价关系定义4.5.4设X是一个拓扑空间对于X中的点的道路连通关系而言的每一个等价类称为拓扑空间X的一个道路连通分支如果Y是拓扑空间X的一个子集Y作为X的子空间的每一个道路连通分支称为X的子集Y的一个道路连通分支拓扑空间X的每一个道路连通分支都不是空集；X的不同的道路连通分支无交；以及X的所有道路连通分支之并便是X本身此外，x，yX属于X的同一个道路连通分支当且仅当x和y道路连通拓扑空间X的子集A中的两个点x和y属于A的同一个道路连通分支的充分必要条件是A中有一条从x到y的道路根据定义易见，拓扑空间中每一个道路连通分支都是一个道路连通子集；根据定理4.5.1，它也是一个连通子集；又根据定理43l，它必然包含在某一个连通分支之中作为定理4.5.l在某种特定情形下的一个逆命题，我们有下述定理：定理4.5.5n维欧氏空间 的任何一个连通开集都是道路连通的证明 首先我们注意n维欧氏空间中的任何一个球形邻域都是道路连通的，这是因为它同胚于n维欧氏空间本身其次证明n维欧氏空间的任何一个开集的任何一个道路连通分支都是一个开集：设U是的一个开集，C是U的一个道路连通分支设xC因为U是一个包含x的开集，所以也包含着以x为中心的某一个球形邻域B（x，）由于球形邻域B(x,)是道路连通的，并且B（x，）C包含着x，故非空,这导致B（x，）C所以C是一个开集最后,设V是的一个连通开集如果V，则没有什么要证明的下设VV是它的所有道路连通分支的无交并，根据前一段中的结论，每一个道路连通分支都是开集因此如果V有多于一个道路连通分支，易见这时V可以表示为两个无交的非空开集之并，因此V是不连通的，这与假设矛盾因此V只可能有一个道路连通分支，也就是说V是道路连通的推论4.5.6n维欧氏空间中任何开集的每一个道路连通分支同时也是它的一个连通分支证明由于n维欧氏空间是一个局部连通空间，根据定理441，它的任何开集的任何连通分支都是开集.根据定理4.5.5，的任何开集的任何连通分支都是道路连通的，因此包含于这个开集的某一个道路连通分支之中另一方面任何一个集合的道路连通分支，由于它是连通的，因此包含于这个集合的某一个连通分支之中，本推论的结论成立通过引进局部道路连通的概念，定理4.5.5和推论4.5.6的结论可以得到推广（参见习题5）作业:P132 1. 2. 本章总结：（1）有关连通、局部连通、道路连通均为某个集合的概念，与这个集合的母空间是否连通、局部连通、道路连通无关（2）掌握连通、局部连通、道路连通这三者之间的关系（3）记住中的哪些子集是连通、局部连通、道路