Matti Lehtinen: Matematiikan historian luentoja
Matti Lehtinen: Matematiikan historian luentoja
Matti Lehtinen: Matematiikan historian luentoja
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