Waarom Faculteiten Belangrijk Zijn
Hamming begint Hoofdstuk 9 met op te merken dat alle ontwerp-problemen in engineering in n-dimensionale ruimte bestaan, waarbij n het aantal onafhankelijke parameters telt. Inzicht in die ruimte vereist begrip van faculteiten — zij verschijnen in de volumeformule van elke n-dimensionale bol.
Stirlings Benadering
Het rechtstreeks berekenen van n! wordt onmogelijk voor grote n. Stirlings formule geeft een nauwkeurige benadering:
n! ≈ √(2πn) · (n/e)^n
Logaritmes nemen (wat Hamming doet om het product in een som om te zetten):
ln(n!) ≈ n·ln(n) − n + 0.5·ln(2πn)
De benadering verbetert naarmate n groeit: de verhouding Stirling(n)/n! → 1 als n → ∞. Toch groeit het absolute verschil zonder grens. Beide feiten gelden tegelijk.
Hammings afleidingsroute: benader de som Σ ln(k) voor k=1..n door de integraal ∫ ln(x) dx van 1 naar n via de trapeziumregel, neem dan de exponentiaal. De constante √(2π) ontstaat uit het limietgedrag van de trapeziumfout.
| n | Stirling | Echte n! | Verhouding | |---|---|---|---| | 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 |
Stirlings Formule Gebruiken
De logaritmische vorm van Stirling blijkt het nuttigst voor verhoudingsberekeningen waar absolute schaal wegvalt:
ln(n!) ≈ n·ln(n) − n + 0.5·ln(2πn)
De Gammafunctie
De faculteit n! geldt slechts voor niet-negatieve gehele getallen. Hamming heeft de formule voor het volume van een bol voor alle positieve reële n, dus introduceert hij de Gammafunctie:
Γ(n) = ∫₀^∞ x^(n−1) · e^(−x) dx (convergeert voor n > 0)
Integratie per partes leidt tot de reductieformule: Γ(n) = (n−1) · Γ(n−1).
Bij positieve gehele getallen: Γ(n) = (n−1)! dus Γ(5) = 4! = 24.
Bij de halfgehele getallen: Γ(1/2) = √π ≈ 1,772. Dit ontstaat uit de Gaussische integraal ∫₋∞^∞ e^(−x²) dx = √π.
De waarden die wij nodig hebben voor bolvolumes: Γ(n/2 + 1) bij halfgehele argumenten.
| 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 |
De Formule & de Paradox
Met Stirling en Gamma onder controle leidt Hamming het volume van een n-dimensionale bol met straal r af:
V_n(r) = C_n · r^n waarbij C_n = π^(n/2) / Γ(n/2 + 1)
De constante C_n hangt slechts af van n, niet van r. De eerste waarden:
| 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 |
De paradox: C_n stijgt tot een maximum in de buurt van n=5 (C_5 ≈ 5,264) en daalt vervolgens terug naar nul. De eenheidsbol in zeer hoog dimensionale ruimten heeft praktisch geen volume — hoewel het intuïtief zou lijken dat meer dimensies meer ruimte zouden toevoegen.
Waarom Collapst Volume?
De sleutel: volume = C_n · r^n. Wanneer r < 1, r^n → 0 exponentieel. De radiusbeperking doodt het volume sneller dan de dimensionaliteit groeit. Bijna al het volume van de n-dimensionale eenheidshyperkubus ligt in zijn hoeken, buiten de ingeschreven bol.
De Hoekenparadox
In 2D: een eenheidsvierkant [−1,1]^2 heeft oppervlakte 4. De ingeschreven cirkel heeft oppervlakte π ≈ 3,14. De cirkel vult 78% van het vierkant.
In 3D: de eenheidskubus [−1,1]^3 heeft volume 8. De ingeschreven bol heeft volume 4π/3 ≈ 4,19. De bol vult 52%.
In n dimensies: de eenheidshyperkubus [−1,1]^n heeft volume 2^n. De ingeschreven bol heeft volume C_n. De fractie in de bol:
f(n) = C_n / 2^n
Naarmate n groeit: C_n → 0 terwijl 2^n → ∞. Dus f(n) → 0 snel. In 10D vult de bol minder dan 0,3% van de kubus.
Engineering-implicatie: in hoog-dimensionale ontwerpruimte, je kunt niet verkennen door willekeurige punten te samplen. Bijna alle willekeurige punten landen in hoeken, ver weg van het centrum. Je intuïtie opgebouwd in 3D faalt volledig.
Waarom 3D-Intuïtie Faalt
Hammings kernboodschap in Hoofdstuk 9: elk engineeringsysteem met n onafhankelijke parameters leeft in n-dimensionale ruimte. Aerodynamica, controlesystemen, chipontwerp, medicijnmoleculen — alles omvat parameterruimten met n >> 3.
Drie specifieke fallingen van 3D-intuïtie in hoge dimensies:
1. Diagonale afstanden. In 3D heeft de diagonaal van een eenheidskubus lengte √3 ≈ 1,73. In n-dimensionale eenheidshyperkubus heeft de diagonaal lengte √n. Voor n=100 is de diagonaallengte 10 — toch loopt elke coördinaat nog steeds van 0 naar 1. Punten die 'dicht bij elkaar' lijken in een enkele dimensie, zijn ver uit elkaar in n-dimensionale ruimte.
2. Volumeconcentratie. Zoals hierboven aangetoond: volume concentreert zich in hoeken, niet in de centrale bol. Je intuïtie dat het centrum van een ruimte typisch is, bezwijkt.
3. Buurtellingen. In 2D heeft een punt ruwweg πr² buren binnen straal r. In nD schaalt de buurentelling als C_n·r^n, wat voor grote n effectief nul is voor kleine r. Buurschappen bezwijken.
Hammings conclusie: 'Je kunt eenvoudig niet visualiseren wat er in n-ruimte gebeurt.' Je moet vertrouwen op wiskunde — op formules voor volume, afstand en waarschijnlijkheid — niet op verbeelding.
De Meetkunde Toepassen
De bolvolume-ineenstorting heeft concrete gevolgen voor hedendaagse praktijk:
Optimalisatie: gradiëntdaling in hoog-dimensionale parameterruimten werkt beter dan willekeurig zoeken precies omdat het lokale gradiëntinformatie gebruikt om de hoeken-en-leegte-structuur te navigeren.
Machine learning: neuralenetwerk-gewichtsruimten hebben miljoenen dimensies. De meetkunde voorspelt dat willekeurige initialisatie zelden dicht bij een goede oplossing landet — toch navigeert het trainingsproces naar een via gestructureerde gradiëntstappen.
Experimentontwerp: het afdekken van een hoog-dimensionale parameterruimte met samples vereist exponentieel veel punten. Dit motiveert gestructureerde experimentontwerpen (Latijnse hyperkubussen, ruimte-vullende ontwerpen) boven willekeurig samplen.