Решение.

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

2. Если , то , значит , т.е. симметрично.

3. Если и , то  транзитивно.

Итак,  отношение эквивалентности.

Классы эквивалентности образуют упорядоченные пары (х, у) такие, что х² + у²=const.

На плоскости класс эквивалентности образуют точки окружности с центром в начале координат.

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

Определение. Всякое антисимметричное и транзитивное бинарное отношение , называется отношением порядка на множестве М. Отношение порядка может быть рефлексивным, тогда оно называется отношением нестрогого порядка. Если отношение порядка антирефлексивно, оно называется отношением строгого порядка. Отношение порядка может быть полным бинарным отношением, тогда оно называется отношением линейного порядка. Отношение порядка может не обладать свойством полноты, тогда оно называется отношением частичного порядка. Отношение строгого порядка обозначим знаком <, нестрогого  .

Отношение, обратное отношению порядка, также антисимметрично и транзитивно, в чем нетрудно убедиться. Обратное отношение будем обозначать знаками > и соответственно.

Примеры обозначений.

(a, b) , a ≤ b; (a, b)< , a < b.

Если упорядоченная пара (a, b) принадлежит отношению < или , элементы а и b называются сравнимыми между собой. Множество М, на котором определено отношение частичного порядка, называется частично упорядоченным. Если на множестве М задан линейный порядок, его называют линейно упорядоченным множеством.

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

Пример 1. Рассмотрим множества R, Q, Z, N. Отношение сравнения < на этих множествах определяет линейный строгий порядок с точки зрения обычного сравнения чисел.

Например, (2, 5)<, (3, 3)<.

Пример 2. Отношение сравнения  на множествах R, Q, Z, N определяет линейный нестрогий порядок, с точки зрения обычного сравнения чисел, (2, 5) , (3, 3) .

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

Пример 4. На множестве натуральных чисел N введем следующее отношение порядка: m  n  m делит n. Это – нестрогий частичный порядок: 1  7,

4  12, 6  6, 2  6, (2, 7) , (9, 12) .

Конечные частично упорядоченные множества можно изобразить диаграммой, которая называется диаграммой Хассе. Она состоит из кружков (элементов) и линий со стрелками. Если a < b (a  b), то от элемента a выходит линия со стрелкой, входящая в элемент b. При этом элемент a размещается на диаграмме ниже элемента b.

Пример 5. A = {2, 3, 4, 6, 8, 9}, a  b  a делит b. Диаграмма Хассе показана на рис. 1. В силу транзитивности отношения порядка не нужно, например, соединять линией элементы 2 и 8: 2  4, 4  8  2  8.

Рис. 1

Так как был определен нестрогий порядок (2 делит 2  22; 3 делит 3  33 и т.д.), то стрелки замыкаются на кружках, образуя петли.

Если определить строгий порядок, a < b  a делит b и a ≠ b ,то петли исчезнут.

Пример 5. Выписать явно бинарное отношение строгого частичного порядка, соответствующее диаграмме Хассе (рис. 2). Указать все элементы, не сравнимые с элементом а и не сравнимые с элементом d.