І – Дослідити відношення еквівалентності: побудувати граф, визначити

класи еквівалентності, фактор-множину.

1) Відношення xy  (x)mod4 = (у)mod4 визначене на множині {1, 2, 3, 4, 5,
6, 7, 9, 10}.
2) Відношення xy  |x – y|/4 = k, k  N визначене на множині {5, 8, 9, 12,
13, 16, 18, 19, 20}.
3) Відношення xy  «х та у мають однакову кількість дільників»
визначене на множині {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}.
4) Відношення xy  (x2  y2)/5 = k, k  N визначене на множині {5, 7, 9, 10,
13, 15, 18, 19, 20}.
5) Відношення xy  (x2  y2)/4 = k, k  N визначене на множині {5, 8, 9, 12,
13, 16, 18, 19, 20}.
6) Відношення xy  (x2  y2)/8= k  N визначене на множині {7, 9, 10, 14,
15, 18, 19, 21}.
7) Відношення xy  |(x2  y2)/6= k  N визначене на множині {6, 9, 10, 12,
15, 18, 19, 20}.
8) Відношення xy  |x  y| = k N визначене на множині Х = {2, 2.5, 3, 3.5,
5, 5.5, 8, 8.5}.
9) Відношення xy  <a,b><c,d>  [(ad = bc и b0, и d0)] визначене на
множині N N.
10) Відношення xy  <a,b><c,d>  a + d = b + c визначене на множині
N N.
ІІ – Визначити, чи зберігаються властивості відношень при виконанні
операцій.
Є відношення α та β, які задані на одній множині і відповідають певній
властивості:
властивість зворотне доповнення перетин об’єднання композиці
α та β я

Рефлексивн. змінюється на
+ + + +
антиреф.

Антирефл. змінюється на Змінюється

+ + +
рефлекс. на рефлекс

Симетричн + + + + –

Антисиметр. може
+ – виродитися в
– –
асиметрію

Асиметричн. може
+ – пропасти
– –

Транзитивн. + – + – –

ІІІ – Довести для відношень α, β та γ, що задані на одній множині Х:

1. α β≠ β α 7. γ (α  β)  γ α  γ β
2. α α= α 8. (α β) γ = α (β γ)
3. αα=α 9. (α  β)-1 = α-1  β-1
4. (α  β) γ = αγ βγ 10. (α  β)-1 = α-1  β-1
5. (α  β) γ  αγ  βγ 11. (α β)-1= β-1 α-1
6. γ (α  β) = γ α  γ β 12. (α-1)-1= α
13. якщо α не рефлексивне та симетричне, то – не транзитивне;
14. якщо α рефлексивне та транзитивне, то α  α -1 є еквівалентністю;
15. якщо α рефлексивне та транзитивне, то α  α -1 є еквівалентністю;
16. якщо α симетричне та антисиметричне, то воно транзитивне;
17. якщо α симетричне на всій множині та транзитивне, то воно
рефлексивне.