# Metric assuming the value infinity

If we instead define a metric as $d:X\times X \rightarrow [0,\infty]$, do we lose any nice properties of metric spaces?

The reason I ask is that I saw this theorem: Given a finite measure space $(X,\mathcal{M},\mu )$, define equivalence relation $A \sim B$ if $\mu(A \mathbin{\Delta} B)=0$ for $A,B\in \mathcal{M}$. Then $d: \mathcal{M} /{\sim} \rightarrow [0,\infty)$ defined by $d(A,B)=\mu(A \mathbin{\Delta} B)$ is a metric.

But the same argument would go through if $X$ wasn't a finite measure space, the only place where it seems to fail is because metrics are defined not to take the value $\infty$.

-
Note that \cal changes the font going forward, whereas \mathcal{} applies only to its argument. Other tips: \sim gives $\sim$, things that are binary operations should be spaced correctly via \mathbin, and quotienting by an equivalence relation is denoted with a forward slash. –  Zev Chonoles May 22 '13 at 23:46
use $\min\{1,d\}$. –  user59671 May 22 '13 at 23:58
@ZevChonoles Nice tips! Thank-you! –  StuartHa May 23 '13 at 0:07

Nothing bad happens if you allow a metric to assume the value $\infty$. In fact, only good things happen.

Nothing bad happens since you can still talk about open balls, the induced topology, uniformly continuous functions, continuous functions, Lipschitz functions etc. and the theory looks pretty much that same as it would if the metric is not allowed to assume the value $\infty$. Moreover, any metric space where infinite distance is assumed naturally breaks down as a disjoint union of metric spaces where infinity is not assumed. The construction is very easy: define an equivalence relation on the points of the space by $x\sim y$ if $d(x,y)<\infty$. The equivalence classes are called galaxies, the space breaks down as the disjoint union of galaxies and each galaxy is metric space where all distances are finite.

That good things happen if you allow infinite distance is related to certain constructions that become nicer. For instance, if you have two metric spaces $M_1,M2$ and you wish to define their disjoint union as a metric space, then the most natural thing to do is require that the distance between a point in $M_1$ and a point in $M_2$ is infinite. If you disallow infinite distances, then you have to sweat unnecessarily to make this construction work. But with infinite distances allowed, the disjoint union of metric spaces becomes the trivial notion it should be. Also, reconciling different metric spaces on the same set becomes more transparent. For instance, suppose that $d_i$ is a family of distance functions on a set $X$. Even if it does not attain infinity, their point-wise supremum might become infinite, and thus fail to be a metric space. But if you allow infinity as a possible distance, then the supremum of any family of distance functions is again a distance function.

The reason that metric spaces with infinity allowed have better closure properties under familiar operations is that the set $[0,\infty ]$ has better closure properties than $[0,\infty )$ does.

-
So why is the standard definition of metric without $\infty$? If the theory is the same, it would make sense to be as general as possible in the class of objects it applies to. –  StuartHa May 23 '13 at 15:51
Not all definition are optimal at birth. The concept of metric space is rather young (about 100 years old) and we can't ask Frechet anymore. It should be noted that Frechet's work at the time was extremely abstract and was a huge leap forward. Perhaps it was already such a psychological hurdle to consider abstract sets as domains of spaces that the possibility of having infinite distance was not entertained. –  Ittay Weiss May 23 '13 at 19:37
It's been a while since your answer, but are you aware of any commonly accepted name such a metric could be called as opposed to the usual, finite-valued metric? –  tomasz Mar 11 '14 at 22:27
I just call it a metric space. I'm not the only one to start accepting $\infty$ into ordinary metric spaces. The book Metric Spaces by Burago et al basically does the same. –  Ittay Weiss Mar 12 '14 at 3:43

Instead, think about this. Many measure spaces are $\sigma$-finite; this just means that they are countable unions of subsets of finite measure.

Suppose $(\Omega, \mathcal{S}, \mu)$ is a $\sigma$-finite measure space. Then you can partition it with $\{E_n\}_{n=1}^\infty$ so $\mu(E_n)<\infty$ for all n.

Then for all $n$, $A\mapsto \mu(A\cap E_n)$ is a pseudometric on $\mathcal{S}$. Now put

$$d(A, B) = \sum_{n=1}^\infty {\mu(A \mathbin{\Delta} B)\cap E_n)\over 2^n(1+ \mu(A\ \mathbin{\Delta} B)\cap E_n))}.\qquad A, B \in \mathcal{S}.$$

This is a pseudometric with many of the qualities you are seeking. In fact, it can be seen to be a metric on $\mathcal{M}/\sim$.

-