PARTITIVNI SKUP i BULOVA ALGEBRA

Nemanja Tei, Jelena Stojanov

ntesic91@yahoo.com

APSTRAKT
U ovom radu nalaze se osnovne definicije i primeri iz obasti Teorija skupova: partitivni skup, osobine relacija,
relacija poretka, infimum, supremum, mrea, Haseovi dijagrami, komplementarna mrea, distributivnost, da bi
se na kraju dolo do definicije Bulove algebre.

Partitivni skup
Partitivni skup skupa A, oznaen sa P (A), je skup koji se sastoji od svih podskupova skupa A.
AB |A| = |B|
AB (x) (xA xB)
Primer:
S = {a,b,c}
P (S) = {x|xS}
|S|=3
| P (S)| =23=8
P (S) = { , {a}, {b}, {c}, {a.b}, {a.c}, {b,c}, {a,b,c}}
|x|=n | P (X)| = 2n A,B P (X)

Osobine relacija:
Refleksivnost (x) xA (x, x)
Antirefleksivnost (x) xA (x, x)
Simetrinost (x) (y) x,y A ((x, y) (y,x) )
Antisimetrinost (x) (y) x,y A ([(x, y) (y, x) x = y
Tranzitivnost (x) (y) (z) x,y,z A ( [(x, y) (y, z) (x, z) )

Relacija poretka
Relacija poretka (parcijalno ureenje) na R ako je refleksivna, antrisimetrina, tranzitivna. Ako je
relacija R na skupu A parcijalno ureenje onda je (A, R) parcijalno ureen skup ili ureeni skup sa
poretkom R. Ukoliko se podrazumeva parcijalno uredjenje R, onda se (A, R) moe jednostavnije
oznaiti sa A.

Supremum
Supremum skupa T je mS:
(aT) a m (bS) [a b m b]

Infimum
Infimum skupa T je kS:
(aT) k a (bS) [b a b a]

Mrea
Mrea je ureeni skup (S, ) koji je istovremeno i donja i gornja polumrea. Ureeni skup jeste mrea
ako i samo ako svaki njen dvoelemntni podskup ima i infimum i supremum. Mrea ( S, , ) je
ograniena ako S, smatramo ureeni skupom, ima najmanje gornje ogranienje i najvee donje
ogranienje, Najmanje gornje ogranienje je 1, a najvee donje je 0. Ekvivalentno, mrea je
ograniena ako postoje elementi 0,1 S takvi da 0 a = 0 i 1 a = 1 za svako aS.
Teorema: Svaka konana mrea ima svoj najmanji i najvei element.

Najvei element skupa T: V T, (aT) a V

Najmanji element skupa T: U T, (aT) U a
Maksimalan element skupa T: p T, (aT) p a
Minimalan element skupa T: s T, (aT) a s

Primer:
A={1,2,3,4,6,9,12,18}
12 18

Najvei element skupa: nema

4 6 9 Najmanji element skupa: 1
Maksimalan element skupa: 12,18
Minimalan element skupa: 1
2 3

Haseovi dijagrami
Haseovi dijagrami su uobiajena alatka za prikazivanje ureeni skupa. Sastoji se iz kolekcije taaka i
linija gde take predstavljaju elemente skupa
Primer:
S = { 1, 2, 3, 5, 6, 10, 15, 30}

30

15

10

1
Komplement
Skup iji elementi nisu elementi skupa S zovemo komplement skupa S u odnosu na skup Z i
oznaavamo ga sa S:
S = }

Komplementarna mrea
Komplementarna mrea je ona u kojoj svaki element ima svoj komplement. Kod komplementa
najmanji element je infimum, a najvei je supremum.
Distributivnost
a (b c) = (a b) (a c)
a (b c) = (a b) (a c)

Bulova algebra
Mrea koja je i komplementarna i distributivna naziva se Bulova algebra.

Specijalni slucaj koji se koristi u domenu informatike jeste: Bulova algebra je ograniena distributivna
mrea (S, +, ) koja ima unarni operator nad skupom S tako da x + x = 1 i x x = 0. Za x S, x
zove se komplement od x. Stoga Bulova algebra, koju emo oznaavati sa (S, +, , , 1, 0), za svako x,
y, z S ima sledea svojstva:

(1) Asocijativnost
(2) Komutativnost
(3) Distributivnost
(4) Komplementi
(5) Neutralni elementi

Primer 1.
X={1}
P (X)={ ,1}
(P (X), ) Bulova algebra

x=1

=0

Primer 2.
S={a,b}
P (S)={ ,{a},{b}, S}
(P (S), ) Bulova algebra
Primer 3.
N={a,b,c}
P (N)={ ,{a},{b},{c},{a,b},{a,c},{b,c},N}
(P (N), ) Bulova algebra

LITERATURA

[1] James Andrew Anderson, Diskretna matematika sa kombinatorikom, 2005.

[2] . Mijajlovi, Algebra 1, 1993.
[3] Gradimir V. Milovanovi & Radosav .orevi, Linearna Algebra, 2004.
[4] www.wikipedia.org