数学分析：切空间和条件极值

 

 

这里因为是二维到三维的映射，中间也是一个雅克比矩阵将他们联系到了一起。 

 

 

 

 

 

 

 

 

这里提到了非临界点的极值条件。问题在于S下的极值点和f本身的极值点可能不同。 

 

这里可以这么用几何的方向考虑，对于一个二元函数f(x,y), 它的所有值可以填充一个完整的二维曲面，但如果我指定了某一个常数c，让f(x,y）= c,那么就相当于在这个曲面上截取了一条曲线。也就是说等值面就是n维的原函数-1维度后的图形。

这个张平院士讲的很有意思，只考虑二维的情况，S是一条曲线，f的等值面也是一条曲线。如果这两条曲线在x0点相交，那么这个点就不可能是S下的局部极值点。因为在足够小的邻域内，我们可以把f考虑成等高线，那么附近的其他等高线和S必然有交点，而且因为x0是非临界点，所以这些交点一定存在大于或者小于的情况。如果这两条先相切，那么在足够小的邻域内，等高线高的部分和这条曲线就没有交点，而等高线低的部分，存在两个交点，交点中间的部分，要么都大于，要么都小于。 

 

这里张平院士给出了更好的解释：

克赛和gradF正交，所以克赛属于gradF的正交补空间。

同时，克赛和gradf也正交，因为TS属于TN，那么TN的正交补就属于TS的正交补，所以gradf所在的空间是属于gradF，所以就得到了31.

 

 

 

 

这里要注意，为什么可以认为x只有n-m维度，是因为我们限制了条件极值在D中，而S则是方程组F给定的曲面，而F的秩是m。