Lumihiutaleupotukset

Tässä pro gradu -tutkielmassa tutustutaan lumihiutaleupotuksiin. Päätuloksena todistetaan Assouadin upotuslause, mikä osoittaa lumihiutaleupotusten olemassaolon. Esimerkkinä lumihiutaleupotuksesta käsitellään von Kochin lumihiutaletta. Tutkielman alussa määritellään keskeiset käsitteet, joita ovat muun muassa metriset avaruudet, bi-Lipschitz-kuvaus, täydellisyys sekä kompaktius. Lisäksi todistetaan tuloksia, joita tarvitaan myöhemmin tutkielman muiden lemmojen ja lauseiden todistuksissa. Toisessa luvussa määritellään ensin metrisen avaruuden tuplaavuus, lumihiutalemetriikka ja metrisen avaruuden lumihiutaleversio. Lisäksi osoitetaan lumihiutaleversion olevan metrinen avaruus. Tämän jälkeen todistetaan Assouadin upotuslause: Olkoon (X, d) tuplaava metrinen avaruus. Tällöin sen jokainen lumihiutaleversio (X, d^α) voidaan bi-Lipschitz upottaa johonkin Euklidiseen avaruuteen R^N . Tutkielman kolmannessa luvussa käsitellään von Kochin lumihiutalekäyrää. Jotta käyrä voidaan antaa iteroidun funktiojärjestelmän kiintopisteenä, määritellään ensin kutistavat kuvaukset ja todistetaan Banachin kiintopistelause. Lisäksi määritellään Hausdorff-etäisyys kompakteille epätyhjille joukoille ja keskeisenä tuloksena osoitetaan, että jokaisella iteroidulla funktiojärjestelmällä on olemassa yksikäsitteinen kiintopiste. Lopuksi osoitetaan, että von Kochin lumihiutalekäyrä on välin [0, 1] lumihiutaleupotus.