Тихоновское (декартово) произведение топологических пространств — топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, топология которого задается с наложением ограничения, называемого тихоновской топологией произведения семейства топологических пространств. Эта конструкция является произведением в категории всех топологических пространств, то есть для любой пары , где  — отображение некоторого пространства в пространства-сомножители, существует единственное отображение

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

Определения

Пусть  — семейство топологических пространств, A — индексное множество этого семейства,

 — их декартово произведение,

 — проекция произведения на соответствующий сомножитель,

 — топология (множество всех открытых множеств) пространства .

Тихоновская топология на произведении топологических пространств — это минимальная топология, в которой все проекции на исходные пространства непрерывны.

Конструктивно её можно также описать следующим образом: в качестве предбазы топологии на X берётся семейство множеств . База топологии — всевозможные конечные пересечения множеств из , а топология — всевозможные объединения множеств из базы.

Отметим, что тихоновская топология является гораздо более слабой, чем несколько более естественная «коробочная» топология, для которой базу топологии образуют всевозможные произведения открытых подмножеств перемножаемых пространств. Такая топология не обладает указанным выше свойством универсальности и для неё не верна теорема Тихонова.

Компактность тихоновских произведений

Теорема Тихонова. Если все множества компактны, тогда компактно и их тихоновское произведение.

Доказательство. Согласно теореме Александера о предбазе, достаточно доказать, что всякое покрытие элементами предбазы допускает конечное подпокрытие. Для всякого пусть  — объединение всех множеств , для которых множество содержится в покрытии. Тогда непокрытая часть пространства X, выражается формулой

.

Поскольку это множество пусто, пустым должен быть хотя бы один сомножитель. Это означает, что рассматриваемое покрытие при некотором содержит -прообраз покрытия пространства . В силу компактности пространства , из его покрытия можно выделить конечное подпокрытие, и тогда его прообраз относительно отображения будет конечным подпокрытием пространства X.

См. также

• Тихоновский куб

Литература

• Энгелькинг Р. Общая топология. — М.: Мир, 1986. — 752 с.