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) своей точной нижней грани, равной нулю, и точной верхней грани, равной единице.