1

# Which changes of metric fix all open balls of a metric space?

In an earlier question, I was interested in counting the number of metric spaces on N points, where I considered two metric spaces to be the same if they had the same collection of open balls. Two questions:

1. What are the usual notions of metric space equivalence? Are any of them nontrivial for finite metric spaces? (For instance, the obvious one that two metric spaces are equivalent if their topology is the same is trivial for finite vector spaces).
2. If we say that two (labeled) metric spaces are equivalent if they have the same collection of open balls, in what ways can we operate on the metric d such that we get the same collection of open balls?

For example, any two metric spaces on 2 points are equivalent in this way, so any allowable operation on metrics yields an equivalent metric space. Clearly we can always scale d by any positive real without changing the equivalence class. Now consider the two metric spaces

x ---3--- y        x ---3--- y
\       /          \       /
3     4            4     5
\   /              \   /
z                  z


In both cases, the nontrivial open balls are {x, z} and {x, y}, so these metric spaces are equivalent. How can I describe the operation I'm performing on d in general terms? What other operations on d will yield metric spaces that are equivalent in this sense?