Nasıl Faktoriyel Önemli?
Hamming, 9. bölümün başında, tüm mühendislik tasarım sorunlarının n-boyutlu uzayda yaşadığını belirtir. Bu uzayı anlamak için faktoriyellerin anlaşılması gerektiğini belirtir; çünkü her n-boyutlu kürenin hacmi formülünde ortaya çıkarlar.
Stirling'in Yaklaşımı
Büyük n için doğrudan n! hesaplaması imkansız hale gelir. Stirling formülü, oldukça doğru bir yaklaşım sağlar:
n! ≈ √(2πn) · (n/e)^n
Logaritmleri almak (Hamming de bu şekilde ürünün bir toplamına dönüştürür):
ln(n!) ≈ n·ln(n) − n + 0.5·ln(2πn)
Yaklaşımın n arttıkça iyileştiği; ancak mutlak hata sınırsızca büyüdüğü gerçeği de aynı anda geçerlidir.
Hamming'in türev yol: k=1..n için Σ ln(k) toplamını, 1'den n'ye kadar olan x için ∫ ln(x) dx'ye yaklaşık etmek için trapezoid kuralını kullanın; ardından ekseni alın. √(2π) sabiti, trapezoid hatasının sınırlı davranışından gelir.
| n | Stirling | True n! | Ratio | |---|---|---|---| | 5 | 118.02 | 120 | 0.9835 | | 10 | 3,598,696 | 3,628,800 | 0.9917 | | 20 | ~2.423×10^18 | ~2.432×10^18 | 0.9958 |
Stirling'in Formülünü Kullanma
Stirling'in log formülü, mutlak ölçek silinene kadar oran hesaplamalarında en yararlıdır:
ln(n!) ≈ n·ln(n) − n + 0.5·ln(2πn)
Gamma Fonksiyonu
Faktöriyel n! sadece sıfırdan pozitif tam sayılar için anlam ifade eder. Hamming, n pozitif gerçek için küreyi hacim formülüne ihtiyaç duyduğu için Gamma işlevini tanıtarak bu durumu çözer:
Γ(n) = ∫₀^∞ x^(n−1) · e^(−x) dx (n > 0 için konverjans yapar)
İntegral bölme formülüyle elde edilir: Γ(n) = (n−1) · Γ(n−1).
Pozitif tam sayılar için: Γ(n) = (n−1)! böylece Γ(5) = 4! = 24.
Yarı-tam sayılar için: Γ(1/2) = √π ≈ 1.772. Bu, Gauss integralinden kaynaklanır: ∫₋∞^∞ e^(−x²) dx = √π.
Küreye hacim hesaplamak için gereken değerler: Γ(n/2 + 1) yarı-tam sayı argümanları için.
| n | n/2 + 1 | Γ(n/2 + 1) | |---|---|---| | 1 | 3/2 | √π/2 ≈ 0.886 | | 2 | 2 | 1! = 1 | | 3 | 5/2 | 3√π/4 ≈ 1.329 | | 4 | 3 | 2! = 2 | | 5 | 7/2 | 15√π/8 ≈ 3.323 |
Formül & Paradox
Stirling ve Gamma işlevlerini elinde bulunduktan sonra, Hamming yarı r'ye sahip n-boyutlu kürenin hacmini hesaplar:
V_n(r) = C_n · r^n where C_n = π^(n/2) / Γ(n/2 + 1)
C_n sabiti sadece n'ye, r'ye bağlı değil. İlk değerler:
| n | C_n | |---|---| | 1 | 2 | | 2 | π ≈ 3.142 | | 3 | 4π/3 ≈ 4.189 | | 4 | π²/2 ≈ 4.935 | | 5 | 8π²/15 ≈ 5.264 | | 6 | π³/6 ≈ 5.168 | | 8 | π⁴/24 ≈ 4.059 | | 10 | π⁵/120 ≈ 2.550 |
Paradox: C_n, n=5'te (C_5 ≈ 5.264) maksimuma ulaşır ve ardından sıfıra doğru geri döner. Çok boyutlu birim kürenin hacmi neredeyse sıfırdır - daha fazla boyut eklemek daha fazla alan eklemesi beklenirken, intüitif olarak.
Neden Hacim Çöker?
Anahtar: hacim = C_n · r^n. r < 1 olduğunda, r^n eksponansiyel olarak sıfıra gider. Yarıçap kısıtlaması, boyutluluk büyümesinden daha hızlı hacmi öldürür. Birim hipercub'un neredeyse tüm hacmi, içiçe geçmiş kürenin köşelerinde bulunur.
Köşe Paradoxu
2D'de: bir birim kare [−1,1]^2'nin alanı 4'tür. İçbükey daire alanı π ≈ 3.14'tür. Daire kareyi dolduran %78' dir.
3D'de: birim küp [−1,1]^3'ün hacmi 8'tir. İçbükey küre hacmi 4π/3 ≈ 4.19'dır. Küre hacmi %52'dir.
n boyutunda: birim hipercube [−1,1]^n hacmi 2^n'dir. İçbükey kürenin hacmi C_n'dir. Hipersfere ait bölüm oranı:
f(n) = C_n / 2^n
n arttıkça: C_n → 0 ve 2^n → ∞. Bu nedenle f(n) → 0 hızla. 10B'de, küre kubeyi %0,3'ten daha az doldurur.
Mühendislik implication: yüksek boyutlu tasarım alanlarında, tespitler için rastgele noktalar seçemezsiniz. Çoğu rastgele nokta köşelere düşer, merkezden uzakta. 3B'de inşa ettiğiniz intuition tamamen başarısız olur.
Neden 3B Entegre Çalışmıyor
Hamming'in temel mesajı 9. bölümde: Her mühendislik sistemi n bağımsız parametreye sahipse, n boyutlu uzayda çalışır. Aerodinamik, kontrol sistemleri, çip tasarımı, ilaç molekülleri - hepsi n >> 3 olan parametreyi içeren alanları içerir.
Yüksek boyutlarda 3B entegre çalışmasının üç özel başarısızlığı:
1. Diagonal Mesafeler. 3B'de, bir birim küpün dikey uzunluğu √3 ≈ 1.73'tür. Birim hipercube'nin n boyutlu birim hipercube'deki dikey uzunluğu √n'dir. n=100 için, dikey uzunluk 10'dur - ancak her koordinat hala 0'dan 1'e kadar çalışır. Bir boyutda 'yakın' olan noktalar, n boyutlu uzayda uzakta olduklarını gösterir.
2. Hacim Yoğunluğu. Yukarıda gösterildiği gibi: hacim köşelere, merkezi küreye değil yoğunlaşır. Merkezi bir alanın tipik olduğu kanaatiniz çöker.
3. Komşu sayımı. 2D'de, bir noktanın r yarıçapındaki komşuları yaklaşık olarak πr²'dir. nD'de, komşu sayısı r^n olarak ölçülür ve büyük n için küçük r için neredeyse sıfırdır. Mahalleler çöküyor.
Hamming'in sonucu: 'n-uzayında ne olduğunu hayal etmek mümkün değil.' Matematiklere - hacim, mesafe ve olasılık formullerine - hayal gücünden değil, güvenmelisin.
Uygulama Dikdörtgeni
Küre-dolum çöküşü, modern uygulamalar için somut sonuçlar yaratıyor:
Optimizasyon: Yüksek boyutlu parametre uzaylarında gradient asçımı, rastgele arama gibi neden daha iyi çalışıyor çünkü yerel gradient bilgisi kullanarak köşe ve boşlukların yapısını geçiş yapıyor.
Bilgisayar öğrenimi: Sinir ağı ağırlık uzayları milyonlarca boyutlara sahiptir. Geometri, rastgele başlatmanın nadiren iyi bir çözümün yakınına konulduğunu tahmin ediyor - ama eğitim süreci, yapı taşlarını düzenlenmiş gradient adımlarıyla yönlendiriyor.
Deney tasarımı: Yüksek boyutlu parametre uzayını örneklerle kaplamak, eksponansiyel olarak daha fazla nokta gerektirir. Bu, düzenli deneysel tasarımların (Latince hipercube, boşluk dolduran tasarımlar) rastgele örneklemeye karşı motive eder.