1. Logiikan ja joukko-opin alkeet

Samankaltaiset tiedostot
Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

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

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

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

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

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

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

MS-A0402 Diskreetin matematiikan perusteet

811120P Diskreetit rakenteet

5 Funktion jatkuvuus ANALYYSI A, HARJOITUSTEHTÄVIÄ, KEVÄT Määritelmä ja perustuloksia

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

Matematiikan ja tilastotieteen laitos Matematiikka tutuksi Harjoitus 2, malliratkaisut

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

Johdatus matematiikkaan

Täydellisyysaksiooman kertaus

Sanomme, että kuvaus f : X Y on injektio, jos. x 1 x 2 f (x 1 ) f (x 2 ) eli f (x 1 ) = f (x 2 ) x 1 = x 2.

Logiikka 1/5 Sisältö ESITIEDOT:

Matematiikan tukikurssi, kurssikerta 1

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

MS-A0402 Diskreetin matematiikan perusteet

Johdatus matemaattiseen päättelyyn (5 op)

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

Joukot. Georg Cantor ( )

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

1 Logiikan ja joukko-opin alkeet

Funktioista. Esimerkki 1

5 Funktion jatkuvuus ANALYYSI A, HARJOITUSTEHTÄVIÄ, KEVÄT Määritelmä ja perustuloksia. 1. Tarkastellaan väitettä

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

Tenttiin valmentavia harjoituksia

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

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

Topologia I Harjoitus 6, kevät 2010 Ratkaisuehdotus

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

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

Insinöörimatematiikka IA

811120P Diskreetit rakenteet

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

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

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

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I

Matematiikan peruskurssi 2

MAT Laaja Matematiikka 1U. Hyviä tenttikysymyksiä T3 Matemaattinen induktio

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

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

Insinöörimatematiikka A

811120P Diskreetit rakenteet

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

Matematiikan tukikurssi

Loogiset konnektiivit

x > y : y < x x y : x < y tai x = y x y : x > y tai x = y.

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

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 3: Jatkuvuus

Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi

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

(2n 1) = n 2

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

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

Johdatus matemaattiseen päättelyyn

0. Kertausta. Luvut, lukujoukot (tavalliset) Osajoukot: Yhtälöt ja niiden ratkaisu: N, luonnolliset luvut (1,2,3,... ) Z, kokonaisluvut

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ä ym., osa I

Johdatus matemaattiseen päättelyyn

1 Peruslaskuvalmiudet

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

Johdatus matemaattiseen päättelyyn

Kompleksiluvut Kompleksitaso

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

2 Funktion derivaatta

Fysiikan matematiikka P

Reaalilukuvälit, leikkaus ja unioni (1/2)

Johdatus matematiikkaan

Reaaliluvuista. Yleistä funktio-oppia. Trigonometriset funktiot. Eksponentti- ja logaritmifunktiot. LaMa 1U syksyllä 2011

Reaalifunktiot 1/5 Sisältö ESITIEDOT: funktiokäsite

MATP153 Approbatur 1B Ohjaus 2 Keskiviikko torstai

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

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 6 (8 sivua) OT. 1. a) Määritä seuraavat summat:

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

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

Funktiot. funktioita f : A R. Yleensä funktion määrittelyjoukko M f = A on jokin väli, muttei aina.

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

Todennäköisyyslaskenta IIa, syys lokakuu 2019 / Hytönen 3. laskuharjoitus, ratkaisuehdotukset

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

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

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

811120P Diskreetit rakenteet

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

Johdatus yliopistomatematiikkaan. JYM, Syksy /197

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

Johdatus matemaattiseen päättelyyn

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

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

Olkoon funktion f määrittelyjoukkona reaalilukuväli (erityistapauksena R). Jos kaikilla määrittelyjoukon luvuilla x 1 ja x 2 on voimassa ehto:

1 sup- ja inf-esimerkkejä

Johdatus matematiikkaan

MAT Algebra I (s) periodilla IV 2012 Esko Turunen

Transkriptio:

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 totuusarvotauluja käyttäen loogiset de Morganin lait: a) (p q) ( p q), b) (p q) ( p q). 3. Todista totuusarvotaulua käyttäen konjunktiivinen distributiivisuus: [p (q r)] [(p q) (p r)]. 4. Lausu propositiot p q ja p q käyttäen yksinomaan negaatiota ja implikaatiota (mutta ei konjunktiota tai disjunktiota). (p q) (p q); 5. (p q) ( p q). Looginen NAND-operaatio p q määritellään totuusarvotaululla p q p q 1 1 0 1 0 1 0 1 1 0 0 1 Osoita: a) p p p, b) (p p) (q q) p q, c) (p q) (p q) p q. 6. Mitkä seuraavista reaalilukua x koskevista väittämistä ovat tosia, mitkä eivät? a) 2x > 3 x > 2, b) 3x < 4 x < 1 2x < 3, c) (x > 1 x > 0 x > 1). a) Epätosi; b) tosi; c) epätosi. 7. Olkoot x ja y reaalilukuja, x > 0, y > 0. Ovatko seuraavat väittämät tosia? a) x y(y < x), b) x y(y x).

a) Kyllä; b) ei. 8. Olkoot x ja ε reaalilukuja. Ovatko seuraavat propositiot tosia: a) (ε > 0) (x 1) ( x 1 < ε), b) (x 1) (ε > 0) ( x 1 < ε)? a) Tosi; b) epätosi. 9. Funktion f : R R (R = reaaliluvut) jatkuvuus määritellään ehdolla (ε > 0) (x R) (δ > 0) (y R)( y x < δ = f (y) f (x) < ε). Ns. tasainen jatkuvuus taas määritellään ehdolla (ε > 0) (δ > 0) (x R) (y R)( y x < δ = f (y) f (x) < ε). Selosta, mikä ero näillä käsitteillä on. 1.2. Matemaattisesta todistamisesta 10. Osoita totuusarvotauluja käyttäen propositiot [p (p q)] q ja [p ( q p)] q tautologioiksi. Millaisia matemaattisia todistustapoja nämä säännöt vastaavat? 11. Olkoon n luonnollinen luku. Todista: n on parillinen, jos ja vain jos n 2 on parillinen. Selosta todistuksen looginen rakenne. 12. Tarkoittakoon a jotakuta teekkaria ja olkoon p propositio a /0 (/0 on tyhjä joukko). Olkoon q propositio a on vihreäsilmäinen leijona. Onko propositio p q tosi vai epätosi? Jos propositio on tosi, niin seuraako tästä, että kaikki teekkarit ovat leijonia? 1.3. Joukko-oppia 13. Olkoon A = {n N 280/n N}, B = {2n + 1 n N}, C = {x R 0 < x < 10} = ]0,10[.

Määritä a) A B, b) A C, c) B C, d) A C, e) (A B) C, f) (B C) A. a) {5,7,35}; b) {1,2,4,5,7,8}; c) {3,5,7,9}; d) ]0,10] {14,20,28,35,40,56,70,140,280}; e) {1,2,3,4,5,7,8,9}; f) {1,2,4,5,7,8,35}. 14. Todista: a) A B A B = B A B = A, b) A B A C A B C, c) A C B C A B C, d) A B A C B C C. 15. Todista joukko-opilliset de Morganin lait. Piirrä kuviot. 16. Olkoot A ja B joukkoja. Todista: (A B) B = (A B) B B = /0. 17. Olkoot A, B ja C saman perusjoukon osajoukkoja. Todista identiteetit a) (A B) C = A (B C), b) A (B C) = (A B) (A C), c) (A B) (A C) = A (B C), d) (A B) (A C) = A (B C) 1 tutkimalla mielivaltaisen alkion x kuulumista oikean ja vasemman puolen joukkoihin, 2 soveltamalla joukkoalgebran laskusääntöjä. Piirrä kuviot joukoista. 18. Olkoon Z kaikkien kokonaislukujen joukko. Todista: a) {3n + 2 n Z} = {3n 7 n Z}, b) {7n + 3 n Z} = {7n 32 n Z}. 19. Sievennä joukko-opilliset lausekkeet a) [ 1 + 1 k, 1 1 k ], b) ] 1 k, 1 k [.

20. Olkoon xy-tason joukko. Millainen joukko on {(x,y) x 2 + y 2 < 1}. 21. A ϕ = {(x,y) (x cosϕ) 2 + (y sinϕ) 2 < 4} ϕ [0,2π] Olkoot A, B ja C saman perusjoukon joukkoja. Todista, että (A B) C = (A C) (B C). 22. Olkoot reaaliluku x relaatiossa R reaalilukuun y, jos x < 1/y. Millainen karteesisen tulon R R osajoukko relaatio R on? 23. Olkoot luonnolliset luvut n ja m relaatiossa P toisiinsa, jos n 2 + m 2 on luonnollisen luvun neliö. Piirrä kuva relaatiosta P karteesisen tulon N N osajoukkona; tarkastele arvoja n, m 20. A ϕ? 1.4. Kuvaus 24. Etsi mahdollisimman laaja lähtöjoukko reaalimuuttujan x reaaliarvoiselle funktiolle f (x) = x(x 2 1)(x 2 4). {x 2 x 1 tai 0 x 1 tai 2 x}. 25. Määritä mahdollisimman laaja lähtöjoukko ja vastaava arvojoukko reaalimuuttujan x reaaliarvoiselle funktiolle x 1 f (x) =. x Lähtöjoukko {x x < 0 tai x 1}, arvojoukko {x 0 x < 1 tai x > 1}. 26. Määritellään funktio f : R R asettamalla f (x) = (x + 1)(x 3). Laske välin [1,4] kuva ja välin [1,4] alkukuva.

[0,5]; [1 2 2,1 5] [1 3,1 + 3] [1 + 5,1 + 2 2]. 27. Funktio f : N N määritellään ehdoilla { f (n) = n 10, kun n > 100, Millainen funktio on kyseessä? 28. Miten reaalimuuttujan x funktion f (n) = f ( f (n + 11)), kun 1 n 100. f (x) = 3x + 5 x 7 (mahdollisimman laajat) lähtö- ja maalijoukko on valittava, jotta funktio olisi bijektio? Määritä käänteisfunktion lauseke. Piirrä sekä funktion että sen käänteisfunktion kuvaaja samaan koordinaatistoon. 29. Reaalimuuttujan reaaliarvoinen funktio f määritellään lausekkeella f (x) = (1 x 3 )/(x 2 1). Määritä funktiolle mahdollisimman laaja lähtöjoukko ja tätä vastaava arvojoukko. Piirrä funktion kuvaaja. Rajoita lähtöjoukkoa siten, että funktiolle saadaan käänteisfunktio. Mikä on vastaava arvojoukko? Määritä käänteisfunktion lauseke ja piirrä kuvaaja. 30. Muodosta reaalimuuttujan reaaliarvoisista funktioista f (x) = sinx, g(x) = x 2 + 1 ja h(x) = 1 x 2 yhdistetyt kuvaukset h g f, g h f ja h f g. 31. Olkoot f (x) = x 2, g(x) = 2x + 3 ja h(x) = x 2 + x. Muodosta yhdistetyt funktiot f g h ja h g f. 32. Olkoot f : R R ja g : R R reaalimuuttujan reaaliarvoisia funktioita, f (x) = x 2 + 1, g(x) = x 2 +1. Muodosta yhdistetyt funktiot f f, f g, g f, g g. 1.5. Luonnolliset luvut 33. Olkoon A = {1, 2, 3}. Tutki, mitkä Peanon aksioomat A toteuttaa, kun seuraajafunktio s määritellään seuraavasti: a) s(1) = 2, s(2) = 3; b) s(1) = 2, s(2) = 3, s(3) = 1; c) s(1) = 2, s(2) = 3, s(3) = 2.

a) P1, P3, P4, P5; b) P1, P2, P4, P5; c) P1, P2, P3, P5. 34. Mitkä Peanon aksioomat tyhjä joukko toteuttaa? 35. Todista induktiolla a) b) n n k 3 = 1 4 n2 (n + 1) 2, n N, k 2 2 k = (n 2 2n + 3)2 n+1 6, n N, c) 1 3 + 3 5 + + (2n 1)(2n + 1) = n 3 (4n2 + 6n 1), n N, d) 1 1 2 + 1 2 3 + + 1 (n 1)n = n 1 n, n = 2,3,..., e) (1 + 1 1 )1 (1 + 1 2 )2...(1 + 1 n )n = (n + 1)n, n N. n! 36. Luvut x n, n N, määritellään siten, että x 1 = 1 ja x n+1 = x n +2 x n +1, n = 1,2,3,... Osoita induktiota käyttäen, että kaikki luvut x n ovat kokonaislukuja. 37. Olkoon x ±1. Todista induktiolla 38. Laske seuraavat summat ja tulot: n k=0 2 k 1 + x = 1 2k x 1 + 2n+1, n = 0,1,2,... 1 x2n+1 a) 5 k=0 k 2 k, b) a) 258; b) 60; c) 3 20 = 3486784401. 39. 3 4 j=0 Tutki, montako a i jk -termiä on kolminkertaisessa summassa 4 i j a i jk i=1 j=1 jk, c) 3 k. 0<k<10 k parillinen

ja laske summa, kun a i jk = i jk. 20 termiä, summa = 350. 1.6. Lukumäärän laskemisesta 40. Muodosta joukkojen a) {a,b}, b) {a,b,c} kaikki osajoukot. Montako näitä on? 41. Montako erilaista viiden kortin sarjaa voidaan korttipakasta vetää, kun a) kiinnitetään, b) ei kiinnitetä huomiota korttien järjestykseen? 42. Neljä punaista, kolme vihreää ja kaksi sinistä palloa asetetaan jonoon. Kuinka monta erinäköistä jonoa saadaan, kun samanväriset pallot ovat keskenään identtisiä? 43. Kuinka monta erilaista henkilötunnusta on (Suomessa) periaatteessa olemassa? Tunnuksen muoto on ppkkvv-nnnr, missä on aluksi syntymäpäivä (ppkkvv), sitten juokseva numero (nnn) ja lopuksi tarkistusmerkki (r). Tarkistusmerkki määräytyy jakolaskun ppkkvvnnn/31 jakojäännöksestä. Rajoitutaan tarkastelemaan sadan vuoden jaksoa ja oletetaan, että karkausvuosia tähän jaksoon mahtuu 25. 44. Olkoon joukon A alkioiden lukumäärä #A = m <. Kuinka monta erilaista p (p m) alkion osajoukkoa joukon A alkioista voidaan muodostaa? Entä osajonoa? (Joukon alkiot ovat aina keskenään eri suuria, ts. jokainen alkio mainitaan vain kerran; jonossa sama alkio voi esiintyä useita kertoja.) 45. Olkoon joukon A alkioiden lukumäärä #A = m < ja joukon B alkioiden lukumäärä #B = n <. Osoita, että erilaisia funktioita A B on n m kappaletta. 46. Olkoot A ja B äärellisiä joukkoja, #A = m, #B = n. Olkoon S(m, n) surjektioiden A B lukumäärä. Osoita, että tälle pätee S(m,1) = 1, S(m,n) = n m n 1 ( ) n S(m,k), n = 2,3,... k

47. Laske edellisessä tehtävässä esitettyjen kaavojen avulla surjektioiden määrä S(m, n), kun 1 m 4, 1 n 4. Mieti, voidaanko tulos saada jollakin muulla tavalla, kun a) m = n, b) m < n. 48. Teekkari saattoi 1970-luvun puolivälissä suorittaa jopa kuusi matematiikan kurssia kutsuttakoon näitä seuraavassa nimillä A, B, C, D, E, F joissa oli yhteisiä osia. Kullakin kurssilla oli suorituspistearvonsa (vastaa nykyisiä opintoviikkoja) ja kurssien yhteislaajuuden selvittämiseksi määriteltiin myös kurssien kaksittaisille, kolmittaisille jne. leikkauksille suorituspistearvot. Nämä olivat seuraavat: A: 3.5, B: 2, C: 3, D: 3.5, E: 7.5, F: 5.5, A C: 1.5, A D: 1, B D: 0.5, C D: 1, A C D: 1. Muiden kombinaatioiden leikkaukset olivat tyhjiä. Montako suorituspistettä sai teekkari, joka oli suorittanut kaikki kuusi kurssia? 49. Laitumella on lauma nautakarjaa. Laumassa on 83 täysin ruskeata eläintä, 77 sarvipäätä, 36 sukupuoleltaan sonnia, 22 ruskeata sarvipäätä, 15 ruskeata sonnia, 25 sarvipäistä sonnia ja 7 ruskeata sarvipäistä sonnia. Muunlaisia eläimiä ei laumassa ole. Kuinka monta eläintä laumassa on kaikkiaan? 141. 50. Osoita, että rationaalilukuja on yhtä paljon kuin luonnollisia lukuja, ts. että rationaalilukujen ja luonnollisten lukujen joukot ovat yhtä mahtavia. 51. Osoita, että avoimella välillä ]0, 1[ on reaalilukuja yhtä paljon kuin koko reaalilukujoukossa, ts. että väli ]0, 1[ ja reaalilukujoukko R ovat yhtä mahtavia.