Teoria dimensiunilor este o parte a topologiei generale , în care se studiază dimensiunile - invarianți topologici numerici de un anumit tip. Dimensiunea este definită într-un fel sau altul într-un mod natural pe o clasă largă de spații topologice. Mai mult, dacă există un poliedru (în special, o varietate ), dimensiunea coincide cu numărul de dimensiuni în sensul geometriei elementare.
Prima definiție generală a dimensiunii (dimensiune inductivă mare ) a fost dată de Brouwer (1913), bazată pe ideea lui Poincaré . În 1921, Menger și Uryson , independent de Brouwer și unul de celălalt, au ajuns la o definiție similară (așa-numita dimensiune inductivă mică ). O abordare complet diferită a conceptului de dimensiune provine din Lebesgue .
Dimensiunea Hausdorff este o definiție înrudită pentru spațiile metrice . Această definiție a fost dată de Hausdorff în 1919 .
O figură topologică este zero-dimensională dacă nu există nicio figură conectată care să conțină mai mult de un punct în ea. O mulțime are dimensiunea zero dacă oricare dintre punctele sale are o vecinătate relativ mică, cu o limită goală [1] .
O mulțime are dimensiunea unu dacă nu este zero-dimensională, dar oricare dintre punctele sale are o vecinătate relativă arbitrar mică, a cărei limită este zero-dimensională. O mulțime are dimensiune dacă nu este , dar oricare dintre punctele sale are o vecinătate relativă arbitrar mică, a cărei graniță este normală [2] .
Un punct al unei mulțimi este separat de un punct printr-o mulțime dacă nu există o mulțime conexă în figură care să conțină punctele și și să nu se intersecteze cu .
O figură de dimensiune topologică este definită ca o figură care nu este o figură de dimensiune și în care orice punct, împreună cu vecinătatea lui, poate fi separat de restul figurii printr-un set de dimensiuni care nu depășește [3] [4] .