Вопросы для самопроверки и упражнения:

1. Составить матрицы отношений, заданных в примере 3, определив произвольно множество M, RMM таким образом, чтобы по матрице можно было бы судить о свойствах отношения, и назвать эти свойства.

2. Какими свойствами характеризуются следующие отношения на M={1, 2, 3, …, 9}:

а) R₁={(a, b): (a–b) – четное};

б) R₂={(a, b): (a+b) – четное};

в) R₃={(a, b): (a+1) – делитель (a+b)};

г) R₄={(a, b): a – делитель (a+b), а1}.

2.3 Эквивалентность и порядок

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

Отношение эквивалентности имеет важную особенность: экви-валентность R разбивает множество M, на котором оно задано, на непересекающиеся подмножества так, что элементы одного и того же подмножества находятся в отношении R, а между элементами из разных подмножеств отношение R отсутствует. В таком случае говорят, что отношение R задает разбиение на множестве M, или систему классов эквивалентности по отношению R. Мощность этой системы называется индексом разбиения. В то же время любое разбиение множества M на классы определяет некоторое отношение эквивалентности, а именно отношение “входить в один и тот же класс данного разбиения”.

Классом эквивалентности (смежным классом) элемента а по экви-валентности R называется множество

[a]_R=a/R={b|(a, b)R}.

Множество классов эквивалентности элементов множества M по экви-валентности R называется фактор-множеством M по R и обозначается через M/R.

Отношением нестрогого порядка (или частичным порядком) называют бинарное отношение на множестве, если оно рефлексивно, анти-симметрично, транзитивно, и отношением строгого порядка (строгим порядком), если оно антирефлексивно, антисимметрично, транзитивно. Оба эти отношения называются отношениями порядка. Например, отношения “быть не старше” на множестве людей, “быть не больше” на множестве натуральных чисел – нестрогий порядок; отношения “быть моложе”, “быть прямым потомком” на множестве людей – строгий порядок.

Элементы a,bM сравнимы по отношению порядка R на M, если выполняется а R b или b R a.

Бинарное отношение на множестве M называется предпорядком на M, если оно рефлексивно и транзитивно.

Частичный порядок  на множестве M называется линейным, если любые два элемента из M сравнимы по .

Линейный порядок  на множестве M называется полным, если каждое непустое подмножество множества M имеет наименьший элемент а, т.е. аx для всех xM. Множество M в этом случае называется вполне упорядоченным.

Пример 1. К каким типам отношений относятся:

1) отношение равносильности на множестве формул, описывающих элементарные функции (формулы равносильны, если они задают одну и ту же функцию, например (а+b)(а–b)=a²–b², sin²a+cos²b=1);

2) отношение, определяемое на множестве всех программ {(a, b): a и b вычисляют одну и ту же функцию на определенной машине};

3) отношения  и < на множестве векторов длины n с компонентами из N, определяемые следующим образом:

а) (а₁, ..., а_n)(b₁, ..., b_n), если а₁b₁, ..., а_nb_n;

б) (а₁, ..., а_n)<(b₁, ..., b_n), если (а₁, ..., а_n)(b₁, ..., b_n) и хотя бы в одной координате i выполняется <;

4) отношение предшествования букв конечного алфавитаA (например, отношение предшествования букв русского алфавита, отношение предшествования чисел 0, 1, 2, …, 9 и т.п.), заданного фиксированным списком:

, если предшествует в списке букв;

5) отношение предшествования словупорядоченного конечногоалфавита A – лексикографическое упорядочение, определяемое следующим образом.

Пусть даны слова ₁=а₁₁а₁₂…а_1m и ₂=а₂₁а₂₂…а_2n, тогда:

₁₂, если и только если:

а) ₁=и₂=и, где, ,  – некоторые слова, возможно пустые; ибуквы, либо

б) ₂=₁, где  – непустое слово.

Отношения, заданные в п.1 и 2, являются отношениями эквивалентности на соответствующих множествах; отношения, заданные в п.3–5, являются отношениями порядка; при этом отношение , определенное в п.3 есть отношение нестрогого порядка, а отношение < в п.3, а также отношения предшествования в п.4 и 5 – отношения строгого порядка.

Пример 2. Каков индекс разбиения и мощности классов экви-валентности по отношению R, если R:

1) отношение равенства (тождества) на любом множестве;

2) универсальное (полное) отношение на любом множестве;

3) отношение равносильности на множестве формул (см. пример 1, п.1);

4) отношение “иметь один и тот же остаток от деления на 5” на мно-жестве натуральных чисел N?

1) Все классы эквивалентности по отношению равенства (тождества) E={(a, b): a=b} на любом множестве M, а,bM, состоят из одного элемента. Индекс разбиения M по отношению E равен мощности множества M, т.е. |M|.

2) Индекс разбиения универсального (полного) отношения U, U={(a, b): a U b для любых а,bM}, т.е. U=MM для любого M, равного единице. Все элементы множества M принадлежат одному классу эквивалентности по отношению U.

Мощность класса равна |M|.

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

4) Индекс разбиения множества N по заданному отношению R равен 5. Множества натуральных чисел, составляющие каждый класс эквивалентности, – счетны.

Пример 3. Какой порядок на множестве задают отношения:

1)  и , а также < и > для чисел множеств N и

2)  и < на , введенные в примере 1, п.3;

3)  и  на системе подмножеств (M) множества M;

4) подчиненности на предприятии;

1) Отношения нестрогого порядка  и , а также строгого порядка < и > полностью упорядочивают множества N и

2) Отношения  и < на множестве векторов длины n с компонентами из определяют частичный порядок на(–3, 3/5, 2)>(–3, 1/2, 2); (–3, 1/2, 2) и (– 3, 2, 1/2) – не сравнимы;

3) Отношение  на системе (M) задает строгий частичный порядок, а отношение  – нестрогий частичный порядок. Например, {a, b}{a, b, c}, но {a, b} и {b, c, d} несравнимы по отношению  .

4) Отношение подчиненности на предприятии задает строгий частичный порядок. В нем несравнимыми являются, например, сотруд-ники разных звеньев одного уровня организационной структуры.