View source for Covering (of a set)

[[Category:TeX wanted]]

Any family of subsets of the given set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c0269501.png" /> with union <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c0269502.png" />.

By a covering of a topological space, a uniform space or, generally, any set having some structure, one understands any covering of this set. However, in the theory of topological spaces it is particularly natural to consider open coverings, i.e. coverings all elements of which are open sets. The considerable importance of open coverings arises because the elements of such a covering contain complete information on the local structure of the space, while the properties of the covering as a whole (in particular, the number of elements, the multiplicity and the combinatorial properties) reflect essential global characteristics of the space.

For example, the Lebesgue dimension dim of a topological space is defined in terms of the language of open coverings: The dimension of a normal space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c0269503.png" /> does not exceed a natural number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c0269504.png" /> if in each finite open covering of this space one can inscribe a finite open covering the multiplicity of which at each point (i.e. the number of elements in the covering containing the given point) does not exceed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c0269505.png" />. The relation of one covering being inscribed in another is a basic general elementary relation between coverings. A family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c0269506.png" /> of sets is inscribed in a family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c0269507.png" /> of sets if each element of the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c0269508.png" /> is contained in some element of the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c0269509.png" />. The class of paracompact spaces (cf. [[Paracompact space|Paracompact space]]) is defined in terms of open coverings.

The name subcovering of a covering <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695010.png" /> of a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695011.png" /> is given to any subfamily of the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695012.png" /> that itself is a covering of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695013.png" />. The fundamental concepts of compactness, countable and final compactness are defined in terms of subcoverings. A space is compact if in each of its open coverings one can indicate a finite subcovering. A space is countably compact if in each of its countable open coverings one can indicate a finite subcovering. A space is finally compact if in each of its open coverings one can indicate a countable subcovering. Open coverings are used to define abstract combinatorial objects; this has opened up ways of applying algebraic methods in research on topological spaces more general than polyhedra. P.S. Aleksandrov defined the fundamental concept of the nerve of an arbitrary covering <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695014.png" /> as an abstract complex the vertices of which are put in one-to-one correspondence with the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695015.png" /> and where a finite set of these vertices constitutes an abstract simplex if and only if the intersection of the corresponding elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695016.png" /> is not empty. Systems of open coverings of a space taken together with the relation of being inscribed correspond to systems of abstract complexes related by simplicial mappings, the so-called spectra of complexes.

Closed coverings also play a substantial part in topology; these are coverings in which all elements are closed sets. If all one-point sets in a topological space are closed, an example of a closed covering for this space is provided by the family of all its one-point subsets. However, such a covering does not contain any information on the topology of the space, apart from the fact that the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695017.png" />-separation axiom applies. Therefore, the requirement of a closed covering should be combined with other substantial restrictions. In particular, it is useful to consider locally finite closed coverings. These are important in dimension theory. Another important example of a closed covering is the covering of a polyhedron by the closed simplices of some complex subdividing this polyhedron.

There are interesting properties of a covering related not to the character of its elements but to the position of them, of which the following are most frequently encountered: the cardinality of a covering (the number of elements in it), local finiteness (for each point in the space there is a neighbourhood that intersects with a finite number of elements from the family of subsets of this space), point finiteness (the set of elements of the covering containing a point taken at random is finite), and star-like finiteness (each element of the covering intersects only with a finite number of elements in the covering).

A family of sets in a topological space is called conservative if the closure of the union of any of its subfamilies is equal to the union of the closures of the elements of that subfamily. Each locally finite family of sets is conservative. Conservative coverings arise in the study of paracompact spaces, where any conservative covering, not merely open an one, is important and not trivial.

An important role is played by the concept of the star of a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695018.png" /> with respect to a family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695019.png" /> of sets (in particular, a covering). It is the union of all elements in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695020.png" /> containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695021.png" />, and is usually denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695022.png" />. Similarly one defines the star <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695023.png" /> of a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695024.png" /> with respect to a family of sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695025.png" />. The concept of a star is used in the fundamental relation of one covering being star-like inscribed in another, which is considerably finer than the relation of being inscribed. A family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695026.png" /> of sets is called star-like inscribed in a family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695027.png" /> of sets if for each point one can find an element in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695028.png" /> containing the star of that point with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695029.png" />. The relation of being star-like inscribed for open coverings is important in dimension theory, some criteria for metrization are based on it, and it is one of the basic elementary concepts in defining a uniform structure and a uniform space. It is useful to consider the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695030.png" /> of open coverings of a topological space, directed by the relation of being star-like inscribed in the following sense: For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695031.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695032.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695033.png" /> there exists a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695034.png" /> which is star-like inscribed both in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695035.png" /> and in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695036.png" />.

The following characterization of paracompactness in the language of being star-like inscribed is of importance (Morita's theorem): A Hausdorff space is paracompact if and only if one can inscribe in any of its open coverings a star-like open covering.

Star-like inscription does not have so much content for the case of arbitrary (or even closed) coverings. In particular, this is evident from the fact that the family of all one-point subsets of a space is star-like inscribed in any covering of that space.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  J.L. Kelley,   "General topology" , Springer  (1975)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.V. Arkhangel'skii,   V.I. Ponomarev,   "Fundamentals of general topology: problems and exercises" , Reidel  (1984)  (Translated from Russian)</TD></TR></table>



====Comments====
A covering of a topological space is also called a cover of that space. Usually, in Western literature an inscribed covering is called a refinement and a conservative covering is called a closure-preserving covering. Further, barycentric refinement is used for star-like inscribed family (of sets). There is also the notion of star-refinement: A family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695037.png" /> of sets is a star-refinement of a family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695038.png" /> (of sets) if the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695039.png" /> is a refinement of (refines) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695040.png" />. Finally, Morita's theorem is widely known as Stone's coincidence theorem, proved by A.H. Stone [[#References|[a1]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A.H. Stone,   "Paracompactness and product spaces"  ''Bull. Amer. Math. Soc.'' , '''54'''  (1948)  pp. 977–982</TD></TR></table>

In combinatorial geometry there are various problems and theorems related to special coverings, mainly for convex sets. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695041.png" /> be a convex body in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695042.png" />-dimensional vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695043.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695044.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695045.png" /> be, correspondingly, the boundary and interior of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695046.png" />. The following problems concerning coverings are the most familiar.

a) Find the minimal number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695047.png" /> of translations (parallel transfers) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695048.png" /> so that, using these, one can cover <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695049.png" />.

b) Find the minimal number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695050.png" /> of bodies homothetic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695051.png" /> with homothety coefficient <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695052.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695053.png" />, with which one can cover <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695054.png" />.

c) Find the minimal number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695055.png" /> of sets homothetic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695056.png" /> with homothety coefficient <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695057.png" /> and centre of homothety in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695058.png" /> with which one can cover <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695059.png" />.

If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695060.png" /> is bounded, problems a) and b) are equivalent, and they are equivalent to the [[Illumination problem|illumination problem]] (from the outside) for the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695061.png" /> and are related to the [[Hadwiger hypothesis|Hadwiger hypothesis]]. For unbounded <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695062.png" />, problems a) and b) in general are different, and the numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695063.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026950/c02695064.png" /> may be infinite.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L. Danzer,   B. Grünbaum,   V.L. Klee,   "Helly's theorem and its relatives" , ''Proc. Symp. Pure Math.'' , '''7''' , Amer. Math. Soc.  (1963)  pp. 101–180</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  V.G. Boltyanskii,   I.Ts. Gokhberg,   "Sätze und Probleme der Kombinatorische Geometrie" , Deutsch. Verlag Wissenschaft.  (1972)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.G. Boltyanskii,   I.Ts. Gokhberg,   "Partitioning figures in smaller parts" , Moscow  (1971)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  G. Debrunner,   "Combinatorial geometry in the plane" , Holt, Rinehart &amp; Winston  (1964)  (Translated from German)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  C.A. Rogers,   "Packing and covering" , Cambridge Univ. Press  (1964)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  V.G. Boltyanskii,   P.S. Soltan,   "The combinatorial geometry of various classes of convex sets" , Kishinev  (1978)  (In Russian)</TD></TR></table>

''P.S. Soltan''