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 term has two similar but distinct usages. A related term sometimes used to differentiate the weaker of these two properties is the notion of a barycentric refinement.

Star refinements are used in the definition of a fully normal space, in the definition of a strongly paracompact space, and in one among several equivalent formulations of a uniform space.

Definitions

The general definition makes sense for arbitrary coverings and does not require a topology. Let X {\displaystyle X} be a set and let U {\displaystyle {\mathcal {U}}} be a covering of X , {\displaystyle X,} that is, X = ⋃ U . {\textstyle X=\bigcup {\mathcal {U}}.} Given a subset S {\displaystyle S} of X , {\displaystyle X,} the star of S {\displaystyle S} with respect to U {\displaystyle {\mathcal {U}}} is the union of all the sets U ∈ U {\displaystyle U\in {\mathcal {U}}} that intersect S , {\displaystyle S,} that is, st ⁡ ( S , U ) = ⋃ { U ∈ U : S ∩ U ≠ ∅ } . {\displaystyle \operatorname {st} (S,{\mathcal {U}})=\bigcup {\big \{}U\in {\mathcal {U}}:S\cap U\neq \varnothing {\big \}}.}

Given a point x ∈ X , {\displaystyle x\in X,} we write st ⁡ ( x , U ) {\displaystyle \operatorname {st} (x,{\mathcal {U}})} instead of st ⁡ ( { x } , U ) . {\displaystyle \operatorname {st} (\{x\},{\mathcal {U}}).}

A covering U {\displaystyle {\mathcal {U}}} of X {\displaystyle X} is a refinement of a covering V {\displaystyle {\mathcal {V}}} of X {\displaystyle X} if every U ∈ U {\displaystyle U\in {\mathcal {U}}} is contained in some V ∈ V . {\displaystyle V\in {\mathcal {V}}.} The following are two special kinds of refinement. The covering U {\displaystyle {\mathcal {U}}} is called a barycentric refinement of V {\displaystyle {\mathcal {V}}} if for every x ∈ X {\displaystyle x\in X} the star st ⁡ ( x , U ) {\displaystyle \operatorname {st} (x,{\mathcal {U}})} is contained in some V ∈ V . {\displaystyle V\in {\mathcal {V}}.} The covering U {\displaystyle {\mathcal {U}}} is called a star refinement of V {\displaystyle {\mathcal {V}}} if for every U ∈ U {\displaystyle U\in {\mathcal {U}}} the star st ⁡ ( U , U ) {\displaystyle \operatorname {st} (U,{\mathcal {U}})} is contained in some V ∈ V . {\displaystyle V\in {\mathcal {V}}.} A space X {\displaystyle X} is called fully normal if every open cover of X {\displaystyle X} has a barycentric open refinement.

There is another, related but distinct concept. An open cover is star-finite if each member of U ∈ U {\displaystyle U\in {\mathcal {U}}} meets only finitely many members of U {\displaystyle {\mathcal {U}}}. A space X {\displaystyle X} is called strongly paracompact if every open cover of X {\displaystyle X} has a star-finite open refinement.

Properties and Examples

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.

Given a metric space X , {\displaystyle X,} let V = { B ϵ ( x ) : x ∈ X } {\displaystyle {\mathcal {V}}=\{B_{\epsilon }(x):x\in X\}} be the collection of all open balls B ϵ ( x ) {\displaystyle B_{\epsilon }(x)} of a fixed radius ϵ > 0. {\displaystyle \epsilon >0.} The collection U = { B ϵ / 2 ( x ) : x ∈ X } {\displaystyle {\mathcal {U}}=\{B_{\epsilon /2}(x):x\in X\}} is a barycentric refinement of V , {\displaystyle {\mathcal {V}},} and the collection W = { B ϵ / 3 ( x ) : x ∈ X } {\displaystyle {\mathcal {W}}=\{B_{\epsilon /3}(x):x\in X\}} is a star refinement of V . {\displaystyle {\mathcal {V}}.}

By a theorem of A.H. Stone, for a T1 space being fully normal and being paracompact are equivalent. This was a landmark theorem and provided the first proof that metric spaces are paracompact. The proof is difficult, but simpler proofs of the paracompactness of metric spaces were later provided.

There are paracompact T 1 {\displaystyle T_{1}} spaces which are not strongly paracompact. Every locally separable metric space is strongly paracompact. Conversely every connected, strongly paracompact metric space is separable, so non-separable Banach spaces are a typical example of metric spaces which fail to be strongly paracompact.

See also

Notes