Vad bevisade Grigory Perelman? Matematiker Perelman Yakov: bidrag till vetenskapen. Den berömda ryske matematikern Grigory Perelman

« Millennium Challenge”, löst av ett ryskt matematiskt geni, är relaterat till universums ursprung. Inte varje matematiker får förstå essensen av gåtan ...

SINNESPEL

Tills nyligen lovade matematiken inte vare sig ära eller rikedom till sina "präster". De fick inte ens något Nobelpris. Det finns ingen sådan nominering. I själva verket, enligt en mycket populär legend, var Nobels fru en gång otrogen mot honom med en matematiker. Och som vedergällning berövade den rike mannen alla deras chicane bröder hans respekt och prispengar.

Situationen förändrades år 2000. Clay Mathematics Institute, ett privat matematiskt institut, valde ut sju av de svåraste problemen och lovade att betala en miljon dollar för varje lösning.

Matematiker behandlades med respekt. 2001 släppte skärmarna till och med filmen "A Beautiful Mind", vars huvudperson var en matematiker.

Nu är bara människor långt från civilisationen inte medvetna: en av de utlovade miljonerna - den allra första - har redan tilldelats. Priset delades ut till en rysk medborgare, bosatt i S:t Petersburg Grigory Perelman. Han bevisade Poincaré-förmodan, ett pussel som trotsade vem som helst i över 100 år och som genom hans ansträngningar blev ett teorem.

Vår söta 44-åriga skäggiga man torkade sig över näsan runt om i världen. Och fortsätter nu att hålla den - världen - i spänning. Eftersom det inte är känt om matematikern ärligt talat kommer att förtjäna en miljon dollar eller vägra. Den progressiva allmänheten i många länder är naturligtvis upprörd. Åtminstone tidningar på alla kontinenter krönika finansiella och matematiska intriger.

Och mot bakgrunden av dessa fascinerande aktiviteter - spådom och delning av andras pengar - gick innebörden av Perelmans prestation på något sätt förlorad. Ordföranden för Clay Institute, Jim Carlson, uttalade naturligtvis en gång, säger de, målet prispotten– inte så mycket ett sökande efter svar som ett försök att höja den matematiska vetenskapens prestige och att intressera unga människor för det. Men ändå, vad är poängen?

Grisha i sin ungdom - redan då var han ett geni.

POINCARE HYPOTES - VAD ÄR DET?

Gåtan, löst av det ryska geniet, påverkar grunderna för den sektion av matematik som kallas topologi. Det - topologi - kallas ofta "geometri på en gummiduk." Det handlar om egenskaperna hos geometriska former som bevaras om formen sträcks, vrids, böjs. Det är med andra ord deformerat utan brott, skärningar och lim.

Topologi är viktig för matematisk fysik eftersom den tillåter oss att förstå rymdens egenskaper. Eller utvärdera det utan att kunna se formen på detta utrymme utifrån. Till exempel vårt universum.

När de förklarar Poincare-förmodan börjar de så här: föreställ dig en tvådimensionell sfär - ta en gummiskiva och dra den över bollen. Så att skivans omkrets samlas vid en punkt. På samma sätt kan du till exempel dra av en sportryggsäck med sladd. Resultatet är en sfär: för oss - tredimensionell, men ur matematikens synvinkel - bara tvådimensionell.

Sedan erbjuder de sig att dra samma skiva på en munk. Det verkar fungera. Men kanterna på skivan kommer att konvergera till en cirkel, som inte längre kan dras in i en punkt - det kommer att skära munken.

Som en annan skrev i sin populära bok Rysk matematiker, Vladimir Uspensky, "Till skillnad från tvådimensionella sfärer är tredimensionella sfärer otillgängliga för vår direkta observation, och det är lika svårt för oss att föreställa oss dem som det är för Vasilij Ivanovitj från det välkända anekdotkvadrattrinomialet."

Så, enligt Poincaré-hypotesen, är en tredimensionell sfär den enda tredimensionella sak vars yta kan dras in i en punkt av någon form av hypotetisk "hypercord".

Grigory Perelman: - Tänk bara, Newtons binomial ...

Jules Henri Poincare föreslog detta 1904. Nu har Perelman övertygat alla som förstår att den franske topologen hade rätt. Och förvandlade hans hypotes till ett teorem.

Beviset hjälper till att förstå vilken form vårt universum har. Och det låter oss ganska rimligt anta att det är samma tredimensionella sfär.

Men om universum är den enda "figuren" som kan dras samman till en punkt, då kan den förmodligen också sträckas från en punkt. Vilket fungerar som en indirekt bekräftelse på Big Bang-teorin, som hävdar att universum har sitt ursprung bara från punkten.

Det visar sig att Perelman tillsammans med Poincare upprörde de så kallade kreationisterna – supportrar gudomlig början universum. Och de spillde vatten på materialistiska fysikers kvarn.

Den geniale matematikern från S:t Petersburg, Grigory Perelman, som blev känd över hela världen för att bevisa Poincaré-förmodan, förklarade slutligen sitt avslag på miljonpriset som delades ut för detta. Enligt Komsomolskaya Pravda avslöjade den tillbakadragna vetenskapsmannen sig själv i ett samtal med en journalist och producent för filmbolaget President-Film, som med Perelmans samtycke kommer att spela in långfilmen Formula of the Universe om honom.

Alexander Zabrovsky hade turen att prata med den store matematikern - han lämnade Moskva för Israel för några år sedan och gissade först att kontakta Grigory Yakovlevichs mamma genom det judiska samhället i St. Petersburg, efter att ha hjälpt henne. Hon pratade med sin son, och efter hennes goda karaktärisering tackade han ja till ett möte. Detta kan verkligen kallas en prestation - journalisterna kunde inte "fånga" vetenskapsmannen, även om de tillbringade dagar med att sitta vid hans ingång.

Som Zabrovsky berättade för tidningen, gav Perelman intrycket av "en absolut sansad, frisk, adekvat och normal person": "Realistisk, pragmatisk och förnuftig, men inte utan sentimentalitet och spänning ... Allt som tillskrevs honom i pressen , som om han var "från sitt sinne", - fullständigt nonsens! Han vet precis vad han vill och vet hur han ska uppnå målet. "

Filmen, för vilken matematikern tog kontakt och gick med på att hjälpa till, kommer inte att handla om honom själv, utan om samarbetet och konfrontationen mellan de tre största matematiska skolorna i världen: ryska, kinesiska och amerikanska, som är de mest avancerade i studievägen och hantera universum.

På frågan varför Perelman vägrade en miljon svarade han:

"Jag vet hur man hanterar universum. Och säg mig - varför ska jag springa efter en miljon?"

Vetenskapsmannen är kränkt, som han kallas i rysk press

Perelman förklarade att han inte kommunicerar med journalister, eftersom de inte är intresserade av vetenskap, utan med personliga och inhemska frågor - från skälen till att vägra en miljon till frågan om att klippa hår och naglar.

Konkret vill han inte kontakta rysk media på grund av den respektlösa attityden mot honom. Till exempel i pressen kallar de honom Grisha, och sådan förtrogenhet kränker.

Grigory Perelman sa det sedan dess skolår van vid det som kallas "hjärnträning". Kom ihåg hur han, som en "delegat" från Sovjetunionen, tog emot guldmedalj vid den matematiska olympiaden i Budapest sa han: ”Vi försökte lösa problem där förmågan att tänka abstrakt var en oumbärlig förutsättning.

Denna distraktion från matematisk logik var huvudpunkten i daglig träning. För att hitta rätt lösning var det nödvändigt att föreställa sig en "bit av världen".

Som exempel på en sådan "svår" uppgift nämnde han följande: "Kom ihåg biblisk legend om hur Jesus Kristus gick på vattnet, som på torra land. Så jag var tvungen att räkna ut hur snabbt han var tvungen att röra sig genom vattnet för att inte ramla igenom.

Sedan dess har Perelman ägnat all sin verksamhet åt att studera problemet med att studera egenskaperna hos universums tredimensionella rymd: "Detta är väldigt intressant. Jag försöker omfamna det oerhörda.

Forskaren skrev sin avhandling under ledning av akademiker Aleksandrov. "Ämnet var enkelt: 'Sadelytor i euklidisk geometri'. Kan du föreställa dig ytor som är lika stora och ojämnt åtskilda från varandra i oändligheten? Vi måste mäta 'håligheterna' mellan dem", förklarade matematikern.

Vad betyder Perelmans upptäckt att skrämma världens underrättelsetjänster

"Universums formel" Poincares uttalande kallas på grund av dess betydelse i studiet av komplexa fysiska processer i teorin om universum och för att det ger ett svar på frågan om universums form. Dessa bevis kommer att spela en stor roll i utvecklingen av nanoteknik."

"Jag lärde mig hur man beräknar tomrum, tillsammans med mina kollegor kommer vi att lära oss mekanismerna för att fylla sociala och ekonomiska "tomrum", sa han. "Tomrum finns överallt. De kan beräknas, och detta ger stora möjligheter ...

Enligt publikationen har omfattningen av vad Grigory Yakovlevich upptäckte, som faktiskt går före dagens världsvetenskap, gjort honom till föremål för ständigt intresse för specialtjänster, inte bara ryska utan också utländska.

Han förstod en del superkunskap som hjälper till att förstå universum. Och här uppstår frågor av det här slaget: "Vad kommer att hända om hans kunskap finner praktisk tillämpning?"

Faktum är att underrättelsetjänsten måste veta - är Perelman, eller snarare hans kunskap, ett hot mot mänskligheten? När allt kommer omkring, om det med hjälp av hans kunskap är möjligt att förvandla universum till en punkt och sedan veckla ut det, kan vi dö eller återfödas i en annan egenskap? Och då blir vi det? Och behöver vi överhuvudtaget hantera universum?

OCH PÅ DENNA TID

Genial mamma: "Ställ inte frågor till oss om pengar!"

När det blev känt att matematikern belönades med Millenniepriset samlades en skara journalister framför hans dörr. Alla ville personligen gratulera Perelman och ta reda på om han skulle ta sin legitima miljon.

Vi knackade på den tunna dörren länge (om vi bara kunde ersätta den med premiumpengar), men matematikern öppnade den inte. Men hans mamma prickade "i" ganska förståeligt direkt från korridoren.

Vi vill inte prata med någon och kommer inte att ge några intervjuer, - skrek Lyubov Leibovna. – Och ställ inte frågor till oss om det här priset och pengarna.

Folk som bodde i samma entré blev mycket förvånade över att se ett plötsligt intresse för Perelman.

Är vår Grisha gift? en av grannarna skrattade. - Åh, jag fick en utmärkelse. Igen. Nej, han tar det inte. Han behöver ingenting alls, lever på en slant, men är lycklig på sitt sätt.

De säger att på tröskeln till matematikern sågs med fulla paket av produkter från butiken. Han förberedde sig för att "behålla belägringen" med sin mor. Förra gången, när hajpen om priset började i pressen, lämnade Perelman inte lägenheten på tre veckor.

FÖRRESTEN

För vad mer ska de ge en miljon dollar ...

År 1998, med medel från miljardären Landon T. Clay, grundades Clay Mathematics Institute i Cambridge (USA) för att popularisera matematik. Den 24 maj 2000 valde institutets experter ut de sju mest förbryllande problemen, enligt deras mening. Och de utsåg en miljon dollar för var och en.

Listan är namngiven .

1. Kockens problem

Det är nödvändigt att avgöra om verifieringen av riktigheten av lösningen av ett problem kan vara längre än att få själva lösningen. Detta logisk uppgift viktigt för specialister inom kryptografi - datakryptering.

2. Riemanns hypotes

Det finns så kallade primtal, som 2, 3, 5, 7, etc. som bara är delbara med sig själva. Hur många det är är inte känt. Riemann trodde att detta kunde fastställas och regelbundenhet i deras distribution kunde hittas. Den som hittar den kommer också att tillhandahålla kryptografitjänster.

3. Birch och Swinnerton-Dyer-hypotes

Problemet är relaterat till att lösa ekvationer med tre okända upphöjda till en potens. Vi måste ta reda på hur vi ska lösa dem, hur svårt det än är.

4. Hodge-hypotes

På 1900-talet upptäckte matematiker en metod för att studera formen komplexa objekt. Tanken är att använda enkla "tegelstenar" istället för själva föremålet, som limmas ihop och bildar dess likhet. Vi måste bevisa att detta alltid är tillåtet.

5. Navier - Stokes ekvationer

Det är värt att komma ihåg dem på planet. Ekvationerna beskriver luftströmmarna som håller den i luften. Nu löses ekvationerna ungefär, enligt ungefärliga formler. Det är nödvändigt att hitta exakta och bevisa att det i tredimensionellt utrymme finns en lösning av ekvationerna, vilket alltid är sant.

6. Yang-Mills ekvationer

Det finns en hypotes i fysikens värld: om en elementarpartikel har en massa, så finns även dess nedre gräns. Men vilken är inte klart. Du måste komma till honom. Detta är kanske den svåraste uppgiften. För att lösa det är det nödvändigt att skapa en "teori om allting" - ekvationer som kombinerar alla krafter och växelverkan i naturen. Den som lyckas kommer säkerligen att få Nobelpriset.

Den sista stora bedriften av ren matematik är beviset på Poincaré-förmodan, uttryckt 1904 och som säger: "varje sammankopplade, enkelt sammankopplade, kompakta tredimensionella grenrör utan gräns, är homeomorf till sfären S 3" av Grigory Perelman från St. Petersburg 2002–2003.

Det finns flera termer i denna fras som jag kommer att försöka förklara på ett sådant sätt att deras allmänna betydelse blir tydlig för icke-matematiker (jag antar att läsaren har slutat gymnasium och kommer fortfarande ihåg något från skolmatematiken).

Låt oss börja med begreppet homeomorfism, som är centralt i topologin. I allmänhet definieras topologi ofta som "gummigeometri", det vill säga som vetenskapen om egenskaperna hos geometriska bilder som inte förändras under jämna deformationer utan mellanrum och limning, eller snarare, om det är möjligt att etablera en en-till- en och en-till-en överensstämmelse mellan två objekt .

Huvudidén är lättast att förklara med det klassiska exemplet med en mugg och en bagel. Den första kan förvandlas till den andra genom kontinuerlig deformation.

Dessa figurer visar tydligt att muggen är homeomorf till munken, och detta faktum är sant både för deras ytor (tvådimensionella grenrör, kallade torus) och för fyllda kroppar (tredimensionella grenrör med gräns).

Låt oss ge en tolkning av resten av termerna som förekommer i formuleringen av hypotesen.

  1. Ett tredimensionellt grenrör utan gräns. Detta är ett sådant geometriskt objekt, där varje punkt har en grannskap i form av en tredimensionell boll. Exempel på 3-grenrör är för det första hela det tredimensionella rummet, betecknat med R 3 , samt ev. öppna set punkter i R3, till exempel, det inre av en solid torus (munk). Om vi ​​betraktar en sluten solid torus, d.v.s. lägger till dess gränspunkter (ytan på en torus), så får vi redan ett grenrör med en gräns - gränspunkterna har inte grannskap i form av en boll, utan bara i form av en halva av bollen.
  2. Ansluten. Konceptet med anslutning är det enklaste här. Ett grenrör är anslutet om det består av ett stycke, eller, vad som är detsamma, vilka två av dess punkter som helst kan kopplas samman med en kontinuerlig linje som inte går utöver dess gränser.
  3. Helt enkelt ansluten. Föreställningen om singelanslutningen är mer komplicerad. Det betyder att varje kontinuerlig stängd kurva som ligger helt och hållet inom ett givet grenrör smidigt kan dras ihop till en punkt utan att lämna detta grenrör. Till exempel är en vanlig tvådimensionell sfär i R 3 helt enkelt ansluten (ett elastiskt band, godtyckligt fäst vid ytan av ett äpple, kan dras samman genom en jämn deformation till en punkt utan att slita det elastiska bandet från äpplet). Å andra sidan är cirkeln och torus inte bara sammankopplade.
  4. Kompakt. Ett grenrör är kompakt om någon av dess homeomorfa bilder har avgränsade dimensioner. Till exempel är ett öppet intervall på en linje (alla punkter i ett segment utom dess ändar) inte kompakt, eftersom det kontinuerligt kan förlängas till en oändlig linje. Men ett slutet segment (med ändar) är ett kompakt grenrör med en gräns: för varje kontinuerlig deformation går ändarna till några specifika punkter, och hela segmentet måste gå in i en avgränsad kurva som förbinder dessa punkter.

Dimensionera grenrör är antalet frihetsgrader vid den punkt som "lever" på den. Varje punkt har en grannskap i form av en skiva med motsvarande dimension, dvs ett intervall av en linje i det endimensionella fallet, en cirkel på planet i det tvådimensionella fallet, en boll i det tredimensionella fallet , etc. Ur topologins synvinkel finns det bara två endimensionella sammankopplade grenrör utan gräns: detta är linjen och cirkeln. Av dessa är endast cirkeln kompakt.

Ett exempel på ett utrymme som inte är ett grenrör är till exempel ett par korsande linjer - trots allt, vid skärningspunkten mellan två linjer har vilket område som helst formen av ett kors, det har inte ett område som skulle i sig vara bara ett intervall (och alla andra punkter har sådana kvarter). Matematiker säger i sådana fall att vi har att göra med en singular mångfald, som har en singular punkt.

Tvådimensionella kompakta grenrör är välkända. Om vi ​​bara tänker orienterad mångfalder utan gräns, sedan bildar de från topologisk synpunkt en enkel, om än oändlig, lista: och så vidare. Varje sådant grenrör erhålls från en sfär genom att limma flera handtag, vars nummer kallas ytans släkte.

Figuren visar ytor av släkten 0, 1, 2 och 3. Hur skiljer sig en sfär från alla ytor i denna lista? Det visar sig att det helt enkelt hänger ihop: på en sfär kan vilken sluten kurva som helst dras ihop till en punkt, och på vilken annan yta som helst är det alltid möjligt att indikera en kurva som inte kan dras ihop till en punkt längs ytan.

Det är konstigt att tredimensionella kompakta grenrör utan gräns också kan klassificeras i en viss mening, d.v.s. ordnade i en viss lista, även om de inte är lika okomplicerade som i det tvådimensionella fallet, men har en ganska komplex struktur. 3D-sfären S 3 sticker dock ut i denna lista på exakt samma sätt som 2D-sfären i listan ovan. Det faktum att vilken kurva som helst på S 3 drar ihop sig till en punkt är lika lätt att bevisa som i det tvådimensionella fallet. Men det omvända påståendet, nämligen att denna egenskap är unik just för sfären, d.v.s. att det finns icke-sammandragbara kurvor på alla andra tredimensionella grenrör, är mycket svårt och utgör exakt innehållet i Poincare-förmodan vi talar om .

Det är viktigt att förstå att grenröret kan leva på egen hand, det kan ses som ett oberoende objekt, inte kapslat någonstans. (Föreställ dig levande tvådimensionella varelser på ytan av en vanlig sfär, omedvetna om existensen av en tredje dimension.) Lyckligtvis kan alla de tvådimensionella ytorna från listan ovan bäddas in i det vanliga R 3-utrymmet, vilket gör dem lättare att visualisera. För 3-sfären S 3 (och i allmänhet för alla kompakta 3-grenrör utan gräns) är detta inte längre fallet, så en viss ansträngning krävs för att förstå dess struktur.

Tydligen enklaste sättet att förklara den tredimensionella sfärens topologiska struktur S 3 är med hjälp av enpunktskomprimering. Den tredimensionella sfären S3 är nämligen en enpunktskomprimering av det vanliga tredimensionella (obegränsade) utrymmet R3.

Låt oss först förklara denna konstruktion enkla exempel. Låt oss ta en vanlig oändlig rät linje (en endimensionell analog av rymden) och lägga till en "oändligt avlägsen" punkt till den, förutsatt att när vi rör oss längs en rät linje till höger eller vänster, kommer vi så småningom till denna punkt. Ur topologisk synvinkel är det ingen skillnad mellan en oändlig linje och ett avgränsat öppet segment (utan ändpunkter). Ett sådant segment kan böjas kontinuerligt i form av en båge, föra ändarna närmare varandra och limma den saknade punkten i korsningen. Vi får uppenbarligen en cirkel - en endimensionell analog av en sfär.

På liknande sätt, om jag tar ett oändligt plan och lägger till en punkt vid oändligheten, till vilken alla linjer i det ursprungliga planet, som passerar i vilken riktning som helst, tenderar, då får vi en tvådimensionell (vanlig) sfär S 2 . Denna procedur kan observeras med hjälp av en stereografisk projektion, som tilldelar varje punkt P i sfären, med undantag för nordpolen av N, en viss punkt i planet P.

Således är en sfär utan en punkt topologiskt densamma som ett plan, och om man lägger till en punkt förvandlas planet till en sfär.

I princip är exakt samma konstruktion tillämplig på en tredimensionell sfär och ett tredimensionellt utrymme, bara för dess genomförande är det nödvändigt att gå in i den fjärde dimensionen, och detta är inte så lätt att avbilda på ritningen. Så jag kommer att begränsa mig verbal beskrivning enpunktskomprimering av utrymmet R3.

Föreställ dig att till vårt fysiska utrymme (som vi, efter Newton, anser vara ett obegränsat euklidiskt utrymme med tre koordinater x, y, z) har en punkt "i oändligheten" lagt till på ett sådant sätt att när man rör sig längs en rät linje i någon riktning, faller du (dvs varje rumslig linje sluter sig till en cirkel). Då får vi ett kompakt tredimensionellt grenrör, som per definition är sfären S 3 .

Det är lätt att se att sfären S 3 helt enkelt är ansluten. Faktum är att varje stängd kurva på denna sfär kan förskjutas något så att den inte passerar genom den tillagda punkten. Då får vi en kurva i det vanliga utrymmet R 3 , som lätt dras ihop till en punkt med hjälp av homoteter, dvs kontinuerlig kontraktion i alla tre riktningarna.

För att förstå hur grenröret S 3 är uppbyggt är det mycket lärorikt att överväga dess uppdelning i två solida tori. Om den solida torusen utelämnas från utrymmet R 3, så återstår något som inte är särskilt tydligt. Och om utrymmet kompakteras till en sfär, förvandlas detta komplement också till en solid torus. Det vill säga, sfären S3 är uppdelad i två solida tori som har en gemensam gräns - en torus.

Så här kan det förstås. Låt oss bädda in torusen i R 3 som vanligt, i form av en rund munk, och rita en vertikal linje - rotationsaxeln för denna munk. Vi ritar ett godtyckligt plan genom axeln, det kommer att skära vår solida torus i två cirklar som visas i figuren i grönt, och den ytterligare delen av planet är uppdelad i en kontinuerlig familj av röda cirklar. Bland dem är den centrala axeln, markerad med fetare, eftersom i sfären S 3 sluter linjen till en cirkel. En tredimensionell bild erhålls från denna tvådimensionella genom att rotera runt en axel. En komplett uppsättning roterade cirklar kommer sedan att fylla en tredimensionell kropp, homeomorf till en solid torus, som bara ser ovanlig ut.

I själva verket kommer den centrala axeln att vara en axiell cirkel i den, och resten kommer att spela rollen som paralleller - cirklar som utgör den vanliga solida torusen.

För att ha något att jämföra 3-sfären med ska jag ge ytterligare ett exempel på ett kompakt 3-grenrör, nämligen en tredimensionell torus. En tredimensionell torus kan konstrueras enligt följande. Låt oss ta en vanlig tredimensionell kub som källmaterial:

Den har tre par ansikten: vänster och höger, topp och botten, fram och bak. I varje par parallella ytor identifierar vi i par de punkter som erhållits från varandra genom att överföra längs kanten på kuben. Det vill säga, vi kommer att anta (rent abstrakt, utan att tillämpa fysiska deformationer) att till exempel A och A "är samma punkt, och B och B" också är en punkt, men skiljer sig från punkt A. Alla inre punkter i kub kommer vi att överväga som vanligt. Själva kuben är ett grenrör med en gräns, men efter gjord limning sluter gränsen sig själv och försvinner. Faktum är att kvarteren för punkterna A och A" i kuben (de ligger på vänster och höger skuggade ytor) är halvorna av bollarna, som, efter att ha limmat ihop ytorna, smälter samman till en hel boll, som fungerar som en närheten av motsvarande punkt på den tredimensionella torusen.

För att känna enheten av en 3-torus baserad på vanliga idéer om fysiskt utrymme, måste du välja tre ömsesidigt vinkelräta riktningar: framåt, vänster och uppåt - och mentalt räknas som i fantasiberättelser att när vi rör oss i någon av dessa riktningar under en tillräckligt lång, men begränsad tid, kommer vi att återvända till utgångspunkten, men från motsatt riktning. Detta är också en "komprimering av rymden", men inte en enpunkts sådan, som tidigare användes för att konstruera en sfär, utan mer komplex.

Det finns icke kontraktsbara vägar på 3-torus; till exempel är detta segmentet AA" i figuren (på torusen visar det en stängd bana). Det kan inte dras ihop, eftersom för varje kontinuerlig deformation måste punkterna A och A" röra sig längs sina ytor, förbli strikt mittemot varje annat (annars öppnas kurvan).

Således ser vi att det finns helt enkelt anslutna och icke-enkelt anslutna kompakta 3-grenrör. Perelman bevisade att ett enkelt sammankopplat grenrör är exakt en.

Utgångspunkten för beviset är användningen av det så kallade "Ricci-flödet": vi tar ett enkelt anslutet kompakt 3-grenrör, utrustar det med en godtycklig geometri (d.v.s. introducerar någon metrik med avstånd och vinklar) och överväger sedan dess utveckling längs Ricci-flödet. Richard Hamilton, som föreslog denna idé 1981, hoppades att med denna evolution skulle vårt mångfald förvandlas till en sfär. Det visade sig att detta inte är sant - i det tredimensionella fallet kan Ricci-flödet förstöra grenröret, d.v.s. göra det lite grenrör (något med singulära punkter, som i exemplet ovan med korsande linjer). Perelman, genom att övervinna otroliga tekniska svårigheter, med hjälp av den tunga apparaturen med partiella differentialekvationer, lyckades ändra Ricci-flödet nära singulära punkter på ett sådant sätt att under evolutionen förändras grenrörets topologi inte, det finns inga singulära punkter, och i i slutet förvandlas den till en rund sfär. Men det är nödvändigt att slutligen förklara vad detta flöde av Ricci är. Flödena som används av Hamilton och Perelman hänvisar till en förändring i den inneboende metriken på ett abstrakt grenrör, och detta är ganska svårt att förklara, så jag kommer att begränsa mig till att beskriva det "externa" Ricci-flödet på endimensionella grenrör inbäddade i ett plan .

Föreställ dig en slät stängd kurva på det euklidiska planet, välj en riktning på den och betrakta vid varje punkt en tangentvektor av enhetslängd. Sedan, när man går runt kurvan i den valda riktningen, kommer denna vektor att rotera med någon vinkelhastighet, vilket kallas krökning. Där kurvan är brantare blir krökningen (i absolut värde) större och där den är jämnare blir krökningen mindre.

Krökningen kommer att betraktas som positiv om hastighetsvektorn vänder mot den inre delen av planet delat av vår kurva i två delar, och negativ om den vänder utåt. Denna konvention är oberoende av i vilken riktning kurvan korsas. Vid böjningspunkter där rotationen ändrar riktning blir krökningen 0. Till exempel har en cirkel med radie 1 en konstant positiv krökning på 1 (mätt i radianer).

Låt oss nu glömma tangentvektorer och fästa till varje punkt i kurvan, tvärtom, en vektor vinkelrät mot den, lika lång med krökningen vid en given punkt och riktad inåt om krökningen är positiv och utåt om den är negativ , och sedan kommer vi att tvinga varje punkt att röra sig i riktningen för motsvarande vektor med hastighet proportionell mot dess längd. Här är ett exempel:

Det visar sig att varje stängd kurva på planet beter sig på liknande sätt under en sådan utveckling, det vill säga att den så småningom förvandlas till en cirkel. Detta är beviset på den endimensionella analogen av Poincare-förmodan med Ricci-flödet (dock är själva påståendet i detta fall redan uppenbart, bara bevismetoden illustrerar vad som händer i dimension 3).

Avslutningsvis noterar vi att Perelmans argument inte bara bevisar Poincaré-förmodan, utan också den mycket mer allmänna Thurston-geometriseringsförmodan, som i en viss mening beskriver strukturen hos alla kompakta 3-grenrör i allmänhet. Men detta ämne ligger utanför ramen för denna elementära artikel.

I brist på utrymme kommer jag inte att prata om icke-orienterbara grenrör, ett exempel på det är den berömda Klein-flaskan - en yta som inte kan bäddas in i ett utrymme utan självkorsningar.

Matematikern Perelman är en mycket känd person, trots att han lever ett ensamt liv och undviker pressen på alla möjliga sätt. Hans bevis på Poincare-förmodan placerade honom i nivå med de största vetenskapsmännen i världshistorien. Matematikern Perelman tackade nej till många utmärkelser från det vetenskapliga samfundet. Den här mannen lever mycket blygsamt och är helt hängiven vetenskap. Naturligtvis är det värt att prata om honom och hans upptäckt i detalj.

Fader Grigory Perelman

Den 13 juni 1966 föddes Grigory Yakovlevich Perelman, en matematiker. Bild på honom fri tillgång lite, men de mest kända presenteras i den här artikeln. Han föddes i Leningrad - kulturellt kapital vårt land. Hans far var elektroingenjör. Han hade inget med vetenskap att göra, som många tror.

Yakov Perelman

Det är allmänt trott att Grigory är son till Yakov Perelman, en välkänd populariserare av vetenskap. Detta är dock en missuppfattning, eftersom han dog i belägrade Leningrad i mars 1942, så det fanns inget sätt att han kunde bli pappa.Denne man föddes i Bialystok, en stad som tidigare tillhörde ryska imperiet och är nu en del av Polen. Yakov Isidorovich föddes 1882.

Yakov Perelman, som är mycket intressant, attraherades också av matematik. Dessutom var han förtjust i astronomi och fysik. Denna man anses vara grundaren av underhållande vetenskap, såväl som en av de första som skrev verk inom genren populärvetenskaplig litteratur. Han är skaparen av boken "Live Mathematics". Perelman skrev många andra böcker. Dessutom innehåller hans bibliografi mer än tusen artiklar. När det gäller en sådan bok som "Live Mathematics" presenterar Perelman i den olika pussel relaterade till denna vetenskap. Många av dem är utformade i form av noveller. Den här boken är främst avsedd för tonåringar.

I ett avseende är en annan bok särskilt intressant, vars författare är Yakov Perelman (" Underhållande matematik"). Biljoner - vet du vad detta nummer är? Det är 10 21. I Sovjetunionen fanns det länge två skalor parallellt - "kort" och "lång". Enligt Perelman användes "kort" i finansiell beräkningar och vardag, och "lång" - in vetenskapliga artiklar tillägnad fysik och astronomi. Så, en biljon i "kort" skala existerar inte. 10 21 kallas sextillion i den. Dessa skalor skiljer sig i allmänhet avsevärt.

Men vi kommer inte att uppehålla oss i detalj och gå vidare till en berättelse om bidraget till vetenskapen som gjordes av Grigory Yakovlevich, och inte av Yakov Isidorovich, vars prestationer var mindre blygsamma. Det var förresten inte hans välkända namne som ingav Gregory en kärlek till vetenskapen.

Perelmans mor och hennes inflytande på Grigory Yakovlevich

Mamman till den framtida forskaren undervisade i matematik på en yrkesskola. Dessutom var hon en duktig violinist. Förmodligen en kärlek till matematik, liksom klassisk musik Grigory Yakovlevich adopterade det från henne. Båda lockade Perelman lika mycket. När han stod inför valet var han skulle komma in - till konservatoriet eller till ett tekniskt universitet kunde han inte bestämma sig på länge. Vem vet vem Grigory Perelman kunde ha blivit om han hade bestämt sig för att skaffa sig en musikalisk utbildning.

Den framtida vetenskapsmannens barndom

Redan från en ung ålder var Gregory framstående kompetent tal både skriftligt och muntligt. Han förvånade ofta lärare i skolan med detta. Förresten, före 9:e klass studerade Perelman på en gymnasieskola, tydligen typisk, som det finns så många av i utkanten. Och sedan märkte lärare från Palace of Pioneers en begåvad ung man. Han togs till kurser för begåvade barn. Detta bidrog till att utveckla Perelmans unika talanger.

Seger vid OS, skolavslutning

Sedan dess börjar milstolpen med segrar för Gregory. 1982 tog han emot vid den internationella matematiska olympiaden som hölls i Budapest. Perelman deltog i det tillsammans med ett team av sovjetiska skolbarn. Han fick ett fullpoäng och löste alla problem felfritt. Gregory tog examen från skolans elfte klass samma år. Själva faktumet att delta i denna prestigefyllda olympiad öppnade dörrarna till de bästa utbildningsinstitutionerna i vårt land för honom. Men Grigory Perelman deltog inte bara i det, utan fick också en guldmedalj.

Det är inte förvånande att han var inskriven utan examen i Leningrad State University, vid fakulteten för mekanik och matematik. Förresten, Gregory fick märkligt nog ingen guldmedalj i skolan. Detta förhindrades av bedömningen inom idrott. Att klara idrottsstandarder på den tiden var obligatoriskt för alla, inklusive de som knappt kunde föreställa sig själva vid hoppstången eller vid stången. I andra ämnen studerade han i fem.

Studerar på LSU

Under de närmaste åren fortsatte den framtida vetenskapsmannen sin utbildning vid Leningrad State University. Han deltog, och med stor framgång, i olika matematiska tävlingar. Perelman lyckades till och med få det prestigefyllda Leninstipendiet. Så han blev ägare till 120 rubel - mycket pengar på den tiden. Han måste ha haft det bra då.

Det måste sägas att fakulteten för matematik och mekanik vid detta universitet, som nu heter St. Petersburg, var i sovjetiska år en av de bästa i Ryssland. 1924, till exempel, tog V. Leontiev examen från det. Nästan direkt efter avslutade studier fick han Nobelpriset i ekonomi. Denna vetenskapsman kallas till och med den amerikanska ekonomins fader. Leonid Kantorovich, den enda inhemska pristagaren av detta pris, som fick det för sitt bidrag till denna vetenskap, var professor i matematik.

Fortbildning, livet i USA

Efter examen från Leningrad State University gick Grigory Perelman in på Steklov Mathematical Institute för att fortsätta sina forskarstudier. Snart flög han till USA för att presentera den. läroanstalt. Detta land har alltid ansetts vara ett tillstånd av obegränsad frihet, särskilt i sovjetisk tid bland invånarna i vårt land. Många drömde om att se henne, men matematikern Perelman var inte en av dem. Det verkar som att frestelserna i väst har gått obemärkt förbi för honom. Forskaren ledde fortfarande en blygsam livsstil, till och med något asketisk. Han åt smörgåsar med ost, som han sköljde ner med kefir eller mjölk. Och naturligtvis arbetade matematikern Perelman hårt. I synnerhet var han lärare. Forskaren träffade sina matematikkollegor. Amerika uttråkade honom efter 6 år.

Återvänd till Ryssland

Grigory återvände till Ryssland, till sitt hemland institut. Här arbetade han i 9 år. Det var vid den här tiden som han måste ha börjat förstå att vägen till " ren konst"ligger genom isolering, isolering från samhället. Grigory bestämde sig för att bryta alla sina relationer med sina kollegor. Forskaren bestämde sig för att låsa in sig i sin lägenhet i Leningrad och starta ett grandiost arbete ...

Topologi

Det är inte lätt att förklara vad Perelman bevisade i matematik. Endast stora älskare av denna vetenskap kan helt förstå betydelsen av hans upptäckt. Vi ska försöka i klartext prata om hypotesen som Perelman tog fram. Grigory Yakovlevich lockades av topologi. Detta är en gren av matematiken, ofta även kallad geometri på en gummiduk. Topologistudier geometriska former som kvarstår när formen böjs, vrids eller sträcks. Med andra ord, om den är absolut elastiskt deformerad - utan limning, skärning och rivning. Topologi är mycket viktigt för en disciplin som matematisk fysik. Det ger en uppfattning om rymdens egenskaper. I vårt fall talar vi om ett oändligt utrymme som kontinuerligt expanderar, det vill säga om universum.

Poincare gissningar

Den store franske fysikern, matematikern och filosofen J. A. Poincaré var den första som antog detta. Detta hände i början av 1900-talet. Men det bör noteras att han gjorde ett antagande och inte gav något bevis. Perelman gjorde det till sin uppgift att bevisa denna hypotes, att härleda en matematisk lösning, logiskt verifierad, efter ett helt sekel.

När man talar om dess väsen börjar de vanligtvis enligt följande. Ta gummiskivan. Den ska dras över bollen. Således har du en tvådimensionell sfär. Det är nödvändigt att skivans omkrets samlas vid en punkt. Du kan till exempel göra detta med en ryggsäck genom att dra av den och knyta den med ett snöre. Det visar sig vara en sfär. Naturligtvis är det för oss tredimensionellt, men ur matematikens synvinkel blir det tvådimensionellt.

Sedan börjar bildliga projektioner och resonemang, som är svåra att förstå för en oförberedd person. Man bör nu föreställa sig en tredimensionell sfär, det vill säga en boll som sträcks över något som går in i en annan dimension. En tredimensionell sfär är enligt hypotesen det enda existerande tredimensionella objektet som kan dras ihop av en hypotetisk "hypercord" vid en punkt. Beviset för detta teorem hjälper oss att förstå vilken form universum har. Dessutom, tack vare det, kan man rimligen anta att universum är en sådan tredimensionell sfär.

Poincaré-hypotesen och Big Bang-teorin

Det bör noteras att denna hypotes är en bekräftelse på Big Bang-teorin. Om universum är den enda "figuren" vars utmärkande drag är förmågan att dra ihop den till en punkt, betyder det att den kan sträckas ut på samma sätt. Frågan uppstår: om det är en sfär, vad finns utanför universum? Är människan, som är en biprodukt som tillhör planeten Jorden ensam och inte ens till kosmos som helhet, kapabel att inse detta mysterium? De som är intresserade kan bjudas in att läsa verk av en annan världsberömd matematiker - Stephen Hawking. Han kan dock ännu inte säga något konkret om detta. Låt oss hoppas att en annan Perelman i framtiden kommer att dyka upp och han kommer att kunna lösa denna gåta, som plågar mångas fantasi. Vem vet, kanske Grigory Yakovlevich själv fortfarande kommer att kunna göra det.

Nobelpriset i matematik

Perelman fick inte detta prestigefyllda pris för sin stora prestation. Konstigt, eller hur? Faktum är att detta förklaras väldigt enkelt, med tanke på att en sådan utmärkelse helt enkelt inte existerar. En hel legend har skapats om orsakerna till att Nobel berövade representanter en så viktig vetenskap. Än i dag har Nobelpriset i matematik inte delats ut. Perelman skulle nog få det om det fanns. Det finns en legend om att anledningen till Nobels avvisande av matematiker är följande: det var till representanten för denna vetenskap som hans brud lämnade honom. Gilla det eller inte, det var först med tillkomsten av 2000-talet som rättvisan äntligen segrade. Det var då som ytterligare ett pris för matematiker dök upp. Låt oss kort prata om dess historia.

Hur kom Clay Institute Award till?

Vid en matematisk kongress som hölls i Paris 1900 föreslog han en lista med 23 problem som behövde lösas under det nya 1900-talet. Hittills är 21 av dem redan tillåtna. Förresten, 1970 slutförde Yu. V. Matiyasevich, en examen i matematik och mekanik vid Leningrad State University, lösningen av den 10:e av dessa problem. I början av 2000-talet sammanställde American Clay Institute en liknande lista, bestående av sju problem i matematik. De borde ha lösts redan på 2000-talet. En miljon dollar belöning tillkännagavs för att lösa var och en av dem. Redan 1904 formulerade Poincaré ett av dessa problem. Han framförde gissningen att alla tredimensionella ytor som är homotypiskt ekvivalenta med en sfär är homeomorfa till den. talande med enkla ord, om en tredimensionell yta är något lik en sfär, då är det möjligt att platta till den till en sfär. Detta uttalande av vetenskapsmannen kallas ibland universums formel på grund av dess stora betydelse för att förstå komplexa fysiska processer, och också för att svaret på det innebär att lösa frågan om universums form. Det bör också sägas att denna upptäckt spelar en viktig roll i utvecklingen av nanoteknik.

Så, Clay Mathematics Institute bestämde sig för att välja de 7 svåraste problemen. För lösningen av var och en av dem utlovades en miljon dollar. Och nu dyker Grigory Perelman upp med sin upptäckt. Priset i matematik går såklart till honom. Han uppmärksammades ganska snabbt, eftersom han sedan 2002 har publicerat sitt arbete på utländska internetresurser.

Hur Perelman tilldelades Clay Award

Så i mars 2010 tilldelades Perelman det välförtjänta priset. Priset i matematik innebar att man fick en imponerande förmögenhet, vars storlek var 1 miljon dollar. Det var meningen att Grigory Yakovlevich skulle få det för beviset, men i juni 2010 ignorerade vetenskapsmannen den matematiska konferens som hölls i Paris, där priset skulle delas ut. Och den 1 juli 2010 meddelade Perelman sitt avslag offentligt. Dessutom tog han aldrig pengarna som tilldelats honom, trots alla förfrågningar.

Varför tackade matematikern Perelman nej till priset?

Grigory Yakovlevich förklarade detta med det faktum att hans samvete inte tillät honom att ta emot en miljon, vilket berodde på flera andra matematiker. Forskaren noterade att han hade många skäl både att ta pengarna och att inte ta dem. Det tog lång tid för honom att bestämma sig. Grigory Perelman, en matematiker, nämnde oenighet med vetenskapssamfundet som huvudskälet till att vägra priset. Han noterade att han anser att hans beslut är orättvist. Grigory Yakovlevich uppgav att han trodde att Hamiltons, en tysk matematiker, bidrag till lösningen av detta problem inte var mindre än hans.

Förresten, lite senare fanns det till och med en anekdot om detta ämne: matematiker måste fördela miljoner oftare, kanske kommer någon fortfarande att besluta sig för att ta dem. Ett år efter Perelmans vägran tilldelades Demetrios Christodoul och Richard Hamilton Shaw-priset. Beloppet för denna utmärkelse i matematik är en miljon dollar. Denna utmärkelse kallas ibland också för NobelprisetÖst. Hamilton fick det för skapandet av en matematisk teori. Det var det som den ryske matematikern Perelman sedan utvecklade i sina verk som ägnas åt beviset för Poincaré-förmodan. Richard tog emot priset.

Andra priser vägrades av Grigory Perelman

Förresten, 1996 tilldelades Grigory Yakovlevich ett prestigefyllt pris för unga matematiker från European Mathematical Society. Han vägrade dock att ta emot den.

Tio år senare, 2006, tilldelades forskaren Fields-medaljen för att ha löst Poincare-förmodan. Grigory Yakovlevich vägrade henne också.

Tidskriften Science kallade 2006 beviset på hypotesen som skapades av Poincaré för årets vetenskapliga genombrott. Det bör noteras att detta är det första verket inom matematikområdet som har fått en sådan titel.

David Gruber och Sylvia Nazar publicerade en artikel 2006 som heter Manifold Destiny. Den talar om Perelman, om hans lösning på Poincaré-problemet. Dessutom talar artikeln om den matematiska gemenskapen och de etiska principer som finns inom vetenskapen. Den innehåller också en sällsynt intervju med Perelman. Mycket sägs också om kritiken mot Yau Xingtang, den kinesiske matematikern. Tillsammans med sina elever försökte han utmana fullständigheten i bevisen som presenterades av Grigory Yakovlevich. I en intervju noterade Perelman: "De som bryter mot etiska normer inom vetenskapen betraktas inte som utomstående. Människor som jag är som är isolerade."

I september 2011 tackade han också nej till medlemskap Ryska akademin matematiker Perelman. Hans biografi presenteras i en bok som publicerades samma år. Från den kan du lära dig mer om denna matematikers öde, även om den insamlade informationen är baserad på tredje parts vittnesmål. Dess författare - Boken sammanställdes på grundval av intervjuer med klasskamrater, lärare, kollegor och kollegor till Perelman. Sergei Rukshin, Grigory Yakovlevichs lärare, talade kritiskt om henne.

Grigory Perelman idag

Och idag lever han ett ensamt liv. Matematikern Perelman ignorerar pressen på alla möjliga sätt. Var bor han? Tills nyligen bodde Grigory Yakovlevich med sin mamma i Kupchino. Och sedan 2014 har den kände ryske matematikern Grigory Perelman varit i Sverige.

Foto av N. Chetverikova Den sista stora bedriften av ren matematik är beviset på Poincaré-förmodan, uttryckt 1904 och som säger: "varje ansluten, enkelt ansluten, kompakt tredimensionell grenrör utan gräns, är homeomorf till sfären S 3 " av Grigory Perelman från S:t Petersburg 2002-2003.

Det finns flera termer i denna fras, som jag ska försöka förklara på ett sådant sätt att deras allmänna innebörd blir tydlig för icke-matematiker (jag antar att läsaren har gått ut gymnasiet och fortfarande minns något från skolmatematiken).

Låt oss börja med begreppet homeomorfism, som är centralt i topologin. I allmänhet definieras topologi ofta som "gummigeometri", det vill säga som vetenskapen om egenskaperna hos geometriska bilder som inte förändras under jämna deformationer utan mellanrum och limning, eller snarare, om det är möjligt att etablera en en-till- en och en-till-en överensstämmelse mellan två objekt .

Huvudidén är lättast att förklara med det klassiska exemplet med en mugg och en bagel. Den första kan förvandlas till den andra genom en kontinuerlig deformation: Dessa figurer visar tydligt att muggen är homeomorf till munken, och detta faktum är sant både för deras ytor (tvådimensionella grenrör, kallade torus) och för fyllda kroppar ( tredimensionella grenrör med gräns).

Låt oss ge en tolkning av resten av termerna som förekommer i formuleringen av hypotesen.

1. Tredimensionell grenrör utan gräns. Detta är ett sådant geometriskt objekt, där varje punkt har en grannskap i form av en tredimensionell boll. Exempel på 3-grenrör är för det första hela det tredimensionella utrymmet, betecknat med R 3 , såväl som alla öppna uppsättningar av punkter i R 3, till exempel det inre av en solid torus (munk). Om vi ​​betraktar en sluten solid torus, d.v.s. lägger till dess gränspunkter (torns yta), så får vi redan ett grenrör med gräns - gränspunkterna har inte grannskap i form av en boll, utan bara i formen av en halva av bollen.

2. Ansluten. Konceptet med anslutning är det enklaste här. Ett grenrör är anslutet om det består av ett stycke, eller, något likadant, två av dess punkter kan kopplas samman med en kontinuerlig linje som inte går utöver dess gränser.

3. Helt enkelt ansluten. Föreställningen om singelanslutningen är mer komplicerad. Det betyder att varje kontinuerlig stängd kurva som ligger helt och hållet inom ett givet grenrör smidigt kan dras ihop till en punkt utan att lämna detta grenrör. Till exempel är en vanlig tvådimensionell sfär i R 3 helt enkelt ansluten (ett elastiskt band, godtyckligt fäst vid ytan av ett äpple, kan dras samman genom en jämn deformation till en punkt utan att slita det elastiska bandet från äpplet). Å andra sidan är cirkeln och torus inte bara sammankopplade.

4. Kompakt. Ett grenrör är kompakt om någon av dess homeomorfa bilder har avgränsade dimensioner. Till exempel är ett öppet intervall på en linje (alla punkter i ett segment utom dess ändar) inte kompakt, eftersom det kontinuerligt kan förlängas till en oändlig linje. Men ett slutet segment (med ändar) är ett kompakt grenrör med en gräns: för varje kontinuerlig deformation går ändarna till några specifika punkter, och hela segmentet måste gå in i en avgränsad kurva som förbinder dessa punkter.

Dimensionera mångfaldigt är antalet frihetsgrader vid den punkt som "lever" på den. Varje punkt har en grannskap i form av en skiva med motsvarande dimension, dvs ett intervall av en linje i det endimensionella fallet, en cirkel på planet i det tvådimensionella fallet, en boll i det tredimensionella fallet , etc. Ur topologins synvinkel finns det bara två endimensionella sammankopplade grenrör utan gräns: detta är linjen och cirkeln. Av dessa är endast cirkeln kompakt.

Ett exempel på ett utrymme som inte är ett grenrör är till exempel ett par korsande linjer - trots allt, vid skärningspunkten mellan två linjer har vilket område som helst formen av ett kors, det har inte ett område som skulle i sig vara bara ett intervall (och alla andra punkter har sådana kvarter). Matematiker säger i sådana fall att vi har att göra med en singular mångfald, som har en singular punkt.

Tvådimensionella kompakta grenrör är välkända. Om vi ​​bara tänker orienterad 1 mångfalder utan gräns, sedan bildar de från topologisk synpunkt en enkel, om än oändlig, lista: och så vidare. Varje sådant grenrör erhålls från en sfär genom att limma flera handtag, vars nummer kallas ytans släkte.

1 I brist på utrymme kommer jag inte att prata om icke-orienterbara grenrör, ett exempel på det är den berömda Klein-flaskan - en yta som inte kan bäddas in i ett utrymme utan självkorsningar.


Figuren visar ytor av släkten 0, 1, 2 och 3. Hur skiljer sig en sfär från alla ytor i denna lista? Det visar sig att det helt enkelt hänger ihop: på en sfär kan vilken sluten kurva som helst dras ihop till en punkt, och på vilken annan yta som helst är det alltid möjligt att indikera en kurva som inte kan dras ihop till en punkt längs ytan.

Det är konstigt att tredimensionella kompakta grenrör utan gräns också kan klassificeras i en viss mening, d.v.s. ordnade i en viss lista, även om de inte är lika okomplicerade som i det tvådimensionella fallet, men har en ganska komplex struktur. 3D-sfären S 3 sticker dock ut i denna lista på exakt samma sätt som 2D-sfären i listan ovan. Det faktum att vilken kurva som helst på S 3 drar ihop sig till en punkt är lika lätt att bevisa som i det tvådimensionella fallet. Men det omvända påståendet, nämligen att denna egenskap är unik just för sfären, d.v.s. att det finns icke-sammandragbara kurvor på alla andra tredimensionella grenrör, är mycket svårt och utgör exakt innehållet i Poincare-förmodan vi talar om .

Det är viktigt att förstå att grenröret kan leva på egen hand, det kan ses som ett oberoende objekt, inte kapslat någonstans. (Föreställ dig levande tvådimensionella varelser på ytan av en vanlig sfär, omedvetna om existensen av en tredje dimension.) Lyckligtvis kan alla de tvådimensionella ytorna från listan ovan bäddas in i det vanliga R 3-utrymmet, vilket gör dem lättare att visualisera. För 3-sfären S 3 (och i allmänhet för alla kompakta 3-grenrör utan gräns) är detta inte längre fallet, så en viss ansträngning krävs för att förstå dess struktur.

Tydligen är det enklaste sättet att förklara den tredimensionella sfärens S 3 topologiska struktur med hjälp av enpunktskomprimering. Den tredimensionella sfären S3 är nämligen en enpunktskomprimering av det vanliga tredimensionella (obegränsade) utrymmet R3.

Låt oss först förklara denna konstruktion med enkla exempel. Låt oss ta en vanlig oändlig rät linje (en endimensionell analog av rymden) och lägga till en "oändligt avlägsen" punkt till den, förutsatt att när vi rör oss längs en rät linje till höger eller vänster, kommer vi så småningom till denna punkt. Ur topologisk synvinkel är det ingen skillnad mellan en oändlig linje och ett avgränsat öppet segment (utan ändpunkter). Ett sådant segment kan böjas kontinuerligt i form av en båge, föra ändarna närmare varandra och limma den saknade punkten i korsningen. Vi får uppenbarligen en cirkel - en endimensionell analog av en sfär.

På liknande sätt, om jag tar ett oändligt plan och lägger till en punkt vid oändligheten, till vilken alla linjer i det ursprungliga planet, som passerar i vilken riktning som helst, tenderar, då får vi en tvådimensionell (vanlig) sfär S 2 . Denna procedur kan observeras med hjälp av en stereografisk projektion, som tilldelar varje punkt P i sfären, med undantag för nordpolen av N, en viss punkt på planet P ":

Således är en sfär utan en punkt topologiskt densamma som ett plan, och om man lägger till en punkt förvandlas planet till en sfär.

I princip är exakt samma konstruktion tillämplig på en tredimensionell sfär och ett tredimensionellt utrymme, bara för dess genomförande är det nödvändigt att gå in i den fjärde dimensionen, och detta är inte så lätt att avbilda på ritningen. Därför begränsar jag mig till en verbal beskrivning av enpunktskomprimeringen av utrymmet R 3 .

Föreställ dig att till vårt fysiska utrymme (som vi, efter Newton, anser vara ett obegränsat euklidiskt utrymme med tre koordinater x, y, z) har en punkt "i oändligheten" lagt till på ett sådant sätt att när man rör sig längs en rät linje i någon riktning, faller du (dvs varje rumslig linje sluter sig till en cirkel). Då får vi ett kompakt tredimensionellt grenrör, som per definition är sfären S 3 .

Det är lätt att se att sfären S 3 helt enkelt är ansluten. Faktum är att varje stängd kurva på denna sfär kan förskjutas något så att den inte passerar genom den tillagda punkten. Då får vi en kurva i det vanliga utrymmet R 3 , som lätt dras ihop till en punkt med hjälp av homoteter, dvs kontinuerlig kontraktion i alla tre riktningarna.

För att förstå hur grenröret S 3 är uppbyggt är det mycket lärorikt att överväga dess uppdelning i två solida tori. Om den solida torusen utelämnas från utrymmet R 3, så återstår något som inte är särskilt tydligt. Och om utrymmet kompakteras till en sfär, förvandlas detta komplement också till en solid torus. Det vill säga, sfären S3 är uppdelad i två solida tori som har en gemensam gräns - en torus.

Så här kan det förstås. Låt oss bädda in torusen i R 3 som vanligt, i form av en rund munk, och rita en vertikal linje - rotationsaxeln för denna munk. Rita ett godtyckligt plan genom axeln, det kommer att skära vår solida torus längs två cirklar som visas i grönt i figuren, och den ytterligare delen av planet är uppdelad i en kontinuerlig familj av röda cirklar. Bland dem är den centrala axeln, markerad med fetare, eftersom i sfären S 3 sluter linjen till en cirkel. En tredimensionell bild erhålls från denna tvådimensionella genom att rotera runt en axel. En komplett uppsättning roterade cirklar kommer sedan att fylla en tredimensionell kropp, homeomorf till en solid torus, som bara ser ovanlig ut.

I själva verket kommer den centrala axeln att vara en axiell cirkel i den, och resten kommer att spela rollen som paralleller - cirklar som utgör den vanliga solida torusen.

För att ha något att jämföra 3-sfären med ska jag ge ytterligare ett exempel på ett kompakt 3-grenrör, nämligen en tredimensionell torus. En tredimensionell torus kan konstrueras enligt följande. Låt oss ta en vanlig tredimensionell kub som källmaterial:

Den har tre par ansikten: vänster och höger, topp och botten, fram och bak. I varje par parallella ytor identifierar vi i par de punkter som erhållits från varandra genom att överföra längs kanten på kuben. Det vill säga, vi kommer att anta (rent abstrakt, utan att tillämpa fysiska deformationer) att till exempel A och A "är samma punkt, och B och B" också är en punkt, men skiljer sig från punkt A. Alla inre punkter i kub kommer vi att överväga som vanligt. Själva kuben är ett grenrör med kant, men efter gjord limning stänger kanten om sig själv och försvinner. Faktum är att kvarteren för punkterna A och A" i kuben (de ligger på vänster och höger skuggade ytor) är halvorna av bollarna, som, efter att ha limmat ihop ytorna, smälter samman till en hel boll, som fungerar som en närheten av motsvarande punkt på den tredimensionella torusen.

För att känna strukturen hos 3-torusen baserad på vanliga idéer om fysiskt utrymme måste du välja tre ömsesidigt vinkelräta riktningar: framåt, vänster och uppåt - och mentalt överväga, som i science fiction-berättelser, att när du rör dig i någon av dessa riktningar, en ganska lång, men begränsad tid , kommer vi att återvända till utgångspunkten, men från motsatt riktning. Detta är också en "komprimering av rymden", men inte en enpunkts sådan, som tidigare användes för att konstruera en sfär, men mer komplex.

Det finns icke kontraktsbara vägar på 3-torus; till exempel är detta segmentet AA" i figuren (på torusen visar det en stängd bana). Det kan inte dras ihop, eftersom för varje kontinuerlig deformation måste punkterna A och A" röra sig längs sina ytor, förbli strikt mittemot varje annat (annars öppnas kurvan).

Således ser vi att det finns helt enkelt anslutna och icke-enkelt anslutna kompakta 3-grenrör. Perelman bevisade att ett enkelt sammankopplat grenrör är exakt en.

Den första idén med beviset är att använda det så kallade "Ricci-flödet": vi tar ett enkelt anslutet kompakt 3-grenrör, ger det en godtycklig geometri (dvs introducerar lite metrik med avstånd och vinklar) och sedan överväga dess utveckling längs Ricci-flödet. Richard Hamilton, som föreslog denna idé 1981, hoppades att med denna evolution skulle vårt mångfald förvandlas till en sfär. Det visade sig att detta inte är sant - i det tredimensionella fallet kan Ricci-flödet förstöra grenröret, d.v.s. göra det lite grenrör (något med singulära punkter, som i exemplet ovan med korsande linjer). Perelman, genom att övervinna otroliga tekniska svårigheter, med hjälp av den tunga apparaturen med partiella differentialekvationer, lyckades ändra Ricci-flödet nära singulära punkter på ett sådant sätt att under evolutionen förändras grenrörets topologi inte, det finns inga singulära punkter, och i i slutet förvandlas den till en rund sfär. Men vi måste äntligen förklara vad detta flöde av Ricci är. Flödena som används av Hamilton och Perelman hänvisar till en förändring i den inneboende metriken på ett abstrakt grenrör, och detta är ganska svårt att förklara, så jag kommer att begränsa mig till att beskriva det "externa" Ricci-flödet på endimensionella grenrör inbäddade i ett plan .

Föreställ dig en slät stängd kurva på det euklidiska planet, välj en riktning på den och betrakta vid varje punkt en tangentvektor av enhetslängd. Sedan, när man går runt kurvan i den valda riktningen, kommer denna vektor att rotera med någon vinkelhastighet, vilket kallas krökning. Där kurvan är brantare blir krökningen (i absolut värde) större och där den är jämnare blir krökningen mindre.

Krökningen kommer att betraktas som positiv om hastighetsvektorn vänder mot den inre delen av planet delat av vår kurva i två delar, och negativ om den vänder utåt. Denna konvention beror inte på i vilken riktning kurvan korsas. Vid böjningspunkter där rotationen ändrar riktning blir krökningen 0. Till exempel har en cirkel med radie 1 en konstant positiv krökning på 1 (mätt i radianer).

Låt oss nu glömma tangentvektorer och fästa till varje punkt i kurvan, tvärtom, en vektor vinkelrät mot den, lika lång med krökningen vid en given punkt och riktad inåt om krökningen är positiv och utåt om den är negativ , och sedan kommer vi att tvinga varje punkt att röra sig i riktningen för motsvarande vektor med hastighet proportionell mot dess längd. Här är ett exempel:

Det visar sig att varje stängd kurva i planet beter sig på liknande sätt under en sådan utveckling, det vill säga att den så småningom förvandlas till en cirkel. Detta är beviset på den endimensionella analogen av Poincare-förmodan med Ricci-flödet (dock är själva påståendet i detta fall redan uppenbart, bara bevismetoden illustrerar vad som händer i dimension 3).

Avslutningsvis noterar vi att Perelmans argument inte bara bevisar Poincaré-förmodan, utan också den mycket mer allmänna Thurston-geometriseringsförmodan, som i en viss mening beskriver strukturen hos alla kompakta 3-grenrör i allmänhet. Men detta ämne ligger utanför ramen för denna elementära artikel.

Sergey Duzhin,
Doktor i fysik och matematik Vetenskaper,
senior Forskare
St Petersburg filial
Matematiska institutet vid Ryska vetenskapsakademin

Poincarés teorem är den matematiska formeln för "Universum". Grigory Perelman. Del 1 (från serien "Real Man in Science")

Henri Poincare (1854-1912), en av de största matematikerna, formulerade 1904 den berömda idén om en deformerad tredimensionell sfär och i form av en liten marginalanteckning placerad i slutet av en artikel på 65 sidor om en helt annan fråga, klottrade några rader av en ganska konstig gissning med orden: "Tja, den här frågan kan ta oss för långt" ...

Marcus Du Sotoy vid University of Oxford tror att Poincarés teorem är "detta det centrala problemet inom matematik och fysik, försöker förstå vilken form Kanske Universum Det är väldigt svårt att komma nära henne."

En gång i veckan reste Grigory Perelman till Princeton för att delta i ett seminarium på Institute for Advanced Study. På seminariet, en av matematikerna Harvard Universitet svarar på Perelmans fråga: "Teorin om William Thurston (1946-2012, matematiker, arbetar inom området "Tredimensionell geometri och topologi"), kallad geometriseringshypotesen, beskriver alla möjliga tredimensionella ytor och är ett steg framåt jämfört med till Poincaré-hypotesen. Om du bevisar antagandet om William Thurston, kommer Poincare-förmodan öppna alla sina dörrar för dig och mer dess lösning kommer att förändra hela den moderna vetenskapens topologiska landskap».

Sex ledande amerikanska universitet i mars 2003 bjuder in Perelman att läsa en serie föreläsningar som förklarar hans arbete. I april 2003 gör Perelman en vetenskaplig turné. Hans föreläsningar blir en enastående vetenskaplig händelse. John Ball (ordförande för International Mathematical Union), Andrew Wiles (matematiker, arbetar inom aritmetiken av elliptiska kurvor, bevisade Fermats teorem 1994), John Nash (matematiker som arbetar inom spelteori och differentialgeometri) kommer till Princeton att lyssna på honom.

Grigory Perelman lyckades lösa en av millenniets sju uppgifter Och beskriva matematiskt den så kallade universums formel, för att bevisa Poincarés gissning. De ljusaste sinnena kämpade om denna hypotes i mer än 100 år, och för beviset för vilket världens matematiska samfund (Clay Mathematical Institute) lovade 1 miljon dollar. Den presenterades den 8 juni 2010. Grigory Perelman dök inte upp på den , och världens matematiska samfund "käftar tappade."

År 2006, för att lösa Poincaré-förmodan, belönades matematikern med det högsta matematiska priset - Fields-priset (Fields-medaljen). John Ball besökte personligen St. Petersburg för att övertala honom att ta emot priset. Han vägrade acceptera det med orden: "Samhället är knappast i stånd att seriöst utvärdera mitt arbete."

"Fieldspriset (och medaljen) delas ut vart fjärde år vid varje internationell matematikkongress till unga forskare (under 40 år) som har gjort ett betydande bidrag till utvecklingen av matematik. Utöver medaljen tilldelas pristagarna 15 000 kanadensiska dollar ($13 000)."

I sin ursprungliga formulering lyder Poincaré-förmodan enligt följande: "Varje enkelt sammankopplat kompakt tredimensionellt grenrör utan gräns är homeomorft till en tredimensionell sfär." Översatt till ett vanligt språk betyder detta att vilket tredimensionellt föremål som helst, till exempel ett glas, kan omvandlas till en kula enbart genom deformation, det vill säga att den inte behöver skäras eller limmas. Med andra ord, Poincaré föreslog det rymden är inte tredimensionell, utan innehåller ett mycket större antal dimensioner, och Perelman 100 år senare bevisade det matematiskt.


Grigory Perelmans uttryck för Poincarés teorem om omvandling av materia till ett annat tillstånd, form liknar den kunskap som anges i Anastasia Novykhs bok "Sensei IV": nålar. Samt förmågan att kontrollera det materiella universum genom transformationer som introducerats av observatören från att kontrollera dimensioner över den sjätte (från 7 till 72 inklusive) (rapport "PRIMÄR ALLATRA FYSIK" ämne "Ezoosmic grid").

Grigory Perelman kännetecknades av livets stramhet, strängheten i etiska krav både för sig själv och för andra. När man tittar på honom får man en känsla av att han bara är det kroppsliga bor gemensamt med alla andra samtida Plats, A Andligt i någon annan, där till och med för 1 miljon dollar går inte för den mest "oskyldiga" kompromisser med samvetet. Och vilken typ av utrymme är detta, och är det möjligt att ens titta på det från ögonvrån? ..

Den exceptionella betydelsen av den hypotes som matematikern Poincaré lade fram för ungefär ett sekel sedan gäller tredimensionella strukturer och är nyckelelement samtida forskning universums grunder. Denna gåta, enligt experter från Clay Institute, är en av de sju fundamentalt viktiga för utvecklingen av framtidens matematik.

Perelman, som tackar nej till medaljer och priser, frågar: "Varför behöver jag dem? De är helt värdelösa för mig. Alla förstår att om beviset är korrekt så krävs inget annat erkännande. Tills jag utvecklade misstänksamhet hade jag valet att antingen tala högt om sönderfallet av den matematiska gemenskapen som helhet, på grund av dess låga moraliska nivå, eller att inte säga någonting och låta mig behandlas som boskap. Nu när jag har blivit mer än misstänksam kan jag inte förbli en boskap och fortsätta vara tyst, så jag kan bara gå.

För att kunna göra modern matematik måste du ha ett helt rent sinne, utan den minsta inblandning som sönderdelar det, desorienterar det, ersätter värderingar, och att acceptera denna utmärkelse innebär att visa svaghet. Den idealiska vetenskapsmannen är endast engagerad i vetenskap, bryr sig inte om något annat (makt och kapital), han måste ha ett rent sinne, och för Perelman finns det ingen större betydelse än att leva i enlighet med detta ideal. Är hela denna idé med miljoner användbara för matematik, och behöver en riktig vetenskapsman ett sådant incitament? Och kapitalets önskan att köpa och underkuva allt i denna värld är inte förolämpande? Eller så kan du sälja dess renhet för en miljon? Pengar, oavsett hur mycket det finns, är likvärdiga själens sanning? Vi har trots allt att göra med en a priori bedömning av problem som pengar helt enkelt inte borde ha att göra med, eller hur?! Att göra av allt detta till något som liknar en lotto-miljon, eller en väska, innebär att ägna sig åt sönderfallet av det vetenskapliga, och faktiskt den mänskliga gemenskapen som helhet(Se rapporten "PRIMORDIAL ALLATRA FYSICS" och i boken "AllatRa" de sista 50 sidorna om sättet att bygga ett kreativt samhälle). OCH kontanter(energi), vilka affärsmän är redo att donera till vetenskapen, om det är nödvändigt att använda det, så är det korrekt, eller något, utan att förödmjuka Anden av sann tjänst, vad man än kan säga, en ovärderlig monetär motsvarighet: " Vad är en miljon, jämfört, med renhet, eller Majestät dessa sfärer (om dimensionerna av det globala universum och omkring andliga världen se bok"AllatRa" och rapportera"PRIMORDIAL ALLATRA PHYSICS"), i vilken oförmögen att tränga igenom till och med mänsklig fantasi (sinne)?! Vad är en miljon stjärnbeströdd himmel för tid?

Låt oss ge en tolkning av de återstående termerna som förekommer i formuleringen av hypotesen:

Topologi - (av grekiskan topos - plats och logos - undervisning) - en gren av matematiken som studerar figurers topologiska egenskaper, d.v.s. egenskaper som inte förändras under några deformationer som produceras utan diskontinuiteter och limningar (närmare bestämt under en-till-en och kontinuerliga mappningar). Exempel på topologiska egenskaper hos figurer är dimensionen, antalet kurvor som avgränsar ett givet område, och så vidare. Så, en cirkel, en ellips, en kvadratisk kontur har samma topologiska egenskaper, eftersom dessa linjer kan deformeras till varandra på det sätt som beskrivits ovan; samtidigt har ringen och cirkeln olika topologiska egenskaper: cirkeln begränsas av en kontur och ringen av två.

Homeomorfism (grekiska ομοιο - liknande, μορφη - form) är en en-till-en-överensstämmelse mellan två topologiska utrymmen, under vilken båda ömsesidigt inversa avbildningar som definieras av denna överensstämmelse är kontinuerliga. Dessa mappningar kallas homeomorfa eller topologiska mappningar, samt homeomorfismer, och utrymmen sägs tillhöra samma topologiska typ kallas homeomorfa, eller topologiskt ekvivalenta.

Ett tredimensionellt grenrör utan gräns. Detta är ett sådant geometriskt objekt, där varje punkt har en grannskap i form av en tredimensionell boll. Exempel på 3-grenrör är för det första hela det tredimensionella utrymmet, betecknat med R3, såväl som alla öppna uppsättningar av punkter i R3, till exempel det inre av en solid torus (munk). Om vi ​​betraktar en sluten solid torus, dvs. Om vi ​​lägger till dess gränspunkter (ytan på en torus), kommer vi att få ett grenrör med en gräns - gränspunkterna har inte grannskap i form av en boll, utan bara i form av en halva av bollen.

Full torus (full torus) - geometrisk kropp, homeomorf till produkten av en tvådimensionell skiva och cirkeln D2 * S1. Informellt är en solid torus en munk, medan en torus bara är dess yta (en ihålig kammare i ett hjul).

Helt enkelt ansluten. Det betyder att varje kontinuerlig stängd kurva som ligger helt och hållet inom ett givet grenrör smidigt kan dras ihop till en punkt utan att lämna detta grenrör. Till exempel är en vanlig tvådimensionell sfär i R3 helt enkelt ansluten (ett elastiskt band, godtyckligt applicerat på ytan av ett äpple, kan dras samman till en punkt genom en jämn deformation utan att ta bort det elastiska bandet från äpplet). Å andra sidan är cirkeln och torus inte bara sammankopplade.

Kompakt. Ett grenrör är kompakt om någon av dess homeomorfa bilder har avgränsade dimensioner. Till exempel är ett öppet intervall på en linje (alla punkter i ett segment utom dess ändar) inte kompakt, eftersom det kontinuerligt kan förlängas till en oändlig linje. Men ett slutet segment (med ändar) är ett kompakt grenrör med en gräns: för varje kontinuerlig deformation går ändarna till några specifika punkter, och hela segmentet måste gå in i en avgränsad kurva som förbinder dessa punkter.

Fortsättning följer...

Ilnaz Basharov

Litteratur:

– Rapport "PRIMARY ALLATRA PHYSICS" från den internationella gruppen av forskare från ALLATRA International Public Movement, red. Anastasia Novykh, 2015 http://allatra-science.org/pub... ;

- Nya. A. "AllatRa", K.: AllatRa, 2013 http://schambala.com.ua/book/a... .

- Nya. A., "Sensei-IV", K.: LOTOS, 2013, 632 sid. http://schambala.com.ua/book/s...

– Sergey Duzhin, doktor i fysik och matematik Sci., seniorforskare, filial i St. Petersburg vid det matematiska institutet vid Ryska vetenskapsakademin


Topp