TOPICS
Search

Equivalent Metrics


Equivalent metrics are pairs of metrics g_1 and g_2 defined on a set X that induce the same metric topology on X. This is the case iff, for every point x_0 of X and every radius r_1>0, the open ball

 B(x_0,r_1;g_1)={x in X|g_1(x_0,x)<r_1}
(1)

contains, for some r_2>0, an open ball with center x_0 with respect to g_2,

 B(x_0,r_2;g_2)={x in X|g_2(x_0,x)<r_2},
(2)

and conversely.

If X contains at least two points, every metric g on X has uncountably many equivalent metrics. For every positive real number epsilon, a "scaled" metric g_epsilon can be defined such that for all x,y in X,

 g_epsilon(x,y)=(g(x,y))/epsilon.
(3)

In fact, for all x_0 in X and r>0,

 B(x_0,r;g)=B(x_0,r/epsilon;g_epsilon).
(4)

Another metric g^' equivalent to g is defined by

 g^'(x,y)=(g(x,y))/(1+g(x,y))
(5)

for all x,y in X. For r>0,

 B(x_0,r;g) subset= B(x_0,r;g^'),
(6)

and

 B(x_0,r/(r+1);g^') subset= B(x_0,r;g).
(7)

The metrics g and g^' also have the same Cauchy sequences. For every epsilon>0, g^'(x,y)<epsilon/(1+epsilon) implies g(x,y)<epsilon, independently of x and y, while g^'(x,y)<=g(x,y). Since they also have the same limits, (X,g) is a complete metric space iff (X,g^') is a complete metric space.

In the Euclidean plane R^2, the Euclidean metric

 g((x_1,y_1),(x_2,y_2))=sqrt((x_1-x_2)^2+(y_1-y_2)^2)
(8)

has circular open balls. An equivalent, more general metric for positive real numbers a and b is given by

 g_(a,b)((x_1,y_1),(x_2,y_2))=sqrt(((x_1-x_2)^2)/(a^2)+((y_1-y_2)^2)/(b^2)),
(9)

with elliptical open balls. The taxicab metric

 g_t((x_1,y_1),(x_2,y_2))=|x_1-x_2|+|y_1-y_2|
(10)

has open balls that are interiors of squares. All these metrics are equivalent to the Euclidean metric.

Equivalent metrics need not have the same Cauchy sequences or both define complete metric spaces. For example, on the real line, delta(x,y)=|arctanx-arctany| is equivalent to the Euclidean metric, where arctan:R->(-pi/2,pi/2) is the usual real inverse tangent. The sequence x_n=n is a Cauchy sequence for delta because arctann->pi/2, but it has no limit in R for delta. Thus (R,delta) is not a complete metric space, whereas R with its Euclidean metric is a complete metric space (Lebl 2026, p. 279).


See also

Metric, Metric Equivalence Problem, Product Metric

Portions of this entry contributed by Margherita Barile

Explore with Wolfram|Alpha

References

Lebl, J. Basic Analysis I: Introduction to Real Analysis, Volume I. Version 6.3, pp. 256-257 and 279, 2026. https://www.jirka.org/ra/realanal.pdf.

Referenced on Wolfram|Alpha

Equivalent Metrics

Cite this as:

Weisstein, Eric W., with contributions by Margherita Barile. "Equivalent Metrics." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/EquivalentMetrics.html

Subject classifications