Poincare Sanısı Nedir? Grigori Perelman Tarafından Nasıl İspat Edilmiştir?

Topoloji, iki nesne sürekli olarak birbirine dönüştürülebiliyorsa nesnelerin eşdeğer kabul edildiği bir matematik dalıdır. Parçalar uzayda; bükülme, dönme, gerilme ve büzülme gibi hareketlerle birbirine dönüşürken yırtılma veya birbirine yapışma gibi durumlara izin vermezler. Topolojinin temel ilgi alanları, sürekli deformasyonlar sonucunda değişmeden kalan bu özelliklerdir. Topoloji, geometrik olarak eşdeğer nesnelerin uzunluk veya açı gibi sayısal olarak ölçülebilen nicelikleri yönüyle geometriye benzer olmakla birlikte topolojik olarak eşdeğer nesnelerin daha fazla niteliksel olarak birbirine benzemesi yönüyle geometriden ayrılır. Topoloji ve ilgili kavramlara daha sonra detaylıca değinmek üzere Poincaré Varsayımı'ndan bahsedelim.

Poincaré Sanısı

Öncelikle, 20. yüzyılın büyük bir bölümünde Poincaré sanısı, topoloji alanına yön vermiştir. Bu varsayım temelde, bir şeklin topolojik bir 3-küre olup olmadığını nasıl belirleyeceğimizle ilgilidir. 1904 yılında Fransız matematikçi Henri Poincaré, üç boyutlu kürenin; tek ve basitçe bağlantılı üç boyutlu manifold olarak nitelendirilip nitelendirilmediğini sordu. Soruya göre; her kapalı üç boyutlu manifoldun, üç boyutlu küreye homeomorfik olduğu varsayılır. Poincaré varsayımı olarak bilinen bu soru, Thurston'ın geometrileştirme varsayımının özel bir durumuydu.

Thurston tarafından ortaya konan ve Grigori Perelman tarafından kanıtlanan "Geometrileştirme Teoremi" herhangi bir kompakt üç boyutlu bir manifoldun, her bir parçanın iç kısmının geometrik bir yapıya sahip olacak bir şekilde, temel küreler ve toruslar boyunca kesilebileceğini açıklar.^[3]

ArXiV

Poincaré, manifoldların sınıflandırılması üzerinde çalışırken üç boyutlu manifoldların bazı özel sorunlar yarattığını fark etti. Böylece bu sorunu, çözülmemiş en önemli problemlerden biri haline getirmiş oldu.

Üç boyutlu bir manifold, eğri yüzey kavramının üç boyuta genelleştirilmesi ve soyutlanmasıdır. "Topolojik olarak eşdeğer olmak" yani homeomorfiklik ise iki küme arasında sürekli bir birebir eşleme olduğu anlamına gelir, bu da fonksiyon kavramının bir genellemesidir. 3-küre veya $S^3$, dört boyutlu uzayda belirli bir noktaya sabit mesafedeki noktalar kümesidir.

Topolojiyle İlgili Temel Kavramlar

Basitçe Bağlantılı

Bazı durumlarda topolojide ele alınan nesneler, 3 boyutlu uzayda bulunan sıradan nesnelerdir. Örneğin düzlemdeki basit bir halka ve düzlemdeki bir karenin kenarı, topolojik olarak birbirine eşdeğerdir; halkayı, karenin etrafına tam olarak oturabilecek bir lastik olarak hayal edebiliriz.

Öte yandan bir kürenin yüzeyi, katı bir halka olan torusun yüzeyiyle topolojik olarak eşdeğer değildir. Bunu görmek için sabit bir küre üzerinde bulunan herhangi bir küçük halkanın küre üzerinde tutulurken keyfi olarak sürekli olarak küçültülebilir. Bu özelliğe sahip bir nesneye, daha önce kullandığımız "basitçe bağlantılı" denir. Basitçe bağlantılı olma özelliği, sürekli bir deformasyon altında korunan bir özelliktir. Bununla birlikte bir torus üzerindeki bazı halkalar küçültülemez. Yani torus, basitçe bağlantılı değildir.

Britannica

Topolojik Eşdeğerlik

Belirli bir ortam uzayında, bir nesneden diğerine sürekli bir deformasyon gerçekleştirilebiliyorsa iki nesnenin o uzaya göre izotopik olduğu söylenebilir. Örneğin, bir daire ve dairenin içinde izole edilmiş bir noktadan oluşan bir nesneyi ele alalım. İkinci bir nesne olarak ise bir daire ve dairenin dışında ancak daireyle aynı düzlemde izole edilmiş bir noktadan oluşan nesneyi varsayalım.

İki boyutlu bir ortam uzayında, bu iki nesne birbirine sürekli olarak deforme edilemez. Çünkü izole edilmiş noktaların geçmesine izin vermek için dairelerin kesilmesi gerekir. Bununla birlikte üç boyutlu uzay, ortam uzayı olarak hizmet ediyorsa sürekli bir deformasyon gerçekleştirilebilir. Dolayısıyla belirlediğimiz bu iki nesne, iki boyutlu uzaya göre izotopik olmazken üç boyutlu uzaya göre izotopiktir.

Nesnelerin, daha büyük bir ortam uzayı içinde izotopik olması, bu nesnelerin yerleştirildiği uzayın önemini vurgular ve aynı zamanda dışsal topolojik eşdeğerlik kavramını ortaya koyar. Örneğin; üç boyutlu bir uzayda düğüm şeklinde bağlanmış kapalı bir ip halkası, soyut dört boyutlu bir uzayda çözülebilirdir.

Britannica

Britannica

Homeomorfizm

Topolojik eşdeğerliğin, içsel bir tanımı homeomorfizm olarak bilinen özel bir fonksiyon türünü içerir. Aşağıdaki koşullar sağlanıyorsa $h$ fonksiyonu bir homeomorfizmdir ve $X$ ve $Y$ nesneleri birbirine homeomorfiktir denir:

Evrim Ağacı'ndan Mesaj

Neden Desteğe İhtiyacımız Var?

Aslında maddi destek istememizin nedeni çok basit: Çünkü Evrim Ağacı, bizim tek mesleğimiz, tek gelir kaynağımız. Birçoklarının aksine bizler, sosyal medyada gördüğünüz makale ve videolarımızı hobi olarak, mesleğimizden arta kalan zamanlarda yapmıyoruz. Dolayısıyla bu işi sürdürebilmek için gelir elde etmemiz gerekiyor.

Bunda elbette ki hiçbir sakınca yok; kimin, ne şartlar altında yayın yapmayı seçtiği büyük oranda bir tercih meselesi. Ne var ki biz, eğer ana mesleklerimizi icra edecek olursak (yani kendi mesleğimiz doğrultusunda bir iş sahibi olursak) Evrim Ağacı'na zaman ayıramayacağımızı, ayakta tutamayacağımızı biliyoruz. Çünkü az sonra detaylarını vereceğimiz üzere, Evrim Ağacı sosyal medyada denk geldiğiniz makale ve videolardan çok daha büyük, kapsamlı ve aşırı zaman alan bir bilim platformu projesi. Bu nedenle bizler, meslek olarak Evrim Ağacı'nı seçtik.

Eğer hem Evrim Ağacı'ndan hayatımızı idame ettirecek, mesleklerimizi bırakmayı en azından kısmen meşrulaştıracak ve mantıklı kılacak kadar bir gelir kaynağı elde edemezsek, mecburen Evrim Ağacı'nı bırakıp, kendi mesleklerimize döneceğiz. Ama bunu istemiyoruz ve bu nedenle didiniyoruz.

Destek Ol

• $h$, $X$ve $Y$'nin elemanları arasında bir birebir eşlemedir.
• $h$, süreklidir. Yani komşuluklar korunur.
• Sürekli bir ters fonksiyon $h^{-1}$ mevcuttur.^[1]

Poincaré Varsayımı'nın İspatına Genel Bir Bakış

1904 yılında Fransız matematikçi Henri Poincaré'in ortaya attığı varsayım için Grigori Perelman'ın ispatı bize, her üç boyutlu manifoldun; her biri iyi bilinen sekiz geometriden birine sahip standart parçalardan oluşan bir kümeden inşa edildiğini söylemektedir.

Bir örnek üzerinden anlatırsak bir elmanın yüzeyine lastik bir bant gererek ve onu yavaşça hareket ettirerek yırtılmadan ve yüzeyden ayrılmasına izin vermeden sivri bir noktaya kadar küçültebiliriz. Öte yandan aynı lastik bandın bir şekilde uygun yönde bir çörek etrafına gerildiğini hayal edersek lastik bandı veya çöreği kırmadan sivri bir noktaya kadar küçültmenin hiçbir yolu yoktur. Burada elmanın yüzeyinin "basitçe bağlantılı" olduğunu söyleyebiliriz ancak çöreğin yüzeyi böyle değildir.

Bu sorunun Henri Poincaré tarafından 1904'te formüle edilmesinden bu yana, yaklaşık yüz yıl sonra Grigori Perelman tarafından 2002-2003 yıllarında ispatı yayınlanmıştır. Perelman'ın çözümü Richard Hamilton'ın Ricci akışı teorisine dayanıyordu ve Cheeger, Gromov ve Perelman'ın kendi metrik uzayları sonuçlarından yararlanıyordu. Bu makalelerle Perelman ayrıca William Thurston'ın "Geometrizasyon Varsayımı"nı da kanıtlamış oldu.^[4]

Geometrik çizimler için daha fazla alan sağlayan yüksek boyutlu Poincaré varsayımlarını göstermek daha kolay olmuştur. Stephen Smale, benzer varsayımı en az 5 boyut için 1966'da göstermiş ve Fields Madalyası'nı kazanmıştır. Michael Freedman 1986'da 4 boyutlu durumu kanıtlayarak Fields Madalyası'nı almıştır. Grigori Perelman ise 2006 yılında Fields Madalyası'na layık görülmüş ancak Perelman, ödülü kabul etmeyi reddetmiştir.^[5]