在 度量幾何學 中，一個 內射度量空間 ，或者等效的 超凸度量空間，是一個性質概括了高維 向量空間 中實線和 L∞ 距離 的 度量空間 。這些屬性可以通過兩個看似不同的方式來定義：超凸性涉及空間中閉合球的相交性質，而注入性則涉及將空間 等距同構 為更大的空間。 Aronszajn 和Panitchpakdi 的定理中這兩種不同類型的定義是等價的。
