Hausdorffin mitta

Hausdorffin mitta on separoituvassa metrisessä avaruudessa määritelty mitta. Sen avulla voidaan määritellä mielivaltaisen metrisen avaruuden osajoukon ulottuvuus, eli ns. joukon Hausdorffin dimensio. Hausdorffin mitta on kehitetty Carathéodoryn konstruktion avulla.

Määritelmä

Olkoon  separoituva metrinen avaruus ja . Määritellään jokaisella  funktio ,
Luku  on joukon halkaisija. Voidaan osoittaa, että kaikilla  funktio  on ulkomitta X:ssä. Huomataan, että jos , niin  kaikilla . Näin ollen rajafunktio ,
on olemassa. Tätä funktiota kutsutaan (s-ulotteiseksi) Hausdorffin ulkomitaksi. Se on myös ulkomitta, mikä voidaan osoittaa käyttämällä sitä tietoa, että  on ulkomitta kaikilla . Hausdorffin ulkomitan rajoittumaa -mitallisiin joukkoihin kutsutaan Hausdorffin mitaksi, joka on Carathéodoryn lauseen nojalla mitta.

Ominaisuuksia

Helposti nähdään, että  on lukumäärämitta.
Jos  ja , niin , missä joukko .
Jos  ja  on affiini isometria, niin .
Voidaan osoittaa, että suoristuvan kaaren  1-ulotteinen Hausdorffin ulkomitta on sama kuin sen pituus. Tämä esimerkiksi erottuu Hausdorffin ulkomitan eduksi Lebesguen ulkomittaan nähden, sillä suoristuvan kaaren 1-ulotteinen Lebesguen ulkomitta on usein ääretön ja 2-ulotteinen Lebesguen ulkomitta 0.
Voidaan osoittaa, että  on rajoitettuna -mitallisiin joukkoihin säännöllinen Borelin mitta.

Koska Euklidinen avaruus  on separoituva ( on numeroituva ja sen sulkeuma on ), niin voimme määritellä myös siellä s-ulotteisen Hausdorffin ulkomitan. Kuitenkin jos valitsemme ulottovuudeksi s = n, niin n-ulotteinen Hausdorffin ulkomitta  ei ole sama funktio kuin n-ulotteinen Lebesguen ulkomitta . Kuitenkin voimme osoittaa, että on olemassa vain dimensiosta n riippuva positiivinen vakio , jolla . Joskus itse asiassa Hausdorffin ulkomitta määritellään normeeramalla heti se tällä vakiolla. Voidaan osoittaa, että dimensiolla n kyseinen vakio 
 missä  on ns. (reaalinen) Gamma-funktio: , . Tästä laskemalla saadaan esimerkiksi, että :ssä vakio c(1) = 1, joten .

Hausdorffin dimensio

Lebesguen mitta avaruudessa  on kehitetty mittamaan kappaleita, joilla on intuitiivisesti nähtynä "n-ulotteista" massaa. Lebesguen mitta näkee joukkojen kokoa dimensioonsa suhteutettuna ja ilmoittaa sen arvossaan. Esimerkiksi n-ulotteinen Lebesguen mitta antaa n-ulotteiselle kuulalle positiivisen ja äärellisen mitan. Tämä on odotettavissa intuitiivisestikin. Toisaalta jos valitsemme esimerkiksi m-ulotteisen levyn, missä m < n, niin n-ulotteinen Lebesguen mitta antaa heti tälle joukolle mitakseen nollan. Voisi siis ajatella, että tutkittu pinta ei sisällä n-ulotteista massaa lainkaan. Kuitenkin jos mittaamme tätä pintaa m-ulotteisella Lebesguen mitalla, voimme saada positiivista ja äärellistä mittaa jos annettu levy on suorassa. Vastaavasti kääntäen voimme yrittää taas mitata m-ulotteisella Lebesguen mitalla n-ulotteista kuulaa, missä edelleen m < n, ja nyt saamme kuulan mitaksi äärettömän. Nyt voisi siis ajatella, että n-ulotteinen kuulan sisältää äärettömän paljon m-ulotteista massaa. Intuitiivisesti tätä voisi ajatella sillä, että m-ulotteisia "levyjä" pitäisi pinota jopa ylinumeroituvan monta kappaletta, jotta ne täyttäisivät koko n-ulotteisen kuulan. Tällöin siis myös m-ulotteista mittaa kertyisi levyjen myötä äärettömän paljon.
Hausdorffin mitalla esiintyy tällainen vastaava piirre. Voimme aina löytää jonkin optimin "dimension", jolla annettua joukkoa kannattaa mitata mahdollisen äärellisen ja positiivisen mitan toivossa. Jokaiselle joukolle tämä dimensio on yksikäsitteinen ja se intuitiivisesti kuvaa joukon geometrista kokoa. Erona nyt vain Lebesguen mitan tapaukseen on se, että tämä dimensio voi olla muukin kuin kokonaisluku.
Täsmällisemmin tämän dimension määrittely alkaa seuraavasta ominaisuudesta:
Voidaan osoittaa, että jokaisella  on olemassa yksikäsitteinen luku , jolla
Tätä yksikäsitteistä lukua d kutsutaan joukon A Hausdorffin dimensioksi. Formaalimmin määriteltynä joukon A Hausdorffin dimensio on luku
Tämän luvun olisi voinut myös määritellä lukuina ,  ja .
Erityisesti siis tiedämme, että jos , niin .
Tästä seuraa, että tyypillisten n-ulotteista Lebesguen mitan massaa sisältävien joukkojen Hausdorffin dimensio on yhtä kuin n, sillä aikaisemmin totesimme, että on olemassa positiivinen vakio , jolla . 
Joukon Hausdorffin dimensio voi olla myös muukin kuin luonnollinen luku. Esimerkiksi on olemassa joukkoja, kuten esimerkiksi fraktaalit, joilla usein Hausdorffin dimensio on yli niiden topologisen dimension. Esimerkiksi Cantorin joukon topologinen dimensio on 0, mutta voidaan osoittaa, että sen Hausdorffin dimensio on luku