Свойство антисимметричности. 
Математика для педагогических специальностей

Определение 2.11. Говорят, что бинарное отношение р, заданное на множестве Л, является антисимметричным_у если для любых элементов а и b из Л из того, что пары (я, /;) и (/;, а) находятся в отношении р, следует, что а = Ь.

Например, отношение упорядоченности по величине на множестве действительных чисел антисимметрично. Ведь если известно, что для чисел х и у выполнено х < у и у < х, то это означает, что х — у. А вот отношение параллельности прямых не является антисимметричным, так как если прямая / параллельна прямой t и прямая t параллельна прямой /, то это не означает, что прямые / и t совпадают. Они могут быть различны.

Свойство транзитивности.

Определение 2.12. Говорят, что бинарное отношение р, заданное на множестве Л, является транзитивным у если для любых элементов а, b и с из Л из того, что пары (я, b) и (/?, с) находятся в отношении р, следует, что пара (а, с) также находится в отношении р.

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

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

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

Отношением эквивалентности (или эквивалентностью) называется бинарное отношение, которое обладает свойствами рефлексивности, симметричности и транзитивности.

Отношением упорядоченности (или упорядоченностью) называется бинарное отношение, которое обладает свойствами рефлексивности, антисимметричности и транзитивности.

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

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

Определение 2.13. Разбиением множества/! называется представление этого множества в виде объединения непересекающихся подмножеств, которые называются классами разбиения.

Чтобы проверить, что мы имеем дело с разбиением множества, нужно проверить два условия:

• • объединение полученных при разбиении подмножеств является исходным множеством;
• • пересечение любых двух различных подмножеств является пустым множеством.

При выполнении классификации классами разбиения являются так называемые классы эквивалентности. Как же строятся эти классы?

Пусть на множестве А введено некоторое отношение эквивалентности р. Возьмем любой элемент а из А и все элементы из А, которые находятся с а в отношении р. Все эти элементы и будут образовывать класс эквивалентности элемента а. Понятно, что и сам элемент а попадет в этот класс. Действительно, если р — отношение эквивалентности, то оно обладает свойством рефлексивности, т. е. (а_} а) е р, а это и означает, что сам элемент а входит в класс эквивалентности, который он образует.

Можно доказать, что классы эквивалентности различных элементов множества либо совпадают, либо не пересекаются. В связи с этим можно предположить, что эти классы могут рассматриваться в качестве классов разбиения.

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

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

Можно попробовать доказать каждое из этих утверждений самостоятельно или разобрать доказательство, которое приведено в работе [2, с. 70—72].

При использовании классов эквивалентности мы разбиваем множество на подмножества, в каждое из которых входят своего рода «одинаковые» элементы. Например, множество всех положительных дробей можно разбить на классы эквивалентности таким образом: 1) взять каждую несокра;

тимую дробь (например, —); 2) в каждый класс эквивалентности соотвст;

. *. ., 2 4 6 8. _.

ствующеи дроби отнести все равные ей дроби (—= — = — = — = …). Хаким образом, мы разобьем все положительные дроби на соответствующие классы эквивалентности. Каждый такой класс является положительным рациональным числом.