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äMuokkaa

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.

OminaisuuksiaMuokkaa

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 dimensioMuokkaa

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