习题 5, § 2

令$X$为空间的度量，$d$为其度量。对于$X$的点的每个对$(x, y)$，令$d_0(x, y)$表示实数$\alpha > 0$的下确界，使得$x$和$y$可以通过$V_\alpha$链连接（章II, § 4, no. 4）。证明 $d_0$ 是 $X$ 上的伪度量，并且与由 $X$ (no. 1) 上的伪度量 $d_0$ 定义的均匀空间关联的度量空间是超度量空间 (习题 4)。