08.08.2013 Views

Hulgad, tehted hulkadega. Hulga elementide loendamine - Cs.ioc.ee

Hulgad, tehted hulkadega. Hulga elementide loendamine - Cs.ioc.ee

Hulgad, tehted hulkadega. Hulga elementide loendamine - Cs.ioc.ee

SHOW MORE
SHOW LESS

Transform your PDFs into Flipbooks and boost your revenue!

Leverage SEO-optimized Flipbooks, powerful backlinks, and multimedia content to professionally showcase your products and significantly increase your reach.

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

HULGATEOORIA ELEMENTE<br />

T<strong>ee</strong>ma 2<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Loengu kava<br />

1 Millised <strong>ee</strong>lteadmised on vajalikud?<br />

(Naiivne) hulgateooria<br />

Tehted <strong>hulkadega</strong><br />

2 <strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Järgmine punkt<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

1 Millised <strong>ee</strong>lteadmised on vajalikud?<br />

(Naiivne) hulgateooria<br />

Tehted <strong>hulkadega</strong><br />

2 <strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

(Naiivne) hulgateooria<br />

Definitsioon<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

"Hulk on selline kindlate ja omavahel<br />

erinevate meie mõttes või kaemuses asuvate<br />

objektide kogum, millest saab mõelda kui<br />

tervikust. Neid objekte nimetatakse hulga<br />

<strong>elementide</strong>ks."<br />

Georg Cantor<br />

(1845–1918)<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

(Naiivne) hulgateooria<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

1870. aastad: nn naiivne hulgateooria, G. Cantor.<br />

1899–1902: paradoksid hulgateoorias (nt Russelli paradoks).<br />

1908: aksiomaatiline hulgateooria, E. Zermelo<br />

1922–1930: hulgateooria aksiomaatika täiustamine (ZF ja ZFC),<br />

A. Fraenkel<br />

1937: "Matemaatika "uute aluste" (NF) aksiomaatika, W.V.O. Quine<br />

1969: NF aksiomaatika täiustamine (NFU), R.B. Jensen<br />

– Paljudes matemaatika harudes kasutatakse siiamaani<br />

naiivset hulgateooriat, ka meie vaatleme seda.<br />

– Aksiomaatilist hulgateooriat kasutatakse seal, kus on<br />

oluline vältida hulgateor<strong>ee</strong>tilisi paradokse või uurida<br />

teatavate matemaatiliste probl<strong>ee</strong>mide põhimõttelist<br />

lahenduvust/mittelahenduvust.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

(Naiivne) hulgateooria<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

1870. aastad: nn naiivne hulgateooria, G. Cantor.<br />

1899–1902: paradoksid hulgateoorias (nt Russelli paradoks).<br />

1908: aksiomaatiline hulgateooria, E. Zermelo<br />

1922–1930: hulgateooria aksiomaatika täiustamine (ZF ja ZFC),<br />

A. Fraenkel<br />

1937: "Matemaatika "uute aluste" (NF) aksiomaatika, W.V.O. Quine<br />

1969: NF aksiomaatika täiustamine (NFU), R.B. Jensen<br />

– Paljudes matemaatika harudes kasutatakse siiamaani<br />

naiivset hulgateooriat, ka meie vaatleme seda.<br />

– Aksiomaatilist hulgateooriat kasutatakse seal, kus on<br />

oluline vältida hulgateor<strong>ee</strong>tilisi paradokse või uurida<br />

teatavate matemaatiliste probl<strong>ee</strong>mide põhimõttelist<br />

lahenduvust/mittelahenduvust.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

(Naiivne) hulgateooria<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

1870. aastad: nn naiivne hulgateooria, G. Cantor.<br />

1899–1902: paradoksid hulgateoorias (nt Russelli paradoks).<br />

1908: aksiomaatiline hulgateooria, E. Zermelo<br />

1922–1930: hulgateooria aksiomaatika täiustamine (ZF ja ZFC),<br />

A. Fraenkel<br />

1937: "Matemaatika "uute aluste" (NF) aksiomaatika, W.V.O. Quine<br />

1969: NF aksiomaatika täiustamine (NFU), R.B. Jensen<br />

– Paljudes matemaatika harudes kasutatakse siiamaani<br />

naiivset hulgateooriat, ka meie vaatleme seda.<br />

– Aksiomaatilist hulgateooriat kasutatakse seal, kus on<br />

oluline vältida hulgateor<strong>ee</strong>tilisi paradokse või uurida<br />

teatavate matemaatiliste probl<strong>ee</strong>mide põhimõttelist<br />

lahenduvust/mittelahenduvust.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

<strong>Hulga</strong>teoorias kasutatava tähistused<br />

Hulki tähistatakse tavaliselt suurte ladina tähtedega A,B,C<br />

jne, hulga elemente aga väikeste ladina tähtedega a,b,c jne.<br />

Kui element a kuulub hulka A, siis kirjutame a ∈ A, vastasel<br />

korral a /∈ A.<br />

Hulki kirjeldatakse tavaliselt kas <strong>elementide</strong> loeteluna kujul<br />

{a,b,...}<br />

elemente iseloomustava tingimuse või moodustamise <strong>ee</strong>skirja<br />

kaudu kujul<br />

{x|P(x)}<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

<strong>Hulga</strong>teoorias kasutatava tähistused<br />

Hulki tähistatakse tavaliselt suurte ladina tähtedega A,B,C<br />

jne, hulga elemente aga väikeste ladina tähtedega a,b,c jne.<br />

Kui element a kuulub hulka A, siis kirjutame a ∈ A, vastasel<br />

korral a /∈ A.<br />

Hulki kirjeldatakse tavaliselt kas <strong>elementide</strong> loeteluna kujul<br />

{a,b,...}<br />

elemente iseloomustava tingimuse või moodustamise <strong>ee</strong>skirja<br />

kaudu kujul<br />

{x|P(x)}<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

<strong>Hulga</strong>teoorias kasutatava tähistused<br />

Hulki tähistatakse tavaliselt suurte ladina tähtedega A,B,C<br />

jne, hulga elemente aga väikeste ladina tähtedega a,b,c jne.<br />

Kui element a kuulub hulka A, siis kirjutame a ∈ A, vastasel<br />

korral a /∈ A.<br />

Hulki kirjeldatakse tavaliselt kas <strong>elementide</strong> loeteluna kujul<br />

{a,b,...}<br />

elemente iseloomustava tingimuse või moodustamise <strong>ee</strong>skirja<br />

kaudu kujul<br />

{x|P(x)}<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade näiteid<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Hulk <strong>elementide</strong>ga a,b on {a,b}.<br />

Arvuhulgad:<br />

naturaalarvude hulk N = {0,1,2,...}<br />

täisarvude hulk Z = {...,−2,−1,0,1,2,...}<br />

ratsionaalarvude hulk Q = {q|q = m<br />

n ,m ∈ Z,n ∈ {1,2,3,...}}<br />

reaalarvude hulk R<br />

kompleksarvude hulk C = {z|z = x + iy,x,y ∈ R,i 2 = −1}<br />

Intervallid:<br />

lõik [a,b] = {x|x ∈ R,a x b}<br />

vahemik (a,b) = {x|x ∈ R,a < x < b}<br />

poollõik [a,b) = {x|x ∈ R,a x < b}<br />

poollõik (a,b] = {x|x ∈ R,a < x b}<br />

Tühi hulk /0: hulk, milles pole ühtegi elementi.<br />

Kas kõigi hulkade hulk on hulk?<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Alamhulgad<br />

Definitsioon<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahte hulka loeme võrdseteks, kui nad koosnevad samadest<br />

<strong>elementide</strong>st. Elementide järjestus ega muud <strong>elementide</strong><br />

omavahelised vahekorrad olulised ei ole.<br />

Definitsioon<br />

Hulka A nimetatakse hulga B alamhulgaks ehk osahulgaks, kui kõik<br />

hulga A elemendid kuuluvad ka hulka B. Hulka B nimetatakse<br />

hulga A ülemhulgaks.<br />

Tähistused: A ⊆ B või A ⊂ B või B ⊇ A või B ⊃ A.<br />

Definitsioon<br />

Hulka A nimetatakse hulga B pärisalamhulgaks (tähistus A ⊂ B või<br />

A B), kui hulk A on hulga B alamhulk ja A = B.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Alamhulgad<br />

Definitsioon<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahte hulka loeme võrdseteks, kui nad koosnevad samadest<br />

<strong>elementide</strong>st. Elementide järjestus ega muud <strong>elementide</strong><br />

omavahelised vahekorrad olulised ei ole.<br />

Definitsioon<br />

Hulka A nimetatakse hulga B alamhulgaks ehk osahulgaks, kui kõik<br />

hulga A elemendid kuuluvad ka hulka B. Hulka B nimetatakse<br />

hulga A ülemhulgaks.<br />

Tähistused: A ⊆ B või A ⊂ B või B ⊇ A või B ⊃ A.<br />

Definitsioon<br />

Hulka A nimetatakse hulga B pärisalamhulgaks (tähistus A ⊂ B või<br />

A B), kui hulk A on hulga B alamhulk ja A = B.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Alamhulgad<br />

Definitsioon<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahte hulka loeme võrdseteks, kui nad koosnevad samadest<br />

<strong>elementide</strong>st. Elementide järjestus ega muud <strong>elementide</strong><br />

omavahelised vahekorrad olulised ei ole.<br />

Definitsioon<br />

Hulka A nimetatakse hulga B alamhulgaks ehk osahulgaks, kui kõik<br />

hulga A elemendid kuuluvad ka hulka B. Hulka B nimetatakse<br />

hulga A ülemhulgaks.<br />

Tähistused: A ⊆ B või A ⊂ B või B ⊇ A või B ⊃ A.<br />

Definitsioon<br />

Hulka A nimetatakse hulga B pärisalamhulgaks (tähistus A ⊂ B või<br />

A B), kui hulk A on hulga B alamhulk ja A = B.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Alamhulkade näiteid<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

<strong>Hulga</strong>l {a} on järgmised alamhulgad: /0,{a}.<br />

<strong>Hulga</strong>l {a,b} on järgmised alamhulgad: /0,{a},{b},{a,b}.<br />

Tühi hulk /0 on iga hulga alamhulk (sealhulgas ka tühja hulga<br />

enda).<br />

Arvuhulkade vahel kehtivad sisalduvused N ⊂ Z ⊂ Q ⊂ R ⊂ C.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Hulkade sisalduvusseose omadusi<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

1 Refleksiivsus: iga hulga A korral A ⊆ A<br />

2 Antisümm<strong>ee</strong>trilisus: kui A ⊆ B ja B ⊆ A, siis A = B<br />

3 Transitiivsus: kui A ⊆ B ja B ⊆ C, siis A ⊆ C<br />

Antisümm<strong>ee</strong>trilisuse omadust kasutatakse sageli siis, kui on vaja<br />

tõestada, et kaks hulka on võrdsed.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Järgmine punkt<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

1 Millised <strong>ee</strong>lteadmised on vajalikud?<br />

(Naiivne) hulgateooria<br />

Tehted <strong>hulkadega</strong><br />

2 <strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Ühend<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B ühendiks nimetatakse hulka A ∪ B, mis<br />

koosneb nii hulga A kui ka hulga B <strong>elementide</strong>st:<br />

A ∪ B = {x|x ∈ A või x ∈ B}<br />

Mitme hulga Ai, kus i ∈ I , ühend<br />

<br />

koosneb kõigist niisugustest <strong>elementide</strong>st, mis kuuluvad<br />

vähemalt ühte hulkadest Ai.<br />

Venni diagramm<br />

i∈I<br />

Ai<br />

A B<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Ühend<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B ühendiks nimetatakse hulka A ∪ B, mis<br />

koosneb nii hulga A kui ka hulga B <strong>elementide</strong>st:<br />

A ∪ B = {x|x ∈ A või x ∈ B}<br />

Mitme hulga Ai, kus i ∈ I , ühend<br />

<br />

koosneb kõigist niisugustest <strong>elementide</strong>st, mis kuuluvad<br />

vähemalt ühte hulkadest Ai.<br />

Venni diagramm<br />

i∈I<br />

Ai<br />

A B<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Ühend<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B ühendiks nimetatakse hulka A ∪ B, mis<br />

koosneb nii hulga A kui ka hulga B <strong>elementide</strong>st:<br />

A ∪ B = {x|x ∈ A või x ∈ B}<br />

Mitme hulga Ai, kus i ∈ I , ühend<br />

<br />

koosneb kõigist niisugustest <strong>elementide</strong>st, mis kuuluvad<br />

vähemalt ühte hulkadest Ai.<br />

Venni diagramm<br />

i∈I<br />

Ai<br />

A B<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Näiteid hulkade ühendamisest<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kui A = {1,2,3,4} ja B = {1,3,5,7}, siis<br />

A ∪ B = {1,2,3,4,5,7}.<br />

Kui Ai = [i − 1 1<br />

2 ,i + 2 ], kus i ∈ Z, siis<br />

<br />

Ai = R<br />

i∈Z<br />

.<br />

Kui Aa,b = (a,b), kus a,b ∈ Q, siis<br />

<br />

Aa,b = R<br />

a,b∈Q<br />

.<br />

Kõikide hulkade A ja B korral A ⊆ A ∪ B ja B ⊆ A ∪ B.<br />

Iga hulga A korral <br />

{a} = A<br />

.<br />

a∈A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Näiteid hulkade ühendamisest<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kui A = {1,2,3,4} ja B = {1,3,5,7}, siis<br />

A ∪ B = {1,2,3,4,5,7}.<br />

Kui Ai = [i − 1 1<br />

2 ,i + 2 ], kus i ∈ Z, siis<br />

<br />

Ai = R<br />

i∈Z<br />

.<br />

Kui Aa,b = (a,b), kus a,b ∈ Q, siis<br />

<br />

Aa,b = R<br />

a,b∈Q<br />

.<br />

Kõikide hulkade A ja B korral A ⊆ A ∪ B ja B ⊆ A ∪ B.<br />

Iga hulga A korral <br />

{a} = A<br />

.<br />

a∈A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Näiteid hulkade ühendamisest<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kui A = {1,2,3,4} ja B = {1,3,5,7}, siis<br />

A ∪ B = {1,2,3,4,5,7}.<br />

Kui Ai = [i − 1 1<br />

2 ,i + 2 ], kus i ∈ Z, siis<br />

<br />

Ai = R<br />

i∈Z<br />

.<br />

Kui Aa,b = (a,b), kus a,b ∈ Q, siis<br />

<br />

Aa,b = R<br />

a,b∈Q<br />

.<br />

Kõikide hulkade A ja B korral A ⊆ A ∪ B ja B ⊆ A ∪ B.<br />

Iga hulga A korral <br />

{a} = A<br />

.<br />

a∈A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Näiteid hulkade ühendamisest<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kui A = {1,2,3,4} ja B = {1,3,5,7}, siis<br />

A ∪ B = {1,2,3,4,5,7}.<br />

Kui Ai = [i − 1 1<br />

2 ,i + 2 ], kus i ∈ Z, siis<br />

<br />

Ai = R<br />

i∈Z<br />

.<br />

Kui Aa,b = (a,b), kus a,b ∈ Q, siis<br />

<br />

Aa,b = R<br />

a,b∈Q<br />

.<br />

Kõikide hulkade A ja B korral A ⊆ A ∪ B ja B ⊆ A ∪ B.<br />

Iga hulga A korral <br />

{a} = A<br />

.<br />

a∈A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Näiteid hulkade ühendamisest<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kui A = {1,2,3,4} ja B = {1,3,5,7}, siis<br />

A ∪ B = {1,2,3,4,5,7}.<br />

Kui Ai = [i − 1 1<br />

2 ,i + 2 ], kus i ∈ Z, siis<br />

<br />

Ai = R<br />

i∈Z<br />

.<br />

Kui Aa,b = (a,b), kus a,b ∈ Q, siis<br />

<br />

Aa,b = R<br />

a,b∈Q<br />

.<br />

Kõikide hulkade A ja B korral A ⊆ A ∪ B ja B ⊆ A ∪ B.<br />

Iga hulga A korral <br />

{a} = A<br />

.<br />

a∈A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Ühisosa<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B ühisosaks nimetatakse hulka A ∩ B, mis<br />

koosneb hulkade A ja B ühistest <strong>elementide</strong>st:<br />

A ∩ B = {x|x ∈ A ja x ∈ B}<br />

Mitme hulga Ai, kus i ∈ I , ühisosa<br />

<br />

i∈I<br />

koosneb kõigist niisugustest <strong>elementide</strong>st, mis kuuluvad igasse<br />

hulka Ai.<br />

Venni diagramm<br />

Ai<br />

A B<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Ühisosa<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B ühisosaks nimetatakse hulka A ∩ B, mis<br />

koosneb hulkade A ja B ühistest <strong>elementide</strong>st:<br />

A ∩ B = {x|x ∈ A ja x ∈ B}<br />

Mitme hulga Ai, kus i ∈ I , ühisosa<br />

<br />

i∈I<br />

koosneb kõigist niisugustest <strong>elementide</strong>st, mis kuuluvad igasse<br />

hulka Ai.<br />

Venni diagramm<br />

Ai<br />

A B<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Näiteid hulkade ühisosa võtmisest<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kui A = {1,2,3,4} ja B = {1,3,5,7}, siis A ∩ B = {1,3}.<br />

Kui An = (− 1 1<br />

n+1 , n+1 ), kus n ∈ N, siis<br />

<br />

.<br />

n∈N<br />

An = {0}<br />

Kui An = (0, 1<br />

n+1 ), kus n ∈ N, siis<br />

<br />

An = /0<br />

.<br />

n∈N<br />

Kõikide hulkade A ja B korral A ∩ B ⊆ A ja A ∩ B ⊆ B.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Näiteid hulkade ühisosa võtmisest<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kui A = {1,2,3,4} ja B = {1,3,5,7}, siis A ∩ B = {1,3}.<br />

Kui An = (− 1 1<br />

n+1 , n+1 ), kus n ∈ N, siis<br />

<br />

.<br />

n∈N<br />

An = {0}<br />

Kui An = (0, 1<br />

n+1 ), kus n ∈ N, siis<br />

<br />

An = /0<br />

.<br />

n∈N<br />

Kõikide hulkade A ja B korral A ∩ B ⊆ A ja A ∩ B ⊆ B.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Näiteid hulkade ühisosa võtmisest<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kui A = {1,2,3,4} ja B = {1,3,5,7}, siis A ∩ B = {1,3}.<br />

Kui An = (− 1 1<br />

n+1 , n+1 ), kus n ∈ N, siis<br />

<br />

.<br />

n∈N<br />

An = {0}<br />

Kui An = (0, 1<br />

n+1 ), kus n ∈ N, siis<br />

<br />

An = /0<br />

.<br />

n∈N<br />

Kõikide hulkade A ja B korral A ∩ B ⊆ A ja A ∩ B ⊆ B.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Näiteid hulkade ühisosa võtmisest<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kui A = {1,2,3,4} ja B = {1,3,5,7}, siis A ∩ B = {1,3}.<br />

Kui An = (− 1 1<br />

n+1 , n+1 ), kus n ∈ N, siis<br />

<br />

.<br />

n∈N<br />

An = {0}<br />

Kui An = (0, 1<br />

n+1 ), kus n ∈ N, siis<br />

<br />

An = /0<br />

.<br />

n∈N<br />

Kõikide hulkade A ja B korral A ∩ B ⊆ A ja A ∩ B ⊆ B.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Ühendi ja ühisosa omadused<br />

Idempotentsus:<br />

Kommutatiivsus:<br />

Assotsiatiivsus<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A ∪ A = A, A ∩ A = A<br />

A ∪ B = B ∪ A, A ∩ B = B ∩ A<br />

(A ∪ B) ∪ C = A ∪ (B ∪ C), (A ∩ B) ∩ C = A ∩ (B ∩ C)<br />

Distributiivsus<br />

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C), A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)<br />

N<strong>ee</strong>lduvus<br />

A ∪ (A ∩ B) = A, A ∩ (A ∪ B) = A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Ühendi ja ühisosa omadused<br />

Idempotentsus:<br />

Kommutatiivsus:<br />

Assotsiatiivsus<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A ∪ A = A, A ∩ A = A<br />

A ∪ B = B ∪ A, A ∩ B = B ∩ A<br />

(A ∪ B) ∪ C = A ∪ (B ∪ C), (A ∩ B) ∩ C = A ∩ (B ∩ C)<br />

Distributiivsus<br />

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C), A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)<br />

N<strong>ee</strong>lduvus<br />

A ∪ (A ∩ B) = A, A ∩ (A ∪ B) = A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Ühendi ja ühisosa omadused<br />

Idempotentsus:<br />

Kommutatiivsus:<br />

Assotsiatiivsus<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A ∪ A = A, A ∩ A = A<br />

A ∪ B = B ∪ A, A ∩ B = B ∩ A<br />

(A ∪ B) ∪ C = A ∪ (B ∪ C), (A ∩ B) ∩ C = A ∩ (B ∩ C)<br />

Distributiivsus<br />

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C), A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)<br />

N<strong>ee</strong>lduvus<br />

A ∪ (A ∩ B) = A, A ∩ (A ∪ B) = A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Ühendi ja ühisosa omadused<br />

Idempotentsus:<br />

Kommutatiivsus:<br />

Assotsiatiivsus<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A ∪ A = A, A ∩ A = A<br />

A ∪ B = B ∪ A, A ∩ B = B ∩ A<br />

(A ∪ B) ∪ C = A ∪ (B ∪ C), (A ∩ B) ∩ C = A ∩ (B ∩ C)<br />

Distributiivsus<br />

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C), A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)<br />

N<strong>ee</strong>lduvus<br />

A ∪ (A ∩ B) = A, A ∩ (A ∪ B) = A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Ühendi ja ühisosa omadused<br />

Idempotentsus:<br />

Kommutatiivsus:<br />

Assotsiatiivsus<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A ∪ A = A, A ∩ A = A<br />

A ∪ B = B ∪ A, A ∩ B = B ∩ A<br />

(A ∪ B) ∪ C = A ∪ (B ∪ C), (A ∩ B) ∩ C = A ∩ (B ∩ C)<br />

Distributiivsus<br />

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C), A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)<br />

N<strong>ee</strong>lduvus<br />

A ∪ (A ∩ B) = A, A ∩ (A ∪ B) = A<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Täiend<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Tihti on käsitluses fiks<strong>ee</strong>ritud teatav hulk X ja kõik<br />

vaadeldavad hulgad on selle hulga alamhulgad. Sellisel juhul<br />

nimetatakse hulka X universaalseks. Nt võib universaalse<br />

hulga rollis olla kõigi reaalarvude hulk, tasandi kõigi punktide<br />

hulk jne.<br />

Olgu fiks<strong>ee</strong>ritud teatav universaalhulk X . <strong>Hulga</strong> A täiendiks<br />

nimetatakse kõigi nende hulga X <strong>elementide</strong> hulka A ′ , mis ei<br />

kuulu hulka A:<br />

A ′ = {x|x = A}.<br />

Venni diagramm<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria<br />

A


Täiendi omadusi<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

De Morgani seadused<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

(A ∪ B) ′ = A ′ ∩ B ′ , (A ∩ B) ′ = A ′ ∪ B ′<br />

Kahekordse täiendi seadus<br />

A ′′ = A<br />

Universaalse hulga ja tühja hulga r<strong>ee</strong>glid<br />

/0 ′ = X , X ′ = /0,<br />

A ∪ A ′ = X , A ∩ A ′ = /0<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Hulkade vahe<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B vaheks nimetatakse hulka A \ B, mis<br />

koosneb kõigist niisugustest <strong>elementide</strong>st, mis kuuluvad hulka<br />

A, aga ei kuulu hulka B:<br />

Venni diagramm<br />

A \ B = {x|x ∈ A ja x /∈ B}<br />

A B<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Hulkade sümm<strong>ee</strong>triline vahe<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B sümm<strong>ee</strong>triliseks vaheks nimetatakse hulka<br />

A△B, mis koosneb kõigist niisugustest <strong>elementide</strong>st, mis<br />

kuuluvad hulka A, aga ei kuulu hulka B, aga mitte mõlemasse<br />

korraga:<br />

A△B = {x|(x ∈ A ja x /∈ B) või (x /∈ A ja x ∈ B)}<br />

Venni diagramm<br />

= {x|x ∈ A \ B või x ∈ B \ A)}<br />

A B<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Sümm<strong>ee</strong>trilise vahe omadusi<br />

Kommutatiivsus<br />

Assotsiatiivsus<br />

Distributiivsus ühisosaga<br />

Seos teiste tehetega<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A△B = B△A<br />

(A△B)△C = A△(B△C)<br />

A ∩ (B△C) = (A ∩ B)△(A ∩ C)<br />

A△B = (A ∪ B) \ (A ∩ B)<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Hulkade otsekorrutis<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B otsekorrutiseks nimetatakse hulka A × B,<br />

mis koosneb kõigist järjestatud paaridest (x,y), kus x ∈ A ja<br />

y ∈ B:<br />

A × B = {(x,y)|x ∈ A ja y ∈ B}<br />

Paarides on <strong>elementide</strong> järjekord oluline.<br />

Lõpliku arvu hulkade A1,...,An otsekorrutis<br />

A1 × ... × An<br />

koosneb kõigist järjestatud n-elemendilistest komplektidest<br />

(x1,...,xn), kus x1 ∈ A1,...,xn ∈ An.<br />

Järjestatud n-elemendilisi komplekte nimetatakse kort<strong>ee</strong>žideks<br />

või vektoriteks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Hulkade otsekorrutis<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B otsekorrutiseks nimetatakse hulka A × B,<br />

mis koosneb kõigist järjestatud paaridest (x,y), kus x ∈ A ja<br />

y ∈ B:<br />

A × B = {(x,y)|x ∈ A ja y ∈ B}<br />

Paarides on <strong>elementide</strong> järjekord oluline.<br />

Lõpliku arvu hulkade A1,...,An otsekorrutis<br />

A1 × ... × An<br />

koosneb kõigist järjestatud n-elemendilistest komplektidest<br />

(x1,...,xn), kus x1 ∈ A1,...,xn ∈ An.<br />

Järjestatud n-elemendilisi komplekte nimetatakse kort<strong>ee</strong>žideks<br />

või vektoriteks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Hulkade otsekorrutis<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B otsekorrutiseks nimetatakse hulka A × B,<br />

mis koosneb kõigist järjestatud paaridest (x,y), kus x ∈ A ja<br />

y ∈ B:<br />

A × B = {(x,y)|x ∈ A ja y ∈ B}<br />

Paarides on <strong>elementide</strong> järjekord oluline.<br />

Lõpliku arvu hulkade A1,...,An otsekorrutis<br />

A1 × ... × An<br />

koosneb kõigist järjestatud n-elemendilistest komplektidest<br />

(x1,...,xn), kus x1 ∈ A1,...,xn ∈ An.<br />

Järjestatud n-elemendilisi komplekte nimetatakse kort<strong>ee</strong>žideks<br />

või vektoriteks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Hulkade otsekorrutis<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Kahe hulga A ja B otsekorrutiseks nimetatakse hulka A × B,<br />

mis koosneb kõigist järjestatud paaridest (x,y), kus x ∈ A ja<br />

y ∈ B:<br />

A × B = {(x,y)|x ∈ A ja y ∈ B}<br />

Paarides on <strong>elementide</strong> järjekord oluline.<br />

Lõpliku arvu hulkade A1,...,An otsekorrutis<br />

A1 × ... × An<br />

koosneb kõigist järjestatud n-elemendilistest komplektidest<br />

(x1,...,xn), kus x1 ∈ A1,...,xn ∈ An.<br />

Järjestatud n-elemendilisi komplekte nimetatakse kort<strong>ee</strong>žideks<br />

või vektoriteks.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Näited<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Kui A = {1,2,3} ja B = {a,b}, siis<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A × B = {(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)} .<br />

Kui A = B = [0,1], siis otsekorrutist A × B võib kujutada<br />

tasandi ühikruuduna.<br />

Kui A = {a,b,c,d,e,f ,g,h} ja B = {1,2,3,4,5,6,7,8}, siis<br />

otsekorrutist A × B võib vaadelda kui malelaua ruutude hulka.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Näited<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Kui A = {1,2,3} ja B = {a,b}, siis<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A × B = {(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)} .<br />

Kui A = B = [0,1], siis otsekorrutist A × B võib kujutada<br />

tasandi ühikruuduna.<br />

Kui A = {a,b,c,d,e,f ,g,h} ja B = {1,2,3,4,5,6,7,8}, siis<br />

otsekorrutist A × B võib vaadelda kui malelaua ruutude hulka.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Näited<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Kui A = {1,2,3} ja B = {a,b}, siis<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A × B = {(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)} .<br />

Kui A = B = [0,1], siis otsekorrutist A × B võib kujutada<br />

tasandi ühikruuduna.<br />

Kui A = {a,b,c,d,e,f ,g,h} ja B = {1,2,3,4,5,6,7,8}, siis<br />

otsekorrutist A × B võib vaadelda kui malelaua ruutude hulka.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Otseaste<br />

Näiteks:<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Otsekorrutist A × A nimetatakse hulga A otseruuduks ja<br />

tähistatakse A 2 .<br />

üldiselt, otsekorrutist A × ... × A, kus hulk A esineb n korda,<br />

nimetatakse hulga A n-daks otseastmeks ja tähistatakse A n .<br />

R 2 = R × R esitab tasandi kõigi punktide hulka<br />

R 3 = R × R × R esitab ruumi kõigi punktide hulka<br />

R n esitab n-mõõtmelise ruumi kõigi punktide hulka<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Otseaste<br />

Näiteks:<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

Otsekorrutist A × A nimetatakse hulga A otseruuduks ja<br />

tähistatakse A 2 .<br />

üldiselt, otsekorrutist A × ... × A, kus hulk A esineb n korda,<br />

nimetatakse hulga A n-daks otseastmeks ja tähistatakse A n .<br />

R 2 = R × R esitab tasandi kõigi punktide hulka<br />

R 3 = R × R × R esitab ruumi kõigi punktide hulka<br />

R n esitab n-mõõtmelise ruumi kõigi punktide hulka<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Otsekorrutise omadusi<br />

Otsekorrutis tühja hulgaga:<br />

Distributiivsus:<br />

<strong>Hulga</strong>teooria<br />

Tehted <strong>hulkadega</strong><br />

A × /0 = /0, /0 × A = /0<br />

A × (B ∪ C) = (A × B) ∪ (A × C)<br />

A × (B ∩ C) = (A × B) ∩ (A × C)<br />

A × (B \ C) = (A × B) \ (A × C)<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Järgmine punkt<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

1 Millised <strong>ee</strong>lteadmised on vajalikud?<br />

(Naiivne) hulgateooria<br />

Tehted <strong>hulkadega</strong><br />

2 <strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


<strong>Hulga</strong> võimsus<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

<strong>Hulga</strong> elemente ja nende erinevaid kombinatsioone on tarvis osata<br />

kokku lugeda, selleks et<br />

... osata ennustada teatud sündmuse esinemise<br />

tõenäosust;<br />

... hinnata ülesande lahendite ja lahendust<strong>ee</strong>de arvu;<br />

... hinnata algoritmi või programmi k<strong>ee</strong>rukust<br />

(ressursivajadust);<br />

... otsustada teatud algoritmide (nt krüptograafiliste,<br />

kod<strong>ee</strong>rimis- jne algoritmide) korrektsuse üle;<br />

...<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


<strong>Hulga</strong> võimsus<br />

Definitsioon<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Hulki A ja B nimetatakse võrdvõimsateks (tähistus |A| = |B| või<br />

A ∼ B), kui nende <strong>elementide</strong> vahel saab korraldada üksühese<br />

vastavuse.<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus on võrdvõimsate hulkade ekvivalentsiklass, kuhu<br />

kuulub vaadeldav hulk.<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus tähistavat sümbolit nimetatakse kardinaalarvuks.<br />

Lõpliku hulga kardinaalarvuks on selle hulga <strong>elementide</strong> arv:<br />

|{a1,...,an}| = n; lõpmatute hulkade kardinaalarvude korral<br />

kasutatatakse eritähiseid, nt ℵ0 tähistab loenduvat võimsust ja ℵ1<br />

kontiinumi võimsust.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


<strong>Hulga</strong> võimsus<br />

Definitsioon<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Hulki A ja B nimetatakse võrdvõimsateks (tähistus |A| = |B| või<br />

A ∼ B), kui nende <strong>elementide</strong> vahel saab korraldada üksühese<br />

vastavuse.<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus on võrdvõimsate hulkade ekvivalentsiklass, kuhu<br />

kuulub vaadeldav hulk.<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus tähistavat sümbolit nimetatakse kardinaalarvuks.<br />

Lõpliku hulga kardinaalarvuks on selle hulga <strong>elementide</strong> arv:<br />

|{a1,...,an}| = n; lõpmatute hulkade kardinaalarvude korral<br />

kasutatatakse eritähiseid, nt ℵ0 tähistab loenduvat võimsust ja ℵ1<br />

kontiinumi võimsust.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


<strong>Hulga</strong> võimsus<br />

Definitsioon<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Hulki A ja B nimetatakse võrdvõimsateks (tähistus |A| = |B| või<br />

A ∼ B), kui nende <strong>elementide</strong> vahel saab korraldada üksühese<br />

vastavuse.<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus on võrdvõimsate hulkade ekvivalentsiklass, kuhu<br />

kuulub vaadeldav hulk.<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus tähistavat sümbolit nimetatakse kardinaalarvuks.<br />

Lõpliku hulga kardinaalarvuks on selle hulga <strong>elementide</strong> arv:<br />

|{a1,...,an}| = n; lõpmatute hulkade kardinaalarvude korral<br />

kasutatatakse eritähiseid, nt ℵ0 tähistab loenduvat võimsust ja ℵ1<br />

kontiinumi võimsust.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpliku hulga võimsus<br />

A<br />

5<br />

2<br />

77<br />

50<br />

14<br />

B<br />

3<br />

12<br />

15<br />

0<br />

6<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

|A| = |B| = 5<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpliku hulga võimsus<br />

A<br />

5<br />

2<br />

77<br />

50<br />

14<br />

B<br />

3<br />

12<br />

15<br />

0<br />

6<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

|A| = |B| = 5<br />

f : A → B<br />

b = f (a) = 3(a − 2)<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpliku hulga võimsus<br />

A<br />

5<br />

2<br />

77<br />

50<br />

14<br />

B<br />

3<br />

12<br />

15<br />

0<br />

6<br />

3<br />

2<br />

C<br />

0<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

|A| = |B| = 5<br />

f : A → B<br />

b = f (a) = 3(a − 2)<br />

|A| = |B| > |C| = 3<br />

g : B → C<br />

c = g(b) = b MOD 4<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpliku hulga võimsus<br />

A<br />

5<br />

2<br />

77<br />

50<br />

14<br />

D<br />

varblane<br />

vares<br />

kurg<br />

jaanalind<br />

B<br />

3<br />

12<br />

15<br />

0<br />

6<br />

3<br />

2<br />

C<br />

0<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

|A| = |B| = 5<br />

f : A → B<br />

b = f (a) = 3(a − 2)<br />

|A| = |B| > |C| = 3<br />

g : B → C<br />

c = g(b) = b MOD 4<br />

<strong>Hulga</strong>l D olgu defin<strong>ee</strong>ritud järjestus:<br />

varblane < vares < kurg < jaanalind<br />

|| || || ||<br />

D = { d1 < d2 < d3 < d4 }<br />

h : D → C<br />

c = h(d) = i − 1, kui d = di ja i = 2<br />

|A| = |B| > |D| = 4 > |C|<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpliku hulga võimsus<br />

A<br />

5<br />

2<br />

77<br />

50<br />

14<br />

D<br />

varblane<br />

vares<br />

kurg<br />

jaanalind<br />

B<br />

3<br />

12<br />

15<br />

0<br />

6<br />

3<br />

2<br />

C<br />

0<br />

1<br />

C 1<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

|A| = |B| = 5<br />

f : A → B<br />

b = f (a) = 3(a − 2)<br />

|A| = |B| > |C| = 3<br />

g : B → C<br />

c = g(b) = b MOD 4<br />

<strong>Hulga</strong>l D olgu defin<strong>ee</strong>ritud järjestus:<br />

varblane < vares < kurg < jaanalind<br />

|| || || ||<br />

D = { d1 < d2 < d3 < d4 }<br />

h : D → C ′ ⊃ C<br />

c = h(d) = i − 1, kui d = di<br />

|A| = |B| > |D| = |C ′ |<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpliku hulga võimsus<br />

Omadus<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Kui A on lõpliku hulga B pärisalamhulk (A B), siis<br />

NB!<br />

|A| < |B|<br />

S<strong>ee</strong> omadus ei kehti lõpmatute hulkade korral!<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpliku hulga võimsus<br />

Omadus<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Kui A on lõpliku hulga B pärisalamhulk (A B), siis<br />

NB!<br />

|A| < |B|<br />

S<strong>ee</strong> omadus ei kehti lõpmatute hulkade korral!<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Hulka, mis on sama võimsusega nagu naturaalarvude hulk,<br />

nimetatakse loenduvaks hulgaks.<br />

Loenduvad on parajasti n<strong>ee</strong>d hulgad, mis on esitatavad<br />

lõpmatu jadana A = {a0,a1,a2,...}.<br />

Iga lõpmatu hulk sisaldab loenduvat alamhulka.<br />

Loenduva hulga iga lõpmatu alamhulk on samuti loenduv.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Hulka, mis on sama võimsusega nagu naturaalarvude hulk,<br />

nimetatakse loenduvaks hulgaks.<br />

Loenduvad on parajasti n<strong>ee</strong>d hulgad, mis on esitatavad<br />

lõpmatu jadana A = {a0,a1,a2,...}.<br />

Iga lõpmatu hulk sisaldab loenduvat alamhulka.<br />

Loenduva hulga iga lõpmatu alamhulk on samuti loenduv.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Hulka, mis on sama võimsusega nagu naturaalarvude hulk,<br />

nimetatakse loenduvaks hulgaks.<br />

Loenduvad on parajasti n<strong>ee</strong>d hulgad, mis on esitatavad<br />

lõpmatu jadana A = {a0,a1,a2,...}.<br />

Iga lõpmatu hulk sisaldab loenduvat alamhulka.<br />

Loenduva hulga iga lõpmatu alamhulk on samuti loenduv.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Loenduvate hulkade omadusi:<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

1 Loenduva hulga ja lõpliku hulga ühend on loenduv.<br />

2 Kahe loenduva hulga ühend on loenduv.<br />

3 Lõpliku hulga loenduvate hulkade ühend on loenduv.<br />

4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on<br />

loenduv.<br />

5 Loenduva hulga loenduvate hulkade ühend on loenduv.<br />

6 Ratsionaalarvude hulk on loenduv.<br />

7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste<br />

koordinaatidega punktide hulk on loenduv<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Loenduvate hulkade omadusi:<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

1 Loenduva hulga ja lõpliku hulga ühend on loenduv.<br />

2 Kahe loenduva hulga ühend on loenduv.<br />

3 Lõpliku hulga loenduvate hulkade ühend on loenduv.<br />

4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on<br />

loenduv.<br />

5 Loenduva hulga loenduvate hulkade ühend on loenduv.<br />

6 Ratsionaalarvude hulk on loenduv.<br />

7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste<br />

koordinaatidega punktide hulk on loenduv<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Loenduvate hulkade omadusi:<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

1 Loenduva hulga ja lõpliku hulga ühend on loenduv.<br />

2 Kahe loenduva hulga ühend on loenduv.<br />

3 Lõpliku hulga loenduvate hulkade ühend on loenduv.<br />

4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on<br />

loenduv.<br />

5 Loenduva hulga loenduvate hulkade ühend on loenduv.<br />

6 Ratsionaalarvude hulk on loenduv.<br />

7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste<br />

koordinaatidega punktide hulk on loenduv<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Loenduvate hulkade omadusi:<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

1 Loenduva hulga ja lõpliku hulga ühend on loenduv.<br />

2 Kahe loenduva hulga ühend on loenduv.<br />

3 Lõpliku hulga loenduvate hulkade ühend on loenduv.<br />

4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on<br />

loenduv.<br />

5 Loenduva hulga loenduvate hulkade ühend on loenduv.<br />

6 Ratsionaalarvude hulk on loenduv.<br />

7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste<br />

koordinaatidega punktide hulk on loenduv<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Loenduvate hulkade omadusi:<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

1 Loenduva hulga ja lõpliku hulga ühend on loenduv.<br />

2 Kahe loenduva hulga ühend on loenduv.<br />

3 Lõpliku hulga loenduvate hulkade ühend on loenduv.<br />

4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on<br />

loenduv.<br />

5 Loenduva hulga loenduvate hulkade ühend on loenduv.<br />

6 Ratsionaalarvude hulk on loenduv.<br />

7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste<br />

koordinaatidega punktide hulk on loenduv<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Loenduvate hulkade omadusi:<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

1 Loenduva hulga ja lõpliku hulga ühend on loenduv.<br />

2 Kahe loenduva hulga ühend on loenduv.<br />

3 Lõpliku hulga loenduvate hulkade ühend on loenduv.<br />

4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on<br />

loenduv.<br />

5 Loenduva hulga loenduvate hulkade ühend on loenduv.<br />

6 Ratsionaalarvude hulk on loenduv.<br />

7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste<br />

koordinaatidega punktide hulk on loenduv<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Loenduvate hulkade omadusi:<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

1 Loenduva hulga ja lõpliku hulga ühend on loenduv.<br />

2 Kahe loenduva hulga ühend on loenduv.<br />

3 Lõpliku hulga loenduvate hulkade ühend on loenduv.<br />

4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on<br />

loenduv.<br />

5 Loenduva hulga loenduvate hulkade ühend on loenduv.<br />

6 Ratsionaalarvude hulk on loenduv.<br />

7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste<br />

koordinaatidega punktide hulk on loenduv<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Teor<strong>ee</strong>m<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

<strong><strong>Hulga</strong>d</strong> N ja (0,1) ei ole sama võimsusega.<br />

Tõestuse id<strong>ee</strong> (Cantori diagonalis<strong>ee</strong>rimise m<strong>ee</strong>tod – 1891). Valime hulga<br />

(0,1) <strong>elementide</strong>st lõpmatu jada r1,r2,..., millest igaühte saab esitada<br />

kümnendsüst<strong>ee</strong>mis lõpmatu numbrite jadana:<br />

r1 = 0,α11α12 ...α1j ...<br />

r2 = 0,α21α22 ...α2j ...<br />

. . . . . . . . . . . . .<br />

ri = 0,αi1αi2 ...αij ...<br />

. . . . . . . . . . . . .<br />

Moodustame arvu r0 = 0,β1β2 ..., valides kümnendkohad selliselt, et<br />

β1 = α11,β2 = α22,...,βj = αjj .... S<strong>ee</strong> arv kuulub vahemikku (0,1), kuid<br />

on erinev jada r1,r2,... igast elemendist. m.o.t.t.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Järeldus 1<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Reaalarvude vahemikud (0,1) ja (a,b) on sama võimsusega iga<br />

a < b korral.<br />

Vahemike <strong>elementide</strong> x ∈ (0,1) ja y ∈ (a,b) vahelise üksühese vastavuse<br />

saab korraldada näiteks lineaarteisendusega<br />

y = a + (b − a)x<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Järeldus 2<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Reaalarvude hulk R ja vahemik (0,1) on sama võimsusega.<br />

Järelduse 1 põhjal on vahemikud (0,1) ja (−1,1) sama võimsusega.<br />

üksühene vastavus x ∈ (−1,1) ja r ∈ R tuleneb seosest<br />

<br />

x/(1 − x), kui x ∈ [0,1);<br />

r =<br />

x/(1 + x), kui x ∈ (−1,0).<br />

Geom<strong>ee</strong>triline interpretatsioon:<br />

(−1,1)<br />

x<br />

(1,1)<br />

x r<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria<br />

r


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Järeldus 2<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Reaalarvude hulk R ja vahemik (0,1) on sama võimsusega.<br />

Järelduse 1 põhjal on vahemikud (0,1) ja (−1,1) sama võimsusega.<br />

üksühene vastavus x ∈ (−1,1) ja r ∈ R tuleneb seosest<br />

<br />

x/(1 − x), kui x ∈ [0,1);<br />

r =<br />

x/(1 + x), kui x ∈ (−1,0).<br />

Geom<strong>ee</strong>triline interpretatsioon:<br />

x<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria<br />

r


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Järeldus 2<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Reaalarvude hulk R ja vahemik (0,1) on sama võimsusega.<br />

Alternatiivne vastavus:<br />

x<br />

r<br />

r = tan π 2 x<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Hulka, mis on sama võimsusega nagu reaalarvude hulk, nimetatakse<br />

kontiinumi võimsusega hulgaks.<br />

Kontiinumi võimsuse tähiseks on ℵ1.<br />

Kontiinumi võimsusega hulkade näited:<br />

Vahemik (a,b) ja lõik [a,b];<br />

Samuti poollõigud (a,b] ja [a,b);<br />

<strong><strong>Hulga</strong>d</strong> R n , kus n = 1,2,3,...;<br />

Kompleksarvude hulk C.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Lõpmatu hulga võimsus<br />

Definitsioon<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Hulka, mis on sama võimsusega nagu reaalarvude hulk, nimetatakse<br />

kontiinumi võimsusega hulgaks.<br />

Kontiinumi võimsuse tähiseks on ℵ1.<br />

Kontiinumi võimsusega hulkade näited:<br />

Vahemik (a,b) ja lõik [a,b];<br />

Samuti poollõigud (a,b] ja [a,b);<br />

<strong><strong>Hulga</strong>d</strong> R n , kus n = 1,2,3,...;<br />

Kompleksarvude hulk C.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Omadus<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Kui A on (lõpmatu) hulga B pärisalamhulk (A B), siis<br />

Omadus<br />

|A| |B|<br />

ℵ0 < ℵ1 ehk |N| < |R|<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Järgmine punkt<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

1 Millised <strong>ee</strong>lteadmised on vajalikud?<br />

(Naiivne) hulgateooria<br />

Tehted <strong>hulkadega</strong><br />

2 <strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Definitsioon<br />

Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

<strong>Hulga</strong> A astmehulgaks nimetatakse tema kõigi<br />

alamhulkade hulka P(A)<br />

Teor<strong>ee</strong>m<br />

Lõpliku n-elemendilise hulga astmehulga võimsus on 2 n<br />

Tõestuse id<strong>ee</strong> 1: astmehulga moodustamiseks <strong>elementide</strong> valimise<br />

täielik otsustuspuu on n tasemega kahendpuu. Igal<br />

tasemel tehtavad otsustused on sõltumatud. Vt<br />

otsustuspuu näidet järgmisel slaidil.<br />

Tõestuse id<strong>ee</strong> 2: alamhulkade sobiv <strong>loendamine</strong> (kod<strong>ee</strong>rimine,<br />

indeks<strong>ee</strong>rimine, järjestamine) näitab, et alamhulkade<br />

arv on võrdne n-kohaliste kahendarvude hulga<br />

võimsusega.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Otsustuspuu hulga A = {a,b,c} astmehulga<br />

moodustamiseks<br />

+<br />

{a,b,c}<br />

c ∈ S<br />

+<br />

−<br />

{a,b}<br />

b ∈ S<br />

−<br />

+<br />

{a,c}<br />

+<br />

c ∈ S<br />

−<br />

{a}<br />

a ∈ S<br />

+<br />

{b,c}<br />

c ∈ S<br />

+<br />

−<br />

{b}<br />

b ∈ S<br />

+<br />

{c}<br />

c ∈ S<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria<br />

−<br />

−<br />

−<br />

/0


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Alamhulkade järjestamise viise<br />

1 Võimsuse järgi osaline järjstamine:<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

/0,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}<br />

2 Leksikograafiline järjestamine:<br />

ε,a,ab,abc,ac,b,bc,c<br />

3 Kod<strong>ee</strong>rimine kahendarvudega / karakteristliku funktsioniga:<br />

Alamhulk Kahendkood Kümnendkood / indeks<br />

ε 000 0<br />

c 001 1<br />

b 010 2<br />

bc 011 3<br />

a 100 4<br />

ac 101 5<br />

ab 110 6<br />

abc 111 7<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

<strong>Hulga</strong> ja astmehulga võimsused<br />

Teor<strong>ee</strong>m<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

<strong>Hulga</strong> P(A) võimsus on suurem kui hulga A võimsus.<br />

Tõestuse id<strong>ee</strong>. Kui leiduks üksühene vastavus f : A → P(A), siis<br />

defin<strong>ee</strong>riksme hulga<br />

B = {x|x /∈ f (x)}<br />

Olgu b selline element, et f (b) = B.<br />

Kui <strong>ee</strong>ldada, et b ∈ B, siis b /∈ f (b) ehk b /∈ B.<br />

Kui <strong>ee</strong>ldada, et b /∈ B, siis b ∈ f (b) ehk b ∈ B.<br />

Mõlemal juhul vastuolu. m.o.t.t.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Naturaalarvude astmehulga võimsus<br />

Teor<strong>ee</strong>m<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Naturaalarvude hulga alamhulkade hulk on sama võimsusega nagu<br />

reaalarvude hulk, st P(N) ∼ R.<br />

Tõestuse id<strong>ee</strong>. Piisab tõestada, et P(N) ∼ [0,1).<br />

Naturaalarvude hulga igale alamhulgale A seame<br />

vastavusse reaalarvu 0, i0i1i2 ..., kus ik = 1 või<br />

ik = 0 vastavalt sellele, kas k ∈ A või k /∈ A.<br />

Reaalarvule x ∈ [0,1) seame vastavusse<br />

alamhulga, mis sisaldab või ei sisalda elementi k<br />

vastavalt sellele, kas lõigu [0,1) k-ndal<br />

pooleksjagamisel jääb arv x esimesse või teise<br />

poolde. m.o.t.t.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Võimsuste hierarhia<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Vastavalt Cantori teor<strong>ee</strong>mile on hulgad<br />

N,P(N),P(P(N)),... järjest suurenevate võimsustega<br />

hulgad.<br />

Nende hulkade ühend<br />

M = N P(N) P(P(N)) ...<br />

on v<strong>ee</strong>lgi suurema võimsusega.<br />

<strong><strong>Hulga</strong>d</strong> M,P(M),P(P(M)),... on jällegi järjest suurenevate<br />

võimsustega hulgad jne.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Võimsuste hierarhia<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Vastavalt Cantori teor<strong>ee</strong>mile on hulgad<br />

N,P(N),P(P(N)),... järjest suurenevate võimsustega<br />

hulgad.<br />

Nende hulkade ühend<br />

M = N P(N) P(P(N)) ...<br />

on v<strong>ee</strong>lgi suurema võimsusega.<br />

<strong><strong>Hulga</strong>d</strong> M,P(M),P(P(M)),... on jällegi järjest suurenevate<br />

võimsustega hulgad jne.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Võimsuste hierarhia<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Vastavalt Cantori teor<strong>ee</strong>mile on hulgad<br />

N,P(N),P(P(N)),... järjest suurenevate võimsustega<br />

hulgad.<br />

Nende hulkade ühend<br />

M = N P(N) P(P(N)) ...<br />

on v<strong>ee</strong>lgi suurema võimsusega.<br />

<strong><strong>Hulga</strong>d</strong> M,P(M),P(P(M)),... on jällegi järjest suurenevate<br />

võimsustega hulgad jne.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Kontiinumihüpot<strong>ee</strong>s (G. Cantor, 1877)<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Ei leidu hulka, mis oleks võimsam kui N, kuid vähem võimas kui R.<br />

1939. a tõestas Austria matemaatik<br />

Kurt Gödel, et kontiinumihüpot<strong>ee</strong>si<br />

eitus (vahepealsete võimsuste<br />

olemasolu) ei järeldu hulgateooria<br />

aksioomidest (Zermelo-Fraenkeli<br />

aksioomid + valikuaksioom).<br />

Kurt Gödel Paul Cohen<br />

(1906–1978) (1934–2007)<br />

1963. a tõestas Am<strong>ee</strong>rika matemaatik Paul Cohen, et<br />

kontiinumihüpot<strong>ee</strong>s (vahepealsete võimsuste puudumine) ei<br />

järeldu hulgateooria aksioomidest. S<strong>ee</strong>ga kontiinumihüpot<strong>ee</strong>s<br />

on hulgateooria muudest aksioomidest sõltumatu.<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Üldistatud kontiinumihüpot<strong>ee</strong>s<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Ühegi hulgast S võimsama hulga võimsus ei ole väiksem kui P(S).<br />

Järeldus<br />

Kui kontiinumihüpot<strong>ee</strong>s kehtib, siis ℵ1 = 2 ℵ0 .<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria


Millised <strong>ee</strong>lteadmised on vajalikud?<br />

<strong>Hulga</strong> <strong>elementide</strong> <strong>loendamine</strong><br />

Üldistatud kontiinumihüpot<strong>ee</strong>s<br />

<strong>Hulga</strong> võimsus<br />

Astmehulga võimsus<br />

Ühegi hulgast S võimsama hulga võimsus ei ole väiksem kui P(S).<br />

Järeldus<br />

Kui kontiinumihüpot<strong>ee</strong>s kehtib, siis ℵ1 = 2 ℵ0 .<br />

Jaan Penjam, email: jaan@cs.<strong>ioc</strong>.<strong>ee</strong> Diskr<strong>ee</strong>tne Matemaatika II: <strong>Hulga</strong>teooria

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!