Palmikkoryhmät kryptografiassa
|
|
- Hannele Manninen
- 8 vuotta sitten
- Katselukertoja:
Transkriptio
1 Palmikkoryhmät kryptografiassa Jarkko Peltomäki 27. marraskuuta 2010 Palmikkoryhmät ovat epäkommutatiivisia äärettömiä ryhmiä. Niillä on monimutkainen rakenne, mutta toisaalta niillä on geometrinen tulkinta palmikkoina. Palmikkoryhmiä voidaan käyttää apuna kryptografisten protokollien ja salausten luomisessa. Niillä on sopivan hankala rakenne kryptografiassa käytettäväksi, ja lisäksi niitä voidaan tehokkaasti käsitellä tietokoneella. Tässä monisteessa esitetään minimaalinen johdanto palmikkoryhmiin, jotta lopuksi voidaan esittää avaimenvaihtoprotokolla sekä julkisen avaimen kryptosysteemi. Palmikkoryhmät Tässä monisteessa tarkastellaan palmikkoryhmiä pääasiassa niiden geometrisen tulkinnan kautta. Hieman algebrallisemmin aihetta käsitellään lähteessä [2]. Kuvitellaan n kappaletta vierekkäisiä ja samansuuntaisia lankoja. Numeroidaan langat vasemmalta oikealle 1, 2,..., n. Niin sanottu n-palmikko saadaan aikaan, kun vaihdetaan lankojen loppupäiden paikkoja keskenään pitäen alkupäät paikallaan, langat punoutuvat palmikoksi. Lisäksi tehdään ero sen välillä, kulkeeko tietty lanka toisen langan alta vai päältä. Kohtaa, jossa toinen lanka ylittää tai alittaa toisen, kutsutaan risteykseksi. Helpoiten palmikot ymmärtää luennoilla esitettävistä kuvista. Sama palmikko voidaan piirtää monella näennäisesti erilaisella tavalla. Ei ole nimittäin merkitystä missä kohtaa lankaa risteää jonkin toisen langan kanssa. Kahta palmikkoa pidetään samoina, jos toisesta saa toisen liikuttamalla lankoja tai poistamalla peräkkäisiä ylityksiä tai alituksia niin, ettei samalla lisää tai poista risteyksiä toisaalla. Kaikkien mahdollisten n-palmikkojen joukko muodostaa palmikkoryhmän B n. Lukua n kutsutaan palmikkoindeksiksi. Ryhmäoperaationa on palmikkojen yhdistäminen sillä tavoin, että ensimmäisen palmikon lankojen loppupäät yhdistetään jälkimmäisen palmikon 1
2 2 lankojen vastaaviin alkupäihin. Identiteettialkiona ryhmässä on n-palmikko, jonka langat eivät risteä. Palmikon käänteisalkio saadaan kääntämällä palmikko ylösalaisin. On välittömästi selvää, että ryhmä B n on ääretön, kun n > 1 (tehdään kahdella langalla toistuvasti ylityksiä ja alituksia vuorotellen). Kun n = 1, niin B n on selvästi isomorfinen triviaalin ryhmän kanssa. Jos taas n = 2, niin B n = (Z, +): lukua k > 0 vastaa palmikko, jossa on k kappaletta risteyksiä, joista joka toinen on ylitys ja joka toinen alitus. Luku k saadaan vaihtamalla edellisestä ylitykset alituksiksi ja päinvastoin. Lisäksi ei ole vaikea keksiä esimerkkiä palmikoista, jotka eivät kommutoi B n on epäkommutatiivinen, kun n > 2. Mainittakoon vielä, että formaalimmin palmikkoryhmä B n määritellään seuraavan ryhmäesityksen avulla: B n = σ 1,..., σ n 1 R, missä R koostuu relaatioista σ i σ j σ i = σ j σ i σ j, jos i j = 1, ja σ i σ j = σ j σ i, jos i j 2. Permutaatiopalmikot On ilmeistä, että jokaista n-palmikkoa vastaa n:n alkion permutaatio. Itse asiassa ryhmällä B n on aliryhmä Ŝn, joka voidaan samaistaa symmetrisen ryhmän S n kanssa. Olkoot x B n ja i palmikon x langan yläpään paikan järjestysnumero. Määritellään, että π x (i) on langan alapään paikan järjestysnumero. Saadaan siis kuvaus π x : X X, missä X = {1, 2,..., n}. Huomaa, että kuvaus π x on joukon X permutaatio. Näin saadaan aikaan epimorfismi ϕ : B n S x, x π x (helpot perustelut ohitetaan). Vastaavasti jokaista alkiota π S X kohti voidaan konstruoida tietyntyyppinen n- palmikko. Toimitaan seuraavasti: piirretään n kappaletta pisteitä vaakatasoon numeroiden ne vasemmalta oikealla 1, 2,..., n, ja piirretään toiset n kappaletta pisteitä vaakatasoon näiden pisteiden alapuolelle. Alkaen pisteestä n, yhdistetään ylempi piste viivalla alempaan pisteeseen π(n). Tämän jälkeen toistetaan sama prosessi pisteille n 1, n 2,..., 1 vetäen uudet viivat aina edeltävien viivojen alta. Tämä konstruktio antaa joukon B n osajoukon Ŝn, jonka alkiota kutsutaan permutaatiopalmikoiksi. Geometrisesti ajateltuna palmikko kuuluu joukkoon Ŝn, jos ja vain jos jokainen lankapari risteää vain kerran, ja aloituspisteeltään vasemmanpuoleisin lanka alittaa toisen langan. Osajoukossa Ŝn on eräs tärkeä palmikko, ns. fundamentaalinen n-palmikko. Geometrisesti tämä palmikko saadaan aikaan, kun identiteettipalmikon lankojen alaosat kiepautetaan ympäri siten, että alunperin oikealla olleet langat ylittävät vasemmalla olleet. Fun-
3 3 damentaalinen n-palmikko on permutaatiopalmikko, jossa jokainen lanka risteää muiden lankojen kanssa tarkalleen kerran. Fundamentaalista n-palmikkoa merkitään n. Palmikot käytännössä Jotta palmikkoryhmiä voitaisiin soveltaa kryptografiassa, niin niitä on voitava tehokkaasti käsitellä tietokoneella. Tämä saattaa aluksi näyttää mahdottomalta, koska saman palmikon voi esittää usealla eri tavalla, jotka voi olla hankala nähdä samoiksi. Onneksi palmikkoryhmille on löydetty kaksikin yksikäsitteistä esitystapaa: Artinin esitys ja nauhaesitys. Katsotaan lyhyesti Artinin esitystä. Lause 0.1 (Artinin esitys). Jokainen W B n voidaan kirjoittaa yksikäsitteisesti muodossa W = u na 1 A 2... A l, missä u Z ja A i Ŝn \ {1, n }. Käytettäessä Artinin esitystä palmikon esittämiseen, voidaan palmikko esittää tietokoneella tallettamalla luku u ja vastaavat kanoniset tekijät A i, joita on n! kappaletta. Kanoniset tekijät ovat permutaatioita, joten ne voidaan tallettaa vaikkapa taulukkona. Lähteen [1] mukaan alkion W = u na 1 A 2... A l käänteisalkio voidaan löytää ajassa O(l n). Kahden palmikon yhdistämisen kompleksisuus on O(l n), ja saadun palmikon muuntaminen Artinin esitykseen vie ajan O(l 2 n log n). Kahden palmikon vertailu Artinin esityksessä onnistuu ajassa O(l n). Vaikeat ongelmat palmikkoryhmissä Palautetaan mieleen konjugaatin käsite. Olkoot x, y G, missä G on ryhmä. Sanotaan, että alkio y on alkion x konjugaatti, jos on olemassa sellainen a G, että y = axa 1. Tällöin sanotaan, että alkiot x ja y ovat konjugaatit. Huomaa, että konjugaattirelaatio on ekvivalenssirelaatio ryhmässä G. Palmikkoryhmä B m, m n, voidaan samaistaa ryhmän B n aliryhmän kanssa. (Laitetaan palmikon W B m langat vastaamaan ryhmässä B n palmikon m:ää ensimmäistä lankaa ja jätetään loput langat kulkemaan suoraan. Toisin sanoen tämän aliryhmän generoivat alkiot σ 1,..., σ m 1, σ i B n.) Luetellaan sitten muutamia ongelmia palmikkoryhmissä.
4 4 1. Konjugaattiongelma. Annettuna pari (x, y) B n B n selvitä ovatko alkiot x ja y konjugaatit. 2. Konjugaatinetsintäongelma. Annettuna pari (x, y) B n B n etsi sellainen alkio a B n, että y = axa Yleistetty konjugaatinetsintäongelma. Annettuna sellainen pari (x, y) B n B n, että y = axa 1 jollakin a B m, m n, etsi alkio a. Tässä siis konjugaattoria etsitään aliryhmästä. 4. Diffien Hellmanin konjugaattiongelma (DHCP). Annettuna x, axa 1, bxb 1 B n, missä alkiot a ja b kommutoivat, etsi abxa 1 b p:s juuri -ongelma. Annettuna sellainen pari (x, p) B n Z, että x = y p jollakin y B n, etsi sellainen z B n, että x = z p. 6. Markovin ongelma. Annettuna y B n, joka on konjugaatti alkion wσ ±1 n l, w B n l, kanssa, etsi sellainen pari (z, x) B n B n l, että zyz 1 = xσ ±1 n l. Näistä ongelmista konjugaattiongelma ja DHCP voidaan ratkaista ratkaista tehokkaasti. Muut ongelmat ovat vaikeita niille ei tunneta polynomiaikaista algoritmia. Huomaa, että DHCP on korkeintaan yhtä vaikea kuin yleistetty konjugaatinetsintäongelma. Toistaiseksi tosin DHCP:n ratkaisevan algoritmi on liian hidas käytettäväksi käytännössä. [3] [4] Jaetaan sitten ryhmä B n kahteen osaan: LB l ja RB r, missä n = l + r. Aliryhmä LB l muodostuu sellaisista palmikoista, joissa käytetään vain l:ää ensimmäistä lankaa jättäen loput langat kulkemaan suoraan (ks. edellä). Aliryhmä LB r muodostetaan vastaavasti käyttäen r:ää oikeanpuoleista lankaa. Selvästi LB l = Bl ja RB r = Br. Koska aliryhmän alkiot eivät käytä samoja lankoja, niin on selvää, että aliryhmien alkiot kommutoivat keskenään. Yleistetyn konjugaatinetsintäongelman perusteella on esitetty, että seuraava funktio olisi yksisuuntainen funktio: f : LB l B l+r B l+r B l+r, (a, x) (axa 1, x). Funktio f on selvästi tehokkaasti laskettavissa. Jotta alkio a voitaisiin selvittää parista (axa 1, x), niin pitäisi kyetä ratkaisemaan yleistetty konjugaatinetsintäongelma, mutta tätä ongelmaa ei toistaiseksi ole saatu ratkaistua tehokkaasti.
5 5 Kryptografisia protokollia Esitetään sitten palmikkoryhmiin perustuva avaimenvaihtoprotokolla ja julkisen avaimen kryptosysteemi. Sekä allekirjoitussysteemi että kryptosysteemi perustuvat Diffien- Hellmanin konjugaattiongelmaan, joten ne eivät ole turvallisia. Olkoot protokollien kommunikoivat tahot Alice (A) ja Bob (B). Hyökkääjänä on tällä kertaa Marvin (M). Protokolla 0.2. (Avaimenvaihtoprotokolla). (1) A ja B valitsevat julkisesti l, r, B l+r ja x B l+r. (2) A (vastaavasti B) valitsee salaisen palmikon a LB l (b RB r ) ja laskee y a = axa 1 (y b = bxb 1 ). (3) A lähettää B:lle palmikon y a, ja B lähettää A:lle palmikon y b. (4) A laskee K = ay b a 1, ja B laskee K = by a b 1. Ensinnäkin Alice ja Bob saavat molemmat saman avaimen K: ay b a 1 = abxb 1 a 1 = baxa 1 b 1 = by a b 1, sillä aliryhmän LB l alkiot kommutoivat aliryhmän RB r alkioiden kanssa. Hyökkääjän Marvin pitäisi ratkaista joko yleistetty konjugaatinetsintäongelma eli etsiä alkio a annettuna alkiot x, y a (tai etsiä alkio b annettuna alkiot x, y b ), tai ratkaista DHCP. Jälkimmäinen onnistuu hyökkääjältä. Esitellään sitten palmikoihin perustuva julkisen avaimen kryptosysteemi. Oletetaan, että Alice haluaa lähettää Bobille salatun viestin m. Bobin julkinen avain koostuu seuraavista tiedoista: l, r, B l+r, konjugaattipari (x, y) B l+r B l+r ja tiivistefunktio H. Bobin yksityinen avain on sellainen alkio a LB l, että y = axa 1. Kryptatakseen viestin m Alice tekee seuraavasti: Alice valitsee b RB r ja laskee palmikon c = bxb 1 ja luvun d = H(byb 1 ) m. Alice lähettää parin (c, d) Bobille. Saatuaan viestin Bob purkaa sen laskemalla m = H(aca 1 ) d. Ensinnäkin Bob todella saa viestin purettua: H(aca 1 ) d = H(abxb 1 a 1 ) H(byb 1 ) m = H(abxb 1 a 1 ) H(baxa 1 b 1 ) m = H(abxb 1 a 1 ) H(abxb 1 a 1 ) m = m
6 KIRJALLISUUTTA 6 Selvittääkseen viestin Marvinin pitäisi selvittää alkio a, kun on annettuna alkiot x ja y (tai vaihtoehtoisesti selvittää alkio b, kun on annettuna alkiot c ja x) tai ratkaista DHCP. Jälkimmäiseen hän kykenee. Kuten aiemmin mainittiin, niin DHCP ei ole tarpeeksi turvallinen. Yleistettyyn konjugaatinetsimisongelmaan ei ole vielä kehitetty nopeaa algoritmia, joten tähän ongelmaan perustuen voitaisiin kehittää turvallisempi avaimenvaihtoprotokolla ja julkisen avaimen kryptosysteemi. Kirjallisuutta [1] Bolstad, A.: Braid Group Cryptography Untangled, University of Wisconsin, [2] Ko K. H., Lee S. J., Cheon J. H., Han J. H., Kang J. S., Park C.: New Public-Key Cryptosystems Using Braid Groups, Advances in Cryptology, Proceedings of Crypto 2000, Lecture Notes in Computer Science 1880, ed. Bellare M., Springer-Verlag (2000), [3] Ko K. H., Choi D. H., Cho M. S., Lee J. W.: New Signature Scheme Using Conjugacy Problem, (haettu ). [4] Cheon J. H. & Jun B.: A Polynomial Time Algorithm for the Braid Diffie-Hellmann Conjugacy Problem, (haettu ).
2 Yhtälöitä ja epäyhtälöitä
2 Yhtälöitä ja epäyhtälöitä 2.1 Ensimmäisen asteen yhtälö ja epäyhtälö Muuttujan x ensimmäisen asteen yhtälöksi sanotaan yhtälöä, joka voidaan kirjoittaa muotoon ax + b = 0, missä vakiot a ja b ovat reaalilukuja
LisätiedotJarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori
Jarkko Peltomäki Aliryhmän sentralisaattori ja normalisaattori Matematiikan aine Turun yliopisto Syyskuu 2009 Sisältö 1 Johdanto 2 2 Määritelmiä ja perusominaisuuksia 3 2.1 Aliryhmän sentralisaattori ja
LisätiedotMohrin-Mascheronin lause kolmiulotteisessa harppi-viivaingeometriassa
Mohrin-Mascheronin lause kolmiulotteisessa harppi-viivaingeometriassa Matematiikka Sakke Suomalainen Helsingin matematiikkalukio Ohjaaja: Ville Tilvis 29. marraskuuta 2010 Tiivistelmä Harppi ja viivain
LisätiedotMikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen
Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen anton.mallasto@aalto.fi. 1. 2. Muista. Ryhmän G aliryhmä H on normaali aliryhmä, jos ah = Ha kaikilla a G. Toisin
Lisätiedotv 8 v 9 v 5 C v 3 v 4
Verkot Verkko on (äärellinen) matemaattinen malli, joka koostuu pisteistä ja pisteitä toisiinsa yhdistävistä viivoista. Jokainen viiva yhdistää kaksi pistettä, jotka ovat viivan päätepisteitä. Esimerkiksi
LisätiedotYhtälöryhmä matriisimuodossa. MS-A0004/A0006 Matriisilaskenta. Tarkastellaan esimerkkinä lineaarista yhtälöparia. 2x1 x 2 = 1 x 1 + x 2 = 5.
2. MS-A4/A6 Matriisilaskenta 2. Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 5.9.25 Tarkastellaan esimerkkinä lineaarista yhtälöparia { 2x x 2 = x + x 2
Lisätiedotf(x, y) = x 2 y 2 f(0, t) = t 2 < 0 < t 2 = f(t, 0) kaikilla t 0.
Ääriarvon laatu Jatkuvasti derivoituvan funktion f lokaali ääriarvokohta (x 0, y 0 ) on aina kriittinen piste (ts. f x (x, y) = f y (x, y) = 0, kun x = x 0 ja y = y 0 ), mutta kriittinen piste ei ole aina
LisätiedotPythagoraan polku 16.4.2011
Pythagoraan polku 6.4.20. Todista väittämä: Jos tasakylkisen kolmion toista kylkeä jatketaan omalla pituudellaan huipun toiselle puolelle ja jatkeen päätepiste yhdistetään kannan toisen päätepisteen kanssa,
Lisätiedotja λ 2 = 2x 1r 0 x 2 + 2x 1r 0 x 2
Johdatus diskreettiin matematiikkaan Harjoitus 4, 7.10.2015 1. Olkoot c 0, c 1 R siten, että polynomilla r 2 c 1 r c 0 on kaksinkertainen juuri. Määritä rekursioyhtälön x n+2 = c 1 x n+1 + c 0 x n, n N,
LisätiedotMS-A0402 Diskreetin matematiikan perusteet
MS-A0402 Diskreetin matematiikan perusteet Osa 4: Modulaariaritmetiikka Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Modulaariaritmetiikka Jakoyhtälö Määritelmä 1 Luku
LisätiedotSymmetrisistä ryhmistä symmetriaryhmiin
Symmetrisistä ryhmistä symmetriaryhmiin 16. marraskuuta 2006 1 Symmetrisistä ryhmistä... Bijektiivistä kuvausta {1,..., n} {1,..., n} kutsutaan n-permutaatioksi. Merkitään n-permutaatioden joukkoa S n.
LisätiedotNeljän alkion kunta, solitaire-peli ja
Neljän alkion kunta, solitaire-peli ja taikaneliöt Kalle Ranto ja Petri Rosendahl Matematiikan laitos, Turun yliopisto Nykyisissä tietoliikennesovelluksissa käytetään paljon tekniikoita, jotka perustuvat
Lisätiedot3. Kongruenssit. 3.1 Jakojäännös ja kongruenssi
3. Kongruenssit 3.1 Jakojäännös ja kongruenssi Tässä kappaleessa esitellään kokonaislukujen modulaarinen aritmetiikka (ns. kellotauluaritmetiikka), jossa luvut tyypillisesti korvataan niillä jakojäännöksillä,
LisätiedotSALAUSMENETELMÄT. Osa 2. Etätehtävät
SALAUSMENETELMÄT Osa 2 Etätehtävät A. Kysymyksiä, jotka perustuvat luentomateriaaliin 1. Määrittele, mitä tarkoitetaan tiedon eheydellä tieoturvan yhteydessä. 2. Määrittele, mitä tarkoittaa kiistämättömyys
LisätiedotAlkioiden 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ätiedotEsimerkki A1. Jaetaan ryhmä G = Z 17 H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4 4 = 16 = 1}.
Jaetaan ryhmä G = Z 17 n H = 4 sivuluokkiin. Ratkaisu: Koska 17 on alkuluku, #G = 16, alkiona jäännösluokat a, a = 1, 2,..., 16. Määrätään ensin n H alkiot: H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4
LisätiedotYhtälöryhmä matriisimuodossa. MS-A0007 Matriisilaskenta. Tarkastellaan esimerkkinä lineaarista yhtälöparia. 2x1 x 2 = 1 x 1 + x 2 = 5.
2. MS-A000 Matriisilaskenta 2. Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 2..205 Tarkastellaan esimerkkinä lineaarista yhtälöparia { 2x x 2 = x x 2 =
LisätiedotLiite 2: Verkot ja todennäköisyyslaskenta
Ilkka Mellin Todennäköisyyslaskenta Liite 2: Verkot ja todennäköisyyslaskenta Verkot TKK (c) Ilkka Mellin (2007) 1 Verkko eli graafi: Määritelmä 1/2 Verkko eli graafi muodostuu pisteiden joukosta V, särmien
LisätiedotTekijäryhmiä varten määritellään aluksi sivuluokat ja normaalit aliryhmät.
3 Tekijäryhmät Tekijäryhmän käsitteen avulla voidaan monimutkainen ryhmä jakaa osiin. Ideana on, että voidaan erikseen tarkastella, miten laskutoimitus vaikuttaa näihin osiin kokonaisuuksina, ja jättää
LisätiedotTopologia Syksy 2010 Harjoitus 9
Topologia Syksy 2010 Harjoitus 9 (1) Avaruuden X osajoukko A on G δ -joukko, jos se on numeroituva leikkaus avoimista joukoista ja F σ -joukko, jos se on numeroituva yhdiste suljetuista joukoista. Osoita,
Lisätiedot3.3 Paraabeli toisen asteen polynomifunktion kuvaajana. Toisen asteen epäyhtälö
3.3 Paraabeli toisen asteen polynomifunktion kuvaajana. Toisen asteen epäyhtälö Yhtälön (tai funktion) y = a + b + c, missä a 0, kuvaaja ei ole suora, mutta ei ole yhtälökään ensimmäistä astetta. Funktioiden
LisätiedotMS-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ätiedotLineaarinen yhtälöryhmä
Lineaarinen yhtälöryhmä 1 / 39 Lineaarinen yhtälö Määritelmä 1 Lineaarinen yhtälö on muotoa a 1 x 1 + a 2 x 2 + + a n x n = b, missä a i, b R, i = 1,..., n ovat tunnettuja ja x i R, i = 1,..., n ovat tuntemattomia.
LisätiedotDiskreetin 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ätiedot110. 111. 112. 113. 114. 4. Matriisit ja vektorit. 4.1. Matriisin käsite. 4.2. Matriisialgebra. Olkoon A = , B = Laske A + B, 5 14 9, 1 3 3
4 Matriisit ja vektorit 4 Matriisin käsite 42 Matriisialgebra 0 2 2 0, B = 2 2 4 6 2 Laske A + B, 2 A + B, AB ja BA A + B = 2 4 6 5, 2 A + B = 5 9 6 5 4 9, 4 7 6 AB = 0 0 0 6 0 0 0, B 22 2 2 0 0 0 6 5
LisätiedotKurssikoe on maanantaina 29.6. Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.
HY / Avoin ylioisto Johdatus yliopistomatematiikkaan, kesä 201 Harjoitus 7 Ratkaisut palautettava viimeistään perjantaina 26.6.201 klo 16.00. Huom! Luennot ovat salissa CK112 maanantaista 1.6. lähtien.
LisätiedotAvaruuden R n aliavaruus
Avaruuden R n aliavaruus 1 / 41 Aliavaruus Esimerkki 1 Kuva: Suora on suljettu yhteenlaskun ja skalaarilla kertomisen suhteen. 2 / 41 Esimerkki 2 Kuva: Suora ei ole suljettu yhteenlaskun ja skalaarilla
LisätiedotDerivaatan sovelluksia
Derivaatan sovelluksia Derivaatta muutosnopeuden mittarina Tehdään monisteen esimerkistä 5 hiukan mutkikkaampi versio Olete- taan, että meillä on mpräpohjaisen kartion muotoinen astia, johon virtaa vettä
LisätiedotMS-A0305 Differentiaali- ja integraalilaskenta 3 Luento 9: Greenin lause
MS-A0305 Differentiaali- ja integraalilaskenta 3 Luento 9: Greenin lause Antti Rasila Aalto-yliopisto Syksy 2015 Antti Rasila (Aalto-yliopisto) MS-A0305 Syksy 2015 1 / 19 Esimerkki Olkoon F : R 3 R 3 vakiofunktio
Lisätiedot1. Tarkastellaan esimerkissä 4.9 esiintynyttä neliön symmetriaryhmää
Ryhmäteoreettinen näkökulma Rubikin kuutioon Matematiikan ja tilastotieteen laitos Syksy 2010 Harjoitus 2 Ratkaisuehdotus 1. Tarkastellaan esimerkissä 4.9 esiintynyttä neliön symmetriaryhmää D 8 = { id,
LisätiedotÄärellisesti generoitujen Abelin ryhmien peruslause
Tero Harju (2008/2010) Äärellisesti generoitujen Abelin ryhmien peruslause Merkintä X on joukon koko ( eli #X). Vapaat Abelin ryhmät Tässä kappaleessa käytetään Abelin ryhmille additiivista merkintää.
LisätiedotRubikin kuutio ja ryhmät. Johanna Rämö Helsingin yliopisto, Matematiikan ja tilastotieteen laitos
Rubikin kuutio ja ryhmät Johanna Rämö Helsingin yliopisto, Matematiikan ja tilastotieteen laitos Kehittäjä unkarilainen Erno Rubik kuvanveistäjä ja arkkitehtuurin professori 1974 Halusi leikkiä geometrisilla
LisätiedotLUKU II HOMOLOGIA-ALGEBRAA. 1. Joukko-oppia
LUKU II HOMOLOGIA-ALGEBRAA 1. Joukko-oppia Matematiikalle on tyypillistä erilaisten objektien tarkastelu. Tarkastelu kohdistuu objektien tai näiden muodostamien joukkojen välisiin suhteisiin, mutta objektien
Lisätiedot4 Kysyntä, tarjonta ja markkinatasapaino (Mankiw & Taylor, 2 nd ed., chs 4-5)
4 Kysyntä, tarjonta ja markkinatasapaino (Mankiw & Taylor, 2 nd ed., chs 4-5) Opimme tässä ja seuraavissa luennoissa että markkinat ovat hyvä tapa koordinoida taloudellista toimintaa (mikä on yksi taloustieteen
LisätiedotDiskreetin Matematiikan Paja Tehtäviä viikolle 2. ( ) Jeremias Berg
Diskreetin Matematiikan Paja Tehtäviä viikolle 2. (24.3-25.3) Jeremias Berg Tämän viikon tehtävien teemoina on tulojoukot, relaatiot sekä kuvaukset. Näistä varsinkin relaatiot ja kuvaukset ovat tärkeitä
Lisätiedot2.2.1 Ratkaiseminen arvausta sovittamalla
2.2.1 Ratkaiseminen arvausta sovittamalla Esimerkki: lomitusjärjestäminen (edellä) Yleistys: Ratkaistava T (1) c T (n) g(t (1),..., T (n 1), n) missä g on n ensimmäisen parametrin suhteen kasvava. (Ratkaisu
LisätiedotValitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti.
Joukon määritelmä Joukko on alkioidensa kokoelma. Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti. Näin ei tässä
Lisätiedotπ πρ = ρ, π πρ 3 = ρ 3, πρ 2 πρ = ρ 3 πρ 2 πρ 3 = ρ.
Rhmäteoreettinen näkökulma Rubikin kuutioon Harjoitus 4, ratkaisuehdotus (5 sivua) 26.11.2012 Tehtävä 1. Etsi neliön smmetriarhmän D 8 kaikki alirhmät. Mitkä niistä ovat normaaleja? Ratkaisu. Rhmää D 8
LisätiedotInsinöörimatematiikka D
Insinöörimatematiikka D M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2015 M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Luentokalvot
LisätiedotSolmu 3/2001 Solmu 3/2001. Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä:
Frégier n lause Simo K. Kivelä Kevään 2001 ylioppilaskirjoitusten pitkän matematiikan kokeessa oli seuraava tehtävä: Suorakulmaisen kolmion kaikki kärjet sijaitsevat paraabelilla y = x 2 ; suoran kulman
LisätiedotICS-C2000 Tietojenkäsittelyteoria Kevät 2016
ICS-C2000 Tietojenkäsittelyteoria Kevät 206 Kierros 0, 2. 24. maaliskuuta Huom! Perjantaina 25. maaliskuuta ei ole laskareita (pitkäperjantai), käykää vapaasti valitsemassanne ryhmässä aiemmin viikolla.
LisätiedotX R Matematiikan johdantokurssi, syksy 2016 Harjoitus 5, ratkaisuista
Matematiikan johdantokurssi, syksy 06 Harjoitus, ratkaisuista. Olkoon perusjoukkona X := {,,,, } ja := {(, ), (, ), (, ), (, )}. Muodosta yhdistetyt (potenssi)relaatiot,,,. Entä mitä on yleisesti n, kun
Lisätiedot58131 Tietorakenteet (kevät 2009) Harjoitus 6, ratkaisuja (Antti Laaksonen)
58131 Tietorakenteet (kevät 2009) Harjoitus 6, ratkaisuja (Antti Laaksonen) 1. Avaimet 1, 2, 3 ja 4 mahtuvat samaan lehtisolmuun. Tässä tapauksessa puussa on vain yksi solmu, joka on samaan aikaan juurisolmu
LisätiedotRyhmäteoreettinen näkökulma Rubikin kuutioon Harjoitus 6, ratkaisuehdotus (5 sivua)
Ryhmäteoreettinen näkökulma Rubikin kuutioon Harjoitus 6, ratkaisuehdotus (5 sivua) 10.12.2012 Tehtävä 1. Osoita, että tuloryhmän R np R sp indeksi Rubikin paikkaryhmässä R p on täsmälleen kaksi. (Tarkkaan
LisätiedotKahden suoran leikkauspiste ja välinen kulma (suoraparvia)
Kahden suoran leikkauspiste ja välinen kulma (suoraparvia) Piste x 0, y 0 on suoralla, jos sen koordinaatit toteuttavat suoran yhtälön. Esimerkki Olkoon suora 2x + y + 8 = 0 y = 2x 8. Piste 5,2 ei ole
LisätiedotTransversaalit ja hajoamisaliryhmät
Transversaalit ja hajoamisaliryhmät Graduseminaariesitelmä Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2006 Motivointi Esimerkki 1 (Ryhmäteorian kurssin harjoitustehtävä). Jos G on ryhmä,
Lisätiedot5.3 Suoran ja toisen asteen käyrän yhteiset pisteet
.3 Suoran ja toisen asteen käyrän yhteiset pisteet Tämän asian taustana on ratkaista sellainen yhtälöpari, missä yhtälöistä toinen on ensiasteinen ja toinen toista astetta. Tällainen pari ratkeaa aina
LisätiedotReaaliluvut 1/7 Sisältö ESITIEDOT:
Reaaliluvut 1/7 Sisältö Reaalilukujoukko Reaalilukujoukkoa voidaan luonnollisimmin ajatella lukusuorana, molemmissa suunnissa äärettömyyteen ulottuvana suorana, jonka pisteet ja reaaliluvut vastaavat toisiaan:
LisätiedotEsimerkkejä polynomisista ja ei-polynomisista ongelmista
Esimerkkejä polynomisista ja ei-polynomisista ongelmista Ennen yleisempiä teoriatarkasteluja katsotaan joitain tyypillisiä esimerkkejä ongelmista ja niiden vaativuudesta kaikki nämä ongelmat ratkeavia
LisätiedotJohdatus diskreettiin matematiikkaan Harjoitus 1,
Johdatus diskreettiin matematiikkaan Harjoitus 1, 15.9.2014 1. Hahmottele tasossa seuraavat relaatiot: a) R 1 = {(x, y) R 2 : x y 2 } b) R 2 = {(x, y) R 2 : y x Z} c) R 3 = {(x, y) R 2 : y > 0 and x 2
Lisätiedot1.1 Vektorit. MS-A0007 Matriisilaskenta. 1.1 Vektorit. 1.1 Vektorit. Reaalinen n-ulotteinen avaruus on joukko. x 1. R n. 1. Vektorit ja kompleksiluvut
ja kompleksiluvut ja kompleksiluvut 1.1 MS-A0007 Matriisilaskenta 1. ja kompleksiluvut Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 26.10.2015 Reaalinen
LisätiedotDihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013
Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013 Sisältö Johdanto 2 1 Ryhmä 3 2 Symmetrinen ryhmä 6 3 Symmetriaryhmä 10 4 Dihedraalinen ryhmä 19 Lähdeluettelo
Lisätiedot2.2 Gaussin eliminaatio. 2.2 Gaussin eliminaatio. 2.2 Gaussin eliminaatio. 2.2 Gaussin eliminaatio
x = x 2 = 5/2 x 3 = 2 eli Ratkaisu on siis x = (x x 2 x 3 ) = ( 5/2 2) (Tarkista sijoittamalla!) 5/2 2 Tämä piste on alkuperäisten tasojen ainoa leikkauspiste Se on myös piste/vektori jonka matriisi A
LisätiedotKuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.
Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion. Vastaavuus puolestaan on erikoistapaus relaatiosta.
LisätiedotSalausmenetelmät. Veikko Keränen, Jouko Teeriaho (RAMK, 2006)
Salausmenetelmät Veikko Keränen, Jouko Teeriaho (RAMK, 2006) LUKUTEORIAA JA ALGORITMEJA 3. Kongruenssit à 3.1 Jakojäännös ja kongruenssi Määritelmä 3.1 Kaksi lukua a ja b ovat keskenään kongruentteja (tai
LisätiedotMAY1 Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty 12.4.2016 Julkaiseminen sallittu vain koulun suljetussa verkossa.
KERTAUS Lukujono KERTAUSTEHTÄVIÄ K1. Ratkaisussa annetaan esimerkit mahdollisista säännöistä. a) Jatketaan lukujonoa: 2, 4, 6, 8, 10, 12, 14, 16, Rekursiivinen sääntö on, että lukujonon ensimmäinen jäsen
LisätiedotSuora. Määritelmä. Oletetaan, että n = 2 tai n = 3. Avaruuden R n suora on joukko. { p + t v t R},
Määritelmä Suora Oletetaan, että n = 2 tai n = 3. Avaruuden R n suora on joukko { p + t v t R}, missä p, v R n ja v 0. Tässä p on suoran jonkin pisteen paikkavektori ja v on suoran suuntavektori. v p LM1,
LisätiedotAnalyysi 1. Harjoituksia lukuihin 1 3 / Syksy Osoita täsmällisesti perustellen, että joukko A = x 4 ei ole ylhäältä rajoitettu.
Analyysi Harjoituksia lukuihin 3 / Syksy 204. Osoita täsmällisesti perustellen, että joukko { 2x A = x ]4, [. x 4 ei ole ylhäältä rajoitettu. 2. Anna jokin ylä- ja alaraja joukoille { x( x) A = x ], [,
Lisätiedot2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1)
Approbatur 3, demo, ratkaisut Sovitaan, että 0 ei ole luonnollinen luku. Tällöin oletusta n 0 ei tarvitse toistaa alla olevissa ratkaisuissa. Se, pidetäänkö nollaa luonnollisena lukuna vai ei, vaihtelee
LisätiedotMiten 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ätiedotTutkimusmenetelmät-kurssi, s-2004
Algoritmitutkimuksen menetelmistä Tutkimusmenetelmät-kurssi, s-2004 Pekka Kilpeläinen Kuopion yliopisto Tietojenkäsittelytieteen laitos Algoritmitutkimuksen menetelmistä p.1/20 Sisällys Tänään Tietojenkäsittelytiede
LisätiedotVastaus 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ätiedotKuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara
Kuvauksista ja relaatioista Jonna Makkonen Ilari Vallivaara 20. lokakuuta 2004 Sisältö 1 Esipuhe 2 2 Kuvauksista 3 3 Relaatioista 8 Lähdeluettelo 12 1 1 Esipuhe Joukot ja relaatiot ovat periaatteessa äärimmäisen
LisätiedotLUKUTEORIA A. Harjoitustehtäviä, kevät 2013. (c) Osoita, että jos. niin. a c ja b c ja a b, niin. niin. (e) Osoita, että
LUKUTEORIA A Harjoitustehtäviä, kevät 2013 1. Olkoot a, b, c Z, p P ja k, n Z +. (a) Osoita, että jos niin Osoita, että jos niin (c) Osoita, että jos niin (d) Osoita, että (e) Osoita, että a bc ja a c,
Lisätiedot8 Joukoista. 8.1 Määritelmiä
1 8 Joukoista Joukko on alkoidensa kokoelma. Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukkooppi aksiomaattisesti. Näin ei tässä tehdä
LisätiedotLineaariset yhtälöryhmät ja matriisit
Lineaariset yhtälöryhmät ja matriisit Lineaarinen yhtälöryhmä a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. a m1 x 1 + a m2 x 2 + + a mn x n = b m, (1) voidaan esittää
LisätiedotJAKSO 2 KANTA JA KOORDINAATIT
JAKSO 2 KANTA JA KOORDINAATIT Kanta ja dimensio Tehtävä Esittele vektoriavaruuden kannan määritelmä vapauden ja virittämisen käsitteiden avulla ja anna vektoriavaruuden dimension määritelmä Esittele Lause
LisätiedotKuinka määritellään 2 3?
Kuinka määritellään 2 3? y Nyt 3 = 1,7320508.... Luvut 3 2 x x 3 2 x 2 1 = 2, 2 1,7 3,2490, 2 1,73 3,3173, 2 1,732 3,3219,... ovat hyvin määriteltyjä koska näihin tarvitaan vain rationaalilukupotenssin
LisätiedotMS-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ätiedot1 + b t (i, j). Olkoon b t (i, j) todennäköisyys, että B t (i, j) = 1. Siis operaation access(j) odotusarvoinen kustannus ajanhetkellä t olisi.
Algoritmien DP ja MF vertaileminen tapahtuu suoraviivaisesti kirjoittamalla kummankin leskimääräinen kustannus eksplisiittisesti todennäköisyyksien avulla. Lause T MF ave = 1 + 2 1 i
Lisätiedot802328A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO
8038A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 016 Sisältö 1 Irrationaaliluvuista Antiikin lukuja 6.1 Kolmio- neliö- ja tetraedriluvut...................
LisätiedotLuku 6. Dynaaminen ohjelmointi. 6.1 Funktion muisti
Luku 6 Dynaaminen ohjelmointi Dynaamisessa ohjelmoinnissa on ideana jakaa ongelman ratkaisu pienempiin osaongelmiin, jotka voidaan ratkaista toisistaan riippumattomasti. Jokaisen osaongelman ratkaisu tallennetaan
LisätiedotMS-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ätiedotJohdatus graafiteoriaan
Johdatus graafiteoriaan Syksy 2017 Lauri Hella Tampereen yliopisto Luonnontieteiden tiedekunta 62 Luku 2 Yhtenäisyys 2.1 Polku 2.2 Lyhin painotettu polku 2.3 Yhtenäinen graafi 2.4 Komponentti 2.5 Aste
LisätiedotOhjelmoinnin peruskurssi Y1
Ohjelmoinnin peruskurssi Y1 CSE-A1111 30.9.2015 CSE-A1111 Ohjelmoinnin peruskurssi Y1 30.9.2015 1 / 27 Mahdollisuus antaa luentopalautetta Goblinissa vasemmassa reunassa olevassa valikossa on valinta Luentopalaute.
Lisätiedot802328A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III
802328A LUKUTEORIAN PERUSTEET OSA III BASICS OF NUMBER THEORY PART III Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LUKUTEORIA 1 / 77 Irrationaaliluvuista Määritelmä 1 Luku α C \ Q on
Lisätiedot10. Globaali valaistus
10. Globaali valaistus Globaalilla eli kokonaisvalaistuksella tarkoitetaan tietokonegrafiikassa malleja, jotka renderöivät kuvaa laskien pisteestä x heijastuneen valon ottamalla huomioon kaiken tähän pisteeseen
Lisätiedot1 Aritmeettiset ja geometriset jonot
1 Aritmeettiset ja geometriset jonot Johdatus Johdatteleva esimerkki 1 Kasvutulille talletetaan vuoden jokaisen kuukauden alussa tammikuusta alkaen 100 euroa. Tilin nettokorkokanta on 6%. Korko lisätään
LisätiedotMatematiikan mestariluokka, syksy 2009 7
Matematiikan mestariluokka, syksy 2009 7 2 Alkuluvuista 2.1 Alkuluvut Määritelmä 2.1 Positiivinen luku a 2 on alkuluku, jos sen ainoat positiiviset tekijät ovat 1 ja a. Jos a 2 ei ole alkuluku, se on yhdistetty
LisätiedotOsa 1: Todennäköisyys ja sen laskusäännöt. Klassinen todennäköisyys ja kombinatoriikka
Ilkka Mellin Todennäköisyyslaskenta Osa 1: Todennäköisyys ja sen laskusäännöt Klassinen todennäköisyys ja kombinatoriikka TKK (c) Ilkka Mellin (2007) 1 Klassinen todennäköisyys ja kombinatoriikka >> Klassinen
LisätiedotKvasiryhmistä ja niiden sovelluksista
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Suvi Pasanen Kvasiryhmistä ja niiden sovelluksista Informaatiotieteiden yksikkö Matematiikka Maaliskuu 2016 Tampereen yliopisto Informaatiotieteiden yksikkö PASANEN,
LisätiedotToisin sanoen kyseessä on reaalitason vektoreiden relaatio. v w v =k w jollakink R\{0}.
Algebra I Matematiikan ja tilastotieteen laitos Harjoitus 7 Ratkaisuehdotus (5 sivua) JR 1. Määritellään reaalilukuparien relaatio seuraavasti: (x,y) (x,y ) x =kx jay=ky jollakink R\{0}. Toisin sanoen
LisätiedotHN = {hn h H, n N} on G:n aliryhmä.
Matematiikan ja tilastotieteen laitos Algebra I Ratkaisuehdoituksia harjoituksiin 8, 23.27.3.2009 5 sivua Rami Luisto 1. Osoita, että kullakin n N + lukujen n 5 ja n viimeiset numerot kymmenkantaisessa
Lisätiedota b c d + + + + + + + + +
28. 10. 2010!"$#&%(')'+*(#-,.*/1032/465$*784 /(9:*;9."$ *;5> *@9 a b c d 1. + + + 2. 3. 4. 5. 6. + + + + + + + + + + P1. Valitaan kannaksi sivu, jonka pituus on 4. Koska toinen jäljelle jäävistä sivuista
LisätiedotKenguru 2012 Junior sivu 1 / 8 (lukion 1. vuosi)
Kenguru 2012 Junior sivu 1 / 8 Nimi Ryhmä Pisteet: Kenguruloikan pituus: Irrota tämä vastauslomake tehtävämonisteesta. Merkitse tehtävän numeron alle valitsemasi vastausvaihtoehto. Väärästä vastauksesta
LisätiedotFUNKTIONAALIANALYYSIN PERUSKURSSI 1. 0. Johdanto
FUNKTIONAALIANALYYSIN PERUSKURSSI 1. Johdanto Funktionaalianalyysissa tutkitaan muun muassa ääretönulotteisten vektoriavaruuksien, ja erityisesti täydellisten normiavaruuksien eli Banach avaruuksien ominaisuuksia.
LisätiedotHeikki Junnila VERKOT JOUKOISTA JA RELAATIOISTA
Heikki Junnila VERKOT LUKU I JOUKOISTA JA RELAATIOISTA 1. Joukkojen symmetrinen erotus.....................................1 2. Relaation sisältämät kuvaukset.................................... 7 Harjoitustehtäviä................................................
LisätiedotCauchyn ja Sylowin lauseista
Cauchyn ja Sylowin lauseista Pro gradu-tutkielma Jukka Kuru Matemaattisten tieteiden laitos Oulun yliopisto 2014 Sisältö Johdanto 2 1 Peruskäsitteet 4 1.1 Funktion käsitteitä........................ 4
LisätiedotAvainsanat: geometria, kolmio, ympyrä, pallo, trigonometria, kulma
OuLUMA - Jussi Tyni OuLUMA, sivu 1 Ihastellaan muotoja Avainsanat: geometria, kolmio, ympyrä, pallo, trigonometria, kulma Luokkataso: lukio Välineet: kynä, paperia, laskin Tavoitteet: Tarkoitus on arkielämään
LisätiedotMatemaatiikan tukikurssi
Matemaatiikan tukikurssi Kurssikerta 1 1 Funktiot Funktion määritelmä Funktio on sääntö, joka liittää kahden eri joukon alkioita toisiinsa. Ollakseen funktio tämän säännön on liitettävä jokaiseen lähtöjoukon
LisätiedotMatematiikan peruskurssi 2
Matematiikan peruskurssi Demonstraatiot III, 4.5..06. Mikä on funktion f suurin mahdollinen määrittelyjoukko, kun f(x) x? Mikä on silloin f:n arvojoukko? Etsi f:n käänteisfunktio f ja tarkista, että löytämäsi
LisätiedotTarvikkeet: A5-kokoisia papereita, valmiiksi piirrettyjä yksinkertaisia kuvioita, kyniä
LUMATE-tiedekerhokerta, suunnitelma AIHE: OHJELMOINTI 1. Alkupohdinta: Mitä ohjelmointi on? Keskustellaan siitä, mitä ohjelmointi on (käskyjen antamista tietokoneelle). Miten käskyjen antaminen tietokoneelle
LisätiedotEnsimmäinen induktioperiaate
1 Ensimmäinen induktioperiaate Olkoon P(n) luonnollisilla luvuilla määritelty predikaatti. (P(n) voidaan lukea luvulla n on ominaisuus P.) Todistettava, että P(n) on tosi jokaisella n N. ( Kaikilla luonnollisilla
LisätiedotGraafin virittävä puu 1 / 20
Graafin virittävä puu 1 / 20 Graafin virittävä puu PuuT on graafingvirittävä puu (spanning tree), jos se sisältää kaikkig:n pisteet. Virittäviä puita: 2 / 20 Yhdistämisongelma Yhdistämisongelma:(Connector
LisätiedotAlgebra I, Harjoitus 6, , Ratkaisut
Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut (MV 6 sivua 1. Olkoot M ja M multiplikatiivisia monoideja. Kuvaus f : M M on monoidihomomorfismi jos 1 f(ab = f(af(b
Lisätiedot10 Matriisit ja yhtälöryhmät
10 Matriisit ja yhtälöryhmät Tässä luvussa esitellään uusi tapa kirjoittaa lineaarinen yhtälöryhmä matriisien avulla käyttäen hyväksi matriisikertolaskua sekä sarakevektoreita Pilkotaan sitä varten yhtälöryhmän
LisätiedotEnsimmäinen induktioperiaate
Ensimmäinen induktioperiaate Olkoon P(n) luonnollisilla luvuilla määritelty predikaatti. (P(n) voidaan lukea luvulla n on ominaisuus P.) Todistettava, että P(n) on tosi jokaisella n N. ( Kaikilla luonnollisilla
Lisätiedotkeskenään isomorfiset? (Perustele!) Ratkaisu. Ovat. Tämän näkee indeksoimalla kärjet kuvan osoittamalla tavalla: a 1 b 3 a 5
Johdatus diskreettiin matematiikkaan Harjoitus 6, 21.10.2015 1. Ovatko verkot keskenään isomorfiset? (Perustele!) Ratkaisu. Ovat. Tämän näkee indeksoimalla kärjet kuvan osoittamalla tavalla: a 2 b 4 a
LisätiedotTietoturva 811168P 5 op
811168P 5 op 6. Oulun yliopisto Tietojenkäsittelytieteiden laitos Mitä se on? on viestin alkuperän luotettavaa todentamista; ja eheyden tarkastamista. Viestin eheydellä tarkoitetaan sitä, että se ei ole
LisätiedotKokonaislukuoptimointi
Kokonaislukuoptimointi Algebrallisen geometrian sovelluksia Sisältö Taustaa algebrallisesta geometriasta Gröbnerin kanta Buchbergerin algoritmi Kokonaislukuoptimointi Käypyysongelma Algoritmi ratkaisun
Lisätiedot