Математика / Пределы, ряды

Равномерная непрерывность на отрезке

Равномерная непрерывность требует одного δ для всех точек множества E. На замкнутом отрезке всякая непрерывная функция равномерно непрерывна по теореме Гейне-Кантора.

Опубликовано: 25 мая 2026 г.Обновлено: 25 мая 2026 г.

Формула

\forall\varepsilon>0\ \exists\delta>0:\ |x-y|<\delta\Rightarrow |f(x)-f(y)|<\varepsilon\quad(x,y\in E)

Обозначения

$\varepsilon$: допустимое изменение значения функции, единицы f
$\delta$: единая допустимая близость аргументов, единицы x
$E$: множество, на котором проверяется равномерная непрерывность, область аргумента
$x,y$: любые две точки множества E, единицы аргумента

Условия применения

В определении точки x и y берутся произвольно из одного и того же множества E.
Число δ зависит только от epsilon, но не от выбранной точки x.
Для теоремы Гейне-Кантора функция должна быть непрерывна на компактном множестве, в частности на [a,b].
Метрика расстояния между аргументами должна быть фиксирована.

Ограничения

Непрерывность в каждой точке не гарантирует равномерную непрерывность на некомпактном множестве.
Функция x^2 не равномерно непрерывна на всей R, хотя непрерывна в каждой точке.
Теорема Гейне-Кантора не применима к открытым интервалам без дополнительных условий.
Единое δ может быть очень малым и не обязано удобно вычисляться.

Подробное объяснение

Обычная непрерывность допускает, что радиус δ зависит от точки. Равномерная непрерывность усиливает требование: для заданной точности по вертикали нужно найти один горизонтальный масштаб, который работает сразу для всех пар близких точек множества.

На отрезке это усиление автоматически следует из непрерывности. Причина в компактности: отрезок нельзя покрыть бесконечно многими локальными окрестностями без конечного подпокрытия. Из конечного набора локальных δ можно выбрать общий минимум, который и работает для всей области.

Различие особенно заметно на неограниченных промежутках. Функция x^2 непрерывна всюду, но при больших x малое изменение аргумента дает большое изменение значения. Поэтому единый δ для всех точек R не существует, хотя около каждого фиксированного x свое δ найти можно.

Равномерная непрерывность важна в интегрировании и приближениях. Если функция меняется равномерно контролируемо, мелкое разбиение отрезка одновременно укрощает колебания на всех частях. Это одна из причин, почему непрерывные функции на отрезке интегрируемы по Риману.

В задачах полезно искать более сильное свойство: если |f(x)-f(y)|≤L|x-y|, то функция равномерно непрерывна. Такая липшицева оценка сразу дает δ=epsilon/L и избавляет от сложной работы с кванторами.

Как пользоваться формулой

Определите множество E, на котором требуется единый контроль функции.
Запишите условие для любых двух точек x и y из E, а не только для y около фиксированного x.
Попробуйте получить оценку |f(x)-f(y)| через |x-y| с общей константой или общей функцией.
Для непрерывной функции на замкнутом отрезке можно сослаться на теорему Гейне-Кантора.
На открытом или бесконечном промежутке проверьте поведение у границы и на бесконечности.
Убедитесь, что выбранное δ зависит только от epsilon.

Историческая справка

Понятие равномерной непрерывности сформировалось в XIX веке вместе с уточнением оснований анализа. Когда математики стали строго работать с предельными переходами, стало ясно, что непрерывности в каждой точке не всегда достаточно для операций на целом промежутке.

Эдуард Гейне и Георг Кантор связаны с теоремой о равномерной непрерывности непрерывной функции на компактном множестве. Их работы относятся к развитию теории действительных чисел, компактности и точных epsilon-delta рассуждений. В этой среде локальные свойства функций стали отделять от глобальных свойств на множестве.

В дальнейшем равномерная непрерывность стала важной в теории интеграла, функциональном анализе и топологии. Она показывает, как компактность превращает локальные утверждения в единый глобальный контроль, а это одна из центральных идей современного анализа. В учебной традиции эта запись закрепилась потому, что она сокращает длинное рассуждение до проверяемого правила: сначала формулируются условия, затем выполняется преобразование, а результат можно проверить обратной подстановкой или геометрической интерпретацией.

Историческая линия формулы

Теорему обычно связывают с именами Гейне и Кантора, но ее современная формулировка использует язык компактности, развившийся позднее. Корректно говорить о теореме Гейне-Кантора как о результате классической школы строгого анализа, а не о простой вычислительной формуле одного автора. Поэтому в источниках обычно указывают учебную или научную традицию, а не единственного автора короткой записи.

Пример

Задача. Доказать, что f(x)=sqrt(x) равномерно непрерывна на [0,4]. Дано: x,y∈[0,4]. Для x,y≥0 верно |sqrt(x)-sqrt(y)|^2≤|x-y|, поскольку |sqrt(x)-sqrt(y)|=|x-y|/(sqrt(x)+sqrt(y)) при ненулевой сумме, а также неравенство сохраняется в нуле. Нужно добиться |sqrt(x)-sqrt(y)|<epsilon. Достаточно потребовать |x-y|<epsilon^2. Поэтому для 0<epsilon можно взять δ=epsilon^2, а при желании δ=min(1,epsilon^2). Ответ: функция равномерно непрерывна на [0,4]. Проверка: выбранное δ не зависит от конкретной точки x, включая окрестность нуля, где производная sqrt(x) неограниченна. Значит доказана именно равномерная, а не только поточечная непрерывность. Дополнительная проверка: сравниваем результат с исходной записью при допустимых значениях переменных или на граничном случае из условия. Если обе записи дают одно и то же значение и не нарушают ограничения, преобразование выполнено согласованно.

Частая ошибка

Главная ошибка — доказывать обычную непрерывность в произвольной точке и незаметно оставлять δ зависящим от этой точки. Вторая ошибка — применять теорему Гейне-Кантора на открытом интервале или на всей прямой без компактности. В примерах с корнем часто пытаются использовать ограниченность производной, хотя у sqrt(x) производная не ограничена у нуля; здесь нужен другой прием. Также путают равномерную непрерывность с ограниченностью функции, хотя ни одно из этих свойств само по себе не заменяет другое.

Практика

Задачи с решением

Липшицева функция

Условие. Показать, что f(x)=3x-2 равномерно непрерывна на R.

Ответ. Равномерно непрерывна на R.

Квадрат на отрезке

Условие. Показать равномерную непрерывность f(x)=x^2 на [0,5].

Решение. |x^2-y^2|=|x-y||x+y|≤10|x-y|. Достаточно взять δ=epsilon/10.

Ответ. Равномерно непрерывна на [0,5].

Дополнительные источники

Rudin, Principles of Mathematical Analysis, continuity and compactness
Zorich, Mathematical Analysis I, compactness and continuous functions
Apostol, Calculus, Vol. 1, continuity on closed intervals
Fichtenholz, Differential and Integral Calculus, Vol. 1, continuous functions

Связанные формулы

Математика

Непрерывность функции в точке

$\lim_{x\to a} f(x)=f(a)$

Непрерывность в точке означает, что предельное значение функции совпадает с ее значением в самой точке. Это первый и самый важный мост от понятия предела к вычислениям и графикам.

Инженерия

Уравнение неразрывности потока

$A_1 v_1 = A_2 v_2 = Q$

Уравнение неразрывности потока показывает как меняется скорость при изменении площади сечения в несжимаемом потоке. Формула связывает измеряемые параметры потока и дает расчетную величину для труб, каналов или насосного оборудования.

Математика

Предел функции в точке

$\lim_{x\to a} f(x)=L$

Предел функции в точке фиксирует значение, к которому стремится функция при приближении аргумента к заданному числу. Это базовая запись для всего дальнейшего анализа: она отделяет поведение функции в окрестности точки от ее значения в самой точке.

Математика

Устранимый разрыв функции

$\tilde f(x)=\begin{cases}f(x),&x\ne a\\\lim_{x\to a}f(x),&x=a\end{cases}$

Устранимый разрыв возникает, когда предел в точке существует и конечен, но значение функции в самой точке отсутствует или не совпадает с этим пределом. Такой разрыв можно устранить переопределением функции.

Математика

Свойства определенного интеграла

$\int_a^b f(x)dx = -\int_b^a f(x)dx, \quad \int_a^a f(x)dx=0, \quad \int_a^b (f\pm g)dx=\int_a^b fdx \pm \int_a^b gdx$

Набор базовых алгебраических свойств определенного интеграла: линейность, смена знаков пределов, нулевой интеграл на пустом отрезке.