Инъективная оболочка

На данном метрическом пространстве ${\displaystyle M}$ рассматриваются все функции ${\displaystyle f\colon M\to \mathbb {R} }$ такие, что

${\displaystyle f(x)+f(y)\geqslant |x-y|_{M}\geqslant |f(x)-f(y)|}$ для любых ${\displaystyle x,y\in M}$,

для любого ${\displaystyle x\in M}$ существует ${\displaystyle y\in M}$ такое, что ${\displaystyle f(x)+f(y)-|x-y|_{M}}$ произвольно мало.

Далее множество этих функций снабжается метрикой

${\displaystyle |f-h|=\sup _{x\in M}|f(x)-h(x)|_{M}.}$

Полученное метрическое пространство ${\displaystyle W}$ называется инъективной оболочкой ${\displaystyle M}$.

• Инъективная оболочка является инъективным пространством.
• Инъективная оболочка компактного пространства компактна.
  • В частности, любое компактное пространство является подпространством компактного пространства с внутренней метрикой.
• Пусть ${\displaystyle {\hat {X}}}$ и ${\displaystyle {\hat {Y}}}$ — инъективные оболочки компактных метрических пространств ${\displaystyle X}$ и ${\displaystyle Y}$. Тогда

  ${\displaystyle d_{GH}({\hat {X}},{\hat {Y}})\leq 2\cdot d_{GH}(X,Y),}$

где ${\displaystyle d_{GH}}$ обозначает метрику Громова — Хаусдорфа.

• Константа 2 в этом неравенстве является оптимальной.[4]