点集拓扑学精编.docVIP

点集拓扑学的基本概念 参考文献: 熊金城, 点集拓扑讲义(第二版), 第二章. 1.度量空间与连续映射 首先让我们回忆一下在数学分析中学习过的连续函数的定义，一个函数被称为在点处是连续的，如果对于任意实数，存在实数，使得对于任何，当时，恒有.在这个定义中只涉及两个实数之间的距离（即两个实数之差的绝对值）这个概念；为了验证一个函数在某点处的连续性往往只要用到关于上述距离的最基本的性质，而与实数的其它性质无关．关于多元函数的连续性情形也完全类似．以下我们从这一考察出发，抽象出度量和度量空间的概念． 定义1.1 设X是一个集合，是映射．如果对于任何，有 正定性，，并且当且仅当； 对称性，； 三角不等式，. 则称是X上的一个度量。 若是集合X上的一个度量，则称偶对是一个度量空间，或称X是一个具有度量的度量空间．当度量早有约定时，或者在行文中已作交代，不提它不至于引起混淆，这时我们就称X是一个度量空间．此外，对于任意两点，实数称为点和点之间的距离． 例1.2 实数空间. 对于实数集合R，定义如下：对于任意,令 容易验证是R的一个度量，因此偶对是一个度量空间．这个度量空间特别地称为实数空间或实直线，这里定义的度量称为R的通常度量，并且常常略而不写，简称R为实数空间． 例1.3 维欧式空间. 对于实数集合R的n重笛卡尔集，定义如下： 对于任意的，令 . 容易验证是的一个度量，因此偶对