(P)odpowiedzi − Lista 3 ZK

1. Odp.: Jeśli A 6= ∅, to relacja jest

a) przeciwsymetryczna, przechodnia i słabo antysymetryczna, a jeśli dodatkowo |A| = 1,
to jest też symetryczna;
b) zwrotna, słabo antysymetryczna, przechodnia, a jeśli dodatkowo |A| = 1, to jest też
symetryczna;
c) zwrotna, symetryczna, słabo antysymetryczna, przechodnia;
d) symetryczna, a jeśli dodatkowo |A| 6 2, to jest też przechodnia, a gdy |A| = 1, to jest
także przeciwsymetryczna oraz słabo antysymetryczna.
2. Odp.:
a) zwrotna, symetryczna, przechodnia;
b) symetryczna;
c) zwrotna i przechodnia na Z \ {0};
d) zwrotna, symetryczna, przechodnia na Z \ {0};
e) przeciwsymetryczna, słabo antysymetryczna.
3. Odp.:
a) przeciwsymetryczna, słabo antysymetryczna, przechodnia;
b) zwrotna, przechodnia;
c) zwrotna, symetryczna, przechodnia;
d) symetryczna, przechodnia;
e) zwrotna, symetryczna;
f) symetryczna.
4. Odp. Wszystkie relacje są relacjami równoważności.
ad.zad.4a: (Z × Z)/R = {[k]mod n : k = 0, . . . , n − 1} ≈ Zn - zbiór klas reszt modulo n
(zob. Wykład 2);
ad.zad.4b: (N2 × N2 )/R = {[(n, 0)]R , [(0, n)]R : n ∈ N} ≈ Z - zbiór liczb całkowitych;
ad.zad.4c: (Z × Z \ {0})2 /R = {[(m, n)] : m ∈ Z, n ∈ N+ , NWD(m, n) = 1} ≈ Q - zbiór
liczb wymiernych;
5. Odp.:
a) x1 (kerf ) x2 ⇔ x1 i x2 są w tej samej odległości (euklidesowej) od 0;
R/R = {{−x, x} : x ∈ R} - zbiór dubletonów liczb rzeczywistych o przeciwnych znakach;
b) (x1 , y1 ) (kerf ) (x2 , y2 ) ⇔ x1 i x2 są w tej samej odległości euklidesowej od punktu
(0, 0);
R2 /R = {O(r) : r > 0} - zbiór koncentrycznych okręgów ośrodku w punkcie (0, 0) plus
okrąg zdegenerowany O(0) = {(0, 0)}; tutaj O(r) = {(x, y) ∈ R2 : x2 + y 2 = r2 };
c) (x1 , y1 ) (kerf ) (x2 , y2 ) ⇔ x1 i x2 są w tej samej odległości taksówkowej od punktu
(0, 0).
R2 /R = {K(r) : r > 0} - rodzina kwadratów o wierzchołkach na osiach współrzędnych i
kwadrat zdegenerowany K(0) = {(0, 0)}; tutaj K(r) = {(x, y) ∈ R2 : |x| + |y| = r} (to
okręgi/sfery w odległości taksówkowej).
 (P)odpowiedzi − Lista 3 ZK

6. (a) Relacja zwrotna, symetryczna, przechodnia, klasy abstrakcji (jest ich 11 - tyle co sum)
to: (2) = [(1, 1)] = {(1, 1)}, (3) = [(1, 2)] = {(1, 2), (2, 1)}, · · · , (12) = [(6, 6)] =
P P P

{(6, 6)}
P
Najliczniejsza jest (7) - ma 6 elementów.
(b) Relacja zwrotna, symetryczna, przechodnia, klasy abstrakcji (jest ich 19 - tyle co sum)
to:
(2) = [(1, 1)] = {(1, 1)}, (3) = [(1, 2)] = {(1, 2), (2, 1)}, · · · ,
P P P
(20) = [(8, 12)] =
{(8, 12)}
P P P P P
Najliczniejsza jest (9) = (10) = (11) = (12) = (14) - ma 8 elementów.

7. Odp.: NWD(55, 34) = 1.

8. Odp.: NWD(721, 448) = 7 i NWW(721, 448) = 46144.

9. (a) Rozwiązanie szczególne: x = 3283 i y = 542.

(b) Rozwiązanie szczególne: x = −3, y = 9 (rozszerzony alg. Euklidesa zwraca −1 i 3)
(c) Rozwiązanie szczególne: x = −110, y = −155 (rozszerzony alg. Euklidesa zwraca
−22 i 31)

10. Odp.: n = 32 · 17 · 193.

Wsk.: w algorytmie można użyć zagnieżdżoną pętlę while.

11. Wsk.: wystarczy

√ pokazać, że jeśli n jest złożona, to posiada nietrywialny (różny od 1 i n)
dzielnik d 6 n; najprościej to zrobić nie wprost: jeśli d jest nietrywialnym dzielnikiem
n (on istnieje, bo n jest złożona),
√ to nd też jest nietrywialnym dzielnikiem n; gdyby oba
te dzielniki były większe od n, to prowadziłoby to do sprzeczności.