PROFILPELAJAR.COM

Ін'єктивний метричний простір — метричний простір з певними властивостями, що узагальнює властивості дійсної прямої та метрику $L^{\infty }$ у векторних просторах вищої розмірності.

Визначення

Повний геодезичний метричний простір $X$ називається ін'єктивним, якщо довільне сімейство куль у $X$ має спільну точку, якщо будь-які дві кулі в цьому сімействі перетинаються.

Приклади

Дійсна пряма, а також будь-який замкнутий інтервал.
Простір функцій на будь-якому просторі зі sup-нормою.
Будь-яке метричне дерево.

Властивості

В ін'єктивному просторі радіус будь-якої множини дорівнює половині її діаметра.
- Таким чином, ін'єктивні простори задовольняють найсильнішій формі теореми Юнга .
Ін'єктивний простір є повним.
Будь-яке коротке відображення ін'єктивного простору скінченного діаметра в себе фіксує точку.
Метричний простір є ін'єктивним тоді й лише тоді, коли він є ін'єктивним об'єктом у категорії метричних просторів та коротких відображень відносно екстремальних мономорфізмів.
- Інакше кажучи, простір $X$ є ін'єктивним, якщо для будь-якого короткого відображення $f\colon A\to X$ та ізометричного вкладення $\phi \colon A\to B$ існує коротке відображення $g\colon B\to X$ таке, що $f=g\circ \phi$ .
Будь-який метричний простір вкладається в так звану ін'єктивну оболонку — мінімальний ін'єктивний простір, що містить початковий. (Ін'єктивна оболонка аналогічна опуклій оболонці.)
- Ін'єктивна оболонка даного метричного простору визначається однозначно з точністю до ізометрії, що комутує зі вкладенням.

Див. також

Категорія метричних просторів

Посилання

Isbell, J. R. Six theorems about injective metric spaces // Commentarii Mathematici Helvetici^[en] : журнал. — 1964. — Vol. 39. — P. 65—76. — DOI:10.1007/BF02566944.