Odnosi meu skupovima 9

z razlika (diferencija) skupova

oduzimanje elts iz prvoga skupa koji pripadaju i drugome
primjer 1:
A = {a, b, c, d, e} B = {b, c, f, g, h}

A B
.e .a .b .f
.g
.d .c
.h

A \ B = {a, d, e} B \ A = {f, g, h}
primjer 2:
restrukturiranje tvrtke = otputanje radnika
A = skup KV djelatnika, B = skup djelatnika mlaih od 30
A \ B = svi KV djelatnici s 30 ili vie
B \ A = nisu KV i mlai su od 30 = kandidati za otputanje
DEF: razliku skupova S1 i S2 ine oni elts skupa S1 koji ne pripadaju S2
S1 \ S2 = {x | x S1 i x S2}
skupovi A \ B i B \ A uvijek su disjunktni ( im je { }) 52
Odnosi meu skupovima 10
z svojstva razlike:
nekomutativnost: !razlika skupova jednosmjerna je operacija
A\BB\A
neasocijativnost:
(A \ B) \ C = (A \ C) \ B 
!ali (A \ B) \ C A \ (B \ C) 
operacije s { }:
S\{}=
S\{}=S
{}\S=
{}\S={}
S\S=
S\S={}

53
Odnosi meu skupovima 11

z simetrina razlika
unija obje razlike izmeu dva skupa
primjer:
A = {a, b, c, d, e} B = {b, c, f, g, h}

A B
.e .a .b .f
.g
.d .c
.h

A \ B = {a, d, e} B \ A = {f, g, h}
z simetrina razlika = (A \ B) (B \ A) = {a, d, e, f, g, h}
znak: A B
= log. ekskluzivno tj. rezultat = elts koji pripadaju jednom ili drugom
skupu, ali ne i njihovu presjeku
z promotrimo sljedeu tvrdnju:
(A \ B) (B \ A) = (A B) \ (A B)

54
Relacije 0

z do sada: promatrali smo

odnose meu cijelim skupovima
nismo se obazirali na odnose meu elts
z od sada: odnosi meu elts
istoga skupa
razliitih skupova
z relacija (= odnos) izmeu elts mogu biti:
uzajamne (= dvosmjerne)
neuzajamne (= jednosmjerne)
npr: biti otac (1-smjerna relacija)
biti susjed (2-smjerna relacija)
2 elts (dvolana, binarna), 3 elts (trolana, trinarna)...
z prikaz relacija:
lukovima .y
zagradama .x .y
(x, y) = smjer x -> y
.x
(y, x) = smjer y -> x
55
Par 1

z posebna vrsta skupa = skup s 2 elts

{a, b}
z redoslijed elts u paru = bitan
par s DEF redoslijedom = ureeni par (a, b)
par bez DEF redoslijeda = neureeni par {a, b}
ureeni par: (a, b) (b, a)
ureenost = relacija izmeu elts
biti otac (Ivan, Marko) ili (Marko, Ivan)
??biti otac (Ivana, Marko)??!!!
biti brati (Ivan, Marko)
z math. pojam ureenoga para:
DEF: (x, y) = skup dvaju po redu poredanih elts
z = {(x, y)} ?
z relacija ureenosti: moe se proiriti i na vei broj elts =>
ureene trojke: (x, y, z)
ureene etvorke: (a, b, c, d)
ureene n-torke: (a1, a2, ... an) 56
Direktni produkt skupova 1

z mnoenje skupova = Kartezijev umnoak = Kartezijevo polje

A = {a, b, c} B = {x, y}
kombiniranje elts iz oba skupa
u ureene parove
1. lan para iz prvoga skupa
2. lan para iz drugoga skupa
A B = {(a, x), (a, y), (b, x), (b, y), (c, x), (c, y)}
tablini prikaz A B:
AxB x y
a (a, x) (a, y) A
b (b, x) (b, y) B
c (c, x) (c, y) .a .x
? koliko elts ima A B?
? koji su? .b
z Kartezijev produkt symb.
(x, y) A B (x A i y B)
.y
.c

57
Direktni produkt skupova 2

z produkt skupova koji nisu disjunktni

A = {a, k, l} B = {k, l, n}
A B = {(a, k), (a, l), (a, n), (k, k), (k, l), (k, n), (l, k), (l, l), (l, n)}
!crte
z produkt skupa sa samim sobom
A = {a, b, c}
A A = A2 = {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)}
!crte
z produkt tri skupa
R = {m, f, n}
B = {sg, pl}
P = {N, G, D, A, V, L, I}
!crte
R B P = {(m,sg,N), (m,sg,G), (m,sg,D), (m,sg,A), (m,sg,V), (m,sg,L), (m,sg,I),
(m,pl,N), (m,pl,G), (m,pl,D), (m,pl,A), (m,pl,V), (m,pl,L), (m,pl,I), (f,sg,N), (f,sg,G),
(f,sg,D), (f,sg,A), (f,sg,V), (f,sg,L), (f,sg,I), (f,pl,N), (f,pl,G), (f,pl,D), (f,pl,A), (f,pl,V),
(f,pl,L), (f,pl,I), (n,sg,N), (n,sg,G), (n,sg,D), (n,sg,A), (n,sg,V), (n,sg,L), (n,sg,I),
(n,pl,N), (n,pl,G), (n,pl,D), (n,pl,A), (n,pl,V), (n,pl,L), (n,pl,I)}
58