
- •3. Единственность предела сходящейся последовательности
- •4. Ограниченность сходящейся последовательности.
- •5. Сохранение знака сходящейся последовательности
- •10.Арифметические свойства сходящихся последовательностей.
- •11. Теорема Кантора о вложенных отрезках.
- •12.Теорема Больцано-Вейерштрасса об ограниченных последовательностях.
- •13. Критерий Коши сходимости последовательности.
- •14.Теорема о существовании точных границ числовых множеств.
- •15. Принцип Бореля-Лебега.
- •16.Теорема Больцано-Вейерштрасса о существовании предельной точки у ограниченного числового множества.
- •17. Эквивалентность двух определений предела функции в точке.
- •19.Критерий Коши предела функции в точке.
- •20.Непрерывность сложной функции.
- •21. Теоремы Вейерштрасса для непрерывных функций на отрезке.
- •22. Теорема Больцано-Коши о нулях функции.
- •25. Теорема о существовании обратной функции.
- •26. Теорема о существовании и непрерывности обратной функции.
- •29. Непрерывность дифференцируемой функции.
- •30. Производная и дифференцируемость функции в точке.
- •31. Дифференцируемость функции в точке: правила дифференцирования, дифференцируемость сложной функции.
- •33. Теоремы о среднем: Ферма, Ролля, Лагранжа, Коши.
- •35. Первое правило Лопиталя.
- •36. Теорема Тейлора.
- •37. Достаточные условия экстремума.
21. Теоремы Вейерштрасса для непрерывных функций на отрезке.
Функция
непрерывна
на отрезке
,
если она непрерывна во всех точках
интервала
и
непрерывна справа в точке
и
слева в точке
.
Теорема
(первая теорема Вейерштрасса).Если
функция
непрерывна
на отрезке
,
то она ограничена на нем. (Необходимо
доказать, что существует
,
что для всех
выполняется
.).
Доказательство(от противного). Пусть для всякогонайдется
такая точка
,
что
:
для
найдется
;
для
найдется
и
т. д..…для
найдется
и
т. д. Итак, построена последовательность
такая,
что для всех
:
.
Ясно, что
.
Последовательность
,
т. е. ограничена. Следовательно, по
теореме Больцано – Вейерштрасса (!!!!),
существует подпоследовательность
такая,
что
.
Так как функция
непрерывна
на отрезке
,
она непрерывна и в точке
.
Итак, имеем
,
но по построению
,
что является противоречием.
Пример.На интервале теорема, вообще говоря,
неверна. Функциянепрерывна
на
,
но не ограничена на нем.
Теорема
(вторая теорема Вейерштрасса).Непрерывная функция
на
отрезке
достигает
в некоторых точках отрезка
своих
точных верхней и нижней границ, т.е.
существуют
такие,что
Доказательство.
Докажем существование точки максимума
функции
,
т.е. точки
,
в которой значение функции равно точной
верхней грани множества значений функции
.
По предыдущей теореме(первая
теорема Вейерштрасса)
непрерывная
на отрезке
функция
является
ограниченной на этом отрезке, следовательно,
ограничена сверху, например, числом
,
т. е. для всех
.
Тогда существует точная верхняя граница
множества
значений функции
на
отрезке
,
т.е. такое число
,
что 1) для всех
;
2)
для любого
существует
точка
.
Возьмем последовательные значения
Тогда построена последовательность
.
Эта последовательность ограничена.
Следовательно, по теореме Больцано –
Вейерштрасса (!!!!)
из нее можно выделить подпоследовательность
такую,
что
.
Функция
непрерывна
в точке
.
Следовательно,
,
но, с другой стороны, для всех
выполняется
.
В силу свойства (Если
для
всехn
и
,то
)
сходящихся последовательностей
заключаем, что
.
Итак,
.
Замечание
6.2.1.Если функция разрывна, то теорема
(вторая теорема Вейерштрасса), вообще
говоря, неверна. Например,,
(см.
рис.). Значение, равное
,
функцией не достигается.
22. Теорема Больцано-Коши о нулях функции.
Теорема
6.2.3.
Если
функция
непрерывна
на отрезке
,
ее значения на концах отрезка
и
не
равны нулю и имеют разные знаки, то на
интервале
имеется
по крайней мере одна точка
такая,
что
.
Доказательство
(метод Больцано деления отрезка пополам).
Пусть
(см.
рис.).
Обозначим
отрезок
.
Разделим его пополам. Если в середине
отрезка
функция
равна нулю, то все доказано. Если нет,
то обозначим за
ту
из половин отрезка
,
на концах которой функция
имеет
разные знаки:
.
Разделим отрезок
пополам.
Если в середине отрезка
функция
равна нулю, то все доказано. Если нет,
то обозначим за
ту
из половин отрезка
,
на концах которой функция
имеет
разные знаки:
.
Рассуждая таким образом, мы либо на
каком-то шаге получим точку, в которой
функция обращается в нуль, и все доказано,
либо построим систему вложенных отрезков,
длины которых стремятся к нулю, и для
всех
выполняются неравенства
.
Следовательно, по теореме Кантора (Пусть
задана система вложенных отрезков
на
,
т. е. таких, что
и
длины отрезков
при
.
Тогда существует, и притом единственная,
точка, одновременно принадлежащая всем
отрезкам
.)
существует точка
,
принадлежащая всем отрезкам
.
Поэтому
и
.
Тогда, с одной стороны,
с
другой стороны, в силу непрерывности
функции
в
точке
,
Следовательно,
.