极小化序列(minimizing sequences)是指使泛函值的极限为泛函极小值的函数序列。设E是实Banach空间， D⊂E， f是定义在D上的实泛函。若存在{xn} ⊂D，使得：f(xn)→infx∈Df(x)，则称 {xn} 为泛函 f 的极小化序列。