2
[1F6]Sia ora \(A β β^ n\) un aperto e \(f,π:A\to {\mathbb {R}}\) funzioni reali di classe \(C^ 1\) su \(A\). Fissato \(aββ\) definiamo poi lβinsieme di livello
\[ E_ a =\{ xβ A : π(x) = a\} \]
assumiamo che \(E_ a\) sia non vuoto, e che \(β π(x) β 0\) per ogni \(x β E_ a\).
Chiamiamo punto di minimo locale di \(f\) vincolato a \(E_ a\) un punto di \(E_ a\) che sia di minimo locale per \(f|_{E_ a}\); e similmente per i massimi.