2
$\begingroup$

I understand that the idea of the metric developed from a generalization of the idea of the Euclidean metric, wherein the triangle inequality holds. However, why does this actually need to be a definitional necessity for a metric? Would it not be more beneficial, in the name of generality, to remove this qualification?

  • 5
    To echo Qiaochu: the more generality, usually the less you can say. Compare the theory of [groups](http://en.wikipedia.org/wiki/Group_%28mathematics%29) with the theory of [magmas](http://en.wikipedia.org/wiki/Magma_%28mathematics%29). Also, you want to get the generality "just right": the concept of metric turns out to be flexible enough to include a lot of interesting examples, but rigid enough to allow you to prove a lot of interesting things.2011-11-26

2 Answers 2

10

Generality has a price: the fewer axioms we impose, the less we can prove. Certainly we could impose no axioms, but then what kind of a theory would that be? The triangle inequality has the benefit of holding in a lot of examples that we care about, so things we can prove about metrics are widely useful.

In fact, I would argue that the triangle inequality is by far the most important axiom in the definition of a metric space - see Motivation for triangle inequality for details - and that you should think about dropping all of the others before the triangle inequality!

0

Intuively, I think that the triangle states the $\mathrm d(x,y)$ is the "shortest path" from $x$ to $y$. For instance, consider $x,y$ in $\mathbb{R}^2$, and suppose that you can only move through straight lines. Then, no matter which point $z$ in you choose, you always get \begin{equation} \mathrm d(x,y) \le \mathrm d(x,z) + \mathrm d(z,y). \end{equation} That means that the shorter way is going directly from $x$ to $y$, you can't make a better path choosing some point $z$ to pass before you get to $y$ -- supposing your starting point is $x$.

As someone here mentioned, it's also really important, since we use it to prove several important results. For example, we use it to prove that metric spaces are Hausdorff, which implies the uniqueness of limits -- a very basic result that one would expect of a metric space theory.