Лекция
Game: Perform tasks and rest cool.8 people play!
Play gameПривет, сегодня поговорим про прямое или декартово произведение двух множеств, обещаю рассказать все что знаю. Для того чтобы лучше понимать что такое прямое или декартово произведение двух множеств , настоятельно рекомендую прочитать все из категории Дискретная математика. Теория множеств . Теория графов . Комбинаторика..
Прямое или декартово произведение двух множеств — это множество, элементами которого являются всевозможные упорядоченные пары элементов исходных множеств.
Понятие прямого произведения естественно обобщается на произведение множеств с дополнительной структурой (алгебраической, топологическиой, и т. д.) поскольку произведение множеств часто наследует структуры, имевшиеся на исходных множествах.
в | в | в | в | в | в | в | в |
---|---|---|---|---|---|---|---|
и | и | и | и | и | и | и | и |
к | к | к | к | к | к | к | к |
Произведение множества {в, и, к} на множество цветов радуги |
Пусть даны два множества и
. Прямое произведение множества
и множества
есть такое множество
, элементами которого являются упорядоченные пары
для всевозможных
и
.
Отображения произведения множеств в его множители — и
— называют координатными функциями.
Аналогично определяется произведение конечного семейства множеств.
Game: Perform tasks and rest cool.8 people play!
Play gameСтрого говоря, тождество ассоциативности не имеет места, но в силу существования естественного взаимно однозначного соответствия между множествами
и
этим различием можно зачастую пренебречь.
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 элементов |
---|
-я Декартова степень множества
определяется для целых неотрицательных
, как
-кратное Декартово произведение
на себя:
Обычно обозначается как или
.
Game: Perform tasks and rest cool.8 people play!
Play gameПри , Декартова степень
по определению, содержит единственный элемент — пустой кортеж .
В общем случае, для произвольного семейства множеств (не обязательно различных) (множество индексов может быть бесконечным) прямое произведение
определяется как множество функций, сопоставляющих каждому элементу
элемент множества
:
Отображения называются проекциями.
В частности, для конечного семейства множеств любая функция
с условием
эквивалентна некоторому кортежудлины
, составленному из элементов множеств
, так, что на
-ом месте кортежа стоит элемент множества
. Об этом говорит сайт https://intellect.icu . Поэтому декартово (прямое) произведение конечного числа множеств
может быть записано так:
Проекции определяются следующим образом:
Пусть — отображение из
в
, а
— отображение из
в
. Их прямым произведением
называется отображение из
в
:
.
Аналогично вышеизложенному, данное определение обобщается на многократные и бесконечные произведения.
Прямое (декартово) произведение двух групп и
— это группа из всех пар элементов
с операцией покомпонентного умножения:
. Эта группа обозначается как
. Ассоциативность операции умножения в группе
следует из ассоциативности операций перемножаемых групп. Сомножители
и
изоморфны двум нормальным подгруппам своего произведения,
и
соответственно. Пересечение этих подгрупп состоит из одного элемента
, который является единицей группы-произведения. Координатные функции произведения групп являются гомоморфизмами.
Это определение распространяется на произвольное число перемножаемых групп. В случае конечного числа прямое произведение изоморфно прямой сумме. Отличие возникает при бесконечном числе множителей.
В общем случае, , где
и
. (Операция в правой части — это операция группы
.) Единицей группы-произведения будет последовательность, составленная из единиц всех перемножаемых групп:
. Например, для счетного числа групп:
, где в правой части стоит множество всех бесконечных двоичных последовательностей.
Game: Perform tasks and rest cool.8 people play!
Play gameАналогично произведению групп, можно определить произведения колец, алгебр, модулей и линейных пространств, причем в определении прямого произведения (см. выше) следует заменить нулем. Определение произведения двух (или конечного числа) объектов совпадает с определением прямой суммы. Однако, вообще говоря, прямая сумма отличается от прямого произведения: например, прямое произведение счетного множества копий
суть пространство всехпоследовательностей действительных чисел, тогда как прямая сумма — пространство тех последовательностей, у которых только конечное число членов ненулевые (т. н. финитных последовательностей).
Game: Perform tasks and rest cool.8 people play!
Play gameОпределение легко обобщается на случай произведения нескольких пространств. Для бесконечного произведения определение усложняется. Определим открытый цилиндр
, где
и
— открытое подмножество
.
Топология бесконечного произведения будет задаваться базой, составленной из всевозможных пересечений конечного числа открытых цилиндров (такая топология аналогична компактно-открытой топологии пространств отображений если считать индексное множество имеющим дискретную топологию).
Теорема Тихонова утверждает компактность произведений любого количества компактных пространств; однако для бесконечных произведений ее не удается доказать без использования аксиомы выбора (или равносильных ей утверждений теории множеств).
Также, теорема Александрова показывает, что любое топологическое пространство можно вложить в (бесконечное) произведение связных двоеточий, если только выполнена аксиома Колмогорова.
— | | |
| — | |
| | |
| — | |
Множество вершин прямого произведения двух графов и
задается как произведение вершин графов сомножителей. Ребрами будут соединены следующие па́ры вершин:
Иначе говоря, множество ребер произведения графов является объединением двух произведений: ребер первого на вершины второго, и вершин первого на ребра второго.
Идея прямого произведения получила дальнейшее развитие в теории категорий, где она послужила основой для понятия произведения объектов. Неформально, произведение двух объектов и
— это наиболее общий объект в данной категории, для которого существуют проекции на
и
. Во многих категориях (множеств, групп, графов, …) произведением объектов является именно их прямое произведение. Важно, что в большинстве случаев важно не столько конкретное определение прямого произведения, сколько указанное выше свойство универсальности. Различные определения будут давать при этом изоморфные объекты .
Game: Perform tasks and rest cool.8 people play!
Play gameGame: Perform tasks and rest cool.8 people play!
Play game
На С++,с использованием STL.
Game: Perform tasks and rest cool.8 people play!
Play gameGame: Perform tasks and rest cool.8 people play!
Play game
Комментарии
Оставить комментарий
Дискретная математика. Теория множеств . Теория графов . Комбинаторика.
Термины: Дискретная математика. Теория множеств . Теория графов . Комбинаторика.