漫步数学分析八——集合边界

如果我们考虑$R^2$中的单位圆，那么其边界显然就是圆。但是对于更加复杂的情况，例如有理数，它的边界是什么在直观上就不明显，因此我们需要精确的定义。

$\textbf{定义6}$ 对于$R^2$中的集合$A$，边界定义为集合

$$\text{bd}(A)=\text{cl}(A)\cap\text{cl}(R^n\backslash A)$$

有时候用符号$\partial A=\text{bd}(A)$。

所以根据定理$\textrm{3(ii)}$，$\text{bd}(A)$是闭集。另外需要注意的是$\text{bd}(A)=\text{bd}(R^n\backslash A)$。根据定理5，我们可以推出如下描述的边界。

$\textbf{定理6}$ 令$A\subset R^n$，那么$x\in\text{bd}(A)$当且仅当对每个$\varepsilon>0,D(x,\varepsilon)$包含$A$与$R^n\backslash A$的点(这些点可能是$x$本身)，如图1所示。

图1

原始的定义说明$\text{bd}(A)$是$A$与$R^n\backslash A$之间的边界，这也就是定理6所说明的，因此定理6直观上更加清晰。

$\textbf{例1：}$令$A=\{x\in R|x\in[0,1],x\text{是有理数}\}$，求$\text{bd}(A)$。

$\textbf{解：}$$\text{bd}(A)=[0,1]$。因为对于任意$\varepsilon>0,x\in[0,1],D(x,\varepsilon)=(x-\varepsilon,x+\varepsilon)$ 包含有理数与无理数，也可以用原始定义来证明这个结论。这个实例说明如果$A\subset B$，不一定$\text{bd}(A)\subset\text{bd}(B)$(令$A$如上面所示，$B$是$R$中的$[0,1]$)

$\textbf{例2：}$如果$x\in\text{bd}(A)$，$x$必须是聚点吗？

$\textbf{解：}$答案为否。令$A=\{0\}\subset R$，那么$A$没有聚点，但是$\text{bd}(A)=0$。

$\textbf{例3：}$令$S=\{(x,y)\in R^2|x^2-y^2>1\}$，求$\text{bd}(S)$。

$\textbf{解：}$$S$如图2所示，很明显$\text{bd}(S)$有双曲线$x^2-y^2=1$组成。

图2