Çeşitlilik (manifold) nedir?

 (quantamagazine.org)
4 puan yazan GN⁺ 2025-11-05 | 1 yorum | WhatsApp'ta paylaş
  • Çeşitlilik (manifold), yerel olarak düzlem gibi görünen ancak bütünde daha karmaşık bir yapıya sahip olan uzayın matematiksel bir kavramıdır
    1. yüzyılda Bernhard Riemann tarafından ortaya konan bu kavram, uzayı fiziksel bir arka plan olmaktan çıkarıp bağımsız bir araştırma nesnesi olarak genişletti
  • Her noktada Öklid uzayı gibi görünme özelliği sayesinde matematikçiler, geleneksel kalkülüs araçlarıyla alan, hacim ve hareket gibi şeyleri hesaplar
  • Chart (harita) ve atlas aracılığıyla karmaşık uzaylar birden çok parçaya ayrılarak incelenir; ardından sonuçlar birleştirilip bütün yapı anlaşılır
  • Günümüzde çeşitlilik, genel görelilik, topoloji, veri analizi ve fizik gibi alanlarda kilit rol oynayan temel bir matematik dili haline gelmiştir

Fikrin oluşumu

  • Antik çağlardan beri geometri, Öklid uzayındaki doğru ve düzlemleri ele alan bir disiplindi
    • Bu uzayda iki nokta arasındaki en kısa mesafe doğrudur ve bir üçgenin iç açılar toplamı 180 derecedir
    1. yüzyılın başlarında matematikçiler eğri uzayları incelemeye başladı ve paralel doğruların kesişebildiği ya da üçgenin iç açılar toplamının değişebildiği olguları keşfetti
  • Riemann, Gauss’un eğri yüzeyler üzerine çalışmalarını genişleterek keyfi boyuttaki uzaylarda da geometrinin tanımlanabileceği genel bir kuram sundu
    • Bu kavramı 1854’te Göttingen Üniversitesi’ndeki bir konuşmasında açıkladı; bu da daha sonra modern topoloji ve görelilik kuramının temeli oldu
  • O dönemde fazla soyut bulunduğu için göz ardı edilse de, Poincaré ve Einstein’ın çalışmalarıyla 20. yüzyıl ortalarında matematiğin standart kavramlarından biri haline geldi

Çeşitliliğin tanımı ve yapısı

  • “Manifold”, Riemann’ın Almanca Mannigfaltigkeit (çeşitlilik) sözcüğünden gelir
  • Çeşitlilik, yerel olarak Öklid uzayı gibi görünen bir uzaydır; örneğin çember 1 boyutlu bir çeşitliliktir
    • Çember üzerindeki bir karınca, aslında bir eğri üzerinde bulunduğunu fark etmez
    • Buna karşılık 8 şekilli eğri, kesişim noktasında doğru gibi görünmediği için çeşitlilik değildir
  • Dünya’nın yüzeyi 2 boyutlu bir çeşitlilik olsa da, **çift koni (double cone)**nin tepe noktası böyle değildir
  • Çeşitliliğin özü, içkin özelliklere odaklanmaktır
    • Uzayın boyutuna ya da dış biçimine göre değişen özellikler yerine, her noktadaki Öklidyen yaklaşım kullanılarak analiz yapılır
  • Bunun için matematikçiler uzayı birden çok patche ayırır ve her patchi bir koordinat sistemi (chart) ile ifade eder
    • Birbirleriyle örtüşen bölgelerde koordinat dönüşüm kuralları tanımlanır ve bu bütün kümeye atlas denir
  • Atlas sayesinde karmaşık uzaylar küçük Öklid parçalarına ayrılarak hesap yapılır; ardından sonuçlar birleştirilip bütün yapı kavranır
  • Bu yaklaşım bugün matematik ve fiziğin genelinde standart olarak kullanılmaktadır

Çeşitliliğin kullanımı

  • Genel görelilikte uzay-zaman 4 boyutlu bir çeşitliliktir ve kütleçekim onun eğriliği olarak ifade edilir
  • Algıladığımız 3 boyutlu uzay da bir çeşitliliktir; yerel olarak düzlem gibi görünse de, bütünsel biçimi hâlâ tamamen açıklığa kavuşmuş değildir
  • Fizikçiler problemleri çeşitlilik diliyle ifade ederek geometrik özelliklerden yararlanır
    • Örnek: Çift sarkaç (double pendulum) için tüm olası durumlar iki açıyla ifade edilirse, onun durum uzayı simit biçimli (torus) bir çeşitlilik olur
    • Sarkacın hareketi bu torus üzerindeki bir yol olarak gösterilir; böylece karmaşık hareket geometrik olarak analiz edilebilir
  • Benzer şekilde, karmaşık cebirsel denklemlerin çözüm kümeleri ya da yüksek boyutlu veriler (ör. beyin nöron etkinliği) de yapılarını anlamak için çeşitlilik olarak yorumlanır
  • Çeşitlilik, matematik ve bilimin genelinde temel bir dildir; “sayıları kullanmak kadar evrensel” bir araç olarak görülür

İlgili okumalar

1 yorum

 
GN⁺ 2025-11-05
Hacker News görüşleri
  • Manifoldları ilk kez John M. Lee'nin Introduction to Smooth Manifolds kitabıyla öğrendim
    Kitap yoğun ama yapısı çok güzel kurulmuş; temel topolojiden düzgün dönüşümlere ve teğet uzaylara kadar mantıklı bir akış sunuyor
    Odaklanma gerektiriyor ama her bir tanım geometrinin özünü ortaya çıkarmaya katkı sağlıyor. Kesinlikle tavsiye ederim
    • Gerçekten en iyi kitaplardan biri olduğunu düşünüyorum. Ama daha yumuşak bir giriş istiyorsanız Loring Tu'nun kitabını öneririm
      Lee'nin Topological Manifolds kitabı da iyi; Riemannian Manifolds'un son baskısında ise sadece gereken bölümleri seçerek okumak daha iyi olur
    • Açık konuşmak gerekirse John M. Lee'nin kitabının neden bu kadar övüldüğünü pek anlamıyorum
      Kötü değil ama titizlik açısından yetersiz bulmuştum. Onun yerine Jeffrey M. Lee'nin Manifolds and Differential Geometry kitabı çok daha iyiydi
  • Manifoldların tarihini ve önemini ele alan bu yazı çok bilgilendiriciydi
    Sadece basit bir tanım vermekle kalmıyor, matematiksel kavramların nasıl geliştiğini de ilgi çekici biçimde anlatıyor
    • Sitede bir RSS feed var ama header etiketi yanlış ayarlandığı için bulması zor
      Asıl feed https://www.quantamagazine.org/feed/ burada
    • Bana göre o makale o kadar da olağanüstü değildi
      Mesela çift sarkaç(double pendulum) için tüm olası durum uzayını manifold olarak anlattı ama neden özellikle manifold olarak düşünmek gerektiği net değildi
      Ayrıca atlas(Atlas) kavramı da yeterince açıklanmamıştı. Basit bir küre bile tek bir düzlemle kaplanamadığı için birden fazla koordinat sistemi gerekir ve asıl önemli nokta bunların örtüşen kısımlarını ele almaktır
      Ayrıca görelilikte söz edilen uzay-zaman Riemannian değil, Minkowski uzayıdır
    • Bu kadar çok insanın Quanta Magazine'i bilmemesine şaşırıyorum
      Bence bugün en yüksek seviyeli bilim gazeteciliği mecralarından biri.
      Clickbait yok, ciddi bir yayın çizgisi var ve teknik diyagramlarla sanatsal illüstrasyonların birleşimi harika
      Podcast'i de iyi ama tüm makalelerin sesli okunmuş sürümleri olsa daha da güzel olurdu
      Üstelik paywall, cookie popup veya siyasi kışkırtma hiç yok
    • Ben matematikçi değilim ve manifold kelimesine sadece motor parçası olarak aşinaydım
      Ama yazı ve çizimler sayesinde kavramı çok daha iyi anladım
  • Sinir ağlarının temsil uzayında “veri düşük boyutlu bir manifold üzerinde yer alır” denirken, bunun matematikteki manifold tanımıyla aynı şeyi mi ifade ettiğini merak ediyorum
    Yoksa bu sadece içkin bir altuzayı mecazi olarak anlatmanın bir yolu mu diye düşünüyorum
    • Buna manifold hypothesis deniyor
      Verilerin çoğunun gerçekten manifoldlar üzerinde bulunduğunu varsaymak makul
      Örneğin el yazısı bir '6' rakamı yumuşak biçimde dönüştürüldüğünde hâlâ '6' olarak tanınabilir
      Ancak ReLU aktivasyon fonksiyonu kullanıldığında düzgünlük bozulur; bu yüzden sinir ağının temsil uzayı gerçek bir manifold değildir
      Buna karşılık Swish gibi düzgün aktivasyonlar kullanılırsa yapı korunabilir
    • Information Geometry diye bir alan var
      Sinir ağı eğitimi sürecine geometrik analiz uygulayan ilginç çalışmalar bulunuyor
      Eğitim sırasında faz geçişi(phase transition) benzeri olgular keşfettiklerini söylüyorlar
      Information Geometry of Evolution of Neural Network Parameters While Training
    • Pratikte buna manifold + gürültü olarak bakabilirsiniz
      Örneğin y=sin(x)+noise türü veri 1 boyutlu bir manifold olarak görülebilir
      Ama boyut laneti yüzünden böyle bir tanımın algoritmik olarak ne kadar faydalı olduğu konusunda şüpheliyim
  • Sicim kuramı üzerine bir kitap okurken Calabi–Yau manifoldları ile ilk kez karşılaştım
    Wikipedia bağlantısı
    Dürüst olmak gerekirse hepsini anlamadım ama görseller gerçekten çok güzel
    Google görsel araması
    • Bir zamanlar Calabi–Yau manifoldlarını öğrenmiştim; ne kadar zor olduğunu hâlâ hatırlıyorum
      Bunlar düzgün ve simetrik özel uzaylar; yerel olarak düz görünürler ama bütün olarak karmaşık biçimde eğrilirler
      Eğrilik kusursuz biçimde dengelenmiştir; bu yüzden genel ölçekte ne genişleme ne de büzülme vardır
      Sicim kuramında bu manifoldlar gizli boyutları açıklamak için kullanılır ve şekilleri parçacıkların ve kuvvetlerin özelliklerini etkiler
  • Fizikçilerin tensörleri tanımlarken “koordinat sistemi değiştiğinde belirli bir şekilde dönüşen nesneler” demesi aklıma geldi
    Yüzeyde döngüsel mantık gibi duruyor ama aslında o dönüşüm özelliği, tensörleri diğer sayı dizilerinden ayıran şeydir
    Daha soyut bakınca görselleştirmeye bağlı kalmamak da kullanışlı oluyor
    • Fizikçilerin koordinat dönüşümlerine odaklanma eğilimi yüzünden okumak bazen zor olabiliyor
      Ama özünde mesele koordinat sisteminden bağımsız bir geometrik yapıdır
      Örneğin özel görelilikteki Minkowski uzayı koordinatlar olmadan da tanımlanabilir
      Tensörleri, vektörleri ve kovektörleri girdi olarak alıp gerçek sayı üreten çok doğrusal dönüşümler olarak anlamak çok daha açıklayıcıdır
    • Fizikçilerin tarzındaki tanım bana daha çok kafa karıştırıcı gelmişti
      Sadece dönüşüm kurallarını öğreniyorsunuz ama bunun neden öyle olduğuna dair yeterli açıklama verilmiyor
      Buna karşılık matematiksel tanım, diferansiyel formlar ve kovektörler üzerinden çok daha temel bir kavrayış sağlıyor
    • “İkinci mertebeden bir tensör, ikinci mertebeden tensör gibi dönüşen bir nesnedir” sözü açıkça döngüsel bir tanımdır
      Çünkü tanımın içinde bizzat kendisi yer alıyor
  • Manifoldları, “yüzey üzerindeki herhangi bir noktaya CD biçiminde bir disk koyabildiğiniz bir uzay” gibi düşünebilirsiniz
    Yarıçapın sadece 0'dan büyük olması yeterlidir
    • İlk başta CD'nin sertliği yüzünden kulağa tuhaf gelmişti ama 2 boyutlu manifoldlar için tam isabet bir benzetme
    • “CD biçiminde bir nesne koymak” aslında açık küme(open set) demenin başka bir yoludur
  • Lobachevsky'nin “sonsuz kez türevlenebilir Riemann manifoldunun yerel Öklid metriğinin analitik ve cebirsel topolojisi” ifadesi aklıma geldi
    • “Plagiarize!” şakası geldi aklıma
  • Harita projeksiyonlarında(cartographic projection) manifold kavramının neredeyse hiç kullanılmaması bana ilginç geldi
    Aslında manifoldların tipik bir örneği gibi görünüyor; neden böyle olduğunu merak ediyorum
    • Eğer sadece küreyi düzleme açma problemiyle uğraşıyorsanız manifold kuramı gereğinden ağır bir araçtır
      Haritacılar esas olarak bozulma(distortion) ile ilgilenir; bunun için zaten uygun yöntemler vardır
      Ayrıca manifoldlar global coordinates ile değil, local charts ile tanımlanır; dolayısıyla farklı bölgelerin koordinatları birbiriyle doğrudan uyuşmaz
      Tarihsel olarak da haritacılık, manifold kavramından çok daha eskiye dayanır
  • İngilizce matematik terimlerinde “yerel olarak Rⁿ gibi görünen şey” için manifold, “bir polinomun kök kümesi” içinse variety kullanılması ilginç
    Bazı dillerde ise ikisi için de aynı sözcük kullanılıyor. Örneğin İtalyancada ikisi de varietà
    • “manifold” sözcüğü, Riemann'ın Mannigfaltigkeit teriminden gelir; Almancada “variety” veya “multiplicity” anlamına gelir
    • İngilizcede her variety bir manifold değildir
      İlgili açıklama için math.stackexchange yanıtına bakabilirsiniz
  • Otomobillerdeki manifold ile matematikteki manifoldun aynı kelimeyi taşımasına rağmen farklı bağlamlarda kullanılması ilginç
    • Araştırınca ikisinin de Eski İngilizce/Cermen kökenli “many + fold” yapısından geldiğini gördüm
    • Bu tür ad çakışmaları yeni bir kavram öğrenirken kafa karıştırabiliyor
      Önceden bildiğiniz anlam zihinde kaldığı için yeni kavramı anlamayı zorlaştırıyor
      Terimin etimolojisi de birlikte anlatılsa çok daha faydalı olurdu
    • Otomotivde manifold, ince duvarlarla çevrili bir hacmin birden çok port ile bağlandığı yapıyı ifade eder
      Emme ve egzoz gibi iki hacmin iç içe geçtiği durumlar da sık görülür