关于拓扑空间连通性的研究文献综述.docVIP

文献综述 关于拓扑空间连通性的研究 一、前言部分 拓扑学发展到今天，在理论上已经十分明显分成了两个分支。一个分支是偏重于用分析的方法来研究的，叫做点集拓扑学，或者叫做分析拓扑学。另一个分支是偏重于用代数方法来研究的，叫做代数拓扑。现在，这两个分支又有统一的趋势。 拓扑学在泛函分析、李群论、微分几何、微分方程额其他许多数学分支中都有广泛的应用。连通性这一新内容。到目前为止，L-拓扑学已成为较为成熟且完整的学科(国内外已有这方面的多部著作)。 主题部分 一般拓扑学从19世纪成为一个独立的科学分支至今已经历了一百多年的发展历史．虽然它的独立与发展相对于其他一些古老的数学学科如分析学、代数学，欧氏几何学和数论要晚了许多，但经过一百多年，特别是20世纪40年代到70年代的蓬勃发展，一般拓扑学已日趋成熟与完善(参见[1]及其参考文献)． “什么是拓扑学？”这是许多初学者都会提到的问题。拓扑学是一种几何学，它是研究几何图形的。但是拓扑学所研究的并不是大家最熟悉的普通的几何性质，而是图形的一种特殊性质，即所谓“拓扑性质”。尽管拓扑性质是图形的一种很基本的性质，它也是具有很强的几何直观，却很难用简单的语言来准确地描述，它的确切定义可以用抽象的语言来描述，也可以从几个例子来直观地反映。最具特色的问题就是一笔画问题、七桥问题、地图着色问题及Euler多面体定理。这些问题定理所涉及到图形在整体结构上的特性，就是“拓扑性质”。它们与几何图形的大小、形状，以及所包含线段的曲直等等都无关，也就不能用普通的几何方法来处理，需要有一种新的几何学来研究它们，这个学科就是拓扑学，也有人形象地称它为橡皮几何学，因为它研究的性质在图形做弹性形变时是不会改变的。而我们把这种变形称为图形的“拓扑变换”,它也可以用集合和映射的语言来确切的描述。 由于许多数学分支的活动范围早已突破了欧氏空间的限制，甚至也超出了度量空间的领域，拓扑学作为这些数学分支的基础，必须研究更加一般的空间。现在就要着一种能用来刻画拓扑性质的新的空间结构，以替代欧氏结构和度量结构。而这种新结构就是所谓的拓扑结构。 之前我们已经直观反映了“拓扑性质”，现在我们就用抽象语言来具体描述它的几个重要的性质：分离性、可数性、紧致性和连通性。前面两种性质也可以看作拓扑公理的补充；后两种性质在分析学中已经出现过，它们有很强的几何直观性，是拓扑学中最基础的性质。 拓扑公理只是概括了度量拓扑最基本性质，而不是全部性质，有时，这种不足会带来不方便。分离性和可数性常作为附加性质，弥补公理的不足，因此它们本身也称为公理。有两个可数公理和一系列分离公理，文献[13]主要介绍了两个可数公理和四个较常见的分离公理：。 在分析学中紧致性（在那里它等价于列紧性）早就显示了它的威力。有界闭区间上的连续函数是有界的，达到它的最大、最小值，并且是一致连续的。在证明这些结论时都用到了同一事实：有界闭区间上的每个序列有收敛的子序列。这种性质后来称为“列紧性”（自列紧），它可以一字不改地推广到一般拓扑空间中。 普通的几何中图形的“连通”性是一个非常直观的概念，它几乎必须给出数学定义。譬如，谁都知道，在圆锥曲线中，椭圆和抛物线是连通的，而双曲线是不连通的。然而，对于复杂一些的图形，单凭直观就不行了，必须深化认识。现在，把连通性作为拓扑概念给出，必须深化认识。现在，把连通性作为拓扑概念给出严格的定义。直观上的连通，可以有两个含义：其一是图形不能分割称互不“粘连”的两部分；其二是图形上任何两点可以用图形上的线连结。在拓扑学中，这两种含义分别抽象称“连通性”和“道路连通性”两个概念。 从拓扑上解释“空间X分割成互不粘连的两部分“A和B”，就是说，A和B是互不相交的非空子集，并且A和B都不包含对方的聚点，也就是说A和B是不相交的闭集（从而也是开集）。于是得到连通性的定义： 拓扑空间X称为连通的，如果它不能分解为两个非空不相交开集的并。显然，连通与下面几种说法是等价的： X不能分解为两个非空不相交闭集的并； X没有既开又闭的非空真子集； X的既开又闭的子集只有X和。（文献[13]是这样定义的） 其他文献在定义连通空间时会引入隔离的概念。如文献[14]： 设A和B是拓扑空间X中的两个子集。如果，则称子集A和B是隔离的。从而连通空间可以如下定义： 设X是一个拓扑空间，如果X中有两个非空的隔离子集A和B使得，则称X是一个不连通空间；否则，则称X是一个连通空间。它也有如下的等价条件： X中存在着两个非空的闭子集A和B使得成立； X中存在着两个非空的开子集A和B使得成立； X中存在着一个既开又闭的非空真子集。 不难发现，不管怎么定义，它们所要最终阐述的事都是同一件，只是他们用了不同语言来涵盖这件事而已。 较之于连通空间的概念，道路连通空间这个概念似乎觉得更符合我们的直觉因