5. Relacje
Ćw. 5.1. Sprawdź, czy podane niżej relacje są zwrotne, symetryczne, antysymetryczne, słabo antysymetryczne i przechodnie.
a) R ⊂ N2 ∧ xRy ⇔ 2|x + y, b) R ⊂ R2 ∧ xRy ⇔ x2 = y2,
c) R ⊂ Z2 ∧ xRy ⇔ 3|x − y, d) R ⊂ N2 ∧ xRy ⇔ x|y ∧ x 6= y.
Ćw. 5.2. Narysuj diagram relacji R ⊂ X2, gdzie a) X = {0, 1, 2} oraz xRy ⇔ x < y,
b) X = {1, 2, . . . , 10} oraz xRy ⇔ x|y ∧ x 6= y, c) X = {1, 2, 3, 4} oraz xRy ⇔ 2|x + y.
Ćw. 5.3. Jaką własność ma diagram relacji a) zwrotnej,
b) słabo antysymetrycznej, c) przechodniej,
d) symetrycznej, e) antysymetrycznej?
Ćw. 5.4. Wykaż, ze zbiór
X = {5, 6, 7, . . . , 14, 15}
z relacją
xRy ⇔ x|y
jest zbiorem częściowo uporządkowanym. Narysuj diagram Hassego. Znajdź (jeśli istnieją) w zbiorze X elementy minimalne, maksymalne, najmniejszy i największy.