点集拓扑学技巧.docVIP

点集拓扑学的基本概念 参考文献: 熊金城, 点集拓扑讲义(第二版), 第二章. 1.度量空间与连续映射 首先让我们回忆一下在数学分析中学习过的连续函数的定义，一个函数被称为在点处是连续的，如果对于任意实数，存在实数，使得对于任何，当时，恒有.在这个定义中只涉及两个实数之间的距离（即两个实数之差的绝对值）这个概念；为了验证一个函数在某点处的连续性往往只要用到关于上述距离的最基本的性质，而与实数的其它性质无关．关于多元函数的连续性情形也完全类似．以下我们从这一考察出发，抽象出度量和度量空间的概念． 定义1.1 设X是一个集合，是映射．如果对于任何，有 正定性，，并且当且仅当； 对称性，； 三角不等式，. 则称是X上的一个度量。 若是集合X上的一个度量，则称偶对是一个度量空间，或称X是一个具有度量的度量空间．当度量早有约定时，或者在行文中已作交代，不提它不至于引起混淆，这时我们就称X是一个度量空间．此外，对于任意两点，实数称为点和点之间的距离． 例1.2 实数空间. 对于实数集合R，定义如下：对于任意,令 容易验证是R的一个度量，因此偶对是一个度量空间．这个度量空间特别地称为实数空间或实直线，这里定义的度量称为R的通常度量，并且常常略而不写，简称R为实数空间． 例1.3 维欧式空间. 对于实数集合R的n重笛卡尔集，定义如下： 对于任意的，令 . 容易验证是的一个度量，因此偶对是一个度量空间．这个度量空间特别地称为n维欧氏空间．这里定义的度量称为的通常度量，并且常常略而不写，而称为n维欧氏空间．2维欧氏空间通常称为欧氏平面或平面． 例1.4 Hilbert空间 记H为平方收敛的所有实数序列构成的集合，即： 定义如下：对任意的， 容易验证是H的一个度量，偶对（H，）是一个度量空间，这个度量空间称为Hilbert空间。这里定义的度量称为H的通常度量，并且常常略而不写，而称H为Hilbert空间． 例1.5 离散的度量空间 设(X, )是一个度量空间．称(X, )是离散的，或者称是X的一个离散度量，如果对于每一个，存在一个实数使得对于任何，都有.例如我们假定X是一个集合，定义使得对于任何，有： 容易验证是X的一个离散度量。因此度量空间(X, )是离散的。 离散的度量空间或许是我们以前未曾接触过的一类空间，但今后会发现它的性质是简单的． 定义1.6 设(X, )是一个度量空间，对于任意给定的实数，定义 称为以为中心，为半径的球形邻域，简称为的一个-邻域。 定理1.7 度量空间(X, )的球形邻域具有以下基本性质： 每一点x至少有一个球形邻域U，并且点x属于它的每一个球形邻域； 对于点x的任意两个球形邻域U，V，存在x的一个球形邻域W同时包含于U与V中； 如果y属于x的某一个球形邻城U，那么y有一个球形邻域. 证明：（1）设，对每一个实数，是的一个球形邻域，这说明至少有一个球形邻域；由于，故属于它的每一个球形邻域。 （2）设是的两个球形邻域，任意选取实数，使得，则易见，即满足要求。 （3）设,令.显然，，若，则 所以，这就证明了. 定义1.8 设A 是度量空间X的一个子集．如果A中的每一个点都有一个球形邻域包含于A（即对于每个，都存在实数使得），则开区间是R中的一个开集。这是因为 如果令，则. 同样容易证明无限的开区间都是R中的开集。而闭区间却不是R中的开集。因为对于以及任何，都不成立。类似地，半开半闭区间以及无限区间和都不是R中的开集。 定理1.10度量空间X中的开集具有以下性质： (1)集合X本身和空集都是开集； (2)任意两个开集的交是一个开集； (3)任意一个开集族（即由开集构成的族）的并是一个开集． 证明：(1)根据定理1.7(1)，X中每个元素x都有一个球形邻域，这个球形邻域当然包含在X中，所以X满足开集的条件；空集中不包含任何一个点，也自然地可以认为它满足开集的条件． (2)设U和V是X中的两个开集．如果，那么存在x的一个球形邻域包含于U，同时也存在x的一个球形邻域包含于V．根据定理1.7(2)，x有一个球形邻域同时包含于和，因此: 由于中的每一点都有一个球形邻域包含于，所以是一个开集． ( 3 ）设A是一个由X中的开集构成的子集族，如果A,那么存在A使得．由于是一个开集，所以x有一个球形邻域包含于，显然这个球形邻域也包含于A．这证明A是X中的一个开集． 此外，根据定理1.7，每一个球形邻域都是开集． 为了讨论问题的方便，我们将球形邻域的概念稍稍作一点推广. 定义1.11 设x是度量空间X中的一个点，U是X的一个子集．如果存在一个开集V满足条件：，那么称U是点x的一个邻域． 经过这样的推广以后，邻域就不一定是开集了。比如：实数空间中的区间,除了a点以外，该区间是其中任意一点的邻域。