Paracompact space : Paracompact

word looked up :


	Paracompact space : Paracompact A topological space is called paracompact if every open cover admits an open locally finite refinement. (Sometimes paracompact spaces are required to be Hausdorff, but not in Wikipedia). The terms are defined as follows: A cover[?] of a set `X` is a collection of subsets of `X` whose union is `X`. In symbols, U ⊆ P(`X`), where P(`X`) is the power set of `X`, is a cover iff ∪_U∈U `U` = `X`. A cover of a topological space `X` is called open if all its members are open sets. In symbols, a cover U is an open cover iff U ⊆ T_X, where T_X is the collection of open sets in `X` (the topology). 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 is a refinement of the cover U iff, for any `V` ∈ V, there exists some `U` ∈ U such that `V` ⊆ `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 is locally finite iff, for any `x` ∈ `X`, there exists some neighbourhood `V` of `x` such that the set {`U` ∈ U : `U` ∩ `V` ≠ ∅} is 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.

Examples

Every compact space is paracompact.
Every locally compact second countable space is paracompact.
Every metric space (or metrisable space) is paracompact.
The lower limit topology[?] on the real line is paracompact, even though it is neither compact, locally compact, second countable, nor metrisable.

The most important feature of paracompact Hausdorff spaces is that they are normal and admit partitions of unity relative to any open cover. This means the following: if X is a paracompact Hausdoff 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 f is identically 0 outside of 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.

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.

Counterexamples

As you might guess from the generality of most of the examples above, it's actually harder to think of spaces that aren't paracompact than to think of spaces that are. 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.

Most mathematicians who use point set topology, rather than investigate it in its own right, regard nonparacompact spaces as pathological[?]. For example, manifolds are often (although not in Wikipedia) defined to be paracompact, thus allowing integration of differential forms to be defined as in the previous section, while excluding the long line, which is useless in almost every application.

Variations

There are several mild 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 is U^*(x) := ∪_x∈U∈U U. (The notation for the star isn't 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 iff, for any x ∈ X, for some U ∈ U, V^*(x) ⊆ 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 iff, for any x ∈ X, the set {U ∈ U : x ∈ U} is finite.

A topological space X is metacompact if every open cover has an open pointwise finite refinement, and fully normal if every open cover has an open star refinement. 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.

As you might guess from the terminology, a fully normal space is normal. Any space that is fully normal must be paracompact, and any space that is paracompact must be metacompact. In fact, for Hausdorff spaces, paracompactness and full normality are equivalent. Thus, a fully T₄ space (that is, a fully normal space that is also T₁; see Separation axioms) is the same thing as a paracompact Hausdorff space.

any commercial products without permission. To create these etexts, the Project expends considerable works. Despite these efforts, the Project's etexts and any things, Defects may.html">may.html">may.html">may take the form of incomplete, inaccurate or intellectual property infringement, a defective or damaged codes that damage or cannot be read by your equipment. LIMITED WARRANTY; DISCLAIMER OF DAMAGES [1] the Project (and any other party you may receive this liability.html">liability to you for damages.html">damages, costs and expenses, including UNDER STRICT LIABILITY, OR FOR BREACH OF WARRANTY OR CONTRACT, OR INCIDENTAL DAMAGES, EVEN IF YOU GIVE NOTICE OF THE receiving it, you can receive a refund of the money (if any) time to the person.html">person you received it from. If you received it such person may choose to alternatively give you a replacement choose to alternatively give you a second opportunity to WARRANTIES OF ANY KIND, EXPRESS OR IMPLIED, ARE MADE TO YOU AS LIMITED TO WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A the exclusion or limitation of consequential damages, so the may have other legal rights. INDEMNITY officers, members and agents harmless from all liability, cost indirectly from any of the following that you do or cause: or addition to the etext, or [3] any Defect. DISTRIBUTION UNDER "PROJECT GUTENBERG-tm" disk, book or any other medium if you either delete this or: [1] Only give exact copies of it. Among other things, this etext or this "small print!" statement. You may however, binary, compressed, mark-up, or proprietary form, .

On wordlookup.net

All is still licensed under the GNU FDL.
It uses material from the wikipedia.

navig stuff

Paracompact space : Paracompact

Examples

Properties

Counterexamples

Variations