* * *

Для конечных множеств А = {a, b, с, d}, В = {а, Ь, е, f} обычно используются диаграммы Венна. На этих диаграммах элементы множеств представлены в виде отдельных точек и замкнутых кривых, ограничивающих группы точек.

Для множеств А, В их декартово произведение А x В определяется так:

то есть как множество упорядоченных пар (а, Ь). Это обозначение связано с традицией, начатой Рене Декартом, обозначать точки на плоскости (х, у) или в пространстве (х, у, z) упорядоченными парами или тройками чисел — координатами. Заметим, что слова по сути тоже представляют собой упорядоченные множества букв.

Декартовы координаты на плоскости и в пространстве.

На основе декартовых произведений вида А x A, то есть произведений множества на само себя, можно определить базовое понятие отношения R как подмножества А х А. Иными словами, отношение указывает элементы А, связанные между собой.

Если (а, Ь) принадлежит R, то между а и Ь имеется отношение. Если (а, с) не принадлежит R, то между а и с отсутствует отношение. Так, для данного отношения R для каждого элемента а имеет смысл рассматривать класс всех элементов, для которых установлено отношение с а. Если (а, Ь) принадлежит R, то это отношение также записывается в форме «а R Ь».

Рассмотрим в качестве примера множество А = {2, 3, 4, 5, 6, 7, 8, 9, 10} и отношение R на множестве A: a R Ь, если а кратно Ь. Упорядоченные пары для этого отношения можно представить в декартовых координатах.

Представление отношения в декартовых координатах.

Также можно использовать ориентированный граф, как показано ниже:

Направленный граф, представляющий отношение.

Отношения эквивалентности

Применительно к классификациям на множестве особый интерес представляют так называемые отношения эквивалентности R на множестве А. Они обладают тремя свойствами.

1. Рефлексивностью: a R а.

2. Симметричностью: если a R Ь, то b R а.

3. Транзитивностью: если a R b и b R с, то a R с.

Иными словами, отношение существует между любым элементом и им самим, это отношение обладает симметричностью и транзитивностью для троек элементов.

Если отношение R удовлетворяет всем этим свойствам, то множество А разделено на классы. Подобные отношения на конечных множествах можно представить с помощью графов: элементы множеств будут представлены в виде точек, соединенных линиями со стрелками, которые будут обозначать отношения.

Представление свойств отношения эквивалентности в виде графов.

Так как отношение эквивалентности делает возможным классификацию элементов множества, можно построить схемы, подобные тем, что показаны на рисунке.

Классификация, связанная с отношением эквивалентности.

Если А — множество людей, a R — отношение «иметь одинаковый возраст», то при классификации элементов множества на основе этого отношения сформируются группы по возрасту. Если А — множество целых чисел, a R — такое отношение, что a R Ь, если а — Ь без остатка делится на два, то при классификации получатся группы четных и нечетных чисел.

Отношение порядка

Еще один тип отношений, неотъемлемых в математике, да и в жизни, — это отношения порядка, которые обладают следующими свойствами.

1. Рефлексивностью: a R а.

2. Антисимметричностью: если a R Ь и Ь R а, то должно выполняться а = Ь.