injective hull（内射包/注入包）：在数学中（尤其是度量空间与范畴论相关语境），指一个对象（如度量空间）最小的“注入/内射”扩张，使得它嵌入到一个内射对象（injective object）中，并且该扩张在某种意义下是最小或最紧的。
在度量空间里，injective hull 常指Isbell 的 injective hull，也常与 tight span（紧张跨度）联系在一起。
/ndktv hl/
The injective hull of this metric space adds the missing “between” points.
这个度量空间的 injective hull 会补上缺失的“介于其间”的点。
In geometric group theory, the injective hull (tight span) can help study the large-scale shape of a space via a minimal injective extension.
在几何群论中，injective hull（tight span）可以通过一种最小的内射扩张来帮助研究空间的宏观几何形状。
injective 来自拉丁语词根 iacere（“投掷”）的生含义，在现代数学中固定为“内射/可注入”的术语，用来描述某种“延拓性质很好”的对象（能把映射延伸出去）。hull 原义是“船壳、外壳”，引申为“包壳、包、最外层结构”。合起来 injective hull 就是“把对象包进一个内射结构里”的“最小外壳/包”。
Select Language