Рис. 1.10
Несмотря на то, что множества А, В и С могут быть какими угодно, доказать любое тождество для этих множеств можно, сведя доказательство к проверке этого тождества на уменьшенных множествах разбиения.
(A ∩ B) ∩ C = A ∩ (B ∩ C),
{6, 7} ∩ {1, 3, 5, 7} = {4, 5, 6, 7} ∩ {3, 7}.
Нетрудно увидеть, что и левое, и правое множества этого тождества состоят из одного-единственного элемента 7, что и доказывает ассоциативность пересечения множеств.
Докажем то же самое используя табличный метод. Для этого построим таблицу, столбцы которой соответствуют различным множествам тождества, а каждая строка соответствует одному из множеств разбиения (строк 8, поскольку разбиение состоит из 8 множеств в соответствии с рис. 1.9). Строки содержат ответы на вопрос, входит ли соответствующее данной строке множество разбиения во множество доказываемого тождества или нет. Три первые столбца таблицы дают ответы, входит ли соответствующее множество разбиения во множество А, во множество В и во множество С. Столбец «Левая часть» соответствует левой части доказываемого тождества (A ∩ B) ∩ C, столбец «Правая часть» – правой части A ∩ (B ∩ C).
Поскольку ответы для всех строк «Левой части» те же самые, что и для «Правой части», тождество является доказанным. Табличный метод особенно удобен при построении доказательств с использованием компьютера.
Алгебраический метод основывается на идее разбиения доказательства на шаги, при этом переход от одного шага к следующему осуществляется за счет применения какого-либо закона алгебры множеств (например, закона ассоциативности, дистрибутивности, поглощения и т. д.). Доказательство требует хорошего знания базисных законов алгебры множеств, а также определенный опыт их применения. Рассмотрим метод на следующем примере. Пусть требуется доказать, что
(A ∩ C)(A ∩ B ∩ C) = A ∩ ВС ∩ C.
При переходе от одного шага к другому будем указывать (в правой части соответствующей строки) причины, позволяющие делать такие переходы:
В этом примере левое выражение преобразовано в правое. Это преобразование облегчается тем обстоятельством, что известно, какое выражение должно быть получено. В то же время можно и правое выражение привести к левому. Чтобы понять, как это сделать, достаточно просмотреть первое преобразование от конца к началу. Какой путь легче, не всегда бывает сразу ясно, поэтому иногда необходимо попробовать оба способа, чтобы добиться правильного результата.
1.10. Математическая индукция
Имеется следующее существенное свойство множества натуральных чисел:
N = {1, 2, 3, …}, которое используется при построении различных доказательств.
Принцип математической индукции
Пусть Р – некоторое утверждение, определенное на положительных целых N, т. е. утверждение Р(n) либо истинно, либо ложно для каждого n из N. Если для Р выполняются два следующих свойства:
1) P(1) истинно;
2) P(n+1) истинно, если истинно P(n), тогда Р истинно для каждого положительного целого.
Обычно этот принцип используется как аксиома для доказательства других результатов. Используем его для доказательства следующего результата.
Путь Р будет утверждением, что сумма первых n натуральных чисел, возведенных в куб, равна
, т. е.
Легко видеть, что P(n) истинно при n = 1, т. е. P(1): 13 =
Допустим теперь, что P(n) истинно и докажем, что P(n+1) также будет истинно. Для этого прибавим к обеим частям выражения для P(n) следующее слагаемое (n+1)3:
Преобразуем далее правую часть
Таким образом, P(n+1) истинно, когда истинно P(n). Теперь по принципу математической индукции утверждение Р истинно для всех n. Иногда принцип математической индукции записывают в более удобном для использования виде
1) P (1) истинно.
2) P (n + 1) истинно, если истинно P (k) для всех 1 ≤ k < n.
Тогда Р истинно для каждого положительного целого.
1.11. Представление множеств формулами
При построении дискретной модели часто необходимо разбивать множества на некоторые его части, чтобы исследовать те или иные свойства исходной модели. Подобные задачи возникают как при разработке телекоммуникационных технологий, так и в различных бизнес-приложениях. Рассмотрим такой пример. Пусть элементами множества являются зоны торгового зала большого супермаркета и необходимо разбить это множество на подмножества так, чтобы каждое подмножество представляло собой совокупность зон просматриваемых одной видеокамерой, при условии, что видеокамер должно быть как можно меньше. Если зоны выбраны так, что они покрывают все помещение зала, то при этом выбранные подмножества не должны накладываться друг на друга, поскольку это приведет к неоптимальному использованию видеокамер. Кроме того, возможно, что требуется просматривать не всю площадь зала, а только некоторые ее части. Во всех таких случаях приходится рассматривать некоторое множество, представляющее собой определенную совокупность подмножеств заданного множества.
Для универсального множества U всегда можно построить его разбиение, из множеств которого легко получать требуемые совокупности. Наиболее конструктивным разбиением для этих целей является система множеств, порождаемая фундаментальными произведениями. Из 1.7 следует, что для любых n множеств можно построить разбиение S универсального множества U на 2n подмножеств, называемых фундаментальными произведениями.
Определение
Любое множество или совокупность множеств разбиения S можно представит как объединение пересечений, каждое из которых является фундаментальным произведением. Обратно, каждое непустое выражение из объединения фундаментальных произведений задает некоторое множество или совокупность множеств разбиения и такое задание однозначно определяет это множество.
Если рассматривать операцию объединения как сложение, а операцию пересечения как умножение, то подобные выражения часто называют многочленами. Эти многочлены можно преобразовывать, используя алгебраические методы. Многочлен, образованный из фундаментальных произведений, единственным образом задает любое подмножество разбиения. Будем называть такой многочлен каноническим. Осуществляя эквивалентные преобразования выражения для многочлена в каноническом виде, при котором сохраняется множество, которое он определяет, можно получать более простые выражения для аналитического задания данного множества. Если многочлен для заданного множества не допускает дальнейшего упрощения, то такой многочлен называется минимальным.
Рассмотрим пример использования многочленов.
Пример 1.6
Предположим, что в некотором университете проведена выборочная проверка посещаемости занятий девяти студентов по трем предметам: математике, информатике и английскому языку. Обозначим через А множество тех студентов, которые имеют по крайней мере один пропуск по математике. Тогда АС будет представлять собой множество студентов, которые не имеют ни одного пропуска по математике. Пусть В – множество студентов, которые имеют по крайней мере один пропуск по информатике, и С – по крайней мере один пропуск по английскому языку.
В деканат поступили следующие сведения:
– список студентов, которые не имеют пропусков занятий ни по одному из предметов, AС ∩ BС ∩ CС= Ø;
– список студентов, которые не имеют пропусков ни по математике, ни по информатике, но имеют по английскому языку (в списке вместо фамилий будем для простоты указывать номера студентов), AС ∩ BС ∩ C = {9};
– список студентов, которые не имеют пропусков по математике и английскому языку, но имеют – по информатике, AС ∩ B ∩ CС = {8};
– список студентов, которые не имеют пропусков по математике, но имеют по информатике и английскому языку, AС ∩ B ∩ C = Ø;
