arXiv:math/0606285v6 [math.GN] 31 Oct 2010 ento 1. Definition n fall of xesvl tde nteltrtr,i rmwr called Let framework follows. as a defined in literature, the principles in studied extensively finite nnt,adeach and infinite, ω rprymyo a o hold: not may or may property lo let Also, the X a erpae yΩ[] oiae yti,Smnadtepresent the and Simon this, by Lindel¨of Motivated spaces for [7]. that Ω proved by author replaced be can Ω rpryi,adol if, only and if, property ˇ cvr,and -covers, ∈ upre yteKsln etrfrBscResearch. Basic for Center Koshland the by Supported esythat say We o oooia spaces topological For e h odae symbols boldfaced the Let o space a For aa 7 rvdta o yhnffspace Tychonoff a for that proved [7] Sakai satisfies A B yke property Pytkeev N U vr ebrof member Every : F ∈ } e eeto yohss n ntaeasseai td fthe of open. study remain problems systematic inducing intriguing a Some spaces, initiate hypotheses. topological and new of hypotheses, covers selection for new operator selection new Abstract. 1. uhta hr xs nnt sets infinite exist there that such ⊆ O e h uvy 1,4 3.Temi ye fcvr are covers of types main The 13]. 4, [10, surveys the see , A ucvr ihsrn oeigproperties covering strong with Subcovers X ,Γdnt h orsodn aiisof families corresponding the denote Γ Ω, , Ω . Ω ˇ ∞ scnandi some in contained is E EETO PRINCIPLE SELECTION NEW A γ X U o family a For cvr,rsetvl.Then respectively. -covers, where , sa is x oiae yarcn euto aa,w en a define we Sakai, of result recent a by Motivated n collections and ∈ od ntefnto space function the in holds cover X U X sacransbls fΩ ti pnwhether open is It Ω. of subclass certain a is Ω ˇ X eog oalbtfiieymany finitely but all to belongs eacvrof cover a be A szr-iesoa n satisfies and zero-dimensional is aiu pca aiiso oeshv been have covers of families special various , OZTSABAN BOAZ faset a of a ustwihi ebrof member a is which subset a has A Γ O ⊆ , fcvr faset a of covers of Ω Ω A 1 , U Γ ⊆ X , B U ∈ eoetefmle falcovers, all of families the denote O X if X . fcvr of covers of . X , . U U C n U ∈U 6∈ p san is U ⊆ X ( sa is X oa rprycalled property local a , aifistePytkeev the satisfies ) and C , X ω γ n p -cover ( -cover , X ∈ X A X f n nyif, only and if, ) N open ∞ h following the , = with , U stefamily the is S of of Ω C U ∈ covers. U ∞ Ω X X selection . { where , . B feach if if T . U U n is : 2 BOAZ TSABAN
CΩ is the collection of all clopen ω-covers of X [12]. This motivates the A study of additional properties of the form B∞ . Definition 2. A family B of open covers of X is surjectively derefinable if for each U ∈ B and each f : U → P (X) \{X} such that for each U ∈ U f(U) is open and contains U, {f(U): U ∈U}∈ B. A similar definition applies to families of Borel covers, clopen covers, etc. Example 3. O, Ω, and Γ are surjectively derefinable. For the latter we must explain why a (surjective) derefinement of a γ-cover is infinite, and this follows from the fact that it is an ω-cover. Lemma 4. Assume that B is a surjectively derefinable family of covers of X. Then A A ⇒ . B∞ B Proof. Assume that U ∈ A . By the assumption, there are infinite U1, U2,... ⊆ U such that V = { Un : n ∈ N} ∈ B. For each n, choose B f( Un) ∈ Un. As is surjectivelyT derefinable, W = {f( Un): n ∈ N}T ∈ B. Clearly, W ⊆ U. T
CΩ The converse need not hold. For example, Ω always holds, whereas CΩ Ω∞ need not, as explained above. More examples will follow in the sequel. Γ Proposition 5. Every space satisfies Γ∞ . Proof. Assume that U ∈ Γ. We may assume that U is countable (since an infinite subset of a γ-cover is again a γ-cover). Enumerate U = {Un : n ∈ N} bijectively, and take Un = {Uk : k ≥ n} for each n. Then { Un : n ∈ N} ∈ Γ.
T Ω Γ is the classical γ-property [2].