定义空间 $\mathbb B$ 为：

定义 $\mathbb B$ 上的函数 $d_{\mathbb B}(x,y)$：

• $d_{\mathbb B}(x,x)=0$
• $d_{\mathbb B}(x,y)=\dfrac{1}{\min\limits_{x_i\not=y_i}(i)}$

求证 $d_{\mathbb B}$ 是 $\mathbb B$ 的度量。