HULGATEOORIA ELEMENTE

Σχετικά έγγραφα
KOMBINATSIOONID, PERMUTATSIOOND JA BINOOMKORDAJAD

Kompleksarvu algebraline kuju

Funktsiooni diferentsiaal

Kontekstivabad keeled

Geomeetrilised vektorid

2. HULGATEOORIA ELEMENTE

Lokaalsed ekstreemumid

Graafiteooria üldmõisteid. Graaf G ( X, A ) Tippude hulk: X={ x 1, x 2,.., x n } Servade (kaarte) hulk: A={ a 1, a 2,.., a m } Orienteeritud graafid

Arvuteooria. Diskreetse matemaatika elemendid. Sügis 2008

MATEMAATIKA TÄIENDUSÕPE MÕISTED, VALEMID, NÄITED, ÜLESANDED LEA PALLAS VII OSA

ITI 0041 Loogika arvutiteaduses Sügis 2005 / Tarmo Uustalu Loeng 4 PREDIKAATLOOGIKA

2.2.1 Geomeetriline interpretatsioon

T~oestatavalt korrektne transleerimine

3. LOENDAMISE JA KOMBINATOORIKA ELEMENTE

MATEMAATIKA TÄIENDUSÕPE MÕISTED, VALEMID, NÄITED LEA PALLAS XII OSA

Keerukusteooria elemente

Kontekstivabad keeled

Formaalsete keelte teooria. Mati Pentus

Mudeliteooria. Kursust luges: Kalle Kaarli september a. 1 Käesoleva konspekti on L A TEX-kujule viinud Indrek Zolk.

KATEGOORIATEOORIA. Kevad 2016

KATEGOORIATEOORIA. Kevad 2010

Vektorid II. Analüütiline geomeetria 3D Modelleerimise ja visualiseerimise erialale

Kirjeldab kuidas toimub programmide täitmine Tähendus spetsifitseeritakse olekuteisendussüsteemi abil Loomulik semantika

1 Funktsioon, piirväärtus, pidevus

LOOGIKA ELEMENTE MATEMAATIKAS. GEOMEETRIA AKSIOMAATILISEST ÜLESEHITUSEST. Koostanud Hilja Afanasjeva

HAPE-ALUS TASAKAAL. Teema nr 2

Koduseid ülesandeid IMO 2017 Eesti võistkonna kandidaatidele vol 4 lahendused

YMM3740 Matemaatilne analüüs II

Ruumilise jõusüsteemi taandamine lihtsaimale kujule

Eesti koolinoorte XLVIII täppisteaduste olümpiaadi

1 Reaalarvud ja kompleksarvud Reaalarvud Kompleksarvud Kompleksarvu algebraline kuju... 5

ALGEBRA I. Kevad Lektor: Valdis Laan

Avaliku võtmega krüptograafia

Diskreetne matemaatika 2016/2017. õ. a. Professor Peeter Puusemp

Suhteline salajasus. Peeter Laud. Tartu Ülikool. peeter TTÜ, p.1/27

1.1. NATURAAL-, TÄIS- JA RATSIONAALARVUD

Sisukord. 4 Tõenäosuse piirteoreemid 36

Ehitusmehaanika harjutus

Sisukord. 3 T~oenäosuse piirteoreemid Suurte arvude seadus (Law of Large Numbers)... 32

4.2.5 Täiustatud meetod tuletõkestusvõime määramiseks

9. AM ja FM detektorid

Planeedi Maa kaardistamine G O R. Planeedi Maa kõige lihtsamaks mudeliks on kera. Joon 1

4.1 Funktsiooni lähendamine. Taylori polünoom.

4 T~oenäosuse piirteoreemid Tsentraalne piirteoreem Suurte arvude seadus (Law of Large Numbers)... 32

Krüptoloogia II: Sissejuhatus teoreetilisse krüptograafiasse. Ahto Buldas

Ecophon Square 43 LED

1 Entroopia ja informatsioon

MATEMAATILISEST LOOGIKAST (Lausearvutus)

siis on tegemist sümmeetrilise usaldusvahemikuga. Vasakpoolne usaldusvahemik x i, E x = EX, D x = σ2

Jätkusuutlikud isolatsioonilahendused. U-arvude koondtabel. VÄLISSEIN - COLUMBIA TÄISVALATUD ÕÕNESPLOKK 190 mm + SOOJUSTUS + KROHV

2. FÜÜSIKALISE SUURUSE MÕISTE

Ecophon Line LED. Süsteemi info. Mõõdud, mm 1200x x x600 T24 Paksus (t) M329, M330, M331. Paigaldusjoonis M397 M397

Punktide jaotus: kodutööd 15, nädalatestid 5, kontrolltööd 20+20, eksam 40, lisapunktid Kontrolltööd sisaldavad ka testile vastamist

1 Kompleksarvud Imaginaararvud Praktiline väärtus Kõige ilusam valem? Kompleksarvu erinevad kujud...

Matemaatiline analüüs I iseseisvad ülesanded

28. Sirgvoolu, solenoidi ja toroidi magnetinduktsiooni arvutamine koguvooluseaduse abil.

Eesti koolinoorte XLIX täppisteaduste olümpiaad

2017/2018. õa keemiaolümpiaadi piirkonnavooru lahendused klass

Tuletis ja diferentsiaal

Lambda-arvutus. λ-termide süntaks. Näiteid λ-termidest. Sulgudest hoidumine. E ::= V muutuja (E 1 E 2 ) aplikatsioon (λv.

20. SIRGE VÕRRANDID. Joonis 20.1

Algebraliste võrrandite lahenduvus radikaalides. Raido Paas Juhendaja: Mart Abel

Matemaatiline analüüs IV praktikumiülesannete kogu a. kevadsemester

T~OENÄOSUSTEOORIA JA MATEMAATILINE STATISTIKA

Eesti LIV matemaatikaolümpiaad

Analüütilise geomeetria praktikum II. L. Tuulmets

,millest avaldub 21) 23)

PLASTSED DEFORMATSIOONID

KORDAMINE RIIGIEKSAMIKS VII teema Vektor. Joone võrrandid.

Keemia lahtise võistluse ülesannete lahendused Noorem rühm (9. ja 10. klass) 16. november a.

Eesti koolinoorte XLI täppisteaduste olümpiaad

RF võimendite parameetrid

Mitmest lülist koosneva mehhanismi punktide kiiruste ja kiirenduste leidmine

Andmeanalüüs molekulaarbioloogias

Prisma. Lõik, mis ühendab kahte mitte kuuluvat tippu on prisma diagonaal d. Tasand, mis. prisma diagonaal d ja diagonaaltasand (roheline).

6 Mitme muutuja funktsioonid

Funktsioonide õpetamisest põhikooli matemaatikakursuses

Energiabilanss netoenergiavajadus

ΔΗΜΟΤΙΚΕΣ ΕΚΛΟΓΕΣ 18/5/2014 ΑΚΥΡΑ

Aritmeetilised ja loogilised operaatorid. Vektor- ja maatriksoperaatorid

Teaduskool. Alalisvooluringid. Koostanud Kaljo Schults

KORDAMINE RIIGIEKSAMIKS V teema Vektor. Joone võrrandid.

Matemaatiline analüüs II praktikumiülesannete kogu a. kevadsemester

1 MTMM Kõrgem matemaatika, eksamiteemad 2014

Matemaatiline analüüs I iseseisvad ülesanded

Joonis 1. Teist järku aperioodilise lüli ülekandefunktsiooni saab teisendada võnkelüli ülekandefunktsiooni kujul, kui

Geomeetria põhivara. Jan Willemson. 19. mai 2000.a.

Vektori u skalaarkorrutist iseendaga nimetatakse selle vektori skalaarruuduks ja tähistatakse (u ) 2 või u 2 u. u v cos α = u 2 + v 2 PQ 2

Ivar Tammeraid itammeraid/ MATEMAATILINE ANALÜÜS I. Elektrooniline õppevahend

Skalaar, vektor, tensor

7.7 Hii-ruut test 7.7. HII-RUUT TEST 85

Matemaatiline statistika ja modelleerimine

TARTU ÜLIKOOL Teaduskool. STAATIKA TASAKAALUSTAMISTINGIMUSED Koostanud J. Lellep, L. Roots

Kandvad profiilplekid

PÕHIKOOLI KORDAMISE TÖÖ I

; y ) vektori lõpppunkt, siis

8. f = {(-1, 2), (-3, 1), (-5, 6), (-4, 3)} - i.) ii)..

Matemaatika VI kursus Tõenäosus, statistika KLASS 11 TUNDIDE ARV 35

March 14, ( ) March 14, / 52

Lisa 2 ÜLEVAADE HALJALA VALLA METSADEST Koostanud veebruar 2008 Margarete Merenäkk ja Mati Valgepea, Metsakaitse- ja Metsauuenduskeskus

Transcript:

HULGATEOORIA ELEMENTE Teema 2.2. Hulga elementide loendamine Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 1 / 31

Loengu kava 2 Hulga elementide loendamine Hulga võimsus Loenduvad ja kontiinuumi võimsusega hulgad Astmehulga võimsus Kontiinuumihüpotees Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 2 / 31

Järgmine punkt 2 Hulga elementide loendamine Hulga võimsus Loenduvad ja kontiinuumi võimsusega hulgad Astmehulga võimsus Kontiinuumihüpotees Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 3 / 31

Järgmine punkt 2 Hulga elementide loendamine Hulga võimsus Loenduvad ja kontiinuumi võimsusega hulgad Astmehulga võimsus Kontiinuumihüpotees Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 4 / 31

Hulga võimsus Hulga elemente ja nende erinevaid kombinatsioone on tarvis osata kokku lugeda, selleks et... osata ennustada teatud sündmuse esinemise tõenäosust;... hinnata ülesande lahendite ja lahendusteede arvu;... hinnata algoritmi või programmi keerukust (ressursivajadust);... otsustada teatud algoritmide (nt krüptograafiliste, kodeerimis- jne algoritmide) korrektsuse üle;... Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 5 / 31

Hulga võimsus Definitsioon Hulki A ja B nimetatakse võrdvõimsateks (tähistus A = B või A B), kui nende elementide vahel saab korraldada üksühese vastavuse. Definitsioon Hulga võimsus on võrdvõimsate hulkade ekvivalentsiklass, kuhu kuulub vaadeldav hulk. Definitsioon Hulga võimsust tähistavat sümbolit nimetatakse kardinaalarvuks. Lõpliku hulga kardinaalarvuks on selle hulga elementide arv: {a 1,...,a n } = n; lõpmatute hulkade kardinaalarvude korral kasutatatakse eritähiseid, nt ℵ 0 tähistab loenduvat võimsust ja ℵ 1 kontiinuumi võimsust. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 6 / 31

Hulga võimsus Definitsioon Hulki A ja B nimetatakse võrdvõimsateks (tähistus A = B või A B), kui nende elementide vahel saab korraldada üksühese vastavuse. Definitsioon Hulga võimsus on võrdvõimsate hulkade ekvivalentsiklass, kuhu kuulub vaadeldav hulk. Definitsioon Hulga võimsust tähistavat sümbolit nimetatakse kardinaalarvuks. Lõpliku hulga kardinaalarvuks on selle hulga elementide arv: {a 1,...,a n } = n; lõpmatute hulkade kardinaalarvude korral kasutatatakse eritähiseid, nt ℵ 0 tähistab loenduvat võimsust ja ℵ 1 kontiinuumi võimsust. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 6 / 31

Hulga võimsus Definitsioon Hulki A ja B nimetatakse võrdvõimsateks (tähistus A = B või A B), kui nende elementide vahel saab korraldada üksühese vastavuse. Definitsioon Hulga võimsus on võrdvõimsate hulkade ekvivalentsiklass, kuhu kuulub vaadeldav hulk. Definitsioon Hulga võimsust tähistavat sümbolit nimetatakse kardinaalarvuks. Lõpliku hulga kardinaalarvuks on selle hulga elementide arv: {a 1,...,a n } = n; lõpmatute hulkade kardinaalarvude korral kasutatatakse eritähiseid, nt ℵ 0 tähistab loenduvat võimsust ja ℵ 1 kontiinuumi võimsust. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 6 / 31

Lõpliku hulga võimsus B 15 A = B = 5 A 3 77 12 5 2 14 0 6 50 Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 7 / 31

Lõpliku hulga võimsus B 15 A 3 77 12 A = B = 5 f : A B b = f (a) = 3(a 2) 5 2 14 0 6 50 Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 8 / 31

Lõpliku hulga võimsus B 15 A 3 77 12 A = B = 5 f : A B b = f (a) = 3(a 2) 5 14 2 50 0 6 2 C 0 A = B > C = 3 g : B C c = g(b) = b MOD 4 3 Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 9 / 31

Lõpliku hulga võimsus B A = B = 5 A 77 15 3 12 f : A B b = f (a) = 3(a 2) 5 14 2 50 D 0 6 2 C 0 A = B > C = 3 g : B C c = g(b) = b MOD 4 varblane vares kurg jaanalind 3 Hulgal D olgu defineeritud järjestus: varblane < vares < kurg < jaanalind D = { d 1 < d 2 < d 3 < d 4 } h : D C c = h(d) = i 1, kui d = d i ja i 2 A = B > D = 4 > C Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 10 / 31

Lõpliku hulga võimsus B A = B = 5 A 77 15 3 12 f : A B b = f (a) = 3(a 2) 5 14 2 50 D 0 6 2 C 0 A = B > C = 3 g : B C c = g(b) = b MOD 4 varblane vares kurg jaanalind 3 1 C 1 Hulgal D olgu defineeritud järjestus: varblane < vares < kurg < jaanalind D = { d 1 < d 2 < d 3 < d 4 } h : D C C c = h(d) = i 1, kui d = d i A = B > D = C Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 11 / 31

Lõpliku hulga võimsus Omadus Kui A on lõpliku hulga B pärisalamhulk (A B), siis A < B NB! See omadus ei kehti lõpmatute hulkade korral! Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 12 / 31

Lõpliku hulga võimsus Omadus Kui A on lõpliku hulga B pärisalamhulk (A B), siis A < B NB! See omadus ei kehti lõpmatute hulkade korral! Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 12 / 31

Lõpmatu hulga võimsus Definitsioon Hulka, mis on sama võimsusega nagu naturaalarvude hulk, nimetatakse loenduvaks hulgaks. Loenduvad on parajasti need hulgad, mis on esitatavad lõpmatu jadana A = {a 0,a 1,a 2,...}. Iga lõpmatu hulk sisaldab loenduvat alamhulka. Loenduva hulga iga lõpmatu alamhulk on samuti loenduv. NB! Hulka, mis on kas loenduv või lõplik, nimetatakse ülimalt loenduvaks hulgaks. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 13 / 31

Lõpmatu hulga võimsus Definitsioon Hulka, mis on sama võimsusega nagu naturaalarvude hulk, nimetatakse loenduvaks hulgaks. Loenduvad on parajasti need hulgad, mis on esitatavad lõpmatu jadana A = {a 0,a 1,a 2,...}. Iga lõpmatu hulk sisaldab loenduvat alamhulka. Loenduva hulga iga lõpmatu alamhulk on samuti loenduv. NB! Hulka, mis on kas loenduv või lõplik, nimetatakse ülimalt loenduvaks hulgaks. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 13 / 31

Lõpmatu hulga võimsus Definitsioon Hulka, mis on sama võimsusega nagu naturaalarvude hulk, nimetatakse loenduvaks hulgaks. Loenduvad on parajasti need hulgad, mis on esitatavad lõpmatu jadana A = {a 0,a 1,a 2,...}. Iga lõpmatu hulk sisaldab loenduvat alamhulka. Loenduva hulga iga lõpmatu alamhulk on samuti loenduv. NB! Hulka, mis on kas loenduv või lõplik, nimetatakse ülimalt loenduvaks hulgaks. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 13 / 31

Lõpmatu hulga võimsus Definitsioon Hulka, mis on sama võimsusega nagu naturaalarvude hulk, nimetatakse loenduvaks hulgaks. Loenduvad on parajasti need hulgad, mis on esitatavad lõpmatu jadana A = {a 0,a 1,a 2,...}. Iga lõpmatu hulk sisaldab loenduvat alamhulka. Loenduva hulga iga lõpmatu alamhulk on samuti loenduv. NB! Hulka, mis on kas loenduv või lõplik, nimetatakse ülimalt loenduvaks hulgaks. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 13 / 31

Järgmine punkt 2 Hulga elementide loendamine Hulga võimsus Loenduvad ja kontiinuumi võimsusega hulgad Astmehulga võimsus Kontiinuumihüpotees Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 14 / 31

Lõpmatu hulga võimsus Loenduvate hulkade omadusi: 1 Loenduva hulga ja lõpliku hulga ühend on loenduv. 2 Kahe loenduva hulga ühend on loenduv. 3 Lõpliku hulga loenduvate hulkade ühend on loenduv. 4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on loenduv. 5 Loenduva hulga loenduvate hulkade ühend on loenduv. 6 Ratsionaalarvude hulk on loenduv. 7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste koordinaatidega punktide hulk on loenduv Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 15 / 31

Lõpmatu hulga võimsus Loenduvate hulkade omadusi: 1 Loenduva hulga ja lõpliku hulga ühend on loenduv. 2 Kahe loenduva hulga ühend on loenduv. 3 Lõpliku hulga loenduvate hulkade ühend on loenduv. 4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on loenduv. 5 Loenduva hulga loenduvate hulkade ühend on loenduv. 6 Ratsionaalarvude hulk on loenduv. 7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste koordinaatidega punktide hulk on loenduv Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 15 / 31

Lõpmatu hulga võimsus Loenduvate hulkade omadusi: 1 Loenduva hulga ja lõpliku hulga ühend on loenduv. 2 Kahe loenduva hulga ühend on loenduv. 3 Lõpliku hulga loenduvate hulkade ühend on loenduv. 4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on loenduv. 5 Loenduva hulga loenduvate hulkade ühend on loenduv. 6 Ratsionaalarvude hulk on loenduv. 7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste koordinaatidega punktide hulk on loenduv Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 15 / 31

Lõpmatu hulga võimsus Loenduvate hulkade omadusi: 1 Loenduva hulga ja lõpliku hulga ühend on loenduv. 2 Kahe loenduva hulga ühend on loenduv. 3 Lõpliku hulga loenduvate hulkade ühend on loenduv. 4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on loenduv. 5 Loenduva hulga loenduvate hulkade ühend on loenduv. 6 Ratsionaalarvude hulk on loenduv. 7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste koordinaatidega punktide hulk on loenduv Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 15 / 31

Lõpmatu hulga võimsus Loenduvate hulkade omadusi: 1 Loenduva hulga ja lõpliku hulga ühend on loenduv. 2 Kahe loenduva hulga ühend on loenduv. 3 Lõpliku hulga loenduvate hulkade ühend on loenduv. 4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on loenduv. 5 Loenduva hulga loenduvate hulkade ühend on loenduv. 6 Ratsionaalarvude hulk on loenduv. 7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste koordinaatidega punktide hulk on loenduv Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 15 / 31

Lõpmatu hulga võimsus Loenduvate hulkade omadusi: 1 Loenduva hulga ja lõpliku hulga ühend on loenduv. 2 Kahe loenduva hulga ühend on loenduv. 3 Lõpliku hulga loenduvate hulkade ühend on loenduv. 4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on loenduv. 5 Loenduva hulga loenduvate hulkade ühend on loenduv. 6 Ratsionaalarvude hulk on loenduv. 7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste koordinaatidega punktide hulk on loenduv Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 15 / 31

Lõpmatu hulga võimsus Loenduvate hulkade omadusi: 1 Loenduva hulga ja lõpliku hulga ühend on loenduv. 2 Kahe loenduva hulga ühend on loenduv. 3 Lõpliku hulga loenduvate hulkade ühend on loenduv. 4 Loenduva hulga paarikaupa erinevate lõplike hulkade ühend on loenduv. 5 Loenduva hulga loenduvate hulkade ühend on loenduv. 6 Ratsionaalarvude hulk on loenduv. 7 Kahe-, kolme jne mõõtmelise ruumi ratsionaalarvuliste koordinaatidega punktide hulk on loenduv Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 15 / 31

Lõpmatu hulga võimsus Teoreem Hulgad N ja (0,1) ei ole sama võimsusega. Tõestuse idee (Cantori diagonaliseerimise meetod 1891). Valime hulga (0, 1) elementidest lõpmatu jada r 0,r 1,..., millest igaühte saab esitada kümnendsüsteemis lõpmatu numbrite jadana: r 0 = 0,α 00 α 01...α 0j... r 1 = 0,α 10 α 11...α 1j................ r i = 0,α i0 α i1...α ij................ Moodustame arvu r = 0,β 0 β 1..., valides kümnendkohad selliselt, et β 0 α 00,β 1 α 11,...,β j α jj... See arv kuulub vahemikku (0,1), kuid on erinev jada r 0,r 1,... igast elemendist. m.o.t.t. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 16 / 31

Lõpmatu hulga võimsus Järeldus 1 Reaalarvude vahemikud (0,1) ja (a,b) on sama võimsusega iga a < b korral. Vahemike elementide x (0,1) ja y (a,b) vahelise üksühese vastavuse saab korraldada näiteks lineaarteisendusega y = a + (b a)x Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 17 / 31

Lõpmatu hulga võimsus Järeldus 2 Reaalarvude hulk R ja vahemik (0, 1) on sama võimsusega. Järelduse 1 põhjal on vahemikud (0, 1) ja ( 1, 1) sama võimsusega. üksühene vastavus x ( 1,1) ja r R tuleneb seosest { x/(1 x), kui x [0,1); r = x/(1 + x), kui x ( 1,0). Geomeetriline interpretatsioon: x ( 1, 1) (1,1) x r r Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 18 / 31

Lõpmatu hulga võimsus Järeldus 2 Reaalarvude hulk R ja vahemik (0, 1) on sama võimsusega. Järelduse 1 põhjal on vahemikud (0, 1) ja ( 1, 1) sama võimsusega. üksühene vastavus x ( 1,1) ja r R tuleneb seosest { x/(1 x), kui x [0,1); r = x/(1 + x), kui x ( 1,0). Geomeetriline interpretatsioon: x r Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 18 / 31

Lõpmatu hulga võimsus Järeldus 2 Reaalarvude hulk R ja vahemik (0, 1) on sama võimsusega. Alternatiivne vastavus: r r = tan π 2 x x Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 19 / 31

Lõpmatu hulga võimsus Definitsioon Hulka, mis on sama võimsusega nagu reaalarvude hulk, nimetatakse kontiinuumi võimsusega hulgaks. kontiinuumi võimsuse tähiseks on ℵ 1. kontiinuumi võimsusega hulkade näited: Vahemik (a,b) ja lõik [a,b]; Samuti poollõigud (a,b] ja [a,b); Hulgad R n, kus n = 1,2,3,...; Kompleksarvude hulk C. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 20 / 31

Lõpmatu hulga võimsus Definitsioon Hulka, mis on sama võimsusega nagu reaalarvude hulk, nimetatakse kontiinuumi võimsusega hulgaks. kontiinuumi võimsuse tähiseks on ℵ 1. kontiinuumi võimsusega hulkade näited: Vahemik (a,b) ja lõik [a,b]; Samuti poollõigud (a,b] ja [a,b); Hulgad R n, kus n = 1,2,3,...; Kompleksarvude hulk C. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 20 / 31

Omadus Kui A on (lõpmatu) hulga B pärisalamhulk (A B), siis A B Omadus ℵ 0 < ℵ 1 ehk N < R Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 21 / 31

Järgmine punkt 2 Hulga elementide loendamine Hulga võimsus Loenduvad ja kontiinuumi võimsusega hulgad Astmehulga võimsus Kontiinuumihüpotees Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 22 / 31

Definitsioon Hulga A astmehulgaks nimetatakse tema kõigi alamhulkade hulka P(A) Teoreem Lõpliku n-elemendilise hulga astmehulga võimsus on 2 n Tõestuse idee 1: astmehulga moodustamiseks elementide valimise täielik otsustuspuu on n tasemega kahendpuu. Igal tasemel tehtavad otsustused on sõltumatud. Vt otsustuspuu näidet järgmisel slaidil. Tõestuse idee 2: alamhulkade sobiv loendamine (kodeerimine, indekseerimine, järjestamine) näitab, et alamhulkade arv on võrdne n-kohaliste kahendarvude hulga võimsusega. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 23 / 31

Otsustuspuu hulga A = {a,b,c} astmehulga moodustamiseks + a S b S b S + + c S c S c S c S + {a,b,c} {a,b} + {a,c} {a} + {b,c} {b} + {c} Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 24 / 31

Alamhulkade järjestamise viise 1 Võimsuse järgi osaline järjstamine:,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c} 2 Leksikograafiline järjestamine: ε,a,ab,abc,ac,b,bc,c 3 Kodeerimine kahendarvudega / karakteristliku funktsioniga: Alamhulk Kahendkood Kümnendkood / indeks ε 000 0 c 001 1 b 010 2 bc 011 3 a 100 4 ac 101 5 ab 110 6 abc 111 7 Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 25 / 31

Hulga ja astmehulga võimsused Teoreem Hulga P(A) võimsus on suurem kui hulga A võimsus. Tõestus. Kui leiduks üksühene vastavus f : A P(A), siis defineeriksme hulga B = {x x / f (x)} Olgu b A selline element, et f (b) = B. Kui eeldada, et b B, siis b / f (b) ehk b / B. Kui eeldada, et b / B, siis b f (b) ehk b B. Mõlemal juhul vastuolu. m.o.t.t. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 26 / 31

Naturaalarvude astmehulga võimsus Teoreem Naturaalarvude hulga alamhulkade hulk on sama võimsusega nagu reaalarvude hulk, st P(N) R. Tõestus. Piisab tõestada, et P(N) [0, 1). Naturaalarvude hulga igale alamhulgale A seame vastavusse reaalarvu 0, i 0 i 1 i 2..., kus i k = 1 või i k = 0 vastavalt sellele, kas k A või k / A. Reaalarvule x [0, 1) seame vastavusse alamhulga, mis sisaldab või ei sisalda elementi k vastavalt sellele, kas lõigu [0, 1) k-ndal pooleksjagamisel jääb arv x esimesse või teise poolde. Teoreemi väide järeldub Schröder Bernsteini teoreemist m.o.t.t. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 27 / 31

Võimsuste hierarhia Vastavalt Cantori teoreemile on hulgad N, P(N), P(P(N)),... järjest suurenevate võimsustega hulgad. Nende hulkade ühend on veelgi suurema võimsusega. M = N P(N) P(P(N))... Hulgad M, P(M), P(P(M)),... on jällegi järjest suurenevate võimsustega hulgad jne. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 28 / 31

Võimsuste hierarhia Vastavalt Cantori teoreemile on hulgad N, P(N), P(P(N)),... järjest suurenevate võimsustega hulgad. Nende hulkade ühend on veelgi suurema võimsusega. M = N P(N) P(P(N))... Hulgad M, P(M), P(P(M)),... on jällegi järjest suurenevate võimsustega hulgad jne. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 28 / 31

Võimsuste hierarhia Vastavalt Cantori teoreemile on hulgad N, P(N), P(P(N)),... järjest suurenevate võimsustega hulgad. Nende hulkade ühend on veelgi suurema võimsusega. M = N P(N) P(P(N))... Hulgad M, P(M), P(P(M)),... on jällegi järjest suurenevate võimsustega hulgad jne. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 28 / 31

Järgmine punkt 2 Hulga elementide loendamine Hulga võimsus Loenduvad ja kontiinuumi võimsusega hulgad Astmehulga võimsus Kontiinuumihüpotees Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 29 / 31

Kontiinuumihüpotees (G. Cantor, 1877) Ei leidu hulka, mis oleks võimsam kui N, kuid vähem võimas kui R. 1939. a tõestas Austria matemaatik Kurt Gödel, et kontiinuumihüpoteesi eitus (vahepealsete võimsuste olemasolu) ei järeldu hulgateooria aksioomidest (Zermelo-Fraenkeli aksioomid + valikuaksioom). Kurt Gödel Paul Cohen (1906 1978) (1934 2007) 1963. a tõestas Ameerika matemaatik Paul Cohen, et kontiinuumihüpotees (vahepealsete võimsuste puudumine) ei järeldu hulgateooria aksioomidest. Seega kontiinuumihüpotees on hulgateooria muudest aksioomidest sõltumatu. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 30 / 31

Üldistatud kontiinuumihüpotees Ühegi hulgast S võimsama hulga võimsus ei ole väiksem kui P(S). Järeldus Kui kontiinuumihüpotees kehtib, siis ℵ 1 = 2 ℵ 0. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 31 / 31

Üldistatud kontiinuumihüpotees Ühegi hulgast S võimsama hulga võimsus ei ole väiksem kui P(S). Järeldus Kui kontiinuumihüpotees kehtib, siis ℵ 1 = 2 ℵ 0. Jaan Penjam, email: jaan@cs.ioc.ee Diskreetne Matemaatika II: Hulgateooria 31 / 31