General Topology – How to Show the Triangle Inequality of Metric in the Plane

general-topologymetric-spaces

Let $P \in \mathbb{R}^2$ and define

$$
d(x,y) = \left\{
\begin{array}{lr}
||x-y|| & \text{if} \; \; x,y,P \; \; \text{are collinear,}\\
|| x – P|| + ||y-P||& \;\;\;\; \text{otherwise.}
\end{array}
\right.
$$

How can I show this metric satisfies the triangle inequality? I am trying to visualize how the open balls look but I cannot see to find out.

Best Answer

In German it is called the french railway metric . The reason for this is that in the earlier France, the distance to get from one city to the other by train was the same as getting to Paris and then to the target city (the railway system being centralized in Paris). This explanation also yields the intuition for your metric. (Also called the British Rail metric by substituting Paris with London)

The proof is as easy as it gets: On every line through $P$ it is clearly a distance. Then go through each case whether you have two points on a line through $P$ and one not or three points which are not on any common line through $P$. Keep in mind the intuition from above and you will get there (you essentially do nothing but saying: to go from one city over Paris to another city over Paris to a third city is longer than going from one city over Paris to another - this amounts to the triangle inequality) (so another hint to express this in mathematical language: $d(x,y) = d(x,P) + d(P,y)$ (i.e. go from $x$ to $x$ over $P$) and now use triangle inequalities for each summand i.e. triangle inequalities for the triples $x,P,z$ and $z,P,y$ and see what happens).

If you would like me to give a detailed solution, I will be happy to do that. But I think I gave you some good hints, which will lead you to the solution, and you will learn a lot from this, hence the shortness.

Cheers

Related Question