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
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