В математике совокупность или семейство подмножеств топологического пространства называется точечно-конечным, если каждая точка принадлежит только конечному числу членов [1] [2]
Метакомпактное пространство — это топологическое пространство, в котором каждое открытое покрытие допускает точечно-конечное открытое измельчение . Каждое локально конечное множество подмножеств топологического пространства также является точечно-конечным. Топологическое пространство, в котором каждое открытое покрытие допускает локально-конечное открытое измельчение, называется паракомпактным пространством . Каждое паракомпактное пространство, следовательно, является метакомпактным. [2]
Поскольку паракомпактное (хаусдорфово) пространство является нормальным, следующая теорема применима, в частности, к паракомпактному пространству.
Теорема — [3] Пусть будет нормальным пространством . Тогда каждое точечно-конечное открытое покрытие имеет сужение; то есть, если — открытое покрытие, индексированное множеством , то существует открытое покрытие, индексированное тем же множеством, такое что для каждого .
В данной статье использованы материалы из Point Finite на PlanetMath , лицензированные по лицензии Creative Commons Attribution/Share-Alike License .