Локальная размерность

нормального топологического пространства X - топологический инвариант locdim X, определяемый следующим образом. Считается [img: http://localhost:8080/file/031326-46.jpg] 0, 1,..., если для любой точки хОХнайдется окрестность Ох, для Лебега размерности замыкания к-рой выполняется соотношение [img: http://localhost:8080/file/031326-47.jpg] Если locdim [img: http://localhost:8080/file/031326-48.jpg] для нек-рого п, то Л. р. пространства Xконечна, пишется [img: http://localhost:8080/file/031326-49.jpg] и полагается [img: http://localhost:8080/file/031326-50.jpg] Всегда [img: http://localhost:8080/file/031326-51.jpg] существуют нормальные пространства Xс locdim X<dim X;в классе параком-пактов всегда locdim X = dim X. Если в определении Л. р. лебегову размерность dim [ Ох]заменить на большую индуктивную размерностьInd [ Ох], то получится определение локальной большой индуктивной размерности locInd X.