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

1. Определить проекции v: пр₁ v, пр₃ v, пр_1,3 v, если:

а) v=(2, 3, 1, 1); б) v=(2, 2, 3, 1).

2. Определить проекции множества векторов V: пр₁V, пр₃V, пр_1,3V, если:

а) {(2, 3, 1, 1), (2, 2, 3, 1), (1, 2, 3, 1)};

б) {(1, 3, 5), (2, 4, 6), (3, 5, 7)}.

3. Пусть X={a, c}, Y={a, d, f}. Найти XY, Y², YXY.

4. Пусть A₁=A₂={a, b, c}, A₃=A₄={d, e} и V=A₁A₂A₃A₄. Найти: пр₁V, пр_1,3V.

5. Сравнить векторные оценки множества V={(3, 1, 2, 3), (2, 2, 1, 3), (1, 2, 3, 2), (3, 1, 2, 2), (1, 2, 2, 3), (3, 2, 3, 2), (2, 2, 2, 2), (2, 3, 1, 3)} с использованием правила 1 сравнения векторов по предпочтению и определить подмножество V′ наилучших – парето-оптимальных – векторных оценок, V′V.

2. Отношения

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

Под n-местным отношением понимают подмножество R прямого произведения n множеств: RM₁M₂...M_n.

Говорят, что элементы a₁, a₂, …, a_n (a₁M₁, a₂M₂, ..., a_nM_n) находятся в отношении R, если (a₁, a₂, …, a_n)R. Если n-местное отношение R задано на множестве M своих элементов, т.е. M₁=M₂=...=M_n, то RMⁿ.

2.1 Бинарные отношения. Основные определения

Двухместным, или бинарным, отношением R называется подмно-жество пар (a, b)R прямого произведения M₁M₂, т.е. RM₁M₂.

Отношения, определенные на конечных множествах, обычно задаются:

1. Списком (перечислением) пар, для которых это отношение выполняется. Например, R={(a, b), (a, c), (b, d)}.

2. Матрицей – бинарному отношению RMM, где M={a₁, a₂, …, a_n}, соответствует квадратная матрица порядка n, в которой элемент, стоящий на пересеченииi-й строки и j-го столбца, равен 1, если между и имеет место отношениеR, или 0, если оно отсутствует:

Пример 1. Пусть M={1, 2, 3, 4, 5, 6}. Задать в явном виде (списком) и матрицей отношения RMM, если R означает – “быть строго меньше”.

Отношение R как множество содержит все пары элементов a, b из M такие, что a<b:

R={(a, b): a,bM; a<b}.

Тогда R={(1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (2, 3), (2, 4), (2, 5), (2, 6), (3, 4), (3, 5), (3, 6), (4, 5), (4, 6), (5, 6)}.

Матрица отношения приведена на рис 2.1,a.

Пример 2. Пусть M={1, 2, 3, 4, 5, 6}. Составить матрицы отношения R₁, R₂, R₃MM, если:

1) R₁ – “быть делителем”;

2) R₂ – “иметь общий делитель, отличный от единицы”;

3) R₃ – “иметь один и тот же остаток от деления на 3”.

1) R₁={(a, b): a,bM; а – делитель b} и выполнятся для пар {1, 1}, (1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (2, 2), (2, 4), (2, 6), (3, 3), (3, 6), (4, 4), (5, 5), (6, 6)}. Эти пары (а, b)R₁ определяют наличие единиц в матрице отношения R₁M² на пересечении строки элемента а и столбца элемента b; а,bM (рис. 2.1, б);

2) R₂={(a, b): a,bM; а и b имеют общий делитель c1}.

Матрица отношения R₂ представлена на рис 2.1, в;

3) R₃={(a, b): a,bM; а, b имеют один и тот же остаток от деления на 3}. Матрица отношения R₃ приведена на рис. 2.1, г.

Пример 3. Для указанных ниже отношений привести примеры пар, для которых выполняются отношения, и пар, для которых отношения не выполняются.

1. Отношения, заданные на множестве точек действительной плоскости:

а) R₁ – “находиться на одинаковом расстоянии от начала координат”;

б) R₂ – “находиться на разном расстоянии от начала координат”;

в) R₃ – “находиться на одной и той же окружности с центром в начале координат”;

г) R₄ – “быть симметричным относительно оси X”.

2. Отношения, заданные на множестве элементов структуры, изображен-ной на рис. 2.2:

а) R₅ – “быть частью целого”;

б) R₆ – “быть непосредственно связанным с”;

в) R₇ – “быть начальником”;

г) R₈ – “быть непосредственным начальником”.

3. Отношения, заданные на системе мно-жеств (M), M={a, b, c}:

а) R₉ – “пересекаться с” (иметь непустое пересечение);

б) R₁₀ – “являться строгим включением ”;

в) R₁₁ – “ являться нестрогим включением ”;

г) R₁₂ – “быть дополнением к”.

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

Таблица 2.1

Отношение	Примеры пар, для которых отношение
	выполняется	невыполняется
1. Отношения, заданные на множестве точек действительной плоскости: R1 – “находиться на одинаковом рас-стоянии от начала координат” R2 – “находиться на разном расстоянии от начала координат” R3 – “находиться на одной и той же окруж-ности с центром в начале координат” R4 – “быть симметричным относительно оси X” 2. Отношения, заданные на множестве элементов структуры (рис. 2.2): R5 – “быть частью целого” R6 – “быть непосредственно связанным с” R7 – “быть начальником” R8 – ‘быть непосредственным начальником” 3. Отношения, заданные на системе множеств (M), M={a, b, c}: R9 – “пересекаться с” (иметь непустое пересечение) R10 – “являться строгим включением ” R11– “ являться нестрогим включением ” R12 – ‘быть дополнением к”	((3, 4), (–3, 4)), ((3, 4), (0, –5)), ((3, 4), (1, 6)) ((3, 4), (–3, 4)), ((3, 4), (0, –5)) ((3, 4), (3, –4)), ((–3, 4), (–3, –4)) (b, a), (d, a), (c, a) (d, b), (b, d), (c, a) (b, d), (a, d), (a, c) (b, d), (a, b) ({a}, {a, c}), ({a, c}, {a, b}), ({a, c}, {a, b, c}) ({a}, {a, c}), ({a, c}, {a, b, c}) ({a}, {a, c}), ({a, c}, {a, b, c}), ({a, c}, {a, c}) ({a}, {b, c}), (, {a, b, c})	((3, 4), (1, 6)) ((3, 4), (–3, 4)), ((3, 4), (0, –5)) ((3, 4), (1, 6)) ((3, 4), (–3, 4)), ((3, 4), (–3, –4)) (d, f), (a, b), (g, b) (d, f), (g, b), (d, a) (d, b), (b, g) (d, b), (a, d), (b, g) ({a}, {b}), ({a}, {b, c}) ({a, c}, {a, b}), ({a, c}, {a, c}), ({a}, {b, c}) ({a, c}, {a, b}), ({a}, {b, c}) ({a}, {a, c}), ({a, b}, {a, c})

Пример 4. Составить матрицы отношений, заданных на системе множеств (M), M={a, b, c}:

1) R₁ – “пересекаться с” (иметь непустое пересечение);

2) R₂ – “являться строгим включением ”;

(M)={, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}.

Матрицы отношений R₁ и R₂ представлены на рис. 2.3.

1) R₁ – “быть частью целого”;

2) R₂ – “быть непосредственно связанным с”.

Матрицы отношений R₁ и R₂ приведены на рис. 2.4. (При построении матрицы отношения R₁ предполага-лось, что “целое есть часть самого себя”; аналогично при построении матрицы отношения R₂)

Пример 5. Пусть отношение R – “быть отцом”, определенное на множестве людей M={a, b, c, d, e, f, g, h}, представлено схемой на рис. 2.2. Задать списком отношение R. Определить (назвать) родственные отношения между следующими парами: (a, b), (a, d), (b, c), (b, d), (b, h), (c, d).

1) R={(a, b), (a, c), (b, d), (b, e), (b, f), (c, g), (c, h)} – “быть отцом”.

2) a – отец для b; a – дед для d; b – родной брат для c; b – отец для d; b – дядя для h; с – дядя для d.

В целом заданная матрица отношения R – “быть отцом” – позволяет установить новые отношения между элементами множества M, в том числе:

R₁={(a, d), (a, e), (a, f), (a, g), (a, h)} – “быть дедом”;

R₂={(b, c), (c, b), (d, e), (e, d), (d, f), (f, d), (e, f), (f, e), (g, h), (h, g)} – “быть родным братом или сестрой”;

R₃={(d, g), (g, d), (d, h), (h, d), (e, g), (g, e), (e, h), (h, e), (f, g), (g, f), (f, h), (h, f)} – “быть двоюродным братом или сестрой”;

R₄={(b, g), (b, h), (c, d), (c, e), (c, f)} – “быть дядей”;

R₅={(g, b), (h, b), (d, c), (e, c), (f, c)} – “быть племянником или племянницей”;

R₆={(b, a), (c, a), (d, b), (e, b), (f, b), (g, c), (h, c)} – “быть сыном или дочерью”;

Уточним потомков b и c. Пусть d и g – дочери, e, f и h – сыновья для b и с соответственно. Тогда:

R₇={(b, c), (c, b), (e, f), (f, e)} – “быть родным братом” (очевидно, что R₇R₂);

R₈={(b, a), (c, a), (e, b), (f, b), (h, c)} – “быть сыном” (очевидно, что R₈R₆);

R₉={(d, c), (g, b)} – “быть племянницей” (R₉R₅) и т. д.

Пример 6. Пусть M – множество клеток шахматной доски, M=XY, где X={a, b, c, d, e, f, g, h}, Y={1, 2, 3, 4, 5, 6, 7, 8}.

Определить бинарное отношение R_л на M для ладьи так, что (m₁, m₂)R_л тогда и только тогда, когда m₁ и m₂ – элементы M и ладья может пройти от m₁ к m₂ одним ходом на пустой доске (Задать R_л описанием его характеристического свойства).

Ладья за один ход на шахматном поле может изменить либо горизонтальную координату, либо вертикальную, но не обе коорди-наты вместе. Обозначим m₁,m₂M: m₁=(x₁, y₁), m₂=(x₂, y₂), где x₁, x₂X, y₁,y₂Y. Тогда

R_л={((x₁, y₁), (x₂, y₂)): (x₁=x₂ и y₁y₂) или (x₁x₂ и y₁=y₂)}.

Пример 7. Пусть некоторая программа читает два числа из мно-жества M={1, 2, 3, 4, 5}, обозначаемых x и y, и, если xy, печатает число z (также из M) такое, что xz<y. В любом случае программа останавливается после считывания всех чисел на множестве M. Чему равны области определения и значений отношений?

При поступлении на вход программы двух чисел x,yM таких, что xy, программа выдает результат z такой, что xz<y, т.е. устанавливает отношение RMM такое, что R={((x, y), z): x<y, xz<y)}:

R={((1, 2), 1); ((1, 3), 1); ((1, 3), 2); ((1, 4), 1); ((1, 4), 2); ((1, 4), 3); ((1, 5), 1); ((1, 5), 2); ((1, 5), 3); ((1, 5), 4); ((2, 3), 2); ((2, 4), 2); ((2, 4), 3); ((2, 5), 2); ((2, 5), 3); ((2, 5), 4); ((3, 4), 3); ((3, 5), 3); ((3, 5), 4); ((4, 5), 4)}.

D(R)={(1, 2), (1, 3), (1, 4), (1, 5), (2, 3), (2, 4), (2, 5), (3, 4), (3, 5), (4, 5)}.

Q(R)={1, 2, 3, 4}.