In'ektsion metrik bo'shliq - Injective metric space

Yilda metrik geometriya, an in'ektsion metrik bo'shliqyoki unga teng ravishda a giperkonsimon metrik bo'shliq, a metrik bo'shliq haqiqiy chiziq xususiyatlarini umumlashtiruvchi ma'lum xususiyatlarga ega va L_∞ masofalar yuqori o'lchovli vektor bo'shliqlari. Ushbu xususiyatlar bir-biridan farq qiladigan ikkita usul bilan aniqlanishi mumkin: giperko'ngillik kosmosdagi yopiq to'plarning kesishish xususiyatlarini, in'ektsiya esa izometrik ko'milishlar bo'shliqning kattaroq bo'shliqlarga aylanishi. Ammo bu Aronszajn va Panitchpakdi teoremasi (1956; qarang masalan. Chepoi 1997 yil ) ushbu ikki xil ta'riflarning ekvivalenti ekanligi.

Giperkontektsiya

Metrik bo'shliq X deb aytilgan giperkondeks agar shunday bo'lsa qavariq va uning yopilishi sharlar ikkilikka ega Helli mulki. Anavi,

1. har qanday ikkita nuqta x va y bilan bog'lanishi mumkin izometrik tasvir nuqta orasidagi masofaga teng uzunlikdagi chiziqli segmentning (ya'ni. X (yo'l oralig'i) va
2. agar F yopiq to'plarning har qanday oilasi

${ displaystyle { bar {B}} _ {r} (p) = {q mid d (p, q) leq r }}$

shunday qilib har bir juft to'p F uchrashing, keyin bir nuqta bor x barcha to'plar uchun umumiy F.

Ekvivalent ravishda, agar fikrlar to'plami bo'lsa p_men va radiuslar r_men > 0 qondiradi r_men + r_j ≥ d(p_men,p_j) har biriga men va j, keyin bir nuqta bor q masofada joylashgan metrik bo'shliqning r_men har birining p_men.

In'ektsiya

A orqaga tortish metrik bo'shliqning X funktsiya ƒ xaritalash X o'zi subspace-ga, shunday qilib

1. Barcha uchun x, ƒ(ƒ(x)) = ƒ(x); anavi, ƒ bo'ladi identifikatsiya qilish funktsiyasi uning tasviriga (ya'ni, u shunday) idempotent ) va
2. Barcha uchun x va y, d(ƒ(x), ƒ(y)) ≤ d(x, y); anavi, ƒ bu noaniq.

A orqaga tortmoq bo'shliq X ning subspace hisoblanadi X bu tortishish tasviri.metrik bo'shliqX deb aytilgan in'ektsion agar, qachon bo'lsa X bu izometrik pastki bo'shliqqaZ bo'shliqY, bu pastki bo'shliq Z orqaga tortishdirY.

Misollar

Hiperkonveks metrik bo'shliqlariga misollar kiradi

• Haqiqiy chiziq
• Har qanday vektor maydoni R^d bilan L_∞ masofa
• Manhetten masofasi (L₁) tekislikda (bu aylanishgacha va masshtablashgacha tengdir L_∞), lekin yuqori o'lchamlarda emas
• The qattiq oraliq metrik bo'shliqning
• Har qanday haqiqiy daraxt
• Maqsad (X) - qarang Uning pastki fazosiga yo'naltirilgan metrik bo'shliq

Giper konveksiya va in'ektsiya o'rtasidagi tenglik tufayli, bu bo'shliqlar ham in'ektsion hisoblanadi.

Xususiyatlari

In'ektsion bo'shliqda. Ning radiusi minimal to'p har qanday to'plamni o'z ichiga oladi S ning yarmiga teng diametri ning S. Bu diametri yarmi radiusli to'plari, nuqtalari markazida joylashganligidan kelib chiqadi S, juftlik bilan kesishadi va shuning uchun giperkondekslik bilan umumiy kesishmalar mavjud; bu umumiy kesishgan nuqtada markazlashtirilgan, diametri yarim radiusli to'pga hammasi kiradi S. Shunday qilib, in'ektsion bo'shliqlar ayniqsa kuchli shaklni qondiradi Yung teoremasi.

Har bir in'ektsiya maydoni a to'liq joy (Aronszajn va Panitchpakdi 1956 yil ) va har bir metrik xarita (yoki teng ravishda, noaniq xaritalash yoki qisqa xarita ) cheklangan in'ektsiya maydonida a mavjud sobit nuqta (1979 yil; (Soardi 1979 yil )). Metrik bo'shliq in'ektsion hisoblanadi, agar u faqatgina bo'lsa in'ektsiya ob'ekti ichida toifasi ning metrik bo'shliqlar va metrik xaritalar. In'ektsion bo'shliqlarning qo'shimcha xususiyatlari uchun qarang Espínola & Khamsi (2001).

Adabiyotlar

• Aronszajn, N.; Panitchpakdi, P. (1956). "Bir hil uzluksiz transformatsiyalar kengaytmalari va giperkondeksli metrik bo'shliqlar. Tinch okeanining matematika jurnali. 6: 405–439. doi:10.2140 / pjm.1956.6.405. JANOB  0084762.CS1 maint: ref = harv (havola) Tuzatish (1957), Tinch okeani J. matematikasi. 7: 1729, JANOB0092146.
• Chepoi, Viktor (1997). "A T_X qisqartirish va ko'rsatkichlar bo'yicha ba'zi natijalarga yaqinlashish ". Amaliy matematikaning yutuqlari. 19 (4): 453–470. doi:10.1006 / aama.1997.0549. JANOB  1479014.CS1 maint: ref = harv (havola)
• Espinola, R .; Xamsi, M. A. (2001). "Hiperkonveks bo'shliqlariga kirish" (PDF). Kirkda V. A .; Sims B. (tahrir). Metrik sobit nuqta nazariyasining qo'llanmasi. Dordrext: Kluwer Academic Publishers. JANOB  1904284.CS1 maint: ref = harv (havola)
• Isbell, J. R. (1964). "In'ektsion metrik bo'shliqlar haqida oltita teorema". Matematik Helvetici sharhi. 39: 65–76. doi:10.1007 / BF02566944. JANOB  0182949.CS1 maint: ref = harv (havola)
• Sine, R. C. (1979). "Sup normadagi bo'shliqlarda chiziqli bo'lmagan qisqarish yarim guruhlari to'g'risida". Lineer bo'lmagan tahlil. 3 (6): 885–890. doi:10.1016 / 0362-546X (79) 90055-5. JANOB  0548959.CS1 maint: ref = harv (havola)
• Soardi, P. (1979). "Ba'zi Banax panjaralarida keng qamrovli bo'lmagan xaritalarning aniqlangan nuqtalari mavjud". Amerika matematik jamiyati materiallari. 73 (1): 25–29. doi:10.2307/2042874. JSTOR  2042874. JANOB  0512051.CS1 maint: ref = harv (havola)