Общие свойства отношений.

Рефлексивность – свойство отношений, когда каждый элемент множества находится в данном отношении к самому себе.

Пусть R – бинарное отношение на множестве Х, т.е. R=X´Х.

Отношение R рефлексивно, если для любого хÎХ имеет место х R х.

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

Антирефлексивность - свойство отношений, когда ни какой элемент множества не находится в данном отношении к самому себе.

Пусть R – бинарное отношение на множестве Х, т.е. R=X´Х.

Отношение R антирефлексивно, если для любого хÎХ не имеет место х R х.

Например, отношения между числами в выражениях а > c обладает свойством антирефлексивности, так как нет ни одной пары (а, а), находящейся в этом отношении.

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

Пусть R – бинарное отношение на множестве Х, т.е. R=X´Х.

Отношение R симметрично, если

(x_i, x_j) Î R « (x_j, x_i) Î R.

Например, отношение неравенства на множестве чисел обладает свойством симметричности, так как если а ¹ с, то и с ¹ а.

Асимметричность - свойство отношений, когда наличие этого отношения между парой элементов x_i и x_j, влечет за собой отсутствие этого отношения между элементами обратной пары (x_j, x_i).

Пусть R – бинарное отношение на множестве Х, т.е. R=X´Х.

Отношение R асимметрично, если

(x_i, x_j) Î R « (x_j, x_i) Ï R, т.е. R Ç R^-1=Æ

Если отношение асимметрично, то оно и антирефлексивно.

Например, отношения между числами в выражениях а > c обладает свойством асимметричности, так как если для пары (а, с) справедливо отношение а > c, то для пары (с, а), отношение с > а не имеет места.

Антисимметричность - свойство отношений, когда наличие этого отношения между парой элементов (x_i, x_j) и наличие этого же отношения у обратной парой (x_j, x_i), возможно только в том случае, если x_i,= x_j..

Пусть R – бинарное отношение на множестве Х, т.е. R=X´Х.

Отношение R антисимметрично, если

(x_i, x_j) Î R & (x_j, x_i) Î R « x_i,= x_j

Например, отношение между числами (а, с) в выражении а ³ с обладает свойством антисимметрии, так как отношение « ³ » справедливо и для обратной пары только в том случае, если а = с.

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

Пусть R – бинарное отношение на множестве Х, т.е. R=X´Х.

Отношение R транзитивно, если

(x_i, x_j) Î R & (x_j, x_к) Î R ® (x_i, x_к) Î R.

Например, отношение между числами (а, b) в выражении или а > b обладает свойством транзитивности, так как если отношение « > » справедливо для пары а > b и справедливо для пары b > c, то оно справедливо и для пары а > c.

Сложные отношения

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

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

Отношение квазипорядка обладает свойствами рефлексии и транзитивности. Для обозначения квазипорядка используется символ ³. Например, если Oi³Oj, то говорят, что объект Oi не хуже объекта Oj.

Если любые два объекта из множества О сравнимы по отношениям строго порядка или квазипорядка , то добавляют слово “полный” или “линейный”: полный строгий порядок или полный квазипорядок.

Вопросы для самопроверки к главе 3

1. Определение множества.

2. Операции над множествами.

3. Понятие универсума, подмножества, пустого множества, дополнения.

4. Свойства операций над множествами, равносильные преобразования.

5. Декартово произведение множеств.

6. Бинарные отношения.

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

Упражнения к главе 3

1. Какие из ниже приведенных соотношений не верны и почему?

a) x Î {2, 4, x, y, {x, a}}

b) Î { x, {2, 3}, a}

c) x Î {2, sin x}

d) {x, a} Î {2, 4, x, y, {x, a}}

2. В каких отношениях находятся между собой следующие множества:

А = {1, 3};

B – множество нечетных положительных чисел;

С – множество корней уравнения х²-4х+3.

3. В качестве универсума есть принимается множество первых двадцати натуральных чисел.

Записать следующие подмножества универсума:

А – множество четных чисел;

В – множество нечетных чисел;

С – множество квадратов чисел;

D – множество простых чисел;

Записать все множества, полученные в результате следующих операций:

4. Дано множество А={{1, 2}, {3}, 1}

Записать все элементы множества всех подмножеств P(А)

5. Представьте заштрихованные области в ниже приведенных диаграммах аналитическими выражениями:

6. Доказать равносильность следующих выражений

7. Дано множество фигур Х={x₁, х₂, х₃, х₄, х₅}

Составить бинарные отношения в соответствии с правилами :

a) x_i больше x_j