Formið sem neitar að láta bera kennsl á sig

Formið sem neitar að láta bera kennsl á sig

Ímyndaðu þér að mæla yfirborð án þess að mega stíga út fyrir það. Þú getur mælt vegalengdir eftir yfirborðinu: hversu langt er milli tveggja punkta ef þú ferð eftir yfirborðinu sjálfu. Það er metrik yfirborðsins. Bættu síðan við einni mælingu utan frá: á hverjum punkti skráirðu meðalbeygju yfirborðsins, svokallaða meðalbeygju.

Þetta hljómar eins og mikið af upplýsingum. Fyrir mörg yfirborð dugar það. Ef þú þekkir innri vegalengdirnar og fall meðalbeygjunnar gætirðu búist við að lögunin í þrívíðu rúmi sé þar með ákveðin.

Alexander Bobenko, Tim Hoffmann og Andrew Sageman-Furnas hafa nú smíðað þétt yfirborð sem brjóta gegn þeirri væntingu. Í grein þeirra eru tveir torusar — kleinuhringslaga yfirborð, þótt þau séu ekki venjulegir hringlaga kleinuhringir — sem eru ísómetrísk og hafa sömu meðalbeygju í samsvarandi punktum, en eru ekki samfallandi. Ekki er hægt að snúa, hliðra eða spegla öðru yfirborðinu þannig að það verði hitt. Þetta eru raunverulega tvær ólíkar ívafningar í rúminu.

Á máli fagsins kallast þau þétt Bonnet-pör. Greinin lýsir þeim sem fyrstu slíkum dæmum.

Hvert vandamálið er

Klassísk yfirborðsfræði greinir á milli tvenns konar upplýsinga.

Metrikin segir til um vegalengdir sem mældar eru á yfirborðinu. Flöt plata sem er rúlluð upp í sívalning heldur sömu innri metrík: lítil maura sem gengur eftir plötunni myndi ekki taka eftir rúllunni með því einu að mæla vegalengdir. Heila önnur grunnformið segir hins vegar miklu meira um hvernig yfirborðið beygist í rúminu. Klassíska Bonnet-setningin segir að ef metrikin og fullu beygjugögnin uppfylla réttu samræmisjöfnurnar sé ívafningurinn ákvarðaður upp að stífri hreyfingu.

Árið 1867 spurði Pierre Ossian Bonnet hins vegar skarpari spurningar. Hvað gerist ef beygjugögnin eru skert? Þar sem metrikin ákvarðar Gauss-beygjuna innra með yfirborðinu, nægja metrikin og fall meðalbeygjunnar til að einkenna yfirborð?

Almennt er svarið já. Orðið „almennt“ skiptir máli. Rúmfræði á sér undantekningartilvik: sérstök yfirborð þar sem venjuleg sérstöðuniðurstaða bregst. Opna spurningin var hvort til væru þétt, slétt dæmi þar sem metrikin og meðalbeygjan samsvara, en yfirborðin eru samt ekki sama lögun í rúminu.

Þetta er Global Bonnet Problem. Nýja greinin svarar spurningunni með torusum.

Hvað höfundarnir smíðuðu

Höfundarnir smíða par af sléttum torusum í R3 sem tengjast með ísómetríu sem varðveitir meðalbeygju. Það þýðir að samsvarandi punktar hafa sömu innri vegalengdir í kringum sig og sama gildi meðalbeygju, en yfirborðin eru ekki samfallandi.

Smíðin er meira en eitt tölulegt forvitnilegt dæmi. Torusarnir eru raunfágaðir — jafn reglulegir og rúmfræði sem má lýsa með veldaröðum, ekki gróf yfirborð sem hafa verið plástruð saman — og höfundarnir sanna að almennt tengist dæmunum þeirra engin ísómetría alls umhverfisrúmsins. Þeir segja einnig að smíðin gefi óteljanlega mörg slík pör, því hún inniheldur fallstika.

Leiðin að niðurstöðunni er tæknileg. Hún notar tengsl Bonnet-para við isothermísk yfirborð, flokk yfirborða með sérstökum hnitum eftir beygjulínum. Dæmin verða til með því að byrja á isothermískum torusum þar sem ein fjölskylda beygjulína liggur í flötum og beita síðan smíð sem framleiðir Bonnet-parið. Höfundarnir segja að aðferðin hafi sprottið úr tölvutilraunum með 5x7 fjórhyrningaskiptingu toruss, þar sem stök rúmfræði vísaði leiðina að sléttu niðurstöðunni.

Sjónræna niðurstaðan er auðveldari að skilja en sönnunin. Torusarnir tveir í greininni hafa samsvarandi rúmfræðileg gögn en greinilega ólíka heildarlegu í rúminu: á Mynd 1 hjá höfundunum liggja samsvarandi stórar „bungur“ nær hver annarri á öðrum torusnum en hinum. Þetta er ekki sjónarspil teikningarinnar. Setningin segir að yfirborðin séu ekki sama lögun í rúminu þótt valin staðbundin gögn séu eins.

Af hverju þetta er ekki mótsögn

Niðurstaðan segir ekki að rúmfræði sé handahófskennd eða að mælingar séu gagnslausar.

Hún segir að ákveðið skert gagnasafn — metrík plús meðalbeygja — nægi ekki alltaf til að bera kennsl á þétt yfirborð á ótvíræðan hátt. Klassíska sérstöðusetningin notar ríkari beygjuupplýsingar. Meðalbeygja er aðeins meðaltal tveggja meginbeygja. Hún segir hversu mikið yfirborðið beygist að meðaltali í punkti, en varðveitir ekki allar upplýsingar um stefnu beygjunnar.

Þetta er kjarninn í muninum. Tvö yfirborð geta verið sammála um vegalengdir á yfirborðinu og meðalbeygju í öllum samsvarandi punktum en samt raðað beygjunni á ólíkan hátt í rúminu.

Greinin segir heldur ekki að þessi tvíræðni sé dæmigerð. Inngangurinn er varkár: almennt ákvarða metrík og meðalbeygja yfirborð. Bonnet-pör eru undantekning. Gildi þeirra er einmitt að þau sýna að undantekningin er raunveruleg í þéttu, sléttu og raunfáguðu tilfelli þar sem spurningin hafði verið óleyst.

Hvaða gömlu spurningum þetta svarar

Fyrsta lokaða spurningin er Global Bonnet Problem: eru til tvær ósamfallandi þéttar sléttar ívafningar í þrívíðu Evklíðsrúmi sem tengjast með ísómetríu og hafa sömu meðalbeygju í samsvarandi punktum? Höfundarnir svara já.

Hin spurningin er Cohn-Vossen-Berger-vandamálið: eru til tvö ísómetrísk þétt raunfáguð yfirborð í þrívíðu Evklíðsrúmi sem tengjast ekki með ísómetríu alls umhverfisrúmsins? Aftur er svarið já, með raunfáguðu torusunum úr sömu smíð.

Raunfágun skiptir máli. Eldri dæmi um ósérstöðu fyrir þétt yfirborð gátu byggt á minni regluleika eða staðbundnum breytingum. Þessir torusar eru ekki einfaldlega sléttir hlutir þar sem ein bung­a hefur verið færð á einum bletti. Greinin leggur áherslu á að samsvarandi grenndarsvæði séu hvergi staðbundið samfallandi: munurinn er dreifður um smíðina, ekki falinn í einum viðgerðarsaumi.

Af hverju þetta skiptir máli

Þetta er hrein stærðfræði en innsæið nær víðar. Hlutur getur verið ofákvarðaður í einum skilningi en samt ekki auðkenndur í öðrum. Það sem skiptir máli er ekki hversu mikið af gögnum þú hefur heldur hvort gögnin innihalda rétta tegund upplýsinga.

Metrík plús meðalbeygja hljómar sterkt vegna þess að það sameinar innri vegalengdir og ytri mælikvarða á beygju. Þétta Bonnet-parið sýnir glufuna: meðalbeygja er ekki öll beygjan. Staðbundið samræmi tryggir ekki alltaf heildarauðkenningu. Raunfágun er heldur ekki töfratrygging fyrir sérstöðu.

Þetta er gagnlegur lærdómur langt út fyrir þessa setningu. Í öfugum verkefnum rúmfræðinnar er oft spurt hvort ákveðnar mælingar ákvarði hlutinn sem framkallaði þær. Þessi grein gefur skýrt nýtt svar við einu klassísku yfirborðsvandamáli: ekki alltaf, jafnvel þótt hluturinn sé þéttur, sléttur og raunfágaður.

Í stuttu máli

Bobenko, Hoffmann og Sageman-Furnas smíða fyrstu þéttu Bonnet-pörin: tvo ósamfallandi slétta torusa í R3 sem tengjast með ísómetríu og hafa sömu meðalbeygju í samsvarandi punktum. Dæmin eru raunfáguð og tengjast almennt ekki með neinni ísómetríu alls umhverfisrúmsins. Þar með leysa þau bæði Global Bonnet Problem og Cohn-Vossen-Berger-spurninguna um raunfágaða sérstöðu eins og hún er sett fram í greininni. Niðurstaðan kollvarpar ekki klassískri yfirborðsfræði; hún sýnir að skertu gögnin metrík plús meðalbeygja duga ekki alltaf til að bera kennsl á þétt yfirborð á ótvíræðan hátt.

Raunhæf yfirferð

Það sem greinin sýnir: Þétt slétt Bonnet-pör eru til. Nánar tiltekið smíða höfundarnir torusa í R3 með sömu metrík og sama meðalbeygjufall í samsvarandi punktum, en sem eru ekki samfallandi.

Það sem er líklegt en ekki aðalatriðið: Tölvutilraunir og stök rúmfræði geta hjálpað til við að finna erfiðar sléttar smíðar. Greinin segir að sú leið hafi verið mikilvæg, en niðurstaðan byggist á sönnuninni, ekki tölulegu myndinni.

Það sem hún sýnir ekki: Að öll eða flest yfirborð séu tvíræð. Almenna sérstöðuniðurstaðan stendur áfram sem bakgrunnur. Þetta eru undantekningardæmi, en afgerandi slík.

Helstu takmarkanir fyrir almennan lesanda: Sönnunin er mjög tæknileg og byggir á diffurrúmfræði: isothermískum yfirborðum, flokkun Bonnet-para, tímabilsskilyrðum og raunfágaðri smíð. Hægt er að skilja merkingu setningarinnar án þess að fylgja allri tækninni.

Hversu mikið traust á almennur lesandi að hafa? Mikið gagnvart setningunni sjálfri, sem ritrýndri stærðfræðiniðurstöðu. Rétta varúðin er túlkunarleg en ekki sönnunargagnaleg: lestu niðurstöðuna sem „þessi skertu rúmfræðilegu gögn ákvarða ekki alltaf lögunina“, ekki sem „rúmfræði getur ekki auðkennt lögun“.