点集拓扑学课件.doc

点集拓扑学合肥工业大学数学学院预备知识1.点集拓扑的定义《点集拓扑学》课程是一门现代数学基础课程，属数学与应用数学专业的理论课是数学与应用数学专业的主干课点集拓扑学（Point Set Topology） ，有时也被称为一般拓扑学（General Topology） ，是数学的拓扑学的一个分支它研究拓扑空间以及定义在其上的数学构造的基本性质这一分支起源于以下几个领域：对实数轴上点集的细致研究，流形的概念，度量空间的概念，以及早期的泛函分析它的表述形式大概在 1940 年左右就已经成文化了通过这种可以为所有数学分支适用的表述形式，点集拓扑学基本上抓住了所有的对连续性的直观认识2.点集拓扑的起源点集拓扑学产生于 19 世纪G. 康托尔建立了集合论，定义了欧几里得空间中的开集、闭集、导集等概念，获得了欧几里得空间拓扑结构的重要结果1906 年 M.-R.弗雷歇把康托尔的集合论与函数空间的研究统一起来，建立了广义分析，可看为拓扑空间理论建立的开始3.一些参考书籍（1） 《拓扑空间论》 ，高国士，科学出版社，2000 年 7 月第一版（2） 《基础拓扑讲义》 ，尤承业，北京大学出版社，1997 年 11 月第一版（3） 《一版拓扑学讲义》 ，彭良雪，科学出版社，2011 年 2 月第一版第一章 集合论初步在这一章中我们介绍有关集合论的一些基本知识．从未经定义的“集合”和“元素”两个概念出发给出集合运算、关系、映射以及集合的基数等方面的知识等。

这里所介绍的集合论通常称为“朴素的集合论”，这对大部分读者已经是足够了．那些对集合的理论有进一步需求的读者，例如打算研究集合论本身或者打算研究数理逻辑的读者，建议他们去研读有关公理集合论的专著 1.1 集合的基本概念集合这一概念是容易被读者所理解的，它指的是由某些具有某种共同特点的个体构成的集体例如我们常说“正在这里听课的全体学生的集合”, “所有整数的集合” 等等．集合也常称为集集合（即通常所谓的“集体” ）是由它的元素（即通常所谓的“个体”）构成的．例如正在这里听课的全体学生的集合以正在听课的每一个学生为它的元素；所有整数的集合以每一个整数为它的元素．元素也常称为元，点或成员．集合也可以没有元素．例如平方等于 2 的有理数的集合，既大于 1 又小于 2 的整数的集合都没有任何元素，这种没有元素的集合我们称之为空集，记作 此外，由一个元素构成的集合，我们常称为单点集．用文句来描述一个集合由哪些元素构成（像前面所作的那样） ，是定义集合的一个重要方式．此外，我们还通过以下的方式｛x︱关于 x 的一个命题 P }表示使花括号中竖线后面的那个命题 P 成立的所有元素 x 构成的集合．集合表示方式中的竖线“︱”也可用冒号“: ”或分号“; ”来代替．此外，也常将一个集合的所有元素列举出来再加上花括号以表示这个集合．我们常用：N 表示全体正整数构成的集合，称为正整数集；Z 表示全体整数构成的集合，称为整数集；Q 表示全体有理数构成的集合，称为有理数集；R 表示全体实数构成的集合，称为实数集。

我们从前在数学的各种科目中学过诸如函数、偏序、运算以及等价等种种概念，它们的一个共同的特点在于给出了某些给定集合的元素之间的某种联系．为了明确地定义它们，我们先定义“关系” ，而为了定义关系，又必需先有两个集合的笛卡儿积这个概念定义 1.1.1 设 X 和 Y 是两个集合．集合 称为 X 与 Y 的笛卡儿积，记yx,),(作 ，读为 X 叉乘 Y 其中 是一个有序偶， 称为 的第一个坐标， 称Y),(yxx),(yy为 的第二个坐标．X 称为 的第一个坐标集，Y 称 的第二个坐标集．集),(yxYX合 X 与自身的笛卡儿积 称为 X 的 2 重（笛卡儿）积，通常简单记作 . （有序偶2的定义请参考书本）1.2 集合的基本运算（略 ）1.3 关系定义 1.3.1 设 X，Y 是两个集合，如果 R 是 X 与 Y 的笛卡儿积 的一个子集，即YX，那么就称 R 是从 X 到 Y 的一个关系如果 ，那么我们称 x 与 yR Ryx),(是 R 相关的，并且记作 ．若 ，则 Y 的子集xyAyxx,,使 得存 在称为集合 A 对于关系 R 而言的象集，或者简单地称为集合 A 的象集，或者称为集合 A 的R 象，并且记作 ， 称为关系 R 的值域．)(X关系的概念是十分广泛的，大家很快便会看到，以前在另外的数学学科中学过的函数（映射），等价，序，运算等等概念都是关系的特例．定义 1.3.2 设 R 是从集合 X 到集合 Y 的一个关系，即 ，这时笛卡儿积YXR的子集 是从集合 Y 到集合 X 的一个关系，我们称它为关系 R 的XYxyy),(逆，并且记作 。

如果 ，X 的子集 是集合 B 的 象，我们也常称它为1B)(11集合 B 对于关系 R 而言的原象，或者集合 B 的 R 原象特别，关系 的值域 也称R)(1Y为关系 R 的定义域．定义 1.3.3 设 R 是从集合 X 到集合 Y 的一个关系，S 是从集合 Y 到集合 Z 的一个关系，称关系 为关系 R 与关系 S 的复合或积，记作 SOR.yzxyzx并 且使 得存 在 Z),(定理 1.3.4 设 R 是从集合 X 到集合 Y 的一个关系，S 是从集合 Y 到集合 Z 的一个关系，T是从集合 Z 到集合 U 的一个关系．则( l ) ；1( 2 ) ；11SRS( 3 ) T)()另外，对于 X 的任意两个子集 A 和 B，我们有：（4） ；)()(BA（5） ；RR（6） .)()(S定义 1.3.5 集合 X 中的一个关系 R 称为集合 X 中的一个等价关系，如果它满足：（1）自反性，即 ，或者 ；x),(R)(（2）对称性，即若 ，则 ，或者 ；yy,1（3）传递性，即若 则 ，或者 .)(,),(zRxzx),(R1.4 映射定义 1.4.1 设 F 是从集合 X 到集合 Y 的一个关系．若对于每一个 ，存在唯一的一个Xx使得 ，则称 F 是从 X 到 Y 的一个映射，并且记作 .Yyxy YF:定义 1.4.2 设 个集合。

从笛卡尔集 到它的第n是,,21 n21个坐标集 的投射（或称第 个投射） 定义为对每一个iiXiiiXP:， .xxn),(21 iix)(定义 1.4.3 设 R 是集合 X 中的一个等价关系．从集合 X 到它的商集 X／R 的自然投射定义为对于每一个 .Xp/:Rxp][)(,第二章 拓扑空间与连续映射2.1 拓扑空间与连续映射从数学分析中读者已经熟知单变量和多变量的连续函数，它们的定义域和值域都是欧氏空间（直线，平面或空间等等）或是其中的一部分．在这一章中，我们首先将连续函数的定义域和值域主要特征抽象出来用以定义度量空间，将连续函数的主要特征抽象出来用以定义度量空间之间的连续映射．然后将两者再度抽象，给出拓扑空间和拓扑空间之间的连续映射．随后再逐步提出拓扑空间中的一些基本问题如邻域，闭包，内部，边界，基和子基，序列等等2.2 度量空间与连续映射首先让我们回忆一下在数学分析中学习过的连续函数的定义，一个函数 被Rf:称为在点 处是连续的，如果对于任意实数 ，存在实数 ，使得对于任何Rx0 00，当 时，恒有 .在这个定义中只涉及两个实数之间的)(0xf距离（即两个实数之差的绝对值）这个概念；为了验证一个函数在某点处的连续性往往只要用到关于上述距离的最基本的性质，而与实数的其它性质无关．关于多元函数的连续性情形也完全类似．以下我们从这一考察出发，抽象出度量和度量空间的概念．定义 2.2.1 设 X 是一个集合， 是映射．如果对于任何 ，有RX: Xzyx,(1)正定性， ，并且 当且仅当 ；0),(yx0),(yxyx(2)对称性， ；,(3)三角不等式， .),()()(zyxz则称 是 X 上的一个度量。

若 是集合 X 上的一个度量，则称偶对 是一个度量空间，或称 X 是一个具有度),(X量 的度量空间．当度量 早有约定时，或者在行文中已作交代，不提它不至于引起混淆，这时我们就称 X 是一个度量空间．此外，对于任意两点 ，实数 称为点yx, ),(yx和点 之间的距离．xy例 2.2.2 实数空间 .R对于实数集合 R，定义 如下：对于任意 ,令:Ryx,yx),(容易验证 是 R 的一个度量，因此偶对 是一个度量空间．这个度量空间特别地X称为实数空间或实直线，这里定义的度量 称为 R 的通常度量，并且常常略而不写 ，简称 R 为实数空间．例 2.2.3 维欧式空间 .nn对于实数集合 R 的 n 重笛卡尔集 ，定义 如下：n Rn:对于任意的 ，令nn Ryyxx ),,(),,(2121 .niiiyxyx12)(),(容易验证 是 的一个度量，因此偶对 是一个度量空间．这个度量空间特别地称nR,nR为 n 维欧氏空间．这里定义的度量 称为 的通常度量，并且常常略而不写 ，而称为 n 维欧氏空间．2 维欧氏空间通常称为欧氏平面或平面．例 2.2.4 Hilbert 空间记 H 为平方收敛的所有实数序列构成的集合，即： 1221,),(ii xNRxx定义 如下：对任意的 ，R: Hy),(),,(2211),iiixyx容易验证 是 H 的一个度量，偶对（H， ）是一个度量空间，这个度量空间称为 Hilbert空间。

这里定义的度量 称为 H 的通常度量，并且常常略而不写 ，而称 H 为 Hilbert 空间．例 2.2.5 离散的度量空间设(X, )是一个度量空间．称(X, )是离散的，或者 称是 X 的一个离散度量，如果对于每一个 ，存在一个实数 使得对于任何 ，都有 .Xx0x)(,xyxy),(例如我们假定 X 是一个集合，定义 使得对于任何 ，有：x,.,0;1),(yyx容易验证 是 X 的一个离散度量因此度量空间(X, )是离散的离散的度量空间或许是我们以前未曾接触过的一类空间，但今后会发现它的性质是简单的．定义 2.2.6 设(X, )是一个度量空间，对于任意给定的实数 ，定义0),(),(yxXxB称为以 为中心， 为半径的球形邻域，简称为 的一个 邻域),(xB定理 2.2.7 度量空间(X, )的球形邻域具有以下基本性质：（1） 每一点 x 至少有一个球形邻域 U，并且点 x 属于它的每一个球形邻域；（2） 对于点 x 的任意两个球形邻域 U，V，存在 x 的一个球形邻域 W 同时包含于 U 与 V中；（3） 如果 y 属于 x 的某一个球形邻城 U，那么 y 有一个球形邻域 .V证明：（1）设 ，对每一个实数 ， 是 的一个球形邻域，这说明 至Xx0),(xBx少有一个球形邻域；由于 ，故 属于它的每一个球形邻域。

),(x（2）设 是 的两个球形邻域，任意选取实数 ，使得),(21Bx和 0，则易见 ，即 满足要求}min{2 ),(),(),(21xBx),(x（3）设 ,令 .显然， ，若 ，则)(xy1y01yz),(),(),()( 1xxz所以 ，这就证明了 .),(xBz1By定义 2.2.8 设 A 是度量空间 X 的一个子集．如果 A 中的每一个点都有一个球形邻域包含于A（即对于每个 ，都存在实数 使得 ，那么称 A 是度量空间 X 中的a0a),(一个开集．例 2.2.9 实数空间 R 中的开区间都是开集．设 ，则开区间 是 R 中的一个开集。