Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Transkriptio

1 Johdatus yliopistomatematiikkaan JYM, Syksy2015 1/195

2 Joukko ja alkio Määritelmä Joukko tarkoittaa kokoelmaa olioita, joita sanotaan joukon alkioiksi. Lisäksi vaaditaan, että jokaisesta oliosta on voitava päätellä, onko se tietyn joukon alkio vai ei. Esimerkki 1 Luonnollisten lukujen joukko N = {0, 1, 2, 3,...}. Kokonaislukujen joukko Z = {..., 2, 1, 0, 1, 2,...}. JYM, Syksy2015 2/195

3 Joukkojen määritteleminen Joukkoja voidaan määritellä eri tavoin: Luettelemalla joukon alkiot, jos joukko on pieni tai selkeästi ymmärrettävä: kokonaisluvut, joiden itseisarvo on enintään 2: parilliset kokonaisluvut: { 2, 1, 0, 1, 2} {..., 6, 4, 2, 0, 2, 4, 6,...} JYM, Syksy2015 3/195

4 Joukkojen määritteleminen Ehdon avulla, jolloin merkintä on muotoa {alkioiden tyyppi ehto, joka alkioilta vaaditaan}. kokonaisluvut, joiden itseisarvo on enintään 2: { z œ Z : z Æ2 } parilliset kokonaisluvut: { m œ Z m = 2n missä n œ Z } JYM, Syksy2015 4/195

5 Joukkojen määritteleminen ı rationaalilukujen joukko Q = { m/n m, n œ Z ja n = 0 }. ı reaalilukujen joukko R (pohditaan kurssilla Raja-arvot). ı kompleksilukujen joukko C (opiskellaan tällä kurssilla). JYM, Syksy2015 5/195

6 Joukko ja alkio Määritelmä Jos a on joukon A alkio, sanotaan, että akuuluujoukkoon A, ja merkitään a œ A. Jos a ei ole joukon A alkio, sanotaan, että aeikuulujoukkoon A, ja merkitään a œ A. Esimerkki 2 2 œ N, 3 œ N, 3 œ Z, 6 7 œ Z. JYM, Syksy2015 6/195

7 Joukkojen samuus Määritelmä Joukot A ja B ovat samat, jos niillä on täsmälleen samat alkiot eli x œ A, jos ja vain jos x œ B. Merkintä A = B tarkoittaa, että joukot A ja B ovat samat. Esimerkki 3 Mitkä seuraavista joukoista ovat samoja? { x œ Z 3 < x < 1} {0, 2, 1} { 2, 1, 0} {0, 1, 0, 1, 2, 1} JYM, Syksy2015 7/195

8 Joukkojen samuus Määritelmä Joukot A ja B ovat samat, jos niillä on täsmälleen samat alkiot eli x œ A, jos ja vain jos x œ B. Merkintä A = B tarkoittaa, että joukot A ja B ovat samat. JYM, Syksy2015 7/185

9 Yhdiste, leikkaus ja erotus Määritelmä Oletetaan, että A ja B ovat joukkoja. Joukkojen A ja B yhdiste on joukko A fi B = { x x œ A tai x œ B }, leikkaus on joukko A fl B = { x x œ A ja x œ B }, erotus on joukko A r B = { x x œ A ja x œ B }. Huom. ı Matematiikan tai ei ole poissulkeva; yhdisteen A fi B muodostavat kaikki alkiot, jotka kuuluvat ainakin toiseen joukoista A ja B. ı Merkintä A r B luetaan A pois B. JYM, Syksy2015 8/185

10 Yhdiste, leikkaus ja erotus Joukkoja voidaan havainnollistaa ns. Vennin kaavioiden avulla: A B A [ B A \ B A \ B Kuvassa tummennettuna mainitut joukot. JYM, Syksy2015 9/185

11 Osajoukko Määritelmä Joukko A on joukon B osajoukko, jos kaikilla x œ A pätee myös x œ B. Tällöin sanotaan, että A sisältyy joukkoon B, ja merkitään A µ B. Merkintä A µ B tarkoittaa, että A ei ole joukon B osajoukko. JYM, Syksy /185

12 Osajoukko Määritelmä Joukko A on joukon B osajoukko, jos kaikilla x œ A pätee myös x œ B. Tällöin sanotaan, että A sisältyy joukkoon B, ja merkitään A µ B. Merkintä A µ B tarkoittaa, että A ei ole joukon B osajoukko. JYM, Syksy /185

13 Luonnolliset luvut Luonnolliset luvut voidaan määritellä Peanon aksioomien avulla: Luonnollisten lukujen joukolla N on seuraavat ominaisuudet: 1. Nolla on luonnollinen luku; ts. 0 œ N. 2. Jokaista luonnollista lukua n kohti on olemassa täsmälleen yksi luonnollinen luku s(n), jota sanotaan luvun nseuraajaksi. 3. Nolla ei ole minkään luonnollisen luvun seuraaja; ts. 0 = s(n) kaikilla n œ N. 4. Eri luvuilla on eri seuraajat; ts. jos m = n, niins(m) = s(n). 5. Oletetaan, että A µ N. Oletetaanlisäksi,että0œ A, jaettä kaikilla n œ N pätee: jos n œ A, niins(n) œ A. Tällöin A = N. JYM, Syksy /185

14 Induktioperiaate Induktioaksioomasta saadaan johdettua I induktioperiaate, joiden avulla voidaan todistaa luonnollisia lukuja koskevia väitteitä. Lause 3 (I induktioperiaate) Oletetaan, että seuraavat ehdot ovat voimassa: 1. Luvulla 0 on ominaisuus P. 2. Kaikilla luonnollisilla luvuilla pätee: jos luvulla n on ominaisuus P, niinsitäseuraavallaluvulla n + 1 on ominaisuus P. Tällöin kaikilla luonnollisilla luvuilla on ominaisuus P. JYM, Syksy /185

15 Induktioperiaate Havainnollistus: Järjestän (äärettömän määrän) dominonappuloita jonoon niin, että yhden kaatuminen aiheuttaa aina seuraavan kaatumisen. Jos kaadan ensimmäisen, niin kaikki nappulat kaatuvat. JYM, Syksy /185

16 Implikaation totuustaulu A B A æ B JYM, Syksy /185

17 Induktiotodistus Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle Induktioaskel: ı Tehdään induktio-oletus, että k œ N ja asia P pätee luvulle k. ı Näytetään, että induktio-oletuksesta ja mahdollisista muista oletuksista seuraa, että tällöin asia P pätee myös seuraavalle luonnolliselle luvulle k Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa induktioperiaatteen nojalla, että asia P pätee kaikille n œ N. JYM, Syksy /185

18 Induktiotodistus Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle Induktioaskel: ı Tehdään induktio-oletus, että k œ N ja asia P pätee luvulle k. ı Näytetään, että induktio-oletuksesta ja mahdollisista muista oletuksista seuraa, että tällöin asia P pätee myös seuraavalle luonnolliselle luvulle k Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa induktioperiaatteen nojalla, että asia P pätee kaikille n œ N. JYM, Syksy /186

19 Induktiotodistus Esimerkki 4 Osoita induktiolla, että kaikilla n œ N pätee nÿ j=0 j 3 = n2 (n + 1) 2. 4 JYM, Syksy /186

20 Esimerkki 5 Induktiotodistus Osoita induktiolla, että kaikilla luonnollisilla luvuilla n Ø 1 pätee seuraava: Neliönmuotoinen 2 n 2 n -ruudukko, josta on poistettu yksi ruutu, voidaan peittää L-kirjaimen muotoisilla kolmesta ruudusta koostuvilla palasilla. JYM, Syksy /186

21 Induktioperiaate Induktioaksioomasta saadaan johdettua I induktioperiaate, joiden avulla voidaan todistaa luonnollisia lukuja koskevia väitteitä. Lause 3 (I induktioperiaate) Oletetaan, että seuraavat ehdot ovat voimassa: 1. Luvulla 0 on ominaisuus P. 2. Kaikilla luonnollisilla luvuilla pätee: jos luvulla n on ominaisuus P, niinsitäseuraavallaluvulla n + 1 on ominaisuus P. Tällöin kaikilla luonnollisilla luvuilla on ominaisuus P. JYM, Syksy /186

22 Induktiotodistus Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle Induktioaskel: ı Tehdään induktio-oletus, että k œ N ja asia P pätee luvulle k. ı Näytetään, että induktio-oletuksesta ja mahdollisista muista oletuksista seuraa, että tällöin asia P pätee myös seuraavalle luonnolliselle luvulle k Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa induktioperiaatteen nojalla, että asia P pätee kaikille n œ N. JYM, Syksy /186

23 Induktiotodistus? Esimerkki 6 Oletetaan, että f : R æ R on funktio. Yritetään todistaa induktiolla seuraava väite: Jokaista äärellistä, epätyhjää joukkoa A µ R kohti on olemassa sellainen reaaliluku c, ettäf (x) =c kaikilla x œ A. Missä kohdassa todistusta on virhe? JYM, Syksy /186

24 Osajoukko Määritelmä Joukko A on joukon B osajoukko, jos kaikilla x œ A pätee myös x œ B. Tällöin sanotaan, että A sisältyy joukkoon B, ja merkitään A µ B. Merkintä A µ B tarkoittaa, että A ei ole joukon B osajoukko. JYM, Syksy /160

25 Implikaation totuustaulu A B A æ B JYM, Syksy /160

26 Osajoukko Määritelmä Joukko A on joukon B osajoukko, jos kaikilla x œ A pätee myös x œ B. Tällöin sanotaan, että A sisältyy joukkoon B, ja merkitään A µ B. Merkintä A µ B tarkoittaa, että A ei ole joukon B osajoukko. JYM, Syksy /160

27 Perusjoukko ja komplementti Usein tarkastellaan jonkin tietyn joukon eri osajoukkoja ja alkioita. Tätä joukkoa, jonka osajoukkoja ja alkoita tutkitaan, sanotaan perusjoukoksi. Määritelmä Olkoon X tarkasteltava perusjoukko. Joukon A µ X komplementti on joukko {A = { x œ X x œ A }. Huom. ı Toisin sanottuna {A = X r A. ı Joukon A komplementille käytetään myös merkintää A c. JYM, Syksy /160

28 Perusjoukko ja komplementti Havainnollistuksia: A {A A [ B {(A [ B) JYM, Syksy /160

29 Joukkojen samuus Määritelmä Joukot A ja B ovat samat, jos niillä on täsmälleen samat alkiot eli x œ A, jos ja vain jos x œ B. Merkintä A = B tarkoittaa, että joukot A ja B ovat samat. JYM, Syksy2015 7/159

30 Osajoukko Määritelmä Joukko A on joukon B osajoukko, jos kaikilla x œ A pätee myös x œ B. Tällöin sanotaan, että A sisältyy joukkoon B, ja merkitään A µ B. Merkintä A µ B tarkoittaa, että A ei ole joukon B osajoukko. JYM, Syksy /159

31 de Morganin lait Lause 7 (de Morganin lait) Oletetaan, että X on joukko ja A, B µ X. Tällöin {(A fi B) ={A fl {B ja {(A fl B) ={A fi {B. Huom. ı Muista, että joukkojen identtisyys saadaan todistettua päättelemällä sisältyminen molempiin suuntiin. JYM, Syksy /159

32 Jos P, niin Q -muotoisen väitteen todistaminen P Q P æ Q Väite jos P, niin Q voidaan todistaa seuraavasti: Oletetaan, että implikaation etujäsen P on tosi. Toisin sanottuna oletetaan, että P pätee. Päätellään, että tällöin myös Q pätee. JYM, Syksy /159

33 de Morganin lait Lause 7 (de Morganin lait) Oletetaan, että X on joukko ja A, B µ X. Tällöin {(A fi B) ={A fl {B ja {(A fl B) ={A fi {B. Huom. ı Muista, että joukkojen identtisyys saadaan todistettua päättelemällä sisältyminen molempiin suuntiin. JYM, Syksy /159

34 Jos P, niin Q -muotoisen väitteen todistaminen P Q P æ Q Väite jos P, niin Q voidaan todistaa seuraavasti: Oletetaan, että implikaation etujäsen P on tosi. Toisin sanottuna oletetaan, että P pätee. Päätellään, että tällöin myös Q pätee. JYM, Syksy /159

35 Implikaation totuustaulu A B A æ B JYM, Syksy /159

36 Jos P, niin Q -muotoisen väitteen todistaminen P Q P æ Q Väite jos P, niin Q voidaan todistaa seuraavasti: Oletetaan, että implikaation etujäsen P on tosi. Toisin sanottuna oletetaan, että P pätee. Päätellään, että tällöin myös Q pätee. JYM, Syksy /159

37 Oletus: A ja B ovat joukkoja. Väite: jos A µ B, niina fi B = B. Perustelu: Oletetaan, että väitteen jos... -osa pätee eli A µ B. Yritetään osoittaa, että väitteen niin... -osa pitää paikkansa. Koska kysymyksessä on joukkojen identtisyys, osoitetaan sisältyminen molempiin suuntiin. µ : Oletetaan, että x œ A fi B. Tällöin x œ A tai x œ B (yhdisteen määritelmä). Tapaukset: Oletetaan, että x œ A. Lisäksi alun oletuksen mukaan A µ B, joten x œ B. Oletetaan, että x œ B. Tämänenempääeitarvita. Molemmissa tapauksissa x œ B. : Oletetaan, että x œ B. Tällöin yhdisteen määritelmän nojalla x œ A fi B. Päättelyt µ ja yhdessä osoittavat, että A fi B = B. JYM, Syksy /159

38 Implikaation totuustaulu A B A æ B JYM, Syksy /159

39 Potenssijoukko Määritelmä Oletetaan, että X on joukko. Joukon X potenssijoukko tarkoittaa sen kaikkien osajoukkojen muodostamaa joukkoa P(X) ={ A A µ X }. JYM, Syksy /159

40 Potenssijoukko Esimerkki 8 Oletetaan, että A ja B ovat joukkoja. Osoita, että P(A fl B) =P(A) flp(b). JYM, Syksy /159

41 P, josjavainjosq -muotoisenväitteentodistaminen P Q P Q Väite P, jos ja vain jos Q voidaan todistaa kahdessa osassa: Oletetaan, että P pätee. Näytetään, että tällöin Q pätee. Oletetaan, että Q pätee. Näytetään, että tällöin P pätee. JYM, Syksy /160

42 jos ja vain jos -muotoisen väitteen todistaminen Esimerkki 9 Oletetaan, että n œ Z. Perustele, että 10 n, jos ja vain jos 5 n ja 2 n. JYM, Syksy /160

43 jos ja vain jos -muotoisen väitteen todistaminen Esimerkki 10 Oletetaan, että X on joukko ja A, B µ X. Osoita, että A µ B, jos ja vain jos {A fi B = X. JYM, Syksy /160

44 P, josjavainjosq -muotoisenväitteentodistaminen P Q P Q Väite P, jos ja vain jos Q voidaan todistaa kahdessa osassa: Oletetaan, että P pätee. Näytetään, että tällöin Q pätee. Oletetaan, että Q pätee. Näytetään, että tällöin P pätee. JYM, Syksy /160

45 jos ja vain jos -muotoisen väitteen todistaminen Esimerkki 11 Oletetaan, että A ja B ovat joukkoja. Osoita, että A fi B = B, jos ja vain jos A r B = ÿ. JYM, Syksy /160

46 Oletetaan, että A ja B ovat joukkoja. Väite: A fi B = B, jos ja vain jos A r B = ÿ. Todistus. : Oletetaan, että A fi B = B. Pitää osoittaa, että tällöin A r B = ÿ. Vastaoletus eli antiteesi: oletetaan, että A r B = ÿ. Tämä tarkoittaa, että on olemassa x œ A r B. Tällöin x œ A ja x œ B. Koska x œ A, niinx œ A fi B. OletuksenmukaanA fi B = B, joten x œ B. Päädyttiinristiriitaan:x œ B ja x œ B. Siis vastaoletus on epätosi ja alkuperäinen väite A r B = ÿ pätee. JYM, Syksy /160

47 : Oletetaan, että A r B = ÿ. Pitää osoittaa, että tällöin A fi B = B. µ : Oletetaan, että x œ A fi B. Tällöin x œ A tai x œ B. Tapaukset: Oletetaan, että x œ A. Päätellään epäsuorasti: Jos x œ B, niin x œ A r B. Kuitenkin oletuksen mukaan A r B = ÿ. Siis välttämättä x œ B. Oletetaan, että x œ B. Enempääeitarvitsepäätellä. Molemmissa tapauksissa x œ B. : Oletetaan, että x œ B. Tällöin x œ A fi B yhdisteen määritelmän nojalla. JYM, Syksy /160

48 Epäsuora päättely: kontrapositiotodistus Implikaatio ja sen kontrapositio ovat loogisesti ekvivalentit: P Q P Q Q P Q P Kontrapositiotodistus väitteelle jos P, niin Q rakentuu seuraavasti: Oletetaan, että Q on tosi. Päätellään, että tällöin myös P on tosi. JYM, Syksy /161

49 Epäsuora päättely: ristiriitatodistus Ristiriitatodistus väitteelle P rakentuu seuraavasti: Tehdään vastaoletus eli oletetaan, että P on tosi. Päätellään ristiriita C C. Ristiriitatodistuksessa todistetaan implikaatio P (C C). Se on loogisesti ekvivalentti alkuperäisen väitteen P kanssa: P C P C C P (C C) JYM, Syksy /161

50 Määritelmä Joukkojen karteesinen tulo eli tulojoukko Oletetaan, että A ja B ovat joukkoja. Joukkojen A ja B karteesinen tulo eli tulojoukko on joukko A B = { (a, b) a A ja b B }. Esimerkki 13 (a) Määritä joukkojen C = {0, 4, 7} ja D = {4, 9} karteesinen tulo C D. C D = {(0, 4), (0, 9), (4, 4), (4, 9), (7, 4), (7, 9)}. (b) Havainnollista koordinaatistossa. JYM, Syksy /161

51 (b) Havainnollistus koordinaatistossa: JYM, Syksy /161

52 Joukkojen karteesinen tulo eli tulojoukko Esimerkki 14 (a) Osoita, että A (B C)=(A B) (A C) kaikilla joukoilla A, B ja C. (b) Havainnollista kuvan avulla. JYM, Syksy /161

53 (a) Oletetaan, että A, B ja C ovat joukkoja. Väite: A (B C)=(A B) (A C). Todistus. : Oletetaan, että x A (B C). Tällöin x =(s, t), missä s A ja t B C. Koska t B C, niint B ja t C. Koska s A ja t B, niinx =(s, t) A B. Vastaavasti koska s A ja t C, niinx =(s, t) A C. Leikkauksenmääritelmän mukaan tällöin x (A B) (A C). : Oletetaan, että y (A B) (A C). Tällöin y A B ja y A C. Siteny =(a, d), missäa A, d B ja d C. Tällöin d B C. Koska a A ja d B C, niin tulojoukon määritelmän mukaan y =(a, d) A (B C). JYM, Syksy /161

54 Määritelmä Kuvaus (eli funktio) Oletetaan, että X ja Y ovat joukkoja. Kuvaus (eli funktio) joukosta X joukkoon Y on sääntö, joka liittää joukon X jokaiseen alkioon täsmälleen yhden alkion joukosta Y. Merkintä f : X Y tarkoittaa, että f on kuvaus joukosta X joukkoon Y. Sama asia voidaan merkitä myös X f Y. Tässä X on kuvauksen f lähtö(eli määrittelyjoukko) ja Y on kuvauksen fmaali. Oletetaan, että x X. Sitä yksikäsitteistä joukon Y alkiota, jonka kuvaus f liittää alkioon x, merkitäänf (x) ja kutsutaan alkion x kuva-alkioksi. JYM, Syksy /161

55 Havainnollistuksia: X Y Y x f f(x) f(x) x X JYM, Syksy /161

56 Määritelmä Kuvaus (eli funktio) Oletetaan, että X ja Y ovat joukkoja. Kuvaus (eli funktio) joukosta X joukkoon Y on sääntö, joka liittää joukon X jokaiseen alkioon täsmälleen yhden alkion joukosta Y. Merkintä f : X Y tarkoittaa, että f on kuvaus joukosta X joukkoon Y. Sama asia voidaan merkitä myös X f Y. Tässä X on kuvauksen f lähtö(eli määrittelyjoukko) ja Y on kuvauksen fmaali. Oletetaan, että x X. Sitä yksikäsitteistä joukon Y alkiota, jonka kuvaus f liittää alkioon x, merkitäänf (x) ja kutsutaan alkion x kuva-alkioksi. JYM, Syksy /162

57 II induktioperiaate II induktioperiaate poikkeaa tavallisesta induktioperiaatteesta induktio-oletuksen osalta. Lause 16 (II induktioperiaate) Oletetaan, että seuraavat ehdot ovat voimassa: (a) Luvulla 0 on ominaisuus P. (b) Kaikilla luonnollisilla luvuilla pätee: jos luvulla n ja kaikilla sitä pienemmillä luonnollisilla luvuilla on ominaisuus P, niinluvullan + 1 on ominaisuus P. Tällöin kaikilla luonnollisilla luvuilla on ominaisuus P. JYM, Syksy /162

58 Induktiotodistus II induktioperiaatetta käyttäen Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle Induktioaskel: Tehdään induktio-oletus, että k N ja asia P pätee luvulle k ja sitä pienemmille luonnollisille luvuille. Osoitetaan, että tällöin asia P pätee myös luvulle k Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa II induktioperiaatteen nojalla, että asia P pätee kaikille n N. JYM, Syksy /162

59 II induktioperiaate II induktioperiaate poikkeaa tavallisesta induktioperiaatteesta induktio-oletuksen osalta. Lause 16 (II induktioperiaate) Oletetaan, että seuraavat ehdot ovat voimassa: (a) Luvulla 0 on ominaisuus P. (b) Kaikilla luonnollisilla luvuilla pätee: jos luvulla n ja kaikilla sitä pienemmillä luonnollisilla luvuilla on ominaisuus P, niinluvullan + 1 on ominaisuus P. Tällöin kaikilla luonnollisilla luvuilla on ominaisuus P. JYM, Syksy /162

60 Induktiotodistus II induktioperiaatetta käyttäen Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle Induktioaskel: Tehdään induktio-oletus, että k N ja asia P pätee luvulle k ja sitä pienemmille luonnollisille luvuille. Osoitetaan, että tällöin asia P pätee myös luvulle k Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa II induktioperiaatteen nojalla, että asia P pätee kaikille n N. JYM, Syksy /162

61 Induktiotodistus II induktioperiaatetta käyttäen Esimerkki 17 Määritellään lukujono (z n ) rekursiivisesti asettamalla z 0 = 2, z 1 = 1 ja z n = z n 1 + 2z n 2 kaikilla n 2. (a) Laske z 2, z 3 ja z 4. (b) Keksi kaava, jolla z n voidaan laskea, jos n on annettu. Osoita kaava oikeaksi induktiota käyttäen. JYM, Syksy /162

62 (a) Lasketaan: z 2 = z 1 + 2z 0 = 5, z 3 = z 2 + 2z 1 = 7, z 4 = z 3 + 2z 2 = 17. (b) Arvaus: z n = 2 n +( 1) n kaikilla n N. Osoitetaan arvaus oikeaksi induktiolla. JYM, Syksy /162

63 Kuva Määritelmä Oletetaan, että f : X Y on kuvaus. Oletetaan lisäksi, että A X. Joukon Akuvakuvauksessa f on joukko fa = { y Y y = f (a) missä a A }. Huom. Kuvan fa muodostavat siis ne maalin alkiot, jotka ovat joukon A alkioiden kuva-alkoita. Määritelmä tarkoittaa, että w fa, jos ja vain jos w Y ja w = f (a) jollakin a A. Lyhyesti sanottuna fa = { f (a) a A }. JYM, Syksy /162

64 Kuva Määritelmä Oletetaan, että f : X Y on kuvaus. Oletetaan lisäksi, että A X. Joukon Akuvakuvauksessa f on joukko fa = { y Y y = f (a) missä a A }. Huom. Kuvan fa muodostavat siis ne maalin alkiot, jotka ovat joukon A alkioiden kuva-alkoita. Määritelmä tarkoittaa, että w fa, jos ja vain jos w Y ja w = f (a) jollakin a A. Lyhyesti sanottuna fa = { f (a) a A }. JYM, Syksy /162

65 Alkukuva Määritelmä Oletetaan, että f : X Y on kuvaus. Oletetaan lisäksi, että B Y. Joukon Balkukuvakuvauksessa f on joukko f B = { x X f (x) B }. Huom. Alkukuvan f B muodostavat siis ne lähdön alkiot, joiden kuva-alkiot kuuluvat joukkoon B. Määritelmä tarkoittaa, että t f B, jos ja vain jos t X ja f (t) B. JYM, Syksy /162

66 Kuva Määritelmä Oletetaan, että f : X Y on kuvaus. Oletetaan lisäksi, että A X. Joukon Akuvakuvauksessa f on joukko fa = { y Y y = f (a) missä a A }. Huom. Kuvan fa muodostavat siis ne maalin alkiot, jotka ovat joukon A alkioiden kuva-alkoita. Määritelmä tarkoittaa, että w fa, jos ja vain jos w Y ja w = f (a) jollakin a A. Lyhyesti sanottuna fa = { f (a) a A }. JYM, Syksy /162

67 Alkukuva Määritelmä Oletetaan, että f : X Y on kuvaus. Oletetaan lisäksi, että B Y. Joukon Balkukuvakuvauksessa f on joukko f B = { x X f (x) B }. Huom. Alkukuvan f B muodostavat siis ne lähdön alkiot, joiden kuva-alkiot kuuluvat joukkoon B. Määritelmä tarkoittaa, että t f B, jos ja vain jos t X ja f (t) B. JYM, Syksy /162

68 Injektio Määritelmä Oletetaan, että f : X Y on kuvaus. Sanotaan, että kuvaus f on injektio, jos kaikilla x 1, x 2 X yhtälöstä f (x 1 )=f (x 2 ) seuraa, että x 1 = x 2. Lause 28 Oletetaan, että f : X Y on kuvaus. Kuvaus f on injektio, jos ja vain jos lähdön eri alkioilla on eri kuva-alkiot; ts. kaikilla x 1, x 2 X pätee: jos x 1 = x 2,niinf (x 1 ) = f (x 2 ). JYM, Syksy /162

69 Injektio Esimerkki 29 Ovatko seuraavat kuvaukset injektioita? (a) f : R {1} R, jolle x x x 1. JYM, Syksy /162

70 (a) Oletetaan, että x 1, x 2 R {1} ja f (x 1 )=f (x 2 ). Tällöin x 1 x 1 1 = x 2 x 2 1. Kertomalla yhtälön molemmat puolet nimittäjillä saadaan x 1 (x 2 1)=x 2 (x 1 1). Tästä seuraa, että x 1 x 2 x 1 = x 1 x 2 x 2 ja edelleen x 1 = x 2.Siisx 1 = x 2. Näin ollen kuvaus f on injektio. JYM, Syksy /162

71 (b) g : R R, jolle g(x)=x 2. Kuvaus g ei ole injektio, sillä esimerkiksi 2, 2 R ja 2 = 2, mutta g( 2)=4 = g(2). JYM, Syksy /162

72 Injektio Määritelmä Oletetaan, että f : X Y on kuvaus. Sanotaan, että kuvaus f on injektio, jos kaikilla x 1, x 2 X yhtälöstä f (x 1 )=f (x 2 ) seuraa, että x 1 = x 2. Lause 28 Oletetaan, että f : X Y on kuvaus. Kuvaus f on injektio, jos ja vain jos lähdön eri alkioilla on eri kuva-alkiot; ts. kaikilla x 1, x 2 X pätee: jos x 1 = x 2,niinf (x 1 ) = f (x 2 ). JYM, Syksy /162

73 Surjektio Määritelmä Oletetaan, että f : X Y on kuvaus. Sanotaan, että kuvaus f on surjektio, jos jokaisella y Y on olemassa ainakin yksi sellainen x X, ettäf (x)=y. Lause 30 Oletetaan, että f : X Y on kuvaus. Kuvaus f on surjektio, jos ja vain jos fx= Y. JYM, Syksy /162

74 Surjektio Esimerkki 31 Ovatko seuraavat kuvaukset surjektioita? (a) f : R {1} R, jolle x x x 1. JYM, Syksy /162

75 Tutkitaan asiaa: Oletetaan, että y R ja tutkitaan yhtälöä f (x)=y: x = y x = y(x 1) x = yx y x 1 x yx = y (1 y)x = y. Havaitaan, että jos y = 1, päädytään yhtälöön 0x = 1, jolla ei ole ratkaisua. Ongelmallinen maalin alkio on siis y = 1. Näin vaikuttaa siltä, että f (x) = 1kaikillax R {1}. JYM, Syksy /162

76 Varsinainen perustelu: Osoitetaan, että f ei ole surjektio. Vastaoletus: Oletetaan, että f on surjektio. Tällöin on olemassa erityisesti sellainen x R {1}, ettäf (x)=1eli x x 1 = 1. Tästä seuraa, että x = x 1jaedelleen0= 1. Tämä on ristiriita. Siis vastaoletus on epätosi ja alkuperäinen väite pätee. Näin ollen f ei ole surjektio. JYM, Syksy /162

77 (b) g : R R, jolle g(x)=x 2. Kuvaus g ei ole surjektio: Havaitaan, että g(x)=x 2 0 kaikilla x R. Siten esimerkiksi g(x) = 1 kaikilla x R. JYM, Syksy /162

78 Surjektio Määritelmä Oletetaan, että f : X Y on kuvaus. Sanotaan, että kuvaus f on surjektio, jos jokaisella y Y on olemassa ainakin yksi sellainen x X, ettäf (x)=y. Lause 30 Oletetaan, että f : X Y on kuvaus. Kuvaus f on surjektio, jos ja vain jos fx= Y. JYM, Syksy /162

79 (c) τ : R [0, [, jolle τ(x)=x 2. y y Oletetaan, että y [0, [. Tällöin y on määritelty ja y R. Lisäksi Siis τ on surjektio. τ( y)=( y) 2 = y. JYM, Syksy /162

80 (d) h: R R, jolle h(x)= 1 2 x + 1. y Huom. 2y 2 Oletetaan, että y R. Tällöin 2y 2 R ja lisäksi h(2y 2)= 1 (2y 2)+1 = y = y. 2 Siis h on surjektio. Alkio 2y 2 R löydetään ratkaisemalla x yhtälöstä h(x)=y eli yhtälöstä 1 2 x + 1 = y. JYM, Syksy /162

81 Kuvauksien samuus Määritelmä Kuvaukset f : X Y ja g : V W ovat samat, jos niillä on sama lähtö eli X = V, niillä on sama maali eli Y = W, f (z) = g(z) kaikilla yhteisen lähdön alkioilla z. Huom. Tällä kurssilla käytetään tätä tiukkaa määritelmää, jotta vältytään epämääräisyyksiltä myöhemmin injektion ja surjektion käsitteiden yhteydessä. JYM, Syksy /162

82 Yhdistetty kuvaus Määritelmä Oletetaan, että f : X Y ja g : Y Z ovat kuvauksia. Yhdistetty kuvaus g f tarkoittaa kuvausta X Z, jolla x g(f (x)). Toisin sanottuna yhdistetty kuvaus g f : X Z määritellään asettamalla (g f )(x)=g(f (x)) kaikilla x X. Huom. Huomaa kuvausten järjestys: ensimmäinen kuvaus kirjoitetaan oikealle puolelle lähimmäs lähdön alkiota. JYM, Syksy /162

83 Yhdistetty kuvaus Huom. Joskus vain toinen kuvauksista g f ja f g on määritelty. Usein g f = f g, vaikka molemmat ovat määriteltyjä. JYM, Syksy /162

84 Identtinen kuvaus Määritelmä Oletetaan, että X on mikä tahansa joukko. Joukon Xidenttinen kuvaus id X tarkoittaa kuvausta X X, jolla x x kaikilla x X. Toisin sanottuna joukon X identtinen kuvaus id X : X X määritellään asettamalla id X (x)=x kaikilla x X. Huom. Esimerkin 32 b-kohdan kuvaus f f : R R on joukon R identtinen kuvaus id R,sillä(f f )(x)=x kaikilla x R. JYM, Syksy /162

85 Yhdistetyt kuvaukset ja injektiot Esimerkki 34 Oletetaan, että f : X Y ja g : Y Z ovat injektioita. Osoita, että g f : X Z on injektio. JYM, Syksy /162

86 Yhdistetyt kuvaukset ja surjektiot Esimerkki 35 Oletetaan, että f : X Y ja g : Y Z ovat surjektioita. Osoita, että g f : X Z on surjektio. JYM, Syksy /162

87 Identtinen kuvaus Määritelmä Oletetaan, että X on mikä tahansa joukko. Joukon Xidenttinen kuvaus id X tarkoittaa kuvausta X X, jolla x x kaikilla x X. Toisin sanottuna joukon X identtinen kuvaus id X : X X määritellään asettamalla id X (x)=x kaikilla x X. Huom. Esimerkin 32 b-kohdan kuvaus f f : R R on joukon R identtinen kuvaus id R,sillä(f f )(x)=x kaikilla x R. JYM, Syksy /162

88 Määritelmä Käänteiskuvaus Oletetaan, että f : X Y on kuvaus. Jos on olemassa sellainen kuvaus g : Y X, että g f = id X ja f g = id Y, niin sanotaan, että kuvaus g on kuvauksen f käänteiskuvaus. Kuvauksen f käänteiskuvausta merkitään f 1. Huom. Voidaan osoittaa, että jokaisella kuvauksella on enintään yksi käänteiskuvaus. Sen vuoksi merkintä f 1 on yksikäsitteinen ja siten mielekäs. JYM, Syksy /162

89 Käänteiskuvaus Esimerkki 37 Oletetaan, että f : R R ja g : R R ovat kuvauksia, joilla f (x)=4 3x ja g(x)= x. Osoitetaan, että g on kuvauksen f käänteiskuvaus. Oletetaan, että x R. Tällöin (g f )(x)=g(f (x)) = g(4 3x)= (4 3x) 3 = x = x = id R(x). JYM, Syksy /162

90 Tämä tarkoittaa, että kuvaukset g f : R R ja id R : R R ovat sama kuvaus. Lisäksi ( 4 (f g)(x)=f (g(x)) = f 3 1 ) ( 4 3 x = ) 3 x = x = x = id R (x). Tämä tarkoittaa, että kuvaukset f g : R R ja id R : R R ovat sama kuvaus. Siis g f = id R ja f g = id R, joten g on kuvauksen f käänteiskuvaus. Voidaan merkitä g = f 1. JYM, Syksy /162

91 Määritelmä Käänteiskuvaus Oletetaan, että f : X Y on kuvaus. Jos on olemassa sellainen kuvaus g : Y X, että g f = id X ja f g = id Y, niin sanotaan, että kuvaus g on kuvauksen f käänteiskuvaus. Kuvauksen f käänteiskuvausta merkitään f 1. Huom. Voidaan osoittaa, että jokaisella kuvauksella on enintään yksi käänteiskuvaus. Sen vuoksi merkintä f 1 on yksikäsitteinen ja siten mielekäs. JYM, Syksy /162

92 Käänteiskuvaus Esimerkki 38 Oletetaan, että h: R {1} R {2} on kuvaus, jolle x 2x x 1. Määritä kuvauksen h käänteiskuvaus tai perustele, että sitä ei ole olemassa. JYM, Syksy /162

93 Oletetaan, että y R {2} ja tutkitaan yhtälöä h(x)=y: h(x)=y 2x = y 2x = y(x 1) x 1 2x = yx y 2x yx = y (2 y)x = y x = y 2 y. Huomaa, että viimeisessä askeleessa tarvittiin oletusta y R {2}. JYM, Syksy /162

94 Esimerkin 38 varsinainen ratkaisu: Määritellään g : R {2} R {1} asettamalla t t 2 t. Huomaa, että tässä käytetään lauseketta, joka saatiin edellä ratkaisemalla x yhtälöstä h(x)= y. Näin saadaan hyvin määritelty kuvaus, sillä jos t R {2}, niin osamäärä t/(2 t) on määritelty; on yksikäsitteinen; kuuluu maaliin R {1}: jos olisi t/(2 t)=1, niin t = 2 t eli 0 = 2, ristiriita! JYM, Syksy /162

95 Osoitetaan, että g on kuvauksen h käänteiskuvaus. Oletetaan, että x R {2}. Tällöin ( x (h g)(x)=h(g(x)) = h 2 x = 2x 2 x x 2 x 2 x 2 x = ( ) ) = 2 x 2x 2 x x (2 x) 2 x 2 x x 2 x 1 = 2x 2 x 2 x x 2 + x = 2x 2 = x = id(x). Näin ollen kuvaukset h g : R {2} R {2} ja id: R {2} R {2} ovat sama kuvaus. JYM, Syksy /162

96 Oletetaan, että x R {1}. Tällöin ( 2x ) (g h)(x)=g(h(x)) = g = 2x x 1 x 1 2 2x x 1 = 2(x 1) x 1 2x x 1 2x x 1 = 2x x 1 2x 2 2x x 1 = 2x x 1 x 1 2 = x = id(x). Näin ollen kuvaukset g h: R {1} R {1} ja id: R {1} R {1} ovat sama kuvaus. JYM, Syksy /162

97 Näin on osoitettu, että h g = id R {2} ja g h = id R {1}. Siis kuvaus g on kuvauksen h käänteiskuvaus eli g = h 1. JYM, Syksy /162

98 Määritelmä Bijektio Oletetaan, että f : X Y on kuvaus. Jos kuvaus f on sekä injektio että surjektio, niin sanotaan, että kuvaus f on bijektio. Esimerkki 39 Esimerkeissä 29 ja 31 tarkasteltu kuvaus h: R R, jolle h(x)= 1 2x + 1, on bijektio. JYM, Syksy /162

99 Relaatio Määritelmä Oletetaan, että X ja Y ovat joukkoja. Jos R X Y,niin sanotaan, että R on joukkojen X ja Y välinen relaatio. Jos R X X, niin sanotaan, että R on joukon X relaatio. Jos R on relaatio, niin merkintä arb tarkoittaa, että (a, b) R; toisin sanottuna alkio a on relaatiossa R alkion b kanssa. Huom. Usein relaatiota merkitään kirjaimen R sijasta jollakin symbolilla kuten esimerkiksi <,,, = tai. Relaatio tarkoittaa siis tulojoukon osajoukkoa. JYM, Syksy /162

100 Relaatio Esimerkki 42 Merkitään A = {1, 2, 3, 4, 5}. Määritellään joukon A relaatio R seuraavasti: R = { (x, y) A A x + y < 6 }. Tällöin esimerkiksi luku 2 on relaatiossa R luvun 3 kanssa, sillä < 6. Tämä voidaan merkitä 2R3 tai(2, 3) R. (a) Esitä relaatio R luettelemalla kaikki siihen kuuluvat järjestetyt parit. (b) Esitä relaatio R koordinaatistossa. (c) Esitä relaatio R nuolikaavioina. JYM, Syksy /162

101 Relaatio Esimerkki 43 Merkitään A = {1, 2}. Määritellään joukkojen A ja P(A) välinen relaatio T seuraavasti: T = { (x, Y ) A P(A) x Y }. Tällöin esimerkiksi luku 1 on relaatiossa T alkion A P(A) kanssa, sillä 1 A. (a) Esitä relaatio T luettelemalla kaikki siihen kuuluvat järjestetyt parit. (b) Esitä relaatio T nuolikaavioina. JYM, Syksy /162

102 Relaation refleksiivisyys, symmetrisyys ja transitiivisuus Määritelmä Oletetaan, että R on joukon X relaatio. Relaatio R on refleksiivinen, jos kaikilla x X pätee xrx eli (x, x) R. symmetrinen, jos seuraava ehto toteutuu: jos a, b X ja arb, niinbra. transitiivinen, jos seuraava ehto toteutuu: Huom. jos a, b, c X ja arb ja brc, niinarc. Refleksiivisyys: jokaisen alkion on oltava relaatiossa itsensä kanssa. Huomaa symmetrisyyden ja transitiivisuuden ehdon jos..., niin... -rakenne. JYM, Syksy /162

103 Relaatio Määritelmä Oletetaan, että X ja Y ovat joukkoja. Jos R X Y,niin sanotaan, että R on joukkojen X ja Y välinen relaatio. Jos R X X, niin sanotaan, että R on joukon X relaatio. Jos R on relaatio, niin merkintä arb tarkoittaa, että (a, b) R; toisin sanottuna alkio a on relaatiossa R alkion b kanssa. Huom. Usein relaatiota merkitään kirjaimen R sijasta jollakin symbolilla kuten esimerkiksi <,,, = tai. Relaatio tarkoittaa siis tulojoukon osajoukkoa. JYM, Syksy /162

104 Relaation refleksiivisyys, symmetrisyys ja transitiivisuus Määritelmä Oletetaan, että R on joukon X relaatio. Relaatio R on refleksiivinen, jos kaikilla x X pätee xrx eli (x, x) R. symmetrinen, jos seuraava ehto toteutuu: jos a, b X ja arb, niinbra. transitiivinen, jos seuraava ehto toteutuu: Huom. jos a, b, c X ja arb ja brc, niinarc. Refleksiivisyys: jokaisen alkion on oltava relaatiossa itsensä kanssa. Huomaa symmetrisyyden ja transitiivisuuden ehdon jos..., niin... -rakenne. JYM, Syksy /162

105 Relaation refleksiivisyys, symmetrisyys ja transitiivisuus Esimerkki 46 Määritellään joukon Z relaatio ehdolla a b, jos erotus a b on jaollinen luvulla 5. Onko refleksiivinen? Entä symmetrinen? Entä transitiivinen? Kertaa tarvittaessa jaollisuuden määritelmä (ennen esimerkkiä??). JYM, Syksy /162

106 Osoitetaan, että relaatio on refleksiivinen. Oletetaan, että a Z. Tällöin a a = 0 = 5 0, joten 5 (a a). Siisa a. Tämä päättely pätee millä tahansa kokonaisluvulla, joten jokainen kokonaisluku on relaatiossa itsensä kanssa. Osoitetaan, että relaatio on symmetrinen. Oletetaan, että a, b Z ja a b. Tällöin a b = 5k jollakin k Z. Kertomalla tätä yhtälöä molemmin puolin luvulla 1 saadaan yhtälö b a = 5 ( k), missä k Z. Näin ollen 5 (b a). Siis b a. Osoitetaan, että relaatio on transitiivinen. Oletetaan, että a, b, c Z ja lisäksi a b ja b c. Tällöin a b = 5k jollakin k Z ja b c = 5m jollakin m Z. Siten a c = a b + b c = 5k + 5m = 5(k + m), missä k + m Z. Näin5 (a c). Siisa c. JYM, Syksy /162

107 Ekvivalenssirelaatio Määritelmä Oletetaan, että R on joukon A relaatio. Jos R on refleksiivinen, symmetrinen ja transitiivinen, niin sanotaan, että R on ekvivalenssirelaatio. Huom. Tärkeä esimerkki ekvivalenssirelaatiosta löytyy edellisestä esimerkistä (esimerkki 46). JYM, Syksy /162

108 Ekvivalenssirelaatio Esimerkki 48 Olkoon S kaikkien suomen kielen sanojen muodostama joukko. Määritellään joukon S relaatio T seuraavasti: T = {(a, b) S S sana a alkaa samalla kirjaimella kuin sana b }. Anna esimerkki alkioista a ja b, joille pätee (a, b) T. Onko T ekvivalenssirelaatio? Esimerkiksi ( kissa, koira ) T, sillä sana kissa alkaa samalla kirjaimella kuin sana koira. JYM, Syksy /162

109 Relaatio T on refleksiivinen, sillä jokainen sana on itsensä kanssa relaatiossa T. Nimittäin millä tahansa sanalla on sama alkukirjain kuin sillä itsellään. Relaatio T on symmetrinen:jos sana a alkaa samalla kirjaimella kuin sana b, niin sana b alkaa samalla kirjaimella kuin sana a. Relaatio T on transitiivinen:jos sana a alkaa samalla kirjaimella kuin sana b ja sana b alkaa samalla kirjaimella kuin sana c, niin kaikilla kolmella sanalla on sama alkukirjain.erityisesti sana a alkaa samalla kirjaimella kuin sana c. Relaatio T on siis refleksiivinen, symmetrinen ja transitiivinen, joten se on ekvivalenssirelaatio. JYM, Syksy /162

110 Ekvivalenssiluokat Määritelmä Oletetaan, että R on joukon A ekvivalenssirelaatio ja a A. Niiden alkioiden joukkoa, jotka ovat ekvivalenssirelaatiossa R alkion a kanssa, kutsutaan alkion a ekvivalenssiluokaksi ja merkitään [a] R. Toisin sanottuna [a] R = { b A (b, a) R } = { b A bra }. Kaikkien ekvivalenssiluokkien muodostamaa joukkoa merkitään A/R. Siis A/R = { [a] R a A }. JYM, Syksy /162

111 Ekvivalenssirelaatio Määritelmä Oletetaan, että R on joukon A relaatio. Jos R on refleksiivinen, symmetrinen ja transitiivinen, niin sanotaan, että R on ekvivalenssirelaatio. Huom. Tärkeä esimerkki ekvivalenssirelaatiosta löytyy edellisestä esimerkistä (esimerkki 46). JYM, Syksy /162

112 Ekvivalenssiluokat Määritelmä Oletetaan, että R on joukon A ekvivalenssirelaatio ja a A. Niiden alkioiden joukkoa, jotka ovat ekvivalenssirelaatiossa R alkion a kanssa, kutsutaan alkion a ekvivalenssiluokaksi ja merkitään [a] R. Toisin sanottuna [a] R = { b A (b, a) R } = { b A bra }. Kaikkien ekvivalenssiluokkien muodostamaa joukkoa merkitään A/R. Siis A/R = { [a] R a A }. JYM, Syksy /162

113 Ekvivalenssiluokat Huom. Ekvivalenssirelaatio on refleksiivinen, joten jokainen joukon A alkio on ekvivalenssirelaatiossa itsensä kanssa. Siten a [a] R. Alkiota a sanotaan ekvivalenssiluokan [a] R edustajaksi. JYM, Syksy /162

114 Ekvivalenssiluokat Esimerkki 49 Esimerkissä 48 määriteltiin kaikkien suomen kielen sanojen muodostaman joukon S relaatio T seuraavasti: T = {(a, b) S S sana a alkaa samalla kirjaimella kuin sana b }. Osoittautui, että T on ekvivalenssirelaatio. Mitkä ovat sen ekvivalenssiluokat? Tarkastellaan aluksi sanaa aasi. Määritelmän mukaan [ aasi ] T = { s S (s, aasi ) T } = { s S sana s alkaa kirjaimella a } JYM, Syksy /162

115 Havaitaan, että sanan aasi ekvivalenssiluokan muodostavat kaikki a-kirjaimella alkavat sanat. Vastaavalla tavalla päättelemällä huomataan, että relaation T ekvivalenssiluokat ovat [ aasi ], [ banaani ], [ celsius ], [ demokratia ],...,[ öljy ]. Jokaisen ekvivalenssiluokan muodostavat siis kaikki tietyllä kirjaimella alkavat sanat. Edellä esimerkiksi sana demokratia on kaikkien d-kirjaimella alkavien sanojen edustaja. Kaikkien ekvivalenssiluokkien joukkoa merkitään S/T = { [ aasi ], [ banaani ], [ celsius ],...,[ öljy ] } JYM, Syksy /162

116 Ekvivalenssiluokat Esimerkki 50 Esimerkissä 46 määriteltiin joukon Z relaatio ehdolla a b, jos erotus a b on jaollinen luvulla 5, ja osoitettiin, että on ekvivalenssirelaatio. Mitkä ovat sen ekvivalenssiluokat? JYM, Syksy /162

117 Ekvivalenssiluokan määritelmän mukaan [0] = { z Z z 0 } = { z Z z 0 = 5k missä k Z } = { z Z z = 5k missä k Z } = { 5k k Z} Luvun 0 ekvivalenssiluokan muodostavat siis kaikki viidellä jaolliset luvut. Vastaavasti [1] = { z Z z 1 } = { z Z z 1 = 5k missä k Z } = { z Z z = 5k + 1missäk Z } = { 5k + 1 k Z} Luvun 1 ekvivalenssiluokan muodostavat ne luvut, joiden jakojäännös viidellä jaettaessa on 1. JYM, Syksy /162

118 Samaan tapaan voidaan osoittaa, että [2] = { 5k + 2 k Z}, [3] = { 5k + 3 k Z}, [4] = { 5k + 4 k Z} Viidellä jaettaessa mahdolliset jakojäännökset ovat 0, 1, 2, 3 ja 4, joten tässä ovat kaikki ekvivalenssiluokat. Kaikkien ekvivalenssiluokkien joukko on siis Z/ = {[0], [1], [2], [3], [4] }. Jokaisen ekvivalenssiluokan muodostavat kaikki ne kokonaisluvut, joilla on sama jakojäännös luvulla 5 jaettaessa. JYM, Syksy /162

119 Ekvivalenssiluokkien edustajiksi voidaan valita mitkä tahansa sopivat luvut. Esimerkiksi Z/ = {[15], [21], [17], [38], [ 11] }. Voit itse tarkistaa, että näillä edustajilla saadaan kaikki mahdolliset jakojäännökset. Esimerkiksi 11 = eli luvun 11 jakojäännös viidellä jaettaessa on 4. Jakojäännöksiin liittyviä asioita opiskellaan tällä kurssilla myös tietojenkäsittely- ja tilastotieteen matematiikan osuudessa. JYM, Syksy /162

120 Merkitään A = {n N n 20}. Määritellään joukon P(N) relaatio asettamalla X Y, jos X Y A. Väite: on joukon P(N) ekvivalenssirelaatio. Muista symmetrisen erotuksen määritelmä: X Y =(X Y ) (Y X). 63/65

121 Esimerkiksi joukoilla X = {18, 19, 180, 190} ja Y = {1, 8, 9, 10, 180, 190} pätee X Y,sillä X Y = {18, 19} {1, 8, 9, 10} A. 64/65

122 Joukkojen mahtavuus Määritelmä Joukot A ja B ovat yhtä mahtavat, jos on olemassa bijektio joukosta A joukkoon B. Joukko A on äärellinen, jos se on tyhjä joukko tai yhtä mahtava joukon {k N 1 k n} kanssa jollakin n Nr{0}. Joukko A on numeroituva, jos se on äärellinen tai yhtä mahtava kuin joukko N. Joukko A on ylinumeroituva, jos ei ole numeroituva. JYM, Syksy /163