Точка пористости
То́чка по́ристости для множества из -мерного евклидова пространства , точка , , для которой существует последовательность открытых шаров с радиусами и общим центром в точке таких, что для каждого найдётся открытый шар радиуса , где положительно и не зависит от (но, вообще говоря, зависит от и ). Множество называется пористым, если каждая его точка является точкой пористости для него. Множество называется -пοристым, если его можно представить в виде конечного или счётного объединения пористых множеств (см. Долженко. 1967). Точка пористости для является точкой пористости для его замыкания и не является точкой плотности в смысле Лебега ни для , ни для . Каждое пористое или -пористое множество имеет первую категорию по Бэру и нулевую меру Лебега в . Обратное, вообще говоря, неверно: существуют даже совершенные нигде не плотные множества , имеющие меру нуль, но не являющиеся -пористыми (см. Ζajičеk. 1976). Для множества , лежащего на гладком многообразии , точка пористости множества относительно многообразия определяется, как выше, при дополнительном условии, что центры шаров лежат на .