Konġettura ta 'Poincaré u b'qerq madwar tagħha

teoriji matematiċi ftit hekk eċċitati bogħod mill astratta pubbliku raġunament ġeometriċi, bħal dan wieħed. Poincaré konġettura, imnedija fl-1887 mill-matematiku Franċiż Anri Puankare, aktar minn mitt sena haunted-xjenzati minn pajjiżi differenti. Hi saret interessati fil mhux biss il-ġeometrija, iżda wkoll il-fiżika, u anke servizzi speċjali .... Għalhekk, tali sensazzjoni ikkawżat messaġġ li qal li l-sigrieti għall-ipotesi li fuqha huma grif kapijiet tagħhom kif imħuħ brillanti finalment skoperti, u l-teorema Poincaré ppruvat. Żejt fl-interess nazzjonali tan-nar jitferra u l-fatt li jidhru li huma l-teorija ta 'xjentist - Russu matematiku Grigory Perelman - irrifjutat li tagħti lilu l-Premju Oqsma matematika (u akkompanjatur miljun dollaru tagħha) fl-2006. Huwa ma jirreaġixxu għall-xjenzat u Premju Millennju tiegħu mogħtija Clay Istitut Matematika.

Madankollu, - jitlob lill-qarrej, bogħod mill-matematika, - għaliex dan l-interess huwa preċiżament l-konġettura Poincaré? U għaliex hi prova ta 'ħlas daqshekk flus? Biex tagħmel dan, għalkemm f'termini ġenerali ħafna, huwa meħtieġ li jiddeskrivi dak li huwa din l-ipoteżi fil-qafas ta 'dan il-qasam tal-matematika, bħal topoloġija. Immaġina bużżieqa ftit minfuħa. Jekk tgħaffiġ tiegħu, inti tista 'tagħtiha forom differenti: kubu, sfera u anke forom ovali ta' nies u annimali. Iżda dan kollu varjetà ta 'forom ġeometriċi jista' jiġi kkonvertit fil-forma universali waħda - il-ballun. L-unika dak li ma jistax ddawar il-ballun mingħajr tiċrit - hija forma b'toqba, per eżempju, bagel.

ipoteżi Poincaré jiddikjara li l-oġġetti kollha li ma jkollhomx permezz-toqob għandhom bażi - ballun. Iżda l-korp li jkun hemm ftuħ (matematiċi jsejħulhom Torus, iżda ħalliha tkun "bagel" għalina) huma kompatibbli ma 'xulxin, iżda mhux ma' korpi solidi. Per eżempju, jekk aħna bl-addoċċ minn qtates tafal, nistgħu umyat hija fis-ballun u mill-għomja mingħajr l-użu tal-waqfiet, qanfud jew bil-ferrovija. Jekk aħna bl-addoċċ bagel, nistgħu jitgħawweġ dan fil- "tmienja" jew mug, iżda fil-ballun mhux ser jirnexxi. Torus u Sfera inkompatibbli - fil-lingwa matematika mhumiex homeomorphic.

Huwa jinnota li l-prova ta 'din it-teorija ma jkunx tant interessati fil-matematika bħala astrofiżika. Jekk teorija Poincaré ta japplika għall-entitajiet materjali kollha fl-univers, allura għaliex ma jimmaġina għal mument li huwa veru wkoll fir-rigward tal-univers innifsu? X'jiġri jekk il-kwistjoni kollha ġew minn żgħir, punt dimensjonali wieħed u issa sseħħ fi sfera multi-dimensjonali? U fejn fruntieri tagħha? U barra? U dak li jekk issib mekkaniżmu tagħqid 'l-univers lura lejn il-punt tat-tluq? Bħal fil-prova ta 'ipoteżi tiegħu, l-awtur għamel żball ħafna matematiċi u fiżiċi, naqsu taħt il-jespliċitaw ta' l-konġettura Poincaré, bdejna biex selflessly jaħdmu fuq evidenza tagħha. Bosta minnhom - D. G. Uaythed, Bing, K. Papakiriakopoulos, Smale, M. Friedman - poġġew ħajjithom fuq il-prova tat-teorija Poincaré.

Iżda bħala riżultat tal-kisbietu marru għall joskuraw-xjenzat Perelman Pietruburgu, għalkemm formalment - fil-paġni ta 'rivisti mill-pari - l-prova ma tkunx tidher d-dawl. Xogħol Gregory Yakovich tpoġġa fil arXiv.org fl-2002, iżda madankollu, magħmula fid-dinja xjentifika l-effett ta 'bomba jisplodi. Peress li l-matematiku permeżz lanqas biss jitħajru "lustrar" xiehda tiegħu, xi xjentisti iddeċidew li jaħtfu l-kisbietu tal-discoverer. Allura, matematiċi Ċiniż Huaydun CaO u Sipin Chzhu kien imsemmi prova Perelman ta 'l-intermedju, u ssupplimentatha. Madankollu, l-għoti tal-Premju tal-Millennju għall-matematiku Russu (għalkemm huwa rrifjuta li jirċevih) tpoġġi l-ħrejjef "i": il-konġettura ta 'Poincaré ġie ppruvat lilha Perelman. Meta reporters xorta rnexxielha intervista matematiku brillanti, meta mistoqsi għaliex hu naqas l-għoti ta 'miljun dollaru, kien hemm risposta stramba: "Jekk nitkellem' l-univers, allura għaliex għandi f'dak il-każ, miljun?"