131
Это утверждение следует из свойства пределов (см. свойство 2 из §2 главы 4).
О непрерывности сложной функции.
Теорема 4. Если функция |
непрерывна в точке |
, а функция |
непрерывна в точке |
|||||||
|
, то сложная функция |
непрерывна в точке . |
|
|
|
|||||
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
Из непрерывности функции |
в точке |
имеем: |
|
0 |
|
: |
, |
||
|
|
. |
|
|
|
|
|
|
|
|
|
Из непрерывности функции |
в точке |
имеем: |
|
|
0 |
: |
, |
||
|
|
. |
|
|
|
|
|
|
|
|
|
Так как |
, то |
|
|
|
|
. |
Итак, |
0 |
: |
|
, |
|
|
, |
где |
|
область определения |
|||
сложной функции |
. Это и означает непрерывность сложной функции. |
|
||||||||
Замечание.
Вместо доказательства можно было бы просто сослаться на Теорему о пределе сложной функции и Следствие из нее (см. §2 главы 4).
§4. Свойства функций, непрерывных на отрезке.
Вэтом параграфе рассматриваются функции, непрерывные на некотором отрезке
. Это означает, как отмечено выше, непрерывность функций в каждой внутренней
точке этого промежутка, а на концах промежутка соответственно непрерывность справа (в точке ) и слева (в точке ).
Первая теорема Больцано-Коши (об обращении функции в нуль).
Теорема 1. |
|
|
|
Пусть функция |
определена и непрерывна на отрезке |
. Если функция на |
|
концах промежутка принимает значения разных знаков, то найдется точка внутри |
|||
промежутка, в которой функция обращается в нуль: |
|
|
|
|
: |
. |
|
Теорема имеет следующий геометрический смысл:
если непрерывная кривая переходит с одной стороны оси на другую, то она где-нибудь пересекает эту ось (см. рис.)
Доказательство.
132
Применим метод последовательного деления промежутка. Пусть для определенности
|
|
, а |
. Разделим промежуток |
|
пополам точкой |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||
Если окажется, что |
|
|
|
|
|
, то точка |
|
найдена. Пусть |
|
|
|
|
|
|
|
; тогда |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
или |
|
|
|
. В первом случае функция |
|
принимает значения разных |
|
||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||
знаков на концах промежутка |
|
|
|
, во втором случае |
на концах промежутка |
|
|
. |
|||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||
|
|
Выберем тот промежуток, на концах которого функция принимает значения разных |
|||||||||||||||||||||||||||||
знаков, и обозначим его через |
|
|
|
. Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
, |
, |
|
|
и |
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
Далее повторяем эту процедуру для промежутка |
|
|
. Если |
|
|
|
|
|
|
|
, то |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
получаем промежуток |
- такой, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
, |
|
|
|
, |
|
и |
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
Если окажется, что |
|
|
|
|
, то точка |
|
|
найдена. |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Продолжая этот процесс деления промежутка, мы либо наткнемся на точку, в которой функция обращается в нуль - и доказательство теоремы завершится - либо получим бесконечную последовательность вложенных один в другой промежутков. В последнем случае будем иметь:
|
, |
, |
и |
|
при |
. |
|
|
|
|
|||||
|
Согласно Лемме о вложенных промежутках (см. §9 главы 3) все эти промежутки |
|
|||||
имеют единственную общую точку , причем |
|
. Докажем, что эта точка |
|||||
искомая. |
|
|
|
|
|
|
|
|
Перейдем к пределам при |
в неравенствах: |
, |
|
. |
||
Тогда получим: |
, |
|
. |
|
|
|
|
|
Используя непрерывность функции |
в точке : |
|
|
|
|
|
и |
|
получим: |
и |
, но это возможно лишь, |
|||
если |
. Теорема доказана. |
|
|
|
|
|
|
Доказанная теорема может применяться при решении уравнений: во-первых, для установления факта существования корня; во-вторых, для приближенного вычисления этого корня.
Пример 1. Рассмотрим алгебраическое уравнение нечетной степени:
|
|
. |
Пусть |
|
многочлен нечетной степени. |
Известно (см. §6 главы 4), что |
и |
. Так как многочлен |
является непрерывной функцией и меняет знак на некотором промежутке, то согласно доказанной теореме в какой-то промежуточной точке многочлен обращается в 0.
Следовательно: любое алгебраическое уравнение нечетной степени имеет, по крайней мере один вещественный (действительный) корень.
|
|
|
|
|
|
133 |
Пример 2 (из |
). Найдем корень уравнения |
с точностью до 0,01. |
||||
Пусть |
|
. Вычисляя значения функции |
в целочисленных |
|||
точках, мы увидим, что |
|
, |
Следовательно, непрерывная |
|||
функция |
на концах промежутка |
принимает значения разных знаков. Согласно |
||||
доказанной теореме на интервале |
найдется точка, в которой функция обращается в |
|||||
нуль, т.е. корень уравнения лежит внутри отрезка |
. |
|
|
|||
Разделим отрезок |
на 10 равных частей и вычислим значения |
в точках |
||||
деления: |
|
…; |
|
|
…; |
. |
Так как |
|
, то корень находится внутри отрезка |
. |
|
||
Разделим теперь этот отрезок на 10 равных частей и вычислив значения |
в |
|||||
точках деления, получим: |
|
…; |
|
Это значит, что корень |
||
лежит внутри промежутка |
|
. |
|
|
|
|
Таким образом, с точностью до 0,01 корень данного уравнения равен |
. |
|||||
Вторая теорема Больцано-Коши (о промежуточном значении функции).
Теорема 2. |
|
|
|
|
|
Пусть функция |
определена и непрерывна на отрезке |
|
. Если функция на |
||
концах промежутка принимает неравные значения: |
|
, то она принимает и |
|||
любое промежуточное значение между |
и |
: |
|
|
|
, |
или |
|
|
: |
. |
Доказательство. |
|
|
|
|
|
|
|
Возьмем любе число |
, лежащее между |
и |
, и введем новую функцию: |
|
|||
|
|
|
|
. |
|
|
|
Функция |
на концах промежутка принимает значения разных знаков, |
|
|||||
действительно: |
|
|
|
, так как либо |
|
|
|
|
и |
, либо |
и |
. Кроме того, функция |
непрерывна |
||
на |
как разность двух непрерывных функций. |
|
|
|
|||
По первой теореме Больцано-Коши найдется точка внутри промежутка, в которой |
|
||||||
функция |
обращается в нуль, т.е. |
: |
, а это означает, что |
. |
|||
Теорема доказана. |
|
|
|
|
|
|
|
Первая теорема Вейерштрасса (об ограниченности функции).
Теорема 3.
|
|
|
|
|
|
|
134 |
Если функция |
|
определена и непрерывна на отрезке |
, то она ограничена |
||||
на этом отрезке, т.е. |
|
|
|
|
. |
|
|
Доказательство. |
|
|
|
|
|
|
|
Предположим, что функция |
не ограничена на |
. В таком случае для |
|||||
каждого натурального числа |
найдется в промежутке |
такое значение |
, что |
||||
. Тем самым получаем ограниченную последовательность чисел |
|
||||||
|
, для которой |
при |
. |
|
|
||
По Лемме Больцано-Вейерштрасса (см. §11 главы 3) из последовательности |
|||||||
можно выбрать сходящуюся подпоследовательность |
: |
при |
. |
||||
Так как |
|
|
, то |
, т.е. |
|
Следовательно, |
|
определено значение |
. |
|
|
|
|
|
|
Из непрерывности функции |
в точке имеем: |
|
при |
, |
|||
т.е. подпоследовательность |
|
стремится к конечному пределу и значит, она |
|||||
ограничена. Но, с другой стороны: |
при |
и значит, она не ограничена. |
|||||
Полученное противоречие показывает, что предположение о неограниченности функции неверно. Теорема доказана.
Вторая теорема Вейерштрасса (о наибольшем и наименьшем значении функции). |
|
|||||||||||||||||
Теорема 4. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
Если функция |
|
определена и непрерывна на отрезке |
, то она достигает в |
|||||||||||||
этом промежутке своего наибольшего и своего наименьшего значений: |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
. |
|
|
|
Доказательство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
По первой теореме Вейерштрасса множество значений функции |
ограничено. |
|||||||||||||||
Следовательно, у этого множества существует |
и |
(см. §10 главы 1). |
Введем |
|
||||||||||||||
обозначения: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
, |
|
|
|
. |
|
|
|
|
|
|
|
Надо доказать, что |
|
|
и |
достигаются, т.е. |
|
|
и |
|
||||||||
|
|
|
|
. Докажем первое утверждение. |
|
|
|
|
|
|||||||||
|
|
Предположим, что это не так, т.е. |
выполнено неравенство: |
. |
||||||||||||||
Рассмотрим функцию |
|
|
|
|
|
|
. Функция |
|
определена и непрерывна на |
|
||||||||
|
|
|
|
|
|
|
|
|||||||||||
как отношение двух непрерывных функций с не обращающимся в нуль знаменателем. |
|
|||||||||||||||||
Кроме того, эта функция положительна. По первой теореме Вейерштрасса функция |
|
|||||||||||||||||
ограничена, т.е. |
: |
|
|
|
|
выполнено неравенство: |
. |
Тогда получим: |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
. Это означает, что число |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
является верхней границей множества |
|
, причем |
|
|
. |
|
|||||||||
|
|
|
|
|
|
|||||||||||||
Но это противоречит тому, что |
- наименьшая верхняя граница |
|
. Полученное |
|||||||||||||||
противоречие доказывает, что не может выполняться неравенство |
|
|
|
|
. |
|||||||||||||
Следовательно, |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
||||
135
Аналогично доказывается второе утверждение относительно наименьшего значения функции. Теорема доказана.
Следствие. |
|
|
Если область определения |
непрерывной функции |
есть некоторый |
промежуток, то область значений |
также представляет собой некоторый промежуток. |
|
Доказательство. |
|
|
Понятие промежутка было введено в §8 главы 1; промежутки бывают открытыми, полуоткрытыми, замкнутыми, ограниченными и неограниченными. Например, отрезок
это ограниченный замкнутый промежуток, а интервал это ограниченный открытый |
|
||||||
промежуток. |
|
|
|
|
|
|
|
Рассмотрим случай, когда |
|
представляет собой отрезок. Докажем, что тогда |
|
||||
также является отрезком. |
|
|
|
|
|
|
|
Пусть |
непрерывная функция в области определения |
. По |
|
||||
теоремам Вейерштрасса |
|
|
|
, причем |
|
||
|
и |
|
|
|
. |
|
|
Если |
, то по теоремам Больцано-Коши функция |
принимает все |
|||||
промежуточные значения между |
и |
. Это означает, что область значений |
|
||||
функции |
представляет собой отрезок: |
. |
|
|
|||
Если |
, т.е. |
|
, то наименьшее значение функции совпадает с его |
||||
наибольшим значением; тогда |
|
|
постоянная функция. В этом случае |
|
|||
|
отрезок, |
вырожденный в точку . |
|
|
|||
Таким образом, доказано, что если |
отрезок, то и также отрезок. Другими |
||||||
словами: |
|
непрерывный образ отрезка есть отрезок . |
|
||||
Аналогично доказывается утверждение и для других видов промежутков. |
|
||||||
Замечание 1. Для промежутков, отличных от отрезков, уже нельзя утверждать, что |
и |
||||||
всегда будут промежутками одного вида. Например, если |
интервал, то |
не |
|||||
обязательно будет интервалом. |
|
|
|
|
|
||
В качестве примера рассмотрим функцию, |
|
|
|
||||
полученную сужением функции |
|
|
|
|
|
||
на интервал |
. |
|
|
|
|
|
|
Здесь |
, а |
|
. |
|
|
|
|
Замечание 2. Для разрывных функций утверждение Следствия уже не имеет место.
Например, для функции |
(см. Пример 1 из §2) имеем: |
промежуток, а |
не является промежутком. |