上包络

一般定义： 设有一族定义在域 $D\subseteq {\mathbb{R}}^d$ 上的实值函数 $\{f_i(x){\}}_{i\in I}$，其上包络函数 $f:D\to \mathbb{R}$ 定义为：$f(x)={\sup }_{i\in I}{f}_i(x),\forall x\in D$