如果我们考虑 R2 中的单位圆,那么其边界显然就是圆。但是对于更加复杂的情况,例如有理数,它的边界是什么在直观上就不明显,因此我们需要精确的定义。
定义6
对于
R2
中的集合
A
,边界定义为集合
有时候用符号 ∂A=bd(A) 。
所以根据定理 3(ii) , bd(A) 是闭集。另外需要注意的是 bd(A)=bd(Rn∖A) 。根据定理5,我们可以推出如下描述的边界。
定理6
令
A⊂Rn
,那么
x∈bd(A)
当且仅当对每个
ε>0,D(x,ε)
包含
A
与
图1
原始的定义说明
例1: 令 A={x∈R|x∈[0,1],x是有理数} ,求 bd(A) 。
解:
bd(A)=[0,1]
。因为对于任意
ε>0,x∈[0,1],D(x,ε)=(x−ε,x+ε)
包含有理数与无理数,也可以用原始定义来证明这个结论。这个实例说明如果
A⊂B
,不一定
bd(A)⊂bd(B)
(令
A
如上面所示,
例2: 如果 x∈bd(A) , x 必须是聚点吗?
例3: 令 S={(x,y)∈R2|x2−y2>1} ,求 bd(S) 。
解:
S
如图2所示,很明显
图2