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