В математике, внутренняя регулярная мера - это та, для которой мера набора может быть аппроксимирована изнутри с помощью компактных подмножеств.
Пусть (X, T) будет топологическим пространством Хаусдорфа , и пусть Σ - это σ-алгебра на X, содержащая топологию T (так что каждое открытое множество является измеримым множеством, а Σ находится в по крайней мере так же хорошо, как борелевская σ-алгебра на X). Тогда мера μ на измеримом пространстве (X, Σ) называется внутренним регулярным, если для любого множества A в Σ
Это свойство иногда на словах называют «приближением от внутри компактными наборами ".
Некоторые авторы используют термин плотный как синоним для внутреннего регулярного. Такое использование термина тесно связано с ограниченностью семейства мер, поскольку конечная мера μ является внутренней регулярной тогда и только тогда, когда для всех ε>0, существует компактное подмножество K в X такое, что μ (X \ K) < ε. This is precisely the condition that the одноэлементный набор мер {μ} является плотным.
Когда вещественная линия Rимеет обычную евклидову топологию,
Однако, если топология на R меняется, то эти меры могут не быть внутренними регулярными. Например, если R задана топология нижнего предела (которая генерирует ту же σ-алгебру, что и евклидова топология), то обе вышеуказанные меры не могут быть внутренними регулярными, потому что компакты в этой топологии обязательно счетны и, следовательно, имеют нулевую меру.