Karmaşık Analiz · Fraktal Geometri
Tarihte pek çok matematikçi, "hayali" sayılara karşı çıktı — Cardano onları "zihinsel işkence" olarak tanımladı. Ama bu sayılar olmadan elektronik mühendisliği, kuantum mekaniği ve GPS sistemi çalışmaz. Ve sıfırdan başlayıp basit bir kuralı tekrar tekrar uygularsanız, evrende gözlemlenen en karmaşık matematiksel yapı ortaya çıkar: Mandelbrot kümesi.
Bölüm 1 · Temel Kavramlar
\(\sqrt{-1}\) nedir? Hiçbir gerçek sayı kendisiyle çarpıldığında eksi sayı vermez. Ama bu soruyu "çözümsüz" diye kapatmak yerine, Matematikçiler şunu söyledi: "Öyle bir sayı tanımlayalım." Adına \(i\) dediler:
Bir karmaşık sayı, bir gerçek ve bir "hayali" parçanın toplamıdır: \(z = a + bi\). Örneğin \(3 + 2i\), \(-1 + i\), \(5\) (yani \(5 + 0i\)), \(4i\) (yani \(0 + 4i\) — saf hayali).
Gerçek sayılar bir doğru üzerinde yaşar: soldan sağa. Karmaşık sayılar ise bir düzlem üzerinde: yatay eksen gerçek parçayı (\(a\)), dikey eksen hayali parçayı (\(b\)) gösterir. Bu düzleme Argand düzlemi denir (1806, Jean-Robert Argand).
Bir karmaşık sayı, bu düzlemde bir noktadır. Ya da eşdeğer olarak, orijinden o noktaya uzanan bir vektör.
Karmaşık sayı toplamak geometrik olarak iki vektörü "ucuca eklemek" demektir. Peki çarpmak? İşte asıl güzellik burada:
Her karmaşık sayı \(z = r(\cos\theta + i\sin\theta)\) biçiminde yazılabilir: \(r\) orijinden uzaklık (modül), \(\theta\) yatay eksenle açı (argüman). İki sayıyı çarpmak, modülleri çarpar, argümanları toplar:
Yani \(i\) ile çarpmak, vektörü 90° döndürmek demektir (\(r=1\), \(\theta=90°\)). \(i\cdot i\) ise 180° döndürme: \(1 \to -1\). Bu yüzden \(i^2=-1\) sezgisel olarak da doğal.
Geometrik çarpma fikri bir adım daha atılınca, Euler'in ünlü formülüne ulaşılır:
Bu formül, "üs alma" işlemini karmaşık sayılara genişletiyor. \(\theta=\pi\) koyarsanız: \(e^{i\pi}=\cos\pi+i\sin\pi=-1+0=-1\), yani \(e^{i\pi}+1=0\). Matematiğin beş temel sabitinin (\(e, i, \pi, 1, 0\)) tek bir denklemde buluşması. Mühendislikte ise \(e^{i\theta}\) formülü, sinyal işleme ve elektrik devrelerinin dili.
Bölüm 2 · Fraktal Geometri
Bir karmaşık sayı \(c\) seçin. Şu kuralı uygulayın: \(z_0=0\)'dan başlayarak her adımda \(z_{n+1} = z_n^2 + c\). Bu dizi ya sonsuza gider ("kaçar") ya da sınırlı kalır. Mandelbrot kümesi, dizinin sınırlı kaldığı tüm \(c\) değerlerinin topluluğudur.
|z| > 2 olduğu anda, dizi kesinlikle sonsuzluğa gider. Yani her \(c\) için iterasyonu çalıştırıp kaçıp kaçmadığını kontrol etmek yeterli. Ekranın her pikseli bir \(c\) değeri: sınırlı kalırsa siyah, kaçarsa ne kadar hızlı kaçtığına göre renklendir — ve Mandelbrot kümesi ortaya çıkar.
İnteraktif Keşif
Aşağıdaki görüntü hesaplanmış bir Mandelbrot kümesidir. Tıklayın veya sürükleyin — her piksel bir \(c\) değeri. Renk, dizinin kaç adımda kaçtığını gösterir (siyah = hiç kaçmaz = küme içinde). Fare ile üzerine geldiğinizde o noktanın Julia kümesi de otomatik çizilir.
Her \(c\) değeri için farklı bir Julia kümesi var: \(z_0\) yerine her karmaşık sayıyı başlangıç olarak alıp iterasyonu çalıştırırsanız hangi noktalar sınırlı kalır? Bu küme, \(c\)'nin konumuna göre dramatik biçimde değişir. \(c\) Mandelbrot kümesinin içindeyse Julia kümesi bağlı (tek parça). Dışındaysa Cantor tozu gibi dağınık. Mandelbrot kümesi, Julia kümelerinin bir "haritası".
Tarih · 1545'ten 1980'e
Cardano, kübik denklem çözümünde \(\sqrt{-15}\) gibi ifadelerle karşılaşmak zorunda kaldı. Bunları kullanarak doğru cevaba ulaşabildi, ama "bu sayılar ne anlama geliyor?" diye soramadı. Onları "olduğu kadar ince, o kadar da işe yaramaz" diye tanımladı.
Bombelli, \(x^3 = 15x+4\) denkleminde Cardano formülü \(\sqrt[3]{2+\sqrt{-121}}+\sqrt[3]{2-\sqrt{-121}}=4\) gibi saçma görünen ama doğru bir sonuç veriyordu. Bombelli, bu "hayali" sayılarla cebirsel işlemlerin kurallarını sistematik olarak yazdı. İlk kez biri bunları hesaplama aracı olarak ciddiye aldı.
Descartes, \(a+bi\) standart formunu tanımladı ama "imaginaire" (hayali) derken aslında aşağılıyordu. Euler ise \(i\) sembolünü matematiksel kullanımda standart hale getirdi ve \(e^{i\theta}=\cos\theta+i\sin\theta\) formülünü keşfetti.
Argand, karmaşık sayıları düzlemde noktalar olarak görselleştirdi (kimliğini gizleyerek yayımladı — kimse dikkate almadı, tıpkı Wessel'in 1797'deki bağımsız keşfi gibi). 1831'de Gauss "karmaşık sayı" terimini kullanarak bu geometrik yorumu yaygınlaştırdı ve karmaşık sayılar sonunda tam vatandaşlık hakkı kazandı.
Karmaşık sayıları 3 boyuta genişletmeye çalışan Hamilton, yıllarca başarısız oldu. 1843'te Dublin'deki Broom Köprüsü'nden geçerken aniden çözümü buldu ve köprünün taşına formülü kazıdı (bugün bronz plaka var). Ama çözüm 2 boyutlu değil 4 boyutluydu: kuaterniyonlar. Karmaşık sayıların genelleştirilebileceğinin kanıtı.
Julia, savaşta yüzünü kaybetti (bir kurşun burnunu aldı). Hastanede iyileşirken, Fatou ile birbirlerinden bağımsız olarak karmaşık sayı fonksiyonlarının iterasyonunu incelediler. Bilgisayar olmadan, sadece analitik yöntemlerle Julia kümelerinin matematiksel özelliklerini kanıtladılar. Ama nasıl göründüklerini hiç görmediler.
Mandelbrot, amcasının tavsiyesiyle Julia ve Fatou'yu okumuş ve fraktal geometrinin kurucusu olmuştu ("fractal" kelimesini Latince fractus'tan kendisi türetti, 1975). 1 Mart 1980'de, Harvard'ın bodrum katındaki soluk bir ekranda, insanlık tarihinde ilk kez Mandelbrot kümesinin görüntüsü belirdi. Mandelbrot şöyle anlatır: "Görüntüyü ilk gördüğümde gerçek olduğuna inanamadım."
Douady ve Hubbard, Mandelbrot kümesinin temel matematiksel özelliklerini kanıtladı ve kümeye Mandelbrot'un adını verdi. Peitgen ve Richter ise renkli Mandelbrot poster ve kitaplarıyla kümeyi halka tanıttı — 1980'lerin matematik estetik devriminin merkezi.
Daha Derine
Mandelbrot kümesini ne kadar yakınlaştırırsanız yakınlaştırın, sınır boyunca kümenin kendisine benzer mini kopyalar bulursunuz. Bu tam bir öz-benzerlik değil (her kopya biraz farklı), ama sınır boyutu fraktal boyutu 2'dir (Shishikura, 1998 — Fields Madalyası). Yani sınır, "uzunluk" anlamında sonsuz ama "alan" anlamında sıfır.
Mandelbrot kümesinin yerel olarak bağlı (locally connected) olup olmadığı, bugün matematiğin en ünlü açık problemlerinden biridir (MLC konjektürü). Douady ve Hubbard bu soruyu 1982'de formüle etti; yanıtlanırsa Julia kümelerinin sınıflandırılması tamamlanmış olacak.
Mandelbrot kümesi 1980'de "keşfedildi" — ama evren yoktan beri oradadaydı. \(z^2+c\) kuralı ve \(z_0=0\) başlangıcı, insanlık tarafından tanımlandı, ama sonuç onların elinde değildi. Bu, matematiksel nesnelerin "icat mı edildi, keşfedildi mi?" sorusunun en güçlü örneklerinden biri. Platon'cu matematikçiler bunu bir keşif olarak görür. Zira bu kadar karmaşık bir yapının bu kadar basit bir kuraldan çıkması, "icat" kelimesiyle açıklanmakta zorlanıyor.
Bu Sayfada
Cardano'nun "zihinsel işkence" dediği sayılar, bugün dijital dünyanın matematiksel temeli. Ve aynı sayıların yarattığı Mandelbrot kümesi — sıfırdan başlayıp \(z^2+c\) kuralını tekrar tekrar uygulamaktan başka bir şey olmayan bu yapı — evrende gözlemlenen en karmaşık matematiksel nesnedir. Bu sayfa boyunca tekrar eden tema: matematiksel "saçmalık" diye reddedilen şeyler (karmaşık sayılar, farklı büyüklüklerdeki sonsuzluklar, çemberi kareye dönüştürmenin imkânsızlığı) en derin gerçeklerin kapısını açtı.
Karmaşık sayıların cebirsel tutarlılığı ve geometrik yorumu. Euler formülü. Mandelbrot kümesinin fraktal sınır boyutu = 2 (Shishikura 1998). Julia kümelerinin bağlantılılık teorisi (Douady-Hubbard 1985).
MLC konjektürü (Mandelbrot kümesinin yerel bağlantılılığı). Bu sorunun yanıtlanması, Julia kümelerinin tam sınıflandırmasını verecek. Riemann hipotezi ile karmaşık düzlem bağlantısı da devam eden araştırma alanı.
Kaynakça
Çekirgeler Eğitim