MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 minor format changes

If you take the set of distances between $n$ points, then you can define a function on the real numbers that when applied to the distances preserves the open balls on $n$ points and defines a new metric as follows. Let $m$ be the number of distinct distances. First note that zero must be fixed second the set of new distances must preserve the original open balls and also preserve the triangle inequality and be positive then we can take the sum of the polynomials $\sum_1^k x*(x-d_1)(x-d_2)$...(goes x(x-d_1)(x-d_2)$...(goes through all distances but d_k)$(d_k'/d_k*f_k(d_k))*(f_k(x)$d_k)$(d_k'/d_kf_k(d_k))(f_k(x)$summing over all such terms for all$k$where$f_k$are arbitrary smooth functions not zero at$d_k$and$d_k'$is the desired new distance we can also add a term$x*(x-d_1)$...$f(x)$x(x-d_1)$...$f(x)$ where $f(x)$ is an arbitrary smooth function for all distances in this way we preserve zero and changes all the distances to new distances satisfying the triangle inequality and having positive distances and preserving the open balls on the n points and alao preserving symmetry since if $x,y$ and $y,x$ have the same distance it will be sent to a new distance which will be the distance between $x$ and $y$ as well as $y$ and $x$. Thus the new set of distances will be a metric on the $n$ points preserving the open balls on the $n$ points.

This provides a real function operating on the reals that maps one metric space to another by transforming the distances. It does not send metrics with two equal distances to metrics with two different distances so for the two equivalent metrics given it sends one to the other but that transformation is not reversible.

For any set of inequalities on distances there is a realization as a metric space. Just Let the distances be close enough to one to satisfy the triangle inequality and set distances from points to themselves as zero and the triangle inequality will be satisfied.

Let us look at what is happening in the case with three points mentioned in the problem. If one distance is maximum. It will determine the whole structure. Say it is the distance from $A$ to $B$ then at point $A$ it will be greater than the distance from $A$ to $C$ so at this point we will get the set containing $A$ and $C$ in the topology similarly we will get the set containing $B$ and $C$ in the topology. The set containing $A$ and $B$ will not be in the toplogy. In all cases the set of all elements and the set of individual elements will be in the topology so at this point we have determined the entire topology. Now we have done this without specifying distances $AC$ and $BC$ and the can be set arbitrarily as long as they are less than $AB$.

In fact we can determine the entire set of topologies for three points by looking at the number of maxima. If there are two distances which are equal and larger than the third then the topology contains the entire set, single points and the two points of the third edges. If there all three distances are equal we have the topology consists of the three pionts and the entire set.

Something similar happens in three dimensions if one distance $AB$ is greater than all the others. It forbids the three points sets containing the two points with this distance and it forces the two three point sets not containing it to be in the topology and that determines the entire structure of three points sets in the topology.

2 added 2168 characters in body

If you take the set of distances between n $n$ points, then you can define a function on the real numbers that when applied to the distances preserves the open balls on n $n$ points and defines a new metric as follows. Let $m$ be the number of distinct distances. First note that zero must be fixed second the set of new distances must preserve the original open balls and also preserve the triangle inequality and be positive then we can take the sum of the polynomials x*(x-d_1)(x-d_2)...(goes $\sum_1^k x*(x-d_1)(x-d_2)$...(goes through all distances but d_k)(d_k'/d_k*f_k(d_k))*(f_k(x) d_k)$(d_k'/d_k*f_k(d_k))*(f_k(x)$ summing over all such terms for all k $k$ where f_k $f_k$ are arbitrary smooth functions not zero at d_k $d_k$ and d_k' $d_k'$ is the desired new distance we can also add a term x*(x-d_1)..f(x) $x*(x-d_1)$...$f(x)$ where f(x) $f(x)$ is an arbitrary smooth function for all distances in this way we preserve zero and changes all the distances to new distances satisfying the triangle inequality and having positive distances and preserving the open balls on the n points and alao preserving symmetry since if x,y $x,y$ and y,x $y,x$ have the same distance it will be sent to a new distance which will be the distance between x $x$ and y $y$ as well as y $y$ and x. $x$. Thus the new set of distances will be a metric on the n $n$ points preserving the open balls on the n $n$ points.

This provides a real function operating on the reals that maps one metric space to another by transforming the distances. It does not send metrics with two equal distances to metrics with two different distances so for the two equivalent metrics given it sends one to the other but that transformation is not reversible.

For any set of inequalities on distances there is a realization as a metric space. JustLet the distances be close enough to one to satisfy the triangle inequality and set distances from points to themselves as zero and the triangle inequality will be satisfied.

Let us look at what is happening in the case with three points mentioned in the problem. If one distance is maximum. It will determine the whole structure. Say it is the distance from $A$ to $B$ then at point $A$ it will be greater than the distance from $A$ to $C$ so at this point we will get the set containing $A$ and $C$ in the topology similarly we will get the set containing $B$ and $C$ in the topology. The set containing $A$ and $B$ will not be in the toplogy. In all cases the set of all elements and the set of individual elements will be in the topology so at this point we have determined the entire topology. Now we have done this without specifying distances $AC$ and $BC$ and the can be set arbitrarily as long as they are less than $AB$.

In fact we can determine the entire set of topologies for three points by looking at the number of maxima. If there are two distances which are equal and larger than the third then the topology contains the entire set, single points and the two points of the third edges. If there all three distances are equal we have the topology consists of the three pionts and the entire set.

Something similar happens in three dimensions if one distance $AB$ is greater than all the others. It forbids the three points sets containing the two points with this distance and it forces the two three point sets not containing it to be in the topology and that determines the entire structure of three points sets in the topology.

1

If you take the set of distances between n points, then you can define a function on the real numbers that when applied to the distances preserves the open balls on n points and defines a new metric as follows. First note that zero must be fixed second the set of new distances must preserve the original open balls and also preserve the triangle inequality and be positive then we can take the sum of the polynomials x*(x-d_1)(x-d_2)...(goes through all distances but d_k)(d_k'/d_k*f_k(d_k))*(f_k(x) summing over all such terms for all k where f_k are arbitrary smooth functions not zero at d_k and d_k' is the desired new distance we can also add a term x*(x-d_1)..f(x) where f(x) is an arbitrary smooth function for all distances in this way we preserve zero and changes all the distances to new distances satisfying the triangle inequality and having positive distances and preserving the open balls on the n points and alao preserving symmetry since if x,y and y,x have the same distance it will be sent to a new distance which will be the distance between x and y as well as y and x. Thus the new set of distances will be a metric on the n points preserving the open balls on the n points.