多元函数第七：相对拓扑

一般拓扑学，最重要的作用，是将邻域的概念进行抽象。这样的好处是使得连续函数的性质得以被最大限度地推广。我们在连续函数（1）中已经说明了，如何通过邻域来定义连续函数。因此，对邻域概念的推广，本质上是对连续函数概念的推广。连续函数（1）中的邻域是通过欧式球来定义的，由此得到的拓扑称为是欧式拓扑。由欧式拓扑推广的一个最直接的拓扑，应该是相对拓扑。相对拓扑的概念，可能很多人觉得陌生，但是由它得到的性质，却是大家耳熟能详的。如左连续，右连续，左极限，右极限等。

相对拓扑，是由相对邻域构造出来的。

定义 给定集合$S\subseteq {\mathbb{R}}^n$。对于任意的点$x\in S$，它关于集合S的相对邻域$U$满足$U=S\cap W$，其中$W$是以点$x$为球心的欧式球。

注 当$x$是$S$的内点，那么可以构造欧式邻域$W\subset S$，此时$x$的相对邻域$U=S\cap W=W$也是$x$的一个欧式邻域。特别地，当$S$是一个开集，那么$S$的每个点都存在包含于$S$的欧式邻域。这就是为什么，我们在考虑欧式拓扑的时候，总是假设它的定义域是一个开集。然而，当$S$不是开集时，那么$S$中的边界点不存在包含于$S$的欧式邻域。这样，由欧式拓扑推导出来的连续函数的性质，在边界点上不成立。引入相对邻域的概念，其目的就是解决边界点上连续函数性质的问题。关于内点和边界点的概念，参见拓扑初步（1）。

定义 我们说函数$f$在$x_0$点连续，如果对于$y_0=f(x_0)$的任何欧式邻域V都存在$x_0$上的相对邻域U使得$f(U)\subset V$。如果$f$在$S$的每个点都连续，那么我们称$f$在$S$上连续。

注 上面的定义中，我们暗含了值域是基于欧式拓扑，而定义域是基于$S$上的拓扑。在定义域和值域上定义不同的拓扑是很正常的。抛开拓扑的概念，我们在定义域和值域的维数都可能不同。例如，定义域可能是n维空间${\mathbb{R}}^n$，值域是一个1维的实数空间$\mathbb{R}$。而在不同维数的集合上，其对应的拓扑必然是不同的。

例 设集合$S=[a,b]$是一个闭区间。给定点$x=a$的一个欧式邻域$W=(x-\eta ,x+\eta )$，那么其对应的相对邻域$U$可能有如下情况：

• 当 η ≤