Metric Spaces in Which All Triangles Are Degenerate

In any subspace of the real line R with the usual Euclidean metric d(x, y) = |x− y|, every triangle is degenerate. In R or R with the usual Euclidean metrics, a triangle is degenerate if and only if its vertices are collinear. With our intuition of a degenerate triangle having “collinear vertices” extended to arbitrary metric spaces, we might expect that a metric space in which every triangle is degenerate must be “linear”. It might be reasonable to expect that any “linear” metric space is isometric to a subset of R with the usual metric. When classifying all metric spaces that have only degenerate triangles, we find that there are such metric spaces other than (isometric images of) subspaces of R. These other spaces, however, all have precisely four points and all are of the same form. In the final section, we illustrate that the usual topology on R can not be generated by any metric in which all triangles are degenerate. A metric space (M,ρ) is a set of points M with a metric, or distance function, ρ : M ×M −→ [0,∞) that satisfies some natural properties we expect of distances: