Luku 8. Ehrenfeucht-Fraïssé pelit. Osittaisisomorfismit
|
|
- Eeva-Liisa Keskinen
- 7 vuotta sitten
- Katselukertoja:
Transkriptio
1 Luku 8 Ehrenfeucht-Fraïssé pelit Osittaisisomorfismit Määritelmä 8.1Funktio p on osittaisisomorfismi S-mallilta A S-mallille B, p Part(A, B), jos dom(p) A, ran(p) B, p on injektio, ja p säilyttää struktuurin: (1) Jokaisella n-paikkaisella relaatiosymbolilla R S ja kaikilla a 1,...,a n dom(p) pätee: (a 1,...,a n ) R A (p(a 1 ),...,p(a n )) R B. (2) Jokaisella n-paikkaisella funktiosymbolilla f S ja kaikilla a 1,...,a n,a dom(p) pätee: f A (a 1,...,a n )=a f B (p(a 1 ),...,p(a n )) = p(a). (3) Jokaisella vakiosymbolilla c S ja kaikilla a dom(p) pätee: c A = a c B = p(a). Huomaa, että ylläolevan määritelmän mukaan tyhjä funktio on osittaisisomorfismi minkä hyvänsä kahden S-mallin välillä. Oletamme jatkossa, että symbolijoukko S on relationaalinen, eli S ei sisällä yhtään funktio- eikä vakiosymbolia. Tämä ei rajoita tarkastelejumme yleisyyttä, sillä jokainen n-paikkainen funktiosymboli f voidaan korvata (n + 1)-paikkaisella relaatiosymbolilla R f, kunhan tarkasteluissa otetaan mukaan lisäaksiooma x 1... x n y z(r f x 1...x n y R f x 1...x n z y z), joka sanoo, että R f on funktio. Apulause 8.1 Oletetaan, että S on relationaalinen, A ja B ovat S-malleja ja p : a i b i, i<n, on äärellinen funktio, missä dom(p) ={a 0,...,a n 1 } A ja ran(p) ={b 0,...,b n 1 } B. Tällöin p Part(A, B) jos ja vain jos jokaisella atomikaavalla ψ L n S pätee Todistus. Harjoitustehtävä. A = ψ[a 0,...,a n 1 ] B = ψ[b 0,...,b n 1 ]. Olkoot a =(a 0,...,a n 1 )ja b =(b 0,...,b n 1 ). Käytämme jatkossa merkintää a b funktiolle p, jolla p(a i )=b i jokaisella i<n. 74
2 Määritelmä 8.2S-mallit A ja B ovat äärellisesti isomorfiset, A = f B,joson olemassa jono (I n ) n N joukkoja siten, että I n Part(A, B) jokaisella n N, ja jolla pätee seuraavat Back ja Forth ehdot: (F) Jokaisella p I n+1 ja a A on olemassa b B, jolla p {(a, b)} I n. (B) Jokaisella p I n+1 ja b B on olemassa a A, jolla p {(a, b)} I n. Tällöin käytämme myös merkintää (I n ) n N : A = f B. Määritelmä 8.3S-mallit A ja B ovat osittaisisomorfiset, A = p B, jos on olemassa joukko I siten, että I Part(A, B), ja jolla pätee: (F) Jokaisella p I ja a A on olemassa b B, jolla p {(a, b)} I. (B) Jokaisella p I ja b B on olemassa a A, jolla p {(a, b)} I. Tällöin käytämme myös merkintää I : A = p B. Apulause 8.2 (a) Jos A = B, niin A = p B. (b) Jos A = p B, niin A = f B. (c) Jos A = f B ja A on äärellinen, niin A = B. (d) Jos A = p B ja A on numeroituva, niin A = B. Todistus. (a) Jos f on isomorfismi A = B, niin on helppo nähdä, että I : A = p B, missä I = {f}. (b) Oletetaan, että I : A = p B. Selvästi tällöin (I n ) n N : A = p B, missä I n = I jokaisella n N. (c) ja (d) luennolla. Esimerkki 8.1 Olkoot A =(A, < A )jab =(B,< B ) reunapisteettömiä tiheitä järjestyksiä, eli järjestyksiä, jotka toteuttavat seuraavat lauseet: x y(x <y) x y(y <x) x y(x <y z(x <z z<y)) ei ole olemassa suurinta alkiota ei ole olemassa pienintä alkiota järjestys on tiheä. Tällöin I : A = p B, missä I := {p p Part(A, B) onäärellinen}. Erityisesti siis reaalilukujen ja rationaalilukujen tavalliset järjestykset (R,< R )ja(q,< Q )ovat keskenään osittaisisomorfiset. Lemman 8.2(d) avulla saadaan nyt seuraava Cantorin Lause: Kaikki numeroituvat reunapisteettömät tiheät järjestykset ovat keskenään isomorfisia. Fraïssén lause Fraïssén lause on tulos, jonka mukaan kaksi S-mallia ovat elementaarisesti ekvivalentit jos ja vain jos ne ovat äärellisesti isomorfiset. Ennen kuin todistamme tämän tuloksen, määritelemme muutamia siihen tarvittavia käsitteitä. 75
3 Määritelmä 8.4Kaavan ϕ L S kvanttoriaste, qr(ϕ), määritellään rekursiolla seuraavasti: (1) qr(ϕ) = 0, kun ϕ on atomikaava, (2) qr( ϕ) =qr(ϕ), (3) qr(ϕ ψ) =max{qr(ϕ), qr(ψ)}, (4) qr( xϕ) =qr(ϕ)+1. Esimerkiksi kaavalla ϕ := x( yψ y zθ), missä ψ ja θ ovat kvanttorittomia kaavoja, pätee: qr(ϕ) =max{qr(ψ)+1, qr(θ)+2} +1=max{1, 2} +1=3. Määritelmä 8.5Olkoot A ja B S-malleja, a A r ja b B r. Parit (A,a)ja (B, b)ovatk-ekvivalentit, (A,a) k (B, b), jos kaikilla kaavoilla ϕ L r S, joilla qr(ϕ) k, pätee A = ϕ[a ] B = ϕ[ b]. Tapauksessa r = 0 jonot a ja b ovat tyhjiä, ja merkitsemme lyhyesti A k B. Tarvitsemme myös seuraavan rajoitetun version äärellisen isomorfismin käsitteestä. Määritelmä 8.6Olkoot A ja B S-malleja, a A r ja b B r. Parit (A,a) ja (B, b)ovatk-isomorfiset, (A,a) = k (B, b), jos on olemassa jono (I 0,...,I k ) joukkoja siten, että a b I k, I n Part(A, B) jokaisella n k, ja jolla pätee Määritelmän 8.2 ehdot (F) ja (B), kun n<k. Tällöin käytämme myös merkintää (I n ) n k :(A,a) = k (B, b). Jos r =0,käytämme taas lyhempiä merkintöjä A = k B ja (I n ) n k : A = k B. Huomaa, että tällöin a b on tyhjä funktio. Lopuksi tarvitsemme vielä seuraavia Hintikka-kaavoja; näiden määritelmää varten tarvitaan lisäoletus, että symbolijoukko on äärellinen. Määritelmä 8.7Olkoon S äärellinen relationaalinen symbolijoukko, A S-malli, a A r ja k N. Parin (A,a) k:s Hintikka-kaava, χ k A,a määritellään rekursiolla luvun k suhteen seuraavasti: (i) χ 0 A,a := {ϕ L r S ϕ on atomikaava tai atomikaavan negaatio, A = ϕ[a ]}, kun r>0; tapauksessa r =0ona = ja χ 0 A, := v 0(v 0 v 0 ); (ii) χ k+1 A,a := χk A,a a A v rχ k A,aa vr a A A,aa χk. Huomaa, että kohdassa (i) iso konjunktio on äärellinen, koska symbolijoukko S on äärellinen. Edelleen, jos oletetaan, että keskenään ei-ekvivalentteja Hintikkakaavoja χ k A,aa on vain äärellinen määrä, niin iso konjunktio ja disjunktio kohdassa (ii) ovat äärellisiä. Tästä taas seuraa, että myös Hintikka-kaavoja χ k+1 A,a on ekvivalenssia vaille vain äärellinen määrä. Siis induktiolla luvun k suhteen voidaan todistaa, että kukin χ k A,a on S-kaava. 76
4 Jos r = 0, eli a on tyhjä jono, merkitsemme Hintikka-kaavaa χ k A,a = χk A, lyhyesti symbolilla χ k A. Apulause 8.3 Olkoon A S-malli ja a A r.tällöin (a) qr(χ k A,a )=k (paitsi jos k = r =0, jolloin qr(χ0 A )=1). (b) A = χ k A,a [a ]. (c) Jos B = χ k A,a [ b], niin a b Part(A, B). Todistus. Harjoitustehtävä. Nyt voimme muotoilla k-ekvivalenssin karakterisoinnin k-isomorfisuuden avulla: Lause 8.4 Olkoon S äärellinen relationaalinen symbolijoukko, k N, A ja B S-malleja, a A r ja b B r.tällöin seuraavat ehdot ovat yhtäpitäviä: (a) (A,a) k (B, b). (b) (A,a) = k (B, b). (c) B = χ k A,a [ b]. Todistus. Todistamme implikaatiot (a) (c), (c) (b) ja (b) (a). (a) (c): Oletetaan, että (A,a) k (B, b). Tällöin Apulauseen 8.3(b) mukaan A = χ k A,a [a ], ja koska Apulauseen 8.3(a) nojalla qr(χk A,a )=k, väite seuraa relaation k määritelmästä. (c) (b): Oletetaan, että B = χ k A,a [ b]. Määritellään joukot I n, n k, seuraavasti: I n := {a c b d c A k n, d B k n, B = χ n A,ac[ b d]}. Tällöin a b I k, sillä oletuksen perusteella B = χ n A,ac [ b d]pätee tapauksessa n = k ja c = d =. Edelleen Apulauseen 8.3(c) nojalla jokaisella n k pätee I n Part(A, B). Vielä pitää osoittaa, että ehdot (F) ja (B) ovat voimassa jokaisella n<k. Oletetaan ehdon (F) todistamista varten, että p = a c b d I n+1 ja a A. Tällöin joukon I n+1 määritelmän mukaan pätee B = χ n+1 A,ac [ b d], joten erityisesti B = ( v r χ n A,aca )[ b d], missä r = r +(k n). Siis on olemassa b B siten, että B = χ n A,aca [ b db ]. Tästä jo seuraakin, että a c a b db = p {(a,b )} I n. Oletetaan seuraavaksi, että p = a c bd I n+1 ja b B. Tällöin B = χ n+1 A,ac [ bd], joten B = ( v r a A χn A,aca )[ bd], missä r = r +(k n). Siispä erityisesti B = a A χn A,aca [ bdb ], joten on olemassa a A, jolla B = χ n A,aca [ bdb ]. Joukon I n määritelmän nojalla nyt pätee a c a bdb = p {(a,b )} I n.näin olemme osoittaneet, ettämyös ehto (B) pätee. (b) (a): Oletetaan, että (I n ) n k : (A,a) = k (B, b). Todistamme induktiolla kaavan ϕ L r+k n S suhteen, että josqr(ϕ) n ja a c bd I n, niin ( ) A = ϕ[a c ] B = ϕ[ b d]. 77
5 Jos ϕ on atomikaava, väite ( ) seuraa oletuksesta I n Part(A, B). Jos ϕ = ψ tai ϕ = ψ θ, niin väite seuraa suoraviivaisesti induktio-oletuksesta. Oletetaan sitten, että ϕ = v l ψ. Voidaan olettaa, että l = r + k n, sillä muuten tarkastellaan kaavaa ϕ := v r+k n ψ[v r+k n /v l ], joka on ekvivalentti ϕ:n kanssa. Koska qr(ϕ) n, ontällöin qr(ψ) =qr(ϕ) 1 n 1. Oletetaan ehdon ( ) todistamiseksi ensin, että A = ϕ[a c ]. Siis on olemassa a A, jolla pätee A = ψ[a c a ]. Soveltamalla ehtoa (F) osittaisisomorfismiin a c bd ja alkioon a,nähdään, että on olemassa b B siten, että a c a bdb I n 1. Nyt induktio-oletuksesta seuraa, että ehto( ) pätee jonoille a c a ja bdb ja kaavalle ψ. Siispä B = ψ[ bdb ], ja edelleen B = ϕ[ bd]. Implikaatio B = ϕ[ bd] A = ϕ[a c ] todistetaan samaan tapaan käyttämälläehtoa(b). Nyt voimme todistaa Fraïssén lauseen: Lause 8.5 (Fraïssén lause) Olkoon S äärellinen relationaalinen symbolijoukko ja A ja B S-malleja. Tällöin A B jos ja vain jos A = f B. Todistus. Oletetaan ensin, että A B. Selvästi tällöin A k B, joten Lauseen 8.4 perusteella A = k B jokaisella k N. Siis kullakin k on olemassa jono (J k n) n k joukkoja, joilla pätee Määritelmän 8.6 ehdot. Määritellään nyt jono (I n ) n N asettamalla I n = k n J k n, n N. Tällöin Määritelmän 8.6 nojalla J n n,joten I n jokaisella n N. Koska J k n Part(A, B) kaikilla n, k N, onmyös I n Part(A, B) kaikilla n N. Osoitetaan seuraavaksi, ettäehto(f)pätee jonolla (I n ) n N. Oletetaan tätä varten, että p I n+1 ja a A. Tällöin on olemassa k>n, jolla p J k n+1. Koska joukko J k n+1 toteuttaa ehdon (F), on olemassa b B siten, että p {(a, b)} J k n.koska J k n I n,pätee edelleen p {(a, b)} I n. Samalla tavalla nähdään, että myös ehto (B) pätee. Siispä (I n ) n N : A = f B. Oletetaan sitten, että (I n ) n N : A = f B.Tällöin on helppo todeta, että (I n ) n k toteuttaa Määritelmän 8.6 ehdot, joten A = k B jokaisella k. Siis Lauseen 8.4 nojalla jokaisella k N pätee A k B. Selvästi tästä seuraa, että A B. Fraïssén lauseessa joudutaan siis rajoittumaan tapaukseen, jossa symbolijoukko S on äärellinen. Tämä johtuu siitä, että implikaatio A B A = f B ei välttämättä päde, jos S on ääretön. Sen sijaan käänteinen implikaatio pätee myös äärettömilla symbolijoukoilla, kuten kohta nähdään. Tästä ongelmasta huolimatta elementaarinen ekvivalenssi voidaan karakterisoida äärellisen isomorfisuuden avulla. Palautamme tätä varten ensin mieleen mallin reduktin käsitteen: Jos S on symbolijoukko, S 0 S ja A on S-malli, niin sen S 0 - redukti on S 0 -malli A 0, jolla A 0 = A ja X A 0 = X A kaikilla symboleilla X S 0. Merkitsemme mallin A S 0 -reduktia symbolilla A S 0. 78
6 Apulause 8.6 Olkoon S relationaalinen symbolijoukko ja A ja B S-malleja. (a) A B A S 0 B S 0 jokaisella äärellisellä S 0 S. (b) A = f B = A S 0 =f B S 0 jokaisella äärellisellä S 0 S. Todistus. Luennolla. Seuraus 8.7 Olkoon S relationaalinen symbolijoukko ja A ja B S-malleja. (a) A B A S 0 =f B S 0 jokaisella äärellisellä S 0 S. (b) A = f B = A B. Todistus. (a) Väite seuraa suoraan Apulauseesta 8.6(a) ja Lauseesta 8.5. (b) Jos A = f B, niin Apulauseen 8.6(b) nojalla A S 0 =f B S 0 jokaisella äärellisellä S 0 S. Siis Lauseen 8.5 nojalla A S 0 B S 0 jokaisella äärellisellä S 0 S, mistä väite seuraa Apulauseen 8.6(a) nojalla. Ehrenfeucht-Fraïssé peli Fraïssén karakterisointi elementaariselle ekvivalenssille ja k-ekvivalenssille voidaan muotoilla myös seuraavan Ehrenfeucht-Fraïssé pelin avulla. Määritelmä 8.8Olkoot A ja B S-malleja, ja k N. Tällöin EFG k (A, B) on kahden pelaajan, S (spoiler) ja D (duplicator), välinen peli, jolla on seuraavat säännöt: Pelissä onk kierrosta. Kullakin kierroksella i<k, S valitsee ensin mallin C i {A, B} ja alkion c i C. Tämän jälkeen D vastaa valitsemalla alkion d i, joka kuuluu joukkoon B, josc i = A, ja muuten joukkoon A. Kun k kierrosta on pelattu, muodostetaan relaatio p = {(a i,b i ) i<k}, missä a i = c i ja b i = d i,josc i = A, jaa i = d i ja b i = c i,josc i = B. Pelaaja D voittaa pelatun erän, jos p Part(A, B). Jos näin ei ole, S voittaa erän. Pelissä EFG k (A, B) kiinnostavaa ei ole se, kumpi pelaajista voittaa yksittäisen pelierän. Paljon tärkeämpää on selvittää, kummalla pelaajista on voittostrategia: sanomme, että pelaajalla D (S) on voittostrategia pelissä EFG k (A, B), jos hänellä on systemaattinen tapa valita siirtonsa kaikissa pelitilanteissa niin, että hän voittaa pelin riippumatta pelaajan S (D) valitsemista siirroista. Huomaa, että tämä ei ole täsmällinen määritelmä voittostrategian käsitteelle; täsmällinen matemaattinen määritelmä voidaan muotoilla viittaamalla funktioihin f i, jotka liittävät jokaiseen pelaajan S tekemään siirtojen jonoon c 0,...,c i pelaajan S seuraavan siirron d i = f i (c 0,...,c i ). Sivuutamme tässä määritelmän yksityiskohdat. Lause 8.8 Olkoot A ja B S-malleja, ja k N. Tällöin A = k B jos ja vain jos pelaajalla D on voittostrategia pelissä EFG k (A, B). Todistus. Luennolla. 79
7 Ehrenfeucht-Fraïssé pelin sovelluksia Ehrenfeucht-Fraïssé pelien tärkein sovellus on määrittelemättömyystulosten todistamisessa. Sanomme, että luokka K S-malleja on määriteltävä, jos se on elementaarinen, eli on olemassa S-lause ϕ, jolla K =Mod S (ϕ). Lause 8.9 Olkoon K luokka S-malleja. Oletetaan, että jokaisellla k N on olemassa S-mallit A Kja B K, joilla A = k B.Tällöin K ei ole määriteltävä. Todistus. Tehdään vastaoletus: on olemassa S-lause ϕ, jolla K =Mod S (ϕ). Olkoon k =qr(ϕ) ja olkoon S 0 S äärellinen symbolijoukko, jolla ϕ L 0 S 0. Oletuksen nojalla on olemassa S-mallit A Kja B K, joilla A = k B.Tällöin A S 0 = ϕ ja A S 0 = k B S 0, joten Lauseen 8.4 nojalla pätee myös B S 0 = ϕ. Tämä on kuitenkin mahdotonta, koska B K. Käymme seuraavaksi läpi pari konkreettista esimerkkiä Lauseen 8.9 soveltamisesta. Esimerkki 8.2 Määritellään kullakin k 1 mallit A k =(A k,e A k )jabk = (B k,e B k ) seuraavasti: A k = B k := {0,...,k} {0,...,k 1}; E A k := {((i, j), (i, j )) A 2 k i<k+1jaj, j <k}; E B k := {((i, j), (i,j)) B 2 k i, i <k+1jaj<k}. Tällöin E A k on siis joukon Ak ekvivalenssirelaatio, jolla on k + 1 ekvivalenssiluokkaa {(i, 0),...,(i, k 1)}, i<k+ 1, joissa kussakin on k alkiota. Vastaavasti E B k on joukon Bk = A k ekvivalenssirelaatio, jolla on k ekvivalenssiluokkaa {(0,j),...,(k, j)}, j<k, joissa kussakin on k + 1 alkiota. Nyt on suoraviivaista osoittaa (HT), että (I n ) n k : A k = k B k, missä joukot I n määritellään seuraavasti: I n := {p Part(A k, B k ) dom(p) = k n}. Jos K on kaikkien niiden {E}-mallien C luokka, joilla E C on joukon C ekvivalenssirelaatio, jolla on enemmän ekvivalenssiluokkia kuin yhdessäkään luokassa on alkioita, niin A k Kja B k K kaikilla k 1. Siis Lauseen 8.9 perusteella K ei ole määriteltävä. Samalla tavalla nähdään, että luokka K := {C D C : D 2 > C ja D D E C } ei ole määriteltävä: B k K, sillä millä hyvänsä relaation E B k ekvivalenssiluokalla D pätee D D E B k ja D 2 =(k +1) 2 > (k +1)k = B k. Toisaalta A k K, sillä josd A k on osajoukko, jolla pätee D D E A k, niin D on jonkin E A k -ekvivalenssiluokan osajoukko, ja siten D 2 k 2 < (k +1)k = A k. 80
8 Esimerkki 8.3 Jos A =(A, A )onjärjestetty joukko, eli < A on joukon A (tiukka) järjestys, ja niin alkioiden a, b A etäisyys (järjestyksen < A suhteen) on niiden välissä olevien alkioiden lukumäärä plus 1: d(a, b) = {c A a< A c A b tai b< A c A a}. Siis d(a, a) =0,d(a, b) =d(b, a) jad(a, b) =d(a, c)+d(c, b) aina kun a A c A b. Huomaa, että jos alkioiden a ja b välissä on ääretön määrä alkioita, niin d(a, b) on ääretön kardinaaliluku, ja siten d(a, b) > r jokaisella r N. Tarkastellaan sitten kahta äärellistä järjestettyä joukkoa A ja B. Olkoot a A ja b B niiden pienimmät alkiot ja a A ja b B niiden suurimmat alkiot. Äärellinen osittaisisomorfismi p Part(A, B) säilyttää etäisyydet lukuun r N saakka, jos kuvauksella p + = p {(a,b ), (a,b )} pätee seuraava ehto: Jos a 1 ja a 2 ovat joukon dom(p + )peräkkäiset alkiot ja b 1 = p + (a 1 ),b 2 = p + (a 2 ), niin (E r ) d(a 1,a 2 )=d(b 1,b 2 ) tai d(a 1,a 2 ),d(b 1,b 2 ) r. Määritellään nyt joukot I n, n N, asettamalla I n := {p Part(A, B) p säilyttää etäisyydet lukuun 2 n saakka}. Huomaa, että joss r, niin selvästi ehto (E r ) seuraa ehdosta (E s ). Siis erityisesti I n+1 I n kaikilla n N. Osoitamme nyt, että nämä joukot toteuttavat laajennusehdon (F). Oletetaan siis, että p I n+1 ja a A. Tällöin on olemassa peräkkäiset joukon dom(p + ) alkiot a ja a siten, että a A a< A a. Olkoot b = p + (a )jab = p + (a ). Jaetaan tarkastelu etäisyyksien d(a,a)jad(a, a ) mukaan seuraaviin tapauksiin: (i) Oletetaan, että d(a,a),d(a, a ) 2 n.tällöin d(a,a )=d(a,a)+d(a, a ) 2 n +2 n =2 n+1,jakoskap + toteuttaa ehdon (E 2 n+1), on myös d(b,b ) 2 n+1. Siis on olemassa b B, jolla b < B b< B b,jad(b,b),d(b, b ) 2 n. Määritellään nyt q := p {(a, b)}, ja osoitetaan, että q I n. Oletetaan tätä varten, että a 1 ja a 2 ovat peräkkäiset joukon dom(q + ) alkiot ja b 1 = q + (a 1 ),b 2 = q + (a 2 ). Jos a {a 1,a 2 }, niin a 1,a 2 dom(p + ), jolloin ehto (E 2 n)pätee oletuksen p I n+1 I n perusteella. Jos taas a 1 = a tai a 2 = a, niin (a 1,a 2 )=(a, a )tai(a 1,a 2 )=(a,a), ja ehto (E 2 n)on voimassa, koska d(a,a),d(a, a ) 2 n ja d(b,b),d(b, b ) 2 n. (ii) Oletetaan, että d(a,a) < 2 n.tällöin on olemassa yksikäsitteinen b B, jolla b B b< B b ja d(a,a)=d(b,b). Määritellään nyt q = p {(a, b)} ja osoitetaan, että q I n. Olkoot siis a 1 ja a 2 peräkkäiset joukon dom(q + ) alkiot ja b 1 = q + (a 1 ),b 2 = q + (a 2 ). Jos a {a 1,a 2 }, niin nähdään kuten edellisessä kohdassa, että ehto (E 2 n)pätee. Jos a 2 = a, niin a 1 = a, jolloin ehto (E 2 n)pätee, koska d(a,a) = d(b,b). Oletetaan lopuksi, että a 1 = a, jolloin a 2 = a. Jos d(a, a ) = d(b, b ), on myös d(a,a )=d(a,a)+d(a, a ) = d(b,b)+d(b, b )=d(b,b ), 81
9 ja koska p I n+1, on oltava d(a,a ),d(b,b ) 2 n+1.koskad(a,a)= d(b,b) < 2 n,tästä seuraa, että d(a, a ),d(b, b ) 2 n. Siis joka tapauksessa ehto (E 2 n)pätee. (iii) Tapaus, jossa d(a, a ) < 2 n todistetaan samanlaisella päättelyllä. Aivan samalla tavalla voidaan todistaa, että myös laajennusehto (B) on voimassa joukoille I n. Lisäksi suoraan määritelmän perusteella I n Part(A, B) jokaisella n N. Siispä jono (I n ) n k toteuttaa Määritelmän 8.6 ehdot, jos lisäksi I k. Selvästi tämä pätee aina kun d(a,a ),d(b,b ) 2 k. Näin olemme osoittaneet, että A = k B kaikilla äärellisilläjärjestetyillä joukoilla A ja B, joissa on vähintään 2 k +1 alkiota. Siispä Lauseen 8.9 perusteella esimerkiksi seuraavat luokat eivät ole määriteltäviä: K even := {A A on järjestetty joukko, jolla A on parillinen} K prime := {A A on järjestetty joukko, jolla A on alkuluku}. 82
Induktio kaavan pituuden suhteen
Induktio kaavan pituuden suhteen Lauselogiikan objektikieli määritellään kurssilla Logiikka 1B seuraavasti: 1. Lausemuuttujat p 1, p 2, p 3,... ovat kaavoja. 2. Jos A on kaava, niin A on kaava. 3. Jos
LisätiedotEhrenfeucht-Fraïssé-pelistä
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Hanna Sulonen Ehrenfeucht-Fraïssé-pelistä Informaatiotieteiden yksikkö Matematiikka 2012 2 Tampereen yliopisto Informaatiotieteiden yksikkö SULONEN, HANNA: Ehrenfeucht-Fraïssé-pelistä
LisätiedotEhrenfeuchtin ja Fraïssén peli
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Piia Nieminen Ehrenfeuchtin ja Fraïssén peli Matematiikan ja tilastotieteen laitos Matematiikka Marraskuu 2008 Tampereen yliopisto Matematiikan ja tilastotieteen
LisätiedotLokaalisuus ja määriteltävyys
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Heini Lehtipuu Lokaalisuus ja määriteltävyys Luonnontieteiden tiedekunta Matematiikka Toukokuu 2017 2 Tampereen yliopisto Luonnontieteiden tiedekunta LEHTIPUU,
LisätiedotÄärellisten mallien teoria
Äärellisten mallien teoria Harjoituksen 4 ratkaisut Tehtävä 1. Määritä suurin aste k, johon saakka kuvan verkot G ja G ovat osittaisesti isomorfisia: Ratkaisu 1. Huomataan aluksi, että G =4 G : Ehrenfeucht-Fraïssé
LisätiedotLuento 6. June 1, 2015. Luento 6
June 1, 2015 Normaalimuodon pelissä on luontevaa ajatella, että pelaajat tekevät valintansa samanaikaisesti. Ekstensiivisen muodon peleissä pelin jonottaisella rakenteella on keskeinen merkitys. Aluksi
LisätiedotSeuraus 4.2 Kaavajoukko Φ on ristiriidaton jos ja vain jos on olemassa kaava ϕ, jolla Φ ϕ.
Luku 4 Täydellisyyslause Ristiriidattomuus ja toteutuvuus Määritelmä 4.1Olkoon Φ L S kaavajoukko. (a) Φ on ristiriidaton eli konsistentti, Con(Φ), jos ei ole olemassa kaavaa ϕ, jolla Φ ϕ ja Φ ϕ. (b) Φ
LisätiedotÄärellisten mallien teoria
Äärellisten mallien teoria Harjoituksen 7 ratkaisut (Hannu Niemistö) Tehtävä 1 Olkoot G ja H äärellisiä verkkoja, joilla kummallakin on l yhtenäistä komponenttia Olkoot G i, i {0,,l 1}, verkon G ja H i,
LisätiedotLuku 5. Löwenheimin ja Skolemin lause. kompaktisuuslause. Tässä luvussa tutustumme tärkeimpiin täydellisyyslauseen (ja sen todistuksen) seurauksiin.
Luku 5 Löwenheimin ja Skolemin lause, kompaktisuuslause Tässä luvussa tutustumme tärkeimpiin täydellisyyslauseen (ja sen todistuksen) seurauksiin. Löwenheimin ja Skolemin lause Sanomme, että kaavajoukko
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ätiedotÄärellisten mallien teoria
Äärellisten mallien teoria Harjoituksen 5 ratkaisut (Hannu Niemistö) Tehtävä 1 OlkootGjaG neljän solmun verkkoja Määritä, milloing = 2 G eli verkot ovat osittaisesti isomorfisia kahden muuttujan suhteen
LisätiedotJohdatus diskreettiin matematiikkaan Harjoitus 7, 28.10.2015
Johdatus diskreettiin matematiikkaan Harjoitus 7, 28.10.2015 1. Onko olemassa yhtenäistä verkkoa, jossa (a) jokaisen kärjen aste on 6, (b) jokaisen kärjen aste on 5, ja paperille piirrettynä sivut eivät
Lisätiedot1.1. Määritelmä. a) Termit ovat merkkijonoja, jotka muodostuvat induktiivisesti. k 1
Tähän mennessä aakkoston rooli on jäänyt mallin käsitteessä hivenen irralliseksi seikaksi, sillä symboleita on käytetty lähinnä mallin rakenneosien (funktioiden, relaatioiden ja vakioiden) indeksoimiseen.
LisätiedotJOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 3, MALLIRATKAISUT
JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 3, MALLIRATKAISUT Tehtävä 1. (i) Olkoot n, d 1 ja d n. Osoita, että (k, n) d jos ja vain jos k ad, missä (a, n/d) 1. (ii) Osoita, että jos (m j, m k ) 1 kun
LisätiedotInsinöörimatematiikka A
Insinöörimatematiikka A Mika Hirvensalo mikhirve@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2018 Mika Hirvensalo mikhirve@utu.fi Luentoruudut 3 1 of 23 Kertausta Määritelmä Predikaattilogiikan
LisätiedotMAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen
MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen Tehtävä 1. Onko joukon X potenssijoukon P(X) laskutoimitus distributiivinen laskutoimituksen suhteen? Onko laskutoimitus distributiivinen laskutoimituksen
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ä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ätiedota k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx
x x x x x x x x Matematiikan johdantokurssi, syksy 08 Harjoitus, ratkaisuista Hanoin tornit -ongelma: Tarkastellaan kolmea pylvästä A, B ja C, joihin voidaan pinota erikokoisia renkaita Lähtötilanteessa
LisätiedotEsitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:
MATP00 Johdatus matematiikkaan Ylimääräisten tehtävien ratkaisuehdotuksia. Osoita, että 00 002 < 000 000. Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa. Lähdetään sieventämään epäyhtälön
LisätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Roosa Niemi. Riippuvuuslogiikkaa
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Roosa Niemi Riippuvuuslogiikkaa Informaatiotieteiden yksikkö Matematiikka Syyskuu 2011 Tampereen yliopisto Informaatiotieteiden yksikkö ROOSA NIEMI: Riippuvuuslogiikkaa
LisätiedotBüchin lause ja transitiivisen sulkeuman logiikat
TAMPEREEN YLIOPISTO Matematiikan Pro Gradu -tutkielma Outi Vatula Büchin lause ja transitiivisen sulkeuman logiikat Matematiikan, tilastotieteen ja filosofian laitos Matematiikka Joulukuu 2005 TAMPEREEN
LisätiedotLogiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.
TIE303 Formaalit menetelmät, kevät 2005 Logiikan kertausta Antti-Juhani Kaijanaho antkaij@mit.jyu.fi Jyväskylän yliopisto Tietotekniikan laitos TIE303 Formaalit mentetelmät, 2005-01-27 p. 1/17 Luento2Luentomoniste
LisätiedotLuonnollisen päättelyn luotettavuus
Luonnollisen päättelyn luotettavuus Luotettavuuden todistamiseksi määrittelemme täsmällisesti, milloin merkkijono on deduktio. Tässä ei ole sisällytetty päättelysääntöihin iteraatiosääntöä, koska sitä
LisätiedotMatematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 8 1 Derivaatta Tarkastellaan funktion f keskimääräistä muutosta tietyllä välillä ( 0, ). Funktio f muuttuu tällä välillä määrän. Kun tämä määrä jaetaan välin pituudella,
Lisätiedotmonissa laskimissa luvun x käänteisluku saadaan näyttöön painamalla x - näppäintä.
.. Käänteisunktio.. Käänteisunktio Mikäli unktio : A B on bijektio, niin joukkojen A ja B alkioiden välillä vallitsee kääntäen yksikäsitteinen vastaavuus eli A vastaa täsmälleen yksi y B, joten myös se
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ä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ätiedotPredikaattilogiikan malli-teoreettinen semantiikka
Predikaattilogiikan malli-teoreettinen semantiikka February 4, 2013 Muistamme, että predikaattilogiikassa aakkosto L koostuu yksilövakioista c 0, c 1, c 2,... ja predikaattisymboleista P, R,... jne. Ekstensionaalisia
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ätiedot(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.
Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Tietyn ominaisuuden samuus -relaatio on ekvivalenssi; se on (1) refleksiivinen,
LisätiedotLuonnollisten lukujen laskutoimitusten määrittely Peanon aksioomien pohjalta
Simo K. Kivelä, 15.4.2003 Luonnollisten lukujen laskutoimitusten määrittely Peanon aksioomien pohjalta Aksioomat Luonnolliset luvut voidaan määritellä Peanon aksioomien avulla. Tarkastelun kohteena on
Lisätiedot1. Logiikan ja joukko-opin alkeet
1. Logiikan ja joukko-opin alkeet 1.1. Logiikkaa 1. Osoita totuusarvotauluja käyttäen, että implikaatio p q voidaan kirjoittaa muotoon p q, ts. että propositio (p q) ( p q) on identtisesti tosi. 2. Todista
LisätiedotMatematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus.
Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus. Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden
LisätiedotEsko Turunen MAT Algebra1(s)
Määritelmä (4.1) Olkoon G ryhmä. Olkoon H G, H. Jos joukko H varustettuna indusoidulla laskutoimituksella on ryhmä, se on ryhmän G aliryhmä. Jos H G on ryhmän G aliryhmä, merkitään usein H G, ja jos H
LisätiedotDiskreetit rakenteet
Diskreetit rakenteet 811120P 5 op 7. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 Mikä on verkko? verkko (eli graafi) koostuu solmuista ja väleistä, jotka yhdistävät solmuja
LisätiedotDISKREETTIÄ MATEMATIIKKAA.
Heikki Junnila DISKREETTIÄ MATEMATIIKKAA. LUKU I JOUKOT JA RELAATIOT 0. Merkinnöistä.... 1 1. Relaatiot ja kuvaukset..... 3 2. Luonnolliset luvut. Induktio.... 9 3. Äärelliset joukot.... 14 4. Joukon ositukset.
LisätiedotTAMPEREEN YLIOPISTO Pro gradu -tutkielma. Mari Herranen. Ultratulo
TAMPEREEN YLIOPISTO Pro gradu -tutkielma Mari Herranen Ultratulo Informaatiotieteiden yksikkö Matematiikka Marraskuu 2015 Tampereen yliopisto Informaatiotieteiden yksikkö HERRANEN, MARI: Ultratulo Pro
Lisätiedot[a] ={b 2 A : a b}. Ekvivalenssiluokkien joukko
3. Tekijälaskutoimitus, kokonaisluvut ja rationaaliluvut Tässä luvussa tutustumme kolmanteen tapaan muodostaa laskutoimitus joukkoon tunnettujen laskutoimitusten avulla. Tätä varten määrittelemme ensin
LisätiedotDiskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8
Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8 Tuntitehtävät 1-2 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 5- loppuviikon harjoituksissa. Kotitehtävät 3-4 tarkastetaan loppuviikon
LisätiedotApprobatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.
Approbatur 3, demo 1, ratkaisut 1.1. A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat. Käydään kaikki vaihtoehdot läpi. Jos A on rehti, niin B on retku, koska muuten
Lisätiedot-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi
-Matematiikka on aksiomaattinen järjestelmä -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -mustavalkoinen: asia joko on tai ei (vrt. humanistiset tieteet, ei
Lisätiedota) Mitkä seuraavista ovat samassa ekvivalenssiluokassa kuin (3, 8), eli kuuluvat joukkoon
Matematiikan johdantokurssi, syksy 08 Harjoitus 3, ratkaisuista. Kokonaisluvut määriteltiin luonnollisten lukujen avulla ekvivalenssiluokkina [a, b], jotka määrää (jo demoissa ekvivalenssirelaatioksi osoitettu)
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ätiedotRatkaisu: Käytetään induktiota propositiolauseen A rakenteen suhteen. Alkuaskel. A = p i jollain i N. Koska v(p i ) = 1 kaikilla i N, saadaan
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 2 Ratkaisuehdotukset 1. Olkoon totuusjakauma v sellainen että v(p i ) = 1 kaikilla i N ja A propositiolause, jossa
LisätiedotT Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet )
T-79144 Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 7 (opetusmoniste, kappaleet 11-22) 26 29102004 1 Ilmaise seuraavat lauseet predikaattilogiikalla: a) Jokin porteista on viallinen
LisätiedotDeterminoiruvuuden aksiooma
Determinoiruvuuden aksiooma Vadim Kulikov Esitelma 12 Maaliskuuta 2008 Tiivistelma. Valinta-aksioomasta seuraa, etta Leb(R) ( P(R), eli on olemassa epamitallisia joukkoja. Tassa esitelmassa nahdaan, etta
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ätiedotEsko 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ätiedotmissä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!
Matematiikan johdantokurssi Kertausharjoitustehtävien ratkaisuja/vastauksia/vihjeitä. Osoita todeksi logiikan lauseille seuraava: P Q (P Q). Ratkaisuohje. Väite tarkoittaa, että johdetut lauseet P Q ja
Lisä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ä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ätiedotHieman joukko-oppia. A X(A a A b A a b).
Hieman joukko-oppia Seuraavassa esittelen hieman alkeellista joukko-oppia. Päämääränäni on saada käyttöön hyvinjärjestyslause, jota tarvitsemme myöhemmin eräissä todistuksissa. Esitykseni on aika, vaikkei
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ä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ätiedotKurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.
HY / Avoin ylioisto Johdatus yliopistomatematiikkaan, kesä 05 Harjoitus 6 Ratkaisut palautettava viimeistään tiistaina.6.05 klo 6.5. Huom! Luennot ovat salissa CK maanantaista 5.6. lähtien. Kurssikoe on
LisätiedotVieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne.
Aloitus Vieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne. Mitkä seuraavista väitteistä ovat tosia? A. 6 3 N B. 5 Z
LisätiedotVerkkojen elementaarinen ekvivalenssi
Verkkojen elementaarinen ekvivalenssi Mikko Männikkö pro gradu -tutkielma Matematiikan ja tilastotieteen laitos Helsingin yliopisto Lokakuu 2004 Sisältö 1. Johdanto 3 2. Perusteet 4 2.1 Verkot 4 2.2 Ensimmäisen
LisätiedotKarteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21
säilyy Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla c b a 1 2 3 5 1 / 21 säilyy Esimerkkirelaatio R = {(1, b), (3, a), (5, a), (5, c)} c b a 1
Lisätiedot{I n } < { I n,i n } < GL n (Q) < GL n (R) < GL n (C) kaikilla n 2 ja
5. Aliryhmät Luvun 4 esimerkeissä esiintyy usein ryhmä (G, ) ja jokin vakaa osajoukko B G siten, että (B, B ) on ryhmä. Määrittelemme seuraavassa käsitteitä, jotka auttavat tällaisten tilanteiden käsittelyssä.
LisätiedotJohdatus diskreettiin matematiikkaan Harjoitus 2, Osoita että A on hyvin määritelty. Tee tämä osoittamalla
Johdatus diskreettiin matematiikkaan Harjoitus 2, 23.9.2015 1. Osoita että A on hyvin määritelty. Tee tämä osoittamalla a) että ei ole olemassa surjektiota f : {1,, n} {1,, m}, kun n < m. b) että a) kohdasta
LisätiedotDerivaatta, interpolointi, L6
, interpolointi, L6 1 Wikipeia: (http://fi.wikipeia.org/wiki/ ) Etälukio: (http://193.166.43.18/etalukio/ pitka_matematiikka/kurssi7/maa7_teoria10.html ) Maths online: (http://www.univie.ac.at/future.meia/
LisätiedotDiskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista
Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista 1. Olkoot (E, ) ja (F, ) epätyhjiä järjestettyjä joukkoja. Määritellään joukossa E F relaatio L seuraavasti: [ (x, y)l(x, y ) ] [ (x < x )
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ä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ä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ätiedotMatematiikan tukikurssi 3.4.
Matematiikan tukikurssi 3.4. Neliömuodot, Hessen matriisi, deiniittisyys, konveksisuus siinä tämän dokumentin aiheet. Neliömuodot ovat unktioita, jotka ovat muotoa T ( x) = x Ax, missä x = (x 1,, x n )
Lisätiedoton 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ätiedot1 Logiikkaa. 1.1 Logiikan symbolit
1 Logiikkaa Tieteessä ja jokapäiväisessä elämässä joudutaan tekemään päätelmiä. Logiikassa tutkimuskohteena on juuri päättelyt. Sen sijaan päätelmien sisältöön ei niinkäään kiinnitetä huomiota. Päätelmät
Lisätiedotmissä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!
Matematiikan johdantokurssi Kertausharjoitustehtävien ratkaisuja/vastauksia/vihjeitä. Osoita todeksi logiikan lauseille seuraava: P Q (P Q). Ratkaisuohje. Väite tarkoittaa, että johdetut lauseet P Q ja
Lisä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ä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ätiedotMitta ja integraaliteoria. Sirkka-Liisa Eriksson ja Pasi Vahimaa Tampereeen teknillinen yliopisto PL 553 33101 Tampere
Mitta ja integraaliteoria. Sirkka-Liisa Eriksson ja Pasi Vahimaa Tampereeen teknillinen yliopisto PL 553 33101 Tampere 2 Sisältö 1 Kertausta 7 1.1 Reaaliluvut............................ 7 1.2 Laajennettujen
LisätiedotRAKKAUS MATEMAATTISENA RELAATIONA
RAKKAUS MATEMAATTISENA RELAATIONA HEIKKI PITKÄNEN 1. Johdanto Määritelmä 1. Olkoon I ihmisten joukko ja a, b I. Määritellään relaatio : a b a rakastaa b:tä. Huomautus 2. Määritelmässä esiintyvälle käsitteelle
LisätiedotPRO GRADU -TUTKIELMA. Satu Vahtera. 0 1 lait äärellisissä malleissa
PRO GRADU -TUTKIELMA Satu Vahtera 0 1 lait äärellisissä malleissa TAMPEREEN YLIOPISTO Informaatiotieteiden yksikkö Matematiikka Tammikuu 2012 2 Tampereen yliopisto Informaatiotieteiden yksikkö VAHTERA,
LisätiedotMatematiikan tukikurssi
Matematiikan tukikurssi Kurssikerta 1 1 Matemaattisesta päättelystä Matemaattisen analyysin kurssin (kuten minkä tahansa matematiikan kurssin) seuraamista helpottaa huomattavasti, jos opiskelija ymmärtää
LisätiedotLuku 7. Ratkeamattomuus ja epätäydellisyys. Predikaattilogiikan ratkeamattomuus
Luku 7 Ratkeamattomuus ja epätäydellisyys Predikaattilogiikan ratkeamattomuus Totesimme aikaisemmin Esimerkissä 6.7, että kaikkien validien S-lauseiden joukko VAL S on R-numeroituva. Osoitamme kohta, ettätämä
Lisätiedot5.2 Eulerin kehät ja -polut
5.2 Eulerin kehät ja -polut Königsbergin sillat: onko mahdollista tehdä (kuivin jaloin) kävelyretki siten, että jokainen silta kuljetaan tasan kerran Eulerin polku on verkon polku, joka kulkee jokaisen
LisätiedotTehtävä 4 : 2. b a+1 (mod 3)
Tehtävä 4 : 1 Olkoon G sellainen verkko, jonka solmujoukkona on {1,..., 9} ja jonka särmät määräytyvät oheisen kuvan mukaisesti. Merkitään lisäksi kirjaimella A verkon G kaikkien automorfismien joukkoa,
LisätiedotAlgebra 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ätiedot1 Lukujen jaollisuudesta
Matematiikan mestariluokka, syksy 2009 1 1 Lukujen jaollisuudesta Lukujoukoille käytetään seuraavia merkintöjä: N = {1, 2, 3, 4,... } Luonnolliset luvut Z = {..., 2, 1, 0, 1, 2,... } Kokonaisluvut Kun
LisätiedotShorin algoritmin matematiikkaa Edvard Fagerholm
Edvard Fagerholm 1 Määritelmiä Määritelmä 1 Ryhmä G on syklinen, jos a G s.e. G = a. Määritelmä 2 Olkoon G ryhmä. Tällöin alkion a G kertaluku ord(a) on pienin luku n N \ {0}, jolla a n = 1. Jos lukua
Lisätiedot8. Avoimen kuvauksen lause
116 FUNKTIONAALIANALYYSIN PERUSKURSSI 8. Avoimen kuvauksen lause Palautamme aluksi mieleen Topologian kursseilta ehkä tutut perusasiat yleisestä avoimen kuvauksen käsitteestä. Määrittelemme ensin avoimen
LisätiedotH = : a, b C M. joten jokainen A H {0} on kääntyvä matriisi. Itse asiassa kaikki nollasta poikkeavat alkiot ovat yksiköitä, koska. a b.
10. Kunnat ja kokonaisalueet Määritelmä 10.1. Olkoon K rengas, jossa on ainakin kaksi alkiota. Jos kaikki renkaan K nollasta poikkeavat alkiot ovat yksiköitä, niin K on jakorengas. Kommutatiivinen jakorengas
Lisätiedotkaikille a R. 1 (R, +) on kommutatiivinen ryhmä, 2 a(b + c) = ab + ac ja (b + c)a = ba + ca kaikilla a, b, c R, ja
Renkaat Tarkastelemme seuraavaksi rakenteita, joissa on määritelty kaksi binääristä assosiatiivista laskutoimitusta, joista toinen on kommutatiivinen. Vaadimme muuten samat ominaisuudet kuin kokonaisluvuilta,
LisätiedotRelaatioista. 1. Relaatiot. Alustava määritelmä: Relaatio on kahden (tai useamman, saman tai eri) joukon alkioiden välinen ominaisuus tai suhde.
Relaatioista 1. Relaatiot. Alustava määritelmä: Relaatio on kahden (tai useamman, saman tai eri) joukon alkioiden välinen ominaisuus tai suhde. Esimerkkejä Kokonaisluvut x ja y voivat olla keskenään mm.
LisätiedotHY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 4 Ratkaisuehdotukset 1. Etsi lauseen (p 0 (p 1 p 0 )) p 1 kanssa loogisesti ekvivalentti lause joka on (a) disjunktiivisessa
Lisätiedot2017 = = = = = = 26 1
JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 2, MALLIRATKAISUT Tehtävä 1. Sovella Eukleiden algoritmia ja (i) etsi s.y.t(2017, 753) (ii) etsi kaikki kokonaislukuratkaisut yhtälölle 405x + 141y = 12. Ratkaisu
LisätiedotMatemaattinen logiikka
Matemaattinen logiikka Jouko Väänänen November 29, 2010 Contents 1 Johdanto 2 1.1 Merkintöjä............................. 2 2 Propositiologiikka 3 3 Struktuurit 13 4 Predikaattilogiikka 22 5 Kaavojen ominaisuuksia
LisätiedotTehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.
HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 2 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, 15-17
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ä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ätiedotDiskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg
Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. (14.3-18.3) Jeremias Berg 1. Luettele kaikki seuraavien joukkojen alkiot: (a) {x Z : x 3} (b) {x N : x > 12 x < 7} (c) {x N : 1 x 7} Ratkaisu:
LisätiedotALKULUKUJA JA MELKEIN ALKULUKUJA
ALKULUKUJA JA MELKEIN ALKULUKUJA MINNA TUONONEN Versio: 12. heinäkuuta 2011. 1 2 MINNA TUONONEN Sisältö 1. Johdanto 3 2. Tutkielmassa tarvittavia määritelmiä ja apulauseita 4 3. Mersennen alkuluvut ja
LisätiedotRatkaisu: Yksi tapa nähdä, että kaavat A (B C) ja (A B) (A C) ovat loogisesti ekvivalentit, on tehdä totuustaulu lauseelle
HY / Matematiikan ja tilastotieteen laitos Johdatus logiikkaan I, syksy 2018 Harjoitus 3 Ratkaisuehdotukset 1. Olkoot A, B ja C propositiolauseita. Näytä, että A (B C) (A B) (A C). Ratkaisu: Yksi tapa
Lisätiedot1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B.
HY / Avoin yliopisto Johdatus yliopistomatematiikkaan, kesä 2015 Harjoitus 3 Ratkaisuehdotuksia Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan muun muassa kahden joukon osoittamista samaksi sekä joukon
LisätiedotMatematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus Malliratkaisut (Sauli Lindberg)
Matematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus 4 9.4.-23.4.200 Malliratkaisut (Sauli Lindberg). Näytä, että Lusinin lauseessa voidaan luopua oletuksesta m(a)
LisätiedotJokaisen parittoman kokonaisluvun toinen potenssi on pariton.
3 Todistustekniikkaa 3.1 Väitteen kumoaminen vastaesimerkillä Monissa tilanteissa kohdataan väitteitä, jotka koskevat esimerkiksi kaikkia kokonaislukuja, kaikkia reaalilukuja tai kaikkia joukkoja. Esimerkkejä
Lisätiedotverkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari
Tehtävä 9 : 1 Merkitään kirjaimella G tehtäväpaperin kuvan vasemmanpuoleista verkkoa sekä kirjaimella H tehtäväpaperin kuvan oikeanpuoleista verkkoa. Kuvan perusteella voidaan havaita, että verkko G on
LisätiedotMS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I
MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä,
Lisätiedot