Arxiv:1811.03467V1 [Math.GN]

arXiv:1811.03467v1 [math.GN] 8 Nov 2018 iceesubspace discrete rpryadi ses osecmatsae n also and spaces compact see to D easy is it and property X pc ffraynihoho assignment neighborhood any for if space D 00MteaisSbetClassification Subject Mathematics 2010 Keywords i.e., D egbrodasgmn o oooia pc ( space topological a for assignment neighborhood A Introduction 1 games. topological sae,hwvri ssila pnqeto hte Lindel whether question open an still is it however -spaces, -spaces. sae,Ase pcs lotAse pcs eeto pr selection spaces, Alster almost spaces, Alster -spaces, ∗ → orsodn author Corresponding X rsvkiIsiueo ahmtc n ehnc,Ua Fe Ural Mechanics, and Mathematics of Institute Krasovskii ekyMne pcsb egbrodasgmnsaddfieana a almost define and of assignments weakening neighborhood ural by spaces Menger weakly n h ekvrin fteepoete nLindelöf spaces. in properties these of “Als versions “Menger”, weak “D-type”, the properties and the among relationships the τ oeo h ltr egrand Menger Alster, the on note A = uhthat such nti ae egv e hrceiain o lotMne and Menger almost for characterizations new give we paper this In egrsae,ams egrsae,wal egrspaces Menger weakly spaces, Menger almost spaces, Menger : eateto ahmtc,HcteeUiest,Ankara, University, Hacettepe Mathematics, of Department S x ∈ rlSaeUiest fEoois ktrnug Russia Ekaterinburg, Economics, of University State Ural D N ( D x x = ) of ∈ X S N lxne .Osipov V. Alexander ( N uhthat such [email protected] x o any for ) ( D D properties Selma sae n weakly and -spaces 8.The [8]. ) [email protected] Abstract 1 N Oz¸ca˘g ¨ 42,5G9 54D10 54G99, 54D20, : x ( D ∈ D = ) N X poet sakn fcovering of kind a is -property ∗ space A . for { N D ( X sae.W discuss We -spaces. x ,τ X, : ) σ hr xssaclosed a exists there cmatsae are spaces -compact ea University, deral x safunction a is ) X inciples, D ∈ Turkey scle a called is -type D o pcsare öf spaces } ter”, covers t- , N X D - , : D-spaces became the subject of many researches since it was first introduced by E.K. van Dowen and W.F. Pfeffer in [8] and many results were obtained on the relations with the other covering properties, generalizations and applications of D-spaces [2, 3, 4, 5, 9, 10]. There are two survey papers on D-spaces [9, 10] and it is worth to mention that in [20] Szeptycki and Yajima desribed the most recent developments in the study of relationships of the D-space to other covering properties.

Recently Aurichi in [3] proved that Menger T1 spaces are D-spaces by using the partial open neighborhood assignment game (PONAG) which shows that topological games are useful tools to analyze the class of D-spaces. Very recently Peng and Shen in [17] gave a new characterization for Menger spaces by neighborhood assignment and thus Aurichi’s result [3, Corollary 2.7] is easily obtained using this characterization. In another direction the Menger property and its generalizations, almost Menger and weakly Menger properties have been investigated by many mathematicians (see [7, 12, 13, 14, 16]). Now in this note we first give a new characterization for almost Menger spaces by neighborhood assignment. We continue by introducing a new notion called “open-dense almost(weakly) D-space” and show that every Lindelöf almost Menger space is an open-dense almost D-space. Similar results will be presented for the class of weakly Menger spaces in Section 3 and at the end of this section the relationships among all these covering spaces are investigated. To conclude this introduction we give some basic definitions and a short summary for selection principles and topological games. All topological spaces considered in this paper are assumed to be T1. Recall that a topological space (X,τ) is Menger [11, 15](almost Menger, weakly Menger[12, 14, 16]) if for every sequence (Un : n ∈ N) of open covers of X, there exists a sequence (Vn : n ∈ N) of finite families such that for each N n, Vn ⊆ Un and S{Vn : n ∈ } = X(resp. X = Sn∈N{V : V ∈ Vn}, S{Vn : n ∈ N} is dense in X). We use the following notations for collections of coverings of a topological space X:

• O is the collection of all open covers of a space X;

• O is the collection of families U of open subsets of the space for which {U : U ∈ U} covers the space X;

2 • D is the collection of families of open sets with union dense in the space X;

• We denote by N the set of positive integers and ω = N ∪ {0}.

Let us recall [19] the two classical selection principles in topological spaces. Let A and B be the collection of subsets of an inﬁnite set X.

Sfin(A, B) denotes the hypothesis: for each sequence (An : n ∈ N) of elements of A there is a sequence (Bn : n ∈ N) of ﬁnite sets such that for each n, Bn ⊂ An, and Sn∈N Bn ∈ B. S1(A, B) denotes the hypothesis: for each sequence (An : n ∈ N) of elements of A there is a sequence (bn : n ∈ N) such that for each n, bn ∈ An, and {bn : n ∈ N} is an element of B.

Sfin(O, O) denotes the Menger property, Sfin(O, O) denotes the almost Menger property, and Sfin(O, D) denotes the weakly Menger property. There are games associated to the above selection principles. The game Gfin(A, B) associated with Sfin(A, B) is as follows: Two players ONE and TWO play an inning. In the n-th round ONE chooses a set An ∈ A, while TWO responds by choosing a finite set Bn ⊂ An. A play (A1,B1, · · · , An,Bn, · · ·) is won by TWO if and only if Sn∈N Bn ∈ B. We ω denote the games with length ω by Gfin(O, O). In inning n<ω ONE first selects an An ∈ A, while TWO responds by choosing a finite set Bn ⊂ An. A play (A0,B0, A1,B1, · · · , An,Bn, · · ·) is won by TWO if Sn∈N Bn ∈ B. It is evident that if ONE does not have a winning strategy in the game Gfin(A, B) (resp. G1(A, B)) then the selection hypothesis Sfin(A, B) (resp. S1(A, B)) is true. The converse implication need not be always true. Babinkostova, Pansera and Scheepers obtained in [6, Theorem 29] that for Lindelöf spaces, X is almost Menger if and only if ONE does not have a ω winning strategy in Gfin(O, O).

2 Almost Menger and open-dense almost D-spaces

In this section we deﬁne the weaker versions of D-spaces and discuss the relationships among the D-type-properties. We also give a new characterization for almost Menger spaces by neigborhood assignment. The notion of almost D-space was introduced by Kocev in [13]. A topological space (X,τ) is an almost D-space if for every function N : X → τ such that x ∈ N(x), there exists a closed discrete subspace D of X such that Sx∈D N(x)= X.

3 Now we deﬁne a natural weakening of almost D-spaces.

Deﬁnition 2.1 A topological space (X,τ) is a weakly D-space if for every function N : X → τ such that x ∈ N(x), there exists a closed discrete subspace D of X such that Sx∈D N(x)= X.

We will now consider a new property called “open-dense almost D-space (open-dense weakly D-space)” and discuss the relationships with the other D-type properties.

Deﬁnition 2.2 A topological space (X,τ) is an open-dense D-space (open- dense almost D-space, open-dense weakly D-space) if for every function N : X → τ such that x ∈ N(x), there exists a closed discrete subspace D of Sx∈D N(x) such that Sx∈D N(x) = X (resp. Sx∈D N(x) = X, Sx∈D N(x)= X.)

Remark 2.3 The following diagram indicates the relations among the D- type covering properties. Here the words open-dense will be abbreviated to o-d. We note that D-spaces and open dense D-spaces are equivalent and the other implications in the diagram can be obtained easily by Deﬁnition 2.1 and Deﬁnition 2.2.

o-d D-space / o-d almost D-space / o-d weakly D-space O O O

D-space / almost D-space / weakly D-space

In [17] the authors gave a new characterization for Menger spaces by neighborhood assignments and thus they obtained Aurichi’s result “Every T1 Menger space is a D-space” in connection with this characterization. The following theorem gives a new characterization for almost Menger spaces by neighborhood assignment.

Theorem 2.4 Let X be a Lindel¨of space. Then X is almost Menger if and only if for each sequence {Nn : n ∈ ω} of neighborhood assignments for X, there exists for each n ∈ ω a ﬁnite subset Dn of X such that S{Nn(x) : x ∈ Dn,n ∈ ω} = X and D = S{Dn : n ∈ ω} is a closed discrete subspace of S{Nn(x) : x ∈ Dn,n ∈ ω}.

4 Proof. Let X be an almost Menger space. The argument used here is originally due to Peng and Shen by [17, Theorem 3] and we will follow the similar lines of that proof. Let (Nn : n ∈ ω) be a sequence of neighborhood assignments for X. The family {N0(x) : x ∈ X} is an open cover of X since N0 is a neighborhood assignment.

Let σ be a strategy for player ONE and let U0 = N0 = σ(∅). Now let ϕ be a way of player TWO. If ϕ(U0) = V0 then V0 ⊂ U0 and V0 is a finite subfamily of U0. Then there is some finite subset D0 ⊂ X such that V0 = {N0(x) : x ∈ D0}. Let U1 = {N1(x) ∪ N0(D0) : x ∈ X\N0(D0)} where N0(D0) = S{N0(x) : x ∈ D0} then U1 is an open cover of X. Let U1 = σ(V0). Then TWO responds with the finite subfamily V1 of U1. We denote V1 = ϕ(U0, U1). So there is a finite set D1 ⊂ X\N0(D0) such that V1 = {N1(x) ∪ N0(D0) : x ∈ D1}.

Now let U2 = {N2(x) ∪ N1(D1) ∪ N0(D0) : x ∈ X\(N0(D0) ∪ N1(D1))} and U2 is an open cover of X. Let U2 = σ(V0, V1). This round TWO responds with the finite subfamily V2 of U2 and denoted by V2 = ϕ(U0, U1, U2). So there exists a finite set D2 ⊂ X\N0(D0) ∪ N1(D1) such that V2 = {N2(x) ∪ N1(D1) ∪ N0(D0) : x ∈ D2}. The players proceed in this way and for k ∈ ω and k ≥ 1 we have (U0, V0; U1, V1; U2, V2; ...; Uk, Vk) and a finite sequence (Di : i ≤ k) of finite subsets of X satisfying the following conditions:

• Ui = σ(V0, ..., Vi−1) = {Ni(x) ∪ ((∪{Nj(Dj ) : j < i}) : x ∈ X\∪ {Nj(Dj ) : j < i}} for each 0

• Di ⊂ X\ S{Nj(Dj) : j < i} for each 0 ≤ i ≤ k.

• Vi = {Ni(x) ∪ (∪{Nj(Dj) : j < i}) : x ∈ Di} for each 0 ≤ i ≤ k.

• Vi = ϕ(U0, ..., Ui) for each 0 ≤ i ≤ k.

If Uk+1 = {Nk+1(x)∪(∪{Nj (Dj) : j ≤ k}) : x ∈ X\∪{Nj (Dj) : j ≤ k}} then Uk+1 is an open cover of X.

Let Uk+1 = σ(V0, ..., Vk). Thus TWO responds with a ﬁnite subfamily Vk+1 of Uk+1 and there is a ﬁnite subset Dk+1 ⊂ X\ ∪ {Nj(Dj) : j ≤ k} such that Vk+1 = {Nk+1(x) ∪ (∪{Nj(Dj) : j ≤ k} : x ∈ Dk+1}.

If we proceed we have a play (U0, V0; U1, V1; ...; Uk, Vk; ...) such that Uk = σ(V0, ..., Vk−1) and σ is a strategy for ONE. Apply the fact that X is almost

5 ω Menger ONE does not have a winning strategy in Gfin(O, O) by [6, Theorem 29]. So this strategy can not be a winning strategy and ϕ be a winning strategy for TWO. Thus ONE concludes that S{∪Vk : k ∈ N} = X

Here Vk = {Nk(x) S(∪{Nj(Dj) : j < k}) : x ∈ Dk}. S Vk = S{Nj(Dj) : j ≤ k} = S{Nj(x) : x ∈ Dj, j ≤ k} for each k ∈ ω thus S Vk = S{Nj(x) : x ∈ Dj, j ≤ k} for each k ∈ ω . We have now X = S{Nn(x) : x ∈ Dn,n ∈ N} and Dn is a ﬁnite subset of X such that Dn ⊂ X\ S{Nj(Dj) : j

Now to prove the suﬃciency: Let (Un : n ∈ ω) be a sequence of open covers of X and let n ∈ ω. For each x ∈ X there is some U(n,x) ∈ Un such that x ∈ U(n,x). Let Nn(x) = U(n,x) for each x ∈ X. Thus Nn = {U(n,x) : x ∈ X} is a neighborhood assignment for X.

By the hypothesis there is a ﬁnite subset Dn of X such that X = S{Nn(x) : x ∈ Dn,n ∈ ω}, D = S{Dn : n ∈ ω} is a closed discrete subspace of S{Nn(x) : x ∈ Dn,n ∈ N}. Next set Vn = {Nn(x) : x ∈ Dn} for each n. The sequence Vn is a ﬁnite subfamily of Un and X = S{S Vn : n ∈ ω} so that X is almost Menger.

Corollary 2.5 Every Lindel¨of almost Menger space is an open-dense almost D-space.

Proof. Let N be any neighborhood assignment for X. For each n ∈ ω we let Nn = N. So(Nn : n ∈ ω) is a sequence of neighborhood assignments of X. By the Theorem 2.4, there exists a finite subset Dn ⊂ X for each n ∈ ω such that X = S{Nn(x) : x ∈ Dn,n ∈ ω} and D = S{Dn : n ∈ ω} is a closed discrete subspace of S{Nn(x) : x ∈ Dn,n ∈ ω}. So X = S{N(x) : x ∈ D}. Thus X is open-dense almost D-space. We conclude this section by considering the relationship between almost Alster and open dense almost D-spaces. Alster spaces were introduced to characterize the class of productively Lindelöf spaces. We recall from [1] that a family F of Gδ subsets of a space X is a Gδ compact cover if for each compact subset K of X a set F ∈ F such that K ⊂ F . X is an Alster space if each Gδ compact cover of the space has a countable subset that covers X. We note that Alster spaces are Menger. In [13] Kocev defined the almost Alster spaces: A topological space X is almost Alster if each Gδ-compact cover of X has the countable subset V such that S{V : V ∈ V} = X. It is shown that almost Alster spaces are

6 almost Menger [13, Theorem 3.10]. Thus we immediately have the following result:

Corollary 2.6 Let X be a Lindel¨of space. Every almost Alster space is open-dense almost D-space.

Remark 2.7 The hypothesis that X is Lindel¨of in Theorem 2.4, Corollary 2.5 and 2.6 is not necessary. Similarly to the proof of Theorem 12 in [6], we can prove that in some models of set theory there is a non-Lindel¨of ω space X for which TWO has a winning strategy in G1 (O, O), and, hence, in ω Gfin(O, O).

Remark 2.8 In [13] Kocev formulated a theorem [13, Theorem 4.3]: “Let X be a Lindel¨of space. If X is almost Menger, then X is an almost D- space.” But Kocev proved only that if X is Lindel¨of and almost Menger, then X is an open-dense almost D-space. We do not know whether Kocev’s hypothesis [13, Theorem 4.3] is correct.

3 Weakly Menger and open-dense weakly D-spaces

In this section we give the characterization of weakly Menger spaces as similar to characterization of almost Menger spaces as being done in previous section.

Theorem 3.1 Let X be a Lindel¨of space. X is weakly Menger, if and only if for each sequence (Nn : n ∈ ω) of neighborhood assignments for X there exists for each n ∈ ω a ﬁnite subset Dn of X such that S{Nn(x) : x ∈ Dn,n ∈ ω} is a dense subset of X and D = S{Dn : n ∈ ω} is closed discrete subspace of S{Nn(x) : x ∈ Dn,n ∈ ω}.

Proof. The proof proceed like Theorem 2.4 (⇒). At one point in the ω proof of Theorem 2.4 we use the game Gfin(O, O). Instead of using this ω game we apply the game Gfin(O, D) which means that there is a winning strategy ϕ for player TWO then S{S Fk : k ∈ ω} = X and we obtain X = S{Nn(x) : x ∈ Dn,n ∈ ω} for a closed discrete subspace D of S{Nn(x) : x ∈ Dn,n ∈ ω} where D = S{Dn : n ∈ ω}. (⇐) Let (Un : n ∈ ω) be a sequence of open covers of X. Nn = {Nn(x) : x ∈ X} is a neighborhood assignment for X where Nn(x) = U(n,x) and U(n,x) ∈ Un for each x ∈ X. Thus there is a ﬁnite Dn of X such that X = S{Nn(x) : x ∈ Dn,n ∈ ω} and D = S{Dn : n ∈ ω} is a closed discrete

7 subspace of S{Nn(x) : x ∈ Dn,n ∈ ω}. Let Vn = {Nn(x) : x ∈ Dn} for each n, then Vn is a ﬁnite subfamily of Un and X = S{S Vn : n ∈ ω}. The following result is clear from deﬁnitions and we omit the proof.

Corollary 3.2 Every Lindel¨of weakly Menger space is an open-dense weakly D-space.

Now we will look at the relationship between weakly Alster spaces and open-dense weakly D-spaces. First we recall the notion of weakly Alster space which was deﬁned in [7]. Before giving the deﬁnition we need the following classes of covers of a topological space [7]:

GK : The family consisting of sets U where X is not in U, each element of U is a Gδ-set and for each compact set C ⊂ X there is U ∈ U such that C ⊆ U.

GD: The collection of sets U where each element of U is a Gδ-set and S U is dense in the space.

Deﬁnition 3.3 [7] A space X is weakly Alster if each member of GK has a countable subset which is a member of GD.

Note that a space X is weakly Alster if and only if X has the property S1(GK , GD) [7, Lemma 42]. The followings are immediate and we omit the proofs.

Proposition 3.4 Every weakly Alster space is weakly Menger.

Corollary 3.5 Let X be a Lindel¨of space. Every weakly Alster space is open-dense weakly D-space.

Remark 3.6 The hypothesis that X is Lindel¨of in Theorem 3.1, Corollary 3.2 or 3.5 is not necessary: By Theorem 12 in [6] it is consistent that there is ω a non-Lindel¨of space X for which TWO has a winning strategy in G1 (O, D), ω and, hence, in Gfin(O, D).

We end this paper by summarizing the relationships between considered notions for Lindel¨of spaces in the next diagram.

8 Alster / almost Alster / weakly Alster

Menger / almost Menger / weakly Menger

o-d D-space / o-d almost D-space / o-d weakly D-space O O O

D-space / almost D-space / weakly D-space

Remark 3.7 Note that every Alster space is Hurewicz [21], and a Hurewicz space is Menger. A Menger subspace of the real line which is not Hurewicz (is not Alster) [22, 23]. Note also that the space P of irrationals is Lindel¨of and D-space but not Menger. In [12] it was shown that in regular spaces Menger property and almost Menger property are equivalent thus the space P of irrationals is a D-space but not almost Menger.

In [6] the authors asked whether there is a Lindel¨of space which is not weakly Menger. Sakai answered this question in the aﬃrmative [18, Theorem 2.5].

Problem 3.8 Is Sakai’s example a D-space? (or may be a type of D-space).

References

[1] K. Alster, ‘On the class of all spaces of weight not greater than ω1 whose cartesian product with every Lindel¨of space is Lindel¨of ’, Fund. Math. 129(2) (1988), 133–140.

[2] A.V.Arhangel’skii and R. Buzyakova, ‘Addition theorems and D- spaces’, Comment. Mat. Univ. Car. 43(2002), 653–663.

[3] L. Aurichi, ‘D-spaces, topological games, and selection principles’, Topol. P. 36(2010), 107–122.

9 [4] L. Aurichi, R. Dias, ‘Topological games and Alster spaces’, Can. Math. Bull. 57(2014), 683–696.

[5] L. Aurichi, L. Zdomskyy, ‘Internal characterizations of productively Lindel¨of spaces’, Proc. Amer. Math. Soc. 146(2018), 3615–3626.

[6] L. Babinkostova, B. A. Pansera, M. Scheepers, ‘Weak covering properties and inﬁnite games’, Topol. Appl. 159:17 (2012), 3644–3657.

[7] L. Babinkostova, B. A. Pansera, M. Scheepers, ‘Weak covering properties and selection principles’, Topol. Appl. 160:18 (2013), 2251–2271.

[8] E.K. van Douwen and W. Pfeﬀer, ‘Some properties of the Sorgenfrey line and related spaces’, Paciﬁc J. Math. 81(1979), 371–377.

[9] T. Eisworth, ‘On D-spaces, in: Open Problems in Topology II, (E. Pearl ed.)’, Elsevier, Amsterdam (2007), 129–134.

[10] G. Gruenhage, ‘A survey of D-spaces’, Contemp. Math., 533(2011), 13–28.

[11] W. Hurewicz, ‘Uber¨ die Verallgemeinerung des Borelschen Theorems’, Math. Z. 24 (1925), 401–421.

[12] D. Kocev, ‘Almost Menger and related spaces’, Matematicˇki Vesnik 61(2009), 173–180.

[13] D. Kocev, ‘Menger-type covering properties of topological spaces’, Filo- mat 29:1(2015), 99–106.

[14] Lj.D.R. Koˇcinac, ‘Star-Menger and related spaces II’, Filomat 13(1999), 129–140.

[15] K. Menger, ‘Einige Uberdeckungss¨atze¨ der Punktmengenlehre’, Sitzungsberichte Abt. 2a, Mathematik, Astronomie, Physik, Meteorolo- gie und Mechanik (Wiener Akademie, Wien) 133(1924), 421–444.

[16] B.A. Pansera, ‘Weaker forms of the Menger property’, Quest. Math. 35(2012), 161–169.

[17] L.X. Peng and Z.Shen, ‘A note on the Menger(Rothberger) property and topological games’, Topol. Appl. 199(2016), 133–144.

[18] M. Sakai, ‘Some weak covering properties and inﬁnite games’, Cent.Eur. J. Math. 12(2) (2014), 322–329.

10 [19] M. Scheepers, “Combinatorics of open covers I: Ramsey Theory”, Topol. Appl. 73(1996), 241–266.

[20] P. Szeptycki and Y. Yajima, ‘Covering Properties, Recent Progress in General Topology III (K.P. Hart, J.van Mill, P.Simon ed.)’ Atlantis Press (2014) 801–824.

[21] F.D. Tall, ‘Lindel¨of spaces which are Menger, Hurewicz, Alster, pro- ductive, or D’, Topol. Appl. 158(2011), 2556–2563.

[22] B. Tsaban, ‘Mengers and Hurewiczs Problems: Solutions from The Book and reﬁnements. In Set Theory and its Applications’, Contemp. Math., ed. L. Balinkostova, A. Caicedo, S. Geschke, M. Scheepers, (2011), 211–226.

[23] B. Tsaban, L. Zdomskyy, ‘Scales, ﬁelds, and a problem of Hurewicz’, J. European Math. Soc. 10(2008), 837–866.