Point-finite collection

From HandWiki
Short description: Cover of a set

In mathematics, a collection or family [math]\displaystyle{ \mathcal{U} }[/math] of subsets of a topological space [math]\displaystyle{ X }[/math] is said to be point-finite if every point of [math]\displaystyle{ X }[/math] lies in only finitely many members of [math]\displaystyle{ \mathcal{U}. }[/math][1][2]

A metacompact space is a topological space in which every open cover admits a point-finite open refinement. Every locally finite collection of subsets of a topological space is also point-finite. A topological space in which every open cover admits a locally finite open refinement is called a paracompact space. Every paracompact space is therefore metacompact.[2]

References

  1. Willard 2004, p. 145–152.
  2. 2.0 2.1 Willard, Stephen (2012), General Topology, Dover Books on Mathematics, Courier Dover Publications, pp. 145–152, ISBN 9780486131788, OCLC 829161886, https://books.google.com/books?id=UrsHbOjiR8QC&pg=PA145 .