MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

Koko: px
Aloita esitys sivulta:

Download "MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I"

Transkriptio

1 MS-A040 Diskreeti matematiika perusteet Yhteeveto ja esimerkkejä ym., osa I G. Gripeberg Aalto-yliopisto 8. syyskuuta 06 Joukko-oppi ja logiikka Todistukset logiikassa Predikaattilogiikka Iduktioperiaate Relaatiot ja fuktiot Fuktiot Iso-O Kombiatoriikka ym. Summa-, tulo ja lokeroperiaate G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. ja esimerkkejä syyskuuta 06 ym., osa I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. ja esimerkkejä syyskuuta 06 ym., osa I / 60 Joukot Joukko-opissa peruskäsite o eli x A ku alkio x kuuluu joukkoo A ja x / A ku alkio x ei kuulu joukkoo A. Merkitätapoja: {, 4,, 8} o joukko joka alkiot ovat, 4, ja 8 ja {4,,... 04} o joukko, joka alkiot ovat kaikki kokoaisluvut j joille pätee 4 j 04. { x A : P(x } tai { x : x A, P(x } o joukko joho kuluvat e jouko A alkiot joille väite P(x o tosi ja yleisemmi { lauseke : ehto } o joukko joho kuuluu lausekkee atamat alkiot ku ehto o voimassa, esim. { x : < x < 0, x o kokoaisluku } = {9, 6,,..., 8}. Tyhjä joukko: = {} o tyhjä joukko joho ei kuulu yhtää alkiota, eli x o aia epätosi. A = B jos o totta, että x A jos ja vai jos x B, eli esimerkiksi {,,, } = {,, }. Ei-egatiiviset kokoaisluvut joukkoia: Jos o luku 0 ii { } o luku, {, { }} o luku, {, { }, {, { }}} o luku je. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. ja esimerkkejä syyskuuta 06 ym., osa I / 60 Joukko-opi perusmerkitöjä Yhdiste tai uioi: x A B jos ja vai jos x A tai x B. Yhdiste tai uioi: x j J A j jos ja vai jos x A j jollaki j J. Leikkaus: x A B jos ja vai jos x A ja x B. Leikkaus: x j J A j jos ja vai jos x A j kaikilla j J. Joukkoerotus: x A \ B jos ja vai jos x A mutta x / B. Potessijoukko: P(A o jouko kaikkie osajoukkoje muodostama joukko. Komplemetti: A c = Ω \ A jos A Ω ja o selvää mikä Ω o. Osajoukko: A B jos jokaie A: alkio o myös B: alkio. Yhtäläisyys: A = B jos A B ja B A. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. ja esimerkkejä syyskuuta 06 ym., osa I4 / 60 A B A A B A B B A

2 Huom! Usei kirjoitetaa A B: sijasta A B ja silloi kirjoitetaa A B ku A o B: aito osajoukko, eli A B mutta A B. Stadardimerkitöjä N 0 = {0,,,,...} o luoolliste lukuje (missä 0 o mukaa joukko. Merkiällä N tarkoitetaa joskus N 0 ja joskus {,,,...} = N 0 \ {0}. Z = {...,,, 0,,,,...} o kokoaislukuje joukko. Q = { p q : p, q Z, q 0 } o ratioaalilukuje joukko. R o reaalilukuje joukko. Miksi joukko-oppi ei ole ii yksikertaista kui miltä äyttää? Edellä o esitetty s. aiivi joukko-oppi missä esimerkiksi pidetää selvää, että luoolliset luvut muodostavat jouko ja ii kaua ku tarkasteltavissa joukoissa o vai äärellise mota alkiota tai käsitellää luoolliste lukuje joukkoa, ogelmia ei juuri esiiy. Mutta klassie esimerkki, joka osoittaa että myös s. aksiomaattie joukko-oppi o tarpee, o s. Russelli paradoksi: Määritellää A = { x : x / x }. Jos A A ii x / x ei päde ku x o A ja A: määritelmä mukaa A / A ja olemme saaeet aikaa ristiriida. Jos se sijaa A / A ii ehto x / x o voimassa ku x o A jote A A ja taas tuloksea o ristiriita. Vastaavalaisia ogelmia sytyy jos saomme tämä lause o epätosi tai jos puhumme parturista, joka leikkaa hiukset kaikilta iiltä, jotka eivät itse leikkaa hiuksiaa. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. ja esimerkkejä syyskuuta 06 ym., osa I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. ja esimerkkejä syyskuuta 06 ym., osa I6 / 60 Propositiologiikka eli lausekalkyyli Jos a ovat b lauseita tai väitteitä, jotka voivat olla tosia tai epätosia mutta ei mitää siltä väliltä ii Lause a AND b o tosi ku a o tosi ja b o tosi Lause a OR b o tosi ku a o tosi tai b o tosi (ja myös ku molemmat ovat tosia. Lause NOT a o tosi ku a ei ole tosi eli a o epätosi. Lause a b o tosi ku (NOT a OR b o tosi, eli ku b o tosi tai a o epätosi. Lause a b ku (a b AND (b a o tosi. Matemaattisessa logiikassa käytetää yleisesti AND: sijasta, OR: sijasta ja NOT: sijasta. Implikaatio Logiika lause a b ei täysi vastaa jokapäiväise kielekäytö jos a ii b koska se o tosi ku a o epätosi eikä sillä välttämättä ole mitää tekemistä syy-seuraus suhtee kassa. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. ja esimerkkejä syyskuuta 06 ym., osa I7 / 60 Joukot ja implikaatiot: Esimerkkejä Olkoo A = {,,, 4 }, B = { 0,, 4 } ja C = { x : x o kokoaisluku }. Mitkä seuraavista väitteistä ovat tosia? (a x A C x B kaikilla x? (b A B C A? (c O olemassa y C site, ettei päde y B y A? Vastaus: (a Koska A C = {,, 4 } ii pätee A C mutta koska / B ii tämä väite ei päde (ja väite saoo, että A C B. (b Koska A mutta / B ii ei päde A B ja äi olle implikaatio A B C A o tosi. (c Väite y B y A ei päde jos ja vai jos y B ja y / A eli y B \ A = {0} ja 0 / C jote väite o epätosi. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. ja esimerkkejä syyskuuta 06 ym., osa I8 / 60

3 Päättelysääöt ja todistukset logiikassa Todistus o lista lauseista joissa jokaie lause o joko aksiomi (eli oletetaa oleva tosi tai johdettu aikaisemmistä lauseista päättelysäätöje avulla. Esimerkiksi s. modus poes eli x x y y o tärkeä päättelysäätö ja perustuu siihe, että (x AND (x y y o tautologia, eli aia tosi riippumatta x: ja y: totuusarvoista. Tämä (kute muutki päättelysääöt käytetää site, että jos todistuslistassa o jo lauseet a ja a b ii listaa lisätää lause b. Päättelysääöt ja todistukset logiikassa Olkoot p ja q kaksi lausetta. Nyt todistamme, että q o tosi jos p AND (NOT p o tosi, eli jos oletuksea o ristiriitaie väite ii voimme todistaa mitä vaa. Päättelysäätöiä käytämme tässä (a x OR y NOT x y (b x AND y x (c x x OR y (d x AND y y AND x G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. ja esimerkkejä syyskuuta 06 ym., osa I9 / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa0 I / 60 Päättelysääöt ja todistukset logiikassa, jatk. Todistus äyttää yt seuraavalaiselta: ( p AND (NOT p: Oletus ( p: ( ja (b missä x = p ja y = NOT p ( p OR q: ( ja (c missä x = p ja y = q (4 (NOT p AND p: ( ja (d missä x = p ja y = NOT p ( NOT p: (4 ja (b missä x = NOT p ja y = p (6 q: (, ( ja (a missä x = p ja y = q. Näi lause q o tullut todistetuksi. Predikaattikalkyyli Lause x P(x o tosi ku P(x o tosi kaikilla x. Lause x P(x o tosi ku o olemassa x site, että P(x o tosi. Predikaattikalkyyli o lausekalkyyli laajeus, jossa operaatiode eli koektiivie (NOT, AND, OR, ja lisäksi käytetää uiversaali- ja eksistessi kvattorit ( kaikilla ja ( o olemassa, ja lauseide lisäksi käytetää muuttujia x, y,... ja predikaatteja P, Q,.... Predikaateilla o äärellie määrä argumetteja, esim. P(x, Q(x, y, je., ja predikaatti joide argumettie lukumäärä o 0 o lause. Predikaattie lisäksi voidaa käyttää fuktioita joide arvot kuuluvat samaa käsiteltävää aihepiirii ( domai of discourse kui muuttujat. Fuktio, jolla ei ole muuttujaa o vakio. Fukiot ja vakiot voidaa esittää predikaattie avulla, mutta se o usei kömpelö vaihtoehto. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60

4 Prioriteettijärjestys Jos ei käytetä sulkuja, joilla tieteki o korkei prioriteetti, ii loogiset koektiivit evaluoidaa tavallisesti seuraavassa järjestyksessä: Esi NOT, sitte ja, sitte AND ja OR ja lopuksi ja. x A ja x A Lauseet x A (P(x ja x A (P(x ovat lyheteitä lauseista x (x A P(x, x (x A AND P(x, ja tarkoittavat (tieteki että kaikilla A: alkiolla x pätee P(x ja o olemassa A: alkio x, jolla P(x pätee. Negaatio NOT, koektiivit AND ja OR sekä kvattorit ja Kaikilla lauseilla a ja b pätee NOT (a AND b (NOT a OR (NOT b, NOT (a OR b (NOT a AND (NOT b, eli esimerkiksi NOT (a AND b o tosi täsmällee silloi ku NOT a OR NOT b o tosi ja lause NOT (a AND b NOT a OR NOT b o tautologia koska se o tosi riippumatta a: ja b: totuusarvoista. Samoi kaikilla predikaateilla P pätee NOT ( x(p(x x(not P(x, NOT ( x(p(x x(not P(x. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa4 I / 60 Suora, kääteie suora ja epäsuora päättely Suorassa päättelyssä johdetaa väite suoraa oletuksista. Jos pitää osoittaa, että oletuksesta a seuraa väite b, ii kääteisessä suorassa, eli kotrapositiivisessa, päättelyssä osoitetaa, että jos väite b ei ole tosi ii silloi oletus a ei myöskää ole tosi. Tämä perustuu siihe että lause a b o ekvivaletti lausee (NOT b (NOT a kassa. Epäsuorassa päättelyssä oletetaa, että väite b ei päde ja johdetaa siitä ristiriita. Tässä siis osoitetaa (aetuilla oletuksilla että lause (NOT b (c AND (NOT c o tosi. Mutta tämä lause o (NOT (NOT b OR (c AND (NOT c ja koska (c AND (NOT c o epätosi ii (NOT (NOT b eli b o tosi. Kääteie suora päättely o erikoistapaus epäsuorasta päättelystä koska ristiriidaksi tulee a AND (NOT a jos oletetaa, että a b ei ole tosi eli a AND (NOT b o tosi ja osoitetaa, että (NOT b (NOT a o tosi. Esimerkki suorasta ja epäsuorasta todistuksesta (a Väite: Jos 0 < a < ii a < a. Suora todistus: a > 0 koska a <. a ( a > 0 koska a > 0 ja ( a > 0. a < a koska a ( a = a a > 0 jolloi a = a a + a > a. (b Väite: Jos 0 < a < ii a > a. Epäsuora todistus: Vastaoletus: a a. a = a a koska a ja a > 0 ja fuktio x x o kasvava välillä [0,. a ( a = a a 0 koska a a. a 0 koska a > 0 ku a < ja ku jaamme positiivisellä luvulla epäyhtälö pysyy muuttumattomaa. a 0 o ristiriidassa oletukse a > 0 kassa jote vastaoletus ei pidä paikkasa. Huomaa, ettei tällaisissa todistuksissa ole olemassa yksi aioa oikea lukumäärä välivaiheita tai välivaiheide perusteluita! Tavoite o, että todistuksesta tulee vakuuttava ja ymmärrettävä ja se taas riippuu lukijastaki. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa6 I / 60

5 Esimerkki: Potessijoukko Olkoo P(X jouko X osajoukkoje joukko, eli A P(X jos ja vai jos A X. Jos yt X ja Y ovat kaksi joukkoa ii oko toie joukoista P(X \ P(Y ja P(X \ Y toise osajoukko? Koska tyhjä joukko o jokaise jouko osajoukko ii P(X \ Y. Samoi P(Y jote / P(X \ P(Y. Tästä seuraa, ettei koskaa päde P(X \ Y P(X \ P(Y (eli aia pätee P(X \ Y P(X \ P(Y. Jos X = Y ii P(X = P(Y ja koska tyhjä joukko o jokaise jouko osajoukko ja tyhjä jouko aioa osajoukko o tyhjä joukko ii P(X \ P(Y = { } = P( = P(X \ Y. Mutta jos X = {0, } ja Y = {0} ii P(X \ P(Y = {{0, }, {}} mutta {0, } / P(X \ Y = P({} = {{}, } jote tässä tapauksessa P(X \ P(Y P(X \ Y. Lopputulos o siis ettei koskaa päde P(X \ Y P(X \ P(Y mutta riippuu joukoista X ja Y päteekö P(X \ P(Y P(X \ Y vai ei. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa7 I / 60 Esimerkki: Järjestety pari koordiaatit Pari [x, y] (tai (x, y erityisesti jos kyseessä o xy-taso piste esimmäie koordiaatti o (tieteki x ja toie o y. Jos pari määritelmäksi otetaa [a, b] = {{a}, {a, b}} ii voimme määritellä predikaatit E(p, x ja T (p, y, jotka saovat, että x o p: esimmäie koordiaatti ja y o p: toie koordiaatti seuraavalla tavalla: (tai lyhyemmi z p (x z ja E(p, x = z((z p (x z T (p, y = z((z p AND (y z AND u v ((u p AND (v p AND NOT (u == v NOT (y u OR NOT (y v, missä u == v o predikaatti, joka saoo, että u o sama joukko kui v. Lyhyemmi tämä voimme esittää muodossa T (p, y = z p (y z AND u p v p (NOT (u == v (y / u OR (y / v. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa8 I / 60 Iduktioperiaate Jos P( o väite (joka kaikilla 0 o joko tosi tai epätosi ja (a P( 0 o tosi (b P(k + o tosi jos P(k o tosi (eli P(k P(k + o tosi ku k 0 ii P( o tosi kaikilla 0. Joskus o tarpee ottaa iduktio-oletukseksi väite, että P(j o tosi ku 0 j k se sijaa että pelkästää oletetaa, että P(k o tosi. Miksi iduktioperiaate toimii? Olkoo E = { Z : 0, P( ei ole tosi }. Oletamme, että E ei ole tyhjä, eli että P( ei ole tosi kaikilla 0. Silloi joukossa E o piei alkio. Olkoo tämä luku. (a-kohda ojalla 0 jote > 0 jolloi k = 0. Koska oli piei alkio joukossa E väite P(k o tosi jolloi (b-kohdasta seuraa, että P(k + = P( o tosi. Mutta koska E ii tämä o ristiriita jote oletus, että E ei ole tyhjä ei pidä paikkasa vaa P( o tosi kaikilla 0. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa9 I / 60 Iduktio: Esimerkki Osoitamme iduktio avulla, että i = = i= ( +,. Väite P( o siis i= i = (+ ja 0 =. Näi olle väite P( 0 o sama kui = (+ mikä pitää paikkasa. Oletamme seuraavaksi, että P(k o tosi ja k. Koska P(k pätee, ii k i= i = k(k+ mistä seuraa, että k+ i = i= k k(k + i + (k + = + (k + i= ( k = (k + + (k + (k + = = (k + ((k + +, joka taas merkitsee sitä, että P(k + o tosi. Iduktioperiaattee ojalla toteamme, että P( pätee kaikilla. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa0 I / 60

6 Karteesie tulo Kahde jouko X ja Y karteesie tulo X Y o joukko joho kuuluvat kaikki järjestetyt parit [a, b] (tai (a, b missä a X ja b Y, eli X Y = { [a, b] : a X ja b Y }. Järjesty pari [a, b] määritelmäksi otetaa tässä joukko {{a}, {a, b}}. (Muitaki mahdollisuuksia o olemassa ja harvoi tätä määritelmää todella joudutaa käyttämää. Relaatiot Relaatio joukosta X joukkoo Y (tai relaatio joukossa X jos Y = X o karteesise tulo X Y osajoukko. Verkko? Verkko, eli graafi muodostuu joukosta solmuja ja joukosta iide välisiä kaaria (tai likkejä, esim äi: 4 Suuatussa verkossa jokaisella kaarella o lähtösolmu ja kohdesolmu ku suutaamattomassa verkossa ei tehdä eroa lähtö- ja kohdesolmu välillä. Suuattu verkko o järjestetty pari [V, E] (V = vertex, E = edge missä V o joukko (tavallisesti äärellie ja ei-tyhjä ja E V V, eli E o relaatio joukossa V. Suutaamato verkko o järjestetty pari [V, E] missä V o joukko (tavallisesti äärellie ja ei-tyhjä ja E { {a, b} : a V, b V }. Suutaamato verkko voidaa myös ajatella oleva suuattu verkko missä relaatio E o symmetrie, eli [a, b] E [b, a] E. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 Relaatioide esitystapoja Jos X = {,, } ii W = {[, ], [, ], [, ], [, ]} o relaatio X :ssä ja tätä relaatiota voi esittää verkkoa 0 0 taulukkoa tai matriisia Jos X = R ja W o relaatio aidosti pieempi kui ii W = { [x, y] : x, y R, x < y } ja xy-taso osajoukkoa se äyttää seuraavalaiselta: G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 Erilaisia relaatioita joukossa X Relaatio W joukossa X o refleksiivie jos [x, x] W kaikilla x X. symmetrie jos [x, y] W [y, x] W kaikilla x ja y X. trasitiivie jos [x, y] W AND [y, z] W [x, z] W kaikilla x, y ja z X. atisymmetrie jos [x, y] W AND x y [y, x] / W eli [x, y] W AND [y, x] W x = y kaikilla x ja y X. asymmetrie jos [x, y] W [y, x] / W kaikilla x ja y X. totaalie tai täydellie jos [x, y] W OR [y, x] W kaikilla x ja y X. ekvivalessirelaatio jos W o refleksiivie, symmetrie ja trasitiivie. osittaisjäjestys jos W refleksiivie, atisymmetrie ja trasitiivie. Usei kirjoitetaa [x, y] W : sijasta xwy esim. x y eikä [x, y]. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa4 I / 60

7 Esimerkki: Osittaisjärjestys Olkoo X joki (ei-tyhjä joukko ja P(X se kaikkie osajoukkoje muodostama joukko (eli s. potessijoukko. Joukossa P(X meillä o relaatio : A B jos ja vai jos A o B: osajoukko. Tämä relaatio o osittaisjärjestys koska se o refleksiivie: A A, atisymmetrie: Jos A B ja A B ii o olemassa x B site että x / A jolloi B A, trasitiivie: Jos A B ja B C ii jokaie A: alkio o B: alkio ja koska jokaie B: alkio o C: alkio ii jokaie A: alkio o C: alkio, eli A C. Lisäksi tällä relaatiolla o muitaki omiaisuuksia kute, että jos A, B P(X ii joukoille A ja B löytyy piei yläraja, eli joukko C site, että A C, B C (eli C o yläraja ja jos A D ja B D ii C D (eli C o piei yläraja. Selvästiki C = A B. Vastaavasti löytyy myös suuri ala-raja, joka (tieteki o A B. Ekvivalessiluokat Jos X o ei-tyhjä joukko ja o ekvivalessirelaatio joukossa X, eli o refleksiivie, symmetrie ja trasitiivie, ii se jakaa jouko X osajoukkoihi Y j, j J joita kutsutaa ekvivalessiluokiksi site, että j J Y j = X, Y j Y k = jos j k, a b a ja b kuuluvat samaa joukkoo Y j. Usei ajatellaa, että kaksi alkiota jotka ovat ekvivalettia, eli iide muodostama pari kuuluu relaatioo, ovatki samat jolloi jouko X sijasta tarkastellaa joukkoa { Y j : j J }, joka alkiot ovat ekvivalessiluokat. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa6 I / 60 Fuktiot Jos X ja Y ovat joukkoja ii fuktio f : X Y o relaatio joukosta X joukkoo Y eli X Y : osajoukko site, että jokaisella x X o olemassa y Y site, että [x, y] f. jos [x, y ] f ja [x, y ] f ii y = y. Tavallisesti fuktio esitetää site, että [x, y] f jos ja vai jos y = f (x (vaikka xf tms. voisi olla parempi merkitätapa jos luetaa vasemmalta oikealle. Toisi saoe, fuktio f joukosta X joukkoo Y o säätö, joka jokaisella x X ataa vastaukseksi yksikäsitteise alkio y = f (x joukosta Y. Jos f : X Y o fuktio ii X o se määrittely- eli lähtöjoukko ja Y o se maalijoukko. Y X = { f : f o fuktio joukosta X joukkoo Y }. Jos f : X Y o fuktio ja A X ii f A : A Y o fuktio f rajoitettua joukkoo A eli relaatioa f A = { [x, y] : [x, y] f, x A }. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa7 I / 60 Aoyymit fuktiot Voidaa puhua esim. luvusta ilma sekaatumise vaaraa, mutta jos puhutaa lausekkeesta x + ei ole välttämättä selvää tarkoitetaako fuktiota, joka ataa tulokseksi argumettisa joho o lisätty vai tämä fuktio arvo ku argumetti o x. Jos tarkoitetaa fuktiota eikä se arvoa ii voidaa kirjoittaa x x + tai fuctio(x{retur x+;} tai jotai muuta vastaavaa. Ijektiot, surjektiot ja bijektiot Fuktio f : X Y o ijektio jos f (x = f (x x = x kaikilla x, x X, surjektio jos kaikilla y Y o olemassa x X site, että f (x = y, bijektio jos se o sekä ijektio että surjektio. Ekvivaletti määritelmä o, että f : X Y o ijektio jos x x f (x f (x kaikilla x, x X ja f o surjektio jos arvojoukko f (X = { f (x : x X } o sama kui maalijoukko Y eli f (X = Y. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa8 I / 60

8 Ijektiot ja surjektiot 4 X f a b c d e Y 4 X g a b c d Y Listat, lukujoot ja karteesiset tulot fuktioia Lista [a, b, c, d] o fuktio f, joka määrittelyjoukko o {,,, 4} (tai {0,,, } site, että f ( = a, f ( = b, f ( = c ja f (4 = d. Lukujoo (a =0 = (a 0, a, a,... o fuktio a, joka määrittelyjoukko o N 0 site, että a( = a kaikilla N 0. Jos X j o joukko jokaisella j J missä J o (toie joukko ii karteesie tulo j J X j o joukko, joho kuuluvat täsmällee kaikki fuktiot f : J j J X j site, että f (j X j kaikilla j J. Fuktio f : X Y o ijektio ( jokaisee Y : alkioo tulee korkeitaa yksi suuattu kaari mutta se ei ole surjektio koska X :stä ei löydy yhtää alkiota x, site, että f (x = d. Fuktio g : X Y o surjektio ( jokaisee Y : alkioo tulee vähitää yksi suuattu kaari mutta se ei ole ijektio koska g( = g( ja. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa9 I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa0 I / 60 Yhdistetyt fuktiot ja kääteisfuktiot Jos f : X Y ja g : Y Z ovat kaksi fuktiota ii h = g f : X Z o fuktio h(x = g(f (x. Jos f : X Y, g : Y Z ja h : Z W ovat fuktioita ii (h g f = h (g f jote tämä fuktio voidaa myös kirjoittaa muodossa h g f. Jos f : X Y sellaie fuktio, että o olemassa fuktio g : Y X site että (g f (x = x ja (f g(y = y kaikilla x X ja y Y ii f o käätyvä, g o f : kääteisfuktio ja tavallisesti kirjoitetaa g = f. Fuktio f : X Y o käätyvä jos ja vai jos se o bijektio. Jos f : X Y o käätyvä ii (f = f eli kääteisfuktio o myös käätyvä ja se kääteisfuktio o f. Huomaa,ettei f ole sama fuktio kui h(x = f (x joka edyllyttää että Y : (tai aiaki arvojouko elemeteillä o kääteisalkioita mikä o esim. tilae joukossa R \ {0} mutta ei joukossa Z. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 Rekursiivie fuktio: Esimerkkiä Fiboacci luvut Määrittelemme fuktio F seuraavasti: {, jos = tai =, F ( = F ( + F (, jos >. Voidaa osoittaa, että F ( = (( + (, eli F=@((((+sqrt(/^-((-sqrt(/^/sqrt(. Toie vaihtoehto o laskea fuktio arvot suoraa määritelmästä esim. seuraavalla rekursiivisella fuktiolla fuctio f=f( if == ==, f=; else f=f(-+f(-; ed edfuctio G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60

9 Rekursiivie fuktio: Esimerkkiä Fiboacci luvut. jatk. Jos haluamme laskea esim luvut F (, F (, F (,..., F ( voimme esi laskea F=[,]; ja sitte laskea for j=:, F(j= F(j-+F(j-; ed Mutta silloi esim. F(0 ei ole laikaa määritelty. Vaihtoehtoisesti voimme muodostaa vektorit X = [X (, X (] missä X ( = F ( ja X ( = F ( jolloi X = [, ] ja X = [F (, F (] = [F (, F ( + F ( ] = [X (, X ( + X (]. Näi olle voimme myös kirjoittaa X = G(X missä G(Y = [Y (, Y ( + Y (]. Nyt voimme laskea vektorit X seuraavalla tavalla: X(,:=[0,]; X(,:=[,]; G=@(Y[Y(,Y(+Y(]; for =:, X(,:=G(X(-,:; ed jolloi X(,: o [F (4, F (]. Jos haluamme vai laskea luvut F (4 ja F ( voimme meetellä seuraavasti jolloi tuloksea X o [F (4, F (]: X=[,]; G=@(Y[Y(,Y(+Y(]; for =:, X=G(X;ed G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 Usea muuttuja fuktiot? Edellä o käsitelty aioastaa yhde muuttuja fuktioita. Samalla tavalla voidaa määritellä usea muuttuja fuktioita, mutta se ei ole aiva välttämätötä koska äide fuktioide kohdalla o olemassa erilaisia lähestymistapoja ja seuraavassa esitetää mite tietty kahde muttuja fuktio voidaa määritellä ja se arvoja laskea eri tavoilla: Kahde muuttuja fuktioa: f (x, y = si(x + y ja Matlab/Octavessa esim. f=@(x,ysi(x+*y jolloi fuktio arvo pisteessä (, o f(,. Yhde vektorimuuttuja fuktioa: f ([x, y] = si(x + y tai esim. f=@(xsi(x(+*x( jolloi fuktio arvo pisteessä (, o f([,]. Yhde (eli esimmäise muuttuja fuktioarvoisea fuktioa: x (y si(x + y tai esim. f=@(x@(ysi(x+*y jolloi fuktio arvo pisteessä (, o f(( (Ei toimi Matlabissa!. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa4 I / 60 Ordo eli Iso-O: f O(g Jos g o fuktio, joka o määritelty kaikilla riittävä isoilla kokoaisluvuilla ii f O(g kertoo että myös f o määritelty kaikilla riittävä isoilla kokoaisluvuilla ja o olemassa vakioita C f ja N f site, että f ( C f g(, N f. Tämä merkiä käyttö tarkoittaa myös sitä, ettei ole erityise oleellista mitä vakiot C f ja N f oikeasti ovat tai mite pieiksi iitä voi valita. Usei kirjoitetaa f O(g: sijasta f ( = O(g( ja silloi merkiällä O(g tarkoitetaa joki fuktio f, jolla o se omiaisuus, että f ( C g( ku N. Usei kirjoitetaa O( + O( = O( eikä O( + O( O( mutta silloi pitää muistaa, ettei tästä seuraa O( = 0! Tässä käsitellää yksikertaisuude vuoksi vai (tietyillä kokoaisluvuilla märiteltyjä fuktioita ja aioastaa mitä tapahtuu ku mutta se ei ole mitekää oleellista. Esimerkiksi pätee myös x4 x x +x O(x ku x 0. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 Esimerkki: Iso-O Jos f O( ja g O( ii f g O( koska f ( C f ku N f ja g( C g ku N g jote f (g( C f C g + ku max(n f, N g. Vastaava tulos ei päde jakolasku kohdalla koska O(g ataa vai yläraja, ei alarajaa. Jos f ( = ja g( = ii f O(, g O( ja o (tieteki? piei luku p site, että f g O( p. Mutta jos o piei luku p f site, että f O( p f ja o piei luku p g site, että g O( pg ii siitä ei välttämättä seuraa, että olisi piei luku p site, että f g O( p koska voimme esimerkiksi valita f ( = {, o parito 0, o parillie, ja g( = { 0, o parito, o parillie jolloi f (g( = 0 kaikilla ja f g O( p kaikilla p Z. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa6 I / 60

10 Motako vertailua tarvitaa, jotta löytäisimme luvu, joka suuruusjärjestysumero o p jos joukossa o lukua? Jos p = (piei luku tai p = (suuri luku ii vertailua riittää mutta mikä o tilae yleisessä tapauksessa? Seuraavaksi osoitamme, että jos p ii tarvittavie vertailuje lukumäärä kuuluu joukkoo O(, eli o olemassa vakio C site, että vertailuje lukumäärä o korkeitaa C emmekä välitä kovikaa paljo siitä mikä tämä vakio o: Oletamme että tarvitaa korkeitaa Ck vertailua ku joukossa o k < lukua. Jaamme luvut osajoukkoihi joissa o lukua: Ei vertailuja. Määritämme äide osajoukkoje mediaait: O( vertailua. Määritämme mediaaie mediaai: C( + vertailua. Jaamme luvut kahtee joukkoo, riippue siitä ovatko e suurempia tai pieempiä kui mediaaie mediaai: O( vertailua. Kumpiki äistä joukoista sisältää korkeitaa ( 7 + O( = + O( lukua! 0 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa7 I / 60 Motako vertailua tarvitaa, jotta löytäisimme luvu, joka suuruusjärjestysumero o p jos joukossa o lukua?, jatk. Joukkoje alkioide lukumäärie perusteella tiedämme missä joukossa hakemamme luku o ellei se ole mediaaie mediaai ja mikä se järjestysumero siiä o jote haemme se osajoukosta: C CO( vertailua. Olemme käyttäeet O( + C + C + O( C + CO( = 9 C + CO( + O( 0 = 9 0 C + (C + c 0, vertailua missä c 0 o vakio. Jos 0c 0 voimme järjestää luvut käyttäe (0c 0 vertailua (tosiasiassa log ( vertailua riittää ja site löytää hakemamme luku jote jos valitsemme C 0c 0 jolloi c 0 0 C ii ku > 0c 0 eli c 0 < toteamme että 9 0 C + (C + c C + 0 C + C = C 0 ja iduktiopäättely toimii. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa8 I / 60 0 Jouko mahtavuus eli alkioide lukumäärä Kahdella joukolla A ja B o sama lukumäärä alkioita A ja B eli e ovat yhtä mahtavia, jos o olemassa bijektio A B. Joukolla A o vähemmä tai yhtä mota alkiota kui joukolla B, eli A B, jos o olemassa ijektio A B. Erityisesti, A B jos A B. Joukolla A o vähemmä alkioita kui joukolla B, eli A < B, jos o olemassa ijektio A B mutta ei bijektiota A B. Jos A = {0,,,..., } ii A =. Joukko A o äärellie jos o olemassa N 0 site, että A =. Joukko A o umeroituva jos A = N ja yliumeroituva jos A > N. Huom! Jotta ämä määritelmät olisivat järkeviä pitää osoittaa, että o olemassa bijektio {0,,,..., } {0,,,..., m } jos ja vai jos m = ja jos o olemassa ijektioita A B ja B A ii löytyy myös bijektio A B. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa9 I / 60 Z ja Q N 0 = Z koska f : N 0 Z missä f (0 = 0, f (k = k ja f (k = k ku k o bijektio. N 0 = Q koska voimme kostruoida bijektio seuraavalla tavalla: 0... Jos hyppäämme iide lukuje yli, jotka jo ovat listalla, ii saamme seuraava bijektio: f (0 = 0, f ( =, f ( =, f ( =, f (4 =, f ( =, f (6 =, f (7 = 4, f (8 =, f (9 = (eikä =, f (0 =, f ( = (eikä =, f ( = 4, je. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa40 I /

11 Summaperiaate, yksikertaisi muoto Jos A ja B ovat kaksi (äärellistä joukkoa site, että A B = ii A B = A + B. Tästä seuraa, että jos B A ii A \ B = A B. Tuloperiaate, yksikertaisi muoto Jos A ja B ovat kaksi (äärellistä joukkoa ii A B = A B. Lokero- eli kyyhkyslakkaperiaate Jos m esiettä laitetaa lokeroo ii aiaki yhdessä lokerossa m o vähitää esiettä! Miksi? Jos yhdessä lokerossa olevie esieide lukumäärie maksimi o k ii k m jote k m ja koska määritelmä mukaa m o piei kokoaisluku joka o m ii k m. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa4 I / 60 Esimerkki: Lokeroperiaate Olkoo S jouko {,,...,, } osajoukko site, että S = +. Silloi joukkoo S kuuluu kaksi eri lukua a ja b site, että joko a jakaa b: tai b jakaa a: (eli a b tai b a. Miksi? Voimme esittää S: luvut muodossa k j q j missä k j 0, q j <, q j o parito, j =,,..., + ja lisäksi [k i, q i ] [k j, q j ] ku i j. Parittomat luvut q j, j =,..., + kuuluvat joukkoo {,,...,, }. Joukossa {,,...,, } o paritota lukua,,,...,. Lokeroperiaattee ojalla o olemassa luvut i j site, että q i = q j jolloi k i k j koska [k i, q i ] [k j, q j ]. Voimme valita a = k i q i ja b = k j q j jolloi väite pätee koska joko k i < k j jolloi a b tai k j < k i jolloi b a. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa4 I / 60 Seulaperiaate eli yleistetty summaperiaate Jos A j, j =,,... ovat äärellisiä joukkoja ii A A = A + A A A, A A A = A + A + A A A A A k j= A j = A A + A A A, k ( r+ r. A ji r= j <j <...<j r k i= Pari epäyhtälöä Olkoot A, B ja C kolme joukkoa. Koska A B C A B ii A B C A B. Samoi pätee A B C B C ja A B C A C. Koska (A B (A C = A (B C A ii A (A B (A C = A B + A C A B A C, josta seuraa, että A B C A B + A C A. Vaihtamalla A, B ja C keskeää saadaa myös epäyhtälöt A B C A B + B C B ja A B C A C + B C C. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa4 I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa44 I / 60

12 Tuloperiaate Jos valita- tai päätösprosessissa o k vaihetta ja vaiheessa j o j vaihtoehtoa, riippumatta siitä mitä valitoja tai päätöksiä o aikaisemmissa vaiheissa tehty, ja jos kaikki valiat johtavat erilaisii lopputuloksii, ii kaikkie vaihtoehtoje lukumääräksi tulee... k Toisi saoe, jos 4 = 4 C = { (x, x,..., x k : x A, x A,x,..., x k A k,x,...,x k }, missä A =, jokaisella x A pätee A,x = ja yleisesti jos x A, x A,x, x A,x,x je., ii pätee A j,x,x,...,x j = j, j k, ii silloi C =... k. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa4 I / 60 Kertoma Jos o positiivie kokoaisluku ii Lisäksi 0! =.! =... (. Biomikerroi Jos ja k ovat kokoaislukuja site, että 0 k ii (! = k k! ( k! jolloi ( ( k = k. Multiomikerroi Jos j 0 ku j =,,..., m ja = m ii (! =,,..., m!!... m!. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa46 I / 60 Järjestetty otos A o joukko jossa o alkiota (eli A =. Jos valitaa k alkiota joukosta A ja muodostetaa iistä joo [x, x,..., x k ] ja tehdää tämä palauttamatta, eli samaa alkiota ei valita mota kertaa jolloi x i x j ku i j ii saadaa s. k-permutaatio. Näide jooje eli k-permutaatioide lukumäärä o tuloperiaattee ojalla! (... ( k + = ( k! Jos valitaa k alkiota joukosta A ja muodostetaa iistä joo [x, x,..., x k ] ja tehdää tämä palauttae, eli voidaa valita sama alkio mota kertaa jolloi aioa vaatimus o, että x j A ku j k ii tuloperiaattee ojalla äide jooje lukumäärä o A k = k. Huomaa, että molemmissa tapauksissa o oleellista että kyseessä o järjestetty otos eli sillä, missä järjestyksessä alkiot valitaa A:sta, o merkitystä. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa47 I / 60 Otos palauttamatta ku järjestystä ei oteta huomioo Jos joukosta A, jossa o alkiota, valitaa valitaa osajoukko joho kuuluu k alkiota, eli valitaa k alkiota palauttamatta, (jokaista alkiota voidaa valita korkeitaa kerra, eikä valitajärjestyksellä ole merkitystä ii vaihtoehtoje lukumäärä o ( k = (. k Miksi? Jos kyseie lukumäärä o b(, k ii palauttamatta otettuje järjestettyje otoste lukumäärä o b(, k k! koska k alkiota voidaa järjestää jooksi k! eri tavalla. Näi olle b(, k k! =! ( k! jote b(, k = ( k. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa48 I / 60

13 Otos palauttae ku järjestystä ei oteta huomioo Jos joukosta A, jossa o alkiota, valitaa k alkiota palauttae, eli voidaa valita sama alkio mota kertaa, eikä valitajärjestyksellä ole merkitystä ii vaihtoehtoje lukumäärä o ( ( k + k + =. k Miksi? Olkoo A = {x, x,..., x }. Ku valitsemme k alkiota, palauttae, joukosta A eikä järjestyksellä ole merkitystä ii voimme esittää tulokse esim. äi: Tämä o tulkittava site, että olemme kaksi kertaa valiet x :, kerra x :, ei kertaakaa x :ta, kolme kertaa x 4 :, kaksi kerta x : ja kolme kertaa x 6 : jote tässä = 6 ja k = =. Jokaie valita vastaa listaa missä o k alkiota ja erotusmerkkiä, eli pituus o k +, ja valitsemme joosta e paikkaa, joihi sijoitamme erotusmerkit jolloi alkiot sijoitetaa jäljelle jäävii paikkoihi (tai päivastoi. Tämä o otos palauttamatta missä valitajärjestyksellä G. Gripeberg (Aalto-yliopisto ei ole MS-A040 merkitystä. Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa49 I / 60 Otos palauttamatta, palauttae, valitajärjestyksellä merkitystä, ei merkitystä: Yhteeveto Valitaa k alkiota joukosta, jossa o alkiota: Valitajärjestyksellä o merkitystä Valitajärjestyksellä ei ole merkitystä palauttamatta palauttae! k (( k! ( k + k G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa0 I / 60 Allokoitimallit eli vaihtoehtoie ajattelutapa O sijoitettava k palloa :ää umeroituu laatikkoo. Numeroidut pallot Valitajärjestyksellä o merkitystä. Idettiset pallot Valitajärjestyksellä ei ole merkitystä. Jokaisee laatikkoo korkeitaa yksi pallo Valita palauttamatta. Jokaisee laatikkoo mielivaltaie määrä palloja Valita palauttae. Palloje lukumäärä laatikoissa ei rajoituksia! Numeroidut pallot k (( k! ( k + Idettiset pallot k Esimerkki: Otokset Tetissä valvojat jakavat 0 tehtäväpaperia 60:lle tettijälle. Moellako tavalla tämä o mahdollista? Tässä oletetaa, että tehtäväpaperit ovat idettiset mutta tettijät eivät ole. Esimmäie, järkevä, vaihtoehto o että jokaiselle tettijälle aetaa korkeitaa yksi paperi. Silloi o kysymys siitä moellako tavalla voimme 60 hekilö joukosta valita e 0, jotka saavat paperi. Tässä o kyse valiasta palauttamatta ( ku ( järjestyksellä ei ole merkitystä, jote vaihtoehtoja o =. 0 0 Toie, vähemmä järkevä, vaihtoehto o, ettei aseteta mitää rajoituksia sille motako paperia sama hekilö voi saada. Silloi valvojat valitsevat 0 kertaa tettijä, jolle paperi aetaa, joukosta, jossa o 60 alkiota, palauttae eikä valitajärjestyksellä ( ole merkitystä. Vaihtoehtoje ! lukumääräksi tulee silloi = 60 9! 0!. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60

14 Multiomikertoimet (! =,,..., m!!... m! = m. ( o vaihtoehtoje lukumäärä ku joukko A jaetaa,,..., m osajoukoiksi A j, j =,..., m site, että m j= A j = A, A i A j = ku i j, ja A j = j. ( o vaihtoehtoje lukumäärärä ku järjestetää,,..., m oliota tyyppiä y, tyyppiä y je. missä = m ja samaa tyyppiä olevat oliot ovat idettiset. Jos A o joukko, jossa o alkiota ja B = {y,..., y m } o joukko, jossa o m alkiota ja,,...(, m ovat ei-egatiivisia lukuja site, että m = ii o iide fuktioide,,..., m f : A B lukumäärä joille pätee { x A : f (x = y j } = j. Biomi- ja multiomikaavat (x + y = (x x m = j=0 ( x j y j, j ( m= j 0,,..., m x... x m m. Miksi? ( Biomikaava o erikoistapaus multiomikaavasta koska ( j = j, j ja multiomikaava pätee koska (x x m voidaa kirjoittaa summaa jossa o m termiä jotka ovat tyyppiä y y... y missä jokaie y i {x, x,..., x m }. Jokaie muotoa x... x m m termi sytyy siitä, että joukko {,..., } jaetaa osajoukkoihi A j, j =,..., m site että i A j jos ja vai jos y i = x j jolloi siis A j = j. Tällaisia osituksia o täsmällee (,,..., m kappaletta. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa4 I / 60 Fuktioide lukumäärät Oletetaa, että A = m ja B =. Fuktiode A B lukumäärä o B A = m. Miksi? Fuktio f : A B o järjestetty m-kokoie otos palauttae joukosta jossa o alkiota. Ijektioide A B lukumäärä o! (... ( m + = ( m!, m. Miksi? Ijektio A B o järjestetty m-kokoie otos palauttamatta joukosta jossa o alkiota. ( Surjektioide A B lukumäärä o ( k k m. k k=0 Osajoukkoje lukumäärä: P(A = A Jos joukossa A o m alkiota ii joukossa P(A o m alkiota, eli A: osajoukkoje lukumäärä o A koska jokaista osajoukkoa B vastaa fuktio f B : A {0, } site, että f B (x = jos x B ja muute 0. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa I / 60 Surjektioide A B lukumäärä ku A = m ja B = Olkoo B = {b, b,..., b }, F = B A kaikkie fuktioide A B joukko ja F j = (B \ {b j } A F kaikkie fuktioide A : B \ {b j } joukko eli iide F : alkioide f joukko joille pätee, että f (x b j kaikilla x A. Surjektioide joukko o site F \ j= F j. Nyt F j F j... F jr o joukko (B \ {b j, b j,... b jr } A joho kuuluvat kaikki fuktiot A B jotka eivät saa arvoja b j,..., b jr. Jos j <... < j r ii F j F j... F jr = ( r m. Koska o ( r eri tapaa valita ideksit j <... < j r ii seulaperiaatteesta seuraa, että surjektioide A B lukumäärä o ( ( m ( ( r+ r m = r r= ( ( r r r=0 r = k = ( r m k=0 Huomaa, että ku m < ei ole surjektioita A B jote silloi ( k k m = 0, mikä ehkä ei ole aiva ilmeistä. ( k=0 k ( ( k k m. k G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa6 I / 60

15 Esimerkki Motako erilaista sellaista viide pelikorti riviä (ormaalista korti pakasta o olemassa, jossa esiityy täsmällee kaksi kuigatarta? Valitsemme esi( e kaksi paikkaa, joihi kuigattaret tulevat. Vaihtoehtoja o = 0. Sitte valitsemme kuigattaret äihi paikkoihi ja yt vaihtoehtoje lukumäärä o 4 = koska o otettava huomioo missä järjestyksessä e tulevat. Lopuksi valitsemme muut kolme korttia 48: korti joukosta jolloi vaihtoehtoje lukumääräksi tulee = 0776 Tuloperiaattee ojalla erilaiste rivie lukumääräksi tulee = 4 0. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa7 I / 60 Motako vertailua tarvitaa järjestämisalgoritmissa? Jos meillä o erisuurta luka ja haluamme järjestää e suuruusjärjestyksee ii o olemassa algoritmi, joka pahimmassaki tapauksessa tekee korkeitaa log ( vertailua (esimerkiksi ii, että esi jaetaa luvut kahtee joukkoo, ämä laitetaa järjestyksee tällä algoritmilla ja sitte joukot yhdistetää ii että järjestys säilyy. Mutta oko olemassa algoritmi, joka käyttää oleellisesti vähemmä, (esim. O( log(log( vertailuja, pahimmassaki tapauksessa? Koska voimme järjestää lukua! eri tavalla järjestämisalgoritmi pitää pystyä tuottamaa! eri vastausta. Koska jokaise vertailu tuloksea o korkeitaa kaksi vaihtoehtoa ii tuloperiaattee takia algoritmi, joka tekee korkeitaa m vertailua tuottaa korkeitaa m eri vastausta eli jos se toimii, ii pitää olla m! eli m log (!. Koska log (! = log (... = log (j log (j j= j= ( log = log ( log ( log (, ku jote oleellisesti parempi tulos kui log ( ei ole mahdollie. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa8 I / 60 Moellako tavalla voidaa jakaa joukko, joho kuuluu alkiota, k:ho ei-tyhjää osajoukkoo? Toisella tavalla: Moellako tavalla voimme laittaa umeroitua palloa k:ho idettisee laatikkoo, site, että jokaisee laatikkoo tulee aiaki yksi pallo? Olkoo tämä lukumäärä S(, k, s. Stirligi (. laji luku. Mitä voimme saoa äistä luvuista? Selvästiki (? S(, = S(, = ja S(, k = 0 jos k >. S(, k = S(, k + ks(, k ku k. Miksi? Olkoo x kyseise jouko tietty alkio. Silloi meillä o kaksi toisiaa poissulkevaa tapausta: {x} o yksi osajoukoista (joho siis ei kuulu muita alkioita:muut alkiota o jaettava k :ee ei-tyhjää osajoukkoo ja vaihtoehtoje lukumäärä o S(, k. {x} ei ole yksi osajoukoista: Jaetaa esi muut alkiota k:ho osajoukkoo (S(, k vaihtoehtoa joka jälkee x sijoitetaa johoki äistä osajoukoista (k vaihtoehtoa jolloi kaikkie vaihtoehtoje lukumäärä o ks(, k. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa9 I / 60 Moellako tavalla voidaa jakaa joukko, joho kuuluu alkiota, k:ho ei-tyhjää osajoukkoo? Jatk. S(, k = k ( k ( k j j. k! j j=0 Miksi? Voimme umeroida k osajoukkoa k! eri tavalla ja jako ei-tyhjii umeroituihi osajoukkoihi määrittelee surjektio (koska osajoukot ovat ei-tyhjiä alkuperäisestä joukosta umeroituje osajoukkoje muodostamaa joukkoo eli Sur(, k = k!s(, k missä Sur(, k o surjektioide lukumäärä joukosta, jossa o alkiota joukkoo, jossa o k alkiota. Sur-fuktiolle johdetu kaava avulla saamme väitee. S(, = (! ( j j=0 ( k j j = Miksi? Ku osajoukkoja o kappaletta ii yhtee joukkoo tulee kaksi alkiota ja vaihtoehdot eroavat toisistaa aioastaa siiä, mitkä kaksi alkiota laitetaa samaa osajoukkoo ja joukosta, jossa o ( alkiota voidaa valita osajoukko, joho kuuluu kaksi alkiota :lla eri tavalla. G. Gripeberg (Aalto-yliopisto MS-A040 Diskreeti matematiika perusteet Yhteeveto8. jasyyskuuta esimerkkejä 06 ym., osa60 I / 60 (.

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I MS-A0402 Diskreeti matematiika perusteet Yhteeveto, osa I G. Gripeberg Aalto-yliopisto 12. maaliskuuta 2015 G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I MS-A0402 Diskreeti matematiika perusteet Yhteeveto, osa I 1 Joukko-oppi ja logiikka Iduktioperiaate G. Gripeberg 2 Relaatiot ja fuktiot Aalto-yliopisto 3. huhtikuuta 2014 3 Kombiatoriikka ym. G. Gripeberg

Lisätiedot

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

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto. maaliskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä. ym.,

Lisätiedot

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

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto. maaliskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä. ym.,

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, 30.

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetyhteenveto, 3. osahuhtikuuta

Lisätiedot

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

MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä30.

Lisätiedot

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

MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 0. syyskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä0. ym.,

Lisätiedot

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

MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I MS-A00 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 0. syyskuuta 0 Joukko-oppi ja logiikka Todistukset logiikassa Predikaattilogiikka Induktioperiaate Relaatiot

Lisätiedot

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

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä,

Lisätiedot

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

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I MS-A040 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 014 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteetesimerkkejä,

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 8. syyskuuta 016 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I MS-A040 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 8. syyskuuta 06 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Yhteenveto8.

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 12. maaliskuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteet

Lisätiedot

( ) k 1 = a b. b 1) Binomikertoimen määritelmän mukaan yhtälön vasen puoli kertoo kuinka monta erilaista b-osajoukkoa on a-joukolla.

( ) k 1 = a b. b 1) Binomikertoimen määritelmän mukaan yhtälön vasen puoli kertoo kuinka monta erilaista b-osajoukkoa on a-joukolla. Kombiatoriikka, kesä 2010 Harjoitus 2 Ratkaisuehdotuksia (RT) (5 sivua) Käytä tehtävissä 1-3 kombiatorista päättelyä. 1. Osoita, että kaikilla 0 b a pätee ( ) a a ( ) k 1 b b 1 kb Biomikertoime määritelmä

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I MS-A040 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Yhteenveto30.

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I MS-0402 Disreeti matematiia perusteet Yhteeveto, osa I G. Gripeberg 1 Jouo-oppi ja logiia Idutioperiaate 2 Relaatiot ja futiot Futiot Iso-O alto-yliopisto 12. maalisuuta 2015 3 Kombiatoriia ym. Summa-,

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I MS-0401 Disreeti matematiia perusteet Yhteeveto, osa I G. Gripeberg alto-yliopisto 30. syysuuta 2015 1 Jouo-oppi ja logiia Prediaattilogiia Idutioperiaate 2 Relaatiot ja futiot Futiot Iso-O 3 Kombiatoriia

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiika tukikurssi Kurssikerta 1 Iduktiotodistus Iduktiotodistukse logiikka Tutkitaa tapausta, jossa haluamme todistaa joki väittee P() site, että se pätee kaikilla luoollisissa luvuilla. Eli halutaa

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiika tukikurssi Kurssikerta 3 1 Lisää iduktiota Jatketaa iduktio tarkastelua esimerki avulla. Yritetää löytää kaava : esimmäise (positiivise) parittoma luvu summalle eli summalle 1 + 3 + 5 + 7 +...

Lisätiedot

Insinöörimatematiikka IA

Insinöörimatematiikka IA Isiöörimatematiikka IA Harjoitustehtäviä. Selvitä oko propositio ( p q r ( p q r kotradiktio. Ratkaisu: Kirjoitetaa totuustaulukko: p q r ( p q r p q r ( p q r ( p q r 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I MS-A040 Disreeti matematiia perusteet Yhteeveto ja esimerejä ym., osa I G. Gripeberg Aalto-yliopisto. maalisuuta 05 Jouo-oppi ja logiia Todistuset logiiassa Idutioperiaate Relaatiot ja futiot Futiot Iso-O

Lisätiedot

MATP153 Approbatur 1B Harjoitus 1, ratkaisut Maanantai

MATP153 Approbatur 1B Harjoitus 1, ratkaisut Maanantai MATP53 Approbatur B Harjoitus, ratkaisut Maaatai..05. (Lämmittelytehtävä.) Oletetaa, että op = 7 tutia työtä. Kuika mota tutia Oili Opiskelija työsketelee itseäisesti kurssilla, joka laajuus o 4 op, ku

Lisätiedot

Diskreetin Matematiikan Paja Ratkaisuja viikolle 4. ( ) Jeremias Berg. n(n + 1) 2. k =

Diskreetin Matematiikan Paja Ratkaisuja viikolle 4. ( ) Jeremias Berg. n(n + 1) 2. k = Diskreeti Matematiika Paja Ratkaisuja viikolle 4. (7.4-8.4) Jeremias Berg. Osoita iduktiolla että k = ( + ) Ratkaisu: Kute kaikissa iduktiotodistuksissa meidä täytyy siis osoittaa asiaa. Ns. perustapaus,

Lisätiedot

Tehtäviä neliöiden ei-negatiivisuudesta

Tehtäviä neliöiden ei-negatiivisuudesta Tehtäviä epäyhtälöistä Tehtäviä eliöide ei-egatiivisuudesta. Olkoo a R. Osoita, että 4a 4a. Ratkaisu. 4a 4a a) a 0 a ) 0.. Olkoot a,, R. Osoita, että a a a. Ratkaisu. Kerrotaa molemmat puolet kahdella:

Lisätiedot

Analyysi A. Harjoitustehtäviä lukuun 1 / kevät 2018

Analyysi A. Harjoitustehtäviä lukuun 1 / kevät 2018 Aalyysi A Harjoitustehtäviä lukuu / kevät 208 Ellei toisi maiita, tehtävissä esiityvät muuttujat ja vakiot ovat mielivaltaisia reaalilukuja.. Aa joki ylä- ja alaraja joukoille { x R x 2 + x 6 ja B = {

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa I MS-A040 Disreeti matematiia perusteet Yhteeveto ja esimerejä ym., osa I G. Gripeberg Aalto-yliopisto 0. syysuuta 05 Jouo-oppi ja logiia Todistuset logiiassa Prediaattilogiia Idutioperiaate Relaatiot ja

Lisätiedot

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 5 (6 sivua)

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 5 (6 sivua) Algebra I Matematiika ja tilastotietee laitos Ratkaisuehdotuksia harjoituksii 5 (6 sivua) 14.2. 17.2.2011 1. Määritellää kuvaus f : S 3 S 3, f(α) = (123) α. Osoita, että f o bijektio. Mikä o se kääteiskuvaukse

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A0402 Diskreetin matematiikan perusteet Osa 1: Joukko-oppi ja logiikka Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Kiitokset Nämä luentokalvot perustuvat Gustaf

Lisätiedot

1 Eksponenttifunktion määritelmä

1 Eksponenttifunktion määritelmä Ekspoettifuktio määritelmä Selvitimme aikaisemmi tällä kurssilla, millaie potessisarja säilyy derivoiissa muuttumattomaa. Se perusteella määritellää: Määritelmä. Ekspoettifuktio exp : R R määritellää lausekkeella

Lisätiedot

Matematiikan tukikurssi

Matematiikan tukikurssi Matematiika tukikurssi Kertauslueto. välikokeesee Algebraa Tämäkertaie kurssimoiste sisältää rusaasti harjoitustehtäviä. Syyä tähä o se, että matematiikkaa oppii parhaite itse tekemällä ja laskemalla.

Lisätiedot

Matematiikan tukikurssi. Kertausta 1. välikokeeseen. Tehtävät

Matematiikan tukikurssi. Kertausta 1. välikokeeseen. Tehtävät Matematiika tukikurssi Kertausta. välikokeesee Tehtävät Algebraa Tämä kappale sisältää rusaasti harjoitustehtäviä. Suurimpaa osaa tehtävistä löytyy ratkaisut lopusta. Syyä rusaasee tehtävämäärää o, että

Lisätiedot

Kertaa tarvittaessa induktiota ja rekursiota koskevia tietoja.

Kertaa tarvittaessa induktiota ja rekursiota koskevia tietoja. MATEMATIIKAN JA TILASTOTIETEEN LAITOS Aalyysi I Harjoitus 5. 0. 2009 alkavalle viikolle Ratkaisuehdotuksia ( sivua) (Rami Luisto) Laskuharjoituksista saa pistettä, jos laskettu vähitää 50 tehtävää; 3 pistettä,

Lisätiedot

Ryhmän osajoukon generoima aliryhmä ja vapaat ryhmät

Ryhmän osajoukon generoima aliryhmä ja vapaat ryhmät Ryhmä osajouko geeroima aliryhmä ja vapaat ryhmät LuK-tutkielma Joose Heioe Matemaattiste tieteide tutkito-ohjelma Oulu yliopisto Kevät 2017 Sisältö Johdato 2 1 Ryhmät ja aliryhmät 2 1.1 Ryhmä.................................

Lisätiedot

3 x < < 3 x < < x < < x < 9 2.

3 x < < 3 x < < x < < x < 9 2. Matematiika johdatokurssi Kertaustehtävie ratkaisuja 1. Ratkaise epäyhtälöt: a) 3 x < 3, b) 5x + 1. Ratkaisu. a) Ratkaistaa epäyhtälö poistamalla esi itseisarvot: 3 x < 3 3 < 3 x < 3 9 < x < 3 3 < x

Lisätiedot

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9 Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9 Tuntitehtävät 9-10 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 13-14 loppuviikon harjoituksissa. Kotitehtävät 11-12 tarkastetaan loppuviikon

Lisätiedot

****************************************************************** ****************************************************************** 7 Esim.

****************************************************************** ****************************************************************** 7 Esim. 8.3. Kombiaatiot MÄÄRITELMÄ 6 Merkitä k, joka luetaa yli k:, tarkoittaa lause- ketta k = k! ( k)! 6 3 2 1 6 Esim. 1 3 3! = = = = 3! ( 3)! 3 2 1 3 2 1 3 2 1 Laskimesta löydät äppäime, jolla kertomia voi

Lisätiedot

Tehtävä 1. Voidaanko seuraavat luvut esittää kahden neliön summina? Jos voidaan, niin kuinka monella eri tavalla? (i) n = 145 (ii) n = 770.

Tehtävä 1. Voidaanko seuraavat luvut esittää kahden neliön summina? Jos voidaan, niin kuinka monella eri tavalla? (i) n = 145 (ii) n = 770. JOHDATUS LUKUTEORIAAN (syksy 07) HARJOITUS 0, MALLIRATKAISUT Tehtävä. Voidaako seuraavat luvut esittää kahde eliö summia? Jos voidaa, ii kuika moella eri tavalla? (i) = 45 (ii) = 770. Ratkaisu. (i) Jaetaa

Lisätiedot

RATKAISUT x 2 3 = x 2 + 2x + 1, eli 2x 2 2x 4 = 0, joka on yhtäpitävä yhtälön x 2 x 2 = 0. Toisen asteen yhtälön ratkaisukaavalla saadaan

RATKAISUT x 2 3 = x 2 + 2x + 1, eli 2x 2 2x 4 = 0, joka on yhtäpitävä yhtälön x 2 x 2 = 0. Toisen asteen yhtälön ratkaisukaavalla saadaan RATKAISUT 8 17 8 a) Paraabelie y x ja y x + x + 1 leikkauspisteet saadaa määritettyä, ku esi ratkaistaa yhtälö x x + x + 1, eli x x, joka o yhtäpitävä yhtälö x x. Toise astee yhtälö ratkaisukaavalla saadaa

Lisätiedot

3 x < < 3 x < < x < < x < 9 2.

3 x < < 3 x < < x < < x < 9 2. Matematiika johdatokurssi Kertaustehtävie ratkaisuja. Ratkaise epäyhtälöt: a) 3 x < 3, b) 5x +. Ratkaisu. a) Ratkaistaa epäyhtälö poistamalla esi itseisarvot: 3 x < 3 3 < 3 x < 3 9 < x < 3 3 < x < 9. Itse

Lisätiedot

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista Matematiikan johdantokurssi, syksy 06 Harjoitus, ratkaisuista. Valitse seuraaville säännöille mahdollisimman laajat lähtöjoukot ja sopivat maalijoukot niin, että syntyy kahden muuttujan funktiot (ks. monisteen

Lisätiedot

3 10 ei ole rationaaliluku.

3 10 ei ole rationaaliluku. Harjoitukset / 011 RATKAISUT Lukuteoria 1. Etsi Eratostheee seulalla samatie kaikki lukua 400 pieemmät alkuluvut. (Tai ohjelmoi tietokoeesi etsimää paljo lisää.) Kirjoita rivii kaikki luvut 1-00. Poista

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A040 Diskreetin matematiikan perusteet Osa : Relaatiot ja funktiot Riikka Kangaslampi 017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Relaatiot Relaatio Määritelmä 1 Relaatio joukosta A

Lisätiedot

1. (Jatkoa Harjoitus 5A tehtävään 4). Monisteen esimerkin mukaan momenttimenetelmän. n ne(y i Y (n) ) = 2E(Y 1 Y (n) ).

1. (Jatkoa Harjoitus 5A tehtävään 4). Monisteen esimerkin mukaan momenttimenetelmän. n ne(y i Y (n) ) = 2E(Y 1 Y (n) ). HY / Matematiika ja tilastotietee laitos Tilastollie päättely II, kevät 018 Harjoitus 5B Ratkaisuehdotuksia Tehtäväsarja I 1. (Jatkoa Harjoitus 5A tehtävää ). Moistee esimerki 3.3.3. mukaa momettimeetelmä

Lisätiedot

LIITTEET Liite A Stirlingin kaavan tarkkuudesta...2. Liite B Lagrangen kertoimet...3

LIITTEET Liite A Stirlingin kaavan tarkkuudesta...2. Liite B Lagrangen kertoimet...3 LIITTEET... 2 Liite A Stirligi kaava tarkkuudesta...2 Liite B Lagrage kertoimet... 2 Liitteet Liitteet Liite A Stirligi kaava tarkkuudesta Luoollista logaritmia suureesta! approksimoidaa usei Stirligi

Lisätiedot

Äärettämän sarjan (tai vain sarjan) sanotaan suppenevan eli konvergoivan, jos raja-arvo lims

Äärettämän sarjan (tai vain sarjan) sanotaan suppenevan eli konvergoivan, jos raja-arvo lims 75 4 POTENSSISARJOJA 4.1 ÄÄRETTÖMÄT SARJAT Lukujoo { a k } summaa S a a a a a k 0 1 k k0 saotaa äärettömäksi sarjaksi. Summa o s. osasumma. S a a a a a k 0 1 k0 Äärettämä sarja (tai vai sarja) saotaa suppeeva

Lisätiedot

Epäyhtälöoppia matematiikkaolympialaisten tehtäviin

Epäyhtälöoppia matematiikkaolympialaisten tehtäviin Epäyhtälöoppia matematiikkaolympialaiste tehtävii Jari Lappalaie ja Ae-Maria Ervall-Hytöe 0 Johdato Epäyhtälöitä reaaliluvuille Cauchy epäyhtälö Kaikille reaaliluvuille a, a,, a ja b, b,, b pätee Cauchy

Lisätiedot

1. osa, ks. Solmu 2/ Kahden positiivisen luvun harmoninen, geometrinen, aritmeettinen ja + 1 u v 2 1

1. osa, ks. Solmu 2/ Kahden positiivisen luvun harmoninen, geometrinen, aritmeettinen ja + 1 u v 2 1 Epäyhtälötehtävie ratkaisuja. osa, ks. Solmu 2/200. Kahde positiivise luvu harmoie, geometrie, aritmeettie ja kotraharmoie keskiarvo määritellää yhtälöillä H = 2 +, G = uv, A = u + v 2 u v ja C = u2 +

Lisätiedot

T Datasta tietoon, syksy 2005 Laskuharjoitus 8.12., ratkaisuja Jouni Seppänen

T Datasta tietoon, syksy 2005 Laskuharjoitus 8.12., ratkaisuja Jouni Seppänen T-1.1 Datasta tietoo, syksy 5 Laskuharjoitus.1., ratkaisuja Joui Seppäe 1. Simuloidaa tasoittaista algoritmia. Esimmäisessä vaiheessa ehdokkaia ovat kaikki yhde muuttuja joukot {a}, {b}, {c} ja {d}. Aaltosulkeide

Lisätiedot

811312A Tietorakenteet ja algoritmit , Harjoitus 1 ratkaisu

811312A Tietorakenteet ja algoritmit , Harjoitus 1 ratkaisu 83A Tietoraketeet ja algoritmit 06-07, Harjoitus ratkaisu Harjoitukse aiheea o algoritmie oikeellisuus. Tehtävä. Kahvipurkkiogelma. Kahvipurkissa P o valkoisia ja mustia kahvipapuja, yhteesä vähitää kaksi

Lisätiedot

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

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

Lisätiedot

MATEMATIIKAN JA TILASTOTIETEEN LAITOS

MATEMATIIKAN JA TILASTOTIETEEN LAITOS f ( ) JYVÄSKYLÄN YLIOPISTO Harjoituste 3 ratkaisut MATEMATIIKAN JA TILASTOTIETEEN LAITOS Topologiset vektoriavaruudet 3.1. Jokaie kompakti joukko K R määrää fuktioavaruudessa E = C(R ) = {f : R R f o jatkuva}

Lisätiedot

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8 Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8 Tuntitehtävät 1-2 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 5- loppuviikon harjoituksissa. Kotitehtävät 3-4 tarkastetaan loppuviikon

Lisätiedot

Esimerkki 2 (Kaupparatsuongelma eli TSP)

Esimerkki 2 (Kaupparatsuongelma eli TSP) 10 Esimerkki 2 (Kaupparatsuogelma eli TSP) Kauppamatkustaja o kierrettävä kaupukia site, että hä lähtee kaupugista 1 ja palaa sie sekä käy jokaisessa muussa kaupugissa täsmällee kerra. Matka kaupugista

Lisätiedot

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

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -Matematiikka on aksiomaattinen järjestelmä -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -mustavalkoinen: asia joko on tai ei (vrt. humanistiset tieteet, ei

Lisätiedot

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

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I MS-A00 Disreetin matematiian perusteet Esimerejä ym., osa I G. Gripenberg Jouo-oppi ja logiia Todistuset logiiassa Indutioperiaate Relaatiot ja funtiot Funtiot Aalto-yliopisto. maalisuuta 0 Kombinatoriia

Lisätiedot

1. Logiikan ja joukko-opin alkeet

1. Logiikan ja joukko-opin alkeet 1. Logiikan ja joukko-opin alkeet 1.1. Logiikkaa 1. Osoita totuusarvotauluja käyttäen, että implikaatio p q voidaan kirjoittaa muotoon p q, ts. että propositio (p q) ( p q) on identtisesti tosi. 2. Todista

Lisätiedot

Johdatus matematiikkaan

Johdatus matematiikkaan Johdatus matematiikkaan Luento 7 Mikko Salo 11.9.2017 Sisältö 1. Funktioista 2. Joukkojen mahtavuus Funktioista Lukiomatematiikassa on käsitelty reaalimuuttujan funktioita (polynomi / trigonometriset /

Lisätiedot

Solmu 3/2010 1. toteutuu kaikilla u,v I ja λ ]0,1[. Se on aidosti konveksi, jos. f ( λu+(1 λ)v ) < λf(u)+(1 λ)f(v) (2)

Solmu 3/2010 1. toteutuu kaikilla u,v I ja λ ]0,1[. Se on aidosti konveksi, jos. f ( λu+(1 λ)v ) < λf(u)+(1 λ)f(v) (2) Solmu 3/200 Epäyhtälöistä, osa 2 Markku Halmetoja Mätä lukio Välillä I määriteltyä fuktiota saotaa koveksiksi, jos se kuvaaja o alaspäi kupera, eli jos kuvaaja mitkä tahasa kaksi pistettä yhdistävä jaa

Lisätiedot

4.3 Signaalin autokorrelaatio

4.3 Signaalin autokorrelaatio 5 4.3 Sigaali autokorrelaatio Sigaali autokorrelaatio kertoo kuika paljo sigaali eri illä korreloi itsesä kassa (josta imiki). Se o Fourier-muuokse ohella yksi käyttökelpoisimmista sigaalie aalysoitimeetelmistä.

Lisätiedot

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

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen! Matematiikan johdantokurssi Kertausharjoitustehtävien ratkaisuja/vastauksia/vihjeitä. Osoita todeksi logiikan lauseille seuraava: P Q (P Q). Ratkaisuohje. Väite tarkoittaa, että johdetut lauseet P Q ja

Lisätiedot

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38 Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38 Tuntitehtävät 11-12 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 15-16 loppuviikon harjoituksissa. Kotitehtävät 13-14 tarkastetaan loppuviikon

Lisätiedot

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.

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. Approbatur 3, demo 1, ratkaisut 1.1. A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat. Käydään kaikki vaihtoehdot läpi. Jos A on rehti, niin B on retku, koska muuten

Lisätiedot

Todistusmenetelmiä Miksi pitää todistaa?

Todistusmenetelmiä Miksi pitää todistaa? Todistusmenetelmiä Miksi pitää todistaa? LUKUTEORIA JA TO- DISTAMINEN, MAA11 Todistus on looginen päättelyketju, jossa oletuksista, määritelmistä, aksioomeista sekä aiemmin todistetuista tuloksista lähtien

Lisätiedot

811312A Tietorakenteet ja algoritmit, , Harjoitus 4, Ratkaisu

811312A Tietorakenteet ja algoritmit, , Harjoitus 4, Ratkaisu 81112A Tietoraketeet ja algoritmit, 217-218, Harjoitus 4, Ratkaisu Harjoitukse aiheita ovat algoritmie aikakompleksisuus ja lajittelualgoritmit Tehtävä 4.1 Selvitä seuraavie rekursioyhtälöide ratkaisuje

Lisätiedot

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

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta: MATP00 Johdatus matematiikkaan Ylimääräisten tehtävien ratkaisuehdotuksia. Osoita, että 00 002 < 000 000. Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa. Lähdetään sieventämään epäyhtälön

Lisätiedot

2.3.1. Aritmeettinen jono

2.3.1. Aritmeettinen jono .3.1. Aritmeettie joo -joo, jossa seuraava termi saadaa edellisestä lisäämällä sama luku a, a + d, a+d, a +3d, Aritmeettisessa joossa kahde peräkkäise termi erotus o aia vakio: Siis a +1 a d (vakio Joo

Lisätiedot

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

Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten Ratkaisuehdotelma Tehtävä 1 1. Etsi lukujen 4655 ja 12075 suurin yhteinen tekijä ja lausu se kyseisten lukujen lineaarikombinaationa ilman laskimen

Lisätiedot

811120P Diskreetit rakenteet

811120P Diskreetit rakenteet 811120P Diskreetit rakenteet 2017-2018 Yhteenveto Yleistä kurssista Kurssin laajuus 5 op Luentoja 30h Harjoituksia 21h Itsenäistä työskentelyä n. 80h 811120P Diskreetit rakenteet, Yhteenveto 2 Kurssin

Lisätiedot

Kombinatoriikka. Iiro Honkala 2015

Kombinatoriikka. Iiro Honkala 2015 Kombiatoriikka Iiro Hokala 2015 Sisällysluettelo 1. Haoi torit 1 2. Lokeroperiaate 3 3. Tuloperiaate 3 4. Permutaatioista ja kombiaatioista 4 5. Toistokombiaatioista 5 6. Biomikertoimista 5 7. Multiomikertoimista

Lisätiedot

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

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 }? Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa. Vastaus 2. Vertaillaan

Lisätiedot

Ehdollinen todennäköisyys

Ehdollinen todennäköisyys Ehdollie todeäköisyys Kerrataa muutama todeäköisyyslaskea laskusäätö. Tapahtuma E komplemettitapahtuma E o "E ei tapahdu". Koska todeäköisyyksie summa o 1, P ( E = 1 P (E. Joskus o helpompi laskea komplemettitapahtuma

Lisätiedot

MATA172 Sami Yrjänheikki Harjoitus Totta vai Tarua? Lyhyt perustelu tai vastaesimerkki!

MATA172 Sami Yrjänheikki Harjoitus Totta vai Tarua? Lyhyt perustelu tai vastaesimerkki! MATA17 Sami Yrjäheikki Harjoitus 7 1.1.018 Tehtävä 1 Totta vai Tarua? Lyhyt perustelu tai vastaesimerkki! (a) Jokaie jatkuva fuktio f : R R o tasaisesti jatkuva. (b) Jokaie jatkuva fuktio f : [0, 1[ R

Lisätiedot

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

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

Lisätiedot

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

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011 TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 16. maaliskuuta 2011 Sisällys Sisällys Väitelauseet lause (tai virke), joka sanoo jonkin asian pitävän paikkaansa

Lisätiedot

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

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu. Johdatus yliopistomatematiikkaan Helsingin yliopisto, matematiikan ja tilastotieteen laitos Kurssikoe 23.10.2017 Ohjeita: Vastaa kaikkiin tehtäviin. Ratkaisut voi kirjoittaa samalle konseptiarkille, jos

Lisätiedot

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

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä Sekalaiset tehtävät, 11. syyskuuta 005, sivu 1 / 13 Tehtäviä Tehtävä 1. Johda toiseen asteen yhtälön ax + bx + c = 0, a 0 ratkaisukaava. Tehtävä. Määrittele joukon A R pienin yläraja sup A ja suurin alaraja

Lisätiedot

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton. 3 Todistustekniikkaa 3.1 Väitteen kumoaminen vastaesimerkillä Monissa tilanteissa kohdataan väitteitä, jotka koskevat esimerkiksi kaikkia kokonaislukuja, kaikkia reaalilukuja tai kaikkia joukkoja. Esimerkkejä

Lisätiedot

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

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen! Matematiikan johdantokurssi Kertausharjoitustehtävien ratkaisuja/vastauksia/vihjeitä. Osoita todeksi logiikan lauseille seuraava: P Q (P Q). Ratkaisuohje. Väite tarkoittaa, että johdetut lauseet P Q ja

Lisätiedot

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

Injektio. Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim. Injektio Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim. Funktio f on siis injektio mikäli ehdosta f (x 1 ) = f (x 2 ) seuraa, että x 1 = x 2.

Lisätiedot

Miten osoitetaan joukot samoiksi?

Miten osoitetaan joukot samoiksi? Miten osoitetaan joukot samoiksi? Määritelmä 1 Joukot A ja B ovat samat, jos A B ja B A. Tällöin merkitään A = B. Kun todistetaan, että A = B, on päättelyssä kaksi vaihetta: (i) osoitetaan, että A B, ts.

Lisätiedot

Mat Lineaarinen ohjelmointi

Mat Lineaarinen ohjelmointi Mat-2.340 Lieaarie ohjelmoiti 20.9.2007 Lueto 2 Lieaarialgebraa ja geometriaa (kirja.5, 2.) S ysteemiaalyysi Tekillie korkeakoulu Lieaarie ohjelmoiti - Syksy 2007 / Lieaarialgebraa Notaatiota Kääteismatriisi

Lisätiedot

(2n 1) = n 2

(2n 1) = n 2 3.5 Induktiotodistus 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,... Tässä väite P (n) riippuu n:n arvosta. Todistuksessa

Lisätiedot

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

Vieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne. Aloitus Vieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne. Mitkä seuraavista väitteistä ovat tosia? A. 6 3 N B. 5 Z

Lisätiedot

HY, MTL / Matemaattisten tieteiden kandiohjelma Todennäköisyyslaskenta IIb, syksy 2018 Harjoitus 3 Ratkaisuehdotuksia.

HY, MTL / Matemaattisten tieteiden kandiohjelma Todennäköisyyslaskenta IIb, syksy 2018 Harjoitus 3 Ratkaisuehdotuksia. HY, MTL / Matemaattiste tieteide kadiohjelma Todeäköisyyslasketa IIb, syksy 08 Harjoitus 3 Ratkaisuehdotuksia Tehtäväsarja I Olkoot X ja X riippumattomia satuaismuuttujia, joille ja olkoo X EX, EX, var

Lisätiedot

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

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle. Kombinatoriikka, kesä 2010 Harjoitus 1 Ratkaisuehdotuksia (RT (5 sivua Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle. 1. Osoita, että vuoden

Lisätiedot

1. Funktiot, lukujonot, raja-arvot, jatkuvuus

1. Funktiot, lukujonot, raja-arvot, jatkuvuus 1 MAT-13430 Laaja matematiikka 3 TTY 2010 Risto Silveoie 1. Fuktiot, lukujoot, raja-arvot, jatkuvuus Kertaamme ja täydeämme Lama 1: fuktioita käsittelevää osuutta. Puuttuvista todistuksista suuri osa käydää

Lisätiedot

811120P Diskreetit rakenteet

811120P Diskreetit rakenteet 811120P Diskreetit rakenteet 2018-2019 Kertausta toiseen välikokeeseen Yhteenveto Kurssin sisältö 1. Algoritmin käsite 2. Lukujärjestelmät ja niiden muunnokset; lukujen esittäminen tietokoneessa 3. Logiikka

Lisätiedot

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot 3. Funktion raja-arvo ja jatkuvuus 3.1. Reaali- ja kompleksifunktiot 43. Olkoon f monotoninen ja rajoitettu välillä ]a,b[. Todista, että raja-arvot lim + f (x) ja lim x b f (x) ovat olemassa. Todista myös,

Lisätiedot

2 avulla. Derivaatta on nolla, kun. g( 3) = ( 3) 2 ( 3) 5 ( 3) + 6 ( 3) = 72 > 0. x =

2 avulla. Derivaatta on nolla, kun. g( 3) = ( 3) 2 ( 3) 5 ( 3) + 6 ( 3) = 72 > 0. x = TAMMI PYRAMIDI NUMEERISIA JA ALGEBRALLISIA MENETELMIÄ PARITTOMAT RATKAISUT 7 Tiedosto vai hekilökohtaisee käyttöö. Kaikelaie sisällö kopioiti kielletty. a) g( ) = 5 + 6 Koska g o eljäe astee polyomi, ii

Lisätiedot

Tekijä Pitkä Matematiikka 11 ratkaisut luku 3

Tekijä Pitkä Matematiikka 11 ratkaisut luku 3 83 Tekijä Pitkä matematiikka 7..07 a) Osoitetaa sijoittamalla, että yhtälö toteutuu, ku x =. + 6= 0 6 6= 0 0= 0 tosi Luku x = toteuttaa yhtälö x + x 6= 0. b) Osoitetaa ratkaisemalla yhtälö. x + x 6= 0

Lisätiedot

Tilastollinen päättely II, kevät 2017 Harjoitus 3B

Tilastollinen päättely II, kevät 2017 Harjoitus 3B Tilastollie päättely II, kevät 7 Harjoitus 3B Heikki Korpela 3. maaliskuuta 7 Tehtävä. Jatkoa harjoitukse B tehtävii -3. Oletetaa, että x i c kaikilla i, ku c > o vakio. Näytä, että ˆβ, T ja T ovat tarketuvia.

Lisätiedot

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

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä. Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä. Kaksi järjestettyä paria ovat samat, jos niillä on samat ensimmäiset alkiot ja samat toiset alkiot:

Lisätiedot

811312A Tietorakenteet ja algoritmit II Algoritmien analyysi

811312A Tietorakenteet ja algoritmit II Algoritmien analyysi 811312A Tietoraketeet ja algoritmit 2016-2017 II Algoritmie aalyysi Sisältö 1. Algoritmie oikeellisuus 2. Algoritmie suorituskyvy aalyysi 3. Master Theorem 811312A TRA, Algoritmie aalyysi 2 II.1. Algoritmie

Lisätiedot

Stokastiikan perusteet Harjoitukset 1 (Todennäköisyysavaruus, -mitta ja -funktio) 2.11.2015

Stokastiikan perusteet Harjoitukset 1 (Todennäköisyysavaruus, -mitta ja -funktio) 2.11.2015 Stokastiika perusteet Harjoitukset (Todeäköisyysavaruus, -mitta ja -fuktio) 2..205. Määritä potessijoukko 2,ku (a) {0, } (b) {(0, ]} ja ku (c) (0, ]. Ratkaisu: (a) 2 {;, {0}, {}, {0, }} (b) 2 {;, {(0,

Lisätiedot

4.3. Matemaattinen induktio

4.3. Matemaattinen induktio 4.3. Matemaattinen induktio Matemaattinen induktio: Deduktion laji Soveltuu, kun ominaisuus on osoitettava olevan voimassa luonnollisilla luvuilla. Suppea muoto P(n) : Ominaisuus, joka joka riippuu luvusta

Lisätiedot

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

Seurauksia. Seuraus. Seuraus. Jos asteen n polynomilla P on n erisuurta nollakohtaa x 1, x 2,..., x n, niin P on muotoa Seurauksia Seuraus Jos asteen n polynomilla P on n erisuurta nollakohtaa x 1, x 2,..., x n, niin P on muotoa P(x) = a n (x x 1 )(x x 2 )... (x x n ). Seuraus Astetta n olevalla polynomilla voi olla enintään

Lisätiedot

Luento 6 Luotettavuus Koherentit järjestelmät

Luento 6 Luotettavuus Koherentit järjestelmät Lueto 6 Luotettavuus Koheretit järjestelmät Ja-Erik Holmberg Systeemiaalyysi laboratorio PL 00, 00076 Aalto ja-erik.holmberg@riskpilot.fi ja-erik.holmberg@aalto.fi Määritelmä Tarkasteltava yksikö luotettavuus

Lisätiedot

Tenttiin valmentavia harjoituksia

Tenttiin valmentavia harjoituksia Tenttiin valmentavia harjoituksia Alla olevissa harjoituksissa suluissa oleva sivunumero viittaa Juha Partasen kurssimonisteen siihen sivuun, jolta löytyy apua tehtävän ratkaisuun. Funktiot Harjoitus.

Lisätiedot