MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ and $Y$ be random variables taking values in a separable metric space $(S,d)$. The metric I have in mind is $$\rho(X,Y) = \mathbb{E}[\min\{d(X,Y),1\}]$$ if $X$ and $Y$ take values in the a metric space $(S,d)$.

Question: Does this metric have an official name?

Wikipedia calls it the "Lévy metric for $L^0$". Also, someone once told me they thought it was called the Lévy metric. I can't find it anywhere else. (If you Google™ it, don't use anything written by me as evidence that it is called the Lévy metric!) Moveover, Lévy metric is the name for another metric.

I also know this metric metricizes convergence in probability (measure), and is equivalent to the Ky Fan metric (which I have also seen called the probability distance): $$K(X,Y) = \inf\{\varepsilon \geq 0: P(d(X,Y) > \varepsilon) \leq \varepsilon\}.$$

I have also seen this very similar metric to mine $$K^*(X,Y) = \mathbb{E}\left[\frac{d(X,Y)}{1 + d(X,Y)} \right]$$ called one of the "Ky Fan metrics".

I know I could just switch to the Ky Fan metric, but I wrote a long paper using this metric $\rho$ (calling it the Lévy metric), and I don't want to have to go through the whole thing and switch to the Ky Fan metric (and change my calculations) just because I know don't know what to properly call it. (Also, I like this metric since it is reminiscent of the $L^1$-norm.)

share|cite|improve this question

migrated from Aug 10 '13 at 22:12

This question came from our site for people studying math at any level and professionals in related fields.

I was wondering: the random variable $(X,Y)$ is measurable with respect to the product of the Borel $\sigma$-algebras ${\cal B}(S)\otimes{\cal B}(S)$. The map $d:S\times S\to\mathtt{R}^{+}$ being continuous is measurable with respect to the Borel $\sigma$-algebra ${\cal B}(S\times S)$. Don't you need to assume something like $S$ is separable to ensure that ${\cal B}(S\times S)={\cal B}(S)\otimes{\cal B}(S)$ so that $d(X,Y)$ is a measurable map and your expectation is well-defined? – Noel Vaillant Aug 11 '13 at 5:59
In $d(X,Y) = \mathbb{E}[\min\{d(X,Y),1\}]$, writing $d$ for two different things might be a little bit confusing... – Gerald Edgar Aug 11 '13 at 12:24
@NoelVaillant, yes indeed. I always work with separable metric spaces, so I sometimes forget to mention that assumption. I added it. – Jason Rute Aug 11 '13 at 14:28
@GeraldEdgar, wow, I can't believe I did that. I fixed it. – Jason Rute Aug 11 '13 at 14:29

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.