2026-09-23T22:18:13Zhttps://helda.helsinki.fi/server/oai/request

oai:helda.helsinki.fi:10138/2306732026-07-23T15:16:17Zcom_10138_18086com_10138_17738col_10138_18093

Helsingin yliopisto, Matemaattis-luonnontieteellinen tiedekunta, Matematiikan ja tilastotieteen laitos University of Helsinki, Faculty of Science, Department of Mathematics and Statistics Helsingfors universitet, Matematisk-naturvetenskapliga fakulteten, Institutionen för matematik och statistik Saksala, Teemu Sakari 2013 URN:NBN:fi-fe2017112251242 http://hdl.handle.net/10138/230673 Pro gradu -tutkielman varsinaisena tavoitteena on johtaa Hassler Whitneyn vuonna 1936 alkujaan todistama hänen nimeään kantava Whitneyn upotuslause, jonka mukaan jokainen sileä monisto on diffeomorfinen euklidisen avaruuden jonkin alimoniston kanssa. Työn ensimmäisessä luvussa tutustutaan kolmeen analyysin keskeiseen tulokseen. Nämä ovat Käänteiskuvauslause, Implisiittifunktiolause ja Astelause. Nämä lauseet käsittelevät sileiden kuvausten lokaalien käänteiskuvausten olemassaoloa eri ulotteisissa lähtö- ja maaliavaruuksissa. Näitä kolmea lausetta käytetään seuraavien kolmen luvun aikana useasti. Toisessa luvussa tutustutaan sileiden monistojen teorian perusteisiin. Tässä luvussa määritellään muun muassa seuraavat käsitteet: kartta, sileä kuvaus, tangenttikimppu ja -avaruus, tangenttikuvaukset, immersio sekä alimonisto. Luvun lopussa perehdytään monistojen parakompaktisuuteen ja kehitetään työkaluja, joilla saadaan olemassaolevien karttojen avulla aikaiseksi hyödyllisempiä karttoja. Kolmannessa luvussa osoitetaan, että jokainen kompakti sileä monisto voidaan upottaa sileästi euklidiseen avaruuteen. Tämä antaa aiheen tarkastella tarkemmin euklidisten avaruuksien alimonistojen ominaisuuksia. Lopuksi löydetään tarkka arvo sille, miten moniulotteiseen avaruuteen sileät kompaktit monistot voidaan sileästi upottaa. Työn neljäs luku aloitetaan jatkamalla monistojen parakompaktisuustutkimusta. Luvun ensimmäisen kappaleen tavoitteena on luoda sileitä ykkösen osituksia. Luku jatkuu monistojen nollamittaisten joukkojen käsitteen määrittelemisellä. Luvun lopussa käytetään aikaisemmin luotuja työkaluja hyödyksi ja osoitetaan, että jokaista sileää kuvausta sopivaulotteiseen euklidiseen avaruuteen voidaan approksimoida sileillä injektiivisillä immersioilla. Tämän tuloksen avulla työn päätulos voidaan todistaa kohtalaisen helposti. fin Helsingfors universitet University of Helsinki Helsingin yliopisto Whitneynupotuslause pro gradu-avhandlingar pro gradu -tutkielmat master's thesis Mathematics Matematiikka Matematik restrictedAccess URN:NBN:fi-fe2017112251242 restricted