Standard Bounded Metric is Metric/Topological Equivalence

Theorem
Let $M = \struct {A, d}$ be a metric space.

Let $d_2: A^2 \to \R$ be the metric on $M$ defined as:
 * $\forall \tuple {x, y} \in A^2: \map {d_2} {x, y} = \min \set {1, \map d {x, y} }$

$d_2$ is topologically equivalent to $d$.

Proof
That $d_2$ forms a metric on $M$ is demonstrated in Minimum of 1 and Metric forms Metric.

We have that:
 * $\forall x, y \in A^2: \map {d_2} {x, y} \le \map d {x, y}$

Hence:
 * $\map {B_\epsilon} {x; d} \subseteq \map {B_\epsilon} {x; d_2}$

where $\map {B_\epsilon} {x; d}$ denotes the open $\epsilon$-ball of $x$ in $\struct {A, d}$.

Hence:
 * if $U$ is $d_2$-open, the $U$ is $d$-open

where $U$ is a subset of $A$.

Let $U$ be $d$-open.

Let $x \in U$.

Then $\map {B_\epsilon} {x; d} \subseteq U$ for some $\epsilon \in \r_{>0}$.

Let us take $\epsilon < 1$.

Then:
 * $\map {B_\epsilon} {x; d_2} = \map {B_\epsilon} {x; d} \subseteq U$

demonstrating that $U$ is $d_2$-open.

The result follows.