triangle inequality for a metric space

1.4k Views Asked by At

If $d_{\infty}(a,b) =$ max$\{|a_{i} - b_{i}|\}$ for $1 \leq i \leq k$, I want to prove that this is a metric on $\mathbb{R}^k$.

Its pretty clear that $d_{\infty}(a,a) = 0$ and it is also pretty clear that $d_{\infty}(a,b) = d_{\infty}(b,a)$ since absolute value always gives us a positive number. As always with metric spaces, I am having a hard time proving the triangle inequality. Could I do something like, max$\{|a_{i} - b_{i}|\}$

= max$\{a_{i} - c_{i} + c_{i} - b_{i}\}$ and proceed from there? I knew that was a trick one could use to solve the triangle inequality but I didnt know if I could do it here.

1

There are 1 best solutions below

0
On

In general it holds:

$| a_i-b_i | = | a_i-c_i+c_i-b_i | \leq | a_i-c_i | + | c_i-b_i | $ (triangle inequality for the absolute value of real numbers)

Now take the maximum on both sides.