How to prove that this series is a metric: $d(x,y):=\sum_{i=0}^\infty \frac{|x_i -y_i|}{2^i (1+|x_i-y_i|)}$
I have to prove that this is a metric: $$d(x,y):=\sum_{i=0}^\infty \frac{|x_i -y_i|}{2^i (1+|x_i-y_i|)}$$ The only thing that I can't prove is the triangle inequality, it's really hard. I know that $|x_i -y_i|\le |x_i -z_i|+|z_i -y_i|$, and I want to get: $$\frac{1}{2^i (1+|x_i-y_i|)} \le \frac{1}{2^i (1+|x_i-z_i|)}+\frac{1}{2^i (1+|z_i-y_i|)}$$ (I think...) The closest thing I've got is: $2^i (1+|x_i-y_i|)\le 2^i (1+|x_i-z_i|)+2^i (1+|z_i-y_i|)$ but... that's not quite what i want. I don't know how to get this...
Do you know that
$$d(a,b) = \frac{|a-b|}{1 + |a-b|}$$
is a metric on $\mathbb{C}$? First prove that this is a metric. The triangle inequality which you prove here will immediately imply what you want.
To prove triangle inequality in this case, you may use that the function $f(t) = \frac{t}{1+t}$ is monotonic.
EDIT: As requested in the comments, I will complete the proof as follows:
$$ |a-b| + |b-c| \geq |a-c| \Rightarrow \frac{|a-b|+ |b-c|}{1 + |a-b| + |b-c|} \geq \frac{|a-c|}{1 + |a-c|} = d(a,c)$$
(using the fact that the function $f$ is increasing)
Now
$$d(a,b) + d(b,c) = \frac{|a-b|}{1 + |a-b|} + \frac{|b-c|}{1+|b-c|} \geq \frac{|a-b|+ |b-c|}{1 + |a-b| + |b-c|}$$
Combining above two, we get the triangle inequality.
Generalities: In fact there is nothing special about the metric on $|\cdot|$ on $\mathbb{C}$. If $(X,d)$ is any metric space, then $d_{1}$ is an equivalent metric on $X$ where
$$d_{1}(x,y) = \frac{d(x,y)}{1 + d(x,y)}$$
Note that $d_{1}(x,y) < 1 \;\forall x,y \in X$.
And then $d_{2}$ is a metric on $X^{\mathbb{N}}$ (the space of all $X-$ valued sequences) where $d_{2}$ is given as
$$ d_{2}\left((x_{i}),(y_{i})\right) = \sum\limits_{i=1}^{\infty}\frac{1}{2^{i}}d_{1}(x_{i},y_{i}) $$