78
Доказательство. Непрерывность суммы, разности и произведения следует
из теоремы о пределе суммы, разности, произведения двух функций.
Рассмотрим случай частного. Пусть, например,
()
0
0
>
xf
. Тогда,
согласно предыдущей теореме,
()
0
>
xf
в некоторой окрестности точки
0
x
.
Непрерывность частного следует из теоремы о пределе частного двух
функций.
Теорема
(о предельном значении непрерывной функции на сходящейся
последовательности). Пусть функция
()
xf
определена в некоторой
окрестности точки
0
x
и непрерывна в этой точке. Тогда для любой числовой
последовательности
0
xx
n
→
выполнено равенство
() ()
0
xfxflim
n
n
=
∞→
. (2)
Доказательство. Возьмем
()
00
>εδ=δ∃⇒>ε∀
такое, что
() ( )
ε<−⇒δ<−
00
xfxfxx
. (3)
Из сходимости последовательности следует, что для числа
0
>
δ
существует
номер
N
такой, что
δ<−⇒>∀
0
xxNn
n
. Отсюда и из (3) следует, что
() ()
)x(f)x(flimxfxfNn
n
n
n
00
=⇒ε<−⇒>∀
∞→
.
Теорема
(о непрерывности сложной функции). Пусть функция
()
xfy
=
определена в окрестности точки
0
x
и непрерывна в этой точке. Пусть
функция
()
yFz
=
определена в окрестности точки
()
00
xfy
=
и непрерывна в
этой точке. Тогда в некоторой окрестности точки
0
x
определена сложная
функция
() ()()
xfFx
=
, которая является непрерывно й в точке
0
x
.
Доказательство следует из теоремы о пределе сложной функции.
Разрывные в точке функции. Функция, определенная в окрестности точки
0
x
и не являющаяся непрерывной в ней, называется разрывной в этой точке.
Это означает, что, либо не существует предела функции в рассматриваемой
точке, либо значение предела не совпадает со значением функции в этой
точке.
В случае, когда
() ( )
0
0
xfxflim
xx
≠∃
→
, можно переопредел ить значение
функции в рассматриваемой точке, положив его равным значению предела.
После этого получившаяся функция будет непрерывной в точке
0
x
. Такие
точки разрыва функции называются устранимыми.
Может оказаться, что существуют односторонние пределы функции в
рассматриваемой точке и они не равны. Такие точки разрыва функции
называются разрывами первого рода.
Свойства функций, непрерывных на отрезке
Определение. Говорят, что функция непрерывна на отрезке
[]
b,a
, когда она
непрерывна в каждой точке
()
b,ax
∈
0
, а в концах этого отрезка выполнены