 Paracompact space

In mathematics, a paracompact space is a topological space in which every open cover admits a locally finite open refinement. Paracompact spaces are sometimes also required to be Hausdorff. Paracompact spaces were introduced by Dieudonné (1944).
Contents
Definitions of relevant terms
 A cover of a set X is a collection of subsets of X whose union is X. In symbols, if U = {U_{α} : α in A} is an indexed family of subsets of X, then U is a cover if and only if
 A cover of a topological space X is open if all its members are open sets. In symbols, a cover U is an open cover if U is a subset of T, where T is the topology on X.
 A refinement of a cover of a space 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_{β} : β in B} is a refinement of the cover U = {U_{α} : α in A} if and only if, for any V_{β} in V, there exists some U_{α} in U such that V_{β} is contained in U_{α}.
 An open cover of a space X is locally finite if every point of the space has a neighborhood which intersects only finitely many sets in the cover. In symbols, U = {U_{α} : α in A} is locally finite if and only if, for any x in X, there exists some neighbourhood V(x) of x such that the set
 is finite.
 A topological space X is called paracompact if any open cover of X admits an open refinement that is locally finite.
Note the similarity between the definitions of compact and paracompact: for paracompact, we replace "subcover" by "open refinement" and "finite" by "locally finite". Both of these changes are significant: if we take the above definition of paracompact and change "open refinement" back to "subcover", or "locally finite" back to "finite", we end up with the compact spaces in both cases.
A hereditarily paracompact space is a space such that every subspace of it is paracompact. This is equivalent to requiring that every open subspace be paracompact.
Examples and counterexamples
 Every compact space is paracompact.
 (Theorem of A. H. Stone) Every metric space is paracompact. Early proofs were somewhat involved, but an elementary one was found by M. E. Rudin.^{[1]} Existing proofs of this require the axiom of choice for the nonseparable case. It has been shown that neither ZF theory nor ZF theory with the axiom of dependent choice is sufficient.^{[2]}
 Every regular Lindelöf space is paracompact. In particular, every locally compact Hausdorff secondcountable space is paracompact.
 The Sorgenfrey line is paracompact, even though it is neither compact, locally compact, second countable, nor metrizable.
 Every CW complex is paracompact ^{[3]}
Some examples of spaces that are not paracompact include:
 The most famous counterexample is the long line, which is a nonparacompact topological manifold. (The long line is locally compact, but not second countable.)
 Another counterexample is a product of uncountably many copies of an infinite discrete space. Any infinite set carrying the particular point topology is not paracompact; in fact it is not even metacompact.
 The Prüfer manifold is a nonparacompact surface.
Properties
 (Theorem of Jean Dieudonné) Every paracompact Hausdorff space is normal.
 Paracompactness is weakly hereditary, i.e. every closed subspace of a paracompact space is paracompact. This can be extended to Fsigma subspaces as well.
 If every open subset of a space is paracompact, then it is hereditarily paracompact.
 A regular space is paracompact if every open cover admits a locally finite refinement. (Here, the refinement is not required to be open.) In particular, every regular Lindelof space is paracompact.
 (Smirnov metrization theorem) A topological space is metrizable if and only if it is paracompact, Hausdorff, and locally metrizable.
 Every paracompact Hausdorff space is a shrinking space, that is, every open cover of a paracompact Hausdorff space has a shrinking: another open cover indexed by the same set such that the closure of every set in the new cover lies inside the corresponding set in the old cover.
 On paracompact Hausdorff spaces, the cohomology of a sheaf is equal to its Čech cohomology^{[citation needed]}.
 Michael selection theorem states that lower semicontinuous multifunctions from X into nonempty closed convex subsets of Banach spaces admit continuous selection iff X is paracompact.
Partitions of unity
Paracompactness has little to do with the notion of compactness, but rather more to do with breaking up topological space entities into manageable pieces. The most important feature of paracompact Hausdorff spaces is that they are normal and admit partitions of unity subordinate to any open cover. This means the following: if X is a paracompact Hausdorff space with a given open cover, then there exists a collection of continuous functions on X with values in the unit interval [0, 1] such that:
 for every function f: X → R from the collection, there is an open set U from the cover such that the support of f is contained in U;
 for every point x in X, there is a neighborhood V of x such that all but finitely many of the functions in the collection are identically 0 in V and the sum of the nonzero functions is identically 1 in V.
In fact, a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover (see below). This property is sometimes used to define paracompact spaces (at least in the Hausdorff case).
Partitions of unity are useful because they often allow one to extend local constructions to the whole space. For instance, the integral of differential forms on paracompact manifolds is first defined locally (where the manifold looks like Euclidean space and the integral is well known), and this definition is then extended to the whole space via a partition of unity.
Proof that paracompact hausdorff spaces admit partitions of unity
An hausdorff space is paracompact if and only if it every open cover admits a subordinate partition of unity. The if direction is straightforward. Now for the only if direction, we do this in a few stages.
 Lemma 1: If is a locally finite open cover, then there exists open sets for each , such that each and is a locally finite refinement.
 Lemma 2: If is a locally finite open cover, then there are continuous functions such that and such that is a continuous function which is always nonzero and finite.
 Theorem: In a paracompact hausdorff space , if is an open cover, then there exists a partition of unity subordinate to it.
 Proof (Lemma 1): Let be the collection of open sets meeting only finitely many sets in , and whose closure is contained in a set in . One can check as an exercise that this provides an open refinement, since paracompact hausdorff spaces are regular, and since is locally finite. Now replace by a locally finite open refinitement. One can easily check that each set in this refinement has the same property as that which characterised the original cover.
 Now we define . We have that each ; for otherwise letting , we take with closure contained in ; but then a contradiction. And it easy to see that is an open refinement of .
 Finally, to verify that this cover is locally finite, fix ; let a neighbourhood of meeting only finitely many sets in . We will show that N meets only finitely many of the . If meets , then some with meets . Thus is the same as which is contained in . By the setup of , each meets only finitely many sets in . Hence the righthand collection is a finite union of finite sets. Thus is finite. Hence the cover is locally finite.
(Lem 1)
 Proof (Lemma 2): Applying Lemma 1, let be coninuous maps with and (by Urysohn's lemma for disjoint closed sets in normal spaces, which a paracompact hausdorff space is). Note by the support of a function, we here mean the points not mapping to zero (and not the closure of this set). To show that is always finite and nonzero, take , and let a neighbourhood of meeting only finitely many sets in ; thus belongs to only finitely many sets in ; thus for all but finitely many ; moreover for some , thus ; so is finite and . To establish continuity, take as before, and let , which is finite; then , which is a continuous function; hence the preimage under of a neighbourhood of will be a neighbourhood of .
(Lem 2)
 Proof (Theorem): Take a locally finite subcover of the refinement cover: . Applying Lemma 2, we obtain continuous functions with (thus the usual closed version of the support is contained in some , for each ; for which their sum constitutes a continuous function which is always finite nonzero (hence is continuous positive, finitevalued). So replacing each by , we have now — all things remaining the same — that their sum is everywhere . Finally for , letting be a neighbourhood of meeting only finitely many sets in , we have for all but finitely many since each . Thus we have a partition of unity subordinate to the original open cover.
(Thm)
Comparison with compactness
Paracompactness is similar to compactness in the following respects:
 Every closed subset of a paracompact space is paracompact.
 Every paracompact Hausdorff space is normal.
It is different in these respects:
 A paracompact subset of a Hausdorff space need not be closed. In fact, for metric spaces, all subsets are paracompact.
 A product of paracompact spaces need not be paracompact. The square of the real line R in the lower limit topology is a classical example for this.
Although a product of paracompact spaces need not be paracompact, the following are true:
 The product of a paracompact space and a compact space is paracompact.
 The product of a metacompact space and a compact space is metacompact.
Both these results can be proved by the tube lemma which is used in the proof that a product of finitely many compact spaces is compact.
Variations
There are several variations of the notion of paracompactness. To define them, we first need to extend the list of terms above:
 Given a cover and a point, the star of the point in the cover is the union of all the sets in the cover that contain the point. In symbols, the star of x in U = {U_{α} : α in A} is
 The notation for the star is not standardised in the literature, and this is just one possibility.
 A star refinement of a cover of a space X is a new cover of the same space such that, given any point in the space, the star of the point in the new cover is a subset of some set in the old cover. In symbols, V is a star refinement of U = {U_{α} : α in A} if and only if, for any x in X, there exists a U_{α} in U, such that V^{*}(x) is contained in U_{α}.
 A cover of a space X is pointwise finite if every point of the space belongs to only finitely many sets in the cover. In symbols, U is pointwise finite if and only if, for any x in X, the set
 is finite.
A topological space is:
 metacompact if every open cover has an open pointwise finite refinement.
 orthocompact if every open cover has an open refinement such that the intersection of all the open sets about any point in this refinement is open.
 fully normal if every open cover has an open star refinement, and fully T_{4} if it is fully normal and T_{1} (see separation axioms).
The adverb "countably" can be added to any of the adjectives "paracompact", "metacompact", and "fully normal" to make the requirement apply only to countable open covers.
Every paracompact space is metacompact, and every metacompact space is orthocompact.
As the name implies, a fully normal space is normal. Every fully T_{4} space is paracompact. In fact, for Hausdorff spaces, paracompactness and full normality are equivalent. Thus, a fully T_{4} space is the same thing as a paracompact Hausdorff space.
As an historical note: fully normal spaces were defined before paracompact spaces. The proof that all metrizable spaces are fully normal is easy. When it was proved by A.H. Stone that for Hausdorff spaces fully normal and paracompact are equivalent, he implicitly proved that all metrizable spaces are paracompact. Later M.E. Rudin gave a direct proof of the latter fact.
See also
Notes
 ^ Rudin, Mary Ellen. A new proof that metric spaces are paracompact. Proceedings of the American Mathematical Society, Vol. 20, No. 2. (Feb., 1969), p. 603.
 ^ C. Good, I. J. Tree, and W. S. Watson. On Stone's Theorem and the Axiom of Choice. Proceedings of the American Mathematical Society, Vol. 126, No. 4. (April, 1998), pp. 1211–1218.
 ^ Hatcher, Allen, Vector bundles and Ktheory, preliminary version available on the authors homepage
References
 Dieudonné, Jean (1944), "Une généralisation des espaces compacts", Journal de Mathématiques Pures et Appliquées. Neuvième Série 23: 65–76, ISSN 00217824, MR0013297
 Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology (2 ed), Springer Verlag, 1978, ISBN 3540903127. P.23.
 Willard, Stephen (1970). General Topology. Reading, Massachusetts: AddisonWesley. ISBN 0486434796 (Dover edition).
 Mathew, Akhil. "Topology/Paracompactness". http://amathew.wordpress.com/2010/08/17/paracompactness/.
Categories: Properties of topological spaces
 Separation axioms
 Compactness (mathematics)
Wikimedia Foundation. 2010.
Look at other dictionaries:
Aparacompact space — In mathematics, in the field of topology, a topological space is said to be a paracompact if every open cover of the topological space has a locally finite refinement. Unlike in the definition of paracompactness we do not insist that the… … Wikipedia
space — 1. noun /speɪs/ a) The intervening contents of a volume. If it be only a Single Letter or two that drops, he thruſts the end of his Bodkin between every Letter of that Word, till he comes to a Space: and then perhaps by forcing thoſe Letters… … Wiktionary
Shrinking space — In mathematics, in the field of topology, a topological space is said to be a shrinking space if every open cover admits a shrinking. A shrinking of an open cover is another open cover indexed by the same indexing set, with the property that the… … Wikipedia
Metacompact space — In mathematics, in the field of general topology, a topological space is said to be metacompact if every open cover has a point finite open refinement. That is, given any open cover of the topological space, there is a refinement which is again… … Wikipedia
Thom space — In mathematics, the Thom space or Thom complex (named after René Thom) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space. One way to construct this space is as follows … Wikipedia
Completely uniformizable space — In mathematics, a topological space (X, T) is called completely uniformizable (or Dieudonné complete or topologically complete) if there exists at least one complete uniformity that induces the topology T. Some authors additionally require X to… … Wikipedia
Compact space — Compactness redirects here. For the concept in first order logic, see compactness theorem. In mathematics, specifically general topology and metric topology, a compact space is an abstract mathematical space whose topology has the compactness… … Wikipedia
Classifying space for U(n) — In mathematics, the classifying space for the unitary group U(n) is a space B(U(n)) together with a universal bundle E(U(n)) such that any hermitian bundle on a paracompact space X is the pull back of E by a map X → B unique up to homotopy. This… … Wikipedia
Orthocompact space — In mathematics, in the field of general topology, a topological space is said to be orthocompact if every open cover has an interior preserving open refinement. That is, given an open cover of the topological space, there is a refinement which is … Wikipedia
Collectionwise normal space — In mathematics, a topological space X is called collectionwise normal if for every discrete family Fi (i ∈ I) of closed subsets of X there exists a pairwise disjoint family of open sets Ui (i ∈ I), such that Fi ⊂ Ui. A family of subsets of… … Wikipedia