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

拓扑空间与拓扑不变量 数学分析中的连续函数的定义与和值域都是欧氏空间（直线、平面或空间）或是其中的一部分。本章将首先把连续函数的定义域和值域的主要特征抽象出来用以定义度量空间，将连续函数的主要特征抽象出来用以定义度量空间的连续映射。然后将两者再度抽象，给出拓扑空间和拓扑空间之间的连续映射。随后逐步提出拓扑空间的一些基本问题如邻域、开集、闭集、闭包、聚点、导集、内部、边界、序列、极限等。进一步引入紧致性、连通性、可数性与分离性等重要的拓扑不变性 §1.1拓扑空间、开集、闭集、聚点、闭包、邻域 一、问题的引入 数学分析里我们知道，在连续函数的定义中只涉及距离这个概念，定义域是一维欧氏空间,即实数空间，两点之间的距离d(x,y)=|x-y|,即两两实数之差的绝对值,定义域是n维欧氏空间，两点x=(x1 ,x2,…，xn),Y=(y1,y2,…，yn) 之间的距离 d(x,y)= 。 无论是几维空间，它的距离都有下面的性质： 1. d(x,y)≥0 , x,y∈ ; 2. d(x,y) = 0 x = y ; 3. d(x,y) = d(y,x) x,y∈ ; 4. d(x,z) ≤ d(x,y) + d(y,z) , x,y,z∈ ; 这些性质反映了距离的特征。 将推广为一般的集合，我们由距离可以抽象出度量以及度量空间的定义。 （一 ） 度量空