Professional Documents
Culture Documents
Uzayinsekilleri
Uzayinsekilleri
fiekilleri
As›rl›k Poincaré Sav›’n›n ispat› için vaadedilmifl olan 1 milyon dolarl›k ödülü, belki de Rus ma-
tematikçi Grigori Perelman alacak. Matematikçi, ispat› gerçeklefltirmekle üç boyutlu uzaylar ka-
talogunu da tamamlam›fl bulunuyor.
A
ya¤a kalk›n ve çevrenize ba- ti¤ini söyler. Dünya yak›n›nda bu üç say› raberce bir 4-manifold oluflturur.)
k›n. S›çray›n, ileri-geri yürü- enlem, boylam ve yükseklik olabilir. Matematikçiler 3-manifoldlar konu-
yün. Kollar›n›z› sallay›n. Newton fizi¤i ve geleneksel kuantum sunda birçok fley biliyorlar; ama en temel
Siz, her do¤rultuda milyar- fizi¤i, her fleyin yer ald›¤› üç boyutlu uza- baz› sorular› yan›tlamak hiç de kolay ol-
larca ›fl›k-y›l›na uzanan bir y›n sabit ve de¤iflmez oldu¤unu kabul e- mad›. Manifoldlar› inceleyen matematik
3-manifoldun (üç boyutlu uzay›n) ufak der. Buna karfl›n, Einstein’›n genel göre- dal›, topoloji. Topologlar›n 3-manifold
bir bölgesinde hareket eden bir parçac›k- lilik kuram›na göre uzay aktif bir oyun- konusunda sorabilecekleri baz› sorular
lar toplulu¤usunuz. cudur: bir noktadan bir baflkas›na olan flunlar: Yap›s› en az karmafl›k, en basit 3-
Manifoldlar (ya da çok katl›lar, çok uzakl›k, yörede varolan madde ve enerji manifold ne? Ayn› ölçüde basit baflka bir-
boyutlular) matematiksel yap›lard›r. Gali- miktar›yla ve geçmekte olan herhangi bir çok kuzeni var m›; yoksa tek mi?
leo ve Kepler’den bu yana fizi¤in en bü- kütleçekim dalgas› olup olmamas›yla da ‹lk sorunun yan›t› uzun süredir bilini-
yük baflar›s›, gerçekli¤i flu ya da bu tür ba¤lant›l›d›r. Ne var ki, sözkonusu olan yor: 3-küre olarak adland›r›lan uzay, en
matematikle (örne¤in manifoldlar›n ma- ister Newton ister Einstein fizi¤i olsun, basit kompakt (“t›k›z”) 3-manifolddur.
temati¤iyle) aç›klamas›d›r. Fizik, bütün uzay, sonlu ya da sonsuzlu¤undan ba- (Kompakt olmayanlar, sonsuz olan, ya
olgular›n üç boyutlu uzay arka zeminin- ¤›ms›z olarak, bir 3-manifold ile temsil da bir kenar› olan manifoldlar olarak dü-
de yer ald›¤›n› kabul eder (sicim kuram- edilir. Bu nedenle, 3-manifoldlar›n özel- flünülebilir. Burada yaln›zca kompakt
c›lar›n›n bu üç boyut d›fl›nda çok küçük liklerini anlamak, tüm fizi¤in (ve tüm di- manifoldlar› ele alaca¤›z.) Daha sonraki
boyutlar›n varoldu¤u savlar›n› dikkate ¤er bilimlerin) temelini tam olarak anla- iki soruysa yüz y›l boyunca çözüm bekle-
almazsak). Üç boyut, bir parçac›¤›n ko- mak bak›m›ndan zorunludur. (4-mani- di. Son olarak 2002 y›l›nda Rus matema-
numunu saptamak için üç say›n›n gerek- foldlar da önemlidir: uzay ve zaman be- tikçi Grigori (“Grisha”) Perelman taraf›n-
1 Bir çemberle çevrelenmifl bir disk düflünelim. Matematikçi için disk “iki bo-
yutlu bir top”tur; çember de “bir boyutlu bir küre”. Ayr›ca, bir “top”, bo-
yutu ne olursa olsun, beyzbol topu gibi içi dolu bir nesnedir. “Küre” topun ‹ki boyutlu top
yüzeyidir (balon gibi). Çember bir boyutludur; çünkü üstündeki bir konumu
belirlemek için tek bir say› yeterlidir.
2-küre
Kuzey kutbu
du. Perelman ve Thurston’un sonuçlar›y- Matemati¤in bu dal›nda nesnenin tam liklerini keflfederler. Topolojiyle çal›fl-
la üç boyutlu uzay›n alabilece¤i olanakl› fleklinin önemi yoktur; sanki oyun hamu- mak, insanlar›n ortak özelliklerini bul-
bütün flekillerin; yani evrenimizin (zama- rundan yap›lm›fl gibi onu istedi¤iniz öl- maya benzer; belirli herhangi bir insan›n
n› de¤il, yaln›zca uzay› ele alarak), mate- çüde ezer, gerer, bükersiniz. Sanal oyun flekline girebilen bir ‘oyun hamuru insa-
mati¤in almas›na izin verdi¤i bütün flekil- hamurundan yap›lm›fl nesnelerle ya da n›’n› ele almak gibi. Topolojinin herhan-
lerin eksiksiz bir katalo¤una sahibiz. uzaylarla neden ilgileniyoruz? Nedeni, gi bir popüler anlat›m›n› okuyanlar, bir
bir nesnenin tam fleklinin -üzerindeki topolog için bir fincanla bir simit aras›n-
Lastik Simitler herhangi iki nokta aras›ndaki uzakl›¤›n- da bir fark olmad›¤› yolundaki aç›klama-
nesnenin “geometrisi” denen yap›s›yla il- y› bilirler. Bununla anlat›lmak istenen, o-
Poincaré sav›n› ve Perelman’›n ispat›- gili olmas›. Topologlar, oyun hamurun- yun hamurundan yap›lm›fl bir fincana,
n› daha derinden anlamak için topoloji dan yap›lm›fl bir nesneyle, onun geomet- kesmeden, delik açmadan, ya da parçala-
konusunda baz› fleyler bilmek gerekir. rik yap›s›ndan ba¤›ms›z olan temel özel- r› yap›flt›rmadan, hamuru bast›r›p yuvar-
layarak simit flekli verebiliyor olman›z. Ö-
• Poincaré sav›n›n ispat›, sonunda genç Rus te yandan, bir topu simite dönüfltürmek
Kuflbak›fl› matematikçisi Grigori Perelman’dan geldi. Pe- için ya ortas›ndan delik açmak, ya da o-
• Matematikçiler 100 y›l boyunca, Henri relman, çal›flmalar›yla, olanakl› bütün 3 boyutlu nu bir silindir biçiminde uzat›p iki ucu
Poincaré’nin önerdi¤i, üç boyutlu küre veya 3- manifoldlar› s›n›fland›ran büyük bir araflt›rma yap›flt›rman›z gerekir. Bu türden bir kes-
küre olarak bilinen bir nesneyle ilgili sav› ispat- program›n› da tamamlam›fl oluyor. me ya da yap›flt›rma gerektirecek olan
lamaya çal›flt›lar. Sav, 3-kürenin, bütün üç bo- • Evrenimizin flekli 3-küre olabilir. Bununla
ilgili matemati¤in, parçac›k fizi¤i ve Einstein’›n
bu ifllemden dolay›, top, topologlara göre
yutlu nesneler, ya da manifoldlar aras›nda tek bir simitle ayn› fley de¤ildir.
oldu¤unu ileri sürüyor. görelilik kuram›yla da ilginç ba¤lant›lar› var.
Topologlar› en çok ilgilendiren fley,
Kuzey kutbu
4 fiimdi 2-küreyi ve içerdi¤i üç boyutlu hacmi (“üç boyutlu bir
Güney kutbu top”) ele alarak çember ve disk ile yapt›klar›m›z› top ve küreyle
de yapal›m: Bunlar›n iki kopyas›n› al›p kenarlar› birbirine yap›fl-
t›ral›m. Toplar› dört boyutta, yar›mküre benzeri bir fleye nas›l
çarp›tabilece¤imizi hayal edemeyiz; ama bu gerekmez de. Yü-
zeylerde (2-kürelerde) birbirine karfl›l›k gelen noktalar›n, t›pk›
çemberlerdeki noktalar gibi, birlefltirildi¤ini bilmek yeterli. ‹ki
topu birlefltirmenin sonucu 3-küredir; bu küre de dört boyutlu
topun “yüzeyi”dir (3-küre ve 4-topun varoldu¤u dört boyutta,
bir nesnenin “yüzeyi” üç boyutludur). Toplardan birine kuzey
yar›mküre, ötekine de güney yar›mküre diyebiliriz. Kuzey kut-
bu, kuzeydeki topun merkezindedir (t›pk› kuzey kutbunun, ku-
Ekvator (2-küre, tüm yüzey) zey diskinin merkezinde oldu¤u gibi).
Ekvator
top ile simitin yüzeyleri; bu nedenle her 20. yüzy›la girildi¤inde, en etkin çal›fl- nakl› herhangi bir biçimde sar›labilir. Pe-
iki nesnenin içini boflaltarak birer balon malar› yapan iki matematikçiden biri o- ki, bu ilmek, hiçbir bölümünü manifold-
olduklar›n› düflünece¤iz. Bu durumda da lan Henri Poincaré (di¤eri David Hilbert) dan kald›rmadan, yaln›zca yer de¤ifltire-
topolojileri farkl›d›r; küresel bir balon, bu soruya do¤rudan yaklaflm›flt›. Poin- rek, bir noktaya s›k›flt›r›labilir mi? Bir si-
“tor” denen halka fleklinde bir balona dö- caré’nin, temel ya da uygulamal› mate- mit yüzeyi için, yan›t “hay›r”d›r. ‹lmek, si-
nüflemez. Öyleyse tor ve küre, topolojik mati¤in bütün alanlar›na hakim olanla- mitin çevresinde dolan›yorsa bir noktaya
bak›mdan farkl› fleylerdir. Bafllang›çta to- r›n sonuncusu oldu¤u söylenir. Matema- s›k›flt›r›lamaz; simitin iç çemberinde en-
pologlar, topolojik bak›mdan farkl› kaç ti¤in baz› alanlar›n› gelifltirmenin yan›n- gelle karfl›lafl›r. Homotopi bir ilme¤in en-
varl›k bulundu¤unu ve bunlar› ay›rt e- da, gök mekani¤i, elektromanyetizma gellenebilece¤i farkl› bütün yollar›n bir
den nitelikleri aramaya girifltiler. “Yü- kuramlar› ve bilim felsefesi konular›na ölçümüdür.
zey” ad› da verilen iki boyutlu nesnelerin (bu konuda çok okunan birkaç kitap da Bir n-küre üstünde, ilmek ne denli
nitelikleri, aç›k ve kesin biçimde, yüzeyin yazm›flt›) da katk›da bulunmufltu. e¤ilip bükülmüfl olsa da, her zaman aç›-
“kulp” say›s›yla belirlenir. Poincaré, cebirsel topoloji denen ma- larak bir noktaya s›k›flt›r›labilir (bu ifllem-
19. yüzy›l sonunda matematikçiler yü- tematik dal›n›n bafll›ca yarat›c›s›d›r. 1900 ler s›ras›nda ilme¤in kendi içinden geç-
zeyleri nas›l s›n›fland›racaklar›n› bulmufl- y›l› civar›nda bu yeni alandaki teknikleri mesine de izin veriliyor). Poincaré, ola-
lard›. Bütün yüzeyler içinde yaln›zca kü- kullanarak, bir nesnenin topolojisinin öl- nakl› her ilme¤in bir noktaya büzüflebile-
renin basit oldu¤unu biliyorlard›. 3-küre çütü olan ve “homotopi” ad› verilen kav- ce¤i yegane 3-manifoldun, 3-kürenin ken-
de, 2-küre gibi basitlik bak›m›ndan tek ram› tan›mlad› ve gelifltirdi. Bir manifol- disi oldu¤unu ileri sürdü; ama bunu is-
miydi? Bu basit sorunun ard›ndan gelen dun homotopisini saptamak için bu ma- patlayamad›. Bu önerme, zamanla “Poin-
yüz y›ll›k dönem, yanl›fl giriflimler ve yan- nifolda kapal› bir ilmek gömdü¤ünüzü caré sav›” olarak ünlendi. On-y›llar bo-
l›fl ispatlarla dolu. düflünün. ‹lmek, manifold çevresinde ola- yunca birçok kifli sav› kan›tlad›¤›n› bildir-
Olanakl› bütün 2-boyutlu manifoldlar ya da yüzeyler (kompakt ve yönlendirile- p›labilirler. Bir kulpun ilavesiyle “tür-1 yüzeyi”, ya da tor oluflur. Bu, sa¤ üst-
bilir olmak kofluluyla), bir küre al›p (a balonu gibi) ona kulplar ekleyerek ya- teki simitin yüzeyidir. ‹ki kulp ilavesiyle “tür-2 yüzeyi” (b) elde edilir.
2-küre, yüzeyler aras›nda benzersizdir; üzerine gömülen kapal› bir ilmek, bir foldlar aras›nda 3-kürenin tek oldu¤unu söyler: Üstündeki herhangi bir il-
nokta (a) oluncaya kadar küçültülebilir. Buna karfl›n tor üstündeki bir ilmek, mek, bir nokta oluncaya kadar küçültülebilir; ama baflka herhangi bir 3-ma-
ortadaki delik çevresinde “yakalanabilir” (b). 2-küre d›fl›ndaki her yüzeyde il- nifoldda ilmek yakalanabilir; yani bir noktaya büzüflmesi olanaks›zd›r.
me¤in yakalanabilece¤i kulplar vard›r. Poincaré sav›, bütün üç boyutlu mani-
di; ama yan›ld›klar› ortaya ç›kt›. (Burada manifoldun gerçek biçimiyle ilgilidir: yerde ayn› de¤il. Yumurtan›n sivri ucu,
ve daha sonraki bölümlerde aç›klamay› geometri aç›s›ndan nesne, oyun hamu- di¤er uca göre daha büyük bir e¤rili¤e
daha anlafl›l›r k›lmak için, karmafl›k iki rundan de¤il, seramikten yap›lm›flt›r. Ör- sahip.
durumu dikkate alm›yoruz: yönlendirile- ne¤in, bir fincan›n geometrisi simitinkin- 2-manifoldlar üç geometrik tip olufltu-
meyen manifoldlar ve kenarlar› olan ma- den farkl›d›r; yüzeyi farkl› biçimlerde e¤- rur. Küre, “pozitif e¤rili¤e” sahiptir, bir
nifoldlar. Örne¤in, büküldükten sonra rileflir. Simit ve fincan (tek kulplu) topo- tümse¤in tepesi gibi. Geometriklefltirilmifl
uçlar› birlefltirilmifl bir flerit olan Mobius lojik bir tor’un, geometrileri farkl› iki ör- simit düzdür; e¤rili¤i düzleminki gibi s›-
fleridi yönlendirilemez. Kendisinden bir ne¤idir. f›rd›r. ‹ki ya da daha çok kulpu olan bü-
disk kesilip ç›kar›lm›fl olan bir kürenin Geometriklefltirmenin Perelman’a ne tün di¤er manifoldlar›n e¤rili¤i negatiftir.
kenar› vard›r. Mobius fleridinin de kena- anlamda yard›mc› oldu¤unu anlamak i- Negatif e¤rilik, bir da¤ geçidi ya da bir
r› vard›r.) çin, geometrinin 2-manifold ya da yüzey- eyerin e¤rili¤ine benzer: Eyer ön-arka
leri s›n›fland›rmada nas›l kullan›labilece- do¤rultusunda yukar› do¤ru, sa¤-sol do¤-
Geometriklefltirme ¤ini ele alal›m. Her topolojik yüzeye, e¤- rultusunda afla¤›ya do¤ru k›vr›l›r. Poin-
rili¤in tümüyle düzgün biçimde yay›ld›¤› caré, Klein fliflesine ad›n› veren Felix Kle-
Çok dikkatli incelemelere gö¤üs gere- özel ve tek olan bir geometri karfl›l›k ge- in ve Paul Koebe ile 2-manifoldlar›n bu
bilen ilk ispat, Perelman’a ait olan›. 3-bo- lir. Küre için, bu yegane geometri, kusur- geometrik s›n›fland›r›lmas›na, ya da geo-
yutlu manifoldlar› çözümleme yaklafl›m›, suzca küresel olan küredir. Topolojik kü- metriklefltirilmesine katk›da bulunmufltu.
geometriklefltirme denen bir süreçle ba¤- re için bir baflka örnek de yumurta kabu- Benzer yöntemleri 3-manifoldlara uy-
lant›l›d›r. Geometri bir nesnenin ya da ¤unun biçimi; ama kabu¤un e¤rili¤i her gulamaya çal›flmak çok do¤al. Her topo-
u¤raflt›¤›n›n ilk habercisiydi. Bu ön ya- karfl›laflmalar› olabilir. Poincaré dokuz ay sonra öldü. Çeviri: Nermin Ar›k