Окрестности в метрическом пространстве
Что такое окрестность и зачем она нужна?
Окрестность — одно из фундаментальных понятий в математическом анализе и топологии, которое формализует интуитивное представление о "близких" точках. Если метрика позволяет измерять расстояние между точками, то окрестность позволяет говорить о множестве точек, находящихся "достаточно близко" к данной точке.
Это понятие становится основой для определения таких важных концепций, как пределы, непрерывность, открытые и замкнутые множества, которые мы будем изучать далее.
Определение окрестности
Определение 1. Пусть \( (X, \rho) \) — метрическое пространство, \( x_0 \in X \), и \( \varepsilon > 0 \). Открытым шаром с центром в точке \( x_0 \) и радиусом \( \varepsilon \) называется множество:
\[ B(x_0, \varepsilon) = \{ x \in X : \rho(x, x_0) < \varepsilon \} \]
Это множество всех точек пространства \( X \), находящихся от \( x_0 \) на расстоянии, меньшем \( \varepsilon \).
Пример 1: Окрестности в различных пространствах
1. В \( \mathbb{R} \) с обычной метрикой \( \rho(x, y) = |x - y| \):
\[ B(a, \varepsilon) = (a - \varepsilon, a + \varepsilon) \]
Это обычный открытый интервал на числовой прямой.
2. В \( \mathbb{R}^2 \) с евклидовой метрикой:
\[ B((x_0, y_0), \varepsilon) = \{ (x, y) \in \mathbb{R}^2 : (x - x_0)^2 + (y - y_0)^2 < \varepsilon^2 \} \]
Это открытый круг (без границы) с центром в точке \( (x_0, y_0) \) и радиусом \( \varepsilon \).
3. В \( \mathbb{R}^2 \) с манхэттенской метрикой \( \rho((x_1, y_1), (x_2, y_2)) = |x_1 - x_2| + |y_1 - y_2| \):
Окрестность имеет форму ромба (квадрата, повёрнутого на 45°).
Евклидова метрика (круг)
Окрестность точки в ℝ² с евклидовой метрикой
Манхэттенская метрика (ромб)
Окрестность точки в ℝ² с манхэттенской метрикой
Метрика Чебышева (квадрат)
Окрестность точки в ℝ² с метрикой Чебышева
Дискретная метрика
Окрестность точки в дискретной метрике (ε < 1)
Окрестность точки
Определение 2. Окрестностью точки \( x_0 \in X \) называется любое множество \( U \subset X \), содержащее некоторый открытый шар с центром в \( x_0 \), то есть:
\[ \exists \varepsilon > 0 : B(x_0, \varepsilon) \subset U \]
Таким образом, окрестность — это любое множество, которое "обволакивает" точку, содержа все достаточно близкие к ней точки.
Пример 2: Что является окрестностью?
Рассмотрим \( \mathbb{R} \) с обычной метрикой и точку \( x_0 = 2 \):
- \( (1, 3) \) — окрестность точки 2 (содержит \( B(2, 0.5) = (1.5, 2.5) \))
- \( [1, 3] \) — окрестность точки 2 (содержит \( B(2, 0.5) = (1.5, 2.5) \))
- \( (1.9, 2.1) \) — окрестность точки 2 (содержит \( B(2, 0.05) = (1.95, 2.05) \))
- \( (2, 3] \) — не является окрестностью точки 2 (не содержит точек слева от 2)
- \( \{2\} \) — не является окрестностью точки 2 (не содержит других точек кроме самой точки)
1. Свойства окрестностей
Основные свойства окрестностей
В любом метрическом пространстве \( (X, \rho) \) система окрестностей обладает следующими свойствами:
- Для любой точки \( x \in X \) и любой её окрестности \( U \), точка \( x \) принадлежит \( U \)
- Если \( U \) — окрестность \( x \), и \( V \supset U \), то \( V \) — тоже окрестность \( x \)
- Пересечение конечного числа окрестностей точки \( x \) является окрестностью \( x \)
- Для любой окрестности \( U \) точки \( x \) существует окрестность \( V \subset U \) такая, что \( V \) является окрестностью каждой своей точки
Пример 3: Пересечение окрестностей
Рассмотрим в \( \mathbb{R} \) точку \( x_0 = 0 \) и её окрестности:
\( U_1 = (-1, 1) \), \( U_2 = (-0.5, 0.5) \), \( U_3 = (-0.2, 0.2) \)
Их пересечение \( U_1 \cap U_2 \cap U_3 = (-0.2, 0.2) \) тоже является окрестностью точки 0.
Однако бесконечное пересечение окрестностей \( \bigcap_{n=1}^{\infty} (-1/n, 1/n) = \{0\} \) уже не является окрестностью точки 0.
2. Открытые множества
Открытые множества
Определение 3. Множество \( U \subset X \) называется открытым в метрическом пространстве \( (X, \rho) \), если для любой точки \( x \in U \) существует \( \varepsilon > 0 \) такое, что \( B(x, \varepsilon) \subset U \).
Иными словами, множество открыто, если оно является окрестностью каждой своей точки.
Открытый шар в ℝ³ (сфера)
Окрестность точки в ℝ³ с евклидовой метрикой
Открытый куб в ℝ³
Окрестность точки в ℝ³ с метрикой Чебышева
Свойства открытых множеств
Теорема 1. В любом метрическом пространстве:
- Пустое множество \( \varnothing \) и всё пространство \( X \) открыты
- Объединение любого семейства открытых множеств открыто
- Пересечение конечного числа открытых множеств открыто
Пример 4: Открытые множества
1. В \( \mathbb{R} \) с обычной метрикой:
- \( (a, b) \) — открытое множество
- \( [a, b] \) — не открытое множество (точки a и b не имеют окрестностей, целиком лежащих в множестве)
- \( \mathbb{R} \setminus \{0\} \) — открытое множество
2. В любом метрическом пространстве открытый шар \( B(x, \varepsilon) \) является открытым множеством.
3. Замкнутые множества
Замкнутые множества
Определение 4. Множество \( F \subset X \) называется замкнутым в метрическом пространстве \( (X, \rho) \), если его дополнение \( X \setminus F \) открыто.
Эквивалентное определение: множество замкнуто, если оно содержит все свои предельные точки.
Свойства замкнутых множеств
Теорема 2. В любом метрическом пространстве:
- Пустое множество \( \varnothing \) и всё пространство \( X \) замкнуты
- Пересечение любого семейства замкнутых множеств замкнуто
- Объединение конечного числа замкнутых множеств замкнуто
Пример 5: Замкнутые множества
1. В \( \mathbb{R} \) с обычной метрикаой:
- \( [a, b] \) — замкнутое множество
- \( \{a\} \) — замкнутое множество
- \( \mathbb{Z} \) — замкнутое множество
- \( (a, b] \) — не открыто и не замкнуто
2. В любом метрическом пространстве замкнутый шар \( \overline{B}(x, \varepsilon) = \{ y \in X : \rho(x, y) \leq \varepsilon \} \) является замкнутым множеством.
Замкнутый шар в ℝ³
Замкнутая окрестность точки в ℝ³
Октаэдр в ℝ³
Окрестность точки в ℝ³ с манхэттенской метрикой
4. Внутренность, замыкание и граница
Внутренность множества
Определение 5. Внутренностью множества \( A \subset X \) называется объединение всех открытых множеств, содержащихся в \( A \). Обозначается \( \text{Int}(A) \) или \( A^\circ \).
Это наибольшее открытое множество, содержащееся в \( A \). Точка \( x \) принадлежит внутренности \( A \) тогда и только тогда, когда \( A \) является окрестностью \( x \).
Замыкание множества
Определение 6. Замыканием множества \( A \subset X \) называется пересечение всех замкнутых множеств, содержащих \( A \). Обозначается \( \text{Cl}(A) \) или \( \overline{A} \).
Это наименьшее замкнутое множество, содержащее \( A \). Точка \( x \) принадлежит замыканию \( A \) тогда и только тогда, когда любая окрестность \( x \) пересекается с \( A \).
Граница множества
Определение 7. Границей множества \( A \subset X \) называется разность его замыкания и внутренности: \( \partial A = \overline{A} \setminus A^\circ \).
Точка \( x \) принадлежит границе \( A \) тогда и только тогда, когда любая её окрестность пересекается как с \( A \), так и с его дополнением.
Пример 6: Внутренность, замыкание и граница
Рассмотрим в \( \mathbb{R} \) множество \( A = (0, 1] \cup \{2\} \):
- \( A^\circ = (0, 1) \) — внутренность
- \( \overline{A} = [0, 1] \cup \{2\} \) — замыкание
- \( \partial A = \{0, 1, 2\} \) — граница
5. Применение окрестностей
Определение предела
Понятие окрестности позволяет дать общее определение предела в метрических пространствах:
Последовательность \( \{x_n\} \) сходится к точке \( a \in X \), если для любой окрестности \( U \) точки \( a \) существует номер \( N \) такой, что для всех \( n > N \) выполняется \( x_n \in U \).
Это эквивалентно стандартному определению через \( \varepsilon \)-окрестности, но работает в более общих топологических пространствах.
Определение непрерывности
Функция \( f: X \to Y \) между метрическими пространствами непрерывна в точке \( x_0 \in X \), если для любой окрестности \( V \) точки \( f(x_0) \) в \( Y \) существует окрестность \( U \) точки \( x_0 \) в \( X \) такая, что \( f(U) \subset V \).
Это определение обобщает классическое "эпсилон-дельта" определение непрерывности.
Топологические пространства
Свойства окрестностей и открытых множеств, изученные в этом разделе, являются основой для определения топологических пространств — более общей структуры, чем метрические пространства.
В топологических пространствах мы задаём систему открытых множеств напрямую, без использования метрики, но сохраняя основные свойства открытых множеств в метрических пространствах.
Историческая справка
Понятие окрестности развивалось параллельно с развитием математического анализа в XIX веке. Первоначально оно использовалось интуитивно, но с созданием теории метрических пространств Фреше и топологических пространств Хаусдорфом получило строгое определение.
Немецкий математик Феликс Хаусдорф в 1914 году в своей книге "Основы теории множеств" дал аксиоматическое определение топологического пространства через систему окрестностей, что стало важным этапом в развитии топологии.
Современное определение топологического пространства через систему открытых множеств было введено русским математиком Павлом Александровым и немецким математиком Генрихом Титце в 1920-х годах.