Метрика Васерштейна

Метрика Васерштейна — естественная метрика на пространстве вероятностных мер в метрическом пространстве.

Интуитивно, если каждая мера измеряет распределение «грунта» по метрическому пространству М, то расстояние Васерштейна измеряет минимальную стоимость преобразования одного распределения грунта в другое, в простейшем случае предполагается, что стоимость прямо пропорциональна количеству грунта и расстоянию, на которое его надо перетащить.

Название «метрика Васерштейна» было предложено Добрушиным в 1970 году, в честь Шаблон:Нп2, который рассматривал её в 1969 году.

Определение

Пусть (M, d) — метрическое пространство, для которого каждая вероятностная мера на М является мерой Радона.

Для р ≥ 1, пусть Р_p(М) обозначает совокупность всех вероятностных мер μ на M с конечным p-м моментом: то есть для некоторой (а значит и для любой) точки х₀ в М, имеем

$\underset{M}{\int }d(x,x_0{)}^p\mathrm{d}\mu (x)<+\mathrm{\infty }.$

Тогда p-я метрика Васерштейна W_р(μ,ν) между двумя вероятностными мерами μ и ν в Р_p(М) определяется как

$W_p(\mu ,\nu ):={(\underset{\gamma \in \mathrm{\Gamma }(\mu ,\nu )}{\inf }\underset{M\times M}{\int }d(x,y{)}^p\mathrm{d}\gamma (x,y))}^{1/p},$

где Γ(μ, ν) обозначает совокупность всех мер по M × M с маргинальными (частными) распределениями μ и ν для первого и второго параметров соответственно. (Множество мер Γ(μ, ν) также называют совокупность всех спариваний μ с ν.)

Свойства

• Сходимость в этой метрике $W_p$ эквивалентна слабой сходимости мер плюс сходимость первого p-го момента.
• Дуальное определение W₁ является частным случаем теоремы двойственности Канторовича — Рубинштейна (1958): если μ и ν имеют ограниченный носитель, то

  $W_1(\mu ,\nu )=\sup \{\underset{M}{\int }f(x)\mathrm{d}(\mu -\nu )(x)\},$

где супремум берётся по всем 1-липшицевым функциям f.

• Для любого p ≥ 1, метрическое пространство (P_p(М), W_р) является сепарабельным и полным, если (М, d) сепарабельно и полнo.

См. также

• Транспортная задача

Литература

• Шаблон:Статья
• Rüschendorf, L. (2001), «Wasserstein metric», in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4