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

Koko: px
Aloita esitys sivulta:

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

Transkriptio

1 Ryhmä osajouko geeroima aliryhmä ja vapaat ryhmät LuK-tutkielma Joose Heioe Matemaattiste tieteide tutkito-ohjelma Oulu yliopisto Kevät 2017

2 Sisältö Johdato 2 1 Ryhmät ja aliryhmät Ryhmä Aliryhmä Syklie ryhmä Symmetrie ryhmä Ryhmä osajouko geeroima aliryhmä 4 3 Vapaat ryhmät 8 Lähdeluettelo 11 1

3 Johdato Tutkielma käsittelee ryhmäteoriaa ja siiä määritellää yleisellä tasolla ryhmä osajouko geeroima aliryhmä sekä vapaa ryhmä. Lukijalla tulisi olla riittävä matemaattie perustietämys ja varsiki ryhmä käsittee tutemie o hyödyksi, vaikka kaikki tutkielmassa tarvittavat ryhmät määritellääki tutkielma esimmäisessä luvussa. Tutkielmassa o käytetty pääasiassa teosta [1], mutta esimmäise luvu määritelmie lähteeä o käytetty teosta [2]. Erilaiste tutkielmassa tarvittavie ryhmie määrittelemise jälkee siirrytää toisessa luvussa käsittelemää ryhmä osajouko geeroimaa aliryhmää. Luvussa esitellää ryhmä osajouko geeroima aliryhmä määritelmä ja johdetaa erilaisia esitystapoja kyseiselle aliryhmälle. Aihetta havaiollistetaa kahdella esimerkillä, joide ratkaisut ole keksiyt itse. Kolmaessa luvussa esitellää vapaa ryhmä käsite. 1 Ryhmät ja aliryhmät 1.1 Ryhmä Määritelmä 1.1. Olkoot G ja ( ) jouko G operaatio. Pari (G, ) o ryhmä, mikäli seuraavat ehdot ovat voimassa: 1. ( ) o biäärie joukossa G eli aia, ku a,b G. a b G 2. ( ) o assosiatiivie eli aia, ku a,b,c G. (a b) c = a (b c) 3. Joukossa G o sellaie alkio e, että a e = e a = a aia, ku a G. Alkiota e kutsutaa eutraali- eli ykkösalkioksi. 4. Aia, ku a G, o olemassa sellaie alkio a 1 G, että a a 1 = a 1 a = e. Alkiota a 1 kutsutaa alkio a kääteisalkioksi. Jos lisäksi ( ) o kommutatiivie eli a b = b a aia, ku a, b G, ii kyseessä o Abeli ryhmä eli kommutatiivie ryhmä. 2

4 1.2 Aliryhmä Määritelmä 1.2. Olkoo (G, ) ryhmä ja H G,H. Jos (H, ) o ryhmä, sitä saotaa ryhmä (G, ) aliryhmäksi ja merkitää (H, ) (G, ) tai lyhyemmi H G. Huomautus. Jos H G, ii aia ryhmä G eutraalialkio e G H. Käytetää jatkossa ryhmälle (G, ) lyhyempää merkitää G ja ryhmä kahde alkio a ja b väliselle operaatiolle a b merkitää ab. Esitellää seuraavaksi vielä aliryhmäkriteeri ja se seuraus, jota hyödyetää myöhemmi osoitettaessa ryhmä osajoukkoa tämä aliryhmäksi. Lemma 1.3 (Aliryhmäkriteeri). Olkoot G ryhmä ja H G,H. Nyt H G jos ja vai jos seuraavat ehdot toteutuvat: 1. a,b H ab H; 2. a H a 1 H. Seuraus 1.4. Olkoot G ryhmä ja H G,H. Tällöi H G jos ja vai jos ehto 3. a,b H ab 1 H o voimassa. 1.3 Syklie ryhmä Olkoo (G, ) ryhmä ja a G. Ku Z +, ii määritellää a = a a... a }{{} ja a = } a 1 a 1 {{... a 1 }. Lisäksi asetetaa a 0 = e. Tällöi joukko H = {a k k Z} o jouko G osajoukko. Määritelmä 1.5. Olkoo a G ja H = {a k k Z}. Tällöi (H, ) o ryhmä (G, ) aliryhmä ja ryhmää H kutsutaa alkio a geeroimaksi sykliseksi ryhmäksi. 3

5 1.4 Symmetrie ryhmä Määritelmä 1.6. Symmetrie ryhmä S o jouko N = {1,2,...,} kaikkie permutaatioide muodostama ryhmä, jossa laskutoimituksea o kuvauste yhdistämie. 2 Ryhmä osajouko geeroima aliryhmä Tiety ryhmä syklise aliryhmä muodostamisee käytettävä meetelmä o erikoistapaus yleisemmästä meetelmästä, joka avulla voidaa muodostaa ryhmä mielivaltaise osajouko geeroima aliryhmä. Syklise ryhmä tapauksessa geeroivaa osajoukkoa o ryhmä G yhde alkio x muodostama joukko {x}. Tässä osiossa määritellää aliryhmä, joka geeroijaa toimii yhde alkio sijaa mielivaltaie ryhmä G osajoukko A. Oletetaa, että G o mikä tahasa ryhmä ja joukko A o ryhmä G mielivaltaie osajoukko. Esiksi osoitetaa aliryhmäkriteeri seuraukse avulla, että mikä tahasa leikkaus ryhmä G aliryhmistä o myös ryhmä G aliryhmä. Tästä seuraa, että jouko A geeroima aliryhmä o yksikäsitteisesti piei ryhmä G aliryhmä, joka sisältää jouko A. Lause 2.1. Jos A o mielivaltaie ryhmä G aliryhmistä koostuva epätyhjä joukko, ii kaikkie jouko A alkioide leikkaus o myös ryhmä G aliryhmä. Todistus. Olkoo G ryhmä ja olkoo A mielivaltaie ryhmä G aliryhmistä koostuva epätyhjä joukko. Olkoo lisäksi K = H. H A Koska ryhmä G jokaie aliryhmä H A o ryhmä G osajoukko, ii myös äide aliryhmie leikkaus K o ryhmä G osajoukko eli K G. Koska jokaie H A o ryhmä G aliryhmä, ii ryhmä G eutraalialkio e H ja täte e K. Siis K. Olkoo a,b K. Tällöi a,b H kaikilla H A ja koska jokaie H o ryhmä, ii ab 1 H eli ab 1 K. Seuraukse 1.4 ojalla K G. 4

6 Määritelmä 2.2. Jos A o ryhmä G mielivaltaie osajoukko, ii jouko A geeroima ryhmä G aliryhmä o A = H. A H H G Siis A o leikkaus kaikista ryhmä G aliryhmistä, jotka sisältävät jouko A. Lausee 2.1 ojalla A o ryhmä G aliryhmä, sillä yt A = {H G A H} ja A o epätyhjä, sillä A G ja G G eli G A. Koska joukko A sisältyy jokaisee aliryhmää H, ii joukko A sisältyy myös äide aliryhmie leikkauksee eli A A. Aliryhmä A o yt yksikäsitteisesti piei jouko A alkio, sillä A o ryhmä G aliryhmä ja A A eli A A, mikä lisäksi kaikki jouko A alkiot sisältävät kaikkie jouko A alkioide leikkaukse eli kaikki jouko A alkiot sisältävät aliryhmä A. Toisi saoe kaikki jouko A sisältävät ryhmä G aliryhmät sisältävät aliryhmä A ja myös kyseie A kuuluu tähä aliryhmie joukkoo, jote se o aliryhmistä piei. Edellä esitetty määritelmä osoittaa ryhmä G jouko A sisältävä pieimmä aliryhmä olemassaolo ja yksikäsitteisyyde, mutta se ei kerro, millaisia alkioita tämä aliryhmä sisältää. Jotta päästää saa varsiaisessa merkityksessä geeroimaa ryhmä G osajouko A alkioista ryhmä G aliryhmää, määritellää joukko, joka koostuu osajouko A alkioide ja iide kääteisalkioide välisistä tuloista. Tämä jälkee osoitetaa, että kyseisellä meetelmällä muodostettu joukko o itseasiassa sama kui joukko A. Olkoo Ā = {a ɛ1 1 aɛ2 2 aɛ Z, 0, a i A ja ɛ i = ±1 jokaisella ideksillä i}, missä Ā = {e}, jos A =. Joukko Ā koostuu siis kaikista jouko A alkioide ja iide kääteisalkioide keskeäiste operaatioide muodostamista äärellisistä tuloista, joita kutsutaa saoiksi. Huomaa, että alkioide a i ei tarvitse olla erillisiä, eli jouko Ā määrittelyssä käytetyssä merkiässä esimerkiksi a2 kirjoitetaa muodossa aa. Lause 2.3. Jos A o ryhmä G mielivaltaie osajoukko ja joukot o määritelty kute edellä, ii Ā = A. Ā ja A Todistus. Olkoo G mikä tahasa ryhmä ja A se mielivaltaie osajoukko. Osoitetaa esi, että Ā A. Koska A o ryhmä, joka sisältää jouko A, se sisältää myös jokaise muotoa a ɛ1 1 aɛ2 2 aɛ oleva alkio, missä jokaie a i A. Nyt jokaie jouko Ā alkio o muotoa aɛ1 1 aɛ2 2 aɛ, jote jokaie jouko Ā alkio sisältyy joukkoo A. Siis Ā A. 5

7 Osoitetaa sitte, että A Ā. Tähä riittää osoittaa, että A Ā ja että Ā o ryhmä G aliryhmä. Tällöi Ā lukeutuu aliryhmii H ja jouko A määritelmä ojalla kaikki jouko A alkiot kuuluvat jokaisee aliryhmää H, jote kaikkie jouko A alkioide täytyy kuulua myös joukkoo Ā. Osoitetaa siis, että A Ā. Olkoo a jouko A mielivaltaie alkio. Ku = 1, ɛ 1 = 1 ja a 1 = a, ii a Ā. Siis A Ā. Osoitetaa vielä, että Ā G. Nyt Ā o epätyhjä, sillä kute edellä todettii, jos a A, ii a Ā ja jos A =, ii Ā = {e} =. Koska G o ryhmä, joka sisältää jouko A, ii Ā G. Olkoo a,b Ā, missä a = aɛ1 1 aɛ2 2 aɛ kääteisalkio o b 1 = b δm m b δm 1 m 1 b δ1 1, jote ab 1 = a ɛ1 1 aɛ2 2 aɛ bm δm b δm 1 m 1 b δ1 1. ja b = bδ1 1 bδ2 2 bδm m. Nyt alkio b Nyt ab 1 o tulo jouko A alkioista korotettua potessii ±1, jote ab 1 Ā. Seuraukse 1.4 ojalla Ā G. Siis Ā A ja A Ā, jote Ā = A. Käytetää jatkossa merkiä Ā tilalla merkitää A, sillä äitä määritelmiä voidaa yt pitää yhtäpitäviä. Nyt esimerkiksi tulot aa, aaa ja aa 1 voidaa kirjoittaa yksikertaisemmi muodossa a 2, a 3 ja e, jote A voidaa kirjoittaa muodossa A = {a α1 1 aα2 2 aα Z +, a i A, α i Z jaa i a i+1 jokaisella ideksilläi}. Ku A = {x}, tämä o myös syklise ryhmä määritelmä. Tämä osoitetaa Esimerkissä 2.4. Esimerkki 2.4. Olkoo G ryhmä ja A = {x} se osajoukko eli x G. Määritetää jouko A geeroima aliryhmä A. Koska joukossa A o vai yksi alkio, ii a i = x kaikilla idekseillä i. Jouko A geeroima aliryhmä A määritelmä ojalla a i a i+1, jote kaikki aliryhmä A alkiot ovat muotoa x α, missä α Z. Siis A = {x α α Z}, mikä o täsmällee sama kui alkio x geeroima syklise ryhmä määritelmä. Jos G o Abeli ryhmä eli kommutatiivie ryhmä, voidaa kaikki tiety alkio a i eri potessit koota yhtee. Tällöi esimerkiksi Abeli ryhmä G äärellise osajouko A = {a 1,a 2,...,a k } geeroima aliryhmä o A = {a α1 1 aα2 2 aα k k α i Z kaikilla idekseillä i}. 6

8 Lemma 2.5. Ryhmä (R 2,+) o Abeli ryhmä. Esimerkki 2.6. Olkoo G = (R 2,+) ja A = {(1,0), (0,1)} se osajoukko. Määritetää jouko A geeroima aliryhmä A. Nyt Lemma 2.5 ojalla G o Abeli ryhmä, jote voidaa käyttää viimeksi esitettyä määritelmää aliryhmälle A. Merkitää a 1 = (1,0) ja a 2 = (0,1). Yhtälailla voitaisii tehdä alkioide järjestykse valita toisipäi, sillä kommutatiivisuude vuoksi tällä järjestyksellä ei ole väliä. Jouko A geeroima aliryhmä A alkiot ovat siis muotoa (1,0) α1 +(0,1) α2, missä α 1,α 2 Z. Olkoo Z +. Nyt ja vastaavasti (1,0) = (1,0)+(1,0)+...+(1,0) }{{} = ( , ) }{{}}{{} = (,0) (0,1) = (0,). Ryhmä G eutraalialkio o e = (0,0) = (1,0) 0 = (0,1) 0. Alkio (1,0) kääteisalkio o (1,0) 1 = ( 1,0), sillä ( 1,0)+(1,0) = ( 1+1,0+0) = (0,0) = e ja kommutatiivisuudesta seuraa, että (1,0)+( 1,0) = e. Vastaavasti alkio (0,1) kääteisalkio o (0,1) 1 = (0, 1). Nyt 7

9 ja vastaavasti (1,0) = (1,0) 1 +(1,0) (1,0) 1 }{{} = ( 1,0)+( 1,0)+...+( 1,0) }{{} = ( 1+( 1)+...+( 1), ) }{{}}{{} = ( ,0) }{{} = (,0) (0,1) = (0, ). Näi olle (1,0) α1 = (α 1,0) kaikilla α 1 Z ja (0,1) α2 = (0,α 2 ) kaikilla α 2 Z, jote jouko A geeroima aliryhmä A alkiot ovat muotoa (1,0) α1 +(0,1) α2 = (α 1,0)+(0,α 2 ) = (α 1,α 2 ). Siis A = {(α 1,α 2 ) α 1,α 2 Z} = Z 2. 3 Vapaat ryhmät Tässä osiossa esitellää lyhyesti vapaa ryhmä F(S), joka geeroi täysi mielivaltaie joukko S. Edellisessä luvussa geeroiva joukko oli joki tiety ryhmä osajoukko, mutta vapaa ryhmä geeroiva jouko ei tarvitse toteuttaa mitää tällaisia ehtoja, eli joukko S o vapaa relaatioista. Vapaa ryhmä F(S) koostuu jouko S alkioide ja iide kääteisalkioide yhdessä muodostamista saoista. Huomaa, että yt saoje muodostamisessa ei käytetä mitää ryhmäoperaatiota, vaa saoje muodostamie tapahtuu vai asettamalla geeroija-alkioita peräkkäi. Jos S o esimerkiksi joukko {a, b}, ii se geeroima vapaa ryhmä F(S) alkioita ovat esimerkiksi a,aa,ab,ab 1 a ja ba 1 ba ja kaikkia äitä saoja pidetää erillisiä. Jos yhdistetää peräkkäiset samakataiset potessit, saadaa esimerkiksi alkiot aa ja abb 1 muotoo a 2 ja a. Muodostettuja saoja voidaa myös ketjuttaa, jolloi esimerkiksi saat ab 3 a ja b 5 a 2 muodostavat yhdistettyä saa ab 3 ab 5 a 2. 8

10 Seuraavaksi lähdetää määrittelemää tarkemmi mielivaltaise jouko S geeroimaa vapaata ryhmää F(S). Aioa ogelma ryhmä F(S) muodostamisessa o osoittaa, että saoje ketjuttamisoperaatio o hyvi määritelty ja assosiatiivie. Tätä varte palataa määritelmää, jossa kaikki saoissa esiityvät ekspoetit ovat joko 1 tai 1. Olkoo S mielivaltaie joukko ja S 1 joki sellaie joukosta S erillie joukko, että o olemassa bijektio joukolta S joukolle S 1. Käytetää jokaiselle alkiota s S vastaavalle jouko S 1 alkiolle merkitää s 1 ja vastaavasti jokaista alkiota t S 1 vastaa joukossa S alkio t 1, jolloi (s 1 ) 1 = s. Olkoo {1} yhde alkio muodostama joukko, joka ei sisälly joukkoo S S 1. Määritellää ss 1 = s 1 s = 1 ja 1s = s1 = s kaikilla s S. Olkoo lisäksi 1 1 = 1 ja x 1 = x kaikilla x S S 1 {1}. Merkitää saaa jooa (s 1,s 2,s 3,...), missä s i S S 1 {1} ja s i = 1 kaikilla riittävä suurilla idekseillä i. Tällöi jokaiselle saalle o olemassa sellaie ideksi N, että s i = 1 kaikilla idekseillä i N. Site saoja voidaa ajatella myös jouko S alkioide ja iide kääteisalkioide äärellisiä tuloia. Saoje yksikäsitteisyyde varmistamiseksi otetaa huomioo vai saat, joissa ei esiiy peräkkäisiä termeiä alkiota ja se kääteisalkiota. Esimerkiksi saa baa 1 b sieveee siis muotoo bb. Määritelmä 3.1. Saa (s 1,s 2,s 3,...) o sieveetty, jos 1. s i+1 s 1 i kaikilla idekseillä i, joilla s i 1, ja 2. jos s k = 1 jollaki ideksillä k, ii s i = 1 kaikilla idekseillä i k. Sieveettyä saaa (1, 1, 1,...) kutsutaa tyhjäksi saaksi ja sille käytetää merkitää1. Yksikertaistetaa seuraavaksi saoje merkitätapaa käyttämällä sieveetylle saalle (s ɛ1 1,sɛ2 2,...,sɛ,1,1,1,...), missä s i S ja ɛ i = ±1, merkitääs ɛ1 1 sɛ2 2...sɛ. Olkoo F(S) jouko S alkioista muodostettuje sieveettyje saoje joukko, jolloi S o jouko F(S) osajoukko. Huomaa, että jos S =, ii F(S) = {1}. Nyt voimme esitellä biäärise operaatio joukossa F(S). Operaatio määrittelyssä o varmistettava, että kahde sieveety saa välie tulo o edellee sieveetty saa. Tällöi esimerkiksi saoje ab 1 a ja a 1 ba välise tulo tulee sievetyä muotoo aa. Olkoo r δ1 1 rδ2 2...rδm m ja sɛ1 1 sɛ2 2...sɛ sieveettyjä saoja ja oletetaa esi, että m. Olkoo k sellaie piei kokoaisluku välillä 1 k m + 1, että s ɛ k k r δ m k+1 m k+1. Tällöi äide sieveettyje saoje tuloksi määritellää 9

11 r δ1 1...rδ m k+1 m k+1 sɛ k k...s ɛ, jos k m (r δ1 1 rδ2 2...rδm m )(s ɛ1 1 sɛ2 2...sɛ ) = s ɛm+1 m+1...sɛ, jos k = m+1 1, jos k = m+1 ja m =. Tulo määritellää vastaavasti, jos m, jote molemmissa tapauksissa kahde sieveety saa tulo o sieveetty saa. Lause 3.2. suhtee. Joukko F(S) o ryhmä edellä määritelly biäärise operaatio Todistus. Nyt F(S), sillä s F(S), jos s S ja F(S) = {1}, jos S =. Alkio 1 F(S) o eutraalialkio, sillä 1s = s1 = s kaikilla s F(S). Sieveety saas ɛ1 1 sɛ2 2...sɛ F(S) kääteisalkio o sieveetty saa s ɛ s ɛ s ɛ1 1 F(S), sillä (s ɛ1 1 sɛ2 2...sɛ )(s ɛ s ɛ s ɛ1 1 ) = (s ɛ s ɛ s ɛ1 1 )(s ɛ1 1 sɛ2 2...sɛ ) = 1. Eää täytyy osoittaa, että jouko F(S) operaatio o assosiatiivie. Tätä varte määritellää kaikille s S S 1 {1} kuvaus σ s : F(S) F(S), missä σ s (s ɛ1 1 sɛ2 2...sɛ ) = { s s ɛ 1 1 s ɛ2 2...sɛ, jos s ɛ1 1 s 1 s ɛ2 2 sɛ3 3...sɛ, jos s ɛ1 1 = s 1. Nytσ s 1(s s ɛ1 1 sɛ2 2...sɛ ɛ1 ) = s 1 s s1 sɛ2 2...sɛ = s ɛ1 1 sɛ2 2...sɛ, kus ɛ1 1 s 1 ja σ s 1(s ɛ2 2 sɛ3 3...sɛ ) = s 1 s ɛ2 2 sɛ3 3...sɛ = s ɛ1 1 sɛ2 2...sɛ, ku s ɛ1 1 = s 1, jote yhdistetty kuvaus σ s 1 σ s o idettie kuvaus joukolta F(S) itsellee. Kuvaus σ s o siis bijektio ja täte jouko F(S) permutaatio. Olkoo A(S) joukolla F(S) määritelly symmetrise ryhmä aliryhmä, joka geeroi joukko {σ s s S}. Tällöi aliryhmä A(S) kaikki alkiot ovat luvu 2 mukaa muotoa σs ɛ1 1 σs ɛ σs ɛ. Nyt kuvaus s ɛ1 1 sɛ2 2...sɛ σs ɛ1 1 σs ɛ σs ɛ o bijektio joukolta F(S) joukolle A(S) ja o yhteesopiva biäärioperaatioide suhtee. Koska A(S) o ryhmää assosiatiivie, myös F(S) o assosiatiivie. Siis F(S) o ryhmä. 10

12 Esimerkki 3.3. Olkoo S = {a, b}. Kahde alkio geeroima vapaa ryhmä F({a, b}) alkiot ovat tällöi alkioide a ja b sekä iide kääteisalkioide muodostamia äärellisiä saoja. Siis kaikki vapaa ryhmä F({a, b}) alkiot ovat muotoa a α1 b α2 a α3 b α4...a α 1 b α, missä α i Z, ku i {1,} ja α i Z\{0}, ku i / {1,}. Lähdeluettelo [1] David S. Dummit, Richard M. Foote: Abstract Algebra, Secod Editio. Joh Wiley & Sos, Ic., New York, [2] Markku Niememaa, Kari Myllylä, Topi Törmä: A Algebra perusteet, Luetoruko, Kevät

( ) 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

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

****************************************************************** ****************************************************************** 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

Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013

Dihedraalinen 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ä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

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

Jarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori

Jarkko 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ätiedot

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

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) 31.1.-4.2.2011 OT 1. Määritellään kokonaisluvuille laskutoimitus n m = n + m + 5. Osoita, että (Z, ) on ryhmä.

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

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

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

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

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

Tekijäryhmät ja homomorsmit

Tekijäryhmät ja homomorsmit Tekijäryhmät ja homomorsmit LuK-tutkielma Henna Isokääntä 1953004 henna.isokaanta@gmail.com Matemaattiset tieteet Oulun yliopisto Kevät 2019 Sisältö Johdanto 1 1 Tekijäryhmät 1 2 Homomorsmit 3 Lähdeluettelo

Lisätiedot

Johdanto 2. 2 Osamääräkunnan muodostaminen 7. 3 Osamääräkunnan isomorfismit 16. Lähdeluettelo 20

Johdanto 2. 2 Osamääräkunnan muodostaminen 7. 3 Osamääräkunnan isomorfismit 16. Lähdeluettelo 20 Osamääräkunta LuK-tutkielma Lauri Aalto Opiskelijanumero: 2379263 Matemaattisten tieteiden laitos Oulun yliopisto Kevät 2016 Sisältö Johdanto 2 1 Käsitteitä ja merkintöjä 3 2 Osamääräkunnan muodostaminen

Lisätiedot

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Kuvauksista 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ä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

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

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

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

on Abelin ryhmä kertolaskun suhteen. Tämän joukon alkioiden lukumäärää merkitään

on Abelin ryhmä kertolaskun suhteen. Tämän joukon alkioiden lukumäärää merkitään 5. Primitiivinen alkio 5.1. Täydennystä lukuteoriaan. Olkoon n Z, n 2. Palautettakoon mieleen, että kokonaislukujen jäännösluokkarenkaan kääntyvien alkioiden muodostama osajoukko Z n := {x Z n x on kääntyvä}

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

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

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

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

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

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

Käänteismatriisi 1 / 14

Käänteismatriisi 1 / 14 1 / 14 Jokaisella nollasta eroavalla reaaliluvulla on käänteisluku, jolla kerrottaessa tuloksena on 1. Seuraavaksi tarkastellaan vastaavaa ominaisuutta matriiseille ja määritellään käänteismatriisi. Jokaisella

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

HEIJASTUMINEN JA TAITTUMINEN

HEIJASTUMINEN JA TAITTUMINEN S-08-0 OPTIIKKA /6 HEIJASTUMINEN JA TAITTUMINEN Laboratoriotyö S-08-0 OPTIIKKA /6 Sisällysluettelo Teoria... 3 Työ suoritus... 4. Kokoaisheijastus... 4. Brewsteri kulma... 5 3 Mittauspöytäkirja... 6 S-08-0

Lisätiedot

Matriisi on suorakulmainen lukukaavio. Matriiseja ovat esimerkiksi: ,, x1 x. Matriiseihin perehtyminen voidaan perustella useilla järkisyillä.

Matriisi on suorakulmainen lukukaavio. Matriiseja ovat esimerkiksi: ,, x1 x. Matriiseihin perehtyminen voidaan perustella useilla järkisyillä. Vaasa yliopisto julkaisuja 71 4 MATRIISIT JA MATRIISILASKUT Ch:Matrix Sec:MatLaskut 4.1 Matriisi ja matriisilaskut Matriisi o suorakulmaie lukukaavio. Matriiseja ovat esimerkiksi: 2 0.4 8 0 a b,, x1 x

Lisätiedot

Algebra I, Harjoitus 6, , Ratkaisut

Algebra 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ä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

Transversaalit ja hajoamisaliryhmät

Transversaalit 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ätiedot

Luonnollisten lukujen ja kokonaislukujen määritteleminen

Luonnollisten lukujen ja kokonaislukujen määritteleminen Luonnollisten lukujen ja kokonaislukujen määritteleminen LuK-tutkielma Jussi Piippo Matemaattisten tieteiden yksikkö Oulun yliopisto Kevät 2017 Sisältö 1 Johdanto 2 2 Esitietoja 3 2.1 Joukko-opin perusaksioomat...................

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

6. Tekijäryhmät ja aliryhmät

6. Tekijäryhmät ja aliryhmät 6. Tekijäryhmät ja aliryhmät Tämän luvun tavoitteena on esitellä konstruktio, jota kutsutaan tekijäryhmän muodostamiseksi. Konstruktiossa lähdetään liikkeelle jostakin isosta ryhmästä, samastetaan alkioita,

Lisätiedot

1 Lineaariavaruus eli Vektoriavaruus

1 Lineaariavaruus eli Vektoriavaruus 1 Lineaariavaruus eli Vektoriavaruus 1.1 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä V epätyhjä joukko. Oletetaan, että joukossa V on määritelty laskutoimitus

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 G. Gripeberg Aalto-yliopisto 12. maaliskuuta 2015 G. Gripeberg (Aalto-yliopisto) MS-A0402 Diskreeti matematiika perusteet Yhteeveto, 12. osa maaliskuuta

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

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

802320A LINEAARIALGEBRA OSA I

802320A LINEAARIALGEBRA OSA I 802320A LINEAARIALGEBRA OSA I Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 72 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä

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

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

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

Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi TKK (c) Ilkka Mellin (2007) 1 Joukko-oppi >> Joukko-opin peruskäsitteet Joukko-opin perusoperaatiot Joukko-opin laskusäännöt Funktiot Tulojoukot

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

Syklinen ryhmä Pro Gradu -tutkielma Taava Kuha Matemaattisten tieteiden laitos Oulun yliopisto 2016

Syklinen ryhmä Pro Gradu -tutkielma Taava Kuha Matemaattisten tieteiden laitos Oulun yliopisto 2016 Syklinen ryhmä Pro Gradu -tutkielma Taava Kuha Matemaattisten tieteiden laitos Oulun yliopisto 2016 Sisältö Johdanto 2 1 Ryhmäteoriaa 4 1.1 Ryhmän määritelmä....................... 4 1.2 Kertaluku.............................

Lisätiedot

Seuraavat peruslauseet 1-8 voidaan helposti todistaa integraalin määritelmästä. Integroimisjoukko R oletetaan rajoitetuksi Jordanmitalliseksi

Seuraavat peruslauseet 1-8 voidaan helposti todistaa integraalin määritelmästä. Integroimisjoukko R oletetaan rajoitetuksi Jordanmitalliseksi Laaja matematiikka 5 Kevät 200 2. Itegraali omiaisuuksia Seuraavat peruslauseet -8 voidaa helposti todistaa itegraali määritelmästä. Itegroimisjoukko oletetaa rajoitetuksi Jordamitalliseksi joukoksi. Lause

Lisätiedot

EX1 EX 2 EX =

EX1 EX 2 EX = HY, MTL / Matemaattiste tieteide kadiohjelma Todeäköisyyslasketa IIb, syksy Harjoitus Ratkaisuehdotuksia Tehtäväsarja I. Olkoot X ja X riippumattomia satuaismuuttujia, joille ja olkoo X EX, EX, var X,

Lisätiedot

KOMPLEKSIANALYYSI I KURSSI SYKSY 2012

KOMPLEKSIANALYYSI I KURSSI SYKSY 2012 KOMPLEKSIANALYYSI I KURSSI SYKSY 2012 RITVA HURRI-SYRJÄNEN 2. Kompleksitason topologiaa Kompleksianalyysi on kompleksiarvoisten kompleksimuuttujien funktioiden teoriaa. Tällä kurssilla käsittelemme vain

Lisätiedot

Eräs matematiikassa paljon hyödynnetty summa on ns. luonnollisten lukujen neliöiden summa n.

Eräs matematiikassa paljon hyödynnetty summa on ns. luonnollisten lukujen neliöiden summa n. POHDIN projekti Neliöide summa Lukujoo : esimmäise jäsee summa kirjoitetaa tavallisesti muotoo S ai i 1. Aritmeettisesta lukujoosta ja geometrisesta lukujoosta muodostetut summat voidaa johtaa varsi helposti.

Lisätiedot

Algebra I, harjoitus 8,

Algebra I, harjoitus 8, Algebra I, harjoitus 8, 4.-5.11.2014. 1. Olkoon G ryhmä ja H sen normaali aliryhmä. Todista, että tällöin G/H on ryhmä, kun määritellään laskutoimitus joukossa G/H asettamalla aina, kun x, y G (lauseen

Lisätiedot

YKSIULOTTEINEN JÄNNITYSTILA

YKSIULOTTEINEN JÄNNITYSTILA YKSIULOTTEINEN JÄNNITYSTILA Normaalijäits N N Leikkausjäits Q Q KAKSIULOTTEINEN JÄNNITYSTILA Lerakee STRE SS CONTOURS OF SE 4.4483 8.8966 4.345 65.793 7.4 48.69 9.38 33.586 373.35 Ma 45.4 At Node 438 Mi.9

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

Noora Nieminen. Hölderin epäyhtälö

Noora Nieminen. Hölderin epäyhtälö Noora Niemie Hölderi epäyhtälö Matematiika aie Turu yliopisto 4. huhtikuuta 2008 Sisältö 1 Johdato 1 2 Cauchy-Schwarzi epäyhtälö 2 2.1 Cauchy-Schwarzi epäyhtälö todistus............. 2 2.2 Aritmeettis-geometrise

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

Tilastollinen todennäköisyys

Tilastollinen todennäköisyys Tilastollie todeäköisyys TOD.NÄK JA TILASTOT, MAA10 Klassisessa todeäköisyydessä oli ehdot: äärellisyys ja symmetrisyys. Tämä tilae o usei mahdoto ts. alkeistapauksia o usei ääretö määrä tai e eivät ole

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

2 u = 0. j=1. x 2 j=1. Siis funktio v saavuttaa suurimman arvonsa jossakin alueen Ω pisteessä x. Pisteessä x = x on 2 v. (x ) 0.

2 u = 0. j=1. x 2 j=1. Siis funktio v saavuttaa suurimman arvonsa jossakin alueen Ω pisteessä x. Pisteessä x = x on 2 v. (x ) 0. 0. Maksimiperiaate Laplace-yhtälölle 0.. Maksimiperiaate. Alueessa Ω R määritelty kaksi kertaa erivoituva fuktio u o harmoie, jos u = j= = 0. 2 u x 2 j Lause 0.. Olkoot Ω R rajoitettu alue ja u C(Ω) C

Lisätiedot

g : R R, g(a) = g i a i. Alkio g(a) R on polynomin arvo pisteessä a. Jos g(a) = 0, niin a on polynomin g(x) nollakohta.

g : R R, g(a) = g i a i. Alkio g(a) R on polynomin arvo pisteessä a. Jos g(a) = 0, niin a on polynomin g(x) nollakohta. ALGEBRA II 27 on homomorfismi. Ensinnäkin G(a + b) a + b G(a)+G(b) (f), G(ab) ab G(a)G(b) G(a) G(b) (f), ja koska kongruenssien vasempien ja oikeiden puolten asteet ovat pienempiä kuin f:n aste, niin homomorfiaehdot

Lisätiedot

Eräitä ratkeavuustarkasteluja

Eräitä ratkeavuustarkasteluja Eräitä ratkeavuustarkasteluja Pro gradu-tutkielma Milla Jantunen 2124227 Matemaattisten tieteiden laitos Oulun yliopisto Kevät 2014 Sisältö 1 Ryhmät ja aliryhmät 3 1.1 Ryhmä...............................

Lisätiedot

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

Algebra 1, harjoitus 9, h = xkx 1 xhx 1. a) Käytetään molemmissa tapauksissa isomorfialausetta. Tarkastellaan kuvauksia Algebra 1, harjoitus 9, 11.-12.11.2014. 1. Olkoon G ryhmä ja H G normaali aliryhmä. Tiedetään, että tällöin xhx 1 H kaikilla x G. Osoita, että itse asiassa xhx 1 = H kaikilla x G. Ratkaisu: Yritetään osoittaa,

Lisätiedot

Lineaariset kongruenssiyhtälöryhmät

Lineaariset kongruenssiyhtälöryhmät Lineaariset kongruenssiyhtälöryhmät LuK-tutkielma Jesse Salo 2309369 Matemaattisten tieteiden laitos Oulun yliopisto Sisältö Johdanto 2 1 Kongruensseista 3 1.1 Kongruenssin ominaisuuksia...................

Lisätiedot

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

Valitsemalla 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

802355A Algebralliset rakenteet Luentorunko Syksy Markku Niemenmaa Kari Myllylä Topi Törmä Marko Leinonen

802355A Algebralliset rakenteet Luentorunko Syksy Markku Niemenmaa Kari Myllylä Topi Törmä Marko Leinonen 802355A Algebralliset rakenteet Luentorunko Syksy 2016 Markku Niemenmaa Kari Myllylä Topi Törmä Marko Leinonen Sisältö 1 Kertausta kurssilta Algebran perusteet 3 2 Renkaat 8 2.1 Renkaiden teoriaa.........................

Lisätiedot

1. Tarkastellaan esimerkissä 4.9 esiintynyttä neliön symmetriaryhmää

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

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

Luuppien ryhmistä Seminaariesitelmä Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2006

Luuppien ryhmistä Seminaariesitelmä Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2006 Luuppien ryhmistä Seminaariesitelmä Miikka Rytty Matemaattisten tieteiden laitos Oulun yliopisto 2006 Sisältö 1 Luupeista 2 1.1 Luupit ja niiden kertolaskuryhmät................. 2 2 Transversaalit 5 3

Lisätiedot

Luento 7 Luotettavuus Koherentit järjestelmät

Luento 7 Luotettavuus Koherentit järjestelmät Lueto 7 Luotettavuus Koheretit järjestelmät Ja-Erik Holmberg Systeemiaalyysi laboratorio Aalto-yliopisto perustieteide korkeakoulu PL 00, 00076 Aalto ja-erik.holmberg@riskpilot.fi Määritelmä Tarkasteltava

Lisätiedot

TIIVISTELMÄ OPINNÄYTETYÖSTÄ (liite FM-tutkielmaan) Luonnontieteellinen tiedekunta

TIIVISTELMÄ OPINNÄYTETYÖSTÄ (liite FM-tutkielmaan) Luonnontieteellinen tiedekunta Oulun yliopisto TIIVISTELMÄ OPINNÄYTETYÖSTÄ (liite FM-tutkielmaan) Luonnontieteellinen tiedekunta Maisterintutkinnon kypsyysnäyte Laitos: Matemaattisten tieteiden laitos Tekijä (Sukunimi ja etunimet) Isopahkala

Lisätiedot

4. Ryhmien sisäinen rakenne

4. Ryhmien sisäinen rakenne 4. Ryhmien sisäinen rakenne Tässä luvussa tarkastellaan joitakin tapoja päästä käsiksi ryhmien sisäiseen rakenteeseen. Useimmat tuloksista ovat erityisen käyttökelpoisia äärellisten ryhmien tapauksessa.

Lisätiedot

Luupit Pro gradu Anni Keränen Matemaattisten tieteiden laitos Oulun yliopisto 2014

Luupit Pro gradu Anni Keränen Matemaattisten tieteiden laitos Oulun yliopisto 2014 Luupit Pro gradu Anni Keränen Matemaattisten tieteiden laitos Oulun yliopisto 2014 Sisältö Johdanto 2 1 Perusteita 3 1.1 Kuvauksista............................ 3 1.2 Relaatioista............................

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

Ratkeavista ryhmistä: teoriaa ja esimerkkejä

Ratkeavista ryhmistä: teoriaa ja esimerkkejä Ratkeavista ryhmistä: teoriaa ja esimerkkejä Pro Gradu-tutkielma Lauri Kangas 2192712 Matemaattisten tieteiden laitos Oulun yliopisto Kevät 2015 Sisältö 1 Perusteita 3 1.1 Ryhmät ja aliryhmät.......................

Lisätiedot

Otantajakauma. Otantajakauman käyttö päättelyssä. Otantajakauman käyttö päättelyssä

Otantajakauma. Otantajakauman käyttö päättelyssä. Otantajakauman käyttö päättelyssä Otatajakauma kuvaa tarkasteltava parametri jakauma eri otoksista laskettua parametria o joki yleesä tuusluku, esim. keskiarvo, suhteellie osuus, riskisuhde, korrelaatiokerroi, regressiokerroi, je. parametria

Lisätiedot

Ennakkotehtävän ratkaisu

Ennakkotehtävän ratkaisu Ennakkotehtävän ratkaisu Ratkaisu [ ] [ ] 1 3 4 3 A = ja B =. 1 4 1 1 [ ] [ ] 4 3 12 12 1 0 a) BA = =. 1 + 1 3 + 4 0 1 [ ] [ ] [ ] 1 0 x1 x1 b) (BA)x = =. 0 1 x 2 x [ ] [ ] [ 2 ] [ ] 4 3 1 4 9 5 c) Bb

Lisätiedot

Esko Turunen Luku 3. Ryhmät

Esko Turunen Luku 3. Ryhmät 3. Ryhmät Monoidia rikkaampi algebrallinen struktuuri on ryhmä: Määritelmä (3.1) Olkoon joukon G laskutoimitus. Joukko G varustettuna tällä laskutoimituksella on ryhmä, jos laskutoimitus on assosiatiivinen,

Lisätiedot

Derivaattaluvut ja Dini derivaatat

Derivaattaluvut ja Dini derivaatat Derivaattaluvut Dini derivaatat LuK-tutkielma Helmi Glumo 2434483 Matemaattisten tieteiden laitos Oulun yliopisto Syksy 2016 Sisältö Johdanto 2 1 Taustaa 2 2 Määritelmät 4 3 Esimerkkejä lauseita 7 Lähdeluettelo

Lisätiedot

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120 Tehtävä 1 : 1 Merkitään jatkossa kirjaimella H kaikkien solmujoukon V sellaisten verkkojen kokoelmaa, joissa on tasan kolme särmää. a) Jokainen verkko G H toteuttaa väitteen E(G) [V]. Toisaalta jokainen

Lisätiedot

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

Joukko-oppi. Joukko-oppi. Joukko-oppi. Joukko-oppi: Mitä opimme? Joukko-opin peruskäsitteet TKK () Ilkka Mellin (2004) 1 Joukko-oppi Liite: Joukko-oppi TKK () Ilkka Mellin (2004) 2 Joukko-oppi: Mitä opimme? Tämän liitteen tavoitteena on esitellä joukko-opin peruskäsitteet ja - operaatiot laajuudessa,

Lisätiedot

Pseudoalkuluvuista ja alkulukutestauksesta

Pseudoalkuluvuista ja alkulukutestauksesta TAMPEREEN YLIOPISTO Pro gradu -tutkielma Mia Salmi Pseudoalkuluvuista ja alkulukutestauksesta Luootieteide tiedekuta Matematiikka Kesäkuu 2017 Tamperee yliopisto Luootieteide tiedekuta SALMI, MINNA: Pseudoalkuluvuista

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

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ä. ja Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä. ja Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja

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

Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät 3-6 4 sivua Heikki Koivupalo ja Rami Luisto

Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät 3-6 4 sivua Heikki Koivupalo ja Rami Luisto Matematiikan ja tilastotieteen laitos Algebra I - Kesä 2009 Ratkaisuehdoituksia harjoituksiin 8 -Tehtävät 3-6 4 sivua Heikki Koivupalo ja Rami Luisto 3. Oletetaan, että kunnan K karakteristika on 3. Tutki,

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

Suurten poikkeamien teoriasta sovelluksena satunnaiskulku satunnaisessa ympäristössä. Kirjoittanut: Juha-Antti Isojärvi Ohjaaja: Jaakko Lehtomaa

Suurten poikkeamien teoriasta sovelluksena satunnaiskulku satunnaisessa ympäristössä. Kirjoittanut: Juha-Antti Isojärvi Ohjaaja: Jaakko Lehtomaa Suurte poikkeamie teoriasta sovelluksea satuaiskulku satuaisessa ympäristössä Kirjoittaut: Juha-Atti Isojärvi Ohjaaja: Jaakko Lehtomaa 20. lokakuuta 204 Tiivistelmä Pitkissä kolikoheittosarjoissa kruuie

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

Liite 2. Ryhmien ja kuntien perusteet

Liite 2. Ryhmien ja kuntien perusteet Liite 2. Ryhmien ja kuntien perusteet 1. Ryhmät 1.1 Johdanto Erilaisissa matematiikan probleemoissa törmätään usein muotoa a + x = b tai a x = b oleviin yhtälöihin, joissa tuntematon muuttuja on x. Lukujoukkoja

Lisätiedot

MAT Algebra 1(s)

MAT Algebra 1(s) 8. maaliskuuta 2012 Esipuhe Tämä luentokalvot sisältävät kurssin keskeiset asiat. Kalvoja täydennetään luennolla esimerkein ja todistuksin. Materiaali perustuu Jyväskylän, Helsingin ja Turun yliopistojen

Lisätiedot

Abstraktin algebran rakenteista sekä näiden välisistä morfismeista

Abstraktin algebran rakenteista sekä näiden välisistä morfismeista Abstraktin algebran rakenteista sekä näiden välisistä morfismeista Pro gradu -tutkielma Kari Kostama Matemaattisten tieteiden laitos Oulun yliopisto Kevät 2014 Sisältö Johdanto 2 1 Kahden alkion laskutoimitus

Lisätiedot

Diofantoksen yhtälön ratkaisut

Diofantoksen yhtälön ratkaisut Diofantoksen yhtälön ratkaisut Matias Mäkelä Matemaattisten tieteiden tutkinto-ohjelma Oulun yliopisto Kevät 2017 Sisältö Johdanto 2 1 Suurin yhteinen tekijä 2 2 Eukleideen algoritmi 4 3 Diofantoksen yhtälön

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

sitä vastaava Cliffordin algebran kannan alkio. Merkitään I = e 1 e 2 e n

sitä vastaava Cliffordin algebran kannan alkio. Merkitään I = e 1 e 2 e n Määritelmä 1.1 Algebran A keskus C on joukko C (A) = {a A ax = xa x A}. Lause 1. Olkoon Cl n Cliffordin algebra, jonka generoi joukko {e 1,..., e n }. Jos n on parillinen, niin C (Cl n ) = {λ λ R}. Jos

Lisätiedot

811312A Tietorakenteet ja algoritmit, , Harjoitus 3, Ratkaisu

811312A Tietorakenteet ja algoritmit, , Harjoitus 3, Ratkaisu 111A Tietoraketeet ja algoritmit, 016-017, Harjoitus, Ratkaisu Harjoitukse aiheita ovat algoritmie aikakompleksisuus ja lajittelualgoritmit Tehtävä.1 Selvitä seuraavie rekursioyhtälöide ratkaisuje kompleksisuusluokat

Lisätiedot

Vastauksia. Topologia Syksy 2010 Harjoitus 1

Vastauksia. Topologia Syksy 2010 Harjoitus 1 Topologia Syksy 2010 Harjoitus 1 (1) Olkoon X joukko ja (T j ) j J perhe X:n topologioita. Osoita, että T = {T j : j J} on X:n topologia. (2) Todista: Välit [a, b) muodostavat R 1 :n erään topologian kannan.

Lisätiedot

Normaalijakaumasta johdettuja jakaumia. Normaalijakaumasta johdettuja jakaumia. Normaalijakaumasta johdettuja jakaumia: Mitä opimme?

Normaalijakaumasta johdettuja jakaumia. Normaalijakaumasta johdettuja jakaumia. Normaalijakaumasta johdettuja jakaumia: Mitä opimme? TKK (c) Ilkka Melli (4) Johdato Johdatus todeäköisyyslasketaa TKK (c) Ilkka Melli (4) : Mitä opimme? / Tutustumme tässä luvussa seuraavii ormaalijakaumasta (ks. lukua Jatkuvia jakaumia) johdettuihi jakaumii:

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

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdoituksia harjoituksiin 8 (7 sivua)

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdoituksia harjoituksiin 8 (7 sivua) Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdoituksia harjoituksiin ( sivua).... Nämä ovat kurssin Algebra I harjoitustehtävien ratkaisuehdoituksia. Ratkaisut koostuvat kahdesta osiosta,

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