Dimensioteoria on osa yleistä topologiaa , jossa tutkitaan dimensioita - tietyn tyyppisiä numeerisia topologisia invariantteja . Dimensio määritellään tavalla tai toisella luonnollisella tavalla laajalla topologisten avaruuksien luokassa. Lisäksi, jos on olemassa monitahoinen (erityisesti jakoputki ), mitta on sama kuin mittojen lukumäärä alkeisgeometrian mielessä.
Ensimmäisen yleisen määritelmän ulottuvuudesta (suuri induktiivinen ulottuvuus ) antoi Brouwer (1913) Poincarén idean perusteella . Vuonna 1921 Menger ja Uryson päätyivät Brouwerista ja toisistaan riippumatta samanlaiseen määritelmään (ns. pieni induktiivinen ulottuvuus ). Täysin erilainen lähestymistapa ulottuvuuden käsitteeseen on peräisin Lebesguelta .
Hausdorffin ulottuvuus on vastaava määritelmä metriavaruuksille . Tämän määritelmän antoi Hausdorff vuonna 1919 .
Topologinen kuvio on nollaulotteinen, jos siinä ei ole yhdistettyä kuviota, joka sisältää enemmän kuin yhden pisteen. Joukon dimensio on nolla, jos jollakin sen pisteestä on mielivaltaisen pieni suhteellinen naapuruus, jossa on tyhjä raja [1] .
Joukolla on dimensio yksi, jos se ei ole nollaulotteinen, mutta jollakin sen pisteestä on mielivaltaisen pieni suhteellinen naapuruus, jonka raja on nollaulotteinen. Joukolla on dimensio , jos se ei ole , mutta jollakin sen pisteestä on mielivaltaisen pieni suhteellinen ympäristö, jonka raja on normaali [2] .
Joukon piste erotetaan pisteestä joukolla , jos kuvassa ei ole yhdistetty joukkoa, joka sisältää pisteet ja ja ei leikkaa kanssa .
Topologinen mittakuva määritellään kuvioksi, joka ei ole mittakuva ja jossa mikä tahansa piste yhdessä sen lähiympäristön kanssa voidaan erottaa muusta kuviosta joukolla mittoja, jotka eivät ylitä [3] [4] .