Tervetuloa!



Hakemisto (Aiempien kirjoitusten pikahaku)


Viikkojuttu (Viikon pääpauhanta)


lauantai 27. kesäkuuta 2020

Uusinta: Helppoa, vaan kun ei ratkea

Lukijalle: Hesari julkaisi viikko sitten artikkelin näennäisen yksinkertaisesta matemaattisesta ongelmasta, jota kukaan ei kuitenkaan ole pystynyt ratkaisemaan. Tästä muistin, että olin kirjoittanut jo kahdeksan vuotta sitten listauksen, jossa kyseinen ongelma oli mukana. Näkyy olleen listalla sijalla neljä. Aika uusia ja päivittää:

Matematiikka on täynnä väittämiä, joita ei ole vielä onnistuttu todistamaan sen paremmin oikeiksi kuin vääriksikään. Tunnetuin matemaatikkoja piinannut väittämä oli Fermat'n suuri teoreema, joka esitettiin 1637 ja todistettiin oikeaksi vasta 1995. Teoreeman kiehtovuus oli siinä, että siinä esitetty ongelma oli niin yksinkertainen, että sen pystyi ymmärtämään kuka tahansa peruskoulumatematiikan edes seiskalla suorittanut.

Merkittävimpien todistamattomien väittämien todistamisesta tai kumoamisesta on perinteisesti luvattu palkintoja. Tunnetuimmat ovat vuosituhannen vaihteessa julkistetut millennium-palkinnot, jotka koskevat seitsemää todistamatonta väitettä. Jokaisen todistamisesta tai kumoamisesta on luvattu miljoonan dollarin palkinto. Itse asiassa yksi väittämistä on jo todistettu, mutta keksijä kieltäytyi rahasäkistä ideologisista syistä. Hatunnoston paikka lujasta luonteesta.

Kuudesta jäljellä olevasta ongelmasta tärkein on Riemannin hypoteesi, jota on yritetty turhaan todistaa satojen huippumatemaatikoiden voimin. Sivutuotteena on syntynyt merkittäviä uusia matemaattisia tuloksia. Väitetään erään matemaatikon myyneen sielunsa pirulle sillä ehdolla, että piru toimittaisi hänelle todistuksen. Parin viikon kuluttua piru palasi ja totesi: en onnistunut, mutta löysin seuraavan mielenkiintoisen lemman...

Esimerkkinä miljoonan taalan ongelmista Hodgen otaksuma: Olkoon X projektiivinen kompleksinen monisto. Tällöin jokainen Hodgen luokka X:ssä on rationaalinen lineaarikombinaatio X:n kompleksisten alivaristojen kohomologialuokista. Jaa ette ymmärtäneet mitään? No en minäkään.

Heprealta vaikuttavien teoreemojen vastapainoksi matematiikassa on lukuisia sellaisia yhä selvittämättömiä ongelmia, jotka kykenee täysin maallikkokin ymmärtämään. Yrittäkää vaikka itse, huolella lukien onnistuu. Tässä helpolta vaikuttavien, mutta yhä ratkaisemattomien ongelmien top 10. Muuten puolueettomasti valitussa järjestyksessä, mutta listaykkönen on kyllä täysin subjektiivisesti omiin mieltymyksiin pohjautuva päätös.

10. Lychrelin luku
Palindromiksi kutsutaan sellaista sanaa tai lukua, joka on sama, luettiin se sitten oikealta vasemmalle tai vasemmalta oikealle. Esimerkiksi 7337 on palindromiluku. Lychrelin luku on sellainen luku, joka ei muutu palindromiluvuksi, vaikka seuraavaa proseduuria toistettaisiin loputtomiin: lisätään lukuun se itse, mutta oikealta vasemmalle luettuna. Esimerkiksi luku 59 (ja samalla tietysti myös 95) vaatii kolme iteraatiota muuttuakseen palindromiluvuksi: 59 + 95 = 154, 154 + 451 = 605, 605 + 506 = 1111, joka on palindromiluku. Ei tiedetä, onko Lychrelin lukuja olemassa, vai muuttuvatko kaikki luvut palindromeiksi riittävän monella iteraatiolla. Ongelmasta tekee kiehtovan se, että pienin ehdokas Lychrelin luvuksi on niinkin vaatimaton kuin 196 ja on olemassa toistakymmentä muutakin kolminumeroista ehdokasta. Lukua 196 on iteroitu 300 miljoonaa numeroa käsittäväksi löytämättä palindromia. Sen vastapainoksi ne luvut, joiden tiedetään muuttuvan palindromeiksi, muuttuvat sellaisiksi varsin pian. Kymmentätuhatta pienemmistä luvuista pisimpään vie luvulta 89, vain 24 iteraatiota ja lopputuloksena ainoastaan 13-numeroinen luku. Varsin vaatimatonta verrattuna 300 miljoonaa numeroa käsittävään luvun 196 iteraatioon, joka ei vieläkään väänny palindromiksi.

9. Gilbreathin konjektuuri
Alkuluvut ovat lukuja, jotka ovat jaollisia vain itsellään ja ykkösellä. Ensimmäiset alkuluvut ovat 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, ... . Jos näistä luvuista lasketaan kahden peräkkäisen erotuksen itseisarvo, saadaan uusi lukujono 1, 2, 2, 4, 2, 4, 2, 4, 6, ... (eli |3-2|, |5-3|, |7-5|, |11-7| jne). Seuraava askel tehdään tällä uudella lukujonolla: 1, 0, 2, 2, 2, 2, 2, 2, 4, ... (eli |2-1|, |2-2|, |4-2|, |2-4| jne). Kuudes lukujono, josta on laskettu edellisen lukujonon peräkkäisten termien erotuksen itseisarvo, alkaa 1, 2, 0, 0, 2, ... . Väittämän mukaan jokaisen jonon ensimmäinen luku on yksi, jonka automaattinen seuraus on se, että toinen luku on aina 0 tai 2. Sen tiedetään pitävän paikkansa muutamalle sadalle miljardille ensimmäiselle alkuluvulle, mutta oikeaksi sitä ei ole todistettu.

8.Keplerin konjektuuri
Kun palloja pakataan mahdollisimman tiiviisti kolmiulotteisesti, väliin jää silti tyhjää tilaa niiden kaarevuuden takia. Keplerin konjektuurin mukaan pallot kykenevät parhaallakin pakkauksella täyttämään tilavuudesta korkeintaan hieman yli 74 prosenttia. Tarkka arvo on pii jaettuna neliöjuuri 18:lla. Hauskaksi asian tekee se, että väittämä on luultavasti jo todistettu vuonna 1998. Valitettavasti todistus on tehty väsytystekniikalla, mikä tarkoittaa ongelman pilkkomista lukuisiin pienempiin palasiin, jotka todistetaan yksi kerrallaan. Keplerin konjektuurin tapauksessa tämä tarkoittaa noin sataatuhatta palasta, jotka on todistettu tietokoneohjelmalla. Kukaan ei ole vielä käynyt todistusta käsipelissä läpi, se kun käsittää 250 sivua huomautuksia ja kolme gigabittiä tietokonekoodia tuloksineen.
(Päivitys 27.6.2020: No nyt on käyty läpi. Todistus hyväksyttiin vuonna 2017.)

7. Täydelliset luvut
Täydelliseksi luvuksi kutsutaan lukua, joka on yhtä suuri kuin sen itseään pienempien tekijöiden summa. Esimerkiksi luku 28 on täydellinen luku, koska sen itseään pienemmät tekijät ovat 1, 2, 4, 7 ja 14. 1 + 2 + 4 + 7 + 14 = 28. Sen sijaan esimerkiksi 24 ei ole täydellinen luku, koska sen itseään pienemmistä tekijöistä tulee 1 + 2 + 3 + 4 + 6 + 8 + 12 = 36. Tällaista lukua kutsutaan runsaaksi luvuksi, koska kyseinen summa on lukua itseään suurempi. Vastaavasti luku 26 ei myöskään ole täydellinen luku, koska 1 + 2 + 13 = 16. Tällaista lukua kutsutaan vajaaksi luvuksi, koska summa on lukua itseään pienempi. Neljä ensimmäistä täydellistä lukua tunnettiin jo antiikin aikana. Ne ovat 6, 28, 496 ja 8128, kaikki parillisia. Nyttemmin täydellisiä lukuja on löydetty paljon lisää, mutta ratkaisematta on yhä, onko olemassa suurinta täydellistä lukua vai onko niitä äärettömästi, samoin kuin mm. se, onko olemassa parittomia täydellisiä lukuja.

6. Parittomat oudot luvut
Edellisessä kohdassa mainittiin runsaat luvut, jotka ovat siis lukuja joiden tekijöiden summa on lukua itseään suurempi. Useimpien runsaiden lukujen tekijöistä saadaan kuitenkin laskettua luku itse, mikäli tekijöistä jätetään pois sopivat. Esimerkiksi runsas luku 24 = 4 + 8 + 12, jolloin sen tekijöistä on jätetty pois 1, 2, 3 ja 6. Mikäli temppu ei jollain luvulla onnistu, kyseistä lukua kutsutaan oudoksi luvuksi. Pienimmät oudot luvut ovat 70, 836, 4030, 5830, ... . Ei tiedetä, onko olemassa parittomia outoja lukuja.

5. Erdösin-Szekeresin konjektuuri
Ongelma sai alkunsa väittämästä, jonka mukaan mikä tahansa tasossa oleva viiden pisteen joukko, jossa ei ole yhtään kolmen pisteen samalla suoralla olevaa joukkoa, sisältää neljän pisteen joukon, joka muodostaa nelikulmion, jossa ei ole yhtään yli 180 asteen kulmaa. (Kannattaa hahmottaa piirtämällä.) Väittämän yleistyksen mukaan mille tahansa luvulle N on olemassa tietty määrä pisteitä käsittävä tason pistejoukko (ei kolmea samalla suoralla olevaa pistettä), josta sopivasti valitsemalla saadaan N-kulmainen monikulmio ilman yli 180 asteen kulmia. Mikäli N = 3, riittää kolme pistettä. Mikäli N = 4, vaaditaan enintään viisi pistettä (kuten alkuperäinen väittämä totesi). N = 5, enintään 9 pistettä, N = 6, enintään 17 pistettä. Konjektuurin mukaan mille tahansa arvolle N riittää maksimissaan 1 + 2N-2 pistettä. Vuonna 1935 esitetty väittämä on yhä todistamatta.

4. Collatzin konjektuuri
Konjektuurin esitti ensimmäisenä saksalainen matemaatikko Lothar Collatz vuonna 1937. Historianharrastajat kiinnittänevät huomiota kansallisuuden ja vuosiluvun yhdistelmään – eivät Natsi-Saksasta kaikki tiedemiehet paenneet. Konjektuuri voidaan ilmaista sanallisesti seuraavasti: Otetaan mikä tahansa positiivinen kokonaisluku. Mikäli luku on parillinen, se jaetaan kahdella ja saadaan uusi kokonaisluku. Mikäli luku taas on pariton, se kerrotaan kolmella ja lisätään saatuun tuloon yksi. Näin on saatu uusi luku, jolle tehdään sen parillisuudesta riippuen jompikumpi edellä mainituista toimenpiteistä. Lähtöarvosta riippumatta päädytään jossakin vaiheessa ikuiseen silmukkaan 4, 2, 1, 4, 2, 1, 4, 2, 1, … .
Esimerkkinä luku 37 lähtöarvona: 37, 112, 56, 28, 14, 7, 22, 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1, 4, 2, 1, 4, 2, 1, … .
Unkarilaisen matemaatikko Paul Erdösin kuultua konjektuurista hänen kerrotaan kalvenneen ja mutisseen jotakin siihen suuntaan, että matematiikka ei yksinkertaisesti ole vielä valmis käsittelemään noin vaikeita ongelmia. Collatzin (k. 1990) oppilas Gerhard Opfer julkaisi konjektuurille todistuksen 2011, mutta tapahtui odotetusti. Tarkistusluennassa löydettiin ”hupsis” ja toisin kuin Wilesillä Fermat’n teoreeman kanssa, kyseinen porsaanreikä osoittautui ainakin toistaiseksi mahdottomaksi paikata. Sarjakuva xkcd tosin muotoili konjektuurin hieman toisin...

3. Suurimmat alkulukukaksoset
Alkulukukaksosiksi nimitetään sellaisia alkulukuja, joiden erotus on kaksi. Esimerkiksi 11 ja 13 ovat alkulukukaksoset. Eukleides todisti jo yli 2000 vuotta sitten, että suurinta alkulukua ei ole olemassa, vaan ne jatkuvat loputtomiin. Sen sijaan ei vielä tiedetä, onko alkulukukaksosia loputtomasti. On siis mahdollista, että jossain kaukaisuudessa ovat olemassa suurin mahdollinen alkulukukaksospari. Pienimmät alkulukukaksoset ovat 3 ja 5, seuraavat 5 ja 7. Viisi onkin ainoa luku, joka voi esiintyä kahdessa alkulukukaksosparissa. Lukijan tehtäväksi jätetään todistaa, miksi. Ei ole vaikeaa.
(Päivitys 27.6.2020: Todistuksessa on edistytty, mutta perille ei ole päästy vieläkään.)

2. Goldbachin konjektuuri
Konjektuuri on saanut nimensä preussilaisen matemaatikon Christian Goldbachin vuonna 1742 suurelle Leonard Eulerille lähettämässä kirjeessä muotoilemasta ongelmasta. Goldbachin muotoilu tosin oli hieman erilainen kuin nykyinen, joka kuuluu: Jokainen kahta suurempi parillinen luku on kahden alkuluvun summa.
Esimerkiksi 4 = 2 + 2, 6 = 3 + 3, 8 = 3 + 5 ja 48 = 11 + 37. Joillekin löytyy useita vaihtoehtoja, kuten 48 = 7 + 41 = 5 + 43 = 17 + 31 = 19 + 29.
Kirjan Petros-setä ja Goldbachin konjektuuri kustantaja tarjosi miljoonan dollarin palkinnon sille, joka julkaisee todistuksen kahden vuoden kuluessa kirjan julkaisemisesta. Lunastamatta jäi.

1. Yksinäisen juoksijan konjektuuri
Yksinäisen juoksijan konjektuuri kuuluu seuraavasti: Olkoon meillä rata, jonka pituus on a. Rataa kiertää k + 1 (huom. k toimisi periaatteessa, mutta aiheuttaisi teknisen ongelman) juoksijaa. Hetkellä t = 0 kaikki lähtevät samasta pisteestä kiertämään rataa vakionopeudella siten, että jokaisella juoksijalla on eri nopeus. Kutsutaan juoksijaa yksinäiseksi hetkellä t, mikäli hänen etäisyytensä (rataa pitkin mitaten) lähimpään toiseen juoksijaan on vähintään a/(k + 1). Väitteen mukaan jokainen juoksija on jossakin vaiheessa yksinäinen.
Esimerkki kahdella juoksijalla normaalilla 400 metrin pituisella radalla: juoksija on yksinäinen silloin, kun etäisyys toiseen juoksijaan on vähintään 400/2 = 200 metriä. Mikäli juoksijat etenevät eri nopeudella, tämä tapahtuu silloin – ja vain silloin – kun he ovat täsmälleen radan vastakkaisilla puolilla. On varsin ilmeistä, että näin tapahtuu ajan myötä. Mikäli juoksijoita on esimerkiksi neljä, juoksija on yksinäinen silloin kun etäisyys toiseen juoksijaan on vähintään 400/4 = 100 metriä. Sivumennen sanoen on periaatteessa mahdollista (ja myös suhteellisen helppoa, vähän jaollisuuden alkeita) löytää sellaiset esimerkkinopeudet, että yksi juoksijoista on jossain vaiheessa jopa 200 metrin päässä lähimmästä juoksijasta eli kolme muuta juoksijaa ovat samassa nipussa neljännen ollessa täsmälleen vastakkaisella puolella rataa. Mutta minimivaatimus on siis tuo 100 metriä tässä tapauksessa ja jossakin vaiheessa jokainen neljästä juoksijasta todella on yksinäinen.
Konjektuuri on osoittautunut todella piinaavaksi. Tähän mennessä se on onnistuttu todistamaan päteväksi vasta seitsemän tai harvemman juoksijan tapauksessa. Joskus pitäisi piruuttaan testata Huitsinnevadan urheilukentällä vapaaehtoisilla koekaniineilla...

8 kommenttia:

Anonyymi kirjoitti...

Kommentti kohtaan 9: 21 ei voi olla alkuluku, sillä se on jaollinen 1:n ja itsensä lisäksi myös 3:lla ja 7:llä.

Jaska Brown kirjoitti...

Oops, kirjoitusvireh korjattu. Kiitoksia!

Anonyymi kirjoitti...

Jaa jaa, onkos Jaskakin pitkän matikan lukenut. Siitä saa ikuisen vamman sieluunsa. Meidän nörttikoulun nörttiluokalta* löytyi pari lahjakasta, oikeaa matemaatikkoa. Lahjakkain ryhtyi, pentele, taiteilijaksi. Toinen hävisi MIT:iin. Pahus.

Minua käytäntö - ohjelmointi - kiinnosti oikeaa matematiikkaa enemmän. Ja tilastomatematiikka, jonka opiskelu selittää ilmastovouhotuksen epäilyni ja suhtautumiseni poliitikoihin noin yleensä.

Toki matematiikka kiinnostaa välillä, polkuintgraaleja opiskelin huvikseni - muuan Feynman kirjoitti niistä. Selittää fotonien liikkeitä, kuulemma. Välillä konjektuurit pääsevät otsikoihin ja kiinnostun niistä, hetkeksi.

Collatzin konjektuuri kiukuttaa edelleen, se on jotenkin itsestään selvä. Mutten osaa selittää miksi. Totta kai omena tippuu alas maahan eikä sinkoudu taivaalle, en vaan osaa muotoilla painovoimalakia. Kun en ole tarpeeksi lahjakas tai ahkera tai molempia.

Tuo Petros-setä ja Goldbachin konjektuuri on mainio kirja.

* Taannottaisen luokkakokouksen avecien mielestä luokalla ei ollut näköjään yhtään normaalia ihmistä. Ovat väärässä, oli siellä pari mutteivät tulleet huomatuiksi kokouksessa.

Pyssymies

Jaska Brown kirjoitti...

Pyssymies: Joo, onhan matikan parissa tullut istumalihaksia kulutettua. Ehkä jonkin verran myös aivolihaksia. Menin aikoinaan Maakuntakaupungin ykköslukioon matikka- ja fysiikkaluokalle. Vuosia myöhemmin luokkakokouksessa havaittiin että yli puolet porukasta oli dippainssejä. Oli muitakin ammatteja. Sitten oli muutama sellainen, joka oli jättänyt pitkän matikan kesken. Yksi kaveri kuiskasi pikkutunneilla, että oli tehnyt semmoisen hauskan havainnon että meistä koko ruljanssin läpikäyneistä huonoimmin tienaava tienasi paremmin kuin matikan kesken jättäneistä parhaiten tienaava.
Vamma sieluun? No, sanoisin lähinnä niin että niistä jotka eivät pärjänneet kiitettävän tasoisesti, enemmistö sai vamman sieluunsa. Kun taas laudaturin (silloin ei vielä ollut eximiaa) kirjoittaneista enemmistö sai sielun vammalleen.

Anonyymi kirjoitti...

Joskus selitin Lady of the Houselle fraktaaleja, ovat n-ulotteisia oikeasti - n ei kokonaisluku - p-ulotteisessa koordinaatistossa- p on kokonaisluku. Siksi näyttävät niin oudoilta. Tämä siis lyhyt versio selityksestä. Kuulemma selitys ja innostus aiheeseen kertoi vakavasta sielulliseta vammasta. LotH taas on kiinnostunut liikelaskennosta ja kollegoidensa mielestä myös vammainen. Meidän kumankin mielestä ihmisiä on 10 sorttia, niitä jotka ymmärtävät binäärilaskentaa ja niitä jotka eivät.

Pyssymies

Tuumailija kirjoitti...

"jokainen juoksija on jossakin vaiheessa yksinäinen."

Kuulostaa todella surulliselta. Miksi juoksuharrastus altistaa syrjäytymiselle? Vai onko se niinpäin, että juoksijoiksi valikoituu ihmisiä, joilla on korostunut riski syrjäytyä? Millainen oma elämänvaiheesi yksinäisyyskriisissä oli ja kuinka selviydyit siitä? Jäävätkö miesjuoksijat todennäköisemmin ilman naista, kuin naisjuoksijat ilman miestä? Voitaisiinko harrastusta jotenkin parantaa tulevien sukupolvien osalta niin, ettei kenenkään juoksijan tarvitsisi enää kärsiä yksinäisyydestä?

Anonyymi kirjoitti...

Yksinäisen juoksijan konjektuurin empiirinen testaus kuulosta hyvältä ajatukselta. Koe ja sen julkaisu asianmukaisessa tiedelehdessä olisi Fieldsin mitalin ja Monty Python -plakaatin arvoinen juttu.

Yksinäisen hiihtäjän konjektuuri voi olla muuten vaikeampi formuloitava, koska "vapaa vain on umpihanki".

Jaska Brown kirjoitti...

Pyssymies: Tuon vitsin ymmärtää ehkä noin 100 % ihmisistä.

Tuumailija: Juoksijoilla käy flaksi. Taannoin Kalevan Kisojen katsomossa istui itsestäni vähän etuvasemmalla taivaallisen hyvän näköinen nuori nainen. Miesten vitosen päätyttyä yksi mitalisteista hyppäsi katsomoon ja antoi naiselle pusun, joka ei ollut sisarellinen. Eikä ole ainoa tapaus.

Nimetön: Itse ajattelin lähinnä Ig-Nobelia. Hiihtäjä on yksinäinen vain, jos raivaa ladun umpihankeen sillä muut ovat perässähiihtäjiä.