[DM 02]

[1/02] Dla każdego z podanych przypadków relacji R ⊆ A2 sprawdź czy jest ona:
(i) relacją typu równoważności (jeśli tak to ile wyznacza klas abstrakcji)
(ii) porządkiem częściowym (jeśli tak i jeśli A jest skończone to jaka jest wysokość (A, R)?)
(iii) quasi-porządkiem (jeśli tak i jeśli A jest skończone to jaka jest wysokość (A, R)?)
(iv) porządkiem liniowym
w zbiorze A.
(a) A = {1, 2,..., 30}, xRy ⇔ ∀c∈A[min{x, y} < c ≤ max{x, y} → ∃ d∈A(1 < d < c ∧d | c)]
(b) A = {1,2,..., 1997}, xRy ⇔ x < y – 10
(c) A = {1,2,..., 1997}, xRy ⇔ x < y + 10
(d) A = {1,2,...,10}2, (a, b)R(c, d) ⇔ a | cd ∧b | cd
(e) A = N, xRy ⇔ y = x2
(f) A = N, xRy ⇔ x | y ∨ y | x
(g) A = N, xRy ⇔ x < y – 1
(h) A = N, xRy ⇔ 125 | (x – y)2
(i) A jest zbiorem wszystkich funkcji N → R, fRg ⇔ ∀n∈N(f(n) ≥ g(n))
(j) A jest zbiorem wszystkich funkcji N → R, fRg ⇔ ∃ n∈N(f(n) ≥ g(n))
(k) A jest zbiorem wszystkich funkcji N → R, fRg ⇔ ∃ n,m∈N(f(n) ≥ g(m))
(l) A jest zbiorem wszystkich funkcji N → R, fRg ⇔ ∃ m∈N(∀n∈N (n ≥ m → f(n) ≥ g(n)))

[2/02] Czy dla każdego skończonego zbioru częściowo uporządkowanego (A, R) istnieje zbiór B ⊆ A2 taki, że R ∪
B jest liniowym porządkiem w A?

[3/02] Udowodnij, że jeśli (A, R) oraz (A, S) są zbiorami częściowo uporządkowanymi to (A, R ∩ S) jest także
zbiorem częściowo uporządkowanym.

[4/02] Przedstaw diagram Hassego dla zbioru częściowo uporządkowanego (A, R), gdzie R = {(x, y) : x | y}, A = {1,
2,..., 15}. Jak jest wysokość ({1,2,..., 1997}, R)?

[5/02] Czy dla każdego skończonego zbioru częściowo uporządkowanego (A, R) istnieje podział zbioru A na
podzbiory P1, P2,... takie, że można narysować diagram Hassego tak, aby wszystkie elementy każdego podzbioru
Pi znajdowały się na tym samym poziomie i aby co najmniej jeden podzbiór Pi zawierał liczbę elementów równą
szerokości (A, R)?

[6/02] Czy dla każdego skończonego zbioru częściowo uporządkowanego (A, R) istnieje podział zbioru A na
podzbiory P1, P2,... takie, że można narysować diagram Hassego tak, aby wszystkie elementy każdego podzbioru
Pi znajdowały się na tym samym poziomie i aby dla dowolnych dwóch elementów x, y ∈ A, takich, że x nakrywa y,
zachodziła implikacja x ∈ Pi → y ∈ Pi–1.

[7/02] Podaj przykład zbioru częściowo uporządkowanego, w którym jest nieskończenie długi łańcuch i
nieskończenie długi antyłańcuch.

[8/02] Z2 (Z - zbiór liczb całkowitych) można interpretować jako nieskończoną szachownicę indeksowaną parami
liczb całkowitych. Określamy relację RF ⊆ Z2 × Z2 w ten sposób, że (a, b) RF (c, d) wtwg z pola (a, b) można się
dostać na pole (c, d) figurą szachową F w skończonej, dodatniej liczbie ruchów. Udowodnij, że dla każdej figury
szachowej F ∈ {wieża, skoczek, goniec, hetman, król} RF jest relacją typu równoważności. Ile klas abstrakcji w Z2
wyznacza każda z 5 relacji RF ?

[9/02] Rozważamy zbiór A = {2n : n ∈ N}∪{3} uporządkowany relacją podzielności. Wypisz zbiór elementów
minimalnych i maksymalnych w A oraz narysuj diagram Hassego.

[10/02] Niech dany będzie dowolny skończony zbiór częściowo uporządkowany. Udowodnij, że istnienie elementu
największego jest równoważne istnieniu dokładnie jednego elementu maksymalnego. Podaj przykład pokazujący,
że powyższa równoważność nie musi być spełniona gdy zbiór jest nieskończony.
[11/02] W zbiorze bajtów {0,1}8 określono relacje R w ten sposób, że dwa bajty są w relacji, gdy jeden można otrzymać z
drugiego przez zamianę dwóch sąsiednich bitów miejscami. Np. 10010001 R 10001001. Czy relacja R jest zwrotna? Czy jest
symetryczna? Czy jest przechodnia?

[12/02] Zaznacz w tabeli poniżej, które własności spełniają poszczególne relacje określone w zbiorze liczb naturalnych.
Pamiętaj, że 0 ∉ N.

zwrotna symetryczna antysymetryczna przechodnia przeciwzwrotna

xRy ⇔ NWD(x, y) > 1
xRy ⇔ NWD(x, y) < 3
xRy ⇔ x + 2y < 2003
xRy ⇔ 5 | (3x + 2y)
xRy ⇔ 5 | (4x + 3y)

[13/02] Na rysunku przedstawiono diagram Hassego relacji porządku częściowego R ⊆ {a, b, c, d, e, f, g, h, j, k, m, n}2.

m j

e
h

d
k

b n

g
a

Wyznacz:
(1) wszystkie elementy większe od b: ......................................................................................................
(2) wszystkie elementy mniejsze od b: ....................................................................................................
(3) wszystkie ograniczenia dolne zbioru {e, j, m}: ........................................................................
(4) wszystkie ograniczenia górne zbioru {k, b}: ..............................................................................
(5) kres dolny zbioru {c, e} (jeśli nie istnieje wpisz #):..............................................................
(6) kres dolny zbioru {e, h} (jeśli nie istnieje wpisz #):.............................................................
(7) wysokość R: ..........................................................................................................................................................
(8) szerokość R: ...........................................................................................................................................................
(9) przykład antyłańcucha o liczbie elementów równej szerokości R: .........................
[14/02] Narysuj diagram Hassego dla relacji R ⊆ {x ∈ N : 7 ≤ x ≤ 14} określonej formułą xRy ⇔ x = y ∨ (x < y ∧ ~(3 | xy)).
Wyznacz długość najdłuższego łańcucha oraz najliczniejszego antyłańcucha zbioru częściowo uporządkowanego ({x ∈ N :
7 ≤ x ≤ 14}, R).