Свойства бинарных отношений


Мы установили, что бинарное отношение на множестве Х представляет собой множество упорядоченных пар элементов, принадлежащих декартову произведению Х´C. Это математическая сущность всякого отношения. Но, как и любые другие понятия, отношения обладают свойствами. Их удалось выделить, изучая различные конкретные отношения. Свойств достаточно много, в нашем курсе мы будем изучать только некоторые.

Рассмотрим на множестве отрезков, представленных на рисунке, отношения перпендикулярности, равенства и «длиннее».

а

 

 

е b d

 

с

 

Построим графы этих отношений и будем их сравнивать.

a ·

 

Граф отношения перпендикулярности
d · · c

 

e · · b

 

 


a

Граф отношения равенства
·

d · · b

 

 

c · ·e

 

Граф отношения «длиннее»

· a

 

 

·b

e ·

 

 

d · · c

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

Используя символы, это отношение можно записать в таком виде:

R рефлексивно на Х Û х R х для любого х ÎХ.

Замечание:Если отношение R рефлексивно на множестве Х, то в каждой вершине графа данного отношения имеется петля. Справедливо и обратное утверждение: граф, каждая вершина которого имеет петлю, задает отношения, обладающие свойством рефлексивности.

Примеры рефлексивных отношений:

- отношение «кратно» на множестве натуральных чисел (каждое натуральное число кратно самому себе);

- отношение подобия треугольников (каждый треугольник подобен самому себе).

Существуют отношения, которые свойством рефлексивности не обладают.

Примеры отношений, которые свойством рефлексивности не обладают:

- отношение перпендикулярности на множестве отрезков (нет ни одного отрезка, о котором можно сказать, что он перпендикулярен самому себе);

- отношение «длиннее» для отрезков.

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

- если один отрезок перпендикулярен другому отрезку, то этот «другой» перпендикулярен первому;

- если один отрезок равен другому отрезку, то этот «другой» равен первому.

Про отношения перпендикулярности и равенства отрезков говорят, что они обладают свойством симметричности или просто симметричны.

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

Используя символы, это отношение можно записать в таком виде:

R симметрично на Х Û( х R х Þу Rх).

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

Примеры симметричных отношений:

- отношение параллельности на множестве прямых (если прямая х параллельна прямой у, то прямая у параллельна прямой х);

- отношение подобия треугольников (если треугольник F подобен треугольнику Р, то треугольник Р подобен треугольнику F).

- отношение перпендикулярности на множестве отрезков (если один отрезок перпендикулярен другому отрезку, то этот «другой» перпендикулярен первому);

- отношение «длиннее» для отрезков (если один отрезок равен другому отрезку, то этот «другой» равен первому).

Пример

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

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

Используя символы, это отношение можно записать в таком виде:

R антисимметрично на Х Û( х R у х¹у Þ ).

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

Примеры антисимметричных отношений:

- отношение «длиннее» на множестве отрезков;

- отношение «больше» для чисел (если х больше у, то у не может быть больше х);

- отношение «больше на 2» для чисел (если х больше у на 2, то у не может быть больше на 2 числа х).

Пример

Рассмотрим отношение «быть сестрой» на множестве детей одной семьи, которое не обладает ни свойством симметричности, ни свойством антисимметричности. Пусть в семье трое детей: Катя, Маша, и Толя. Тогда граф отношения» быть сестрой» будет таким:

 

К · · М

 

·

Т

Он показывает, что данное отношение не обладает ни свойством симметричности, ни свойством антисимметричности.

Обратим внимание еще на одну особенность графа отношения «длиннее». На нем можно заметить: если стрелки проведены от е к а и от а к с, то есть стрелка от е к с; если стрелки проведены от е к в и от в к с, то есть стрелка и от е к с и т.д. Эта особенность графа отражает важное свойство отношения «длиннее»: если первый отрезок длиннее второго, а второй – длиннее третьего, то первый – длиннее третьего. Говорят, что это отношение обладает свойством транзитивности или просто транзитивно.

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

Используя символы, это отношение можно записать в таком виде:

R транзитивно на Х Û( х R у у R z Þх R z).

Замечание.Граф транзитивного отношения с каждой парой стрелок, идущих от х к у и у кz, содержит стрелку, идущую от х к z. Справедливо и обратное утверждение..

Примеры транзитивных отношений:

- отношение «длиннее» на множестве отрезков;

- отношение равенства (если отрезок х равен отрезку у и отрезок у равен отрезку z, то отрезок х равен отрезку z.

Существуют отношения, которые свойством транзитивности не обладают. Таким отношением является, например, отношение перпендикулярности: если отрезок а перпендикулярен отрезку d, а отрезок d перпендикулярен отрезку b, то отрезки а и b не перпендикулярны.

Рассмотрим еще одно свойство отношений, которое называют свойством связности, а отношение, обладающее им, называют связанным.

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

Используя символы, это отношение можно записать в таком виде:

R связано на множестве Х Û( х¹у Þ х R уÚ у R х).

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

Замечание.На графе связного отношения любые две вершины соединены стрелкой. Справедливо и обратное утверждение.

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

Выделенные свойства позволяют анализировать различные отношения с общих позиций – наличия (или отсутствия) у них тех или иных свойств.

Так, если суммировать все сказанное об отношении равенства, заданного на множестве отрезков, то получится, что оно рефлексивно, симметрично и транзитивно. Отношение «длиннее» на том же множестве отрезков антисимметрично и транзитивно, а отношение перпендикулярности – симметрично, но оно не обладает свойствами рефлексивности и транзитивности. Все эти отношения на заданном множестве отрезков связанными не являются.

Пример

Сформулировать свойства отношения «больше в 2 раза», заданного на множестве натуральных чисел.

Решение. «Больше в 2 раза» - это краткая запись отношения «число х больше числа у в 2 раза». Это отношение антисимметрично, так как выполняется условие: из того, что число х больше числа у в 2 раза, следует, что число у не больше числа х в 2 раза.

Данное отношение не обладает свойством рефлексивности, потому что ни про одно число нельзя сказать, что оно больше самого себя в 2 раза.

Заданное отношение не транзитивно, так как из того, что число х больше числа у в 2 раза, а число у больше числа z в 2 раза, следует, что число х не может быть больше числа z в 2 раза.

Это отношение на множестве натуральных чисел свойством связности не обладает, так как существуют пары таких чисел х и у, что ни число х не больше числа у в два раза, ни число у не больше х в 2 раза. Например, это числа 7 и 3, 5 и 8 и др.

 

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

Рассмотрим на множестве дробей Х= отношение равенства. Это отношение:

- рефлексивно, так как всякая дробь равна сама себе;

- симметрично, так как из того, что дробь равна дроби и дробь равна дроби , следует, что дробь равна дроби .

Про отношение равенства дробей говорят, что оно является отношением эквивалентности.

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

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

Почему в математике выделили этот вид отношений? Рассмотрим отношение равенства дробей, заданное на множестве Х=

 

· · ·

 

·

· ·

 

Видим, что множество разбилось на три подмножества: , , . Эти подмножества не пересекаются, а их объединение совпадает с множеством Х, т.е. имеет разбиение множества Х на классы. Это не случайно.

Замечание. Если на множестве Х задано отношение эквивалентности, то оно порождает разбиение этого множества на попарно не непересекающиеся подмножества (классы эквивалентности).

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

Замечание.Верно и обратное утверждение: если какое – либо отношение, заданное на множестве Х, порождает разбиение этого множества на классы, то оно является отношением эквивалентности.

Пример

Рассмотрим на множестве Х = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} отношение «иметь один и тот же остаток при делении на 3». Оно порождает разбиение множества Х на классы: в один попадут все числа, при делении которых на 3 получается в остатке 0 (это числа 3, 6, 9), во второй – числа, при делении которых на 3 в остатке получается 1(это числа 1, 4, 7, 10), и в третий – все числа, при делении которых на 3 в остатке получается 2 (это числа 2, 5, 8). Действительно, полученные подмножества не пересекаются и их объединение совпадает с множеством Х. Следовательно, отношение «иметь один и тот же остаток при делении на 3», заданное на множестве Х, является отношением эквивалентности. Утверждения о взаимосвязи отношения эквивалентности и разбиения на классы мы принимаем без доказательства.

Если отношение эквивалентности имеет название, то соответствующее название дается и классам. Например, если на множестве отрезков задать отношение равенства (оно является отношением эквивалентности), то множество отрезков разобьется на классы равных отрезков. Множество треугольников отношением подобия разбивается на классы подобных треугольников.

Принцип разбиения множества на классы при помощи некоторого отношения эквивалентности является важным принципом математики.

Во-первых,эквивалентный – это значит равносильный, взаимозаменяемый. Поэтому элементы одного класса эквивалентности взаимозаменяемые. Так, дроби, оказавшиеся в одном классе эквивалентности , неразличимы с точки зрения отношения равносильности, и дробь может быть заменена другой, например . И эта замена не изменит результата вычислений.

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

В-третьих, разбиение множества на классы с помощью отношения эквивалентности используется для введения новых понятий. Например, понятие «пучок прямых» можно определить как то общее. Что имеют параллельные между собой прямые.

Вообще любое понятие, которым оперирует человек, представляет собой некоторый класс эквивалентности. «Стол», «дом», «книга» – все эти понятия являются обобщенными представлениями о множестве конкретных предметов, имеющих одинаковое назначение.

Другим важным видом отношений являются отношения порядка.

Определение. Отношение R на множестве Х называется отношение порядка, если оно одновременно обладает свойствами антисимметричности и транзитивности.

Примеры отношений порядка:

- отношение «меньше» на множестве натуральных чисел;

- отношение «короче» на множестве отрезков.

Дата добавления: 2021-01-26; просмотров: 527;

Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.025 сек.