
- •Глава 4. Непрерывность функции
- •§4.1. Непрерывность функции в точке. Свойства непрерывных функций
- •1. Непрерывна в точке;
- •2. Существует такая , что.
- •§4.2. Точки разрыва и их классификация
- •§4.3. Непрерывность элементарных функций
- •4.3.2.Непрерывность рациональной функции
- •4.3.3.Непрерывность монотонной функции
- •4.3.4. Непрерывность показательной функции, логарифмической функции и степенной функции
- •4.3.5.Непрерывность тригонометрических функций
- •4.3.6.Непрерывность обратных тригонометрических функций
- •§4.4. Символы ,. Вычисление
- •4.4.1. Символы ,
- •4.4.2.Вычисление пределов , ,
4.3.3.Непрерывность монотонной функции
Для дальнейшего исследования будет полезной следующая теорема.
Теорема
4.4.
Пусть
возрастает (или убывает) на промежутке
,
причём множество её значений образует
промежуток
.
Тогда
– непрерывная на
функция.
Доказательство.
Для доказательства вспомним, что если
строго монотонна на промежутке
,
то, согласно следствию теоремы 3.7.2, в
любой внутренней точке
этого промежутка существуют
и
.
Если эти числа равны друг другу, то они,
ввиду монотонности, равны
и
.
Если же эти значения не равны друг другу,
то во множестве значенийY
функции
имеется
“пробел” между точками
и
,
опять же ввиду монотонности
.
Но, по условию, множество значений
образует промежуток, в котором, по
определению промежутка, не может быть
“пробелов”.
4.3.4. Непрерывность показательной функции, логарифмической функции и степенной функции
Функция
монотонна (возрастает при
,
убывает при
)
и множеством ее значений при
является бесконечный промежуток –
множество всех положительных чисел. По
доказанной теореме 4.4 функция
непрерывна
на всей числовой оси.
Функция
монотонна
(возрастает при
,
убывает при
)
и при
ее
множество значений есть
.
По доказанной теореме,
непрерывна
на
.
Функцияопределена на
,
причем
.
По доказанному выше,
непрерывная функция на
,
функция
непрерывна
при всех
,
поэтому, по теореме о непрерывности
сложной функции,
- непрерывная на
функция.
4.3.5.Непрерывность тригонометрических функций
Сначала
докажем непрерывность функции.
При вычислении предела
было установлено, что если
,
то
.
Ввиду нечетности функций
и
,
при
выполняются
неравенства
.
Из этого сразу следует, что при
выполняется
неравенство
.
Пусть
произвольная
точка. Докажем, что
.
Это равносильно тому, что
.
В свою очередь, это равносильно тому,
что
.
Так как, по доказанному выше,
,
.
Кроме того, функция
,
очевидно, ограниченная. По свойствам
бесконечно малых, получаем требуемое.
Функция
y
непрерывна
по теореме о непрерывности сложной
функции, так как
,
– непрерывная функция и
–
тоже непрерывная функция.
Функция
непрерывна
во всех точках, кроме
.
В этих, последних, она не определена и
при любом доопределении в них имеет
разрыв второго рода.
Функция
непрерывна во всех точках, кроме точек
,
где она не определена и при любом
доопределении в них имеет разрыв второго
рода.
4.3.6.Непрерывность обратных тригонометрических функций
Непрерывность
функции
Функция
определена на отрезке [-1, 1], возрастает
на нём и множеством её значений является
отрезок [
].
По теореме 4.4,
непрерывна
на [-1, 1].
Непрерывность
функции
следует
из тождества
,
откуда
функция,
также непрерывная на [-1, 1].
Докажем
непрерывность функции
Функция
определена
и возрастает на всей числовой прямой.
Множество значений – интервал (
).
Поэтому
непрерывна на всей числовой прямой.
Непрерывность
функцииследует из равенства :
.
§4.4. Символы ,. Вычисление
,
,
4.4.1. Символы ,
Пусть
,
определены в
.
Определение
4.6
Говорят, что
есть
«о-малое»
от
при
(Обозначение:
,
),
если существует
,
– бесконечно малая при
функция такая, что
.
Определение
4.7.
Говорят, что
есть
«о-большое»
от
при
(Обозначение:
,
),
если существует
–
ограниченная в
,
такая, что
.
Примеры.
при
, т.к.
, а
;
, при
∞, т.к.
, и
при
∞.
Вообще,
если
и
,
то
и если
и
∞
то
.
Из
свойств бесконечно малых величин следуют
такие свойства символов,
.
Теорема
4.5.Если
,
,
то
,
;
все соотношения выписаны при
.
Доказательство.
Действительно,
,
,где
бесконечно малые при
функции
и
,
а
.В
фигурных скобках стоят бесконечно малые
при
функции.
Теорема
4.6.
,
т.е. если
,
то
при
.
Доказательство.
Действительно, если
,
а
,
т. е.
,
,
где
бесконечно малые при
функции,
то
,
где
–бесконечно
малая при
функция, что и означает справедливость
доказываемого равенства . Для большей
ясности повторим, что равенство следует
понимать так: если
,
то
при
.
Теорема
4.7.
,
,
.
Доказательство. Эти свойства сразу следуют из того, что произведение бесконечно малой величины на ограниченную есть бесконечно малая величина.
Символы,
очень
удобны при вычислении пределов.