Download as pdf or txt
Download as pdf or txt
You are on page 1of 7

Uzay›n

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-

B‹L‹M ve TEKN‹K 66 Aral›k 2004


dan sunulan çözümse, Poincaré sav› ola- Benzer flekilde, 3-kürede bir sinek, Üniversitesi’nde bu çal›flma konusunda
rak bilinen kuram› büyük olas›l›kla ispat- (ya da evrenimiz kadar büyük bir 3-küre- bir dizi seminer vermek için Amerika’ya
lam›fl bulunuyor. de, bir insan!) kendisini, “bildi¤imiz” üç gitti. Bir düzineye yak›n kuruluflun önde
Bundan tam 100 y›l önce, Frans›z ma- boyutlu uzaydaym›fl gibi alg›lar. Ancak gelen matematikçilerinden oluflan ekip-
tematikçi Henri Poincaré’nin ileri sürdü- herhangi bir do¤rultuda bir do¤ru üze- ler, makaleleri incelemeye bafllad›lar.
¤ü sav flu: 3-manifoldlar aras›nda yer a- rinde uzaya uçtu¤unda, sonunda 3-küre- Her ayr›nt›n›n do¤rulu¤unu inceliyor ve
lan 3-küre, benzersizdir; baflka hiçbir 3- yi çepeçevre dolaflarak kendisini bafllad›- olas› hatalar› ar›yorlard›.
manifoldun bu denli ‘basit’ özellikleri ¤› noktada bulur; t›pk› balon üstündeki Perelman, Stony Brook’da iki hafta
yoktur. Daha karmafl›k olan 3-manifold- sinek, ya da dünya turuna ç›kan biri gibi. boyunca günde üç ila alt› saat ders verdi,
lar, tu¤ladan bir duvar gibi yukar›ya yük- Üçten farkl› boyutlarda küreler de konuflmalar yapt›. Stony Brook matema-
selen s›n›rlara, ya da bir ormanda önce var. 1-küreyi biliyoruz: yaln›zca bir çem- tikçisi Michael Anderson’un izlenimleri
ayr›l›p sonra birleflen patikalar gibi, bir ber (yuvarla¤›n kendisi de¤il, kenar›). n- flöyle: “Her soruyu kesin ve aç›k biçimde
bölgeden di¤erine uzanan birden fazla boyutlu küreye de n-küre deniyor. yan›tlad›. Ve flimdiye kadar ciddi kuflku-
ba¤lant›ya sahiptir. Poincaré sav›, bu tür- lar öne sürülmüfl de¤il. ‹spat›n tamam-
den bir karmafl›kl›¤› olmayan yegane 3- Savlar›n ‹spat› lanmas› için gereken tek fley, görece kü-
manifoldun 3-küre oldu¤unu ileri sürer. çük bir ispat. Ama sonuçtan kimsenin
Küreyle bu nitelikleri paylaflan herhangi Poincaré 3-küre sav›n› önerdikten pek kuflkusu yok.” ‹lk makale temel fikir-
bir üç boyutlu nesne, 3-küreyle ayn› biçi- sonra, ispat› konusunda hiçbir ilerleme leri içeriyor; do¤rulu¤u da kabul edilmifl
me sokulabilir; topologlar için bu nesne kaydedilmeksizin yar›m yüzy›l geçti. durumda. ‹kinci makalenin içeri¤iyse uy-
3-kürenin yaln›zca bir baflka kopyas›d›r. 1960’larda matematikçiler sav›n befl ya gulamalar ve daha teknik görüfller içeri-
Perelman’›n ispat›, ayn› zamanda üçün- da daha fazla boyutlu küreler için ben- yor; do¤rulanm›fll›k düzeyi, birincinin
cü soruyu da yan›tlayarak varolan bütün zerlerini ispatlad›lar. Bu boyutlar›n her ulaflt›¤› düzeye henüz varabilmifl de¤il.
3-manifold tiplerinin s›n›fland›r›lmas›n› biri için, n-küre yegane ve en basit mani- Poincaré sav›n›n ispat› için 1 milyon
tamaml›yor. folddur. ‹spat›n, üç ve dörtten büyük bo- dolar ödül konmufl durumda. Bu, Cam-
Bir 3-kürenin neye benzedi¤ini tasar- yutlar için daha kolay olmas›, çeliflki gibi bridge, Massachusetts’teki Clay Matema-
lamak biraz beyin jimnasti¤i gerektiriyor. görünüyordu. Özellikle zor olan dört bo- tik Enstitüsü’nün 2000 y›l›nda belirledi-
(Bu, sözcük anlam›yla bir küre de¤il.) 3- yut için ispat, 1982’de geldi. Geriye yal- ¤i yedi “Milenyum Problemi’nden biri.
küre, hepimizin bildi¤i 2-kürenin birçok n›zca Poincaré’nin ilk sav› olan 3-küre Perelman’›n ödülü alabilmesi için ispat›n
özelliklerini tafl›r: küre fleklinde bir lastik kalm›flt›. yay›nlanmas› ve iki y›ll›k bir inceleme sü-
balonun lasti¤i, bir 2-küre oluflturur. 2- Üç boyut probleminin çözümündeki resini baflar›yla geçmesi gerekiyor. (Ens-
küre iki boyutludur; çünkü üzerindeki ilk büyük aflama, 2002 Kas›m›nda St. Pe- titü, çal›flman›n web sitesinde yay›nlan-
bir noktan›n konumunu belirlemek için tersburg’daki Steklov Matematik Ensti- mas›ndan sonra, sonucun baflka herhan-
iki koordinat (enlem ve boylam) yeterli- tüsü’nden geldi. Matematikçi Perelman, gi bir makale kadar ciddi ve dikkatlice in-
dir. Ayr›ca, e¤er balonun yüzeyinden çok fizikçi ve matematikçilerin yeni araflt›r- celenmifl oldu¤una da karar verebilir.)
küçük bir disk al›p onu bir büyüteçle in- malar›n› gönderdikleri www.arxiv.org. Perelman, yapt›¤› çal›flmayla,
celerseniz düz, iki boyutlu bir lastik düz- web sunucusuna bir makale göndermiflti. 1990’larda Columbia Üniversitesi’nden
lemden kesilmifl gibi görünür. Yaln›zca Çal›flma Poincaré sav›ndan söz etmese Richard S. Hamilton’un yönetti¤i bir
çok az bir e¤rili¤e sahiptir; balon, üstün- de, makaleyi gören topoloji uzmanlar› o- araflt›rma program›n› geniflleterek ta-
de yürüyen ufak bir böcek için bir düz- nun savla ilgili oldu¤unu hemen anlad›- mamlam›fl oluyor. 2003 sonlar›nda Clay
lem gibi alg›lan›r. Ancak böcek, bir do¤- lar. Bunu 2003 Mart›ndaki ikinci bir ma- Enstitüsü Hamilton’un çal›flmas›n› bir
ru gibi alg›lad›¤› bir çizgi üstünde yete- kale izledi. O y›l›n Nisan ve May›s ayla- araflt›rma ödülüyle onaylad›. Perel-
rince yürürse, sonunda bafllad›¤› nokta- r›nda Perelman Amerika’daki Massachu- man’›n hesaplar› ve analizleri, Hamil-
ya gelir. setts Teknoloji Enstitüsü ve Stony Brook ton’un karfl›laflt›¤› ve üstesinden geleme-
di¤i birkaç engeli ortadan kald›r›yor.
Henri Poincaré 1904 y›l›nda üç boyutlu kürenin belirli
baz› özelliklerini tafl›yan herhangi bir üç boyutlu nesnenin E¤er ispat› herkesin de bekledi¤i gibi
3-küre biçimine dönüfltürülebilece¤ini ileri sürdü. Mate- do¤ruysa, Perelman gerçekte Poincaré
matikçilerin bunu kan›tlamas› için 99 y›l gerekti. (“Üç bo-
yutlu küre”, bildi¤imiz anlamdaki küreden farkl›.)
sav›ndan çok daha genifl bir çal›flmay›
gerçeklefltirmifl olacak. fiimdi Cornell
Üniversitesi’nde olan William P. Thurs-
ton’un ileri sürmüfl oldu¤u Thurston
geometriklefltirme sav›, olanakl› bütün 3-
manifoldlar için tam bir s›n›fland›rma.
Tekni¤i ve basitli¤iyle inan›lmaz ‘güzel-
likteki’ 3-küre, bu harikulade s›n›fland›r-
2003 Nisan›nda Princeton Üniversitesi’ndeki bir se- man›n dayanak noktas›. Poincaré sav›
minerde Grigori Perelman, Poincaré sav›n›n ispat›n› yanl›fl olsayd› -yani küre kadar “basit”
ve Thurston’un geometriklefltirme program›n›n ta-
mamlanmas›n› aç›kl›yor.
baflka uzaylar da varolsayd›- 3-manifold-
lar›n s›n›fland›r›lmas› Thurston’un öner-
di¤inden sonsuz kat daha karmafl›k olur-

Aral›k 2004 67 B‹L‹M ve TEKN‹K


Kürelerin Çok Boyutlu Müzi¤i
Perelman sav›n›n kalbinde yatan 3-küreyi göz önüne geirmek i- ramlarla yetinirler (ama tabii benzetmelerin gerçek olmad›¤›n› unut-
çin biraz çaba gerekiyor. Büyük boyutlu uzaylar konusunda teorem- mazlar). Ancak baflkalar› da, bilinen daha küçük boyutlu örnekler-
ler ispatlayan matematikçiler, buna gerek duymaz. Onlar soyut özel- den yola ç›karak daha yüksek boyutlu nesnelerin neye benzedikleri
likler ve daha düflük boyutlarla benzetmelere ve sezgiye dayal› kav- hakk›nda fikir sahibi olabilir. 3-küre bu tür bir nesnedir.

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.

Bir boyutlu küre

2 fiimdi 2-boyutlu küreyi, diskin iki kopyas›ndan elde edebiliriz.


Disklerden birini kuzey yar›mküreye benzer bir yar›mküreye dö-
nüfltürün; öteki diski de güney yar›mküreye. Sonra da bu iki ya-
r›mküreyi kenar çizgilerinden yap›flt›r›n. ‹flte size 2-küre.

2-küre
Kuzey kutbu

3 Bir kar›ncan›n kuzey kutbundan yola ç›karak, uluslara- Kuzey kutbu


ras› gün de¤iflim çizgisiyle ‹ngiltere’deki Green-
wich’den geçen boylam›n oluflturdu¤u büyük çember
(solda) boyunca yürüdü¤ünü düflünün. E¤er bu izle¤i i-
ki disk üzerine (sa¤da) iflaret edersek kar›ncan›n bir
do¤ru boyunca (1) kuzey diskinin kenar›na (a) yürüdü-
¤ünü görürüz. Sonra güney diskinde a’ya karfl›l›k ge-
len noktaya geçer ve bu disk üzerinde bir do¤ru bo-
yunca (2 ve 3) yürür. Tekrar kenara geldi¤inde (b),
kuzey diskine girer ve yürümeye devam ederek bafllan- Güney kutbu
g›ç noktas› olan kuzey kutbuna (4) do¤ru yol al›r. Ka-
Ekvator r›nca 2-küre çevresinde yürürken, izledi¤i yolu diskler
Güney kutbu
üzerinde iflaretledik. Burada, aç›klanmas› gereken nok-
ta, bir diskten ötekine geçti¤inde hareket yönünün
ters dönmüfl gibi görünmesi.

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,

B‹L‹M ve TEKN‹K 68 Aral›k 2004


Üç boyutlu top

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

Kuzey kutbu 5 fiimdi de bu toplar›n, uzay›n büyük bofl bölgeleri oldu¤unu ve


bir insan›n da kuzey kutbundan uzay gemisiyle yola ç›kt›¤›n› dü-
flünelim. Sonunda kuzey topunu çevreleyen kürenin tümü olan
“ekvatora” (1) ulafl›r. Ekvatorda güney yar›mküreye geçer ve
do¤ru boyunca giderek onun merkezinden (güney kutbu) yol
alarak kendini ekvatorun karfl› taraf›nda (2, 3) bulur. Orada
tekrar kuzey yar›mküreye geçer ve ç›k›fl noktas› olan kuzey kut-
buna (4) gelir. Böylece hayalimizde dört boyutlu topun yüzeyin-
de hareket ederek onu çepçevre dolaflan bir kifliyi izlemifl ol-
duk! ‹ki topun küresel yüzeylerinin birlefltirilmesinden oluflan 3-
küre Poincaré sav›n›n geçerli oldu¤u uzayd›r. Evrenimizin flekli
de 3-küre olabilir.
Güney kutbu
Bu sürece devam ederek befl boyuta (4-küre yapmak için) geçe-
biliriz; ancak ne olup bitti¤ini anlamak daha da zorlafl›r. Benzer
flekilde iki n-topun kenar noktalar›n› yap›flt›rarak belli herhangi
bir n-küreyi oluflturabiliriz. Kenarlar, ya da s›n›rlar (n-1)-küreler-
dir; t›pk› diskin (2-top) kenarlar›n›n bir çember (1-küre) oldu¤u
gibi. Sonuçta (n+1)-topu çevreleyen bir n-küre elde edilir.

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-

Aral›k 2004 69 B‹L‹M ve TEKN‹K


Yüzeylerin Topolojisi
Topolojide bir nesnenin t›pat›p flekli veya geometrisi önemli de¤ildir. Sanki t›rma yoluyla flekillendirilebilir. Ancak, kesme ve yap›flt›rma yasakt›r. Bu du-
her fley oyun hamurundan, ya da lastikten yap›lm›flt›r ve germe, bükme, s›k›fl- rumda topolojide, tek deli¤i olan en soldaki fincan, en sa¤daki simite denktir.

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-

B‹L‹M ve TEKN‹K 70 Aral›k 2004


nik”) geometriye sahip parçalara ayr›lma-
Geometriklefltirme s› gerekir. Dahas›, 2-manifoldlarda oldu¤u
2-manifoldlar “tekbiçimlefltirilerek” ya da “geometriklefltirilerek”, yani onlara belirli bir geometri, ya da gibi üç temel geometri yerine, manifold
kat› bir biçim tahsis ederek s›n›fland›r›labilirler. Her biri, e¤rili¤i düzgün biçimde da¤›lm›fl bir flekle dö- parçalar›n›n her biri, belirlenmifl 8 do¤al
nüflebilir. Küre (a) her noktada sabit pozitif e¤rili¤i olan, yani her noktada bir tepenin üst bölümü gibi
e¤rilmifl yegane biçimdir. Tor (simit) (b) düz, yani her noktada e¤rili¤i s›f›r olan flekle getirilebilir. Bunu
geometriden herhangi birinin biçimini ala-
görmek için torun kesilip silindir bilir. Bir 3-manifoldu parçalara ay›rmak,
fleklinde uzat›ld›¤›n› düflünün. Bu bir bak›ma, bir say›n›n tek bir flekilde asal
durumda da silindir, boylu boyunca çarpanlara ayr›lmas›na benzer.
kesilerek bir dikdörtgen düzlem
parças›na dönüfltürülebilir. Tür-2 ve
S›n›fland›rma yöntemi önce 1970’le-
daha yüksek türlere (c) sabit nega- rin sonlar›nda Thurston taraf›ndan öne-
tif e¤rilik verilebilir; kulp say›s›na rilmiflti. Meslektafllar›yla birlikte bu sav›n
ba¤l› olarak baflka ayr›nt›lar da var- baz› önemli bölümlerini de ispatlad›lar.
d›r. Burada sabit negatif e¤rilik e-
yer flekliyle gösterilmifltir.
Ne var ki, tüm sistemin dayand›¤› canal›-
c› noktalar, Poincaré sav› da dahil, erim-
leri d›fl›nda kald›. 3-küre tek miydi? Bu
sorunun yan›tlanmas› ve Thurston prog-
ram›n›n tamamlanmas›, ancak Perel-
man’›n makaleleriyle mümkün oldu.
Bir manifoldu geometriklefltirmek -ya-
ni, ona her yerde tek-biçim (uniform) e¤-
rilik vermek- için ne yapabiliriz? Bir yön-
tem, rasgele bir geometriyle, belki de çe-
flitli girinti ç›k›nt›lar› olan yumurta kabu-
¤u biçimiyle bafllamak ve sonra bütün dü-
zensizlikleri gidermek olabilir. 1990’lar›n
bafl›nda Hamilton, manifoldlar için böyle
3-manifoldlar›n s›n›fland›r›lmas› da 2-manifoldlar›nkine benzer; ama çok daha karmafl›kt›r. Bu s›n›flan- bir analiz program› bafllatt›. Matematikçi
d›rma, Perelman’›n çal›flmas›yla tamamlanm›fl bulunuyor. Genel olarak, bir 3-manifoldun parçalara ay- Gregorio Ricci-Curbastro’nun ad›yla an›-
r›lmas›, bu parçalardan her birine de, üç boyutlu sekiz do¤al (“kanonik”) geometriden birinin fleklinin lan ve s›cakl›k ak›fl›n› düzenleyen denk-
verilebilmesi gerekir. Afla¤›da verilen mavi renkli örnek (2-manifoldlar olarak art arda çizilmifl) befl ta-
nesine denk olan geometrilerden olufluyor: sabit pozitif (a), s›f›r (b), negatif (c) e¤rilikleri olan 3-geo-
lemle benzerlikleri olan Ricci ak›fl› denk-
metriler, ayr›ca 2-küre ile çember “çarp›m›” (d) ve negatif e¤rili¤i olan yüzeyle çember çarp›m› (a). lemini kulland›. S›cak ve so¤uk noktalar›
olan bir nesnede do¤al olarak s›cakl›k
her yerde ayn› oluncaya kadar, ›s›, daha
s›cak bölgelerden daha serin bölgelere a-
3-manifold kar. Ricci ak›fl denklemi, e¤rilik üzerinde
benzer etki yaparak bir manifolddaki gi-
rinti ç›k›nt›lar› eflitler. Bir yumurtayla
bafllarsan›z, yumurta yavafl yavafl kusur-
suz küresel biçime dönüflür.
Hamilton’un analizi bir engele tak›ld›:
Baz› durumlarda Ricci ak›fl› manifoldun
bir bölgesinde, çimdiklenmifl gibi bir nok-
taya s›k›fl›yordu. (Bu, Ricci ak›fl›n›n ›s›
ak›fl›ndan farkl› oldu¤u durumlardan biri.
‘Çimdiklenen’ bölgeler sonsuz s›cakl›¤a
yükselmeyi baflarabilen noktalara benzi-
DO⁄AL (KANON‹K) 3-GEOMETR‹LERDEN ÖRNEKLER
yordu. Bunun bir örne¤i, halter biçimin-
de, yani ince bir boyunla birleflmifl iki kü-
reye benzer bir manifolddu. Küreler bo-
yun bölümünü çekerek büyür; boyun da
iki taraftan, orta noktas›na do¤ru incelir.
Olas› bir baflka örnek, bir manifoldda in-
ce çubuk fleklinde ç›k›nt› oldu¤unda orta-
ya ç›k›yordu. Ricci ak›fl›, bu durumda
“puro tekilli¤i” ad› verilen bir sorun olufl-
lojik 3-manifoldu, e¤rili¤in manifold bo- 3-manifoldlar›n 2-manifoldlardan çok turabilirdi. Manifold bu flekilde çimdik-
yunca düzgün biçimde yay›ld›¤›, tek bir daha kar›fl›k oldu¤u anlafl›l›yor. 3-mani- lendi¤inde “tekil” niteli¤ini kazan›r; art›k
geometriyle efllefltirmek mümkün mü- foldlar›n ço¤u tek bir geometriyle efllefl- gerçek bir üç boyutlu manifold de¤ildir.
dür? mez; her birinin, farkl› bir do¤al (“kano- Gerçek bir üç boyutlu manifoldda, her-

Aral›k 2004 71 B‹L‹M ve TEKN‹K


Tekilliklerle Bafletmek mektir ki, topolojik bak›mdan bu mani-
fold bir 3-küredir.
Perelman’›n çal›flmalar›ndan önce, Poincaré sav›n› ispatlamak ve 3- fl›lafl›r. Bir örnek, halter fleklinde (bir tüple birleflen iki küre) fleklin-
manifoldlar› geometriklefltirmek için Ricci ak›fl denklemini kullanma deki manifolddur (a). Tüp, bir noktada çimdiklendi¤inde manifoldun Perelman’›n araflt›rmas› Poincaré sa-
çabalar›, bir engele tak›lm›flt›. Bir 3-manifoldun fleklini yavafl yavafl özelliklerini bozar (b). Puro tekilli¤i denen bir baflka tekilli¤in de
de¤ifltiren Ricci ak›fl›, arada “tekillikler” ad› verilen sorunlarla kar- varolabilece¤i düflünülüyordu. v›n› ispatlaman›n ötesinde, getirdi¤i yeni
analiz teknikleri bak›m›ndan da önemli-
dir. Matematikçiler onun çal›flmas›na da-
yanan çal›flmalar göndermeye, ya da o-
nun tekniklerini baflka problemlere uy-
Tekillik
gulamaya bafllad›lar bile. Ayr›ca, bu ma-
“Ameliyat”, Perelman’›n çal›flmas›nda gösterildi¤i gibi, Ricci ak›fl›n- Ricci ak›fl› devam eder. Daha sonra baflka bölgelerde de çimdik gö-
da ortaya ç›kan tekillikler sorununu çözebilir. Manifoldun bir bölge- rülürse bu sürecin birkaç kez tekrarlanmas› gerekebilir. Perelman, temati¤in fizikle de tuhaf bir ba¤lant›s›
si çimdiklenmeye bafllad›¤›nda, bunun her iki taraf›nda küçük birer bu sürecin sonunda bitece¤ini kan›tlad›. Ayn› zamanda puro tekil- var. Hamilton ve Perelman taraf›ndan
bölge kesilip ç›kart›l›r (c); bu kesikler küçük kürelerle kapat›l›r ve liklerinin de asla olmayaca¤›n› gösterdi.
kullan›lan Ricci ak›fl›, renormalizasyon
grubu denen ve etkileflimlerin gücünün
çarp›flma gücüne ba¤l› olarak nas›l de¤ifl-
ti¤ini belirleyen kavramla da ba¤lant›l›.
Örne¤in, düflük enerjilerde elektroman-
yetik etkileflim 0,0073 (yaklafl›k 1 / 137)
hangi bir nokta çevresindeki küçük bir y›mda Perelman, ba¤l› bulundu¤u Stek- say›s›yla nitelenen bir güce sahiptir. An-
bölge, s›radan bir üç boyutlu uzay›n kü- lov Enstitüsü d›fl›nda ABD’deki doktora cak, e¤er ›fl›k h›z›na yak›n h›zda iki elek-
çük bir bölgesi gibi görünür; ancak çim- sonras› pozisyonlar›nda biriktirdi¤i para- tron do¤rudan çarp›fl›rsa, güç 0,0078’e
diklenmifl noktalarda bu özellik yoktur. n›n deste¤ini de dile getiriyordu. daha yak›n olur.
‹flte bu engeli ortadan kald›racak yol, Pe- Perelman, makalesinde Ricci ak›fl› Çarp›flma enerjisini art›rmak, kuvveti
relman’› beklemek zorundayd›. denklemine bir terim eklemiflti. Bu de¤i- daha k›sa uzakl›klarda incelemek demek-
Perelman ABD’ye 1992 y›l›nda dokto- fliklik, tekillik sorununu yok etmiyordu; tir. Bu nedenle, renormalizasyon grubu,
ra sonras› ö¤rencisi olarak geldi. New ancak Perelman’›n 3-manifoldlar›n anali- bir süreci daha incelikli ya da kabaca iz-
York Üniversitesi ve Stony Brook’da bir- zini çok daha ileriye götürmesini sa¤l›- lemek için büyütmesi ayarlanabilen bir
kaç yar›-y›l kald›ktan sonra Berkeley’de- yor, halter türü tekilliklerde ‘ameliyat’ mikroskop gibidir. Benzer flekilde, Ricci
ki California Üniversitesi’nde iki y›l geçir- yap›labilece¤ini gösteriyordu. Ameliyat ak›fl› da, bir manifolda seçti¤iniz bir bü-
di. K›sa sürede, geometrinin belirli bir yöntemiyse halterdeki ince tüpü, çimdik- yütme gücüyle bakmak gibidir. Bir bü-
dal›nda önemli sonuçlar ispatlayarak, lenmenin bafllad›¤› noktan›n iki yan›n- yütme ölçe¤inde görülebilir olan girinti
parlak bir genç y›ld›z olarak ünlendi. Av- dan kesip, her iki taraftaki aç›k tüpün a¤- ve ç›k›nt›lar bir baflka ölçekte kaybolur.
rupa Matematik Derne¤i’nin ona verdi¤i z›n› küre biçiminde bir kapakla kapat- Fizikçiler, içinde yaflad›¤›m›z uzay›n 10-35
ödülü reddetse de, Uluslararas› Matema- makt›. Bu durumda Ricci ak›fl›, ameliyat- metre, ya da Planck uzunlu¤u ölçe¤inde
tikçiler Kongresi’ne bir konferans verme- l› manifold ile, bir sonraki çimdi¤e kadar çok farkl› görünebilece¤ini düflünüyorlar
si için kendisine yap›lan oldukça prestijli devam eder; bu yeni çimdik için ameliyat ?bir sürü ilme¤i, kulpu ve baflka topolo-
teklifi kabul etti. 1995 bahar›nda, önde tekrarlan›r. Perelman bunun d›fl›nda, pu- jik yap›lar› da olan bir “köpük”. Fiziksel
gelen matematik bölümlerinin kendisine ro tekilliklerinin oluflamayaca¤›n› da gös- kuvvetlerin de¤iflimiyle ilgili matematik,
yapt›¤› kadro tekliflerini de geri çeviren terdi. Öyleyse, herhangi bir 3-manifold, manifoldlar›n geometriklefltirilmesiyle il-
Perelman, ülkesine, St. Petersburg’a ge- her biri tekbiçim geometriye sahip parça- gili matemati¤e çok benzer.
ri döndü. Amerikal› meslektafllar›ndan lar›n bir toplulu¤una indirgenebilirdi. Fizikle bir baflka ba¤lant› da genel gö-
biri onun için “Kültür bak›m›ndan tam Ricci ak›fl› ve ameliyat yöntemleri, ola- relilik denklemleridir. Kütleçekim kuvve-
bir Rus. Materyalizmden çok uzak” de- nakl› bütün 3-manifoldlara uyguland›¤›n- tinin iflleyiflini ve evrenin büyük ölçekli
miflti. da, bir 3-küre kadar ‘basit’ (yani, 3-kürey- yap›s›n› aç›klayan bu denklemler, Ricci
Petersburg’a döndükten sonra Perel- le ayn› homotopiye sahip) herhangi bir ak›fl› denklemiyle yak›ndan iliflkilidir. Da-
man, matematikçilerin radar ekranlar›n- manifold, mutlaka 3-küre gibi tekbiçim has›, Hamilton’un kulland›¤› temel ak›fl
da pek görünmez olmufltu. Y›llar sonra, bir geometriye sahip olacakt›r. Bu de- denklemine Perelman’›n ekledi¤i terim,
eski meslektafllar›na ender olarak elek- kütleçekimin kuantum kuram› olan si-
tronik posta mesajlar› göndererek, söz- cim kuram›nda da ortaya ç›kar. Perel-
gelimi ‹nternet’te yay›mlanm›fl makalele- man’›n tekniklerinin genel görelilik ya
rindeki hatalara dikkat çekmek d›fl›nda da sicim kuram› hakk›nda ilginç, yeni bil-
sesi pek ç›kmad›. Kendisinin neler yapt›- giler getirip getirmeyece¤ini henüz bilmi-
¤›n› soran mesajlarsa yan›ts›z kal›yordu. yoruz. E¤er bu gerçekleflirse, Perelman
Nihayet 2002 sonlar›nda birkaç kifli bize soyut 3-uzaylar›n flekli konusunda
ondan e-posta alabildi. Ortak matematik bilgi vermifl olman›n yan›s›ra, içinde ya-
Poincaré (oturmufl ve Marie
sunucusuna gönderdi¤i çal›flmay› haber Curie ile konufluyor) flad›¤›m›z bu özel uzay›n flekli konusun-
veriyor ve kendine özgü üslubuyla, k›sa- Ekim 1911’de Brüksel’deki
Solvay Fizik Konferans›’na kat›ld›.
da da bizi ayd›nlatm›fl olacak.
ca, makaleye ilgi duyabileceklerini söylü- Arkas›nda ayakta duranlar, Ernest Rutherford, Heike Ka-
Collins, G.P. “The Shapes of Space”
merlingh Onnes (o y›l süperiletkenli¤i keflfetmiflti) ve Al-
yordu. Bu mesaj, onun Poincaré sav›yla bert Einstein. Bu, Einstein ve Poincaré’nin ilk ve son
Scientific American, Temmuz 2004

u¤raflt›¤›n›n ilk habercisiydi. Bu ön ya- karfl›laflmalar› olabilir. Poincaré dokuz ay sonra öldü. Çeviri: Nermin Ar›k

B‹L‹M ve TEKN‹K 72 Aral›k 2004

You might also like