Громов - Хаусдорф конвергенциясы - Gromov–Hausdorff convergence

Жылы математика, Громов - Хаусдорф конвергенциясы, атындағы Михаил Громов және Феликс Хаусдорф, -ның жақындасу ұғымы метрикалық кеңістіктер бұл жалпылау болып табылады Хаусдорф конвергенциясы.

Громов - Хаусдорф арақашықтық

Громов - Хаусдорф арақашықтықындағы кейбір фигуралар қаншалықты және қаншалықты жақын.

Громов - Хаусдорф қашықтығын 1975 жылы Дэвид Эдвардс енгізген,[1][2] және ол кейінірек қайта ашылып, жалпыланды Михаил Громов 1981 жылы.[3][4] Бұл қашықтық екі қашықтықты өлшейді ықшам метрикалық кеңістіктер жоқтан бар изометриялық. Егер X және Y бұл екі ықшам метрикалық кеңістік г.GH (X, Y) деп анықталды шексіз барлық сандар г.H(f(X), ж(Y) барлық метрикалық кеңістіктер үшін М және барлық изометриялық ендірулер f : X → М және ж : Y → М. Мұнда г.H білдіреді Хаусдорф арақашықтық ішкі жиындар арасында М және изометриялық енгізу жаһандық мағынада түсініледі, яғни ол шексіз аз ғана емес, барлық қашықтықты сақтауы керек; мысалы жинақы емес Риманн коллекторы кірістіруді мойындайды Евклид кеңістігі бірдей өлшемді.

Громов-Хаусдорф қашықтығы ықшам метрикалық кеңістіктердің барлық изометрия кластарының жиынтығын Громов-Хаусдорф кеңістігі деп аталатын метрикалық кеңістікке айналдырады, сондықтан ол конвергенция ұғымын анықтайды тізбектер Громов-Хаусдорф конвергенциясы деп аталатын шағын метрикалық кеңістіктер. Мұндай реттілік жинақталатын метрикалық кеңістік реттіліктің Громов-Хаусдорф шегі деп аталады.

Громов-Хаусдорф кеңістігінің кейбір қасиеттері

Громов-Хаусдорф кеңістігі орналасқан жолға байланысты, толық, және бөлінетін.[5] Бұл сондай-ақ геодезиялық, яғни оның кез келген екі нүктесі минимизацияның соңғы нүктелері болып табылады геодезиялық.[6] Әлемдік мағынада Громов-Хаусдорф кеңістігі толығымен гетерогенді, яғни оның изометрия тобы тривиальды,[7] бірақ жергілікті жерлерде көптеген нитритикалық емес изометриялар бар.[8]

Громов пен Хаусдорф конвергенциясын көрсетті

Громов-Хаусдорф конвергенциясы - бұл ықшам емес кеңістіктерге сәйкес келетін Громов-Хаусдорф конвергенциясының аналогы. Метрикалық кеңістік - бұл жұп (X,б) метрикалық кеңістіктен тұрады X және көрсетіңіз б жылы X. Бірізділік (Xn, бn) үшкір метрикалық кеңістіктер анықталған метрикалық кеңістікке жақындайды (Yб) егер, әрқайсысы үшін R > 0, реттілігі жабық R- айналасында доптар бn жылы Xn жабыққа жақындайды R-болу б жылы Y кәдімгі Громов-Хаусдорф мағынасында.[9]

Қолданбалар

Громов-Хаусдорф конвергенциясы ұғымын Громов алғаш рет сол нәрсені дәлелдеу үшін қолданды дискретті топ бірге көпмүшелік өсу іс жүзінде нөлдік күшке ие (яғни оның құрамында а нілпотентті кіші топ ақырлы индекс ). Қараңыз Громовтың көпмүшелік өсу топтары туралы теоремасы. (Ертерек жұмыс үшін Д. Эдвардсты да қараңыз.) Дәлелдеудің негізгі ингредиенті - бұл байқау болдыКейли графигі Полиномдық өсуі бар топтың құтқару реттілігі Громов-Хаусдорф мағынасында біріктіріледі.

Тағы бір қарапайым және өте пайдалы нәтиже Риман геометриясы болып табылады Громовтың ықшамдылық теоремасы, онда Риманн коллекторы жиынтығы көрсетілген Ricci қисықтығы  ≥ в және диаметрі  ≤ Д. болып табылады салыстырмалы түрде ықшам Громов-Хаусдорф метрикасында. Шектік кеңістіктер - метрикалық кеңістіктер. Ұзындықтағы қосымша қасиеттер дәлелденген Чигер және Құю.[10]

Громов - Хаусдорф арақашықтық метрикасы әртүрлі фигуралар арасындағы сәйкестікті табу үшін компьютерлік графика және есептеу геометриясы саласында қолданылды.[11]

Громов - Хаусдорф қашықтығын пайдаланған Сормани Космологиядағы Фридман моделінің тұрақтылығын дәлелдеу. Бұл космология моделі метриканың тегіс вариацияларына қатысты тұрақты емес.[12]

Ерекше жағдайда, Громов-Хаусдорф шектерінің тұжырымдамасы тығыз байланысты Үлкен ауытқулар теориясы.[13]

Громов - Хаусдорф арақашықтық көрсеткіші неврологияда ми желілерін салыстыру үшін қолданылған.[14]

Әдебиеттер тізімі

  1. ^ Дэвид А. Эдвардс, «Кеңістіктің құрылымы», «Топологиядағы зерттеулер», академиялық баспасы, 1975, pdf
  2. ^ А.Тужилин, «Громов - Хаусдорф қашықтығын кім ойлап тапты? (2016)», arXiv:1612.00728
  3. ^ М.Громов. Лафонтейннің редакциясымен «құрылымдар métriques pour les variétés riemanniennes» және Пьер Пансу, 1981.
  4. ^ Громов, полиномдардың өсу топтары және карталарды кеңейту, I.H.É.S. басылымдарының математикасы, 53, 1981
  5. ^ Д.Бураго, Ю.Бураго, С.Иванов, Метрикалық геометрия курсы, AMS GSM 33, 2001 ж.
  6. ^ А.Иванов, Н.Николаева, А.Тужилин (2015), Шағын метрлік кеңістіктегі Громов-Хаусдорф метрикасы қатаң ішкі болып табылады., arXiv:1504.03830. Геодезияның нақты құрылысы туралы Chowhhury, S., & Mémoli, F. (2016) қараңыз. «Геодезияны ықшам метрлік кеңістіктер кеңістігінде құру». arXiv:1603.02385.
  7. ^ А.Иванов, А.Тужилин (2018), Громов - Хаусдорф кеңістігінің изометрия тобы, arXiv:1806.02100
  8. ^ А.Иванов, А.Тужилин (2016), Громов-Хаусдорф кеңістігінің ақырғы метрикалық кеңістіктің жанындағы жергілікті құрылымы, arXiv:1611.04484
  9. ^ André Bellaïche (1996), «суб-Риман геометриясындағы жанама кеңістік», André Bellaïche-де; Жан-Жак Рислер (ред.), Риман геометриясы, Математикадағы прогресс, 144, Бирхаузер, б. 56
  10. ^ Cheeger-Colding: I-ден төмен шектелген Ricci қисықтығы бар кеңістіктердің құрылымы туралы
  11. ^ Mémoli, F., & Sapiro, G. (2004, шілде). Нүктелік бұлттарды салыстыру. Геометрияны өңдеу бойынша 2004 Eurographics / ACM SIGGRAPH симпозиумының материалдарында (32–40 бет). ACM.
  12. ^ Сормани: Фридманның космологиясы және дерлік изотропия
  13. ^ Котани М., Сунада Т., Үлкен ауытқу және кристалды тордың шексіздігінде жанама конус, Математика. Z. 254, (2006), 837–870.
  14. ^ Ли, Х., Чун, М., Кан, Х., Ким, Б-Н., Ли, Д.С. (2011) Графикалық сүзгілеуді және мидың желілерін есептеу, Громов-Хаусдорф метрикасы MICCAI 2011, II бөлім, LNCS 6892, 302–309 бет
  • М.Громов. Риман және риман емес кеңістіктерге арналған метрикалық құрылымдар, Birkhäuser (1999). ISBN  0-8176-3898-9 (қосымша мазмұнмен аударма).