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