Since you're asking for what is "meaningful", I think that one can then argue against some of the question.
The value of metrics on graphs in combinatorial geometry as an area of pure mathematics are more or less the same as their value in applied mathematics, for instance in direction-finding software in Garmin or Google Maps. In any such setting, the triangle inequality is essential for the metric interpretation, but the symmetry condition $d(x,y) = d(y,x)$ is not. An asymmetric metric captures the idea of one-way distance. You can have perfectly interesting geometry of many kinds without the symmetry condition. For instance, you can study asymmetric Banach norms such that $||alpha x|| = alpha ||x||$ for $alpha > 0$, but $||x|| ne ||-x||$, or the corresponding types of Finsler manifolds.
On the other hand, if you want to restore symmetry, you can. For instance,
$$d'(x,y) = d(x,y) + d(y,x)$$
has a natural interpretation as round-trip distance, which again works equally well for pure and applied purposes. You can also use max, directly, or even min with a modified formula. Namely, you can define $d'$ to be the largest-distance metric such that
$$d'(x,y) le min(d(x,y),d(y,x))$$
for all $x$ and $y$. All of these have natural interpretations. For instance, the min formula could make sense for streets that are one-way for cars but two-way for bicycles.
No comments:
Post a Comment