одно из важнейших математических понятий, встречающееся в двух основных концепциях - Н. множества и Н. отображения. Исторически раньше подверглось математической обработке понятие непрерывного отображения, или непрерывной функции (См. Непрерывная функция), чем логически предшествующее ему понятие "Н. множества". Понятие непрерывной действительной функции обобщается на произвольные отображения так: однозначное Отображение у = f (x) некоторого множества Х элементов х на множество Y элементов у называется непрерывным, если из сходимости последовательности x₁, x₂,..., x_n,... элементов множества Х к элементу х следует сходимость их образов f (x₁), f (x₂),..., f (x_n),... к образу f (x) предельного элемента х (о других обобщениях того же понятия см. в ст. Топология). Т. о., определение Н. отображения зависит от того, как в самих множествах Х и Y определены предельные соотношения (в нашем случае сходимость последовательностей). Множество элементов с определёнными предельными соотношениями между ними называется в современной математике топологическим пространством (См. Топологическое пространство). В терминах теории топологических пространств в настоящее время обычно и излагаются понятия, характеризующие свойства Н. различных множеств математических объектов. Об этих понятиях см. в ст. Континуум.

Лит.: Дедекинд Р., Непрерывность и иррациональные числа, пер. с нем., 4 изд., Одесса, 1923; Кантор Г., Основы общего учения о многообразиях, [пер. с нем.], в кн.: Теория ассамблей. 1, СПБ, 1914 (Новые идеи в математике, сб. 6); Гильберт Д., Основания геометрии, пер. с нем., М. - Л., 1948; Хаусдорф Ф., Теория множеств, пер. с нем., М. - Л., 1937; Александров П. С., Введение в общую теорию множеств и функций, М. - Л., 1948.

НЕПРЕР'ЫВНОСТЬ, непрерывности, мн. нет, ·жен. ·отвлеч. сущ. к непрерывный
.

важное понятие математического анализа. Функция f (x) называется равномерно-непрерывной на данном множестве, если для всякого ε > 0 можно найти такое δ = δ(ε) > 0, что |f (x₁) - f (x₂)|<ε для любой пары чисел x₁ и x₂ из данного множества, удовлетворяющей условию |x₁-x₂|< δ (ср. Непрерывная функция). Например, функция f (x) = x² равномерно непрерывна на отрезке [0, 1]: если , то (так как для 0 ≤ x₁ ≤ 1, 0 ≤ x₂ ≤ 1 обязательно |x₁ + x₂|≤ 2). Вообще функция, непрерывная в каждой точке отрезка [а, b], равномерно непрерывна на этом отрезке (теорема Кантора). Для интервала эта теорема может не иметь места.

Так, например, функция непрерывна в каждой точке интервала 0 < x < 1, но не является равномерно непрерывной в этом интервале, потому что, например, при ε = 1 для любого δ > 0 (δ < 1) мы имеем удовлетворяющие неравенству |x₁ - x₂| < δ числа x₁ = и x₂ = δ , для которых .

важное свойство некоторых семейств функций. Семейство функций называется равностепенно непрерывным на данном отрезке [а, b], если для всякого числа ε > 0 найдётся такое δ > 0, что |f (x₂) - f (x₁)| < ε для любых x₁ и x₂ из [а, b] для которых |x₂ - x₁| < δ, и для любой функции f (x) данного семейства. Все функции равностепенно непрерывного семейства равномерно непрерывны на [a, b] (см. Равномерная непрерывность).

Свойство Р. н. семейства функций находит приложения в теории дифференциальных уравнений и функциональном анализе благодаря следующей теореме: для того чтобы из данного семейства функций можно было выделить равномерно сходящуюся последовательность (см. Равномерная сходимость), необходимо и достаточно, чтобы семейство функций было равностепенно непрерывно и равномерно ограниченно (т. е. чтобы все функции семейства удовлетворяли на [а, b] условию |f (x)| ≤ M с одним и тем же М). Возможность выделить равномерно сходящуюся последовательность означает, что данное семейство образует относительно компактное множество в пространстве С непрерывных функций (см. Компактность).