EDB — 2BH

[2BH]Sia

assumiamo sempre che $F_a$ sia non vuoto e che $\nabla 𝜑(x)\ne 0$ per ogni $x\in E_a$.

Chiamiamo punto di minimo locale di $f$ vincolato a $F_a$ un punto di $F_a$ che sia di minimo locale per $f{|}_{F_a}$; e similmente per i massimi.