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:
“The obvious parallels between Star Wars and The Wizard of Oz have frequently been noted: in both there is the orphan hero who is raised on a farm by an aunt and uncle and yearns to escape to adventure. Obi-wan Kenobi resembles the Wizard; the loyal, plucky little robot R2D2 is Toto; C3PO is the Tin Man; and Chewbacca is the Cowardly Lion. Darth Vader replaces the Wicked Witch: this is a patriarchy rather than a matriarchy.”
—Andrew Gordon, U.S. educator, critic. “The Inescapable Family in American Science Fiction and Fantasy Films,” Journal of Popular Film and Television (Summer 1992)
“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)