I would like to show for an open subset $ U \subset \mathbb{R}^n$ and $f : U \to \mathbb{R}$ continuously differentiable and $M = \{x \in U | g_1(x) = 0, ..., g_r(x) = 0 \}$ with $r \leq n$. Let $a \in M$ be a local extrema of $f|_M$. I then want to show that $T_a M \subset ker Df(a)$ ($Df$ is just a gradient here).So far I was able to show that any $v \in T_a M$ is orthogonal to every $Dg_i(a)$. However I am stuck on how to make further progress. I know that the dimension of $T_a M$ is $n-r$. But that did not help so far.Any help would be nice.
↧