Точечно-конечная коллекция

Topological concept for collections of sets

В математике совокупность или семейство подмножеств топологического пространства называется точечно-конечным, если каждая точка принадлежит только конечному числу членов [1] [2] U {\displaystyle {\mathcal {U}}} X {\displaystyle X} X {\displaystyle X} U . {\displaystyle {\mathcal {U}}.}

Метакомпактное пространство — это топологическое пространство, в котором каждое открытое покрытие допускает точечно-конечное открытое измельчение . Каждое локально конечное множество подмножеств топологического пространства также является точечно-конечным. Топологическое пространство, в котором каждое открытое покрытие допускает локально-конечное открытое измельчение, называется паракомпактным пространством . Каждое паракомпактное пространство, следовательно, является метакомпактным. [2]

Теорема Дьедонне

Теорема  —  [3] [4] Топологическое пространство нормально тогда и только тогда, когда каждое точечно-конечное открытое покрытие имеет сужение; то есть, если — открытое покрытие, индексированное множеством , то существует открытое покрытие, индексированное тем же множеством, такое , что для каждого . X {\displaystyle X} X {\displaystyle X} { U i i I } {\displaystyle \{U_{i}\mid i\in I\}} I {\displaystyle I} { V i i I } {\displaystyle \{V_{i}\mid i\in I\}} I {\displaystyle I} V i ¯ U i {\displaystyle {\overline {V_{i}}}\subset U_{i}} i I {\displaystyle i\in I}

Первоначальное доказательство использует лемму Цорна, тогда как Уиллард использует трансфинитную рекурсию.

Ссылки

  1. ^ Уиллард 2012, стр. 145–152.
  2. ^ ab Willard, Stephen (2012), Общая топология, Dover Books on Mathematics, Courier Dover Publications, стр.  145–152 , ISBN 9780486131788, OCLC  829161886.
  3. ^ Дьедонне, Жан (1944), «Une généralisation des espaces Compacts», Journal de Mathématiques Pures et Appliquées , Neuvième Série, 23 : 65–76 , ISSN  0021-7824, MR  0013297, Теорема 6.
  4. ^ Уиллард 2012, Теорема 15.10.


В данной статье использованы материалы Point Finite на PlanetMath , лицензированные по лицензии Creative Commons Attribution/Share-Alike License .

Retrieved from "https://en.wikipedia.org/w/index.php?title=Point-finite_collection&oldid=1262611199"