Zadanie 1
W oparciu o definicje równości i inkluzji zbiorów oraz korzystając z odpowiednich praw logicznych,
udowodnij:
∅

× A = ∅.

Zadanie 2
Podaj kontrprzykłady uzasadniające, że poniższe równości nie zachodzą w ogólnym przypadku. Czy
istnieją takie zbiory A, B, C, dla których równości zachodzą?
(a) A ∪ (B × C) = (A ∪ B) × (A ∪ C),
(b) A ∩ (B × C) = (A ∩ B) × (A ∩ C).

Zadanie 3
Rozważmy zbiór A = {a, b, c, d} i określoną na nim relację
δ

= {(a, c), (b, c), (a, a), (d, a), (d, d), (c, a), (b, a)}. Przedstaw reprezentację graficzną tej relacji.

Zadanie 4
Określ warunki jakie muszą spełniać macierze relacji:
(a) antysymetrycznych,
(b) spójnych.

Zadanie 5
Rozważmy zbiór A = {a, b, c, d} i określoną na nim relację δ daną diagramem (rysunek 12). Przedstaw
tę relację jako zbiór odpowiednich par uporządkowanych.

Rysunek 12

Zadania dodatkowe

c

a

b

d

Zadanie 6

Określ, jakie własności ma relacja dana na rysunku 13.

Rysunek 13

Zadanie 7

Relację daną na rysunku 14 zmodyfikuj tak, aby była ona:

(a) zwrotna,

(b) przeciwzwrotna,

(c) symetryczna,

(d) asymetryczna,

(e) antysymetryczna,

(f) przechodnia,

(g) spójna.

Rysunek 14

Zadanie 8

Narysuj graf przykładowej relacji, która:

(a) jest zwrotna i nie jest przechodnia,

(b) jest przeciwzwrotna i nie jest symetryczna,

(c) jest przechodnia i nie jest przeciwzwrotna,

(d) jest asymetryczna i nie jest spójna,

(e) jest antysymetryczna i nie jest zwrotna.

b

a

d

c

b

a

d

c

Zadanie 9

Oznaczmy przez

δ

1

relację zadaną grafem na rysunku 13 oraz przez

δ

2

relację zadaną grafem na rysunku

14. Narysuj graf relacji będącej złożeniem relacji:

(a)

δ

1

ο

δ

1

,

(b)

δ

1

ο

δ

2

,

(c)

δ

2

ο

δ

1

,

(d) (

δ

1

ο

δ

2

)

–1

,

(e) (

δ

1

ο

δ

1

)

–1

.

Zadanie 10

Udowodnij następujące własności charakteryzujące związki między działaniami na relacjach, a ich

rodzajami:

1. Suma dwóch relacji zwrotnych jest relacją zwrotną,

2. Iloczyn dwóch relacji zwrotnych jest relacją zwrotną,

3. Suma dwóch relacji symetrycznych jest relacją symetryczną,

4. Iloczyn dwóch relacji symetrycznych jest relacją symetryczną.