Метрическая размерность
Метри́ческая разме́рность, числовая характеристика компакта, определяемая с помощью покрытия «эталонами меры», число которых и определяет метрическую размерность. Пусть – компакт, – минимальное число множеств с диаметром, не превосходящим , необходимое для того, чтобы они покрывали . Эта зависящая от метрики функция принимает целочисленные значения для всех и неограниченно возрастает при ; она называется функцией объёма . Метрическим порядком компакта называется число
Эта величина не является ещё топологическим инвариантом. Так, метрический порядок жордановой дуги с евклидовой метрикой равен , а для жордановой дуги, проходящей через совершенно вполне несвязное множество в положительной меры, эта величина равна . Однако нижняя граница метрических порядков для всех метрик компакта (называют метрической размерностью) равна его размерности Лебега (теорема Понтрягина – Шнирельмана, 1931, см. приложение к работе Гуревич. 1948).