Hausdorffin dimensio

Hausdorffin dimensio eli fraktaalidimensio on tavallisen ulottuvuuden käsitteen yleistys. Kaikissa "normaaleissa" tilanteissa (yksi-, kaksi- ja kolmiulotteiset objektit) se vastaa intuitiivisesti ymmärrettävää ulottuvuuden käsitettä. Eräissä tapauksissa Hausdorffin dimensio voi kuitenkin saada myös ei-kokonaislukuarvon.

 Taustaa 
Georg Cantor kehitti aikoinaan kätevän menetelmän erilaisten käyrien pituuden arvioimiseksi. Esimerkiksi mitattaessa rantaviivaa sitä pitkin piirretään -säteisiä ympyröitä pitkin rannikkoa, jolloin muodostuu alue, jolla on jokin pinta-ala. Kun tämä ala jaetaan :llä, saadaan arvio rannikon pituudelle. Kun nyt :ää pienennetään, saadaan rajatta tarkentuva arvio rannikon pituudelle.

Lewis Fry Richardson tutki 1960-luvulla empiirisesti rannikoiden pituuksia päätyen lopputulokseen, jonka mukaan rantaviivaa approksimoivalla monikulmiolla, jonka sivujen pituus on , on aina  kappaletta sivuja. Richardsonille tässä esiintyvä  oli vain eksponentti vailla sen kummempaa merkitystä, mutta arvioitaessa rannan pituutta osoittautuu, että  on riippumaton tavasta, jolla pituus mitataan. Tämän perusteella  on siis jollakin tavalla pelkkää sovitusparametria tärkeämpi muuttuja.

pienoiskuva|right|Sierpinskin kolmion Hausdorffin dimensio on ln 3 / ln 2, mikä on suunnilleen 1,58.

 Määritelmä 
Näin löydetty suure  eli Hausdorffin dimensio, ei nimestään huolimatta ole geometrinen ulottuvuus samassa mielessä kuin meidän käsittämämme Euklidiset ulottuvuudet. Hausdorffin dimensio kuvaa tutkittavan kuvion itsesimilaarisuusastetta, eli sitä, kuinka ”itseääntoistava” tutkittava kuvio on. Oletetaan, että kuvio F jakautuu itse kuvion kanssa samanlaisiin pienempiin osiin, joita on  kappaletta ja joiden koko on  koko kuvion koosta. Tällöin

 eli
.

Jos kuvio F on jana, sen pienennöksiä mahtuu suoralle  kappaletta. Jana voidaan siis jakaa vaikkapa neljään osaan, jolloin  ja , jolloin fraktaalidimensioksi  saadaan yksi, kuten tietysti pitääkin. Neliön taas voi jakaa vaikkapa yhdeksään pienempään neliöön mittakaavassa , jolloin vastaavasti . (Tällainen itsesimilaarinen jako ei päde esimerkiksi ympyrälle, sillä silmukatonta sulkeutuvaa käyrää ei voi jakaa samankaltaisiin pienempiin osiin.)

Luokka:Dimensiot
Luokka:Fraktaalit