Определение 1.10. Точка
0
x , принадлежащая области
определения функции
xfy = ,
, называется точкой
локального максимума функции
, если существует интервал
Xx,x
00
⊂ε+ε− ,
0
такой, что для всех точек
из этого
интервала выполняется неравенство
0
xfxf ≤ .
Если неравенство строгое
00
xx,xfxf ≠< , то говорят,
что
0
x - точка строгого локального максимума функции
xf .
Аналогично определяются точки локального минимума и
строго локального минимума:
Определение 1.11. Точка
0
x , принадлежащая области
определения функции
xfy = ,
, называется точкой
локального минимума функции
, если существует интервал
Xx,x
00
⊂ε+ε− ,
0
такой, что для всех точек
из этого
интервала выполняется неравенство
0
xfxf ≥ .
Если неравенство строгое
00
xx,xfxf ≠> , то говорят,
что
0
x - точка строгого локального минимума.
Точки локального максимума и локального минимума
объединяют общим названием точек локального экстремума.
Для нахождения точек локального экстремума
дифференцируемой функции используют необходимые (теорема
Ферма) и достаточные условия.
Теорема Ферма. Если
0
x - точка локального экстремума
функции
xfy = ,
и в точке
0
x существует конечная
производная
0
xf
, то
0xf
0
=
.