
§ 5. Условия непрерывности монотонной функции
Теорема 1 (об односторонних пределах монотонной функции). Если функция f(x) монотонна и определена в некоторой окрествности U(x0,δ) точки x0, то
1о.
,
при f(x)
— неубывающей;
2о.,
при f(x)
— невозрастающей.
►Доказательство проведём
для неубывающей функции. Т. к. f(x)
— неубывающая (по
условию Т.) в U(x0,δ),
то
выполняется неравенствоf(x)≤
f(x0)
множество М={x|
x≤
x0
,
}
ограничено сверху числом f(x0).
По Т. о существ-нии верхней грани
a*
= sup M.
По определению верхней грани х
U(x0,δ)
и x≤
x0
a* ≤ f(x0) (1)
По свойству верхней грани ε>0 x1 U(x0,δ) и x1<x0 , такой, что a* –ε< f(x1) ≤ a* <a* +ε . Т.к. f(x) — неубывающая (по условию), то последнее неравенство выполняется x, удовлетворяющих неравенству x0 >x> x1. Т.обр., показали, что ε>0 δ1= x1– x0 >0 | x U(x0,δ1)D(f) (а значит –δ1< x– x0 <0, что выполняется неравенство
a* –ε< f(x) <a* +ε | f(x) – a* |< ε, а значит
(2)
(с учетом неравенства (1)). Аналагично даказывается, что
,
(3)
где а*
= sup{ x|
x≥
x0
,}.
Объединяя (2) и (3), получаем утверждение
теоремы.
Доказать самостоятельно для невозрастающей функции.◄
Следствие из Т.1. Если монотонная функция f(х) имеет разрыв в точке x0, то x0 — точка разрыва перого рода.
Теорема 2 (неабходимое и дастаточное условие непрерывности монотонной функции). Для того, чтобы монотонная функция f(x), определенная на промежутке ХD(f) была непрерывной, неабходимо и дастаточно, чтобы множество её значений на этом промежутке множество Y={f(x)| xX} также являлось промежутком.
Необходимость. Дано: f(x)– монотонная, непрерывная функция на промежутке Х.
Доказать: Y– промежуток.
►Доказательство проведём для неубывающей функции. Обозначим через m=inf Y, M=supY. Ранее мы договорились считать m= – , если Y – неограниченное снизу множество и M = + , если Y – неограниченное сверху множество. Возьмём любое число l, удовлетворяющего неравенству m<l<M . По 2 свойству верхней (нижней) грани
x1, x2 Х, (причём x1 < x2 т.к. по условию f(x)– неубывающая), такие, что
m≤f(x1) <l< f(x2) ≤ M.
По условию теоремы f(x) – непрерывная функция на промежутке Х, а значит и на отрезке [x1, x2]X по теореме § , что с[x1, x2]X, такая что f(c)=l . Т. обр. показали, чтодля любого числаl, удовлетворяющего неравенству m<l<M сX, в которой f(c)=l Y – промежуток. ◄
Дастаточность. Дано: f(x) – монотонная функция на промежутке Х .
Y={f(x)| xX} — промежуток.
Доказать: f(x) —непрерывная функция на промежутке Х .
► Доказательство проведём
для неубывающей функции методом
от противного. Пусть
функция f(x)
имеет разрыв в точке x0
Х.
На основании следствия из Т.1
x0
– точка разрыва первого рода, т. е., что
.
Пусть для определённости
,
тогда по Т.1
.Рассмотрим число γ,
такое, что
.
Тогда x<x0,
xX
выполняется неравенство
(4)
а x> x0, xX
(5)
Объединим (4) и (5), получим что xX f(x)≠γ , но γY Yне является промежутком (противоречие).
Доказать самостоятельно для невозрастающей функции.◄