Fraïssén konstruktio
Santahuhta, Pilvi (2025)
2025
Matematiikan ja tilastollisen data-analyysin maisteriohjelma - Master's Programme in Mathematics and Statistical Data Analytics
Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Hyväksymispäivämäärä
2025-09-10
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tuni-202509099100
https://urn.fi/URN:NBN:fi:tuni-202509099100
Tiivistelmä
Tässä tutkielmassa tarkastellaan Roland Fraïssén kehittämää tapaa konstruoida malleja niiden äärellisesti viritetyistä alimalleista. Tutkielman aluksi esitetään esitietoja ja kiinnitetään tutkielmassa käytettäviä merkintätapoja.
Luvussa neljä keskitytään tarkemmin niihin malliteorian aiheisiin, joita tarvitaan Fraïssén konstruktion määrittelemiseen sekä sen olemassaolon ja yksikäsitteisyyden todistamiseen. Luvussa esitellään konstruktion lopputulokseen liittyviä ominaisuuksia ja tarkastellaan niihin liittyviä lauseita. Tämän luvun tarkoituksena on ennen kaikkea esittää kaikki konstruktioon tarvittavat määritelmät ja lauseet, jotta konstruktion tuottaman mallin olemassaolon ja yksikäsitteisyyden todistukset ovat ymmärrettäviä. Luvun tarkoituksena on myös avata lukijalle tarkemmin aiheeseen liittyviä käsitteitä ja niiden tarkoitusta.
Viidennessä luvussa esitetään tutkielman päätulos, Fraïssén konstruktio. Fraïssén konstruktio voidaan tehdä sellaiselle mallien luokalle, joka on epätyhjä, numeroituva, perinnöllinen, yhteisesti upottava, amalgamoiva ja jonka mallien aakkosto on äärellinen. Konstruktiolla saatavaa mallia kutsutaan Fraïssén rajaksi ja se on numeroituva, ultrahomogeeninen, isomorfiaan asti yksikäsitteinen ja sen ikä on mallien luokka, jonka avulla se konstruoidaan. Luku koostuu Fraïssén lauseesta ja sen todistuksesta, sekä lauseesta, joka osoittaa, että luokalta vaaditut ominaisuudet ovat välttämättömiä konstruktion kannalta.
Viimeisessä luvussa esitellään kolme Fraïssén konstruktiota. Ensimmäisenä esitetään äärellisten graafien luokalle muodostuva Fraïssén raja, Rado-graafi ja sen jälkeen näytetään Fraïssén alkuperäinen approksimaatio, eli rationaalilukujen järjestys äärellisten lineaarijärjestysten avulla konstruoituna. Viimeisenä esitetään Hallin universaali ryhmä äärellisten ryhmien Fraïssén rajana.
Lukijalta edellytetään malliteorian ja algebran perusasioiden hallintaa. Päälähteenä työssä on käytetty Wilfrid Hodgesin kirjaa A shorter model theory.
Luvussa neljä keskitytään tarkemmin niihin malliteorian aiheisiin, joita tarvitaan Fraïssén konstruktion määrittelemiseen sekä sen olemassaolon ja yksikäsitteisyyden todistamiseen. Luvussa esitellään konstruktion lopputulokseen liittyviä ominaisuuksia ja tarkastellaan niihin liittyviä lauseita. Tämän luvun tarkoituksena on ennen kaikkea esittää kaikki konstruktioon tarvittavat määritelmät ja lauseet, jotta konstruktion tuottaman mallin olemassaolon ja yksikäsitteisyyden todistukset ovat ymmärrettäviä. Luvun tarkoituksena on myös avata lukijalle tarkemmin aiheeseen liittyviä käsitteitä ja niiden tarkoitusta.
Viidennessä luvussa esitetään tutkielman päätulos, Fraïssén konstruktio. Fraïssén konstruktio voidaan tehdä sellaiselle mallien luokalle, joka on epätyhjä, numeroituva, perinnöllinen, yhteisesti upottava, amalgamoiva ja jonka mallien aakkosto on äärellinen. Konstruktiolla saatavaa mallia kutsutaan Fraïssén rajaksi ja se on numeroituva, ultrahomogeeninen, isomorfiaan asti yksikäsitteinen ja sen ikä on mallien luokka, jonka avulla se konstruoidaan. Luku koostuu Fraïssén lauseesta ja sen todistuksesta, sekä lauseesta, joka osoittaa, että luokalta vaaditut ominaisuudet ovat välttämättömiä konstruktion kannalta.
Viimeisessä luvussa esitellään kolme Fraïssén konstruktiota. Ensimmäisenä esitetään äärellisten graafien luokalle muodostuva Fraïssén raja, Rado-graafi ja sen jälkeen näytetään Fraïssén alkuperäinen approksimaatio, eli rationaalilukujen järjestys äärellisten lineaarijärjestysten avulla konstruoituna. Viimeisenä esitetään Hallin universaali ryhmä äärellisten ryhmien Fraïssén rajana.
Lukijalta edellytetään malliteorian ja algebran perusasioiden hallintaa. Päälähteenä työssä on käytetty Wilfrid Hodgesin kirjaa A shorter model theory.