Atomic, molecular, and optical physics

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 Template:Harvtxt. 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. Paracompact spaces are sometimes required to also 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.

Tychonoff's theorem (which states that the product of any collection of compact topological spaces is compact) does not generalize to paracompact spaces in that the product of paracompact spaces need not be paracompact. 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.

Paracompactness

A cover of a set X is a collection of subsets of X whose union contains X. In symbols, if U = {U_α : α in A} is an indexed family of subsets of X, then U is a cover of X if

$X\subseteq \bigcup _{\alpha \in A}{U}_{\alpha }.$

A cover of a topological space X is open if all its members are open sets. 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 that 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

$\{\alpha \in A:U_{\alpha }\cap V(x)\ne \varnothing \}$

is finite.

Examples

• Every compact space is paracompact.
• Every regular Lindelöf space is paracompact. In particular, every locally compact Hausdorff second-countable 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
• (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. Existing proofs of this require the axiom of choice for the non-separable case. It has been shown that neither ZF theory nor ZF theory with the axiom of dependent choice is sufficient.

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 non-paracompact surface.

Properties

Paracompactness is weakly hereditary, i.e. every closed subspace of a paracompact space is paracompact. This can be extended to F-sigma subspaces as well.

• 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.
• 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.

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.

Paracompact Hausdorff Spaces

Paracompact spaces are sometimes required to also be Hausdorff to extend their properties.

• (Theorem of Jean Dieudonné) Every paracompact Hausdorff space is normal.
• 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, sheaf cohomology and Čech cohomology are equal.

Partitions of unity

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 T₁ space is Hausdorff and 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

A Hausdorff space $X$ 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 $\mathcal{𝒪}$ is a locally finite open cover, then there exists open sets $W_U$ for each $U\in \mathcal{𝒪}$, such that each $\overline{W_U}\subseteq U$ and $\{W_U:U\in \mathcal{𝒪}\}$ is a locally finite refinement.

Lemma 2: If $\mathcal{𝒪}$ is a locally finite open cover, then there are continuous functions $f_U:X\to [0,1]$ such that $\mathrm{supp}{f}_U\subseteq U$ and such that $f:=\sum _{U\in \mathcal{𝒪}}{f}_U$ is a continuous function which is always non-zero and finite.

Theorem: In a paracompact hausdorff space $X$, if $\mathcal{𝒪}$ is an open cover, then there exists a partition of unity subordinate to it.

Proof (Lemma 1): Let $\mathcal{𝒱}$ be the collection of open sets meeting only finitely many sets in $\mathcal{𝒪}$, and whose closure is contained in a set in $\mathcal{𝒪}$. One can check as an exercise that this provides an open refinement, since paracompact hausdorff spaces are regular, and since $\mathcal{𝒪}$ is locally finite. Now replace $\mathcal{𝒱}$ by a locally finite open refinement. One can easily check that each set in this refinement has the same property as that which characterised the original cover.

Now we define $W_U=\bigcup \{A\in \mathcal{𝒱}:\overline{A}\subseteq U\}$. We have that each $\overline{W_U}\subseteq U$; for otherwise letting $x\in U\setminus \overline{W_U}$, we take $V\in \mathcal{𝒱},\ni x$ with closure contained in $U$; but then $(x\in )V\subseteq W_U(\subseteq \overline{W_U}\ni ̸x)$ a contradiction. And it easy to see that $\{W_U:U\in \mathcal{𝒪}\}$ is an open refinement of $\mathcal{𝒪}$.

Finally, to verify that this cover is locally finite, fix $x\in X$; let $N$ a neighbourhood of $x$ meeting only finitely many sets in $\mathcal{𝒱}$. We will show that $N$ meets only finitely many of the $W_U$. If $W_U$ meets $N$, then some $A\in \mathcal{𝒱}$ with $\overline{A}\subseteq U$ meets $N$. Thus $\{U\in \mathcal{𝒪}:U\text{ meets }N\}$ is the same as $\bigcup _{A\in \mathcal{𝒱}:A\text{ meets }N}\{U\in \mathcal{𝒪}:\overline{A}\subseteq U\}$ which is contained in $\bigcup _{A\in \mathcal{𝒱}:A\text{ meets }N}\{U\in \mathcal{𝒪}:A\text{ meets }U\}$. By the setup of $\mathcal{𝒱}$, each $A\in \mathcal{𝒱}$ meets only finitely many sets in $\mathcal{𝒪}$. Hence the right-hand collection is a finite union of finite sets. Thus $\{W_U:U\in \mathcal{𝒪},\text{ meets }N\}$ is finite. Hence the cover is locally finite.

Template:NumBlk

Proof (Lemma 2): Applying Lemma 1, let $f_U:X\to [0,1]$ be coninuous maps with $f_U\upharpoonright {\overline{W}}_U=1$ and $\mathrm{supp}{f}_U\subseteq U$ (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 $f=\sum _{U\in \mathcal{𝒪}}{f}_U$ is always finite and non-zero, take $x\in X$, and let $N$ a neighbourhood of $x$ meeting only finitely many sets in $\mathcal{𝒪}$; thus $x$ belongs to only finitely many sets in $\mathcal{𝒪}$; thus $f_U(x)=0$ for all but finitely many $U$; moreover $x\in W_U$ for some $U$, thus $f_U(x)=1$; so $f(x)$ is finite and $\ge 1$. To establish continuity, take $x,N$ as before, and let $S=\{U\in \mathcal{𝒪}:N\text{ meets }U\}$, which is finite; then $f\upharpoonright N=\sum _{U\in S}{f}_U\upharpoonright N$, which is a continuous function; hence the preimage under $f$ of a neighbourhood of $f(x)$ will be a neighbourhood of $x$.

Template:NumBlk

Proof (Theorem): Take $\mathcal{𝒪}*$ a locally finite subcover of the refinement cover: $\{V\text{ open }:(\mathrm{\exists }U\in \mathcal{𝒪})\overline{V}\subseteq U\}$. Applying Lemma 2, we obtain continuous functions $f_W:X\to [0,1]$ with $\mathrm{supp}{f}_W\subseteq W$ (thus the usual closed version of the support is contained in some $U\in \mathcal{𝒪}$, for each $W\in \mathcal{𝒪}*$; for which their sum constitutes a continuous function which is always finite non-zero (hence $1/f$ is continuous positive, finite-valued). So replacing each $f_W$ by $f_W/f$, we have now — all things remaining the same — that their sum is everywhere $1$. Finally for $x\in X$, letting $N$ be a neighbourhood of $x$ meeting only finitely many sets in $\mathcal{𝒪}*$, we have $f_W\upharpoonright N=0$ for all but finitely many $W\in \mathcal{𝒪}*$ since each $\mathrm{supp}{f}_W\subseteq W$. Thus we have a partition of unity subordinate to the original open cover.

Template:NumBlk

Relationship with compactness

There is a similarity between the definitions of compactness and paracompactness: For paracompactness, "subcover" is replaced by "open refinement" and "finite" by is replaced by "locally finite". Both of these changes are significant: if we take the 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.

Paracompactness has little to do with the notion of compactness, but rather more to do with breaking up topological space entities into manageable pieces.

Comparison of properties 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.

Variations

There are several variations of the notion of paracompactness. To define them, we first need to extend the list of terms above:

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₄ if it is fully normal and T₁ (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.

Definition of relevant terms for the variations

• 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

${\mathbf{U}}^{*}(x):=\bigcup _{U_{\alpha }\ni x}{U}_{\alpha }.$

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

$\{\alpha \in A:x\in U_{\alpha }\}$

is finite.

As the name implies, a fully normal space is normal. Every fully T₄ space is paracompact. In fact, for Hausdorff spaces, paracompactness and full normality are equivalent. Thus, a fully T₄ 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

• a-paracompact space
• Paranormal space

References

• Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.
  
  Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.
  
  In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.
  
  Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region
  
  Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.
  
  15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.
  
  To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
• Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology (2 ed), Springer Verlag, 1978, ISBN 3-540-90312-7. P.23.
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• Template:Cite web

External links

• Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.
  
  my web-site http://himerka.com/