I have the following problem (considering the vector space structure of $\mathbb{R}^n$):
Let $d: \mathbb{R}^n \times \mathbb{R}^n \to [0,\infty)$ be defined by:
$$d(x,y)=\begin{cases}\| x-y \|, \mbox{if $x$ and $y$ are linearly dependent}\\ \|x\|+\|y\|, \mbox{otherwise} \end{cases}$$Prove that $(\mathbb{R}^n,d)$ is a metric space.
I had no difficulties prooving that $d$ satisfies the propoerties of a metric function but the triangle inequality one.
For proving that $\forall x,y,z \in \mathbb{R}^n$ the triangle inequality holds, I divided by cases:
- $x,y$ are linearly independent but $x,z$ not;
- $x,y$ L.D. and $x,z$ L.D.;
- $x,y$ L.I but $x,z$ L.D.; and
- $x,y,z$ L.I.
I could prove all except 3. I have
$d(x,y)=\|x\|+\|y\|$, and $d(x,z)+d(z,y)=\|x-z\|+\|z\|+\|y\|$
I tried to use that $\vert \|a\|-\|b\| \vert \leq \|a+b\|$, but I couldn't…
Could you help me? Thanks in advance.
OBS.: I can't find a basic proof here to: prooving that the following are metrics (provided that $d$ is) $d_1(x,y)=\min\{1,d(x,y)\}; d_2(x,y)=\frac{d(x,y)}{1+d(x,y)}$;
(I got stuck prooving triangle inequality too)
Best Answer
For (3), if $x, z$ are linearly dependent then for some $\alpha$, $z = \alpha x$
And if $x, y$ are linearly independent then so are $ z, y$
So, $d(x, z) + d(z, y) = ||x - z|| + ||z|| + ||y||$
$= ||(1 - \alpha) x|| + ||z|| + ||y|| = |1-\alpha|.||x|| + ||\alpha x|| + ||y||$
$ = (|1 -\alpha| + |\alpha|) ||x|| + ||y||$
Which for any value of $ \alpha$ is $ \ge ||x|| + ||y|| = d(x, y)$