# Refinement

generalized development

A generalized development is a collection $F$ of families of subsets of a topological space $X$ such that for every $x\in X$ and every neighbourhood $O_x$ of $x$ there exists a $\gamma\in F$ such that the union of all the elements of the family $\gamma$ containing $x$ (the so-called star $\operatorname{St}_\gamma(x)$ of $x$ relative to $\gamma$) is contained in $O_x$.

Generalized developments consisting of open coverings are important. They play an essential role in dimension theory, the theory of compactifications, the theory of uniform spaces, the theory of continuous mappings, and in metrization problems. Informally, for a collection of open coverings to be a generalized development means that this collection approximates the given space near every point. Often one requires specific relations between the families in a generalized development — e.g., if one requires that: a) for every family in the collection there is another family in the collection that is a star-refinement of it; and b) for every two families in the collection there is a third family that refines both, then one obtains the definition of a (base for a) uniform structure compatible with the given topology.

Generalized developments consisting of locally finite coverings are considered in connection with the theory of paracompact spaces, and generalized developments consisting of finite open coverings in connection with the theory of compact spaces. In dimension theory, generalized developments consisting of open coverings of given multiplicity directed by the relation of "being a refinement of" have special meaning. Generalized developments consisting of closed coverings on which no restrictions such as local finiteness have been imposed are of no interest; for example, the covering of a $T_1$-space by its singleton subsets forms by itself a generalized development that carries no information on the topology of the space.

Countable generalized developments consisting of open coverings (simply called developments) play an important role; they are often written down by arbitrarily listing their members by the natural numbers in such a way that every covering is refined by the next one in the sequence. Developments are introduced at the first stage in the problem of metrizability of spaces, since their existence is a necessary condition for metrizability. This condition is not sufficient in the class of completely-regular spaces, but the addition of paracompactness (which is a consequence of metrizability) makes it sufficient. More exactly, a $T_1$-space is metrizable if and only if it is collectionwise normal and has a development. In particular, a compactum with a development is metrizable. It is not known (1978) whether there exists a non-metrizable normal space with a development, without further axiomatic assumptions; however, it is known that the existence of such a space is compatible with the Zermelo–Fraenkel axioms, although no "naive" example has been constructed so far.

The class of spaces with developments has good properties. It is closed under the operations of taking subspaces and countable products, and it is stable under perfect mappings. However, a whole series of regularities holding in the class of metrizable spaces do not hold for spaces with developments. Thus, a separable space with a development need not have a countable base. A space with a development is paracompact if and only if it is metrizable. Though not generally metrizable, spaces with developments allow of a sort of generalized metrization by means of écarts satisfying Cauchy's condition. There is also a convenient characterization of spaces with developments as images of metric spaces under continuous mappings subject to the requirement: the pre-image of every point is at a positive distance from the complement of the pre-image of every neighbourhood of this point.

## Contents

How to Cite This Entry:
Refinement. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Refinement&oldid=51516
This article was adapted from an original article by A.V. Arkhangel'skii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article