拓扑空间中集合的凝聚点和导集

拓扑空间中集合的导集

题目：拓扑空间中集合的导集

摘要：如果在一个拓扑空间中给定一个子集，那么拓扑空间中的每一个点相对于这个子集而言“处境”各不相同，因此可以对它们进行分类处理。本文介绍了拓扑空间中集合的导集。 正文：

1、拓扑空间的定义：

设X是一个集合，T是X的一个子集族，如果T满足如下条件： （1）X， ∈T；（2）若A，B∈T，则A∩B∈T；（3）若 ∈T，则 ，则称T是X的一个拓扑。

如果T是集合X的一个拓扑，则称偶对（X，T）是一个拓扑空间或称集合X是一个相对于拓扑T的拓扑空间，或当拓扑T早已约定或在行文中已有说明而无须指出时，则称集合X是一个拓扑空间。 2、导集的定义

设X是一个拓扑空间，AX．如果点x∈X的每一个邻域U中都有A中异于x的点，即U∩（A-{x}）≠，则称点x是集合A的一个凝聚点或极限点．集合A的所有凝聚点构成的集合称为A的导集，记作d（A）．如果x∈A并且x不是A的凝聚点，即存在x的一个邻域U使得U∩（A-{x}）＝，则称x为A的一个孤立点．

即:(牢记)

3、 离散空间中集合的凝聚点和导集．

设X是一个离散空间，A是X中的一个任意子集．由于X中的每一个单点集都是开集，因此如果x∈X，则X有一个邻域{x}，

吉首大学数学与统计学院 点集拓扑教案

第一章 拓扑空间与拓扑不变量

数学分析中的连续函数的定义与和值域都是欧氏空间（直线、平面或空间）或是其中的一部分。本章将首先把连续函数的定义域和值域的主要特征抽象出来用以定义度量空间，将连续函数的主要特征抽象出来用以定义度量空间的连续映射。然后将两者再度抽象，给出拓扑空间和拓扑空间之间的连续映射。随后逐步提出拓扑空间的一些基本问题如邻域、开集、闭集、闭包、聚点、导集、内部、边界、序列、极限等。进一步引入紧致性、连通性、可数性与分离性等重要的拓扑不变性

§1.1拓扑空间、开集、闭集、聚点、闭包、邻域

一、问题的引入

数学分析里我们知道，在连续函数的定义中只涉及距离这个概念，定义域是一维欧氏空间,即实数空间，两点之间的距离d(x,y)=|x-y|,即两两实数之差的绝对值,定义域是n维欧氏空间，两点x=(x1 ,x2,?，xn),Y=(y1,y2,?，yn) 之间的距离 d(x,y)=

(x1?y1)2?…+(xn?yn)2 。

无论是几维空间，它的距离都有下面的性质：

1. d(x,y)≥0 , ?x,y∈R ; 2. d(x,y) = 0 ? x = y ;

3.

第4章 连通性重要知识点

本章讨论拓扑空间的几种拓扑不变性质，包括连通性，局部连通性和弧连通性，并且涉及某些简单的应用．这些拓扑不变性质的研究也使我们能够区别一些互不同胚的空间． §4．1

连通空间

本节重点: 掌握连通与不连通的定义.

掌握如何证明一个集合的连通与否?

掌握连通性的拓扑不变性、有限可积性、可商性。

我们先通过直观的方式考察一个例子．在实数空间R中的两个区间（0，l）和［1，2），尽管它们互不相交，但它们的并（0，1）U［l，2）＝（0，2）却是一个“整体”；而另外两个区间（0，1）和（1，2），它们的并（0，1）U（1，2）是明显的两个“部分”．产生上述不同情形的原因在于，对于前一种情形，区间（0，l）有一个凝聚点1在［1，2）中；而对于后一种情形，两个区间中的任何一个都没有凝聚点在另一个中．我们通过以下的定义，用术语来区别这两种情形．

定义4．1．1设A和B是拓扑空间X中的两个子集．如果 (A?B)?(B?A)?? 则称子集A和B是隔离的．

明显地，定义中的条件等价于A?B?? 和 B?A?? 同时成立，也就是说，A与B无交并且其中的任何一

第3章 子空间（有限）,积空间，商空间

在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法．为了避免过早涉及某些逻辑上的难点，在§3.2中我们只讨论有限个拓扑空间的积空间，而将一般情形的研究留待以后去作．

§3.1 子空间

本节重点：掌握度量子空间、拓扑空间子空间的概念，子空间的拓扑与大空间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集之间的关系及表示法． 讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集，按某种“自然的方式”赋予它一个拓扑使之成为一个拓扑空间，以便将它作为一个独立的对象进行考察．所谓“自然的方式”应当是什么样的方式？为回答这个问题，我们还是先从度量空间做起，以便得到必要的启发．

考虑一个度量空间和它的一个子集．欲将这个子集看作一个度量空间，必须要为它的每一对点规定距离．由于这个子集中的每一对点也是度量空间中的一对点，因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离当然是十分自然的．我们把上述想法归纳成定义：

定义3.1.1 设（X，ρ）是一个度量空间，Y是X的一个子集.因此，Y×Y然

：Y×Y→R是Y的一个度量（请自行验证）．我们称Y的度量

点集拓扑学

合肥工业大学数学学院

预备知识

1.点集拓扑的定义

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

2.点集拓扑的起源

点集拓扑学产生于19世纪。G.康托尔建立了集合论，定义了欧几里得空间中的开集、闭集、导集等概念，获得了欧几里得空间拓扑结构的重要结果。1906年M.-R.弗雷歇把康托尔的集合论与函数空间的研究统一起来，建立了广义分析，可看为拓扑空间理论建立的开始。

3.一些参考书籍

（1）《拓扑空间论》，高国士，科学出版社，2000年7月第一版 （2）《基础拓扑讲义》，尤承业，北京大学出版社，1997年11月第一版 （3）《一版拓扑学讲义》

点集拓扑学

合肥工业大学数学学院

预备知识

1.点集拓扑的定义

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

2.点集拓扑的起源

点集拓扑学产生于19世纪。G.康托尔建立了集合论，定义了欧几里得空间中的开集、闭集、导集等概念，获得了欧几里得空间拓扑结构的重要结果。1906年M.-R.弗雷歇把康托尔的集合论与函数空间的研究统一起来，建立了广义分析，可看为拓扑空间理论建立的开始。

3.一些参考书籍

（1）《拓扑空间论》，高国士，科学出版社，2000年7月第一版 （2）《基础拓扑讲义》，尤承业，北京大学出版社，1997年11月第一版 （3）《一版拓扑学讲义》

第3章 子空间（有限）,积空间，商空间

在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法．为了避免过早涉及某些逻辑上的难点，在§3.2中我们只讨论有限个拓扑空间的积空间，而将一般情形的研究留待以后去作．

§3.1 子空间

本节重点：掌握度量子空间、拓扑空间子空间的概念，子空间的拓扑与大空间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集之间的关系及表示法．

讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集，按某种“自然的方式”赋予它一个拓扑使之成为一个拓扑空间，以便将它作为一个独立的对象进行考察．所谓“自然的方式”应当是什么样的方式？为回答这个问题，我们还是先从度量空间做起，以便得到必要的启发．

考虑一个度量空间和它的一个子集．欲将这个子集看作一个度量空间，必须要为它的每一对点规定距离．由于这个子集中的每一对点也是度量空间中的一对点，因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离当然是十分自然的．我们把上述想法归纳成定义：

定义3.1.1 设（X，ρ）是一个度量空间，Y是X的一个子集.因此，Y×YX×X．显然

：Y×Y→R是Y的一个度量（请自行验证）．我们称Y

第3章 子空间（有限）,积空间，商空间

在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法．为了避免过早涉及某些逻辑上的难点，在§3.2中我们只讨论有限个拓扑空间的积空间，而将一般情形的研究留待以后去作．

§3.1 子空间

本节重点：掌握度量子空间、拓扑空间子空间的概念，子空间的拓扑与大空间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集之间的关系及表示法．

讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集，按某种“自然的方式”赋予它一个拓扑使之成为一个拓扑空间，以便将它作为一个独立的对象进行考察．所谓“自然的方式”应当是什么样的方式？为回答这个问题，我们还是先从度量空间做起，以便得到必要的启发．

考虑一个度量空间和它的一个子集．欲将这个子集看作一个度量空间，必须要为它的每一对点规定距离．由于这个子集中的每一对点也是度量空间中的一对点，因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离当然是十分自然的．我们把上述想法归纳成定义：

定义3.1.1 设（X，ρ）是一个度量空间，Y是X的一个子集.因此，Y×YX×X．显然

：Y×Y→R是Y的一个度量（请自行验证）．我们称Y

第3章 子空间（有限）,积空间，商空间

在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法．为了避免过早涉及某些逻辑上的难点，在§3.2中我们只讨论有限个拓扑空间的积空间，而将一般情形的研究留待以后去作．

§3.1 子空间

本节重点：掌握度量子空间、拓扑空间子空间的概念，子空间的拓扑与大空间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集之间的关系及表示法．

讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集，按某种“自然的方式”赋予它一个拓扑使之成为一个拓扑空间，以便将它作为一个独立的对象进行考察．所谓“自然的方式”应当是什么样的方式？为回答这个问题，我们还是先从度量空间做起，以便得到必要的启发．

考虑一个度量空间和它的一个子集．欲将这个子集看作一个度量空间，必须要为它的每一对点规定距离．由于这个子集中的每一对点也是度量空间中的一对点，因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离当然是十分自然的．我们把上述想法归纳成定义：

定义3.1.1 设（X，ρ）是一个度量空间，Y是X的一个子集.因此，Y×YX×X．显然

：Y×Y→R是Y的一个度量（请自行验证）．我们称Y

第3章 子空间（有限）,积空间，商空间

在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法．为了避免过早涉及某些逻辑上的难点，在§3.2中我们只讨论有限个拓扑空间的积空间，而将一般情形的研究留待以后去作．

§3.1 子空间

本节重点：掌握度量子空间、拓扑空间子空间的概念，子空间的拓扑与大空间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集之间的关系及表示法．

讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集，按某种“自然的方式”赋予它一个拓扑使之成为一个拓扑空间，以便将它作为一个独立的对象进行考察．所谓“自然的方式”应当是什么样的方式？为回答这个问题，我们还是先从度量空间做起，以便得到必要的启发．

考虑一个度量空间和它的一个子集．欲将这个子集看作一个度量空间，必须要为它的每一对点规定距离．由于这个子集中的每一对点也是度量空间中的一对点，因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离当然是十分自然的．我们把上述想法归纳成定义：

定义3.1.1 设（X，ρ）是一个度量空间，Y是X的一个子集.因此，Y×YX×X．显然

：Y×Y→R是Y的一个度量（请自行验证）．我们称Y