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

Samankaltaiset tiedostot
5.6 Yhdistetty kuvaus

Onko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?

Johdatus matemaattiseen päättelyyn

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

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

Reaalifunktioista 1 / 17. Reaalifunktioista

Tenttiin valmentavia harjoituksia

1. Esitä rekursiivinen määritelmä lukujonolle

JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 3, MALLIRATKAISUT

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

Miten osoitetaan joukot samoiksi?

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

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

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Ensimmäinen induktioperiaate

Ensimmäinen induktioperiaate

Matematiikan tukikurssi, kurssikerta 1

Johdatus matematiikkaan

Johdatus matemaattiseen päättelyyn

Todistusmenetelmiä Miksi pitää todistaa?

DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1. Ritva Hurri-Syrjänen/Syksy 1999/Luennot 6. FUNKTION JATKUVUUS

Johdatus matemaattiseen päättelyyn

Matematiikan tukikurssi

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

MATP153 Approbatur 1B Ohjaus 2 Keskiviikko torstai

JATKUVUUS. Funktio on jatkuva jos sen kuvaaja voidaan piirtää nostamatta kynää paperista.

= 3 = 1. Induktioaskel. Induktio-oletus: Tehtävän summakaava pätee jollakin luonnollisella luvulla n 1. Induktioväite: n+1

Matematiikan tukikurssi, kurssikerta 2

Johdatus matemaattiseen päättelyyn

Seurauksia. Seuraus. Seuraus. Jos asteen n polynomilla P on n erisuurta nollakohtaa x 1, x 2,..., x n, niin P on muotoa

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

4 Matemaattinen induktio

MATEMATIIKAN JA TILASTOTIETEEN LAITOS Analyysi I Harjoitus alkavalle viikolle Ratkaisuehdoituksia Rami Luisto Sivuja: 5

Pysähtymisongelman ratkeavuus [Sipser luku 4.2]

Algebra I, harjoitus 5,

Tehtävä 1. Näytä, että tason avoimessa yksikköpallossa

0 kun x < 0, 1/3 kun 0 x < 1/4, 7/11 kun 1/4 x < 6/7, 1 kun x 1, 1 kun x 6/7,

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg

Tehtävä 4 : 2. b a+1 (mod 3)

Diskreetin Matematiikan Paja Ratkaisuehdotuksia viikolle 2. ( ) Jeremias Berg

Johdatus yliopistomatematiikkaan. JYM, Syksy /197

Matematiikan tukikurssi

2017 = = = = = = 26 1

Matematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus Malliratkaisut (Sauli Lindberg)

Matematiikan ja tilastotieteen laitos Matematiikka tutuksi Harjoitus 2, malliratkaisut

Matemaattisten työvälineiden täydentäviä muistiinpanoja

Tehtäväsarja I Tehtävät 1-5 perustuvat monisteen kappaleisiin ja tehtävä 6 kappaleeseen 2.8.

j(j 1) = n(n2 1) 3 + (k + 1)k = (k + 1)(k2 k + 3k) 3 = (k + 1)(k2 + 2k + 1 1)

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Vaihtoehtoinen tapa määritellä funktioita f : N R on

Näin ollen saadaan tulos rad(g) diam(g). Toisaalta huomataan, että verkon G kaikilla solmuilla x ja y pätee kolmioepäyhtälön nojalla havainto

Johdatus matematiikkaan

saadaan kvanttorien järjestystä vaihtamalla ehto Tarkoittaako tämä ehto mitään järkevää ja jos, niin mitä?

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

Johdatus diskreettiin matematiikkaan Harjoitus 1,

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

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

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

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

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset

Matematiikan peruskurssi 2

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

Rekursio. Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on

saadaan kvanttorien järjestystä vaihtamalla ehto Tarkoittaako tämä ehto mitään järkevää ja jos, niin mitä?

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,

Matematiikan tukikurssi, kurssikerta 5

Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

Matematiikan tukikurssi

Matematiikan peruskurssi 2

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Johdatus matematiikkaan

HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 5 Ratkaisuehdotukset

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

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

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1)

Algebra I, Harjoitus 6, , Ratkaisut

(2n 1) = n 2

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

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

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

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

Cantorin joukon suoristuvuus tasossa

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

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

Toispuoleiset raja-arvot

isomeerejä yhteensä yhdeksän kappaletta.

8. Avoimen kuvauksen lause

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

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.

Ratkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan

Ratkaisu: Ensimmäinen suunta. Olkoon f : R n R m jatkuva eli kaikilla ε > 0 on olemassa sellainen δ > 0, että. kun x a < δ. Nyt kaikilla j = 1,...

Johdatus matematiikkaan

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

Johdatus matemaattiseen päättelyyn

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

Injektio (1/3) Funktio f on injektio, joss. f (x 1 ) = f (x 2 ) x 1 = x 2 x 1, x 2 D(f )

Algebra 1, harjoitus 9, h = xkx 1 xhx 1. a) Käytetään molemmissa tapauksissa isomorfialausetta. Tarkastellaan kuvauksia

Johdatus matemaattiseen päättelyyn

Transkriptio:

Johdatus diskreettiin matematiikkaan (syksy 009) Harjoitus 3, ratkaisuja Janne Korhonen 1. Väite: Funktio f : [, ) [1, ), missä on bijektio. f(x) = x + 4x + 5, Todistus: Luentomateriaalissa todistettujen lauseiden nojalla riittää löytää kuvaus g : [1, ) [, ), jolla g(f(x)) = x kaikilla x [, ) ja f(g(y)) = y kaikilla y [1, ). Tällöin lisäksi g on kuvauksen f käänteiskuvaus. Olkoon nyt y [1, ). Ratkaisemme nyt muuttujan x arvon yhtälöstä y = f(x). y =f(x) y =x + 4x + 5 0 =x + 4x + (5 y) x = 4 ± 1 4(5 y) = 4 ± 4(4 (5 y)) 4 ± 4 (5 y) = ± 4 (5 y) = ± y 1 Haluamme lisäksi, että x, joten valitsemme ratkaisun x = + y 1. Tämän laskutoimituksen inspiroimana määrittelemme funktion g : [1, ) [, ) asettamalla g(x) = + y 1. Nyt g(x) on määritelty kaikilla x [1, ) ja g(x) kaikilla x [1, ), joten funktion g määritelmä on järkevä. Koska x = + y 1 on yhtälön y = f(x) ratkaisu, niin kaikilla x [1, ) pätee x = f(g(x)). Lisäksi jos x [, ), niin g(f(x)) = + f(x) 1 = + x + 4x + 5 1 = + x + 4x + 4 = + (x + ) = + x + = x. Siis g(f(x)) = x kaikilla x [, ) ja f(g(y)) = y kaikilla y [1, ), mistä seuraa, kuten jo totesimme, että g = f 1 ja f on bijektio. Alla on kuva funktioiden f (punainen) ja f 1 (sininen) kuvaajista. Huomaamme, että funktion f 1 kuvaaja on peilikuva funktion f kuvaajasta suoran y = x suhteen.

4-0 4 8 -. Väite: Kuvaus f : X Y on injektio ja ja vain jos f 1 (f(a)) = A kaikilla A X. Todistus: Oletetaan, että f on injektio. Olkoon nyt A X. Jos x A, niin f(x) f(a) ja siten x f 1 (f(a)). Siis A f 1 (f(a)). Huomaa, että tähän ei tarvita kuvauksen f injektiivisyyttä. Toisaalta olkoon x / A. Koska f on injektio, niin f(x) f(y) kaikilla y A. Tällöin siis f(x) ei voi kuulua joukkoon f(a). Tästä taas seuraa, että x / f 1 (f(a)). Siis f 1 (f(a)) sisältää vain joukon A pisteitä, eli f 1 (f(a)) A. Saimme siis osoitettua, että A = f 1 (f(a)). Oletetaan, että f 1 (f(a)) = A kaikilla A X. Olkoon nyt x, y X ja x y. Oletuksen nojalla f 1 (f({x})) = {x}, joten y / f 1 (f({x})). Tästä seuraa, että f(y) / f({x}) = {f(x)}, eli f(y) f(x). Siis f on injektio. 3. Väite: Olkoon A ja B äärellisiä joukkoja. Tällöin A B = A + B A B. Todistus 1 : Luentomonisteessa on todistettu, että jos A ja B ovat erillisiä äärellisiä joukkoja, niin A B = A + B, ja jos A ja B ovat äärellisiä joukkoja, joilla A A, niin A \ B = A B. Käytämme näitä tuloksia väitteen todistamiseen. Huomaamme ensin, että joukot A ja B \A ovat erillisiä äärellisiä joukkoja. Lisäksi A B = A (B \ A), joten A B = A (B \ A) = A + B \ A. Toisaalta B \ A = B \ (A B) ja A B B, joten B \ A = B \ (A B) = B A B. Siis A B = A + B \ A = A + B A B. Väite on siis todistettu. 1 Tämä väite on todistettu myös Junnilan luentomonisteessa, samalla tavalla kuin tässä esitetään.

4. Ion the Quit saapuu fotoniraketillaan Kosmoksen pihalle aikoen yöpyä hotellissa. Valitettavasti hotelli on täynnä, sillä parhaillaan on menossa universaali eläintieteilijäkongressi. Sen osaanottajat, joita on numeroituvasti ääretön määrä, ovat vallanneet hotellin. Hotellinjohtaja kuitenkin järjestää tilaa Ion the Quietille seuraavalla yksinkertaisella tempulla. Jokainen jo hotellissa oleva vieras siirretään huoneeseen, jonka numero on yhtä suurempi kuin hänen nykyisen huoneen numero. Siis huoneessa 1 ollut asukas siirretään huoneeseen, huoneessa ollut huoneeseen 3 ja niin edelleen. Koska huoneita on äärettömästi, jokaiselle vieraalle löytyy uusi huone, ja huone 1 jää tyhjäksi. Nyt Ion voidaan majoittaa sinne. Aamulla vaikeudet jatkuvat. Jokaisessa linnunratajärjestelmässä, joita on kaikkiaan numeroituvasti ääretön määrä, on Kosmoksen kaltainen hotelli ja ne kaikki päätetään sulkea. Kaikki asukkaat kuljetetaan Kosmoksen pihalle. Näiden vieraiden majoittamiseksi hotellinjohtaja ensin numeroi kaikki suljetut hotellit ja niistä tuodut vieraat, niin että jokaisella hotellilla on eri numero ja jokaisen hotellin vieraat on numeroitu alkaen yhdestä. Nyt ensin hotellissa valmiiksi olevat asukkaat siirretään uusiin huoneisiin; huoneessa i oleva asukas laitetaan huoneeseen i. Merkitään nyt p(i):llä i:ttä alkulukua, siis p(1) =, p() = 3, p(3) = 5, p(4) = 7, ja niin edelleen. Hotellinjohtaja voi nyt majoittaa kaikki matemaatikot huoneisiin laittamalla aina hotellin numero i vieraan numero j huoneeseen p(i + 1) j. Siis esimerkiksi hotellin 1 vieras numero laitetaan huoneeseen p() = 3 = 9 ja hotellin 3 vieras laitetaan huoneeseen p(4) = 7 = 11749. Koska jokaisen hotellin kohdalla huoneiden valitsemiseen käytetään eri alkuluvun potensseja, ei kaksi eri hotellista tullutta vierasta voi päätyä samaan huoneeseen. Selvästi myös samasta hotellista tulleet vieraat kaikki saavat eri huoneet. Näin siis saadaan määrättyä jokaiselle oma huone. 5. Väite: Kaikilla n {0, 1,,... } pätee 1 + + 3 + + n = n+1 1 eli n i = n+1 1. Todistus: Todistetaan väite induktiolla yli luonnollisten lukujen. 3

1. Alkuaskel: Todistetaan ensin induktion alkuaskel, eli tapaus n = 0. Nyt 0 i = 0 = 1 = 1 = 0+1 1. Väite siis pätee tässä tapauksessa.. Induktioaskel: Oletetaan, että väite pätee jollain luvulla k N, eli i = k+1 1. Osoitamme nyt, että väite pätee tapauksessa n = k + 1. Suoraviivaisella laskulla saamme ensin, että n k+1 i = i = 1 + + 3 + + k + k+1 = (1 + + 3 + + k ) + k+1 = i + k+1 Induktio-oletuksen nojalla siis k i = k+1 1, joten soveltamalla tätä edelliseen saamme i + k+1 = k+1 1 + k+1 = k+1 1 = k+ 1 = n+1 1. Yhdistämällä nämä yhtälöketjut saamme siis n i = n+1 1. Väite siis pätee myös tapauksessa n = k + 1 Induktioperiaatteen nojalla tästä seuraa, että väite pätee kaikilla n N.. Väite: Kaikilla n {1,,... } = Z + pätee eli 1 + + + + n = 1 n(n + 1)(n + 1) n i = 1 n(n + 1)(n + 1). Todistus: Todistetaan väite induktiolla yli luonnollisten lukujen, alkaen luvusta 1. 1. Alkuaskel: Todistetaan ensin induktion alkuaskel, eli tapaus n = 1. Nyt 1 i = 1 = 1 = = 1 1 = 1 1(1 + 1)( 1 + 1) Väite siis pätee tässä tapauksessa. 4

. Induktioaskel: Oletetaan, että väite pätee jollain luvulla k Z +, eli i = 1 k(k + 1)(k + 1). Osoitamme nyt, että väite pätee tapauksessa n = k + 1. Nyt samaan tapaan kuin edellisessä tehtävässä n k+1 i = i = 1 + + 3 + + k + (k + 1) = (1 + + 3 + + k ) + (k + 1) = i + (k + 1) Induktio-oletuksen nojalla siis k i = 1 k(k+1)(k+1), joten soveltamalla tätä edelliseen saamme i + (k + 1) = 1 k(k + 1)(k + 1) + (k + 1) k(k + 1)(k + 1) + (k + 1) = = k3 + k + k + k + k + 1k + = k3 + 9k + 13k + = (k3 + 7k + k) + (k + 7k + ) = k(k + 7k + ) + (k + 7k + ) = (k + 1)(k + 7k + ) (k + 1)(k + )(k + 3) = = 1 (k + 1)((k + 1) + 1)((k + 1) + 1) = 1 n(n + 1)(n + 1). Yhdistämällä nämä yhtälöketjut saamme siis n i = 1 n(n + 1)(n + 1). Väite siis pätee myös tapauksessa n = k + 1 Induktioperiaatteen nojalla tästä seuraa, että väite pätee kaikilla n Z +. 5