Размерность Лебега или топологическая рамерность — размерность, определенная посредством покрытий, важнейший инвариант топологического пространства. Размерность Лебега пространства $X$, обычно обозначается $\backslash dim\; X$.

Определение

Для метрических пространств

Для компактного метрического пространства $X$ размерность Лебега определяется как наименьшее целое число $n$, обладающее тем свойством, что при любом $\backslash varepsilon>0$ существует конечное открытое $\backslash varepsilon$-покрытие $X$, имеющее кратность $\backslash le\; n+1$;

При этом

• $\backslash varepsilon$-покрытием метрического пространства называется покрытие, все элементы которого имеют диаметр , а
• кратностью конечного покрытия пространства $X$ называется наибольшее такое целое число $k$, что существует точка пространства $X$, содержащаяся в $k$ элементах данного покрытия.

Для топологических пространств

Для произвольного нормального (в частности, метризуемого) пространства $X$ размерностью Лебега называется наименьшее целое число $n$ такое, что ко всякому конечному открытому покрытию пространства $X$ существует вписанное в него (конечное открытое) покрытие а кратности $n+1$.

При этом покрытие $\backslash mathcal\; P$ называется вписанным в покрытие $\backslash mathcal\; Q$, если каждый элемент покрытия $\backslash mathcal\; P$ является подмножеством хотя бы одного элемента покрытия $\backslash mathcal\; Q$.

Примеры

• Нульмерные пространства: одноточечное пространство, дискретное пространство, канторово множество.
  • См. также нульмерное пространство.
• Одномерные пространсва: окружность, салфетка Серпиньского, коврик Серпиньского, губка Менгера
  • См. также кривая Урысона

История

Впервые введена Анри Луи Лебегом. Он высказал гипотезу, что размерность $n$-мерного куба равна $n$. Л. Брауэр впервые доказал это. Точное определение инварианта $\backslash dim\; X$ (для класса метрических компактов) дал Урысон.

Общая топология

Lebesgue covering dimension | Dimension topologique