INSILMI L CLkA2ICNI

(parLe 3)
SLefanla 8andlnl
1
ICNDAMLN1I DLLL'INICkMA1ICA
2
ICNDAMLN1I DLLL'INICkMA1ICA
IAMIGLIL DI INSILMI

La consueLudlne Lende a dlsunguere Lra slngoll
oggem ed lnsleml dl oggem, ma Lra quesLe
nozlonl non vl e una dlsunzlone conceuuale.
Ad esemplo: ognl uomo e un lnsleme dl cellule,
ma cl non esclude dl conslderare lnsleml l cul
elemenu slano uomlnl, ad esemplo una famlglla
o una classe, a sua volLa un condomlnlo e un
lnsleme dl famlglle, cosl come una scuola e un
lnsleme dl classl. uunque non e escluso dl poLer
conslderare lnsleml l cul elemenu slano a loro
volLa lnsleml.

er una sempllce quesuone dl gusLo llngulsuco
non sl parla quasl mal dl lnsleme dl lnsleml", ma
sl preferlsce, come slnonlmo, famlglla dl
lnsleml".
3
ICNDAMLN1I DLLL'INICkMA1ICA
IAMIGLIL DI INSILMI


una fam|g||a e una collezlone dl elemenu che conslsLe ln un lnsleme dl lndlcl e ln una
funzlone che ad ognl lndlce assocla un unlco elemenLo della famlglla.

lormalmenLe, una famlglla e una Lrlpla

<!, ", #>

dl lnsleml ! e " e una funzlone surlemva$#: " - !.

Ad esemplo, una famlglla ordlnaLa e una famlglla denlLa su un lnsleme dl lndlcl
ordlnaLo.
4
ICNDAMLN1I DLLL'INICkMA1ICA
IAMIGLIL DI INSILMI

3
ICNDAMLN1I DLLL'INICkMA1ICA
6
ICNDAMLN1I DLLL'INICkMA1ICA
7
ICNDAMLN1I DLLL'INICkMA1ICA
8
ICNDAMLN1I DLLL'INICkMA1ICA
INSILMI CkDINA1I
CuanLo nora sLudlaLo a proposlLo
del conceuo dl |ns|eme non fa
rlferlmenLo all'ordlne con cul gll
elemenu dl un lnsleme sono
elencau.
$
L' per uule, ln deLermlnau casl,
s p e c l c a r e u n p a r uc ol a r e
CkDINAMLN1C all'lnLerno dl un
daLo lnsleme
9
ICNDAMLN1I DLLL'INICkMA1ICA
10
ICNDAMLN1I DLLL'INICkMA1ICA
11
ICNDAMLN1I DLLL'INICkMA1ICA
12
ICNDAMLN1I DLLL'INICkMA1ICA
13
ICNDAMLN1I DLLL'INICkMA1ICA
14
ICNDAMLN1I DLLL'INICkMA1ICA
kCDC11C CAk1LSIANC

uau due lnsleml non vuou ! e % sl denlsce prodouo carLeslano

! ! %$&$'$(x, y) | x " !) y " %*$$
#
dove ll slmbolo (x, y) denoLa una coppla ordlnaLa, cloe un lnsleme dl due
elemenu nel quale speclchlamo chl e ll prlmo elemenLo e chl e ll secondo.

nel caso ln cul almeno uno del due lnsleml ! o % sla vuoLo, ll loro prodouo
CarLeslano e |'|ns|eme vuoto.

ln generale ! ! %$$= $% ! !. nel caso ln cul !$&$%$ll prodouo ! ! %$ sl
denoLa anche con !
+
.
13
ICNDAMLN1I DLLL'INICkMA1ICA
kCDC11C CAk1LSIANC

una rappresenLazlone graca del prodouo CarLeslano dl due lnsleml.
16
ICNDAMLN1I DLLL'INICkMA1ICA
17
ICNDAMLN1I DLLL'INICkMA1ICA
DAL kCDC11C CAk1LSIANC ALLL kLLA2ICNI

Se a ! ! %$$,--,#./01202 Luue le copple ordlnaLe cosuLulLe da
un prlmo elemenLo Lra ! e e da un secondo elemenLo Lrauo da
%, ognl souolnsleme dl ! ! % poLra essere conslderaLo come
una kLLA2ICNL Lra gll elemenu dl !$e quelll dl$%, espllclLaLa da
speclche proprleLa
18
ICNDAMLN1I DLLL'INICkMA1ICA
Cgn| re|az|one ammeue sempre |a re|az|one |nversa.

LSLMIC

Conslderlamo gll lnsleml:
! = [Arno, o, 1evere} e$%$= [llrenze, lsa, 1orlno}

Conslderlamo ll loro prodouo carLeslano
! ! %$ = [<Arno, llrenze>, <Arno, lsa>, <Arno, 1orlno>, <o, llrenze>, <o,
lsa>, <o, 1orlno>, <1evere, llrenze>, <1evere, lsa>, <1evere, 1orlno>}

1ra Luue le copple avenu per prlmo elemenLo un elemenLo dl S (un ume) e per
secondo un elemenLo dl 1 (una clua), lndlvldulamo quelle cosuLulLe dal nome dl
un ume e da quello dl una clua bagnaLa da quel ume

8 = [<Arno, llrenze>, <Arno, lsa>, <o, 1orlno>}

19
ICNDAMLN1I DLLL'INICkMA1ICA
Cgn| re|az|one ammeue sempre |a re|az|one |nversa.

ll souolnsleme 8 dl ! ! %$ e carauerlzzaLo esauamenLe dalla proprleLa che Luue
(e solLanLo) le copple ad esso apparLenenu sono cosuLulLe 3,$40$546/$/$3,$40,$
789:$;,10,.,$3,$/<<2=$
$
">$<29280<8/6/$?$@$402$3/8$-2<<8;8>8$<29280<8/68$38$! ! %$$
$
A>.#8$ <29280<8/68$ -2<<202$ /<</#/$ 8038B834,C$ 6/38,0./$ >,$ 3/508D8/0/$ 38$ ,>.#/$
#/>,D8208$3/02.,./$3,$<-/7857E/$-#2-#8/.:
$

DAL kCDC11C CAk1LSIANC ALLL kLLA2ICNI

20
ICNDAMLN1I DLLL'INICkMA1ICA
Se sl consldera la coppla <x, y> apparLenenLe a un daLo souolnsleme 8 dl ! !
%, sl dlce che l'elemenLo F ! ha come corrlspondenLe G %$nella relazlone 8,
oppure, plu sempllcemenLe, che

x e ln relazlone con y

una relazlone, come ognl souolnsleme del prodouo carLeslano fra lnsleml, pu
essere rappresenLaLa gracamenLe con una Labella


DAL kCDC11C CAk1LSIANC ALLL kLLA2ICNI

Arno o 1evere
1orlno -
lsa -
llrenze -
21
ICNDAMLN1I DLLL'INICkMA1ICA
Cgn| re|az|one ammeue sempre |a re|az|one |nversa.

kLLA2ICNI 8INAkIL

22
ICNDAMLN1I DLLL'INICkMA1ICA
kLLA2ICNI 0HAkIL

23
ICNDAMLN1I DLLL'INICkMA1ICA
CLkA2ICNI SU kLLA2ICNI

24
ICNDAMLN1I DLLL'INICkMA1ICA
23
ICNDAMLN1I DLLL'INICkMA1ICA
26
ICNDAMLN1I DLLL'INICkMA1ICA
INSILMI L CLkA2ICNI
(parLe 3)
Lnu
27
ICNDAMLN1I DLLL'INICkMA1ICA