实分析疑问：证明集合S的内点集是度量空间E的开子集

嘿，我完全懂你的困惑——这玩意儿乍一看真像“自己证明自己”的循环逻辑，但其实核心是搞清楚两个不同的“内点”层面：一个是点相对于原集合$S$的内点，另一个是我们要证的——内点集本身作为$E$的子集，它里面的每个点都是它自己的内点。咱们一步步捋清楚：

先把定义钉死，避免混淆：

• 记$S$的内点集为$\text{int}(S)$，严格定义是：$\text{int}(S) = { p \in E \mid \exists r > 0, B(p, r) \subseteq S }$，这里$B(p, r)$是度量空间$E$中以$p$为中心、$r$为半径的开球。
• 要证$\text{int}(S)$是开集，根据开集的定义，我们需要证明：对任意$q \in \text{int}(S)$，存在$\delta > 0$，使得$B(q, \delta) \subseteq \text{int}(S)$。

接下来是关键的证明步骤：

1. 任取一个$q \in \text{int}(S)$，根据内点的定义，必然存在某个$r > 0$，让开球$B(q, r)$完全包含在$S$里，也就是$B(q, r) \subseteq S$。
2. 现在我们要说明：这个$B(q, r)$里的每一个点，都是$S$的内点（也就是都属于$\text{int}(S)$）。怎么证？
   • 随便取$x \in B(q, r)$，因为$B(q, r)$本身是度量空间里的开球，而开球的性质就是：开球里的每个点都是这个开球的内点。
   • 具体来说，取$\varepsilon = r - d(q, x)$（$d$是$E$上的度量），因为$x \in B(q, r)$，所以$d(q, x) < r$，$\varepsilon$肯定是正数。根据三角不等式，所有满足$d(x, y) < \varepsilon$的$y$，都有$d(q, y) \leq d(q, x) + d(x, y) < d(q, x) + (r - d(q, x)) = r$，所以$B(x, \varepsilon) \subseteq B(q, r)$。
   • 而我们已经知道$B(q, r) \subseteq S$，所以$B(x, \varepsilon) \subseteq S$——这就满足了$x$是$S$内点的定义，也就是$x \in \text{int}(S)$。
3. 既然$B(q, r)$里的每个点都属于$\text{int}(S)$，那就是$B(q, r) \subseteq \text{int}(S)$。这正好符合“$q$是$\text{int}(S)$的内点”的定义。
4. 因为$q$是我们从$\text{int}(S)$里随便挑的，所以$\text{int}(S)$里的每一个点都是它自己的内点，因此$\text{int}(S)$是$E$的开子集。

解开你的“循环疑惑” #

你觉得命题自带结论，是因为把“点是$S$的内点”和“点是$\text{int}(S)$的内点”混为一谈了：

• 前者要求点有一个开球落在$S$里；
• 后者要求点有一个开球落在$\text{int}(S)$里。

这两个要求的“目标集合”完全不同，我们需要用第一个开球（落在$S$里的那个），通过开球本身的开性，构造出第二个开球（落在$\text{int}(S)$里的），这才是证明的核心，并不是循环论证哦。

内容的提问来源于stack exchange，提问作者Nicklovn