Whitneynupotuslause

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.

Grantor dc:publisher

Helsingfors universitet

Year dc:date.issued

2013

Author dc:creator

• Saksala, Teemu Sakari

Contributors dc:contributor

• 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

Language dc:language.iso

fin

Identifier URI

URN:NBN:fi-fe2017112251242

OAI identifier oai:identifier

oai:helda.helsinki.fi:10138/230673