To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Cover (topology)

From Wikipedia, the free encyclopedia

In mathematics, particularly topology, a cover of a set is a collection of sets whose union includes as a subset. Formally, if is an indexed family of sets then is a cover of if

Cover in topology

Covers are commonly used in the context of topology. If the set is a topological space, then a cover of is a collection of subsets of whose union is the whole space . In this case we say that covers , or that the sets cover .

Also, if is a (topological) subspace of , then a cover of is a collection of subsets of whose union contains , i.e., is a cover of if

This difference between the definition of a cover of a (universal) topological space and a cover of a topological subspace must be noted. Applications in analysis effectively use the subspace definition.

Let C be a cover of a topological space X. A subcover of C is a subset of C that still covers X.

We say that C is an open cover if each of its members is an open set (i.e. each Uα is contained in T, where T is the topology on X).

A cover of X is said to be locally finite if every point of X has a neighborhood that intersects only finitely many sets in the cover. Formally, C = {Uα} is locally finite if for any there exists some neighborhood N(x) of x such that the set

is finite. A cover of X is said to be point finite if every point of X is contained in only finitely many sets in the cover. A cover is point finite if it is locally finite, though the converse is not necessarily true.


A refinement of a cover of a topological space is a new cover of such that every set in is contained in some set in . Formally,

is a refinement of if for all there exists such that

In other words, there is a refinement map satisfying for every This map is used, for instance, in the Čech cohomology of .[1]

Every subcover is also a refinement, but the opposite is not always true. A subcover is made from the sets that are in the cover, but omitting some of them; whereas a refinement is made from any sets that are subsets of the sets in the cover.

The refinement relation is a preorder on the set of covers of .

Generally speaking, a refinement of a given structure is another that in some sense contains it. Examples are to be found when partitioning an interval (one refinement of being ), considering topologies (the standard topology in euclidean space being a refinement of the trivial topology). When subdividing simplicial complexes (the first barycentric subdivision of a simplicial complex is a refinement), the situation is slightly different: every simplex in the finer complex is a face of some simplex in the coarser one, and both have equal underlying polyhedra.

Yet another notion of refinement is that of star refinement.


A simple way to get a subcover is to omit the sets contained in another set in the cover. Consider specifically open covers. Let be a topological basis of and be an open cover of First take Then is a refinement of . Next, for each we select a containing (requiring the axiom of choice). Then is a subcover of Hence the cardinality of a subcover of an open cover can be as small as that of any topological basis. Hence in particular second countability implies a space is Lindelöf.


The language of covers is often used to define several topological properties related to compactness. A topological space X is said to be

if every open cover has a finite subcover, (or equivalently that every open cover has a finite refinement);
if every open cover has a countable subcover, (or equivalently that every open cover has a countable refinement);
if every open cover has a point-finite open refinement;
if every open cover admits a locally finite open refinement.

For some more variations see the above articles.

Covering dimension

A topological space X is said to be of covering dimension n if every open cover of X has a point-finite open refinement such that no point of X is included in more than n+1 sets in the refinement and if n is the minimum value for which this is true.[2] If no such minimal n exists, the space is said to be of infinite covering dimension.

See also


  1. ^ Bott, Tu (1982). Differential Forms in Algebraic Topology. p. 111.
  2. ^ Munkres, James (1999). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2.


  1. Introduction to Topology, Second Edition, Theodore W. Gamelin & Robert Everist Greene. Dover Publications 1999. ISBN 0-486-40680-6
  2. General Topology, John L. Kelley. D. Van Nostrand Company, Inc. Princeton, NJ. 1955.

External links

This page was last edited on 18 November 2021, at 14:51
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.