Шрифт:
3. Транзитивностью: если a R b и b R с, то a R с.
Вместо «а R b», как правило, используется обозначение «а =< Ь», которое нам прекрасно знакомо применительно к числам (0 =< 1 =< 2 =< …). Следовательно, для каждого элемента имеет смысл рассматривать множество {Ь/а =< Ь} всех элементов, больших а, или множество {Ь/Ь =< а} всех элементов, меньших а. И снова с помощью графов можно представить элементы множества в виде вершин, соединить ребрами упорядоченные элементы и ввести критерий вертикальности («элемент, расположенный ниже, является меньшим»), горизонтальности («элемент, расположенный правее, является б'oльшим») или использовать для указания упорядоченности ориентированные графы.
Наглядное представление упорядоченности.
На следующем рисунке стрелками, обозначающими «включен в», указана упорядоченность частей множества из трех элементов {а, Ь, с}.
Граф включения множеств.
Генеалогические деревья — пример отношения упорядоченности между людьми. На генеалогическом дереве родственные связи можно представить стрелками, но обычно их выражают посредством критериев горизонтальности или вертикальности.
Отображения
Еще одним базовым обозначением теории множеств является отображение f: А —> В, где элементам а множества А присваивается единственный элемент b = f (а) множества В. График функции f определяется как
Это множество можно представить на множестве А x В.
График функции f(x) = х2 (парабола).
График функции целой части числа для положительных вещественных чисел.
Температура тела человека.
* * *
ЖОРЖ ПЕРЕК И ЕГО «ДУМАТЬ/КЛАССИФИЦИРОВАТЬ»
Блестящий интеллектуал Жорж Перек в период с 1976 по 1982 год опубликовал множество сюрреалистических статей критического содержания. Две наиболее выдающихся среди этих статей носили названия «Думать/классифицировать» и «Краткие заметки об искусстве и способе расставлять книги». В них Перек показывает, как сложно классифицировать людей или вещи, расставить по порядку книги и так далее. Например, он демонстрирует чрезвычайную сложность составления «упорядоченной» библиотеки, так как книги можно расставить в алфавитном порядке по фамилиям их авторов, по цвету обложек, переплету, дате покупки, дате публикации, формату, жанру, языку… Сложные ситуации всегда возникают и в теории, и на практике.
* * *
Графические калькуляторы и современные компьютерные программы позволяют отобразить графики функций. Однако во многих случаях эти графики оказываются лишь приближенными.
В двух первых примерах, приведенных выше, можно построить график четко заданных функций, но в третьем примере представление сводится к графу из точек, изображающему немногочисленные данные о температуре тела человека. Как экстраполировать значения температуры между точками, для которых имеются данные измерений? Очевидно, точки можно соединить прямыми, но возможны и другие варианты.
В мире данных, полученных эмпирически, очень часто используются графы с конечным числом вершин (x1, y1), …, (хn, уn). Изучение графиков, проходящих через эти точки, или же их аппроксимация представляет большой интерес с точки зрения статистики, особенно при анализе возможных связей между значениями одной переменной x1…., хn и другой переменной у1…, уn.
Отображения, связывающие элементы двух конечных множеств А и В, обычно представляют сочетанием графов и диаграмм Венна.
Графическое представление отображения f, связывающего множества {a, b, с, d} и {1, 2, 3, 4}.
Если разным элементам одного множества сопоставлены разные элементы другого множества, то такое отображение называют инъективным. Если каждому элементу области значений сопоставлен хотя бы один элемент области определения, то такое отображение называется сюръективным. Если отображение является одновременно инъективным и сюръективным, то есть между элементами обоих множеств (области определения и области значений) существует взаимно однозначное соответствие, такое отображение называется биективным. На следующих графах представлены эти виды отображений.
Инъективное отображение.
Сюръективное отображение.
Биективное отображение.
Чтобы найти все возможные отображения конечного множества А на множество В, будет полезно использовать графы, которые являются деревьями.