1 Высшая алгебра и теория чисел. Составитель Кокшарова А.А.

Занятие 3. Отношения на множествах.

1. Построить граф отношения делимости в классе натуральных чисел от 2 до 16.
2. На множестве {-3, -1, 1, 2, 3, 4} задано отношение x=y+2. Нарисовать граф
отношения и выяснить, принадлежат ли пары (-1;-3) и (4;2) этому отношению.

3. Какие из равенств справедливы? Обоснуйте, либо приведите контрпример.

А´ (B∩C)=(A´B) ∩ (A´C) А´ (BUC)=(A´B) U (A´C) (B∩C) ´А А´ B= B´ A (А∩B) ´ (C∩D) = (A´C) ∩ (B´D)
=(B´A) ∩ (C´A) (BUC) ´А =(B´A) U (C´A) А´ (B´C)=(A´B)´C (А\B) ´C=(A\C) ´ (B\C) (А\B) ´C=(A´C) \(B´ C)  

4. Пусть M ={1,2,3,4,5,6}. Задать в явном виде (списком), описанием

характеристических свойств, матрицей и графом отношение, если R означает –
«быть строго меньше».
5. Для множества М={1,2,3,4,5,6} составить матрицы отношений, если R1 – «быть
делителем», R2 – «иметь один и тот же остаток от деления на 3».
6. Каковы свойства отношения «Быть не больше» (R1={(a,b)| a≤b}), заданного на
множестве натуральных чисел N?

7. Пусть A={1,2,3,4,5}, B ={6,7,8,9}, C={10,11,12,13}. Пусть R ⊆ Aх B , S ⊆B х C

определены следующим образом: R ={(1,7), (4,6), (5,6), 2,8)}, S ={(6,10), (6,11),
(7,10), (8,13)}. Определить отношения R-1, S-1.
8. Составить матрицу смежности отношения «иметь одинаковый знак» на
множестве X = {−2, −1, 3}

9. Построить матрицу смежности отношения и исследовать его:

А. Отношение «иметь общий делитель, отличный от 1» на множестве {2; 3; 12;
8}
Б. Отношение «находиться на одинаковом расстоянии от начала координат» на
множестве {(3,4); (0,-5); (2,3); (-4,3); (6,1)}
В. Отношение «абсолютная величина разности двух чисел не меньше 2» на
множестве {-3; -2; 0; 2}

10. Исследовать отношения:

А. «отличаться по росту не менее чем на 3 см» на множестве людей
Б. «отличаться менее чем на 2 буквы» на множестве слов русского языка
В. «совпадение с универсальным множеством объединения двух его
подмножеств» на булеане универсального множества

11.Доказать, что заданное отношение является отношением эквивалентности, найти

индекс разбиения, мощность классов эквивалентности по данному отношению:
А. «иметь одинаковый знак» на множестве всех целых чисел, кроме 0
Б. «иметь одинаковые оценки на экзамене» на множестве студентов учебной
группы
В. «иметь одинаковую длину» на множестве трехмерных векторов с целыми
координатами.