2016新编点集拓扑学课件

《2016新编点集拓扑学课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、点集拓扑学合肥工业大学数学学院预备知识1.点集拓扑的定义《点集拓扑学》课程是一门现代数学基础课程，属数学与应用数学专业的理论课。是数学与应用数学专业的主干课。点集拓扑学（PointSetTopology），有时也被称为一般拓扑学（GeneralTopology），是数学的拓扑学的一个分支。它研究拓扑空间以及定义在其上的数学构造的基本性质。这一分支起源于以下几个领域：对实数轴上点集的细致研究，流形的概念，度量空间的概念，以及早期的泛函分析。它的表述形式大概在1940年左右就已经成文化了。通过这种可以为所有数学分支适用的表述形式，

2、点集拓扑学基本上抓住了所有的对连续性的直观认识。2.点集拓扑的起源点集拓扑学产生于19世纪。G.康托尔建立了集合论，定义了欧几里得空间中的开集、闭集、导集等概念，获得了欧几里得空间拓扑结构的重要结果。1906年M.-R.弗雷歇把康托尔的集合论与函数空间的研究统一起来，建立了广义分析，可看为拓扑空间理论建立的开始。3.一些参考书籍（1）《拓扑空间论》，高国士，科学出版社，2000年7月第一版（2）《基础拓扑讲义》，尤承业，北京大学出版社，1997年11月第一版（3）《一版拓扑学讲义》，彭良雪，科学出版社，2011年2月第一版第一

3、章集合论初步在这一章中我们介绍有关集合论的一些基本知识．从未经定义的“集合”和“元素”两个概念出发给出集合运算、关系、映射以及集合的基数等方面的知识等。这里所介绍的集合论通常称为“朴素的集合论”，这对大部分读者已经是足够了．那些对集合的理论有进一步需求的读者，例如打算研究集合论本身或者打算研究数理逻辑的读者，建议他们去研读有关公理集合论的专著。1.1集合的基本概念集合这一概念是容易被读者所理解的，它指的是由某些具有某种共同特点的个体构成的集体。例如我们常说“正在这里听课的全体学生的集合”,“所有整数的集合”等等．集合也常称为集

4、。集合（即通常所谓的“集体”）是由它的元素（即通常所谓的“个体”）构成的．例如正在这里听课的全体学生的集合以正在听课的每一个学生为它的元素；所有整数的集合以每一个整数为它的元素．元素也常称为元，点或成员．集合也可以没有元素．例如平方等于2的有理数的集合，既大于1又小于2的整数的集合都没有任何元素，这种没有元素的集合我们称之为空集，记作。此外，由一个元素构成的集合，我们常称为单点集．用文句来描述一个集合由哪些元素构成（像前面所作的那样），是定义集合的一个重要方式．此外，我们还通过以下的方式｛x︱关于x的一个命题P}表示使花括号中

5、竖线后面的那个命题P成立的所有元素x构成的集合．集合表示方式中的竖线“︱”也可用冒号“:”或分号“;”来代替．此外，也常将一个集合的所有元素列举出来再加上花括号以表示这个集合．我们常用：N表示全体正整数构成的集合，称为正整数集；Z表示全体整数构成的集合，称为整数集；Q表示全体有理数构成的集合，称为有理数集；R表示全体实数构成的集合，称为实数集。我们从前在数学的各种科目中学过诸如函数、偏序、运算以及等价等种种概念，它们的一个共同的特点在于给出了某些给定集合的元素之间的某种联系．为了明确地定义它们，我们先定义“关系”，而为了定义关

6、系，又必需先有两个集合的笛卡儿积这个概念。定义1.1.1设X和Y是两个集合．集合称为X与Y的笛卡儿积，记作，读为X叉乘Y。其中是一个有序偶，称为的第一个坐标，称为的第二个坐标．X称为的第一个坐标集，Y称的第二个坐标集．集合X与自身的笛卡儿积称为X的2重（笛卡儿）积，通常简单记作.（有序偶的定义请参考书本）1.2集合的基本运算（略。。。）1.3关系定义1.3.1设X，Y是两个集合，如果R是X与Y的笛卡儿积的一个子集，即，那么就称R是从X到Y的一个关系。如果，那么我们称x与y是R相关的，并且记作．若，则Y的子集称为集合A对于关系R

7、而言的象集，或者简单地称为集合A的象集，或者称为集合A的R象，并且记作，称为关系R的值域．关系的概念是十分广泛的，大家很快便会看到，以前在另外的数学学科中学过的函数（映射），等价，序，运算等等概念都是关系的特例．定义1.3.2设R是从集合X到集合Y的一个关系，即，这时笛卡儿积的子集是从集合Y到集合X的一个关系，我们称它为关系R的逆，并且记作。如果，X的子集是集合B的象，我们也常称它为集合B对于关系R而言的原象，或者集合B的R原象。特别，关系的值域也称为关系R的定义域．定义1.3.3设R是从集合X到集合Y的一个关系，S是从集合Y

8、到集合Z的一个关系，称关系为关系R与关系S的复合或积，记作SOR.定理1.3.4设R是从集合X到集合Y的一个关系，S是从集合Y到集合Z的一个关系，T是从集合Z到集合U的一个关系．则(l)；(2)；(3)另外，对于X的任意两个子集A和B，我们有：（4）；（5）；（6）.定义1.