30.04.2013 Views

Matti Lehtinen: Matematiikan historian luentoja

Matti Lehtinen: Matematiikan historian luentoja

Matti Lehtinen: Matematiikan historian luentoja

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Kansallissosialismin valtaantulolla vuonna 1933 oli globaaleja vaikutuksia matematiikan kehitykselle.<br />

Suuri joukko juutalaisia ja toisinajattelevia matemaatikkoja siirtyi pois Saksasta, etupäässä<br />

Yhdysvaltoihin (näin tekivät myös Courant, Weyl ja Einstein ja Göttingenissä toiminutehkäkaikkien<br />

aikojen merkittävin naispuolinen matemaatikko, algebrikko Emmy Noether (1882–1935)).<br />

Tämän tiedemiesten joukkosiirtymisen ansiota on paljolti se johtoasema, jonka Yhdysvallat on<br />

matematiikan määrässä ja laadussa saavuttanut kuluneen vuosisadan jälkipuoliskolla. Saksassa<br />

yritettiin 1930-luvulla todistella, että on olemassa hyvää arjalaistajahuonoaseemiläistä matematiikkaa.<br />

Tällaisia ajatuksia esittivät eräät sinänsä pätevätkin matemaatikot, mm. monista oppikirjoistaan<br />

ja yli puoli vuosisataa ratkaisematta olleesta funktioteoreettisesta konjektuuristaan<br />

tunnettu Ludwig Bieberbach (1886–1982). (Bieberbachin vuonna 1916 esittämä olettamus oli, että<br />

yksikkökiekossa |z| < 1 analyyttisen bijektion f, jolle f(0) = 0 ja f ′ (0) = 1, potenssisarjakehitelmän<br />

∞<br />

f(z) =z + akz k<br />

jokaisen kertoimen ak itseisarvo on enintään k. Hypoteesia todistettiin kerroin kerrallaan, ja<br />

vuonna 1973 tiedettiin jo, että |a8| ≤8. Amerikkalainen Louis de Branges todisti hypoteesin<br />

vuonna 1984.)<br />

16.2 Eräitä matematiikan uusia ja uudistuvia osa-alueita<br />

Topologia, karkeasti ottaen oppi sellaisista kuvioiden ominaisuuksista, jotka säilyvät erilaisissa<br />

jatkuvissa muunnoksissa, kytkeytyy nykyisin hyvin suureen osaan matematiikkaa. Sen katsotaan<br />

saaneen alkunsa milloin Eulerin esittämästäKönigsbergin siltaprobleeman ratkaisusta, milloin Riemannin<br />

väitöskirjasta, milloin Cantorin joukko-opin ja topologian välimaastossa kulkevista töistä.<br />

Termiä topologia käytti ensi kerran Gaussin oppilas Johann Benedikt Listing (1806–82) vuonna<br />

1847. Listing perusteli termiä Topologie käyttöäterminGeometrie de Lage sijasta sillä, ettäjälkimmäisellä<br />

oli merkitys ’projektiivinen geometria’. Listingin ohella kuvioiden ja kappaleiden topologisia<br />

perusominaisuuksia käsitteli toinen Gaussin oppilas Augustus Ferdinand Möbius (1790–1868).<br />

Möbiukselta on peräisin hedelmällinen triangulaation idea: monitahokkaan topologiset ominaisuudet<br />

heijastuvat tavoista, se monikulmio on jaettavissa kolmioiksi.<br />

Pistejoukkojen topologian peruskäsitteet avoin ja suljettu joukko esiintyvät ensi kerran Cantorilla.<br />

Ensimmäinen systemaattinen topologian esitys oli Poincarén vuonna 1895 julkaisema teos<br />

Analysis situs. Poincaré oli kiinnostunut topologian kombinatoris-algebrallisesta puolesta. Hänen<br />

tärkeimpänä herätteenään oli tarve selvittää kompleksimuuttujien yhtälöön f(x, y, z) = 0 liittyvän<br />

neliulotteisen pinnan olemusta. Poincare selvitteli yleisten n-ulotteisten monistojen teoriaa,<br />

määritteli näille erilaisia mm. yhtenäisyyttä kuvaavia tunnuslukuja sekä esitti moniston perusryhmän<br />

eli homotopiaryhmän käsitteen. Kuuluisaksi tuli Poincarén hypoteesina tunnettu otaksuma,<br />

jonka mukaan tiettyjä n-ulotteisen pallon ominaisuuksia omaava monisto onkin n-ulotteinen pallo.<br />

Se on yllättävää kyllä todistettu useimmilla n:n arvoilla, mutta n = 4 on edelleen avoin kysymys.<br />

Pistejoukkojen topologian perustajana voidaan pitää Felix Hausdorffia (1868–1942). Hänen 1914<br />

ilmestynyt teoksensa Grundzüge der Mengenlehre sisältää abstraktin topologisen avaruuden aksiomaattisen<br />

määrittelyn ympäristökäsitteen avulla. Topologian alkuaikojen merkittäviä pioneereja<br />

on myös hollantilainen L. E. (Luitzen Egbertus) Brouwer (1881–1966), joka 1911 todisti keskeisen<br />

avoimien joukkojen invarianssilauseen: eriulotteisissa avaruuksissa sijaitsevien avoimien joukkojen<br />

välinen homeomorfismi, kääntäen yksikäsitteinen jatkuva kuvaus, on mahdoton. Brouwer otti<br />

käyttöön simpleksit, kolmion n-ulotteiset yleistykset.<br />

Cantorin joukko-oppi johti uusiin mitallisuutta ja integrointia koskeviin teorioihin. Alan pioneereja<br />

olivat ranskalaiset Emile Borel (1871–1956) (poliittisestikin orientoitunut matemaatikko; hän oli<br />

k=2<br />

97

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!