18. Теорема Вейерштрасса
Если функция f непрерывна на отрезке [a,b], то она достигает своей точной верхней и нижней грани, т.е.
(9)
(10)
Так как непрерывная
на отрезке функция f(x)
ограничена, согласно теореме Вейерштрасса об ограниченности
непрерывной на отрезке функции, т.е. множество значений, принимаемых
функцией f на отрезке [a,b],
ограничено, то существуют
и
Докажем утверждение
(9). Обозначим М =
.
В силу определения точной верхней грани выполняются условия
(11)
(12)
Полагая
получим
в силу условия (12) последовательность
,
где
,
такую, что для всех
выполняются
условия
(13)
(14)
Из соотношений (11), (13) и (14) следует, что
откуда получаем
(15)
Как и в теореме 3,
из условия (13) следует, что существуют
подпоследовательностьпоследовательности
и
точка
такие,
что
,
где
.
В силу непрерывности
функции
f
в
точке
(16)
С другой стороны,—
подпоследовательность последовательности
,
сходящейся, согласно условию (15), к числу М.
Поэтому
(17)
В силу
единственности предела последовательности из (16) и (17) заключаем,
что.
Утверждение (9) доказано.
Аналогично доказывается утверждение (10). •
Замечание
4. Теорема
4 неверна для интервалов: функция, непрерывная на интервале,
может не достигать своих точных граней. Например, функцияне
достигает на интервале (0,1) своей
точной нижней грани, равной нулю, и точной верхней грани, равной
единице.