任何集合 S S S都可以定义内部 i n t ( S ) int(S) int(S),边界 B d ( S ) Bd(S) Bd(S)和外部 e x t ( S ) ext(S) ext(S)这三个集合。而对于集合 T = i n t ( S ) T=int(S) T=int(S)来说,它也有它的内部 i n t ( T ) = i n t ( i n t ( S ) ) int(T)=int(int(S)) int(T)=int(int(S)),边界 B d ( T ) = B d ( i n t ( S ) ) Bd(T)=Bd(int(S)) Bd(T)=Bd(int(S))和外部 e x t ( T ) = e x t ( i n t ( S ) ) ext(T)=ext(int(S)) ext(T)=ext(int(S))。类似地, S S S的边界也有内部、边界和外部, S S S的外部也有内部、外部和边界。那么这些集合有什么性质呢?这是本文要解决的问题。
在步入正题之前,首先简单介绍集合 S S S与补集 S c S^c Sc的内部,外部与边界的关系。
首先,由边界定义的对称性可以知道
B d ( S ) = B d ( S c ) 。 Bd(S)=Bd(S^c)。 Bd(S)=Bd(Sc)。
由此,我们立即可以得到
i n t ( S ) = e x t ( S c ) 。 int(S)=ext(S^c)。 int(S)=ext(Sc)。
因为设 x x x是S的内点,那么 x ∉ S c x\notin S^c x∈/Sc。这样 x x x不可能是 S c S^c Sc的内点。同时, x x x也不可能是 S c S^c Sc的边界点,否则 x x x也是 S S S的边界点。综上, x x