加倍度量空间等价特性证明问询：欧氏与双曲空间覆盖差异

嘿，我把这个关于加倍空间的证明内容按要求整理成Markdown格式啦，看起来清晰多了：

先铺垫个背景：在欧氏空间中，任意$R$-球都能被$C$个$\frac{R}{2}$-球覆盖，这里的$C$是个和$R$无关的常数；但这个结论在双曲空间里可不成立。

定义：加倍空间 #

若存在常数$C$，使得任意球$B$都能被至多$C$个半径为$B$半径一半的球覆盖，那我们就称这个度量空间为加倍空间。

待证问题 #

证明：一个度量空间是加倍空间，当且仅当任意$R$-球可被至多$C$个直径等于或小于$R$的子集覆盖。

证明过程 #

我们先抛出一个核心断言：

若空间是加倍空间，那么任意$R$-球必然能被有限个直径$\leq R$的子集覆盖；反过来，若任意$R$-球都能被至多$C$个直径$\leq R$的子集覆盖，那这个空间一定是加倍空间。

接下来分两部分来证：

必要性（加倍空间 $\Rightarrow$ 满足子集覆盖条件） #

假设$(X,d)$是加倍空间，也就是存在常数$C_1$，不管哪个球$B(x,R)$，都能被至多$C_1$个半径为$\frac{R}{2}$的球覆盖。

• 每个半径为$\frac{R}{2}$的球，它的直径正好是$R$，显然满足“直径等于或小于$R$”的要求。
• 直接拿这$C_1$个小当覆盖子集就行，这不就满足“任意$R$-球可被至多$C_1$个直径$\leq R$的子集覆盖”嘛，必要性就搞定了。

充分性（满足子集覆盖条件 $\Rightarrow$ 加倍空间） #

假设存在常数$C_2$，任意$R$-球$B(x,R)$都能被至多$C_2$个直径$\leq R$的子集${A_i}_{i=1}^{k}$（$k\leq C_2$）覆盖。

• 对每个子集$A_i$，随便挑里面一个点$x_i$，然后考虑球$B(x_i,\frac{R}{2})$。咱们来验证这些小能不能盖住$B(x,R)$：
  随便取$y\in B(x,R)$，那$y$肯定属于某个$A_i$。因为$A_i$的直径$\leq R$，所以子集里任意两点的距离都不超过$R$，那$y$到$x_i$的距离最多是$\frac{\text{diam}(A_i)}{2}\leq \frac{R}{2}$（毕竟直径是子集内最远两点的距离，中心到任意点的距离不会超过直径的一半），所以$y\in B(x_i,\frac{R}{2})$。
  这么一来，${B(x_i,\frac{R}{2})}$就完全覆盖了$B(x,R)$，而且数量最多是$C_2$个，这正好符合加倍空间的定义，充分性也证完了。

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