Свойства отношений

Пусть в множестве геометрических фигур задано отношение «фигура х равна фигуре у». Поскольку любая геометрическая фигура равна самой себе, заданному отношению принадлежат все пары вида (х, х), состоящие из одинаковых элементов. Такое отношение называется рефлексивным. Свойством рефлексивности обладает, например, отношение равенства чисел, равенства множеств.

Определение. Отношение R на множестве X называют рефлексивным, если любой элемент х множества X находится в отношении R с самим собой.

Многие отношения, изучаемые в школьной математике, обладают свойством рефлексивности. Например, отношение «прямая х параллельна прямой у» в множестве прямых; отношение «фигура х подобна фигуре у» в множестве геометрических фигур; отношение «уравнение х равносильно уравнению у» в множестве уравнений.

Определение. Отношение R называют антирефлексивным, если ни один элемент х из множества X не находится в отношении R с самим собой.

Примерами антирефлексивных отношений являются отношения «меньше», «больше» в множестве чисел, «выше», «ниже», «легче», «тяжелее», «старше», «моложе» в множестве людей.

Существуют отношения, не являющиеся ни рефлексивными, ни антирефлексивными, например отношение: «точка х симметрична точке у относительно прямой l», заданное на множестве точек плоскости.

Граф рефлексивного отношения в каждой вершине имеет петлю. Справедливо и обратное утверждение: граф, каждая вершина которого имеет петлю, является графом рефлексивного отношения.

Рассмотрим снова отношение «фигура х равна фигуре у» в множестве геометрических фигур. Известно, что если «фигура х равна фигуре у», то «фигура у равна фигуре х». Это означает, что если пара (х, у) принадлежит заданному отношению, то и пара (у, х) принадлежит заданному отношению. Такое отношение называется симметричным.

Определение. Отношение R на множестве X называют симметричным, если из того, что элемент х находится в отношении R с элементом у, следует, что и элемент у находится в отношении R с элементом х.

Примерами симметричных отношений могут служить «параллельность» в множестве прямых, «касание» в множестве окружностей, «равенство» в множестве геометрических фигур.

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

Определение. Отношение R на множестве X называют антисимметричным, если для различных элементов х и у из множества X из того, что х находится в отношении R с элементом у, следует, что элемент у ненаходится в отношении R с элементом х.

Примерами антисимметричных отношений являются отношения «больше», «меньше» для чисел; «длиннее», «короче» для отрезков.

Граф антисимметричного отношения не содержит двойных стрелок. Справедливо и обратное утверждение: граф, вершины которого соединены только одной стрелкой, есть граф антисимметричного отношения.

Отношение равенства фигур обладает еще одним важным свойством: если фигура х равна фигуре у, а фигура y равна фигуре z, то фигура х равна фигуре z. Такое свойство отношений называют транзитивностью.

Определение. Отношение R называется транзитивным, если для любых элементов х, у, z из множества X из того, что элемент х находится в отношении R с элементом у и элемент у находится в отношении R с элементом z, следует, что элемент х находится в отношении R с элементом z.

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

Не всякое отношение обладает свойством транзитивности. Например, отношение перпендикулярности прямых не транзитивно. В самом деле, если какая-нибудь прямая х перпендикулярна прямой у, и прямая у перпендикулярна прямой z, то прямая х не перпендикулярна прямой z.

П р и м е р. По графам бинарных отношений, заданных на конечных множествах, определим их свойства (рис. 6).

I. II. III.

рефлексивно антирефлексивно не рефлексивно

симметрично симметрично антисимметрично

транзитивно транзитивно не транзитивно

b a c d

IV. V. VI.

рефлексивно рефлексивно рефлексивно

симметрично антисимметрично антисимметрично

транзитивно транзитивно транзитивно

b a c d

b a c d

VII. VIII. IX.

антирефлексивно антирефлексивно рефлексивно

антисимметрично антисимметрично симметрично

транзитивно транзитивно транзитивно

Рис. 6

Дата добавления: 2015-07-18