赋范空间开球的非单点性及紧子集场景下的相关问题

嘿，这个问题问得挺关键的，咱们一步步来拆解：

第一个问题：非平凡赋范空间中开球的非单点性 #

首先得明确：如果你的赋范空间$X$是平凡的——也就是整个空间只有$x$这一个元素（其实就是零空间），那肯定没办法找到其他元素。但咱们平时讨论的绝大多数赋范空间都是非平凡的（比如$\mathbb{R}$、$\mathbb{R}^n$、连续函数空间这些），这时候答案是肯定的，一定能找到$y≠x$在$B_\varepsilon(x)$里。

怎么证明呢？很简单，因为$X$非平凡，就存在某个$z∈X$，$z≠0$（也就是$z≠x - x$）。那我们可以构造一个点：
y = x + (ε/2) * (z / ||z||_X)

咱们算一下范数：
||x - y||_X = || (ε/2)*(z/||z||_X) ||_X = (ε/2)*(||z||_X / ||z||_X) = ε/2
显然小于$\varepsilon$，所以$y$在开球里。而且$y≠x$，因为$z≠0$，加的那一项不是零元，完美。

第二个问题：紧子集里的情况变化 #

这就不一样了，确实可能出现相对于$M$的开球（也就是$B_\varepsilon(x)∩M$）里只有$x$自己的情况。

举两个直观的例子：

• 取$X=\mathbb{R}$，$M={0,1}$，这是个紧子集（有限集都是紧的）。取$x=0$，$\varepsilon=0.5$，那$B_{0.5}(0)∩M$就是${0}$，找不到其他元素。
• 更极端的情况：$M$就是单点集${x}$，那不管$\varepsilon$多大，交集都只有$x$。

为什么会这样？因为紧子集不一定是“无限稠密”的，它可以是有限集，甚至单点集。在子空间拓扑下，这些有限紧子集里的点，只要$\varepsilon$足够小，开球就不会包含子集里的其他点。哪怕是无限紧集（比如$[0,1]⊆\mathbb{R}$），虽然大部分开球都有很多点，但如果是离散紧空间（比如有限集），就会出现单点开球的情况。

备注：内容来源于stack exchange，提问作者Karl Tolzmann