Haqiqiy daraxt - Real tree

Yilda matematika, haqiqiy daraxtlar (shuningdek, deyiladi - daraxtlar) sinfidir metrik bo'shliqlar umumlashtiruvchi soddalashtirilgan daraxtlar. Ular tabiiy ravishda ko'plab matematik sharoitlarda paydo bo'ladi, xususan geometrik guruh nazariyasi va ehtimollik nazariyasi. Ular, shuningdek, eng oddiy misollardir Gromov giperbolik bo'shliqlari.

Ta'rif va misollar

Rasmiy ta'rif

Haqiqiy daraxtdagi uchburchak

Metrik bo'shliq a bo'lsa, haqiqiy daraxtdir geodezik makon bu erda har bir uchburchak tripod. Ya'ni har uch ochko uchun nuqta bor shunday qilib geodeziya segmentlari segmentda kesishadi va shuningdek . Ushbu ta'rif tengdir Gromov ma'nosida "nol-giperbolik bo'shliq" bo'lish (barcha uchburchaklar "nol-ingichka"). Haqiqiy daraxtlarni a bilan ham xarakterlash mumkin topologik mulk. Metrik bo'shliq har qanday juftlik uchun haqiqiy daraxtdir barchasi topologik ko'milishlar segmentning ichiga shu kabi bir xil rasmga ega bo'ling (keyin geodezik segment ga ).

Oddiy misollar

  • Agar bu kombinatorial metrikaga ega grafik, agar u daraxt bo'lsa (ya'ni unda yo'q bo'lsa) haqiqiy daraxt bo'ladi. tsikllar ). Bunday daraxt ko'pincha oddiy daraxt deb ataladi. Ular quyidagi topologik xususiyat bilan tavsiflanadi: haqiqiy daraxt ning birlik sonlari to'plami bo'lsa, soddalashtiriladi (to'ldiruvchisi bo'lgan nuqtalar uch yoki undan ortiq ulangan komponentlarga ega) diskret .
  • The Rquyidagi tarzda olingan daraxt sodda emas. Bilan boshlang oraliq [0, 2] va elim, har bir ijobiy uchun tamsayı n, uzunlik oralig'i 1 /n nuqtaga 1 - 1 /n asl intervalda. Yagona nuqtalar to'plami diskret, ammo yopilishi mumkin emas, chunki 1 bu oddiy nuqta R-daraxt. Intervalni 1 ga yopishtirish diskretlik hisobiga singular nuqtalarning yopiq to'plamiga olib keladi.
  • Parij metrikasi samolyotni haqiqiy daraxtga aylantiradi. U quyidagicha ta'riflanadi: kelib chiqishi aniqlanadi va agar ikkita nuqta bir nurda bo'lsa , ularning masofasi Evklid masofasi sifatida aniqlanadi. Aks holda, ularning masofasi bu ikki nuqtaning kelib chiqishiga Evklid masofalarining yig'indisi sifatida aniqlanadi .
  • Umuman olganda har qanday kirpi maydoni haqiqiy daraxtning namunasidir.

Matematik kontekstda

Haqiqiy daraxtlar ko'pincha turli xil holatlarda klassik metrik bo'shliqlarning chegaralari sifatida paydo bo'ladi.

Braun daraxtlari

A Braun daraxti[1] (oddiy bo'lmagan) haqiqiy daraxt deyarli aniq. Braun daraxtlari cheklangan daraxtlarda har xil tasodifiy jarayonlarning chegarasi sifatida paydo bo'ladi.[2]

Metrik bo'shliqlarning ultralimitsiyalari

Har qanday ultralimit ketma-ketlik ning -giperbolik bo'shliqlar haqiqiy daraxt. Xususan, asimptotik konus har qanday giperbolik makonning haqiqiy daraxti.

Guruh harakatlarining chegarasi

Ruxsat bering bo'lishi a guruh. Asoslangan ketma-ketlik uchun - bo'shliqlar asosga yaqinlashish tushunchasi mavjud - bo'shliq M. Bestvina va F. Paulin tufayli. Bo'shliqlar giperbolik bo'lsa va harakatlar cheksiz bo'lsa, chegara (agar mavjud bo'lsa) haqiqiy daraxt bo'ladi.[3]

Oddiy misol olish yo'li bilan olinadi qayerda a ixcham yuzasi va ning universal qopqog'i metrik bilan (qayerda - belgilangan giperbolik metrik ).

Bu haqiqiy daraxtlarda giperbolik guruhlarning harakatlarini yaratish uchun foydalidir. Bunday harakatlar tahlil deb atalmish yordamida amalga oshiriladi Rips mashinasi. Faoliyat ko'rsatayotgan guruhlarning degeneratsiyasini o'rganish alohida qiziqish uyg'otadi to'g'ri ravishda to'xtatiladi a haqiqiy giperbolik bo'shliq (bu Rips, Bestvina va Paulin ijodidan oldinroq bo'lgan va J. Morgan va P. Shalen[4]).

Algebraik guruhlar

Agar a maydon bilan ultrametrik baholash keyin Bruhat-Tits binosi ning haqiqiy daraxt. Qiymatlar diskret bo'lsa va faqat sodda bo'lsa.

Umumlashtirish

- daraxtlar

Agar a butunlay buyurtma qilingan abeliya guruhi qiymatlari bilan masofaning tabiiy tushunchasi mavjud (klassik metrik bo'shliqlar mos keladi ). Degan tushuncha mavjud -daraxt[5] qachon oddiy daraxtlarni tiklaydi va qachon haqiqiy daraxtlar . Ning tuzilishi yakuniy taqdim etilgan guruhlar aktyorlik erkin kuni - daraxtlar tasvirlangan. [6] Xususan, bunday guruh ba'zilarida erkin harakat qiladi -daraxt.

Haqiqiy binolar

A uchun aksiomalar bino haqiqiy binoning ta'rifini berish uchun umumlashtirilishi mumkin. Ular, masalan, yuqori darajadagi asimptotik konuslar kabi paydo bo'ladi nosimmetrik bo'shliqlar yoki qimmatbaho dalalar bo'yicha yuqori darajadagi guruhlarning Bruhat-Tits binolari sifatida.

Shuningdek qarang

Adabiyotlar

  1. ^ Aldous, D. (1991), "Uzluksiz tasodifiy daraxt I", Ehtimollar yilnomasi, 19: 1–28.
  2. ^ Aldous, D. (1991), "III tasodifiy tasodifiy daraxt", Ehtimollar yilnomasi, 21: 248–289
  3. ^ Bestvina, Mladen (2002), "- topologiya, geometriya va guruh nazariyasidagi daraxtlar ", Geometrik topologiya bo'yicha qo'llanma, Elsevier, 55-91 betlar
  4. ^ Shalen, Piter B. (1987), "Guruhlarning dendrologiyasi: kirish so'zi", Gersten, S. M. (tahr.), Guruh nazariyasidagi insholar, Matematik. Ilmiy ish. Res. Inst. Publ., 8, Springer-Verlag, 265-319-betlar, ISBN  978-0-387-96618-2, JANOB  0919830
  5. ^ Chisuell, Yan (2001), B daraxtlari bilan tanishish, River Edge, NJ: World Scientific Publishing Co. Inc, ISBN  981-02-4386-3, JANOB  1851337
  6. ^ O. Xarlampovich, A. Myasnikov, D. Serbin, Amallar, uzunlik funktsiyalari va arximed bo'lmagan so'zlar IJAC 23, № 2, 2013 yil.CS1 maint: bir nechta ism: mualliflar ro'yxati (havola)