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.
The general definition makes sense for arbitrary coverings and does not require a topology. Let be a set and let be a covering of, i.e., . Given a subset of then the star of with respect to is the union of all the sets that intersect, i.e.:
Given a point, we write instead of .
The covering of is said to be a refinement of a covering of if every is contained in some . The covering is said to be a barycentric refinement of if for every the star is contained in some . Finally, the covering is said to be a star refinement of if for every the star is contained in some .
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.
Famous quotes containing the words star and/or refinement:
“And though in tinsel chain and popcorn rope
My tree, a captive in your window bay,
Has lost its footing on my mountain slope
And lost the stars of heaven, may, oh, may
The symbol star it lifts against your ceiling
Help me accept its fate with Christmas feeling.”
—Robert Frost (1874–1963)
“Perhaps our own woods and fields,—in the best wooded towns, where we need not quarrel about the huckleberries,—with the primitive swamps scattered here and there in their midst, but not prevailing over them, are the perfection of parks and groves, gardens, arbors, paths, vistas, and landscapes. They are the natural consequence of what art and refinement we as a people have.... Or, I would rather say, such were our groves twenty years ago.”
—Henry David Thoreau (1817–1862)