Топология произведения топологических пространств

Пусть заданы два топологических пространства $X$ и $Y$. Топологией произведения на множестве $X \times Y$ называется топология, порождённая базой $B$, состоящей из всех декартовых произведений открытых множеств вида $U \times V$, где $U$ открыто в $X$, а $V$ открыто в $Y$. $$ B = \{ U \times V \mid U \text{ открыто в } X \text{ и } V \text{ открыто в } Y \} $$

Когда на декартовом произведении $X \times Y$ требуется ввести топологию, естественным первым шагом становится рассмотрение множеств вида $U \times V$, где $U$ и $V$ являются открытыми множествами в пространствах $X$ и $Y$.

Совокупность всех таких множеств обозначается через $B$. Она образует базу топологии.

База топологии представляет собой семейство открытых множеств, из объединений которых можно получить любое открытое множество пространства $X \times Y$.

Именно поэтому в топологии произведения декартово произведение открытых множеств также является открытым множеством.

Примечание: Открытые множества в топологии произведения не ограничиваются только множествами вида $U \times V$. К ним относятся также все возможные объединения таких множеств. По этой причине семейство $B$ рассматривается не как сама топология, а как её база. Если бы $B$ считалось полноценной топологией, оно не включало бы все открытые множества, возникающие при объединении декартовых произведений.

Аналогичное свойство выполняется и для замкнутых множеств.

В частности, декартово произведение замкнутых множеств также является замкнутым множеством.

Однако не каждое замкнутое множество в топологии произведения можно представить как произведение двух замкнутых множеств.

Иными словами, как и в случае с открытыми множествами, в топологии произведения существуют замкнутые множества, которые нельзя получить в виде декартова произведения замкнутых множеств.

Практический пример
Произведение нескольких топологических пространств
База топологии произведения
Примечания

Практический пример

Рассмотрим простой пример, который помогает понять, как работает топология произведения на практике.

Пусть заданы два топологических пространства:

$X$ представляет собой вещественную прямую $\mathbb{R}$ со стандартной топологией, где открытыми множествами являются интервалы $(a,b)$.
$Y$ также является вещественной прямой $\mathbb{R}$ с той же стандартной топологией.

Тогда декартово произведение $X \times Y$ совпадает с плоскостью $\mathbb{R}^2$.

Чтобы построить базу топологии произведения на $X \times Y$, необходимо рассмотреть все множества вида $U \times V$, где $U$ открыто в $X$, а $V$ открыто в $Y$.

Например, возьмём открытый интервал $U = (1,2) \subset X$.

И открытый интервал $V = (3,4) \subset Y$.

Тогда множество

$$ U \times V = (1,2)\times(3,4) $$

является открытым множеством в $\mathbb{R}^2$.

Геометрически это открытый прямоугольник на координатной плоскости.

пример

Теперь посмотрим, что произойдёт при объединении двух базисных множеств.

Рассмотрим:

$$ U_1 \times V_1 = (1,2)\times(3,4) $$

$$ U_2 \times V_2 = (1.5,2.5)\times(3.5,4.5) $$

Эти множества задают два открытых прямоугольника на плоскости.

пример объединения открытых множеств

Их объединение уже нельзя представить в стандартной форме одного декартова произведения $U \times V$. Тем не менее оно остаётся открытым множеством, поскольку является объединением элементов базы:

$$ (1,2)\times(3,4)\cup(1.5,2.5)\times(3.5,4.5) $$

В этом и заключается ключевая идея топологии произведения: любое открытое множество можно получить как объединение базисных множеств вида $U \times V$.

Например, точка $(1.8,3.8)$ принадлежит множеству

$$ (1,2)\times(3,4) $$

а значит, принадлежит и объединению базисных множеств.

пример

Этот пример показывает, что база $B$ действительно задаёт корректную топологию на произведении топологических пространств $X \times Y$.

Примечание: Топология произведения играет важную роль в общей топологии и математическом анализе, поскольку позволяет естественным образом переносить топологическую структуру исходных пространств $X$ и $Y$ на их декартово произведение.

Пример 2

Рассмотрим два топологических пространства:

$X = \{a, b, c\}$ с топологией $\{\emptyset, \{a\}, \{b, c\}, X\}$
$Y = \{1, 2\}$ с топологией $\{\emptyset, \{1\}, Y\}$

Чтобы построить топологию произведения на $X \times Y$, необходимо взять все декартовы произведения открытых множеств из топологий пространств $X$ и $Y$, а затем рассмотреть все возможные объединения этих множеств.

База топологии произведения задаётся следующим образом:

$$ B = \{ U \times V \mid U \text{ открыто в } X \text{ и } V \text{ открыто в } Y \} $$

Открытыми множествами в пространстве $X$ являются:

$\emptyset$
$\{a\}$
$\{b, c\}$
$X = \{a, b, c\}$

Открытыми множествами в пространстве $Y$ являются:

$\emptyset$
$\{1\}$
$Y = \{1, 2\}$

Теперь вычислим все возможные декартовы произведения этих множеств:

$\emptyset \times \emptyset = \emptyset$
$\emptyset \times \{1\} = \emptyset$
$\emptyset \times Y = \emptyset$
$\{a\} \times \emptyset = \emptyset$
$\{a\} \times \{1\} = \{(a, 1)\}$
$\{a\} \times Y = \{(a, 1), (a, 2)\}$
$\{b, c\} \times \emptyset = \emptyset$
$\{b, c\} \times \{1\} = \{(b, 1), (c, 1)\}$
$\{b, c\} \times Y = \{(b, 1), (b, 2), (c, 1), (c, 2)\}$
$X \times \emptyset = \emptyset$
$X \times \{1\} = \{(a, 1), (b, 1), (c, 1)\}$
$X \times Y = \{(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)\}$

Примечание: Декартово произведение множеств определяется как множество всех упорядоченных пар, где первый элемент принадлежит первому множеству, а второй элемент принадлежит второму множеству. Формально: \[ A \times B = \{(a, b) \mid a \in A \text{ и } b \in B\} \] Если одно из множеств пусто, то образовать упорядоченные пары невозможно. Поэтому декартово произведение пустого множества с любым множеством всегда является пустым множеством: \[ \emptyset \times B = \emptyset \] Например: \[ \emptyset \times \{1\} = \emptyset \]

Топология произведения состоит из всех возможных объединений этих декартовых произведений. Следовательно, в топологию произведения на $X \times Y$ входят:

$\emptyset$
$\{(a, 1)\}$
$\{(a, 1), (a, 2)\}$
$\{(b, 1), (c, 1)\}$
$\{(b, 1), (b, 2), (c, 1), (c, 2)\}$
$\{(a, 1), (b, 1), (c, 1)\}$
$X \times Y = \{(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)\}$
Любые другие объединения этих множеств
Например, $\{(a, 1)\} \cup \{(b, 1), (c, 1)\} = \{(a, 1), (b, 1), (c, 1)\}$.

Таким образом, топология произведения на $X \times Y$ состоит из всех подобных объединений.

Этот пример хорошо показывает важную особенность топологии произведения: открытыми множествами являются не только сами декартовы произведения открытых множеств из $X$ и $Y$, но и любые объединения таких произведений.

Например, множество $\{(a, 1)\} \cup \{(b, 1), (c, 1)\} = \{(a, 1), (b, 1), (c, 1)\}$ также является открытым множеством в топологии произведения. Поэтому неверно считать, что открытыми множествами здесь являются только множества вида $U \times V$.

База $B$ топологии произведения на $X \times Y$ состоит только из непустых декартовых произведений:

$\{(a, 1)\}$
$\{(a, 1), (a, 2)\}$
$\{(b, 1), (c, 1)\}$
$\{(b, 1), (b, 2), (c, 1), (c, 2)\}$
$\{(a, 1), (b, 1), (c, 1)\}$
$X \times Y = \{(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)\}$

Произведение нескольких топологических пространств

Топологию произведения можно определить не только для двух пространств, но и для любого конечного числа топологических пространств.

Пусть заданы $ n $ топологических пространств $ X_1 $, $ X_2 $, ..., $ X_n $. Если в каждом пространстве $ X_i $ выбрано открытое множество $ U_i $, то все декартовы произведения вида $ U_1 \times U_2 \times \cdots \times U_n $ образуют базу топологии на произведении пространств $ X_1 \times \cdots \times X_n $. $$ B = \{ U_1 \times U_2 \times \cdots \times U_n \mid U_i \text{ открыто в } X_i \text{ для каждого } i \} $$

База топологии произведения

В общем случае базу топологии произведения образуют декартовы произведения открытых множеств двух топологических пространств.

$$ B = \{ U \times V \mid U \text{ открыто в } X \text{ и } V \text{ открыто в } Y \} $$

Однако на практике такая база может быть слишком большой и неудобной.

Поэтому обычно используют более компактный способ построения базы.

Пусть $X$ и $Y$ являются топологическими пространствами с базами $B_X$ и $B_Y$. Тогда базу топологии произведения на $X \times Y$ образуют декартовы произведения элементов этих баз: $$ B = \{ U \times V \mid U \in B_X \text{ и } V \in B_Y \} $$

Множество $B$ действительно является базой топологии произведения на $X \times Y$.

Это означает, что элементы множества $B$ являются базисными открытыми множествами, а любое открытое множество топологии произведения можно представить как объединение множеств вида $U \times V$.

Примечание. Эта идея без изменений переносится и на произведение произвольного числа топологических пространств. Если $ B_i $ является базой топологии пространства $ X_i $, то декартовы произведения элементов этих баз образуют базу топологии произведения на $ X_1 \times X_2 \times \cdots \times X_n $. $$ B = \{ B_1 \times \cdots \times B_n \mid B_i \in \mathcal{B}_i,\ i = 1, \ldots, n \} $$

Пример

Рассмотрим два топологических пространства:

Пространство $ X = \{a, b\} $ с топологией $ \mathcal{T}_X = \{\emptyset, \{a\}, \{b\}, \{a, b\}\} $ имеет минимальную базу $ B_X = \{\{a\}, \{b\}\} $.
Пространство $ Y = \{1, 2\} $ с топологией $ \mathcal{T}_Y = \{\emptyset, \{1\}, \{2\}, \{1, 2\}\} $ имеет минимальную базу $ B_Y = \{\{1\}, \{2\}\} $.

Минимальную базу топологии произведения можно построить, используя только декартовы произведения элементов баз $ B_X $ и $ B_Y $, а не всех открытых множеств этих пространств.

$$ B_X = \{\{a\}, \{b\}\} $$

$$ B_Y = \{\{1\}, \{2\}\} $$

Получаем следующие декартовы произведения:

$$ \{a\} \times \{1\} = \{(a, 1)\} $$

$$ \{a\} \times \{2\} = \{(a, 2)\} $$

$$ \{b\} \times \{1\} = \{(b, 1)\} $$

$$ \{b\} \times \{2\} = \{(b, 2)\} $$

Следовательно, минимальная база топологии произведения на $ X \times Y $ имеет вид:

$$ B_{\text{min}} = \{\{(a, 1)\}, \{(a, 2)\}, \{(b, 1)\}, \{(b, 2)\}\} $$

Этой базы достаточно, чтобы породить всю топологию произведения на $ X \times Y $.

Любое открытое множество можно представить как объединение элементов этой минимальной базы.

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

Доказательство

Покажем, что множество $ B $ действительно является базой топологии произведения на $ X \times Y $.

$$ B = \{U \times V \mid U \in B_X \text{ и } V \in B_Y\} $$

Здесь $ B_X $ является базой топологии пространства $ X $, а $ B_Y $ является базой топологии пространства $ Y $.

В топологии произведения открытые множества представляются как объединения множеств вида $ U \times V $, где $ U $ открыто в $ X $, а $ V $ открыто в $ Y $.

Чтобы доказать, что $ B $ действительно является базой, необходимо показать, что любое открытое множество $ W \subseteq X \times Y $ можно представить как объединение элементов множества $ B $.

Проверка свойства базы

Пусть $ W $ является открытым множеством в топологии произведения, и пусть точка $ (x, y) $ принадлежит $ W $.

По определению топологии произведения существуют открытые множества $ U' \subseteq X $ и $ V' \subseteq Y $, такие что:

$$ (x, y) \in U' \times V' \subseteq W $$

Так как $ U' $ открыто в $ X $, а $ B_X $ является базой топологии пространства $ X $, существует элемент $ U \in B_X $, для которого:

$$ x \in U \subseteq U' $$

Аналогично, поскольку $ V' $ открыто в $ Y $, а $ B_Y $ является базой топологии пространства $ Y $, существует элемент $ V \in B_Y $, такой что:

$$ y \in V \subseteq V' $$

Следовательно:

$$ (x, y) \in U \times V \subseteq U' \times V' \subseteq W $$

Таким образом, для любой точки $ (x, y) \in W $ существует элемент $ U \times V $ из множества $ B $, содержащий эту точку и целиком лежащий внутри множества $ W $.

Заключение

Поскольку каждая точка любого открытого множества $ W $ содержится в некотором элементе базы $ B $, который сам содержится в $ W $, множество $ B $ действительно покрывает все открытые множества топологии произведения.

Следовательно, множество $ B = \{U \times V \mid U \in B_X \text{ и } V \in B_Y\} $ является базой топологии произведения на $ X \times Y $.

Доказательство завершено.

Примечания

Ниже приведены некоторые дополнительные результаты, связанные с топологией произведения.

Теорема о подпространствах произведения
Если $A$ и $B$ являются подпространствами топологических пространств $X$ и $Y$, то топология на произведении $A \times B$, рассматриваемом как подпространство пространства $X \times Y$, совпадает с топологией произведения, индуцированной топологиями на $A$ и $B$. Иными словами, независимо от способа построения топологии на $A \times B$, получается одна и та же топологическая структура. $$ \quad \tau_{A \times B}^{\text{sub}} = \tau_A^{\text{sub}} \times \tau_B^{\text{sub}} $$
Топологическая эквивалентность произведений пространств
Пусть заданы пространства $ X $, $ Y $ и $ Z $. Тогда пространства $ (X \times Y) \times Z $, $ X \times (Y \times Z) $ и $ X \times Y \times Z $ топологически эквивалентны. Иначе говоря, способ группировки множителей не влияет на итоговую топологическую структуру. $$ (X \times Y) \times Z \cong X \times (Y \times Z) \cong X \times Y \times Z $$
Теорема о внутренности декартова произведения
Пусть множества $A$ и $B$ принадлежат топологическим пространствам $X$ и $Y$ соответственно. Тогда внутренность декартова произведения $A \times B$ совпадает с произведением внутренностей множеств $A$ и $B$. $$ \text{Int}(A \times B) = \text{Int}(A) \times \text{Int}(B) $$

И так далее.