Теорема Кантора о равномерной непрерывности: суть и доказательство

Теорема Кантора о равномерной непрерывности - одно из тех утверждений математического анализа, которое легко формулируется, но радикально упрощает жизнь: непрерывная функция на отрезке автоматически оказывается равномерно непрерывной. На бесконечном или открытом промежутке это уже неверно, и именно компактность области определения «склеивает» локальную непрерывность в глобальное, единое для всех точек поведение. Ниже разберём, что именно утверждает теорема Кантора, чем равномерная непрерывность отличается от обычной, как теорема доказывается и где она работает, а где ломается.

Что утверждает теорема Кантора

Теорема Кантора (часто её называют теоремой Кантора–Гейне) звучит так: если функция $f$ непрерывна на отрезке $[a, b]$, то она равномерно непрерывна на этом отрезке. В более общей форме отрезок заменяется любым компактом: непрерывная функция на компактном метрическом пространстве равномерно непрерывна.

Ключевое слово здесь - равномерная непрерывность. Напомним два определения и сравним их кванторы. Обычная непрерывность функции в каждой точке $x_0$ означает:

$\forall \varepsilon > 0 \; \forall x_0 \; \exists \delta > 0 \; \forall x : |x - x_0| < \delta \Rightarrow |f(x) - f(x_0)| < \varepsilon.$

Здесь $\delta$ зависит и от $\varepsilon$, и от точки $x_0$. Равномерная непрерывность переставляет кванторы так, что $\delta$ становится общим для всей области:

$\forall \varepsilon > 0 \; \exists \delta > 0 \; \forall x', x'' : |x' - x''| < \delta \Rightarrow |f(x') - f(x'')| < \varepsilon.$

Именно этот единый $\delta$ и гарантирует теорема Кантора для непрерывной функции на отрезке. Чтобы прочувствовать разницу, удобно подобрать $\delta$ для конкретной функции и $\varepsilon$ - этим займётся инструмент ниже.

Равномерная непрерывность против обычной

Разница между двумя понятиями - это разница между «у каждой точки свой запас прочности» и «есть общий запас прочности для всех точек сразу». При обычной непрерывности на множестве для разных $x_0$ подходящий $\delta$ может неограниченно уменьшаться. Равномерная непрерывность требует, чтобы нашёлся $\delta > 0$, который работает одновременно везде.

Классический пример несовпадения - функция $f(x) = \tfrac{1}{x}$ на интервале $(0, 1]$. Она непрерывна в каждой точке, но не равномерно непрерывна: вблизи нуля наклон неограниченно растёт, и никакой единый $\delta$ не спасает. Здесь область определения не компактна (нет точки $0$), поэтому теорема Кантора неприменима. Стоит замкнуть промежуток до отрезка, на котором функция остаётся непрерывной, - и равномерность немедленно появляется.

Почему важна компактность отрезка

Сила теоремы Кантора целиком держится на компактности. Отрезок $[a, b]$ - компакт: он замкнут и ограничен, а по лемме Гейне–Бореля из любого его открытого покрытия можно выбрать конечное подпокрытие. Именно конечность подпокрытия позволяет перейти от локальных $\delta$, своих в окрестности каждой точки, к одному глобальному $\delta$ - взять минимум по конечному набору.

Если убрать компактность, теорема рушится. На неограниченном множестве $[0, +\infty)$ функция $f(x) = x^2$ непрерывна, но не равномерно непрерывна: при фиксированном сдвиге $|x' - x''|$ разность значений $|x'^2 - x''^2| = |x' - x''|\cdot|x' + x''|$ растёт вместе с $x$. На открытом интервале картину портит поведение у «выколотого» края, как у $1/x$. Компактность отрезка одновременно убирает обе беды: и бесконечность, и недостающую граничную точку.

Доказательство через лемму Гейне–Бореля

Приведём аккуратное доказательство теоремы Кантора покрытием. Пусть $f$ непрерывна на $[a, b]$ и задано $\varepsilon > 0$.

1. По непрерывности для каждой точки $t \in [a, b]$ существует $\delta_t > 0$ такое, что при $|x - t| < \delta_t$ выполнено $|f(x) - f(t)| < \tfrac{\varepsilon}{2}$.
2. Рассмотрим открытые интервалы $U_t = \left(t - \tfrac{\delta_t}{2}, \; t + \tfrac{\delta_t}{2}\right)$. Они покрывают весь отрезок $[a, b]$.
3. По лемме Гейне–Бореля выбираем конечное подпокрытие $U_{t_1}, \dots, U_{t_n}$ и кладём $\delta = \tfrac{1}{2}\min\{\delta_{t_1}, \dots, \delta_{t_n}\}$ - это положительное число, ведь минимум берётся по конечному набору.
4. Пусть теперь $|x' - x''| < \delta$. Точка $x'$ попала в некоторый $U_{t_k}$, значит $|x' - t_k| < \tfrac{\delta_{t_k}}{2}$. Тогда $|x'' - t_k| \le |x'' - x'| + |x' - t_k| < \delta + \tfrac{\delta_{t_k}}{2} \le \delta_{t_k}$.
5. Обе точки оказались в $\delta_{t_k}$-окрестности $t_k$, поэтому $|f(x') - f(x'')| \le |f(x') - f(t_k)| + |f(t_k) - f(x'')| < \tfrac{\varepsilon}{2} + \tfrac{\varepsilon}{2} = \varepsilon.$

Найденный $\delta$ не зависит от выбора точек - это и есть равномерная непрерывность. Похожий приём «локальное свойство плюс конечное подпокрытие даёт глобальное» лежит и в основе теоремы Арцела–Асколи - стоит сравнить два доказательства, чтобы увидеть общую идею компактности.

Доказательство через последовательности

Есть и второй стандартный путь - от противного, через секвенциальную компактность (теорему Больцано–Вейерштрасса). Предположим, что $f$ непрерывна, но не равномерно непрерывна. Тогда существует $\varepsilon_0 > 0$ и две последовательности точек $x_n', x_n''$ из $[a, b]$ такие, что

$|x_n' - x_n''| \to 0, \qquad |f(x_n') - f(x_n'')| \ge \varepsilon_0.$

По теореме Больцано–Вейерштрасса из ограниченной последовательности $x_n'$ выделяется сходящаяся подпоследовательность $x_{n_k}' \to c$, причём $c \in [a, b]$ из-за замкнутости отрезка. Так как $|x_n' - x_n''| \to 0$, та же подпоследовательность $x_{n_k}'' \to c$. По непрерывности в точке $c$ обе величины $f(x_{n_k}')$ и $f(x_{n_k}'')$ стремятся к $f(c)$, и их разность стремится к нулю. Это противоречит неравенству $|f(x_n') - f(x_n'')| \ge \varepsilon_0$. Значит, исходное предположение неверно, и функция равномерно непрерывна.

Где теорема Кантора применяется

Равномерная непрерывность - не самоцель, а рабочий инструмент. Несколько типичных применений теоремы Кантора:

• Интегрируемость по Риману. Непрерывная на отрезке функция интегрируема: равномерная непрерывность гарантирует, что верхние и нижние суммы Дарбу сближаются при измельчении разбиения.
• Аппроксимация. Равномерно непрерывную функцию на отрезке можно равномерно приблизить ступенчатыми и кусочно-линейными функциями, а по теореме Вейерштрасса о приближении - и полиномами.
• Продолжение по непрерывности. Равномерно непрерывная функция на плотном подмножестве однозначно продолжается на замыкание; именно так строят продолжение с $\mathbb{Q}$ на $\mathbb{R}$.
• Численные методы. Оценки погрешности квадратурных формул и интерполяции опираются на единый модуль непрерывности $\omega(\delta)$, существование которого и обеспечивает теорема.

Связь с модулем непрерывности

Удобно переформулировать всё через модуль непрерывности $\omega_f(\delta) = \sup\{|f(x') - f(x'')| : |x' - x''| \le \delta\}$. Функция равномерно непрерывна тогда и только тогда, когда $\omega_f(\delta) \to 0$ при $\delta \to 0$. Теорема Кантора, по сути, утверждает: для непрерывной функции на компакте модуль непрерывности стремится к нулю. Частный, но важный случай - функции, удовлетворяющие условию Липшица $|f(x') - f(x'')| \le L|x' - x''|$: для них $\omega_f(\delta) \le L\delta$, и равномерная непрерывность очевидна без всякой компактности.

Частые ошибки

• Считать, что непрерывность всегда влечёт равномерную непрерывность. Это верно только на компакте; на $(0,1]$ или на $[0,+\infty)$ контрпримеры $1/x$ и $x^2$ показывают обратное.
• Путать порядок кванторов: при равномерной непрерывности $\delta$ выбирается до фиксации точек и общий для всех, при обычной - после и свой для каждой точки.
• Думать, что теорему Кантора можно применять к полуоткрытому промежутку или к интервалу. Нужна замкнутость и ограниченность одновременно - то есть компактность.
• В доказательстве покрытием брать $\delta$ как минимум $\delta_{t_k}$, а не их половин: тогда не пройдёт оценка $|x'' - t_k| < \delta_{t_k}$ через неравенство треугольника.
• Забывать проверять, что выбранный минимум положителен: это работает лишь потому, что подпокрытие конечно.

FAQ

Чем теорема Кантора отличается от теоремы Вейерштрасса? Теорема Вейерштрасса говорит, что непрерывная на отрезке функция ограничена и достигает максимума и минимума. Теорема Кантора - о равномерной непрерывности той же функции. Обе опираются на компактность отрезка, но утверждают разные свойства.

Можно ли заменить отрезок на компакт в метрическом пространстве? Да. В общей формулировке: непрерывное отображение компактного метрического пространства в метрическое пространство равномерно непрерывно. Доказательство покрытием переносится дословно.

Верно ли обратное: равномерная непрерывность влечёт компактность области? Нет. Функция $f(x) = x$ равномерно непрерывна на всей прямой $\mathbb{R}$, которая не компактна. Компактность - достаточное, но не необходимое условие равномерной непрерывности.

Коротко

Теорема Кантора утверждает, что непрерывная функция на компакте (в частности, на отрезке) равномерно непрерывна: для любого $\varepsilon$ найдётся единый $\delta$, годный сразу для всех точек области. Это следствие компактности - её доказывают либо через конечное подпокрытие (лемма Гейне–Бореля), либо от противного через теорему Больцано–Вейерштрасса. Без компактности - на интервале или неограниченном множестве - утверждение перестаёт работать, что показывают контрпримеры $1/x$ и $x^2$.