ε-окрестность

ε-окрестность (также эпсилон-окрестность) — в математическом анализе и топологии множество точек, удалённых от заданной точки не более чем на заданное положительное расстояние ε (эпсилон). Понятие является фундаментальным при формализации пределов, непрерывности и других базовых свойств функций и пространств.

Определение

Для вещественных чисел ε-окрестностью точки \(a\) называется интервал \((a - \varepsilon, a + \varepsilon)\), то есть множество всех \(x \in \mathbb{R}\), для которых \(|x - a| < \varepsilon\). Здесь ε > 0 — произвольное положительное число, называемое радиусом окрестности.

В многомерном евклидовом пространстве \(\mathbb{R}^n\) с евклидовой метрикой ε-окрестность точки \(a\) — это открытый шар радиуса ε с центром в \(a\): \[ U_\varepsilon(a) = \{x \in \mathbb{R}^n : \|x - a\| < \varepsilon\}. \]

В произвольном метрическом пространстве \((X, d)\) ε-окрестность точки \(x_0 \in X\) определяется как множество: \[ U_\varepsilon(x_0) = \{x \in X : d(x, x_0) < \varepsilon\}. \]

Виды окрестностей

Проколотая окрестность

Проколотая (или выколотая) ε-окрестность точки \(a\) — это ε-окрестность, из которой исключена сама точка \(a\): \[ U_\varepsilon^\circ(a) = U_\varepsilon(a) \setminus \{a\} = \{x : 0 < |x - a| < \varepsilon\}. \] Это понятие ключевое при определении предела функции в точке: значение в самой точке не рассматривается.

Левосторонняя и правосторонняя окрестности

Для вещественной прямой различают левостороннюю окрестность \((a - \varepsilon, a]\) и правостороннюю \([a, a + \varepsilon)\). Проколотые варианты — \((a - \varepsilon, a)\) и \((a, a + \varepsilon)\) соответственно.

Симметричная и несимметричная окрестность

Классическая ε-окрестность симметрична относительно центра. В общей топологии окрестностью точки может быть любое открытое множество, содержащее эту точку, — тогда симметричность не обязательна.

Свойства

1. Открытость: ε-окрестность является открытым множеством. Для любой точки внутри неё можно подобрать меньший радиус так, что новая окрестность целиком содержится в исходной.
2. Вложенность: если \(\varepsilon_1 < \varepsilon_2\), то \(U_{\varepsilon_1}(a) \subset U_{\varepsilon_2}(a)\).
3. Пересечение: пересечение двух ε-окрестностей одной и той же точки также содержит некоторую ε-окрестность этой точки.
4. Хаусдорфовость: в метрическом пространстве любые две различные точки имеют непересекающиеся ε-окрестности при достаточно малом ε.

Роль в математическом анализе

Предел функции

Функция \(f(x)\) имеет предел \(L\) при \(x \to a\) (обозначение \(\lim_{x \to a} f(x) = L\)), если для любого \(\varepsilon > 0\) существует такое \(\delta > 0\), что для всех \(x \in U_\delta^\circ(a)\) выполняется \(f(x) \in U_\varepsilon(L)\). Это так называемое ε-δ-определение предела (Коши), основанное на концепции ε-окрестности.

Непрерывность

Функция \(f\) непрерывна в точке \(a\), если для любого \(\varepsilon > 0\) найдётся \(\delta > 0\) такое, что \(f(U_\delta(a)) \subseteq U_\varepsilon(f(a))\). Иными словами, прообраз любой ε-окрестности значения содержит некоторую δ-окрестность аргумента.

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

Функция равномерно непрерывна на множестве \(X\), если \(\delta\) в определении непрерывности может быть выбрано единым для всех точек множества: \(\forall \varepsilon > 0 \; \exists \delta > 0 : \forall x_1, x_2 \in X \; (d(x_1, x_2) < \delta \Rightarrow d(f(x_1), f(x_2)) < \varepsilon)\).

Обобщения

В топологических пространствах

В общей топологии окрестностью точки \(x\) называется любое открытое множество \(U\), содержащее \(x\). В этом случае ε-окрестность — частный случай для пространств с метрикой.

В функциональном анализе

Для пространств функций могут вводиться ε-окрестности, основанные на различных нормах (равномерная, интегральная, энергетическая). Например, в пространстве непрерывных функций \(C[a,b]\) с равномерной метрикой ε-окрестностью функции \(f\) является множество функций, графики которых лежат внутри «трубки» шириной 2ε вокруг графика \(f\).

В нестандартном анализе

В нестандартном анализе (А. Робинсон) окрестности формализуются через монады — множества чисел, бесконечно близких к данной точке.

Примеры

1. ε-окрестность точки 3 на числовой прямой при ε = 0,5 — интервал (2,5; 3,5).
2. Проколотая ε-окрестность — тот же интервал, но без точки 3.
3. На плоскости (\(n=2\)) ε-окрестность точки (1,2) при ε = 1 — внутренность круга радиуса 1 с центром в (1,2).
4. В пространстве матриц с операторной нормой ε-окрестность нулевой матрицы содержит все матрицы, норма которых меньше ε.

Критика и ограничения

Понятие ε-окрестности, будучи удобным для метрических пространств, неприменимо в пространствах, не обладающих метрикой. В этом случае используется более общее понятие окрестности в топологическом смысле. Кроме того, классические ε-δ-рассуждения иногда оказываются громоздкими при доказательстве теорем, что привело к развитию альтернативных подходов — например, через фильтры и направленности.

Источники

• Кудрявцев Л. Д. Курс математического анализа. — М.: Дрофа, 2003.
• Зорич В. А. Математический анализ. Часть I. — М.: МЦНМО, 2002.
• Рудин У. Основы математического анализа. — М.: Мир, 1976.
• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1989.
• Энциклопедия элементарной математики. Том 5: Математический анализ / под ред. П. С. Александрова. — М.: Наука, 1966.