In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by Dieudonné (1944). Every compact space is paracompact. Every paracompact Hausdorff space is normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff. Every closed subspace of a paracompact space is paracompact. While compact subsets of Hausdorff spaces are always closed, this is not true for paracompact subsets. A space such that every subspace of it is a paracompact space is called hereditarily paracompact. This is equivalent to requiring that every open subspace be paracompact. The notion of paracompact space is also studied in pointless topology, where it is more well-behaved. For example, the product of any number of paracompact locales is a paracompact locale, but the product of two paracompact spaces may not be paracompact. Compare this to Tychonoff's theorem, which states that the product of any collection of compact topological spaces is compact. However, the product of a paracompact space and a compact space is always paracompact. Every metric space is paracompact. A topological space is metrizable if and only if it is a paracompact and locally metrizable Hausdorff space.
Definition A cover of a set X {\displaystyle X} is a collection of subsets of X {\displaystyle X} whose union contains X {\displaystyle X} . In symbols, if U = { U α : α ∈ A } {\displaystyle U=\{U_{\alpha }:\alpha \in A\}} is an indexed family of subsets of X {\displaystyle X} , then U {\displaystyle U} is a cover of X {\displaystyle X} if
X ⊆ ⋃ α ∈ A U α . {\displaystyle X\subseteq \bigcup _{\alpha \in A}U_{\alpha }.}
A cover of a topological space X {\displaystyle X} is open if all its members are open sets. A refinement of a cover of a space X {\displaystyle X} is a new cover of the same space such that every set in the new cover is a subset of some set in the old cover. In symbols, the cover V = { V β : β ∈ B } {\displaystyle V=\{V_{\beta }:\beta \in B\}} is a refinement of the cover U = { U α : α ∈ A } {\displaystyle U=\{U_{\alpha }:\alpha \in A\}} if and only if, for every V β {\displaystyle V_{\beta }} in V {\displaystyle V} , there exists some U α {\displaystyle U_{\alpha }} in U {\displaystyle U} such that V β ⊆ U α {\displaystyle V_{\beta }\subseteq U_{\alpha }} . An open cover of a space X {\displaystyle X} is locally finite if every point of the space has a neighborhood that intersects only finitely many sets in the cover. In symbols, U = { U α : α ∈ A } {\displaystyle U=\{U_{\alpha }:\alpha \in A\}} is locally finite if and only if, for any x {\displaystyle x} in X {\displaystyle X} , there exists some neighbourhood V {\displaystyle V} of x {\displaystyle x} such that the set
{ α ∈ A : U α ∩ V ≠ ∅ } {\displaystyle \left\{\alpha \in A:U_{\alpha }\cap V\neq \varnothing \right\}}
is finite. A topological space X {\displaystyle X} is now said to be paracompact if every open cover has a locally finite open refinement. This definition extends verbatim to locales, with the exception of locally finite: an open cover U {\displaystyle U} of X {\displaystyle X} is locally finite iff the set of opens V {\displaystyle V} that intersect only finitely many opens in U {\displaystyle U} also form a cover of X {\displaystyle X} . Note that an open cover on a topological space is locally finite iff its a locally finite cover of the underlying locale.
… excerpt ends here. Continue reading the full article.
