ЛОКАЛЬНАЯ РАЗМЕРНОСТЬ
нормального топологического пространства X - топологический инвариант locdim X, определяемый следующим образом. Считается
0, 1, . . ., если для любой точки хОХнайдется окрестность Ох, для Лебега размерности замыкания к-рой выполняется соотношение
Если locdim
для нек-рого п, то Л. р. пространства Xконечна, пишется
и полагается

Всегда
существуют нормальные пространства Xс locdim X
Математическая энциклопедия