数学分析(十六)-多元函数的极限与连续1-平面点集与多元函数1-平面点集2：开集、闭集、开域、闭域、区域、有界点集、无界点集

根据点集中所属点的特征,我们再来定义一些重要的平面点集.

开集一一若平面点集所属的每一点都是 $E$ 的内点 (即 int $E=E$ ), 则称 $E$为开集.
闭集一一若平面点集 $E$ 的所有聚点都属于 $E$, 则称 $E$ 为闭集. 若点集 $E$没有聚点,这时也称 $E$ 为闭集.

在前面列举的平面点集中, (2) 所表示的点集 $C$ 是开集, (3) 所表示的点集$S$ 是闭集, (4) 所表示的点集 $D$ 既非开集, 又非闭集,而且 (1)所表示的点集${\mathbf{R}}^2$ 既是开集又是闭集. 此外,还约定空集 $\varnothing$既是开集又是闭集. 可以证明,在一切平面点集中, 只有 ${\mathbf{R}}^2$与$\varnothing$ 是既开又闭的点集.

开域一一若非空开集 $E$ 具有连通性, 即 $E$中任意两点之间都可用一条完全含于 $E$的有限折线(由有限条直线段连接而成的折线) 相连接, 则称 $E$ 为开域(即开域就是非空连通开集).
闭域一一开域连同其边界所成的点集称为闭域.
区域一一开域、闭域,或者开域连同其一部分界点所成的点集,统称为区域.

在上述诸例中, (2) 是开域, (3) 是闭域, (1) 既是开域又是闭域.

又如

$$E=\{(x,y)\mid xy>0\}(5)$$

虽然是开集,但因 I、III象限之间不具有连通性,所以它不是开域,也不是区域.

有界点集一对于平面点集 $E$, 若存在某一正数 $r$, 使得

$$E\subset U(O;r),$$

其中 $O$ 是坐标原点 (也可以是其他固定点), 则称 $E$ 是有界点集. 否则就是无界点集.上述 (2)、(3)、(4) 都是有界点集, (1)、(5) 则是无界点集.

$E$ 为有界点集的另一等价说法是: 存在矩形区域$D=[a,b]\times [c,d]\supset E$.

点集的有界性还可用点集的直径来反映, 所谓点集 $E$ 的直径, 就是

$$d(E)=\underset{P_1,P_2\in E}{\sup }\rho \left(P_1,P_2\right),$$

其中 $\rho \left(P_1,P_2\right)$ 表示 $P_1$ 与 $P_2$两点之间的距离, 当 $P_1,P_2$ 的坐标分别为$\left(x_1,y_1\right)$ 和 $\left(x_2,y_2\right)$ 时, 则

$$\rho \left(P_1,P_2\right)=\sqrt{{\left(x_1-x_2\right)}^2+{\left(y_1-y_2\right)}^2}.$$

于是, 当且仅当 $d(E)$ 为有限值时 $E$ 是有界点集.

根据距离概念, 读者不难证明如下三角形不等式, 即对 ${\mathbf{R}}^2$上任何三点 $P_1,P_2$ 和 $P_3$, 皆有

$$\rho \left(P_1,P_2\right)⩽\rho \left(P_1,P_3\right)+\rho \left(P_2,P_3\right).$$

例 2
证明: 对任何 $S\subset {\mathbf{R}}^2,tialS$ 恒为闭集.

证
如图 16-2 所示, 设 $x_0$ 为 $tialS$ 的任一聚点, 要证$x_0\in tialS$. 为此,任给 $\epsilon >0$, 由聚点定义, 存在$y\in U^{\circ }\left(x_0;\epsilon \right)\cap tialS$. 又$y$ 是 $S$ 的界点, 所以对任意$U(y;\delta )\subset U\left(x_0;\epsilon \right),U(y;\delta )$上既有 $S$ 的点, 又有非 $S$ 的点. 于是$U\left(x_0;\epsilon \right)$ 上也既有 $S$ 的点, 又有非 $S$的点,由 $\epsilon$ 的任意性, 推知 $x_0$ 是 $S$ 的界点, 即$x_0\in tialS$, 这就证明了 $tialS$ 是闭集.