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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

Прямое произведение в теории множеств[править | править вики-текст]

Произведение двух множеств[править | править вики-текст]

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

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

Отображения произведения множеств в его множители — и  — называют координатными функциями.

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

Комментарии[править | править вики-текст]

Строго говоря, тождество ассоциативности не имеет места, но в силу существования естественного взаимно однозначного соответствия между множествами и этим различием можно зачастую пренебречь.

Декартова степень[править | править вики-текст]

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 элементов

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

Обычно обозначается как или .

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

При , Декартова степень по определению, содержит единственный элемент — пустой кортеж.

Прямое произведение семейства множеств[править | править вики-текст]

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

Отображения называются проекциями.

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

Проекции определяются следующим образом:

Прямое произведение отображений[править | править вики-текст]

Пусть  — отображение из в , а  — отображение из в . Их прямым произведением называется отображение из в : .

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

Воздействие на математические структуры[править | править вики-текст]

Прямое произведение групп[править | править вики-текст]

Прямое (декартово) произведение двух групп и  — это группа из всех пар элементов с операцией покомпонентного умножения: . Эта группа обозначается как . Ассоциативность операции умножения в группе следует из ассоциативности операций перемножаемых групп. Сомножители и изоморфны двум нормальным подгруппам своего произведения, и соответственно. Пересечение этих подгрупп состоит из одного элемента , который является единицей группы-произведения. Координатные функции произведения групп являются гомоморфизмами.

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

В общем случае, , где и . (Операция в правой части — это операция группы .) Единицей группы-произведения будет последовательность, составленная из единиц всех перемножаемых групп: . Например, для счётного числа групп: , где в правой части стоит множество всех бесконечных двоичных последовательностей.

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

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

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

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

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

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

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

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

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

Прямое произведение графов[править | править вики-текст]

  —
—
—

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

  • , где и  — соединённые ребром вершины графа , а  — произвольная вершина графа ;
  • , где  — произвольная вершина графа , а и  — соединённые ребром вершины графа .

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

Вариации и обобщения[править | править вики-текст]

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

См. также[править | править вики-текст]