实数集上是否存在与欧氏拓扑相容的完备非一致局部紧度量？

定义回顾 #

度量空间$(X,d)$是一致局部紧的，若存在$\varepsilon>0$，使得对每个$x∈X$，开球$B_d(x,\varepsilon)$的闭包是紧的。

答案是肯定的，我们可以构造出满足条件的度量。下面一步步拆解思路和构造细节：

核心思路 #

欧氏拓扑下的$\mathbb{R}$本身是局部紧的，但不是紧的。我们需要找一个拓扑等价于欧氏度量（即诱导相同拓扑）的完备度量，同时打破“统一$\varepsilon$”的条件：对于任意给定的$\varepsilon>0$，总能找到某个点$x∈\mathbb{R}$，使得$B_d(x,\varepsilon)$的闭包不是紧集。

具体来说，我们可以对$\mathbb{R}$的“两端”（即$x→+∞$和$x→-∞$的区域）进行“度量拉伸”：让越靠近无穷远的地方，度量下的“单位距离”对应欧氏距离越大。这样，固定$\varepsilon$的开球在无穷远处会覆盖欧氏拓扑下无界的区间，其闭包自然不是紧的；同时我们要保证度量的完备性——任何柯西序列都必须收敛到$\mathbb{R}$中的点，不能出现“跑到无穷远却不收敛”的柯西序列。

具体构造 #

我们分三段定义度量$d$：

1. 当$x,y ≥ 0$时：
   $$d(x,y) = \left|\sqrt{x} - \sqrt{y}\right| + |x - y| \cdot e^{-x}e{-y}$$
2. 当$x,y ≤ 0$时：
   $$d(x,y) = \left|\sqrt{-x} - \sqrt{-y}\right| + |x - y| \cdot e^{x}e{y}$$
3. 当$x ≥ 0, y ≤ 0$时：
   $$d(x,y) = \sqrt{x} + \sqrt{-y} + |x - y| \cdot e^{-x}e{y}$$

验证条件 #

1. 拓扑相容性（与欧氏拓扑一致）

• 在有界集上，$e^{-x}e{-y}$（或$e^x e^y$）有正的下界，此时$d(x,y)$与欧氏度量$|x-y|$等价，局部拓扑和欧氏一致。
• 在$x→+∞$时，$\sqrt{x}$是严格递增趋于无穷的函数，$d(x,y)$的主导项是$\left|\sqrt{x}-\sqrt{y}\right|$：要$d(x,y)$小，必须$\sqrt{y}$接近$\sqrt{x}$，即$y$接近$x$，这和欧氏拓扑的局部性质一致；同理$x→-∞$时也是如此。
• 跨正负半轴时，$d(x,y)$的主导项是$\sqrt{x}+\sqrt{-y}$，当$x≥0,y≤0$且$d(x,y)$很小时，必然$x$和$y$都接近0，这也符合欧氏拓扑的局部性质。

2. 完备性

假设${x_n}$是$d$-柯西序列：

• 如果序列在欧氏拓扑下有界，那么在有界集上$d$与欧氏度量等价，所以${x_n}$在欧氏下收敛，自然在$d$下也收敛。
• 如果序列无界（比如$x_n→+∞$），那么$\sqrt{x_n}→+∞$，此时$d(x_n,x_m) ≥ \left|\sqrt{x_n}-\sqrt{x_m}\right|$，这会导致${x_n}$不可能是柯西序列（因为$\sqrt{x_n}$趋于无穷，差不会趋于0）。同理$x_n→-∞$时也不可能是柯西序列。
  因此所有$d$-柯西序列都收敛到$\mathbb{R}$中的点，$d$是完备度量。

3. 非一致局部紧性

对于任意$\varepsilon>0$，取足够大的$x> \left(\frac{\varepsilon}{2}\right)^2$，考虑开球$B_d(x,\varepsilon)$：
当$y ≥ x - \left(\sqrt{x} - \frac{\varepsilon}{2}\right)^2$时，$\left|\sqrt{x}-\sqrt{y}\right| < \frac{\varepsilon}{2}$，而$|x-y|e^{-x}e{-y} ≤ |x-y|e^{-2x}$，当$x$足够大时这一项远小于$\frac{\varepsilon}{2}$，因此$d(x,y) < \varepsilon$，即$y ∈ B_d(x,\varepsilon)$。
注意到$x - \left(\sqrt{x} - \frac{\varepsilon}{2}\right)^2 = \varepsilon\sqrt{x} - \left(\frac{\varepsilon}{2}\right)^2$，当$x→+∞$时，这个值也趋于$+∞$，所以$B_d(x,\varepsilon)$包含了$[\varepsilon\sqrt{x} - (\varepsilon/2)^2, +∞)$的一部分，其闭包在欧氏拓扑下是无界的，因此不是紧集（紧性是拓扑性质，与度量无关）。
这说明不存在统一的$\varepsilon>0$，使得所有$B_d(x,\varepsilon)$的闭包都是紧的，即$(ℝ,d)$不是一致局部紧的。

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