Метрика Громова — Гаусдорфа — спосіб визначити відстань між двома компактними метричними просторами. Точніше, це метрика на множині ізометричних класів компактних метричних просторів.

1975 року цю метрику ввів Едвардс, а потім 1981 року перевідкрив і узагальнив М. Л. Громов. Громов використав цю метрику в доведенні теореми про групи поліноміального зростання.

Визначення
Відстань Громова — Гаусдорфа між ізометричними класами компактних метричних просторів  і  визначається як точна нижня грань відстаней Гаусдорфа між їх образами при глобально-ізометричних вкладеннях  і  у спільний метричний простір . При цьому точна нижня грань береться як за всіма глобально ізометричними вкладеннями, так і за всіма просторами .

Еквівалентно, можна визначити відстань Громова — Гаусдорфа як точну нижню грань відстаней Гаусдорфа між  і  у диз'юнктному об'єднанні , з метрикою  такою, що звуження  на  збігається з метрикою на  і звуження  на  збігається з метрикою на . При цьому точна нижня грань береться за всіма такими метриками  .

Коментарі

* Часто слова «ізометричний клас» опускають, тобто замість «відстань Громова — Гаусдорфа між ізометричними класами  і » кажуть «відстань Громова — Гаусдорфа між  і ».
* Відстань між ізометричними класами  і  зазвичай позначають  або .
* Багато ізометричних класів компактних метричних просторів, забезпечених метрикою Громова — Гаусдорфа, зазвичай позначають ,  або .

Пов'язані визначення

* Послідовність ізометричних класів компактних метричних просторів  збігається до ізометричного класу компактного метричного простору , якщо  при .

Властивості

* Метричний простір  є лінійно зв'язним, повним, сепарабельним і зі внутрішньою метрикою.
** Більш того,  є геодезичним; тобто, будь-які дві його точки з'єднуються найкоротшою кривою, довжина якої дорівнює відстані між цими точками.
* Простір Громова — Гаусдорфа  глобально неоднорідний; тобто, його група ізометрій тривіальна, проте локально є багато нетривіальних ізометрій .
* Простір  ізометричний протору класів конгруентності компакнтих підмножин простору Урисона  з метрикою Гаусдорфа з точністю до руху .
* Будь-яке цілком рівномірно обмежене сімейство метричних просторів є відносно компактним у метриці Громова — Гаусдорфа.
** Сімейство  метричних просторів називають цілком рівномірно обмеженим, якщо діаметри всіх просторів цього сімейства обмежені однією і тією ж сталою, і для будь-якого  існує таке ціле додатне число , що будь-який простір з  допускає -мережу з не більш ніж  точок.
** З цієї властивості, зокрема, випливає теорема Громова про компактність, аналогічна теоремі вибору Бляшке для метрики Гаусдорфа.

Варіації та узагальнення

* У визначенні можна замінити компактність на скінченність діаметра, але при цьому ми визначимо метрику на класі об'єктів (а не на множині). Тобто, формально кажучи, клас усіх ізометричних класів метричних просторів зі скінченним діаметром, доповнений метрикою Громова — Гаусдорфа, не є метричним простором.
* Якщо дозволити метриці набувати значення , можна також відмовитися від скінченності діаметра.

Примітки


Література
* M. Gromov. «Structures métriques pour les variétés riemanniennes», edited by Lafontaine and Pierre Pansu, 1981.
* M. Gromov. Metric structures for Riemannian and non-Riemannian spaces, Birkhäuser (1999). ISBN 0-8176-3898-9 (переклад з додатковим матеріалом).
* 
