Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Samankaltaiset tiedostot
6 Relaatiot. 6.1 Relaation määritelmä

Johdatus yliopistomatematiikkaan. JYM, Syksy /197

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

4 Matemaattinen induktio

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Surjektion käsitteen avulla kuvauksia voidaan luokitella sen mukaan, kuvautuuko kaikille maalin alkioille jokin alkio vai ei.

5.6 Yhdistetty kuvaus

1 Perusasioita joukoista

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Luonnollisten lukujen ja kokonaislukujen määritteleminen

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

(2n 1) = n 2

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

Johdatus matemaattiseen päättelyyn

Johdatus diskreettiin matematiikkaan Harjoitus 1,

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

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

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

Johdatus matematiikkaan

Todistusmenetelmiä Miksi pitää todistaa?

X R Matematiikan johdantokurssi, syksy 2016 Harjoitus 5, ratkaisuista

HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 5 Ratkaisuehdotuksia

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

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.

Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Nimitys Symboli Merkitys Negaatio ei Konjuktio ja Disjunktio tai Implikaatio jos..., niin... Ekvivalenssi... jos ja vain jos...

Johdatus matemaattiseen päättelyyn

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

MS-A0402 Diskreetin matematiikan perusteet

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

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

Johdatus matemaattiseen päättelyyn

Miten osoitetaan joukot samoiksi?

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

Johdatus matemaattiseen päättelyyn (5 op)

Onko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

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

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

Johdatus yliopistomatematiikkaan

Johdatus matemaattiseen päättelyyn

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

Johdatus matemaattiseen päättelyyn

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

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I

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

811120P Diskreetit rakenteet

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

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

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

Johdatus matemaattiseen päättelyyn

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

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu.

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

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

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

Diskreetin Matematiikan Paja Ratkaisuehdotuksia viikolle 2. ( ) Jeremias Berg

Yhtäpitävyys. Aikaisemmin osoitettiin, että n on parillinen (oletus) n 2 on parillinen (väite).

Johdatus matemaattiseen päättelyyn

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011

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

Bijektio. Voidaan päätellä, että kuvaus on bijektio, jos ja vain jos maalin jokaiselle alkiolle kuvautuu tasan yksi lähdön alkio.

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

Johdatus matematiikkaan

MS-A0402 Diskreetin matematiikan perusteet

isomeerejä yhteensä yhdeksän kappaletta.

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

Huom. muista ilmoittautua kokeeseen ajoissa. Ilmoittautumisohjeet kurssin kotisivuilla.

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

(a) Kyllä. Jokainen lähtöjoukon alkio kuvautuu täsmälleen yhteen maalijoukon alkioon.

Ensimmäinen induktioperiaate

Ensimmäinen induktioperiaate

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

Tenttiin valmentavia harjoituksia

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

811120P Diskreetit rakenteet

Matematiikan tukikurssi

Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta.

Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa. väite P(n) on totta kaikille n = 0,1,2,...

Matematiikan tukikurssi, kurssikerta 1

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

Johdatus matematiikkaan

Kuvaus. Määritelmä. LM2, Kesä /160

Tietojenkäsittelyteorian alkeet, osa 2

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21

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

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.

1. Esitä rekursiivinen määritelmä lukujonolle

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

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi

1. Logiikan ja joukko-opin alkeet

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

Joukot. Georg Cantor ( )

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

Johdatus diskreettiin matematiikkaan (syksy 2009) Harjoitus 3, ratkaisuja Janne Korhonen

Vastaoletuksen muodostaminen

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

Transkriptio:

Johdatus yliopistomatematiikkaan JYM, Syksy2015 1/195

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

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

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

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

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

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

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

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

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

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, Syksy2015 10/185

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, Syksy2015 10/185

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, Syksy2015 11/185

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, Syksy2015 12/185

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, Syksy2015 13/185

Implikaation totuustaulu A B A æ B 1 1 1 1 0 0 0 1 1 0 0 1 JYM, Syksy2015 14/185

Induktiotodistus Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle 0. 2. 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 + 1. 3. Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa induktioperiaatteen nojalla, että asia P pätee kaikille n œ N. JYM, Syksy2015 15/185

Induktiotodistus Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle 0. 2. 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 + 1. 3. Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa induktioperiaatteen nojalla, että asia P pätee kaikille n œ N. JYM, Syksy2015 15/186

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

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, Syksy2015 17/186

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, Syksy2015 12/186

Induktiotodistus Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle 0. 2. 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 + 1. 3. Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa induktioperiaatteen nojalla, että asia P pätee kaikille n œ N. JYM, Syksy2015 15/186

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, Syksy2015 18/186

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, Syksy2015 10/160

Implikaation totuustaulu A B A æ B 1 1 1 1 0 0 0 1 1 0 0 1 JYM, Syksy2015 14/160

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, Syksy2015 10/160

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, Syksy2015 19/160

Perusjoukko ja komplementti Havainnollistuksia: A {A A [ B {(A [ B) JYM, Syksy2015 20/160

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

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, Syksy2015 10/159

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, Syksy2015 21/159

Jos P, niin Q -muotoisen väitteen todistaminen P Q P æ Q 1 1 1 1 0 0 0 1 1 0 0 1 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, Syksy2015 22/159

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, Syksy2015 21/159

Jos P, niin Q -muotoisen väitteen todistaminen P Q P æ Q 1 1 1 1 0 0 0 1 1 0 0 1 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, Syksy2015 22/159

Implikaation totuustaulu A B A æ B 1 1 1 1 0 0 0 1 1 0 0 1 JYM, Syksy2015 14/159

Jos P, niin Q -muotoisen väitteen todistaminen P Q P æ Q 1 1 1 1 0 0 0 1 1 0 0 1 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, Syksy2015 22/159

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, Syksy2015 23/159

Implikaation totuustaulu A B A æ B 1 1 1 1 0 0 0 1 1 0 0 1 JYM, Syksy2015 14/159

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

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

P, josjavainjosq -muotoisenväitteentodistaminen P Q P Q 1 1 1 1 0 0 0 1 0 0 0 1 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, Syksy2015 26/160

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, Syksy2015 27/160

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, Syksy2015 28/160

P, josjavainjosq -muotoisenväitteentodistaminen P Q P Q 1 1 1 1 0 0 0 1 0 0 0 1 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, Syksy2015 26/160

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, Syksy2015 31/160

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, Syksy2015 32/160

: 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, Syksy2015 33/160

Epäsuora päättely: kontrapositiotodistus Implikaatio ja sen kontrapositio ovat loogisesti ekvivalentit: P Q P Q Q P Q P 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 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, Syksy2015 41/161

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) 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 JYM, Syksy2015 42/161

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, Syksy2015 36/161

(b) Havainnollistus koordinaatistossa: JYM, Syksy2015 37/161

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, Syksy2015 38/161

(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, Syksy2015 40/161

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, Syksy2015 45/161

Havainnollistuksia: X Y Y x f f(x) f(x) x X JYM, Syksy2015 46/161

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, Syksy2015 45/162

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, Syksy2015 50/162

Induktiotodistus II induktioperiaatetta käyttäen Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle 0. 2. 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 + 1. 3. Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa II induktioperiaatteen nojalla, että asia P pätee kaikille n N. JYM, Syksy2015 51/162

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, Syksy2015 50/162

Induktiotodistus II induktioperiaatetta käyttäen Todistukset vaiheet: 1. Alkuaskel: Varmistetaan, että asia P pätee luvulle 0. 2. 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 + 1. 3. Johtopäätös: Alkuaskeleesta ja induktioaskeleesta seuraa II induktioperiaatteen nojalla, että asia P pätee kaikille n N. JYM, Syksy2015 51/162

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, Syksy2015 52/162

(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, Syksy2015 53/162

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, Syksy2015 62/162

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, Syksy2015 62/162

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, Syksy2015 72/162

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, Syksy2015 62/162

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, Syksy2015 72/162

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, Syksy2015 89/162

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

(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, Syksy2015 92/162

(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, Syksy2015 93/162

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, Syksy2015 89/162

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, Syksy2015 96/162

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

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, Syksy2015 99/162

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, Syksy2015 100/162

(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, Syksy2015 101/162

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, Syksy2015 96/162

(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, Syksy2015 102/162

(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 1 + 1 = 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, Syksy2015 103/162

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, Syksy2015 57/162

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, Syksy2015 104/162

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, Syksy2015 108/162

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, Syksy2015 109/162

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, Syksy2015 112/162

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, Syksy2015 113/162

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, Syksy2015 109/162

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, Syksy2015 114/162

Käänteiskuvaus Esimerkki 37 Oletetaan, että f : R R ja g : R R ovat kuvauksia, joilla f (x)=4 3x ja g(x)= 4 3 1 3 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 3 1 (4 3x) 3 = 4 3 4 3 + 3 3 x = x = id R(x). JYM, Syksy2015 116/162

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 = 4 3 3 1 ) 3 x = 4 4 + 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, Syksy2015 117/162

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, Syksy2015 114/162

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, Syksy2015 118/162

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, Syksy2015 119/162

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, Syksy2015 120/162

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, Syksy2015 121/162

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, Syksy2015 122/162

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, Syksy2015 123/162

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, Syksy2015 124/162

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, Syksy2015 130/162

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ä 2 + 3 < 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, Syksy2015 131/162

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, Syksy2015 134/162

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, Syksy2015 137/162

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, Syksy2015 130/162

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, Syksy2015 137/162

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, Syksy2015 140/162

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, Syksy2015 141/162

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, Syksy2015 142/162

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, Syksy2015 145/162

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, Syksy2015 146/162

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, Syksy2015 147/162

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, Syksy2015 142/162

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, Syksy2015 147/162

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, Syksy2015 148/162

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, Syksy2015 149/162

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, Syksy2015 150/162

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, Syksy2015 151/162

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, Syksy2015 152/162

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, Syksy2015 153/162

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 = 3 5 + 4 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, Syksy2015 154/162

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

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

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, Syksy2015 163/163