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

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

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

Задача 804

Доказать, что сумма и произведение ограниченного числа равномерно непрерывных на интервале (a,b)(a,b) функций равномерно непрерывны на этом интервале.

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

Идея

Сначала рассмотрим две равномерно непрерывные функции ff и gg на конечном интервале (a,b)(a,b).
  1. 1
    Для суммы зафиксируем ε>0\varepsilon>0. Существуют δ1,δ2>0\delta_1,\delta_2>0 такие, что при xy<δ1|x-y|<\delta_1 имеем f(x)f(y)<ε/2|f(x)-f(y)|<\varepsilon/2, а при xy<δ2|x-y|<\delta_2 имеем g(x)g(y)<ε/2|g(x)-g(y)|<\varepsilon/2. Для δ=min{δ1,δ2}\delta=\min\{\delta_1,\delta_2\}(f+g)(x)(f+g)(y)<ε.|(f+g)(x)-(f+g)(y)|
    <
    \varepsilon.
    Значит, f+gf+g равномерно непрерывна.
  2. 2
    Для произведения сначала заметим, что равномерно непрерывная функция на конечном интервале ограничена. Действительно, для ε=1\varepsilon=1 существует δ0>0\delta_0>0, одинаковое для всех точек. Интервал (a,b)(a,b) можно разбить на конечное число промежутков длины меньше δ0\delta_0; выбрав в каждом одну точку, получаем общую конечную оценку для значений функции на всем интервале.

    Поэтому существуют Mf,Mg>0M_f,M_g>0 такие, что f(x)Mf|f(x)|\le M_f и g(x)Mg|g(x)|\le M_g. Имеемf(x)g(x)f(y)g(y)f(x)g(x)g(y)+g(y)f(x)f(y)Mfg(x)g(y)+Mgf(x)f(y).\begin{aligned}
    |f(x)g(x)-f(y)g(y)|
    &\le
    |f(x)||g(x)-g(y)|
    +
    |g(y)||f(x)-f(y)|\\
    &\le
    M_f|g(x)-g(y)|+M_g|f(x)-f(y)|.
    \end{aligned}
    Подберем δ1\delta_1 так, чтобы при xy<δ1|x-y|<\delta_1g(x)g(y)<ε2Mf,|g(x)-g(y)|<\frac{\varepsilon}{2M_f},а δ2\delta_2 - так, чтобыf(x)f(y)<ε2Mg.|f(x)-f(y)|<\frac{\varepsilon}{2M_g}.Для δ=min{δ1,δ2}\delta=\min\{\delta_1,\delta_2\} получаем f(x)g(x)f(y)g(y)<ε|f(x)g(x)-f(y)g(y)|<\varepsilon.
  3. 3
    Для любого конечного числа функций утверждение следует последовательным применением доказанного к двум функциям.

Проверка

Следовательно,конечные суммы и произведения равномерно непрерывных функций равномерно непрерывны.\boxed{\text{конечные суммы и произведения равномерно непрерывных функций равномерно непрерывны}.}

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

Демидович № 804 — решение