База топологии | это... Что такое База топологии? (original) (raw)

База топологии (базис топологии, открытая база, база топологического пространства) — семейство открытых подмножеств топологического пространства такое, что каждое открытое множество в является объединением элементов базы. Понятие базы — одно из основных в топологии. Во многих вопросах, относящихся к открытым множествам некоторого пространства, достаточно ограничиться рассмотрением элементов его базы. Топологическое пространство может иметь много баз, наибольшую из которых образует семейство всех открытых множеств.

Часто базу топологии предъявляют для того, чтобы ввести топологию. Например, на метрическом пространстве топология определяется через базу, образованную всеми открытыми шарами.

Примеры

$\mathfrak{B}_{X\times Y} = \{U\times V\,: U\in\mathfrak{B}_X,\,V\in\mathfrak{B}_Y\}$
При этом топология на $X\times Y$ не будет зависеть от того, какие базы пространств X и Y используются для её задания. Такая топология называется (стандартной) топологией декартова произведения топологических пространств.

Связанные определения

Инфимум мощностей всех баз называется весом топологического пространства X.
Локальной базой пространства X в точке (базой точки ) называется семейство его открытых множеств, обладающее свойством: для любой окрестности точки найдется элемент такой, что .
- Пространства, имеющие счетную локальную базу в каждой точке, называются пространствами с первой аксиомой счетности.
Пусть $\mathfrak{m},\mathfrak{n}$ — некоторые кардинальные числа. База $\mathfrak{B}$ пространства X называется $\mathfrak{m}$ -точечной, если каждая точка $x \in X$ принадлежит не более чем $\mathfrak{m}$ элементам семейства $\mathfrak{B}$ . В частности, при $\mathfrak{m}=1$ база называется дизъюнктной, при конечном $\mathfrak{m}$ — точечно конечной, при $\mathfrak{m}=\aleph_0$ — точечно счетной.
База $\mathfrak{B}$ пространства X называется $\mathfrak{m}$ -локальной, если для каждой точки $x \in X$ существует ее окрестность , пересекающаяся с не более чем $\mathfrak{m}$ элементами семейства $\mathfrak{B}$ . В частности, при $\mathfrak{m}=1$ база называется дискретной, при конечном $\mathfrak{m}$ — локально конечной, при $\mathfrak{m}=\mathcal{X}_0$ — локально счетной.
База $\mathfrak{B}$ называется $\mathfrak{n}-\mathfrak{m}-$ -точечной ( $\mathfrak{n}-\mathfrak{m}-$ -локальной), если она является объединением множества мощности $\mathfrak{n}\mathfrak{m}$ -точечных ( $\mathfrak{m}$ -локальных) баз. Таковы, например, при $\mathfrak{n}=\aleph_0$ $\sigma$ -дизъюнктные, $\sigma$ -точечно конечные, $\sigma$ -дискретные, $\sigma$ -локально конечные базы.
База пространства X называется равномерной (_k_-равномерной), если для каждой точки (каждого бикомпактного подмножества F) и каждой ее (его) окрестности лишь конечное число элементов базы содержит x (пересекается с F) и одновременно пересекается с дополнением .
- Пространство X метризуемо тогда и только тогда, когда оно является паракомпактом с равномерной базой (колмогоровским, или -пространством с _k_-равномерной базой).
База $\mathfrak{B}$ пространства называется регулярной, если для каждой точки $x \in X$ и произвольной её окрестности существует такая окрестность , что множество всех элементов базы, пересекающихся одновременно с и $X\smallsetminus O_x$ , конечно.

Свойства

Объекты, определённые в терминах баз

Упорядоченная топология обычно определяется как топология порождённая набором открыто-интервальных множеств.
Метрическая топология обычно определяется как топология порождённая набором открытых шаров, задаваемых определенной метрикой.
Пространство, удовлетворяющее второй аксиоме счётности — это пространство, которое имеет счётную базу.
Дискретная топология имеет в качестве базы синглетон.

Вариации и обобщения

Литература

Александров П. С., Колмогоров А. Н. Введение в общую теорию множеств и функций, М.—Л., 1948
Урысон П. С., Труды по топологии и другим областям математики, т. 1—2, М.—Л., 1951
Александров П. С., Пасынков Б. А., Введение в теорию размерности. Введение в в теорию топологических пространств и общую теорию размерности, М., 1973
Архангельский А. В., Пономарев В. И., Основы общей топологии в задачах и упражнениях, М., 1974
Бурбаки Н., Общая топология. Основные структуры, пер. с франц., М., 1968