8 Joukoista. 8.1 Määritelmiä

Samankaltaiset tiedostot
Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti.

A-B, kun A < B 1 / 20

6.4. Järjestyssuhteet

TIETOTEKNIIKAN MATEMATIIKKA

8.5. Järjestyssuhteet 1 / 19

811120P Diskreetit rakenteet

Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi

Johdatus diskreettiin matematiikkaan Harjoitus 1,

Joukko-oppi. Joukko-oppi. Joukko-oppi. Joukko-oppi: Mitä opimme? Joukko-opin peruskäsitteet

Ekvivalenssirelaatio. Määritelmä 2 Joukon A binäärinen relaatio R on ekvivalenssirelaatio, mikäli. Jos R on ekvivalenssirelaatio ja a A, niin joukkoa

Johdatus todennäköisyyslaskentaan Joukko-oppi. TKK (c) Ilkka Mellin (2005) 1

Luonnollisten lukujen ja kokonaislukujen määritteleminen

X R Matematiikan johdantokurssi, syksy 2016 Harjoitus 5, ratkaisuista

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Ratkaisu: a) Kahden joukon yhdisteseen poimitaan kaikki alkiot jotka ovat jommassakummassa joukossa (eikä mitään muuta).

6 Relaatiot. 6.1 Relaation määritelmä

811120P Diskreetit rakenteet

Relaation ominaisuuksia. Ominaisuuksia koskevia lauseita Sulkeumat. Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

[a] ={b 2 A : a b}. Ekvivalenssiluokkien joukko

MAT Algebra 1(s)

Huom. muista ilmoittautua kokeeseen ajoissa. Ilmoittautumisohjeet kurssin kotisivuilla.

Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Johdatus diskreettiin matematiikkaan Harjoitus 2, Osoita että A on hyvin määritelty. Tee tämä osoittamalla

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

Relaatioista. 1. Relaatiot. Alustava määritelmä: Relaatio on kahden (tai useamman, saman tai eri) joukon alkioiden välinen ominaisuus tai suhde.

Joukot. Georg Cantor ( )

MS-A0402 Diskreetin matematiikan perusteet

Vastauksia. Topologia Syksy 2010 Harjoitus 1

Matemaatiikan tukikurssi

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus.

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.

Jarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

(2n 1) = n 2

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

Esko Turunen Luku 9. Logiikan algebralisointi

Matematiikan tukikurssi, kurssikerta 1

MS-A0401 Diskreetin matematiikan perusteet

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

811120P Diskreetit rakenteet

1. Logiikan ja joukko-opin alkeet

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Johdatus matematiikkaan

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Vieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne.

MS-A0402 Diskreetin matematiikan perusteet

Renkaat ja modulit. Tässä osassa käsiteltävät renkaat ovat vaihdannaisia, ellei toisin mainita. 6. Ideaalit

MAT Algebra I (s) periodilla IV 2012 Esko Turunen

Matematiikan tukikurssi

Johdatus matematiikkaan

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Johdatus matemaattiseen päättelyyn

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

3. Kongruenssit. 3.1 Jakojäännös ja kongruenssi

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

Salausmenetelmät. Veikko Keränen, Jouko Teeriaho (RAMK, 2006)

KOMBINATORIIKKA JOUKOT JA RELAATIOT

DISKREETTIÄ MATEMATIIKKAA.

a b 1 c b n c n

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

Talousmatematiikan perusteet, L2 Kertaus Aiheet

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B.

Ortogonaalinen ja ortonormaali kanta

Johdatus matemaattiseen päättelyyn (5 op)

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko?

Yhtenäisyydestä. Johdanto. Lähipisteavaruus. Tuomas Korppi

Talousmatematiikan perusteet, L2 Kertaus Aiheet

Äärellisten mallien teoria

1.1. Määritelmiä ja nimityksiä

KOMBINATORIIKKA JOUKOT JA RELAATIOT

Matriisit. Määritelmä 1 Reaaliluvuista a ij, missä i = 1,..., k ja j = 1,..., n, muodostettua kaaviota a 11 a 12 a 1n a 21 a 22 a 2n A =

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

R : renkaan R kääntyvien alkioiden joukko; R kertolaskulla varustettuna on

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.

Injektio. Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim.

Tehtävä 1. Arvioi mitkä seuraavista väitteistä pitävät paikkansa. Vihje: voit aloittaa kokeilemalla sopivia lukuarvoja.

Matematiikan tukikurssi

Topologia Syksy 2010 Harjoitus 4. (1) Keksi funktio f ja suljetut välit A i R 1, i = 1, 2,... siten, että f : R 1 R 1, f Ai on jatkuva jokaisella i N,

Lause 5. (s. 50). Olkoot A ja B joukkoja. Tällöin seuraavat ehdot ovat

Diskreetin Matematiikan Paja Tehtäviä viikolle 2. ( ) Jeremias Berg

Tietojenkäsittelyteorian alkeet, osa 2

a) Mitkä seuraavista ovat samassa ekvivalenssiluokassa kuin (3, 8), eli kuuluvat joukkoon

811120P Diskreetit rakenteet

Diskreetin Matematiikan Paja Ratkaisuehdotuksia viikolle 2. ( ) Jeremias Berg

Joukkojen ja kokonaislukujen osittaminen

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

811120P Diskreetit rakenteet

ALGEBRA KEVÄT 2013 JOUNI PARKKONEN

jonka laskutoimitus on matriisien kertolasku. Vastaavasti saadaan K-kertoiminen erityinen lineaarinen ryhmä

Transkriptio:

1 8 Joukoista Joukko on alkoidensa kokoelma. Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukkooppi aksiomaattisesti. Näin ei tässä tehdä vaan tyydytään ns. naiviin joukkooppiin. Tämän mukaan joukko tunnetaan luettelemalla/määrittelemällä sen alkiot. x A x on A:n alkio (kuuluu A:han). Esimerkiksi joukko R = {x x reaaliluku }; N = {x x luonnollinen luku } = {0, 1, 2, 3,...}; A = {a, b, c, d}. 8.1 Määritelmiä Joukot A ja B ovat samat, eli A = B, jos niiden alkiot ovat samat. (eli kun alkio x A niin x B ja kun y B niin y A). Esimerkiksi {a, b, b, c, c, c} = {a, a, b, c}. Kun kaikki A:n alkiot kuuluvat B:hen, niin A on B osajoukko: A B (l. kun x A, niin x B). Ylläoleva A = B:n määritelmä merkitsee sitä, että A = B (A B ja B A). Selvästi A A. Jos A B, mutta joukot A ja B eivät ole samat, niin joukko A on silloin joukon B aito osajoukko. Joukko, joka ei sisällä alkioita on tyhjä joukko. Aina kun A on joukko, A. Joukko voi olla myös joukkojen joukko eli sen alkiot ovat joukkoja: Esimerkiksi {, {a}, {b}, {a, b}} on joukkojen joukko. Joukon A potenssijoukko P(A) on A:n osajoukkojen joukko. Esimerkki 8.1 Joukon A = {a, b, c} potenssijoukko on P(A) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}. Kun A:ssa on n alkiota, niin P(A):ssa on 2 n alkiota. Joukoille voidaan määritellä toimituksia: unioni : A B = {x x A tai x B} leikkaus : A B = {x x A ja x B} komplementti : A = {x x A}; tällöin ajatellaan A:n olevan jonkin perusjoukon U osajoukko ja siis A A = U. erotus \: A\B = {x x A ja x B} Esimerkki 8.2 Jos joukko A = {a, b, c, d} ja joukko B = {b, c, e, f}, niin silloin on A B = {a, b, c, d, e, f}, A B = {b, c}, A \ B = {a, d} ja B \ A = {e, f}. Jos lisäksi perusjoukko U = {a, b, c, d, e, f, g}, niin joukko A = {e, f, g} ja joukko B = {a, d, g}. Perusjoukon U osajoukot muodostavat toimitusten, ja suhteen Boolen algebran missä = 0 ja U = 1. Silloin esimerkiksi demorganin lait: (A B) = (A ) (B ) (A B) = (A ) (B )

2 ovat voimassa. 8.2 Joukon alkioiden lukumäärä Olkoon A joukon A alkioiden määrä. Kuinka monta alkiota on kahden joukon A ja B unionissa A B? Oikeaa vastausta ei saada laskemalla joukkojen A ja B alkioiden lukumäärät yhteen, sillä silloin joukon A B alkiot tulevat lasketuiksi kahteen kertaan. Täten leikkausjoukon alkioiden lukumäärä on vähennettävä joukkojen A ja B alkioiden summasta. Eli Yleisesti: A 1 = A 1 A B = A + B A B. A 1 A 2 = A 1 + A 2 A 1 A 2 A 1 A 2 A 3 = A 1 + A 2 + A 3 A 1 A 2 A 1 A 3 A 2 A 3 + A 1 A 2 A 3 A 1 A 2 A 3 A 4 = A 1 + A 2 + A 3 + A 4 A 1 A 2 A 1 A 3 A 1 A 4 A 2 A 3 A 2 A 4 A 3 A 4 + A 1 A 2 A 3 + A 1 A 2 A 4 + A 1 A 3 A 4 + A 2 A 3 A 4 A 1 A 2 A 3 A 4 Matemaattisella induktiolla voidaan näyttää todeksi n A 1 A 2 A n = A 1 + 1 i<j<k n 1 1 i j n A i A j A i A j A k + ( 1) n+1 A 1 A 2 A n. Esimerkki 8.3 Kuudensadan televisiokatsojan säännöllisiä katsomistottumuksia kyseltiin kolmen televisiosarjan perusteella. Sarjat olivat: Komeat ja urheat (=KR), Piilotetut hetket (=SE) ja Himakuja (=KK). Vastauksista saatiin seuraavat katsojalukumäärät: Sarjat KR SE KK KRSE KRKK SEKK KRSEKK Katsojia: 155 230 155 70 45 50 30 missä esimerkiksi KK tarkoittaa sitä, että katsoja on seurannut säännöllisesti sarjaa KK ja KRKK tarkoittaa sitä, että katsoja on seurannut säännöllisesti sekä sarjaa KR että sarjaa KK. a) Kuinka moni kyselyyn vastanneista oli seurannut säännöllisesti ainakin yhtä sarjaa? b) Kuinka moni katselijoista oli seurannut säännöllisesti ainakin kahta sarjaa? 8.3 Suhteet eli relaatiot Kun A ja B ovat joukkoja, niin niiden karteesisella tulolla A B tarkoitetaan järjestettyjen alkioparien joukkoa A B = {(a, b) a A ja b B}.

3 Taso on kahden lukusuoran karteesinen tulo. Yleensä A B B A (koska A B:n pareissa ensin A:n alkiot ja sitten B:n alkiot ja B A:n pareissa ensin B:n alkiot ja sitten A:n alkiot); poikkeuksia saadaan kun A = B ja kun A = tai B =. Joukon A 1 A 2 A 3... A n :n alkiot ovat npaikkaisia jonoja (a 1, a 2,..., a n ), missä i:nnen paikan alkiot a i A i. Olkoot A ja B joukkoja. Kaksipaikkainen suhde eli relaatio R A:sta B:hen on A B:n osajoukko: R A B. Tällöin tieto a on suhteessa R b:hen merkitään ja kun a ei ole suhteessa R b:hen, merkitään (a, b) R tai arb, (a, b) R ja a Rb. Merkinnän arb takana on reaaliluvuista tuttu suhde, jolla merkitään 100 103 (tai 95 13); merkintä (100, 103) on outo. Kun A = B, niin suhdetta R A:sta B:hen sanotaan lyhyesti suhteeksi joukossa A (esim. on suhde joukossa R). Esimerkiksi R = {(a, 1), (b, 2), (c, 3)} on suhde joukossa {a, b, c} {1, 2, 3}, ja {(x, x) x R} on suhde joukossa R. Suhde (=relaatio) R joukossa A on (i)reeksiivinen jos (a, a) R aina kun a A, (ii) symmetrinen jos aina kun a, b A on voimassa (a, b) R (b, a) R, (iii) antisymmetrinen, jos aina kun a, b A ja a b on voimassa (a, b) R (b, a) / R. (iii) transitiivinen, jos aina kun a, b, c A on voimassa (a, b), (b, c) R (a, c) R. Esimerkki 8.4 Olkoon joukko A = {1, 2, 3, 4}. Mitkä seuraavista relaatioista ovat reeksiivisiä, symmetrisiä, antisymmetrisiä, transitiivisia. R 1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 3), (4, 1), (1, 4)} R 2 = {(1, 1), (1, 2), (2, 1)} R 3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (2, 4), (3, 3), (4, 1), (4, 2), (4, 4)} R 4 = {(3, 4)} Esimerkiksi pitäminen on (kaksipaikkainen) suhde, jonka ei tarvitse olla symmetrinen ((a, b) P a pitää b:stä): vaikka (a, b) P niin voi olla (b, a) P (b ei pidä a:sta) ja vaikka (a, b) P ja (b, c) P, niin (a, c) P. P :n ei tarvitse olla transitiivinen). (Kaksipaikkainen) suhde R voidaan (kun A ja B äärelliset) aina esittää matriisina M R. Järjestetään A:n alkiot: a 1,..., a n ja B:n alkiot b 1,..., b m, nimetään M R :n rivit a 1,..., a n :llä ja sarakkeet b 1,..., b m. Saadaan esitys:

4 (a i, b j ) R M R : n alkio ij on 1 (a i, b j ) R M R : n alkio ij on 0 Esimerkki 8.5 Esitä esimerkin 8.4 suhteet matriiseina. Joukon A 1 A 2 A 3... A n (A i :t joukkoja, i = 1,..., n) alijoukot ovat npaikkaisia suhteita, relaatioita. Joukot A 1,..., A n muodostavat npaikkaisen suhteen määrittelyalan. Esimerkki 8.6 Suhde R, missä (a, b, c) R a, b, c Z ja a < b < c on 3-paikkainen suhde joukossa Z (tai joukossa Z Z Z). Sopivat tietokannat voidaan kuvitella n-paikkaisiksi relaatioiksi, kun kentän i määrittelyalue tulkitaan joukoksi A i, niin jokainen tietue (a 1, a 2,..., a n ) on suhteen R alkio. Koska relaatiot joukkoja, niitä voidaan käsitellä soveltamalla niihin joukkoopillisia laskutoimituksia. 8.4 Ekvivalenssisuhde Tarkastellaan seuraavassa, miten sopivalla yhdistelmällä edelläolevia suhteiden ominaisuuksia voidaan jakaa joukko "samankaltaisiin alkioihin", eli osittaa joukko. Jos A i A, i = 1, 2,... n ovat A:n epätyhjiä osajoukkoja, joille n i=1 A i = A ja A i A j = aina kun i j, niin A 1, A 2,..., A n on joukon A ositus (partition). Esimerkiksi {1, 2, 4}, {3, 5}, {6} on joukon {1, 2, 3, 4, 5, 6} ositus. (2paikkainen) suhde R on ekvivalenssi(suhde) joukossa A, jos R on reeksiivinen, symmetrinen ja transitiivinen. Esimerkki 8.7 Mitkä esimerkin 8.4 suhteista ovat ekvivalenssisuhteita? Esimerkki 8.8 Olkoot m positiivinen kokonaisluku. Osoita, että suhde R = {(a, b) a:n ja b:n jakojäännös luvulla m jaettaessa on sama} on ekvivalenssisuhde ei-negatiivisten kokonaislukujen joukossa. Tarkastellaan suhdetta (a, b) R jos ja vain jos a:lla ja b:llä on sama opintojen aloitusvuosi. Selvästi R on ekvivalenssisuhde opiskelijoiden joukossa ja suhde jakaa kaikki opiskelijat erillisiin joukkoihin, jotka kukin muodostuu samana vuonna opiskelunsa aloittaneista opiskelijoista. Nämä ovat suhteen R ekvivalenssiluokkia.

5 Yleisesti: Jos R on ekvivalenssisuhde joukossa A, niin joukon A alkioon a liittyvä ekvivalenssiluokka [a] R on kaikki joukon A alkiot b, jotka ovat joille a kanssa suhteessa R. Siis [a] R = {b (a, b) R}. Esimerkki 8.9 Määrää edellisen esimerkin ekvivalenssiluokka [7] R, kun m = 3. Lause 8.1 Seuraavat ehdot ovat voimassa: (i))ekvivalenssisuhde joukossa A määrää joukon A osituksen. (ii)jokainen joukon A ositus määrää ekvivalenssisuhteen joukossa A. Tod.... Esimerkki 8.10 Määrää esimerkin 8.8 suhteen määräämä ositus ei-negatiivisille kokonaisluvuille, kun m = 6. 8.5 Järjestyssuhteet Joukon suhteilla voidaan kuvata myös alkioiden järjestystä tietyn ominaisuuden suhteen. Järjestys on myös kaksipaikkainen suhde (ja on monia erilaisia järjestyksiä). Suhde R joukossa A on osittain järjestys, jos se on reeksiivinen, antisymmetrinen ja transitiivinen. Kun R on osittain järjestys, niin voidaan merkitä: (a, b) R a b Esimerkki 8.11 Osoita, että suhde "suurempi tai yhtäsuuri kuin"on osittainen järjestys kokonaislukujen joukossa. Esimerkki 8.12 Mitkä esimerkin 8.4 suhteista ovat osittaisia järjestyksiä? Esimerkki 8.13 Olkoon suhde positiivisten kokonaislukujen joukossa, jolle x y jos ja vain jos x on y:n tekijä. Onko osittain järjestys. R on totaalijärjestys A:ssa (jonojärjestys, ketjujärjestys), jos R on osittain järjestys ja kun a, b A, niin joko (a, b) R tai (b, a) R. (Kaiken kattavuus: mitkä tahansa 2 alkiota keskenään järjestettävissä).

6 Esimerkki 8.14 Tarkastellaan joukon A = {1, 2, 3,..., 15} suhteita x y jos ja vain jos luku x on pienempi kuin y ja x y jos ja vain jos x on y:n tekijä. Ovatko suhteet jonojärjestyksiä A:ssa Osittain järjestystä R joukossa A havainnollistetaan usein kuvalla, järjestyskuvalla, missä pisteet ovat A:n alkiot ja a ja b on yhdistetty nousevalla viivalla a:sta b:hen jos (a, b) R ja a b eikä ole olemassa c:tä siten, että (a, c), (c, b) R. Totaalinen järjestys ja osittain järjestys R ovat keskenään yhteensopivat, jos (a, b) R a b. Esimerkki 8.15 Allaolevan kuvan osittain järjestys ja totaalinen järjestys ovat yhteensopivat. Jokaisessa äärellisessä osittain järjestetyssä joukossa on ainakin yksi minimaalinen elementti (elementti, jota pienempää ei ole; kuvion joukosta a, b ja c tällaisia). Äärellisen osittain järjestetyn joukon elementti on maksimaalinen, jos sitä suurempaa ei ole. Elementti a on suurin osittain järjestetyssä joukossa U, jos a u jokaisella u U ja b on pienin, jos u b jokaisella u U. Huomaa, että pienin elementti on minimaalinen, mutta minimaalisen ei tarvitse olla pienin. Samoin: suurin on maksimaalinen mutta maksimaalisen ei tarvitse olla suurin.