Jump to content

Star refinement

From Wikipedia, the free encyclopedia

In mathematics, specifically in the study of topology and open covers of a topological space X, a star refinement is a particular kind of refinement of an open cover of X. A related concept is the notion of barycentric refinement.

Star refinements are used in the definition of fully normal space and in one definition of uniform space. It is also useful for stating a characterization of paracompactness.

Definitions[edit]

The general definition makes sense for arbitrary coverings and does not require a topology. Let be a set and let be a covering of that is, Given a subset of the star of with respect to is the union of all the sets that intersect that is,

Given a point we write instead of

A covering of is a refinement of a covering of if every is contained in some The following are two special kinds of refinement. The covering is called a barycentric refinement of if for every the star is contained in some [1][2] The covering is called a star refinement of if for every the star is contained in some [3][2]

Properties and Examples[edit]

Every star refinement of a cover is a barycentric refinement of that cover. The converse is not true, but a barycentric refinement of a barycentric refinement is a star refinement.[4][5][6][7]

Given a metric space let be the collection of all open balls of a fixed radius The collection is a barycentric refinement of and the collection is a star refinement of

See also[edit]

Notes[edit]

  1. ^ Dugundji 1966, Definition VIII.3.1, p. 167.
  2. ^ Jump up to: a b Willard 2004, Definition 20.1.
  3. ^ Dugundji 1966, Definition VIII.3.3, p. 167.
  4. ^ Dugundji 1966, Prop. VIII.3.4, p. 167.
  5. ^ Willard 2004, Problem 20B.
  6. ^ "Barycentric Refinement of a Barycentric Refinement is a Star Refinement". Mathematics Stack Exchange.
  7. ^ Brandsma, Henno (2003). "On paracompactness, full normality and the like" (PDF).

References[edit]