Прямое произведение

Прямо́е, или дека́ртово произведе́ние двух множеств — множество, элементами которого являются все возможные упорядоченные пары элементов исходных множеств. Предполагается, что впервые «декартово» произведение двух множеств ввёл Георг Кантор.

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

Прямое произведение в теории множествПравить

Произведение двух множествПравить

в	в	в	в	в	в	в	в
и	и	и	и	и	и	и	и
к	к	к	к	к	к	к	к
Произведение множества {в, и, к} на множество цветов радуги

Пусть даны два множества $X$$X$  и $Y$$Y$ . Прямое произведение множества $X$$X$  и множества $Y$$Y$  есть такое множество $X\times <!--\; \times \; -->Y$$X \times Y$ , элементами которого являются упорядоченные пары $(x,y)$$(x,y)$  для всевозможных $x\in <!--\; \in \; -->X$$x\in X$  и $y\in <!--\; \in \; -->Y$$y\in Y$ . Упорядоченную пару, образованную из элементов $a$$a$  и $b$$b$ , принято записывать, используя круглые скобки: $(a,b)$$(a,b)$ . Элемент $a$$a$  называют первой координатой (компонентой) пары, а элемент $b$$b$  – второй координатой (компонентой) пары.

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

Слово «упорядоченная» значит, что для $x\ne <!--\; \ne \; -->y$$x\ne y$ , $(x,y)\ne <!--\; \ne \; -->(y,x)$$(x,y)\neq (y,x)$ . Так, пары $(a,b)$$(a,b)$  и $(c,d)$$(c,d)$  равны в том и только том случае, если $a=c$$a=c$  и $b=d$$b=d$ .

Важность «порядка» можно показать на примере обычной записи чисел: используя две цифры 3 и 5, можно записать четыре двузначных числа: 35, 53, 33 и 55. Несмотря на то, что числа 35 и 53 записаны с помощью одних и тех же цифр, эти числа различные. В том случае, когда важен порядок следования элементов, в математике говорят об упорядоченных наборах элементов.

В упорядоченной паре $(a,b)$$(a,b)$  может быть, что $a=b$$a=b$ . Так, запись чисел 33 и 55 можно рассматривать как упорядоченные пары (3; 3) и (5; 5).

Отображения произведения множеств в его множители — $\mathrm{\phi <!--\; \phi \; -->}:<!--\; :\; -->X\times <!--\; \times \; -->Y\to <!--\; \to \; -->X,\mathrm{\phi <!--\; \phi \; -->}(x,y)=x$$\varphi\colon X\times Y\to X,\; \varphi(x,y)=x$  и $\mathrm{\psi <!--\; \psi \; -->}:<!--\; :\; -->X\times <!--\; \times \; -->Y\to <!--\; \to \; -->Y,\mathrm{\psi <!--\; \psi \; -->}(x,y)=y$$\psi\colon X\times Y\to Y,\; \psi(x,y)=y$  — называют координатными функциями.

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

КомментарииПравить

Строго говоря, тождество ассоциативности $A\times <!--\; \times \; -->(B\times <!--\; \times \; -->C)=(A\times <!--\; \times \; -->B)\times <!--\; \times \; -->C$$A \times (B \times C) = (A \times B) \times C$  не имеет места, но в силу существования естественного взаимно однозначного соответствия (биекции) между множествами $A\times <!--\; \times \; -->(B\times <!--\; \times \; -->C)$$A \times (B \times C)$  и $(A\times <!--\; \times \; -->B)\times <!--\; \times \; -->C$$(A \times B) \times C$  этим различием можно зачастую пренебречь.

Декартова степеньПравить

000	001	002	010	011	012	020	021	022
100	101	102	110	111	112	120	121	122
200	201	202	210	211	212	220	221	222
{0, 1, 2}3, 33 = 27 элементов

$n$$n$ -я декартова степень множества $X$$X$  определяется для целых неотрицательных $n$$n$ , как $n$$n$ -кратное декартово произведение $X$$X$  на себя :

$\begin{array}{c}\underset{⏟<!--\; ⏟\; -->}{X\times <!--\; \times \; -->X\times <!--\; \times \; -->\dots <!--\; \dots \; -->\times <!--\; \times \; -->X}.\\ n\end{array}$$\begin{matrix} \underbrace{X\times X\times \ldots \times X}. \\ n \end{matrix}$ 

Обычно обозначается как $X^n$$X^n$  или $X^{\times <!--\; \times \; -->n}$$X^{\times n}$ .

При положительных $n$$n$  декартова степень $X^n$$X^n$  состоит из всех упорядоченных наборов элементов из $X$$X$  длины $n$$n$ . Так, вещественное пространство ${\mathbb{R}}^3$$\mathbb {R} ^{3}$  — множество кортежей из трех вещественных чисел — есть 3-я степень множества вещественных чисел $\mathbb{R}.$$\mathbb{R}.$ 

При $n=0$$n=0$ , декартова степень $X^0,$$X^0,$  по определению, содержит единственный элемент — пустой кортеж.

Прямое произведение семейства множествПравить

В общем случае, для произвольного семейства множеств (не обязательно различных) $\{X_i{\}}_{i\in <!--\; \in \; -->I}$$\{X_i\}_{i\in I}$  (множество индексов может быть бесконечным) прямое произведение $X=\underset{i\in <!--\; \in \; -->I}{\prod <!--\; \prod \; -->}{X}_i$$X = \prod_{i\in I} X_i$  определяется как множество функций, сопоставляющих каждому элементу $i\in <!--\; \in \; -->I$$i\in I$  элемент множества $X_i$$X_{i}$ :

$X=\underset{i\in <!--\; \in \; -->I}{\prod <!--\; \prod \; -->}{X}_i=\{f:<!--\; :\; -->I\to <!--\; \to \; -->\underset{i\in <!--\; \in \; -->I}{\bigcup <!--\; \bigcup \; -->}{X}_i\mid <!--\; \mid \; -->f(i)\in <!--\; \in \; -->X_i,i\in <!--\; \in \; -->I\}.$$X=\prod _{i\in I}X_{i}=\{f\colon I\to \bigcup \limits _{i\in I}X_{i}\mid f(i)\in X_{i},i\in I\}.$ 

Отображения ${\mathrm{\pi <!--\; \pi \; -->}}_i:<!--\; :\; -->X\to <!--\; \to \; -->X_i:<!--\; :\; -->f\mapsto <!--\; \mapsto \; -->f(i)$$\pi_i \colon X \to X_i \colon f \mapsto f(i)$  называются проекциями, и определяются следующим образом: ${\mathrm{\pi <!--\; \pi \; -->}}_i:<!--\; :\; -->(a_1,\dots <!--\; \dots \; -->a_n)\mapsto <!--\; \mapsto \; -->a_i$$\pi_i\colon (a_1,\dots a_n) \mapsto a_i$ .

В частности, для конечного семейства множеств $\{A_1,\dots <!--\; \dots \; -->,A_n\}$$\{A_1, \dots ,A_n\}$  любая функция $f:\{1,\dots <!--\; \dots \; -->,n\}\to <!--\; \to \; -->\underset{i=1}{\overset{n}{\bigcup <!--\; \bigcup \; -->}}{A}_i$$f:\{1,\dots ,n\} \to \bigcup\limits_{i = 1}^n A_i$  с условием $f(i)\in <!--\; \in \; -->A_i$$f(i) \in A_i$  эквивалентна некоторому кортежу длины $n$$n$ , составленному из элементов множеств $\{A_i{\}}_{i=1}^n$$\{A_i\}_{i = 1}^n$ , так, что на $i$$i$ -ом месте кортежа стоит элемент множества $A_i$$A_{i}$ . Поэтому декартово (прямое) произведение конечного числа множеств $\{A_i{\}}_{i=1}^n$$\{A_i\}_{i = 1}^n$  может быть записано так:

$A_1\times <!--\; \times \; -->\cdots <!--\; \cdots \; -->\times <!--\; \times \; -->A_n=\{(a_1,\dots <!--\; \dots \; -->,a_n)\mid <!--\; \mid \; -->a_i\in <!--\; \in \; -->A_i,i\in <!--\; \in \; -->\{1,\dots <!--\; \dots \; -->,n\}\}.$$A_1 \times \dots \times A_n = \{(a_1, \dots ,a_n) \mid a_i \in A_i, i \in \{1, \dots ,n\}\}.$ 

Теоретико-множественные операции с прямыми произведениямиПравить

Пусть заданы прямые произведения $A=A_1\times <!--\; \times \; -->\cdots <!--\; \cdots \; -->\times <!--\; \times \; -->A_n$$A=A_{1}\times \dots \times A_{n}$  и $B=B_1\times <!--\; \times \; -->\cdots <!--\; \cdots \; -->\times <!--\; \times \; -->B_n$$B=B_{1}\times \dots \times B_{n}$ . Тогда

1. $A\subseteq <!--\; \subseteq \; -->B$$A\subseteq B$ , если и только если $A_i\subseteq <!--\; \subseteq \; -->B_i$$A_{i}\subseteq B_{i}$  для всех $i=1,2,\dots <!--\; \dots \; -->,n$$i=1,2,\ldots ,n$ ;
2. $A\cap <!--\; \cap \; -->B=(A_1\cap <!--\; \cap \; -->B_1)\times <!--\; \times \; -->\cdots <!--\; \cdots \; -->\times <!--\; \times \; -->(A_n\cap <!--\; \cap \; -->B_n)$$A\cap B=(A_{1}\cap B_{1})\times \dots \times (A_{n}\cap B_{n})$ , при этом, если существует хотя бы один $i$$i$ , такой что $A_i\cap <!--\; \cap \; -->B_i=\mathrm{\varnothing <!--\; \varnothing \; -->}$$A_{i}\cap B_{i}=\varnothing$ , то $A\cap <!--\; \cap \; -->B=\mathrm{\varnothing <!--\; \varnothing \; -->}$$A \cap B = \varnothing$  ;
3. $A\cup <!--\; \cup \; -->B\subseteq <!--\; \subseteq \; -->(A_1\cup <!--\; \cup \; -->B_1)\times <!--\; \times \; -->\cdots <!--\; \cdots \; -->\times <!--\; \times \; -->(A_n\cup <!--\; \cup \; -->B_n)$$A\cup B\subseteq (A_{1}\cup B_{1})\times \dots \times (A_{n}\cup B_{n})$ , при этом равенство возможно лишь в следующих случаях:

$$$\quad \quad$  - $A\subseteq <!--\; \subseteq \; -->B$$A\subseteq B$  или $B\subseteq <!--\; \subseteq \; -->A$$B\subseteq A$ ;

$$$\quad \quad$  - для всех $i=1,2,\dots <!--\; \dots \; -->,n{A}_i=B_i$$i=1,2,\ldots ,n\quad A_{i}=B_{i}\quad$  за исключением одного из $i$$i$ .

$$$\quad \quad$ 4. Дополнение прямого произведения $A=A_1\times <!--\; \times \; -->\cdots <!--\; \cdots \; -->\times <!--\; \times \; -->A_n$$A=A_{1}\times \dots \times A_{n}$  можно вычислить, если задан универсум $U=X_1\times <!--\; \times \; -->\cdots <!--\; \cdots \; -->\times <!--\; \times \; -->X_n$$U=X_{1}\times \dots \times X_{n}$ . Для упрощения выражений введем следующие обозначения . Обозначим прямое произведение в виде ограниченного прямыми скобками кортежа, в котором располагаются множества, из которых сформировано прямое произведение, например:

$A=A_1\times <!--\; \times \; -->A_2\times <!--\; \times \; -->\cdots <!--\; \cdots \; -->\times <!--\; \times \; -->A_n=[A_1{A}_2\dots <!--\; \dots \; -->A_n]$$A=A_{1}\times A_{2}\times \dots \times A_{n}=[A_{1}\quad A_{2}\quad \dots \quad A_{n}]$ .

С учетом этого объединение прямых произведений, заданных в одном и том же универсуме, можно выразить в виде матрицы, ограниченной прямыми скобками, в которой строки представляют прямые произведения, участвующие в объединении:

$A\cup B=(A_{1}\times A_{2}\times \dots \times A_{n})\cup (B_{1}\times B_{2}\times \dots \times B_{n})=\left[{\begin{array}{cccc}A_{1}&A_{2}&\dots &A_{n}\\B_{1}&B_{2}&\dots &B_{n}\end{array}}\right]$ .

Тогда дополнением прямого произведения $A$$A$  будет следующее объединение прямых произведений:

${\overline {A}}=\left[{\begin{array}{ccccc}{\overline {A_{1}}}&X_{2}&\dots &X_{n-1}&X_{n}\\X_{1}&{\overline {A_{2}}}&\dots &X_{n-1}&X_{n}\\\dots &\dots &\dots &\dots &\dots \\X_{1}&X_{2}&\dots &{\overline {A_{n-1}}}&X_{n}\\X_{1}&X_{2}&\dots &X_{n-1}&{\overline {A_{n}}}\end{array}}\right]$ , у которых диагональные компоненты $\stackrel{¯<!--\; ¯\; -->}{A_i}=X_i\setminus <!--\; \setminus \; -->A_i$${\overline {A_{i}}}=X_{i}\setminus A_{i}$ .

Прямое произведение отображенийПравить

Пусть $f$$f$  — отображение из $A$$A$  в $B$$B$ , а $g$$g$  — отображение из $X$$X$  в $Y$$Y$ . Их прямым произведением $f\times <!--\; \times \; -->g$$f\times g$  называется отображение из $A\times <!--\; \times \; -->X$$A\times X$  в $B\times <!--\; \times \; -->Y$$B\times Y$ : $(f\times <!--\; \times \; -->g)(a,x)=(f(a),g(x))$$(f\times g)(a,\; x) = (f(a),\; g(x))$ .

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

Воздействие на математические структурыПравить

Прямое произведение группПравить

Основная статья: Прямое произведение групп

Прямое (декартово) произведение двух групп $(G,\ast <!--\; \ast \; -->)$$(G,*)$  и $(H,\circ <!--\; \circ \; -->)$$(H,\circ)$  — это группа из всех пар элементов $(g,h)$$(g,h)$  с операцией покомпонентного умножения: $(g_1,h_1)\times <!--\; \times \; -->(g_2,h_2)=(g_1\ast <!--\; \ast \; -->g_2,h_1\circ <!--\; \circ \; -->h_2)$$(g_1,h_1)\times(g_2,h_2)=(g_1*g_2,h_1\circ h_2)$ . Эта группа обозначается как $G\times <!--\; \times \; -->H$$G\times H$ . Ассоциативность операции умножения в группе $G\times <!--\; \times \; -->H$$G\times H$  следует из ассоциативности операций перемножаемых групп. Сомножители $G$$G$  и $H$$H$  изоморфны двум нормальным подгруппам своего произведения, $\{(g,1_H)\mid <!--\; \mid \; -->g\in <!--\; \in \; -->G\}$$\{(g,1_H)\mid g\in G\}$  и $\{(1_G,h)\mid <!--\; \mid \; -->h\in <!--\; \in \; -->H\}$$\{(1_G,h)\mid h\in H\}$  соответственно. Пересечение этих подгрупп состоит из одного элемента $(1_G,1_H)$$(1_G,1_H)$ , который является единицей группы-произведения. Координатные функции произведения групп являются гомоморфизмами.

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

В общем случае, $\stackrel{¯<!--\; ¯\; -->}{\underset{i\in <!--\; \in \; -->I}{\prod <!--\; \prod \; -->}}{G}_i=\{f:<!--\; :\; -->I\to <!--\; \to \; -->\underset{i\in <!--\; \in \; -->I}{\bigcup <!--\; \bigcup \; -->}{G}_i\}$$\overline{\prod_{i\in I}} G_i=\{f\colon I\to\bigcup_{i\in I} G_i\}$ , где $f(i)\in <!--\; \in \; -->G_i$$f(i)\isin G_i$  и $(f_1\times <!--\; \times \; -->f_2)(i)=f_1(i)\ast <!--\; \ast \; -->f_2(i)$$(f_1\times f_2)(i)=f_1(i)*f_2(i)$ . (Операция в правой части — это операция группы $G_i$$G_{i}$ ). Единицей группы-произведения будет последовательность, составленная из единиц всех перемножаемых групп: $(1_i),i\in <!--\; \in \; -->I$$(1_i),\; i\in I$ . Например, для счётного числа групп: $\stackrel{¯<!--\; ¯\; -->}{\underset{i\in <!--\; \in \; -->\mathbb{N}}{\prod <!--\; \prod \; -->}}{\mathbb{Z}}_2=(2^{\mathbb{N}},\mathrm{xor})$$\overline{\prod_{i\in\mathbb{N}}} \mathbb{Z}_2=(2^\mathbb{N},\; \operatorname{xor})$ , где в правой части стоит множество всех бесконечных двоичных последовательностей.

Подгруппа на множестве всех $f$$f$ , носитель которых (то есть множество $\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}(f)=\{i\in <!--\; \in \; -->I\mid <!--\; \mid \; -->f(i)\ne <!--\; \ne \; -->1_i\}$$\mathrm{supp}\,(f) = \{i\in I\mid f(i)\ne 1_i\}$ ) конечен, называется прямой суммой. Например, прямая сумма того же самого набора множеств $\underset{i\in <!--\; \in \; -->\mathbb{N}}{\prod <!--\; \prod \; -->}{\mathbb{Z}}_2=(\mathbb{N},\mathrm{xor})$$\prod_{i\in\mathbb{N}} \mathbb{Z}_2\ =\ (\mathbb{N},\; \operatorname{xor})$  содержит все двоичные последовательности с конечным числом единиц, а их можно трактовать как двоичные представления натуральных чисел.

Декартово произведение индексированной системы групп есть её прямое произведение в категории Grp.

Прямая сумма индексированной системы групп есть её копроизведение в категории Grp.

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

Аналогично произведению групп можно определить произведения колец, алгебр, модулей и линейных пространств, причём в определении прямого произведения $1_i$$1_i$  (см. выше) следует заменить нулём. Определение произведения двух (или конечного числа) объектов совпадает с определением прямой суммы. Однако, вообще говоря, прямая сумма отличается от прямого произведения: например, прямое произведение счётного множества копий $\mathbb{R}$$\mathbb {R}$  есть пространство всех последовательностей действительных чисел, тогда как прямая сумма — пространство тех последовательностей, у которых только конечное число членов ненулевые (так называемых финитных последовательностей).

Прямое произведение векторных пространствПравить

Декартово произведение $U\times <!--\; \times \; -->V$$U\times V$  двух векторных пространств $U$$U$  и $V$$V$  над общим полем $F$$F$  — это множество упорядоченных пар векторов $\left\{\left(u,v\right)\mid <!--\; \mid \; -->u\in <!--\; \in \; -->U\wedge <!--\; \wedge \; -->v\in <!--\; \in \; -->V\right\}$$\left\{\left(u,v\right)\mid u\in U\wedge v\in V\right\}$ , то есть теоретико-множественное декартово произведение множеств векторов из $U$$U$  и $V$$V$ , с линейностью, заданной покоординатно: $\left(a,b\right)+\left(c,d\right)=\left(a+c,b+d\right)$$\left(a,b\right)+\left(c,d\right)=\left(a+c,b+d\right)$ , $\mathrm{\alpha <!--\; \alpha \; -->}\left(a,b\right)=\left(\mathrm{\alpha <!--\; \alpha \; -->}a,\mathrm{\alpha <!--\; \alpha \; -->}b\right)$$\mathrm {\alpha } \left(a,b\right)=\left(\mathrm {\alpha } a,\mathrm {\alpha } b\right)$ .

Данное определение распространяется на любую индексированную систему линейных (векторных) пространств: декартовым произведением индексированной системы векторных пространств над общим полем является теоретико­‑множественное декартово произведение множеств векторов сомножителей, на котором задана покоординатная линейность, то есть при суммировании суммируются все проекции, при умножении на число все проекции умножаются на это число: $c=a+b\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}i:c_i=a_i+b_i$$c=a+b\leftrightarrow \forall i:c_{i}=a_{i}+b_{i}$ , $b=\mathrm{\alpha <!--\; \alpha \; -->}a\leftrightarrow <!--\; \leftrightarrow \; -->\mathrm{\forall <!--\; \forall \; -->}i:b_i=\mathrm{\alpha <!--\; \alpha \; -->}{a}_i$$b=\mathrm {\alpha } a\leftrightarrow \forall i:b_{i}=\mathrm {\alpha } a_{i}$ .

Декартово произведение индексированной системы линейных пространств есть её прямое произведение в категории ${\mathrm{Vec}}_F$$\operatorname {Vec} _{F}$ , где $F$$F$  есть подлежащее поле системы.

Прямая сумма векторных пространств есть такое подмножество их декартова произведения, элементы которого имеют лишь конечное число отличных от нуля проекций $\bigoplus {A}=\left\{a\in \prod {A}\mid \left\vert \left\{i\in \operatorname {dom} A\mid a_{i}\neq 0\right\}\right\vert <\aleph _{0}\right\}$ , где $\mathrm{dom}<!--\; \; -->A$$\operatorname {dom} A$  есть индексное множество индексированной системы $A$$A$ . Для конечного числа слагаемых прямая сумма не отличается от декартова произведения.

Прямая сумма индексированной системы линейных пространств есть её копроизведение в категории ${\mathrm{Vec}}_F$$\operatorname {Vec} _{F}$ , где $F$$F$  есть подлежащее поле системы.

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

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

Пусть $X$$X$  и $Y$$Y$  — два топологических пространства. Топология декартова произведения $X\times <!--\; \times \; -->Y$$X\times Y$  задаётся на их теоретико­‑множественном произведении, как бесструктурных множеств, базой, состоящей из всевозможных произведений $U\times <!--\; \times \; -->V$$U\times V$ , где $U$$U$  — открытое подмножество $X$$X$  и $V$$V$  — открытое подмножество $Y$$Y$ .

Определение легко обобщается на случай произведения нескольких пространств.

Для произведения бесконечного набора сомножителей определение усложняется: пусть $X$$X$  есть индексированная система топологических пространств, $B=\prod <!--\; \prod \; -->\stackrel{¯<!--\; ¯\; -->}{X}$$B=\prod {\overline {X}}$  — бесструктурное произведение элементов $X$$X$ , как множеств. Определим цилиндр, восставленный над $U\subseteq <!--\; \subseteq \; -->X_i$$U\subseteq X_{i}$ , как множество всех точек из $B$$B$ , чьи $i$$i$ ‑е проекции лежат в $U$$U$ , т. е. $\mathrm{Cyl}<!--\; \; -->\left(i,U\right)=\left\{x\in <!--\; \in \; -->B\mid <!--\; \mid \; -->x_i\in <!--\; \in \; -->U\right\}$$\operatorname {Cyl} \left(i,\;U\right)=\left\{x\in B\mid x_{i}\in U\right\}$ , где $i\in <!--\; \in \; -->\mathrm{dom}<!--\; \; -->X$$i\in \operatorname {dom} X$  и $\mathrm{dom}<!--\; \; -->X$$\operatorname {dom} X$  есть индексное множество индексированной системы $X$$X$ . Топология произведения будет задана на предбазе из цилиндров, восставленных надо всеми открытыми множествами всех топологий из набора $X$$X$ : $\left\{\mathrm{Cyl}<!--\; \; -->\left(i,U\right)\mid <!--\; \mid \; -->i\in <!--\; \in \; -->\mathrm{dom}<!--\; \; -->X\wedge <!--\; \wedge \; -->U\in <!--\; \in \; -->\mathrm{T}<!--\; \; -->\left(X_i\right)\right\}$$\left\{\operatorname {Cyl} \left(i,\;U\right)\mid i\in \operatorname {dom} X\land U\in \operatorname {T} \left(X_{i}\right)\right\}$ , где $\mathrm{T}<!--\; \; -->\left(X_i\right)$$\operatorname {T} \left(X_{i}\right)$  есть совокупность всех отрытых множеств (топология) пространства $X_i$$X_{i}$ , то есть задаваться базой, составленной из всевозможных пересечений конечного числа открытых цилиндров. Данная топология является «контрвариантно» наведённой проекторами — это минимальная топология на теоретико­‑множественном декартовом произведении, при которой все проекторы непрерывны (такая топология аналогична компактно-открытой топологии пространств отображений, если считать индексное множество $I$$I$  имеющим дискретную топологию).

Декартово произведение индексированной системы топологических пространств есть её прямое произведение в категории $\mathrm{Top}$$\operatorname {Top}$ .

Прямая сумма топологий строится на бесструктурной прямой сумме пространств, как множеств точек. Открытыми в ней являются все множества, пересечения которых со всеми слагаемыми открыты. Данная топология является «ковариантно» наведённой копроекторами — это максимальная топология на теоретико­‑множественной прямой сумме, при которой все копроекторы (т. е. вложения слагаемых в сумму) непрерывны.

Прямая сумма индексированной системы топологических пространств есть её копроизведение в категории $\mathrm{Top}$$\operatorname {Top}$ .

Теорема Тихонова утверждает компактность произведений любого количества компактных пространств; однако для бесконечных произведений её не удаётся доказать без использования аксиомы выбора (или равносильных ей утверждений теории множеств).

Также теорема Александрова показывает, что любое топологическое пространство можно вложить в (бесконечное) произведение связных двоеточий, если только выполнена аксиома Колмогорова.

Прямое произведение графовПравить

Основная статья: Прямое произведение графов

	—	
	—	
		
	—	

Множество вершин прямого произведения двух графов $G$$G$  и $H$$H$  задаётся как произведение вершин графов сомножителей. Рёбрами будут соединены следующие па́ры вершин:

• $(g,h)(g^{\prime },h)$$(g,\;h)(g',\;h)$ , где $g$$g$  и $g^{\prime }$$g'$  — соединённые ребром вершины графа $G$$G$ , а $h$$h$  — произвольная вершина графа $H$$H$ ;
• $(g,h)(g,h^{\prime })$$(g,\;h)(g,\;h')$ , где $g$$g$  — произвольная вершина графа $G$$G$ , а $h$$h$  и $h^{\prime }$$h'$  — соединённые ребром вершины графа $H$$H$ .

Иначе говоря, множество рёбер произведения графов является объединением двух произведений: рёбер первого на вершины второго, и вершин первого на рёбра второго.

Вариации и обобщенияПравить

Идея прямого произведения получила дальнейшее развитие в теории категорий, где она послужила основой для понятия произведения объектов. Неформально, произведение двух объектов $A$$A$  и $B$$B$  — это наиболее общий объект в данной категории, для которого существуют проекции на $A$$A$  и $B$$B$ . Во многих категориях (множеств, групп, графов, …) произведением объектов является именно их прямое произведение. Важно, что в большинстве случаев важно не столько конкретное определение прямого произведения, сколько указанное выше свойство универсальности. Различные определения будут давать при этом изоморфные объекты.

См. такжеПравить

• Дизъюнктное объединение
• Полупрямое произведение
• Прямая сумма
• Тензорное произведение
• Декартовы координаты
• Операции над множествами
• Комбинаторика

ЛитератураПравить

• Бурбаки Н. Основные структуры анализа. Книга 1. Теория множеств. — М.: Книга по требованию, 2013. — 460 с.
• Кулик Б.А. Логика и математика: просто о сложных методах логического анализа. — СПб.: Политехника, 2020. — 460 с. — ISBN 978-5-7325-1166-6.
• Эдельман С.Л. Математическая логика. — М.: Высшая школа, 1975. — 176 с.
• Cantor G. Gesammelte Abhandlungen. — Berlin: Springer, 1932. — 486 с.