Произведение топологических пространств
Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения[1][2] или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.
Данная топология была впервые исследована советским математиком Андреем Тихоновым в 1926 году.
Определения
Пусть:
- [math]\displaystyle{ \{X_{\alpha}: \alpha\in A\} }[/math] — семейство топологических пространств,
- [math]\displaystyle{ X=\prod\limits_{\alpha\in A}X_{\alpha} }[/math] — их декартово произведение (как множеств),
- [math]\displaystyle{ p_{\alpha}: X\to X_{\alpha} }[/math] — проекция произведения на соответствующий сомножитель.
Тихоновская топология на [math]\displaystyle{ X }[/math] — это наиболее грубая топология (то есть топология с наименьшим числом открытых множеств), для которой все проекции [math]\displaystyle{ p_{\alpha} }[/math] непрерывны. Открытые множества этой топологии — всевозможные объединения множеств вида [math]\displaystyle{ \prod_{i\in I} U_i }[/math], где каждое [math]\displaystyle{ U_i }[/math] является открытым подмножеством [math]\displaystyle{ X_i }[/math] и [math]\displaystyle{ U_i \neq X_i }[/math] только для конечного числа индексов. В частности, открытые множества произведения конечного числа пространств — это просто объединения произведений открытых подмножеств исходных пространств.
Также топологию Тихонова можно описать следующим образом: в качестве предбазы топологии на [math]\displaystyle{ X }[/math] берётся семейство множеств [math]\displaystyle{ \mathfrak{P}=\{p_{\alpha}^{-1}(U): \alpha\in A,\, U\in \mathfrak{T}_{\alpha}\} }[/math]. База топологии — всевозможные конечные пересечения множеств из [math]\displaystyle{ \mathfrak{P} }[/math], а топология — всевозможные объединения множеств из базы.
Тихоновская топология является более слабой, чем так называемая «коробочная» топология, для которой базу топологии образуют всевозможные произведения открытых подмножеств перемножаемых пространств. Такая топология не обладает указанным выше универсальным свойством и для неё не верна теорема Тихонова .
Примеры
Обычная топология на [math]\displaystyle{ \mathbb R^n }[/math] (топология, индуцированная метрикой) является топологией произведения на декартовой степени [math]\displaystyle{ \mathbb R. }[/math]
Канторово множество гомеоморфно произведению счётного числа копий дискретного пространства {0,1}, а пространство иррациональных чисел — произведению счётного числа пространств натуральных чисел (с дискретной топологией).
Свойства
Топологическое пространство [math]\displaystyle{ X }[/math] вместе с проекциями на каждую компоненту [math]\displaystyle{ X_i }[/math] может быть определено при помощи универсального свойства: если [math]\displaystyle{ Y }[/math] — произвольное топологическое пространство и для каждого [math]\displaystyle{ i\in I }[/math] задано непрерывное отображение [math]\displaystyle{ Y\to X_i, }[/math] то существует единственное отображение [math]\displaystyle{ Y\to X, }[/math] такое что для каждого [math]\displaystyle{ i\in I }[/math] следующая диаграмма коммутативна:
![Characteristic property of product spaces](https://cdn.xn--h1ajim.xn--p1ai/images/4/4f/CategoricalProduct-02.png)
Это показывает, что тихоновское произведение является произведением в категории топологических пространств. Из универсального свойства следует, что отображение [math]\displaystyle{ f:Y\to X }[/math] непрерывно тогда и только тогда, когда непрерывно каждое отображение [math]\displaystyle{ f_i=p_i\circ f, }[/math] во многих ситуациях непрерывность [math]\displaystyle{ f_i }[/math] проверять проще.
Проекции [math]\displaystyle{ p_i }[/math] являются не только непрерывными, но и открытыми отображениями (то есть каждое открытое множество произведения при проекции на компоненту переходит в открытое множество). Обратное, вообще говоря, неверно (контрпример — подмножество [math]\displaystyle{ \mathbb R^2, }[/math] являющееся дополнением открытого круга). Также проекции не обязательно являются замкнутыми отображениями (контрпример — образы проекций замкнутого множества [math]\displaystyle{ \{(x,y) \in \mathbb{R}^2 \mid xy = 1\}, }[/math] на координатные оси не являются замкнутыми подмножествами прямой).
Топологию произведения иногда называют топологией поточечной сходимости. Причина этого следующая: последовательность элементов из произведения сходится тогда и только тогда, когда её образ при проекции на каждую компоненту сходится. Например, топология произведения на [math]\displaystyle{ \mathbb R^I, }[/math] пространстве действительнозначных функций на [math]\displaystyle{ I, }[/math] — это топология, в которой последовательность функций сходится тогда, когда она сходится поточечно.
Связь с другими топологическими понятиями
- Произведение [math]\displaystyle{ T_0 }[/math]-пространств обладает свойством [math]\displaystyle{ T_0 }[/math].
- Произведение [math]\displaystyle{ T_1 }[/math]-пространств обладает свойством [math]\displaystyle{ T_1 }[/math].
- Произведение хаусдорфовых пространств хаусдорфово.
- Произведение регулярных пространств регулярно.
- Произведение вполне регулярных пространств вполне регулярно.
- Произведение нормальных пространств не всегда является нормальным.
- Произведение компактных пространств компактно .
- Произведение локально компактных пространств не всегда является локально компактным. Однако произведение семейства локально компактных пространств, в котором все компоненты, кроме конечного числа, являются компактными, локально компактно.
- Произведение связных (соответственно, линейно связных) пространств связно (соответственно, линейно связно).
- Произведение вполне несвязных пространств вполне несвязно.
Компактность тихоновских произведений
Теорема Тихонова: если все множества [math]\displaystyle{ X_{\alpha} }[/math] компактны, тогда компактно и их тихоновское произведение.
Для доказательства утверждения, согласно теореме Александера о предбазе, достаточно доказать, что всякое покрытие элементами предбазы [math]\displaystyle{ \mathfrak{P} }[/math] допускает конечное подпокрытие. Для всякого [math]\displaystyle{ \alpha }[/math] пусть [math]\displaystyle{ V_{\alpha} }[/math] — объединение всех множеств [math]\displaystyle{ U\in X_{\alpha} }[/math], для которых множество [math]\displaystyle{ \pi_{\alpha}^{-1}(U) }[/math] содержится в покрытии. Тогда непокрытая часть пространства X выражается формулой:
- [math]\displaystyle{ \prod\limits_{\alpha\in A}X_{\alpha}\setminus V_{\alpha} }[/math].
Поскольку это множество пусто, пустым должен быть хотя бы один сомножитель. Это означает, что рассматриваемое покрытие при некотором [math]\displaystyle{ \alpha }[/math] содержит [math]\displaystyle{ \pi_{\alpha} }[/math]-прообраз покрытия пространства [math]\displaystyle{ X_{\alpha} }[/math]. В силу компактности пространства [math]\displaystyle{ X_{\alpha} }[/math], из его покрытия можно выделить конечное подпокрытие, и тогда его прообраз относительно отображения [math]\displaystyle{ \pi_{\alpha} }[/math] будет конечным подпокрытием пространства [math]\displaystyle{ X }[/math].
См. также
Примечания
Литература
- Энгелькинг Р. Общая топология. — М.: Мир, 1986. — 752 с.