Прямое или декартово произведение множеств — множество, элементами которого являются всевозможные упорядоченные пары элементов исходных двух множеств. Данное понятие употребляется не только в теории множеств, но также в алгебре, топологии и прочих разделах математики благодаря тому, что прямое произведение часто наследует структуры (алгебраические, топологические и т. д.), существующие на перемножаемых множествах.
Содержание
Прямое произведение в теории множеств
Произведение двух множеств
в
в
в
в
в
в
в
в
и
и
и
и
и
и
и
и
к
к
к
к
к
к
к
к
Произведение множества <в, и, к> на множество цветов радуги
Отображения произведения множеств в его множители ( и ) называют координатными функциями.
Аналогично строятся произведения нескольких множеств.
Декартова степень
Прямое произведение семейства множеств
Прямое произведение отображений
Аналогично вышеизложенному, данное определение обобщается на многократные и бесконечные произведения.
Воздействие на математические структуры
Прямое произведение групп
Это определение распространяется на произвольное конечное число перемножаемых групп; ассоциативность декартова произведения следует из ассоциативности операций перемножаемых групп.
Прямое произведение других алгебраических структур
Аналогично произведению групп, можно определить произведения колец, алгебр, модулей и линейных пространств, причём в определении прямого произведения 1i (см. выше) следует заменить нулём. Однако, как правило, произведения этих структур называют прямой суммой.
Прямое произведение топологических пространств
Топология бесконечного произведения будет задаваться базой, составленной из всевозможных пересечений конечного числа открытых цилиндров (такая топология аналогична компактно-открытой топологии пространств отображений если считать индексное множество I имеющим дискретную топологию).
Теорема Тихонова утверждает компактность произведений любого количества компактных пространств; однако для бесконечных произведений её не удаётся доказать без использования аксиомы выбора (или равносильных ей утверждений теории множеств).
Также, теорема Александрова показывает, что любое топологическое пространство можно вложить в (бесконечное) произведение связных двоеточий, если только выполнена аксиома Колмогорова (а иные пространства и не рассматриваются).
Прямое произведение графов
Множество вершин прямого произведения двух графов G и H задаётся как произведение вершин графов сомножителей. Рёбрами будут соединены следующие па́ры вершин:
Иначе говоря, множество рёбер произведения графов является объединением двух произведений: рёбер первого на вершины второго, и вершин первого на рёбра второго.
Прямое или декартово произведение множеств — множество, элементами которого являются всевозможные упорядоченные пары элементов исходных двух множеств. Данное понятие употребляется не только в теории множеств, но также в алгебре, топологии и прочих разделах математики благодаря тому, что прямое произведение часто наследует структуры (алгебраические, топологические и т. д.), существующие на перемножаемых множествах.
Содержание
Прямое произведение в теории множеств
Произведение двух множеств
в
в
в
в
в
в
в
в
и
и
и
и
и
и
и
и
к
к
к
к
к
к
к
к
Произведение множества <в, и, к> на множество цветов радуги
Отображения произведения множеств в его множители ( и ) называют координатными функциями.
Аналогично строятся произведения нескольких множеств.
Декартова степень
Прямое произведение семейства множеств
Прямое произведение отображений
Аналогично вышеизложенному, данное определение обобщается на многократные и бесконечные произведения.
Воздействие на математические структуры
Прямое произведение групп
Это определение распространяется на произвольное конечное число перемножаемых групп; ассоциативность декартова произведения следует из ассоциативности операций перемножаемых групп.
Прямое произведение других алгебраических структур
Аналогично произведению групп, можно определить произведения колец, алгебр, модулей и линейных пространств, причём в определении прямого произведения 1i (см. выше) следует заменить нулём. Однако, как правило, произведения этих структур называют прямой суммой.
Прямое произведение топологических пространств
Топология бесконечного произведения будет задаваться базой, составленной из всевозможных пересечений конечного числа открытых цилиндров (такая топология аналогична компактно-открытой топологии пространств отображений если считать индексное множество I имеющим дискретную топологию).
Теорема Тихонова утверждает компактность произведений любого количества компактных пространств; однако для бесконечных произведений её не удаётся доказать без использования аксиомы выбора (или равносильных ей утверждений теории множеств).
Также, теорема Александрова показывает, что любое топологическое пространство можно вложить в (бесконечное) произведение связных двоеточий, если только выполнена аксиома Колмогорова (а иные пространства и не рассматриваются).
Прямое произведение графов
Множество вершин прямого произведения двух графов G и H задаётся как произведение вершин графов сомножителей. Рёбрами будут соединены следующие па́ры вершин:
Иначе говоря, множество рёбер произведения графов является объединением двух произведений: рёбер первого на вершины второго, и вершин первого на рёбра второго.
Используя две цифры, например, 3 и 5, можно записать четыре двузначных числа: 35, 53, 33 и 55. Несмотря на то, что числа 35 и 53 записаны с помощью одних и тех же цифр, эти числа различные. В том случае, когда важен порядок следования элементов, в математике говорят об упорядоченных наборах элементов. В рассмотренном примере мы имели дело с упорядоченными парами.
Упорядоченную пару, образованную из элементов а и b, принято записывать, используя круглые скобки: (а; b). Элемент а называют первой координатой (компонентой) пары, а элемент b – второй координатой (компонентой) пары.
Пары (а; b) и (с; d) равны в том и только в том случае, когда а = с и b = d.
В упорядоченной паре (а; b) может быть, что а = b. Так, запись чисел 33 и 55 можно рассматривать как упорядоченные пары (3; 3) и (5; 5).
Упорядоченные пары можно образовывать как из элементов одного множества, так и двух множеств. Пусть, например, А = <1, 2, 3>, В = <3, 5>. Образуем упорядоченные пары так, чтобы первая компонента принадлежала множеству А, а вторая компонента – множеству В. Если мы перечислим все такие пары, то получим множества:
Видим, что, имея два множества А.и В, мы получили новое множество, элементами которого являются упорядоченные пары чисел. Это множество называют декартовым произведением множеств А и В.
Определение. Декартовым произведением множеств А и В называется множество всех пар, первая компонента которых принадлежит множеству А, а вторая компонента принадлежит множеству В.
Декартово произведение множеств А и В обозначают А х В. Используя это обозначение, записывают:
Выясним, какими свойствами обладает операция нахождения декартова произведения. Так как декартовы произведения А х В и В х А состоят из различных элементов, то операция нахождения декартова произведения множеств свойством коммутативности не обладает.
Аналогично рассуждая, можно доказать, что для этой операции не выполняется и свойство ассоциативности. Но она дистрибутивна относительно объединения и вычитания множеств, т.е. для любых множеств А, В и С выполняются равенства:
(А∪В) х С = (А х С) ∪ (В х С),
(А / В) х С = (А х С) / (В х С).
Доказывать эти свойства мы не будем, но проверить их можно на конкретных примерах.
Выясним теперь, как можно наглядно представить декартово произведение множеств.
Если множества А и В конечны и содержат небольшое количество элементов, то его можно изобразить при помощи графа или таблицы. Например, декартово произведение множеств
А = <1, 2, 3>и В = <3, 5>можно представить так, как показано на рисунке.
Декартово произведение двух числовых множеств (конечных и бесконечных) можно изобразить на координатной плоскости, так как каждая пара чисел может быть единственным образом изображена точкой на этой плоскости. Например, декартово произведение выше названных множеств на координатной плоскости будет выглядеть так:
Заметим, что элементы множества А мы изобразили на оси Ох, а элементы множества В – на оси Оу.
Такой способ наглядного изображения декартова произведения множеств удобно использовать в случае, когда хотя бы одно из них бесконечное.
Упорядоченные наборы часто называют кортежами и различают по длине. Длина кортежа – это число элементов, из которых он состоит. Например, (3; 6; 7) – это кортеж длины 3, (м, а, т, е, м, а, т, и, к, а) – это кортеж длины 10.
Рассматривают в математике и декартово произведение трех, четырех и вообще n множеств.
Декартово произведение множеств А₁, А₂, …, Аn обозначают так:
Лекция 2. Декартово произведение. Мощность множества
п.2. Декартово произведение. Мощность множества.
2.1. Декартово произведение множеств.
Упорядоченная пара интуитивно определяется как совокупность, состоящая из двух элементовxиy, расположенных в определенном порядке. Две пары и считаются равными тогда и только тогда, когдаx=uиy=v.
Определение 2.1.ПустьAиB– два множества. Прямым (декартовым) произведением двух множествAиBназывается множество всех упорядоченных пар, в котором первый элемент каждой пары принадлежитA, а второй принадлежитB:
Пример.Пусть и . Тогда
.
.
Пример.На координатной плоскости построить следующее множество:
Решение. Первое множество помещаем на осиOX, второе на осиOY. Множество всех пар, т. е. декартово произведение, изображается точками заштрихованного прямоугольника, но без левой и нижней стороны.
Как вы знаете, точка на плоскости может быть задана упорядоченной парой координат, то есть двумя точками на координатных осях. Поэтому координатную плоскость можно задать в виде . Метод координат ввел в употребление Рене Декарт (), отсюда и название «декартово произведение».
Понятие прямого произведения допускает обобщение.
Прямое произведение множеств
.
СтепеньюмножестваAназывается его прямое произведение самого на себя. Обозначение:
.
Соответственно, и вообще .
Решение. МножествоBnсостоит из последовательностей нулей и единиц длиныn. Они называются строкой бит или битовой строкой длиныn.
Альберт Эйнштейн как-то говорил: «Не все, что можно сосчитать, сосчитано, и не все, что сосчитано, можно сосчитать». Хотя это высказывание не очень воодушевляет, попытаемся заняться подсчетами.
Говорят, что между множествамиAиBустановлено взаимно однозначное соответствие, если каждому элементу множестваAсоответствует один и только один элемент множестваBи каждому элементу множестваBсоответствует некоторый элемент множестваA. В этом случае говорят также, что множестваAиBизоморфныи используют обозначениеA
Определение 2.2.Два множестваAиBназываются эквивалентными, или равномощными, если между этими множествами может быть установлено взаимно однозначное соответствие. В этом случае пишут:A
Пример.1) Множество десятичных цифр равномощно множеству пальцев на руках человека.
Пример2.5.В компьютере все множества реальных объектов конечны: множество адресуемых ячеек памяти, множество исполнимых программ, множество тактов работы процессора.
Множества, которые не являются конечными, называются бесконечными. Если некоторое множествоAравномощно множествуN, т. е.A
N, то множествоAназывается счетным (в зарубежной литературе: множество называются счетным, если оно конечно или счетно бесконечно). Счетное множествоA– это такое множество, все элементы которого могут быть занумерованы в бесконечную последовательностьa1,a2, …,an, …,так, чтобы при этом каждый элемент получил лишь один номерnи каждое натуральное числоnбыло бы номером лишь одного элемента множестваA. Мощность счетного множества принято обозначать через ( – первая буква древнееврейского алфавита, называемая «алеф», символ читается: «алеф-нуль»). В частности|N|=.
На первый взгляд, кажется, что это множество невозможно перенумеровать. Однако эту нумерацию можно осуществить, применив следующую хитрость: двигаясь не в одном направлении, а все время менять его. Иными словами, будем нумеровать так: числу 0 дадим номер 1, числу 1 – номер 2, числу—1– номер 3, числу 2 – номер 4, числу—2– номер 5, и т. д. Таким образом, получаем взаимно однозначное соответствие между множествомZиN. А значит, множествоZсчетно.
МножествоAназывается несчетным, если его мощность больше мощности множестваN. В таком случае множествоAназывается континуальным или континуумом. Мощность континуума обозначается . Следующую теорему примем без доказательства.
2.3. Теоремы сложения и умножения.
Формула включений и исключений.
Чтобы подсчитать число элементов конечного множества, образованного в результате объединения или пересечения некоторых конечных множеств, используется комбинаторный анализ. Мы рассмотрим теоремы сложения и умножения, а так же формулу включений и исключений.
Теорема 2.2. (Теорема сложения)
Пусть – конечные попарно непересекающиеся множества, т. е. . Тогда
(2.3.1.)
Теорема 2.3. (Теорема умножения)
Пусть заданы конечные множества . Тогда
(2.3.2.)
т. е. число элементов декартова произведения множеств равно произведению количеств элементов сомножителей.
Пример.Сколько существует целых чисел между 0 и 1000, содержащих ровно одну цифру 6?
S1– множество, которое содержит число, состоящее из одной цифры, и эта цифра 6;
S2– множество, содержащее двузначные числа ровно с одной цифрой, равной 6;
S3– множество, содержащее трехзначные числа ровно с одной цифрой, равной 6.
В множествеS2каждый элемент, содержащей 6, имеет ее либо первой, либо второй цифрой. Если 6 – вторая цифра, то существует 8 различных чисел, которые будут стаять на первом месте, поскольку первое число не может быть 0 или 6. Если 6 – первая цифра, то таких чисел 9, поскольку вторая цифра не может быть 6. Таким образом,S2содержит 8+9=17 элементов, т. е.|S2|=17.
Элемент изS3содержит 6 как первою, вторую или третью цифру. Если 6 – первая цифра, то существует 9 вариантов выбора второй цифры и 9 вариантов выбора третьей цифры. Согласно комбинаторному принципу умножения,S3содержит 9´9=81 чисел с первой цифрой. Если 6 – вторая цифра, то имеются 9 вариантов выбора третьей цифры и 8 вариантов выбора первой цифры, поскольку первая цифра не может быть нулем. Следовательно,S3содержит 9´8=72 числа, у которых 6 – вторая цифра. Аналогично,S3содержит 72 числа, у которых 6 – третья цифра. Следовательно, всегоS3содержит 81+72+72=225 элементов, т. е.|S3|=225.
Поскольку и множестваS1,S2иS3попарно непересекающиеся, то
.
Поставим задачу подсчитать число элементов в объединении
конечных множеств , которые могут иметь непустые пересечения между собой, т. е. объединение может быть не разбиением. В общем случае имеет место следующая теорема, которую нетрудно доказать методом математической индукции.
Теорема 2.4. (Формула включений и исключений).
Для конечных множеств , справедлива формула включений и исключений.
(2.3.3.)
В частности для двух множеств эта формула примет вид:
.
Для трех множеств формула включений и исключений примет вид:
.
Название этой теоремы подчеркивает использование последовательных включений и исключений элементов подмножеств.
X1– множество положительных целых чисел, которые делятся на 2. Число элементов или мощность этого множества равно .
X2– множество положительных целых чисел, которые делятся на 3. Число элементов или мощность этого множества равно .
X3– множество положительных целых чисел, которые делятся на 5. Число элементов или мощность этого множества равно .
Тогда множествоX1ÇX2– множество положительных целых чисел, которые делятся на 2 или 3. Число элементов или мощность этого множества равно . МножествоX1ÇX3– множество положительных целых чисел, которые делятся на 2 или 5. Число элементов или мощность этого множества равно . МножествоX2ÇX3– множество положительных целых чисел, которые делятся на 3 или 5. Число элементов или мощность этого множества равно .
МножествоX1ÇX2ÇX3– множество положительных целых чисел, которые делятся на 2, 3 или 5. Число элементов или мощность этого множества равно .
Воспользуемся формулой включения и исключения, чтобы найти число элементов множестваX. Получаем
2.4. Представление множеств в компьютере.
Термин «представление» примените-льно к программированию означает следующее. Задать представление какого-либо объекта (в данном случае множества) – значит, описать в терминах используемой системы программирования структуру данных, используемую для хранения информации о представляемом объекте, и алгоритмы над выбранными структурами данных, которые реализуют присущие данному объекту операции. Предполагается, что в используемой системе программирования доступны такие общеупотребительные структуры данных, как массивы, структуры (или записи) и указатели. Таким образом, применительно к множествам определение представления подразумевает описание способа хранения информации о принадлежности элементов множеству и описание алгоритмов для вычисления объединения, пересечения и других введенных операций.
Следует подчеркнуть, что, как правило, один и тот же объект может быть представлен многими разными способами, причем нельзя указать способ, который является наилучшим для всех возможных случаев. Выбор представления зависит от целого ряда факторов: особенностей представляемого объекта, состава и относительной частоты использования операций в конкретной задаче и т. д. Умение выбрать наиболее подходящее для данного случая представление является основой искусства практического программиро-вания. Хороший программист отлича-ется тем, что он знает много разных способов представления и умело выбирает наиболее подходящий.
Тем, кто желает больше узнать о различных способах представления множества в компьютерах, можно порекомендовать следующую книгу:
Новиков математика для программистов. Учебник для вузов. 2-е изд. – СПб.: Питер, 2006.
Используя данный источник, рассмотрим один из способов представления множеств в компьютере: реализация операций над множествами заданного универсума.
Пусть задан конечный универсумU, и число элементов в нем не превосходит разрядности компьютера, . Элементы универсума нумеруются:
где – этоi-й разряд кодаC.
Код пересечения множествAиBесть поразрядное логическое произведение кода множестваAи кода множестваB. Код объединения множествAиBесть поразрядная логическая сумма кода множестваAи кода множестваB. Код дополнения множестваAесть инверсия кода множестваA. В большинстве компьютеров для этих операций есть соответствующие машинные команды. Таким образом, операции над небольшими множествами выполняются весьма эффективно. В некоторых языках программирования, например в Паскале, это представление множеств непосредственно включено в состав типов данных языка.
Если мощность универсума превосходит размер машинного слова, но не очень велико, то для представления множеств используются массивы битовых шкал. В этом случае операции над множествами реализуются с помощью циклов по элементам массива.