Раздел I. Введение в анализ§ 9. Равномерная непрерывность функции

Демидович — задача 806

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Задача 806

1. Доказать, что если функция f(x)f(x) равномерно непрерывна на конечном интервале (a,b)(a,b), то существуют пределыA=limxa+0f(x)иB=limxb0f(x).A=\lim_{x\to a+0}f(x)
\quad\text{и}\quad
B=\lim_{x\to b-0}f(x).
Верна ли эта теорема для бесконечного интервала (a,b)(a,b)?

2. Доказать, что для того, чтобы функцию f(x)f(x), определенную и непрерывную на конечном интервале (a,b)(a,b), можно было продолжить непрерывным образом на сегмент [a,b][a,b], необходимо и достаточно, чтобы функция f(x)f(x) была равномерно непрерывна на интервале (a,b)(a,b).

Доказательство

  1. 1
    Докажем существование правого предела при xa+0x\to a+0. Возьмем любую последовательность xn(a,b)x_n\in(a,b), для которой xna+0x_n\to a+0.

    Поскольку ff равномерно непрерывна, для каждого ε>0\varepsilon>0 существует δ>0\delta>0 такое, чтоxy<δf(x)f(y)<ε|x-y|<\delta
    \quad\Rightarrow\quad
    |f(x)-f(y)|<\varepsilon
    для любых x,y(a,b)x,y\in(a,b).

    Последовательность xnx_n сходится, поэтому является фундаментальной. Существует NN такое, что при n,mNn,m\ge N имеем xnxm<δ|x_n-x_m|<\delta, а значит,f(xn)f(xm)<ε.|f(x_n)-f(x_m)|<\varepsilon.Последовательность f(xn)f(x_n) фундаментальна и поэтому сходится к некоторому конечному числу AA.
  2. 2
    Покажем, что этот предел не зависит от выбора последовательности. Пусть yna+0y_n\to a+0. Тогда xnyn0|x_n-y_n|\to0, поэтому из равномерной непрерывностиf(xn)f(yn)0.|f(x_n)-f(y_n)|\to0.Если f(xn)Af(x_n)\to A, то и f(yn)Af(y_n)\to A. По критерию Гейнеlimxa+0f(x)=A.\boxed{\lim_{x\to a+0}f(x)=A}.Аналогично существует конечный пределlimxb0f(x)=B.\boxed{\lim_{x\to b-0}f(x)=B}.
  3. 3
    Для бесконечного интервала утверждение неверно. Например, функция f(x)=xf(x)=x равномерно непрерывна на (0,+)(0,+\infty), однако конечного предела при x+x\to+\infty не имеет.

    Необходимость. Пусть функцию удалось непрерывно продолжить на [a,b][a,b]. Полученная функция непрерывна на сегменте, поэтому по теореме Кантора равномерно непрерывна на [a,b][a,b]. Ее ограничение на (a,b)(a,b) также равномерно непрерывно.

    Достаточность. Пусть ff равномерно непрерывна на (a,b)(a,b). По первой части существуют конечные пределыA=limxa+0f(x),B=limxb0f(x).A=\lim_{x\to a+0}f(x),
    \qquad
    B=\lim_{x\to b-0}f(x).
    ОпределимF(x)={A,x=a,f(x),a<x<b,B,x=b.F(x)=
    \begin{cases}
    A,&x=a,\\
    f(x),&a<x<b,\\
    B,&x=b.
    \end{cases}
    Внутри (a,b)(a,b) функция FF непрерывна по условию, а равенства пределов на концах дают непрерывность в точках aa и bb.

Проверка

Таким образом,f допускает непрерывное продолжение на [a,b]    f равномерно непрерывна на (a,b).\boxed{
f\text{ допускает непрерывное продолжение на }[a,b]
\iff
f\text{ равномерно непрерывна на }(a,b).
}

Что и требовалось доказать