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

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

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

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

Пусть даны два множества ${\displaystyle X}$ и ${\displaystyle Y}$. Прямое произведение множества ${\displaystyle X}$ и множества ${\displaystyle Y}$ есть такое множество ${\displaystyle X\times Y}$, элементами которого являются упорядоченные пары ${\displaystyle (x,y)}$ для всевозможных ${\displaystyle x\in X}$ и ${\displaystyle y\in Y}$.

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

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

Комментарии

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

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

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

${\displaystyle {\begin{matrix}\underbrace {X\times X\times \ldots \times X} .\\n\end{matrix}}}$

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

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

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

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

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

${\displaystyle \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\}.}$

Отображения ${\displaystyle \pi _{i}\colon X\to X_{i}\colon f\mapsto f(i)}$ называются проекциями.

В частности, для конечного семейства множеств ${\displaystyle \{A_{1},\dots ,A_{n}\}}$ любая функция ${\displaystyle f:\{1,\dots ,n\}\to \bigcup \limits _{i=1}^{n}A_{i}}$ с условием ${\displaystyle f(i)\in A_{i}}$ эквивалентна некоторому кортежу длины ${\displaystyle n}$, составленному из элементов множеств ${\displaystyle \{A_{i}\}_{i=1}^{n}}$, так, что на ${\displaystyle i}$-ом месте кортежа стоит элемент множества ${\displaystyle A_{i}}$. Поэтому декартово (прямое) произведение конечного числа множеств ${\displaystyle \{A_{i}\}_{i=1}^{n}}$ может быть записано так:

${\displaystyle A_{1}\times \dots \times A_{n}=\{(a_{1},\dots ,a_{n})\mid a_{i}\in A_{i},i\in \{1,\dots ,n\}\}.}$

Проекции определяются следующим образом: ${\displaystyle \pi _{i}\colon (a_{1},\dots a_{n})\mapsto a_{i}}$

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

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

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

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

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

Прямое (декартово) произведение двух групп ${\displaystyle (G,*)}$ и ${\displaystyle (H,\circ )}$ — это группа из всех пар элементов ${\displaystyle (g,h)}$ с операцией покомпонентного умножения: ${\displaystyle (g_{1},h_{1})\times (g_{2},h_{2})=(g_{1}*g_{2},h_{1}\circ h_{2})}$. Эта группа обозначается как ${\displaystyle G\times H}$. Ассоциативность операции умножения в группе ${\displaystyle G\times H}$ следует из ассоциативности операций перемножаемых групп. Сомножители ${\displaystyle G}$ и ${\displaystyle H}$ изоморфны двум нормальным подгруппам своего произведения, ${\displaystyle \{(g,1_{H})\mid g\in G\}}$ и ${\displaystyle \{(1_{G},h)\mid h\in H\}}$ соответственно. Пересечение этих подгрупп состоит из одного элемента ${\displaystyle (1_{G},1_{H})}$, который является единицей группы-произведения. Координатные функции произведения групп являются гомоморфизмами.

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

В общем случае, ${\displaystyle {\overline {\prod _{i\in I}}}G_{i}=\{f\colon I\to \bigcup _{i\in I}G_{i}\}}$, где ${\displaystyle f(i)\in G_{i}}$ и ${\displaystyle (f_{1}\times f_{2})(i)=f_{1}(i)*f_{2}(i)}$. (Операция в правой части — это операция группы ${\displaystyle G_{i}}$.) Единицей группы-произведения будет последовательность, составленная из единиц всех перемножаемых групп: ${\displaystyle (1_{i}),\;i\in I}$. Например, для счётного числа групп: ${\displaystyle {\overline {\prod _{i\in \mathbb {N} }}}\mathbb {Z} _{2}=(2^{\mathbb {N} },\;\operatorname {xor} )}$, где в правой части стоит множество всех бесконечных двоичных последовательностей.

Подгруппа на множестве всех ${\displaystyle f}$, носитель которых (то есть множество ${\displaystyle \mathrm {supp} \,(f)=\{i\in I\mid f(i)\neq 1_{i}\}}$) конечен, называется прямой суммой. Например, прямая сумма того же самого набора множеств ${\displaystyle \prod _{i\in \mathbb {N} }\mathbb {Z} _{2}\ =\ (\mathbb {N} ,\;\operatorname {xor} )}$ содержит все двоичные последовательности с конечным числом единиц, а их можно трактовать как двоичные представления натуральных чисел.

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

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

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

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

Определение легко обобщается на случай произведения нескольких пространств. Для бесконечного произведения ${\displaystyle X=\Pi X_{i}}$ определение усложняется. Определим открытый цилиндр ${\displaystyle Cyl(i,\;U)=\{x\in X\mid x_{i}\in U\}}$, где ${\displaystyle i\in I}$ и ${\displaystyle U}$ — открытое подмножество ${\displaystyle X_{i}}$.

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

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

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

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

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

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

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

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

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

См. также

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