【高等数学笔记】证明：闭包是包含集合的最小的闭集

本文用到的定义和定理在前两篇文章中给出：
#1【高等数学笔记】证明：闭包一定是闭集
#2【高等数学笔记】闭包、孤立点、导集、内点、边界的关系

---

我们已经在#1的定理3证明了闭包是闭集。那么证明本文的标题等价于证明
定理9 设$A\subseteq R^n$，则不存在闭集$B$，使得$A\subseteq B⫋\bar{A}$。
证明： 假设存在闭集$B$，使得$A\subseteq B⫋\bar{A}$。那么，存在点$a\in \bar{A}$使得$a\notin B$。由于$A\subseteq B$，故$a\notin A$。根据#1定理1，$\forall \epsilon >0$，$\mathring{U}(a,\epsilon )\cap A\ne \varnothing$，结合$A\subseteq B$有$\mathring{U}(a,\epsilon )\cap B\ne \varnothing$，故$a\in B^{\prime }$。因为$B$是闭集，根据闭集的定义知$B^{\prime }\subseteq B$。而$\exists a\in B^{\prime }$但$a\notin B$，所以$B^{\prime }⊈B$，与$B$是闭集矛盾。因此假设不成立，定理得证。