Відкрита множина

Відкри́та множина́ — в математичному аналізі, геометрії — це множина, кожна точка якої входить в неї разом з деяким околом. Відкрита множина є фундаментальним поняттям загальної топології. Відкрита множина це абстрактне поняття, яке узагальнює ідею відкритого проміжку на осі дійсних чисел. Найпростіший приклад належить до метричних просторів, де відкриту множину можна визначити як таку множину, яка містить шар довкола кожної точки, що належить множині (або, еквівалентно, множина буде відкритою, якщо вона не містить точок межі).

Евклідовий простір

Підмножина евклідового простору $U\subset \mathbb {R} ^{n}$ називається відкритою, якщо:

$\forall x_{0}\in U\;\exists \varepsilon >0:\;\;V_{\varepsilon }(x_{0})\subset U,$ де $V_{\varepsilon }(x_{0})\equiv \{x\in \mathbb {R} ^{n}:\|x-x_{0}\|<\varepsilon \}$ — ε-окіл точки $\ x_{0}.$

Іншими словами, множина є відкритою, якщо кожна її точка є внутрішньою.

Метричний простір

Якщо $\ (X,\rho )$ — деякий метричний простір, і $U\subset X$. Тоді $\ U$ є відкритою, якщо:

$\forall x_{0}\in U\;\exists \varepsilon >0:\;\;V_{\varepsilon }(x_{0})\subset U$, де $V_{\varepsilon }(x_{0})\equiv \{x\in X:\rho (x,x_{0})<\varepsilon \}$ — ε-окіл точки $\ x_{0}$ відносно метрики $\ \rho$.

Топологічний простір

Якщо $(X,{\mathcal {T}})$ — топологічний простір, де ${\mathcal {T}}$ — топологія, визначена на $\ X$, то за визначенням топологічного простору будь-яка підмножина $U\subset X$, що є елементом топології, тобто $U\in {\mathcal {T}}$, буде відкритою множиною відносно цієї топології.

Див. також

• Замкнута множина

Джерела

• Бурбакі Н. Загальна топологія: Основні структури. — 3-е. — М. : Наука, 1968. — С. 276. — (Елементи математики)(рос.)
• Александров П.С. Введение в теорию множеств и общую топологию. — Москва : Наука, 1977. — 368 с. — ISBN 5354008220.(рос.)