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

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