arXiv:2012.06668v2 [math.GN] 12 Jul 2021 egrpoet;CutbeFnTgtes eetv separ Selective Tightness; Fan Countable property; Menger 1. Theorem then collection, other some is Section [ this from In theorems topology. translation the Vietoris using the space relationship with corresponding endowed its subsets of compact theorems one [ and general of space some 40 a prove Th on concisely games. games play requiring to selection to of used up Instead are lined be functions law. can monotonicity which of functions kind translation new pr a selection created the defining collections betwee implications the draw between to relations one allow laws monotonicity The inly ups htteeeit bijection a exists there that suppose tionally, hnteslcingm endby defined game selection the Then hseuvlnehlswehrtegmsuesnl selecti single 2. use Theorem games the whether holds equivalence This e od n phrases. and words Key 2020 Date described vaguely are paper this from results main three The n[ In i h eeaie ohegrMne aeon game Rothberger/Menger generalized The (i) • • 16 2 uy1,2021. 13, July : ahmtc ujc Classification. Subject Mathematics dnie eainhpbtenacaso eeto game selection of class a between relationship a identifies ] rtesrnt ftesrtg en considered. being strategy game the the str of of extend strength length to the the g or of able selection regardless are u works between we both process connections technique extension topologies, new to Fell a constructs and Using topological Vietoris sets. the closed are sep selective of with and work tightness fan we of countable that of principles games selection as the well games as of these versions for strengths abstract game various primarily of selection strategies use We with work others. we and Li, Koˇcinac, hypers Z. Lj.D.R. common for of principles selection about results known eeto rnilso n fishprpcs euiytec unify We hyperspaces. its of one on principles selection Abstract. C A aepae ntegnrlzduprFl topology, Fell upper generalized the on played game 2 p 0 cepr rvdwa erfre oa monotonicit as to referred he what proved Scheepers 10] pp. , o oainaddefinitions. and notation for ⇐⇒ A ∈ ⇐⇒ C ∈ i oooia space topological a Fix ups that Suppose nti ae ecnetslcinpicpe natopologic a on principles selection connect we paper this In β β [ [ C HITPE AUAAADJRDHOLSHOUSER JARED AND CARUVANA CHRISTOPHER A EETO AE NHYPERSPACES ON GAMES SELECTION ] eeto ae;Hprpcs eltplg;Veoi top Vietoris topology; Fell Hyperspaces; games; Selection ] D ∈ B ∈ A . and , , S B 1 , ( B C , , D C A 42,54D80. 54D20, = ) X r olcin othat so collections are 1. and Then . ⇒ Introduction C β n h aedfie by defined game the and , S 1 : ( 1 S A 3 ability. ]. , → A C ) napirppr[ paper prior a In )). X ohegr egr n ueiztype, Hurewicz and Menger, Rothberger, nqe n eeaieterm rmthe from theorems generalize and hniques S msrltdt hs osrcs This constructs. those to related ames seuvln oteSlcieSeparability Selective the to equivalent is aecntutos hsicue results includes This constructions. pace rblt.Tehprpc constructions hyperspace The arability. h eeto ae ewr ihare with work we games selection The . h ido eeto en performed, being selection of kind the , ognrlz eeto rnilsand principles selection generalize to s nil freape if example: (for inciple B n rfiieselections. finite or ons eeto rnilsfo h subset the from principles selection n ihtefloigfeatures: following the with pradfl,gnrtdb ideals by generated full, and pper ihfradcnetosbetween connections aightforward S ogotta ae h translation the paper that roughout fcniuu ucin.Theorem functions. continuous of s ae ese oeaoaeo that on elaborate to seek we paper eadn h oncin between connections the regarding ieticuin hsnwlwuses law new this inclusion, direct ⊆ C nasaeadtesaeo its of space the and space a on s eo.W ietterae to reader the direct We below. asfrslcinprinciples. selection for laws y lsaet corresponding to space al S A B and 3 lg;Hrwc property; Hurewicz ology; and ,tecretauthors current the ], S D ⊆ D B ⊆ A r equivalent. are S B Addi- . and , C 2 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER
(ii) The generalized local Rothberger/Menger game on X is equivalent to the Countable Fan Tightness game played on the generalized upper Fell topology, and (iii) The generalized Hurewicz game on X is equivalent to a modified Selective Separability game played on the generalized upper Fell topology. Theorem 3. The previous theorem holds between X and the generalized full Fell topology if the covers of X are replaced by AF -covers. Significant prior work on selection principles for the upper Fell topology and upper Vietoris topology was done by Di Maio, Koˇcinac, and Meccariello in 2015 [6]. In 2016, Li developed the right definitions to work on selection principles for the full Fell topology and full Vietoris topology [12]. Aside from generalizing the results of [6] and [12] for selection principles to selection games, we also provide a unifying infrastructure which highlights the similarities, not only in the results, but in the arguments employed. In Section 2 we provide definitions for most of the topological concepts we will be discussing. We also summarize some of the relationships between those concepts. In Section 3, we elaborate on the strategy translation results of [3]. The section begins with the most general and technical version of the translation theorem. We then use that to generate less general but more easily applied versions of the translation theorem. In Section 4 we establish various equivalences involving different kinds of open sets and other classes of sets. Finally, in Section 5, we tie the equivalences of Section 4 to selection principles and selection games using the results of Section 3. As an ending note, in 5.3, we look at some forms of tightness and determine that the results of Section 3 also link to certain selection principles. For general background and notation involving selection principles, see [15] and [10]. Throughout, all ground spaces X are assumed to be Hausdorff (and non-compact).
2. Definitions Definition 1. For a topological space X, we let • TX denote the collection of all proper, non-empty open subsets of X, • [X]<ω denote the collection of all non-empty finite subsets of X, • K(X) denote the collection of all proper, non-empty compact subsets of X, and • F(X) denote the collection of all proper, non-empty closed subsets of X.
Notice that the map U 7→ X \ U, TX → F(X), is a bijection. We will be using this often. Definition 2. Given a topological space X, by an ideal of closed sets we mean a collection A consisting of proper closed sets such that • for all A, B ∈A, if A ∪ B 6= X, then A ∪ B ∈A and • if A ∈A and B ⊆ A is closed, then B ∈A. Examples of ideals of closed sets include • the collection of all finite subsets of a space, • the collection of all compact subsets of a non-compact space, • the collection of closed and real-bounded sets of a space, • the collection of all closed subsets with empty interior inside a Baire space, • the collection of all closed subsets with measure zero in a measure space, and • the collection of all proper closed subsets of a space. 2.1. Types of Covers. Generally, for an open cover U of a topological space X, we say that U is non-trivial provided that X 6∈ U . We let OX denote the collection of all non-trivial open covers of X. If Y ⊆ X, we say that a collection of open sets U is a non-trivial open cover of Y provided that Y ⊆ U and, for each U ∈ U , Y 6⊆ U. The firstS general class of covers we define here generalized the idea of an ω-cover or a k-cover. SELECTION GAMES ON HYPERSPACES 3
Definition 3. For a space X and an ideal of closed sets A, a non-trivial open cover U is an A-cover if, for every A ∈ A, there exists U ∈ U so that A ⊆ U. We let O(X, A) denote the collection of all A-covers of X. We also define Γ(X, A) to be all infinite non-trivial open covers U so that for every A ∈A, {U ∈ U : A 6⊆ U} is finite. Remark 1. Note that • O(X, [X]<ω) is the collection of all ω-covers of X. • O(X, K(X)) is the collection of all k-covers of X. • Γ(X, K(X)) is the collection of all γk-covers of X. A kind of localized cover construction occurs naturally when studying the upper Vietoris and Fell topologies. We generalize that in the following definition. Definition 4. For a space X, Y ⊆ X, and an ideal of closed sets A, a non-trivial open cover U of Y is an A-cover of Y if, for every A ∈A with A ⊆ Y , there exists U ∈ U so that A ⊆ U. We let O(X,Y, A) denote the collection of all A-covers of Y . Remark 2. Note that O(R, (−1, 1), F(R)) is not the same as O((−1, 1), F((−1, 1))). So in general, the localized covers in Definition 4 are not the same thing as the relatively open covers. Notation. Suppose A is a collection of subsets of X. We define • c.A to be the set {X \ A : A ∈ A}. • ¬A to be the complement of A relative to the power set of X. The notion of a groupable cover is used to provide alternate characterizations of the Gerlits-Nagy (∗) property, introduced in [8], and Hurewicz property, introduced in [9], as seen in [11] and [10]. The idea of groupable and weakly groupable are added to the concept of an A-cover in the following definitions. Normally, groupable covers are assumed to be countable. Here we allow the covers to be uncountable. Definition 5. For a space X and an ideal of closed sets A, a non-trivial open cover U is an ω-groupable A-cover if there is a partition ϕ : U → |U | so that • ϕ−1(ξ) is finite for all ξ < |U |, and −1 • for every A ∈ A, there is a ξ0 < |U | so that for all ξ > ξ0, there is a Uξ ∈ ϕ (ξ) so that A ⊆ Uξ. Note that if U is countable, then ω-groupable corresponds to the notion of groupability as discussed in [6]. We include the ω modifier to indicate that the partition consists of finite sets. We will observe this convention in forthcoming definitions as well. We let Ogp(X, A) denote the collection of all ω-groupable A-covers of X. Definition 6. For a space X and an ideal of closed sets A, a non-trivial open cover U is a weakly ω-groupable A-cover if there is a partition ϕ : U → |U | so that • ϕ−1(ξ) is finite for all ξ < |U |, and • for every A ∈A, there is a ξ < |U | so that A ⊆ ϕ−1(ξ). Note that if U is countable, then being weakly ω-groupableS corresponds to the notion of being weakly groupable as discussed in [1]. We let Owgp(X, A) denote the collection of all weakly ω-groupable A-covers of X.
In [12], Li defined cover types cV and kF which captured features of the full Vietoris and Fell topologies, respectively. Let KF (X) denote the kF -covers and CV (X) denote the cV -covers of X. In the following definition we establish a cover type which generalizes both KF (X) and CV (X). Definition 7. For a space X and an ideal of closed sets A, a non-trivial open cover U is an AF -cover iff for all A ∈ A and all finite sequences of open sets V1,...,Vn ⊆ X with the property that (X \ A) ∩ Vj 6= ∅ for 1 6 j 6 n, there are an open set U ∈ U and a finite set F ⊆ X so that 4 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER
• A ⊆ U, • F ∩ Vj 6= ∅ for 1 6 j 6 n, and • F ∩ U = ∅. Let OF (X, A) denote the AF -covers of X.
Note that, for any collection A, OF (X, A) ⊆ O(X, A). We have chosen the subscript F here to reflect the added condition regarding finite sets and to remind the reader that these covers are used to study the Fell topology.
Proposition 4. Fix a space X. Then KF (X)= OF (X, K(X)) and CV (X)= OF (X, F(X)).
Proof. The fact that KF (X) = OF (X, K(X)) is immediate from Definition 2.1 of [12]. We show that CV (X)= OF (X, F(X)). Suppose U ∈ CV (X). Let A ⊆ X be a closed set and V1,...,Vn ⊆ X be open sets with the property that (X \ A) ∩ Vj 6= ∅ for 1 6 j 6 n. Set Wj = (X \ A) ∩ Vj. Then W1,...,Wn are non-empty open sets, so we can find a finite set F ⊆ X and U ∈ U so that F ∩ Wj 6= ∅ for n 1 6 j 6 n, j=1(X \ Wj) ⊆ U, and F ∩ U = ∅. n Since jT=1 Wj ⊆ (X \ A), S n n A ⊆ X \ Wj = (X \ Wj) ⊆ U. j[=1 j\=1 This shows that U ∈ OF (X, F(X)). U F n Now suppose that ∈ OF (X, (X)). Let V1,...,Vn ⊆ X be open sets. Set A = j=1(X \ Vj). Then we can find U ∈ U and F ⊆ X finite so that A ⊆ U, F ∩Vj 6= ∅ for 1 6 j 6 n, andT F ∩U = ∅. n U Thus j=1(X \ Vj) ⊆ U and is a cV -cover. RecallT that all finite sets are compact and that therefore all k-covers are ω-covers. This is part of a more general trend that we formalize below. Definition 8. Recall that a collection B refines A, denoted B≺A, if, for every B ∈B, there exists A ∈A so that B ⊆ A. Proposition 5. For ideals of closed sets A and B, the following are equivalent. (i) B≺A (ii) B⊆A (iii) O(X, A) ⊆ O(X, B) (iv) OF (X, A) ⊆ OF (X, B). Proof. The equivalence of (i) and (iii) was demonstrated in Lemma 6 of [3]. We prove the equivalence of (i) and (ii). It is immediate that that B⊆A implies B≺A. Now, if B⊆A and B ∈ B, let A ∈ A be so that B ⊆ A. Then, since B is closed and A is an ideal of closed sets, B ∈A. We now prove the equivalence of (ii) and (iv). Suppose B⊆A and let U ∈ OF (X, A). Let B ∈B and V1,V2,...,Vn be open so that Vj \ B 6= ∅ for each j. Notice that B ∈A. Since U ∈ OF (X, A) and B ∈A, there exists a U ∈ U with the desired properties. By way of the contrapositive, suppose B 6⊆ A. Let B ∈ B be so that B∈ / A. Notice that since A is an ideal, this means that B 6⊆ A for all A ∈ A. Choose xA ∈ B \ A for all A ∈ A and set UA = X \ {xA}. Consider U = {U ∈ TX : (∃A ∈A)[U ⊆ UA]}. To see that U 6∈ OF (X, B), we note that U 6∈ O(X, B). To see that U ∈ OF (X, A), let A ∈ A and V1,V2,...,Vn be open sets with Vj \ A 6= ∅ for each j. Let xj ∈ Vj \ A for each j = 1, 2,...,n. Then consider F = {xA,x1,x2,...,xn} and U = X \ F . Observe that A ⊆ U, F ∩ Vj 6= ∅ for each j, and that F ∩ U = ∅. Since U ∈ U , we see that U ∈ OF (X, A). SELECTION GAMES ON HYPERSPACES 5
Just as localized A-covers show up when studying the upper hyperspace topologies, localized versions of the AF -covers naturally occur when studying the full hyperspace topologies. Li defined localized versions of KF and CV in Definitions 2.2 and 2.4 of [12]. Let KF (X,Y ) denote the kF - covers of Y and CV (X,Y ) denote the cV -covers of Y . The following definition generalizes these two notions. Definition 9. For a space X, non-empty Y ⊆ X and an ideal of closed sets A, a non-trivial open cover U of Y is an AF -cover of Y iff for all A ∈ A with A ⊆ Y and all finite sequences of open sets V1,...,Vn ⊆ X with the property that (X \ Y ) ∩ Vj 6= ∅ for 1 6 j 6 n, there are an open set U ∈ U and a finite set F ⊆ X so that • A ⊆ U, • F ∩ Vj 6= ∅ for 1 6 j 6 n, and • F ∩ U = ∅.
Let OF (X,Y, A) denote the AF -covers of Y . Proposition 6. Fix a space X, non-empty Y ⊆ X, and a non-trivial open cover U of X. Then KF (X,Y )= OF (X,Y, K(X)) and CV (X,Y )= OF (X,Y, F(X)).
Proof. The fact that KF (X,Y )= OF (X,Y, K(X)) follows immediately from Definition 2.2 of [12]. So we address CV (X,Y )= OF (X,Y, F(X)). Suppose U ∈CV (X,Y ). Let A ⊆ Y be closed and V1,V2,...,Vn be open with the property that Vj \ Y 6= ∅ for each j. Set W0 = X \ A and, for each j = 1, 2,...,n, Wj = Vj \ A. Notice that each Wj is a non-empty open set. Moreover, Wj \ Y 6= ∅ for each j. Notice that n (X \ Wj) ⊆ X \ W0 = A ⊆ Y j\=0 U n so we can find U ∈ and a finite set F ⊆ X so that j=0(X \ Wj) ⊆ U, F ∩ Wj 6= ∅ for each j, n and F ∩U = ∅. As Wj ⊆ X \A, we see that A ⊆ X \WjTfor each j. Hence, A ⊆ j=0(X \Wj) ⊆ U. That is, U ∈ OF (X,Y, F(X)). T U F n Now, suppose ∈ OF (X,Y, (X)). Let V1,V2,...,Vn be open sets with j=1(X \ Vj) ⊆ Y n and Vj \ Y 6= ∅ for each j. Let A = j=1(X \ Vj) and notice that A is closed.T Then we can find U ∈ U and finite F ⊆ X so that A ⊆TU, F ∩ Vj 6= ∅ for each j, and F ∩ U. This establishes that U ∈CV (X,Y ). gp gp Following Definitions 5.1 and 5.3 of [12], where the classes KF of kF -groupable covers and CV of cV -groupable covers are introduced, we define the general notion of an F -groupable AF -cover. Definition 10. For a space X, an ideal A of closed sets, and a non-trivial open cover U of X, we say U is ω-F -groupable if there is a function ϕ : U → |U | so that • ϕ−1(ξ) is finite for all ξ < |U | and • for all A ∈ A and all finite sequences of open sets V1,...,Vm ⊆ X with the property that (X \ A) ∩ Vj 6= ∅ for 1 6 j 6 m, there is a ξ0 < |U | so that for all ξ > ξ0, there is an open −1 set Uξ ∈ ϕ (ξ) and a finite set Fξ ⊆ X so that ⋄ A ⊆ Uξ, ⋄ Fξ ∩ Vj 6= ∅ for 1 6 j 6 m, and ⋄ Fξ ∩ Uξ = ∅. gp Let OF (X, A) denote the ω-F -groupable AF -covers of X. gp gp K gp gp F Proposition 7. Fix a space X. Generally, KF (X) ⊆ OF (X, (X)) and CV (X) ⊆ OF (X, (X)). U U gp K U gp In the case that we have a countable family of open sets, ∈ OF (X, (X)) =⇒ ∈ KF (X) U gp F U gp and ∈ OF (X, (X)) =⇒ ∈CV (X). 6 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER
gp gp K Proof. The fact that KF (X) ⊆ OF (X, (X)) follows from the observation that Definition 5.1 U gp gp gp F of [12] necessitates that ∈ KF (X) be countable. To see that CV (X) ⊆ OF (X, (X)), let U gp U −1 ∈ CV (X). By Definition 5.3 of [12], we have ϕ : → ω so that ϕ (n) is finite for each n and some other properties hold. Let A ⊆ X be closed and V1,V2,...,Vm be open so that Vj \ A 6= ∅ for all j. Set Wj = Vj \ A and notice that each Wj is a non-empty open set. Then −1 <ω we can find n0 ∈ ω so that, for each n > n0, there exist Un ∈ ϕ (n) and Fn ∈ [X] so that m m j=1(X \ Wj) ⊆ Un, Fj ∩ Wj 6= ∅ for each j, and Fn ∩ Un = ∅. Since j=1 Wj ⊆ X \ A, we see that m U gp F AT ⊆ j=1(X \ Wj) ⊆ Un. This demonstrates that ∈ OF (X, (X)).S U gp K U gp If T ∈ OF (X, (X)) is countable, then we see that ∈ KF (X) by [12, Definition 5.1]. So U gp F U suppose ∈ OF (X, (X)) is a countable. Let ϕ : → ω satisfy the membership criteria for gp F −1 U OF (X, (X)). Notice that {ϕ (n) : n ∈ ω} represents as a union of infinitely many finite sets. m Let V1,V2,...,Vm be non-empty open sets and notice that A = j=1(X \ Vj) is a proper closed subset of X. Moreover, (X \ A) ∩ Vj 6= ∅ for each j. Then we obtainT n0 ∈ ω so that, for every −1 <ω n > n0, there exists U ∈ ϕ (n) and F ∈ [X] so that
m (X \ Vj)= A ⊆ U, j\=1 U gp F ∩ Vj 6= ∅ for each j, and F ∩ U = ∅. That is, ∈CV (X). Definition 11. For a space X, an ideal A of closed sets, and a non-trivial open cover U of X, we say U is weakly ω-F -groupable if there is a function ϕ : U → |U | so that • ϕ−1(ξ) is finite for all ξ < |U | and • for all A ∈ A and all finite sequences of open sets V1,...,Vm ⊆ X with the property that (X \ A) ∩ Vj 6= ∅ for 1 6 j 6 m, there is a ξ < |U | and a finite set F ⊆ X so that ⋄ A ⊆ ϕ−1(ξ), ⋄ F ∩ VSj 6= ∅ for 1 6 j 6 m, and ⋄ F ∩ ϕ−1(ξ)= ∅. wgp S Let OF (X, A) denote the weakly ω-F -groupable AF -covers of X. wgp wgp K wgp wgp F Proposition 8. Fix a space X. Then KF (X) ⊆ OF (X, (X)) and CV (X) ⊆ OF (X, (X)). U U wgp K U wgp In the case that is a countable family of open sets, ∈ OF (X, (X)) =⇒ ∈ KF (X) U wgp F U wgp and ∈ OF (X, (X)) =⇒ ∈CV (X). wgp wgp K Proof. The fact that KF (X) ⊆ OF (X, (X)) follows immediately from Definition 5.5 of [12] U wgp and the observation that every ∈ KF (X) must be countable. wgp wgp F U wgp U To see that CV (X) ⊆ OF (X, (X)), let ∈CV (X) and let ϕ : → ω be the partition as in Definition 5.7 of [12]. Note that |U | = ω. Let A ⊆ X be a proper closed sets and V1,V2,...,Vm be open so that Vj \ A 6= ∅ for each j. Set Wj = Vj \ A for each j. Then, we can find n ∈ ω and a m −1 −1 finite set F ⊆ X so that j=1(X \ Wj) ⊆ ϕ (n), F ∩ Vj 6= ∅ for each j, and F ∩ ϕ (n)= ∅. m U wgp F Since A ⊆ j=1(X \ Wj),T we see that ∈S OF (X, (X)). S U wgp K Let ∈T OF (X, (X)) be countable and notice that Definition 5.5 of [12] is clearly satisfied. U wgp F U So let ∈ OF (X, (X)) be countable. Let ϕ : → ω be as specified in the definition and m V1,V2,...,Vm be arbitrary proper non-empty open sets. Notice that A = j=1(X \ Vj) is a closed set. Since (X \ A) ∩ Vj 6= ∅ for each j, we can find n0 ∈ ω and a finite setTF ⊆ X that satisfy the criteria listed above. This satisfies Definition 5.7 of [12].
The following proposition and examples show how the different cover types defined in this section relate to each other. SELECTION GAMES ON HYPERSPACES 7
Proposition 9. For a space X and an ideal A consisting of closed sets,
gp wgp Γ(X, A) ⊆ O (X, A) ⊆ O(X, A) ⊆ O (X, A) ⊆ OX ⊆ ⊆ ⊆ gp wgp OF (X, A) ⊆ OF (X, A) ⊆ OF (X, A) Example 1. In general, Γ(X, A) is a proper subset of Ogp(X, A). <ω −n −n Consider X = R and A = [R] . Let Un = (−n − 2,n + 2) and Vn = (−2 , 2 ) for each n ∈ ω. Notice that gp U = {Un : n ∈ ω} ∪ {Vn : n ∈ ω} ∈ O (X, A) \ Γ(X, A). Example 2. In general, Ogp(X, A) is a proper subset of O(X, A).
Consider ω1 with the discrete topology, A the ideal of finite subsets, and U consisting of precisely the set of finite subsets of ω1. Note that U ∈ O(ω1, A). By way of contradiction, let φ : U → ω1 be −1 so that φ (α) is a finite collection of finite subsets for each α<ω1 that satisfies the groupability criterion. Since φ−1(α) is a finite family of finite sets, we assume that φ−1(α) is a finite subset −1 of ω1. For n ∈ ω, let αn < ω1 be so that, for all β > αn, {k : k j − 1 j + 1 n n Un = , : −3 Definition 13. Fix a space X. Consider the space of closed sets F(X) with topology T . Then D ⊆ F(X) is weakly ω-groupable if there is a function ϕ : D → |D| so that • ϕ−1(ξ) is finite for all ξ < |D| and • for all open V ⊆ F(X), there is an ξ < |D| so that ϕ−1(ξ) ∈ V . wgp F Let DF(X) denote the weakly ω-groupable dense subsets ofT(X). 2.3. The Hyperspace Topologies. The Vietoris and Fell hyperspace topologies are probably the most commonly studied hyperspace topologies. Originally, the Fell topology, introduced in [7], was studied in the context of functional analysis and C∗-algebras. For a detailed study of the Vietoris topology, see [13]. We present a general version of these topologies in this section. Definition 14. Suppose X is a topological space and A consists of closed sets. The upper A- F T topology or co-A topology on (X), denoted A+ , is generated by subbasic open sets of the form (X \ A)+ = {F ∈ F(X) : F ⊆ X \ A} = {F ∈ F(X) : F ∩ A = ∅} F F + F along with (X). If A is an ideal, then these are the basic open sets. Set (X, A ) = ( (X), TA+ ). • The upper Fell topology (or co-compact topology), TF + is the case where A is the collection F + F of compact subsets of X. Set (X, F ) = ( (X), TF + ). • The upper Vietoris topology, TV + is the case where A is the collection of closed subsets of F + F X. Set (X,V ) = ( (X), TV + ). • The co-finite topology, TZ+ is the case where A is the collection of finite subsets of X. Set F + F (X,Z ) = ( (X), TZ+ ). Definition 15. Suppose X is a topological space. Let A be an ideal consisting of closed subsets of X. The topology on F(X) generated by A, denoted TA, has basic open sets of the form [A; V1,...,Vn]= {F ∈ F(X) : F ∩ A = ∅ and F ∩ Vj 6= ∅ for 1 6 j 6 n} where A ∈A and V1,...,Vn ⊆ X are open. Set F(X, A) = (F(X), TA). • The Fell topology, TF is the case where where A is the collection of compact subsets of X. Set F(X, F ) = (F(X), TF ). • The Vietoris topology, TV is the case where where A is the collection of closed subsets of X. Set F(X,V ) = (F(X), TV ). One ought to notice that the Vietoris topology in this context is defined on the space of proper, non-empty closed sets and not just on the space of non-empty compact subsets of X. Proposition 10. Suppose X is a topological space. Let A be an ideal consisting of closed subsets of X. If the basic open set [A; V1,...,Vn] in F(X, A) is non-empty, then Vj ∩ (X \ A) 6= ∅ for all j. Proof. Let G ∈ [A; V1,...,Vn]. Then G ⊆ X \ A and G ∩ Vj 6= ∅ for all j. Thus (X \ A) ∩ Vj 6= ∅ for all j. Lemma 11. If B⊆A are ideals of closed sets in a space X, then • TB+ ⊆ TA+ and • TB ⊆ TA. Proof. Consider an open set in F(X, B+) which is necessarily of the form (X \B)+ for B ∈B. Since B ∈A, we see that (X \ B)+ is open in F(X, A+). Now suppose we have an open set U in F(X, B). Let F ∈ U be arbitrary and let B ∈ B and V1,...,Vn open in X be so that F ∈ [B; V1,...,Vn] ⊆ U. Since B ∈ A, notice that [B; V1,...,Vn] is a TA neighborhood of F and, as F was chosen to be arbitrary, U is open in F(X, A). SELECTION GAMES ON HYPERSPACES 9 2.4. Networks. Recall the notion of a π-network. Definition 16. For a space X and Y ⊆ ℘(X), Y is said to be a π-network if, for every non-empty open subset U of X, there exists some Y ∈ Y so that Y ⊆ U. The following definition is motivated by the Πω and Πk used in [6]. Definition 17. For a family A ⊆ ℘(X), let ΠA(X) denote the set of all π-networks consisting of sets from A. Note that • Πk is ΠK(X) and • Πω is Π[X]<ω . In Section 3 of [12], Li defined a version of π-network that is relevant to the full Vietoris and Fell topologies. These are called πV - and πF -networks. The definition below generalizes both of these. X T <ω Definition 18. Let A be an ideal of closed subsets of X and let A ⊆A× X be defined by the rule hA, V1,...,Vni∈ XA ⇐⇒ (∀j)[Vj \ A 6= ∅]. We say that a collection Y ⊆ XA is a πA,F -network of X if, for each proper open subset U of X, there exists hA, V1,...,Vni ∈ Y and a finite F ⊆ X so that F ∩ Vj 6= ∅ for each j, A ⊆ U, and F F ∩ U = ∅. Let ΠA(X) denote the family of all πA,F -networks of X. Lemma 12. Suppose B⊆A are ideals of closed sets in X. Then • ΠB(X) ⊆ ΠA(X) and F F • ΠB (X) ⊆ ΠA(X). Proof. The first claim is clear. Y F Y Now suppose ∈ ΠB (X) and let U be open in X. Then there exists hB,V1,...,Vni ∈ and <ω Y F F ∈ [X] that satisfy the conditions in the definition. Since B ∈A, we see that ∈ ΠA(X). Proposition 13. Let X be a topological space and A be an ideal of closed subsets of X. Y F Y • ∈ ΠK(X)(X) if and only if is a πF -network, Y F Y • If ∈ ΠF(X)(X), then {hX \ A, V1,...,Vni : hA, V1,...,Vni∈ } is a πV -network, and Y n Y F • If is a a πV -network, then {h j=1(X \ Vj),V1,...,Vni : hV1,...,Vni∈ }∈ ΠF(X)(X). T Proof. The first equivalence comes directly from the definitions in [12]. For the πV -networks, first Y F Y suppose that ∈ ΠF(X)(X). Let U ⊆ X be a proper open set. Then there is hA, V1,...,Vni∈ and F ⊆ X finite so that F ∩ Vj 6= ∅ (for each j), A ⊆ U, and F ∩ U = ∅. Set V0 = X \ A. Then n since (X \ A) ⊆ j=0 Vj, S n n (X \ Vj)= X \ Vj ⊆ A. j\=0 j[=0 So {hX \ A, V1,...,Vni : hA, V1,...,Vni∈ Y } is a πV -network. Now suppose Y is a πV -network. Let U ⊆ X be a proper open set. Then we can find hV1,...,Vni∈ Y and F ⊆ X finite so that • F ∩ Vj 6= ∅ for 1 6 j 6 n, n • j=1(X \ Vj) ⊆ U, and • FT ∩ U = ∅. n Y F This is enough to show that {h j=1(X \ Vj),V1,...,Vni : hV1,...,Vni∈ }∈ ΠF(X)(X). T 10 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER 2.5. Selection Principles and Games. Though games of countable-length are more commonly studied, we extend our considerations to ordinal-length games for more generality. Ordinal-games have been introduced before (see [17]). α Definition 19. Given a set A and another set B, we define the finite selection game Gfin(A, B) for A and B as follows: I A0 A1 A2 ... Aξ . . . II F0 F1 F2 . . . Fξ . . . <ω where Aξ ∈ A and Fξ ∈ [Aξ] for all ξ < α. We declare Two the winner if {Fξ : ξ < α}∈B. ω Otherwise, One wins. We let Gfin(A, B) denote Gfin(A, B). S α Definition 20. Similarly, we define the single selection game G1 (A, B) as follows: I A0 A1 A2 ... Aξ . . . II x0 x1 x2 ... xξ . . . where each Aξ ∈A and xξ ∈ Aξ. We declare Two the winner if {xξ : ξ ∈ α}∈B. Otherwise, One ω wins. We let G1(A, B) denote G1 (A, B). α α For collections A and B and an ordinal α, we refer to G1 (A, B) and Gfin(A, B) as selection games. Definition 21. We define strategies of various strength below. α <α • A strategy for player One in G1 (A, B) is a function σ : ( A) → A. A strategy σ for One is called winning if whenever xξ ∈ σhxζ : ζ<ξi forS all ξ < α, {xξ : ξ ∈ α} 6∈ B. If α player One has a winning strategy, we write I ↑ G1 (A, B). α <α • A strategy for player Two in G1 (A, B) is a function τ : A → A. A strategy τ for Two is winning if whenever Aξ ∈ A for all ξ < α, {τ(A0,...,Aξ) : ξS < α}∈B. If player Two α has a winning strategy, we write II ↑ G1 (A, B). • A predetermined strategy for One is a strategy which only considers the current turn number. We call this kind of strategy predetermined because One is not reacting to Two’s moves, they are just running through a pre-planned script. Formally it is a function σ : α →A. If α One has a winning predetermined strategy, we write I ↑ G1 (A, B). pre • A Markov strategy for Two is a strategy which only considers the most recent move of player One and the current turn number. Formally it is a function τ : A× α → A. If Two has α a winning Markov strategy, we write II ↑ G1 (A, B). S mark • If there is a single element x0 ∈ A so that the constant function with value x0 is a winning strategy for One, we say that One has a constant winning strategy, denoted by α I ↑ G1 (A, B). cnst α These definitions can be extended to Gfin(A, B) in the obvious way. Definition 22. Two games G1 and G2 are said to be strategically dual provided that the following two statements hold: • I ↑ G1 iff II ↑ G2 • I ↑ G2 iff II ↑ G1 Two games G1 and G2 are said to be Markov dual provided that the following two statements hold: • I ↑ G1 iff II ↑ G2 pre mark • I ↑ G2 iff II ↑ G1 pre mark SELECTION GAMES ON HYPERSPACES 11 Two games G1 and G2 are said to be dual provided that they are both strategically dual and Markov dual. Definition 23. The reader may be more familiar with selection principles than selection games. α Let A and B be collections and α be an ordinal. The selection principle S1 (A, B) for a space X is the following property: Given any α-length sequence hAβ : β < αi from A, there exists {xβ : β < α} α with xβ ∈ Aβ for each β < α so that {xβ : β < α}∈B. Sfin(A, B) is similarly defined, but with finite selections instead of single selections. α α Remark 3. In general, S(A, B) holds if and only if I 6↑ G(A, B) where ∈ {1, fin}. See [4, pre Prop. 15]. Definition 24. An even more fundamental type of selection is inspired by the Lindel¨of property. A Let A and B be collections. Then B means that, for every A ∈ A, there exists B ⊆ A so that B ∈B. Scheepers calls this a Bar-Ilan selection principle in [16]. Remark 4. Let A and B be collections, and κ be a cardinal. We let Bκ = {B ∈ B : |B| 6 κ}. κ A Then One fails to have a constant strategy in G1 (A, B) if and only if Bκ holds as shown in [4, Prop. 15]. Remark 5. Note the following relationship between strategies in selection games and other types of selection principles. κ κ κ κ κ II ↑ G(A, B)⇒ II ↑ G(A, B) ⇒ I 6↑ G(A, B) ⇒ I 6↑ G(A, B) ⇒ I 6↑ G(A, B) mark pre cnst m m Sκ (A, B) ⇒ A Bκ 3. Translation Theorems Definition 25. For two selection games G and H, we say that G 6II H if • II ↑ G =⇒ II ↑ H, mark mark • II ↑ G =⇒ II ↑H, • I 6↑ G =⇒ I 6↑ H, and • I 6 ↑ G =⇒ I 6 ↑ H. pre pre Note that 6II is transitive and that, if G 6II H and H 6II G, then G and H are equivalent. In the case that G 6II H and H 6II G, we write G≡H. We start by recalling previous results about translating strategies. Theorem 14 (Theorem 12 of [3]). Let A, B, C, and D be collections and α be an ordinal. Suppose there are functions ←− • T I,ξ : B→A and −→ • T II,ξ : ( A) ×B→ B for each ξ ∈ α, soS that S ←− −→ (Tr1) If x ∈ T I,ξ(B), then T II,ξ(x,B) ∈ B ←− −→ (Tr2) If xξ ∈ T I,ξ(Bξ) and {xξ : ξ ∈ α}∈C, then { T II,ξ(xξ,Bξ) : ξ ∈ α} ∈ D. α α Then G1 (A, C) 6II G1 (B, D). 12 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER A B Remark 6. Note that under the hypotheses of Theorem 14, we also have that α =⇒ α . ←− C D Set A = T I,0(B), and then find C ⊆ A so that |C| 6 α and C ∈C, say C = {xξ : ξ < α}. Define → D = {T II,ξ(xξ,B) : ξ < α}. Then |D| 6 α and D ∈ D. Corollary 15 (Corollary 13 of [3]). Let A, B, C, and D be collections and α be an ordinal. Suppose there is a map ϕ : ( B) × α → ( A) so that • for all B ∈BSand all ξ ← define Bξ = σ(hGη : η<ξi), Aξ = T I,ξ(Bξ) and s(hFη : η<ξi)= Aξ. Now we need only show that α α s is a winning strategy for One in Gfin(A, C). Since σ is a winning strategy for One in Gfin(B, D), we have that Gξ 6∈ D. ξ<α[ → <ω Since Fξ ∈ [Aξ] and Gξ = T II,ξ(Fξ,Bξ), it must be the case that Fξ 6∈ C ξ<α[ by (P2). α Finally, suppose σ is a pre-determined winning strategy for One in Gfin(B, D). Define s : α →A ← α by s(ξ)= T I,ξ(σ(ξ)). To see that s is a winning strategy for One in Gfin(A, C), consider hFξ : ξ < αi → <ω <ω where Fξ ∈ [s(ξ)] for all ξ < α. Let Gξ = T II,ξ(Fξ,σ(ξ)) and notice that Gξ ∈ [σ(ξ)] by (P1). α Since σ is a winning strategy for One in Gfin(B, D), we have that Gξ 6∈ D. ξ<α[ → <ω Since Fξ ∈ [s(ξ)] and Gξ = T II,ξ(Fξ,σ(ξ)), it must be the case that Fξ 6∈ C ξ<α[ by (P2). Corollary 17. Let A, B, C, and D be collections and α be an ordinal. Suppose there are functions ← • T I,ξ : B→A and → • T II,ξ : ( A) ×B→ B for each ξ < α Sso that the followingS two properties hold. ← → (Ft1) If x ∈ T I,ξ(B), then T II,ξ(x,B) ∈ B. ← <ω → (Ft2) If F ∈ T (B ) and F ∈C, then T (x,B ) : x ∈ F ∈ D. ξ I,ξ ξ ξ<α ξ ξ<α II,ξ ξ ξ α α S α α S Then Gfin(A, C) 6II Gfin(B, D) and G1 (A, C) 6II G1 (B, D). ← → ← ← Proof. Suppose we have T I,ξ and T II,ξ as stated in the hypothesis. We define S I,ξ = T I,ξ and → <ω <ω S II,ξ : [ A] ×B→ [ B] by S → S → → S ({x ,...,xn},B)= T (x ,B),..., T (xn,B) . II,ξ 1 II,ξ 1 II,ξ ← <ω → Suppose F ∈ S (B) , say F = {x ,...,xn}. By (Ft1), each T (xj,B) ∈ B, so I,ξ 1 II,ξ → → → <ω S (F,B)= T (x ,B),..., T (xn,B) ∈ [B] . II,ξ II,ξ 1 II,ξ This establishes (P1). 14 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER ← <ω ← <ω Now suppose F ∈ S (B ) and F ∈C. Then F ∈ T (B ) , so ξ I,ξ ξ ξ<α ξ ξ I,ξ ξ S → → S (F ,B )= T (x,B ) : x ∈ F ∈ D II,ξ ξ ξ II,ξ ξ ξ ξ<α[ ξ<α[ ← → α α by (Ft2). This establishes (P2). So S I,ξ and S II,ξ witness that Gfin(A, C) 6II Gfin(B, D) by Theorem 16. α α Now we need to establish that G1 (A, C) 6II G1 (B, D). First, notice that (Ft1) is identical to ← (Tr1). To see that (Tr2) is satisfied, let xξ ∈ T I,ξ(Bξ) for each ξ < α be so that {xξ : ξ < α}∈C. ← <ω Let F = {x } and notice that F ∈ T (B ) for each ξ < α. Moreover, ξ ξ ξ I,ξ ξ S Fξ = {xξ : ξ < α}∈C. ξ<α[ So, by (Ft2), we see that → → T (x,B ) : x ∈ F = T (x ,B ) : ξ < α ∈ D. II,ξ ξ ξ II,ξ ξ ξ ξ<α[ α α That is, we can apply Theorem 14 to conclude that G1 (A, C) 6II G1 (B, D). The following result is similar to Corollary 15. Corollary 18. Let A, B, C, and D be collections and α be an ordinal. Suppose there is a map ϕ : [ B] × α → A so that the following two conditions hold. S• For all BS∈B and all ξ ∈ α, {ϕ(y,ξ) : y ∈ B}∈A. <ω • If Gξ ∈ [Bξ] where Bξ ∈B for each ξ < α and ξ<α ϕ[Gξ × {ξ}] ∈C, then ξ<α Gξ ∈ D. α α α α S S Then Gfin(A, C) 6II Gfin(B, D) and G1 (A, C) 6II G1 (B, D). ← Proof. Define T I,ξ : B→A by ← T I,ξ(B)= ϕ[B × {ξ}]= {ϕ(y,ξ) : y ∈ B}. ← Then T I,ξ(B) ∈A. → We now define T II,ξ : [ A] ×B → B. Fix B ∈ B and, for x ∈ ϕ[B × {ξ}], choose yx,ξ ∈ B → → S S so that ϕ(yx,ξ,ξ) = x. Then set T II,ξ(x,B) = yx,ξ. For x 6∈ ϕ[B × {ξ}], set T II,ξ(x,B) to be ← → an arbitrary element of B. This guarantees that, if x ∈ T I,ξ(B), then T II,ξ(x,B) ∈ B which establishes (Ft1). S ← <ω To check that (Ft2) holds, suppose F ∈ T (B ) and F ∈C. Let ξ I,ξ ξ ξ<α ξ S → G = T (x,B ) : x ∈ F ξ II,ξ ξ ξ Notice that ← <ω x ∈ Fξ =⇒ x ∈ T I,ξ(Bξ) =⇒ Gξ ∈ [Bξ] . → Moreover, ϕ[G × {ξ}]= F since ϕ T (x,B ),ξ = x for each x ∈ F . That is, we have that ξ ξ II,ξ ξ ξ ϕ[Gξ × {ξ}]= Fξ ∈C ξ<α[ ξ<α[ SELECTION GAMES ON HYPERSPACES 15 which, by the hypotheses, allows us to conclude that → T (x,B ) : x ∈ F = G ∈ D. II,ξ ξ ξ ξ ξ<α[ ξ<α[ Hence, Corollary 17 applies and the proof is finished. Using these general translation theorems, we infer an easy to state, easy to apply, but less general version of the translation theorem. This version is the main tool we reference later to prove results about selection games on the Vietoris and Fell hyperspace topologies. Corollary 19. Suppose that A, B, C, D are collections so that C ⊆ A and D ⊆ B. Addi- tionally, suppose that there exists a bijection β : A→ B withS theS followingS features:S • A ∈A ⇐⇒ β[A] ∈B, and S S • C ∈C ⇐⇒ β[C] ∈ D. α α α α Let α be an ordinal. Then G1 (A, C) ≡ G1 (B, D) and Gfin(A, C) ≡ Gfin(B, D). Proof. Note that, as A ∈A ⇐⇒ β[A] ∈ B, we also have β−1[B] ∈A ⇐⇒ B ∈ B. Similarly, −1 α α β [D] ∈C ⇐⇒ D ∈ D. By symmetry, we need only show that G1 (A, C) 6II G1 (B, D) and that α α Gfin(A, C) 6II Gfin(B, D). Define ϕ : ( B) × α → A by the rule ϕ(y,ξ) = β−1(y). This is well-defined since β is a bijection. Let BS∈B and ξ 4. Equivalences with Covers 4.1. The Upper Topologies. Lemma 20. Let A be an ideal of closed subsets of X. U ∈ O(X, A) if and only if c.U ∈ DF(X,A+). Proof. Let U ∈ O(X, A) and let (X \ A)+ be an arbitrary open set in F(X, A+). Then, since U is an A-cover, there exists U ∈ U so that A ⊆ U. This is equivalent to X \ U ⊆ X \ A, which U establishes that c. ∈ DF(X,A+). Now, suppose {X \ U : U ∈ U } is dense in the co-A hyperspace. As in the situation above, consider any X \ A where A ∈ A. There exists some U ∈ U so that X \ U ⊆ X \ A by density, which means A ⊆ U. Hence, U is an A-cover of X. Lemma 21. Let A be an ideal of closed subsets of X and G ∈ F(X). Then U ∈ O(X, X \ G, A) if and only if c.U ∈ ΩF(X,A+),G. Proof. First suppose U is an A-cover of X \ G by open sets from X. Let (X \ A)+ be an arbitrary open neighborhood of G in F(X, A+). Then G ⊆ X \A and so A ⊆ X \G. Thus there exists U ∈ U U + U so that A ⊆ U. So(X \ U) ⊆ (X \ A). Now X \ U ∈ c. ∩ (X \ A) . Therefore c. ∈ ΩF(X,A+),G. 16 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER Now, suppose c.U ∈ ΩF(X,A+),G. Let A ∈ A be so that A ⊆ X \ G. Then G ⊆ X \ A and so (X \ A)+ is an open neighborhood of G. So there exists some U ∈ U so that X \ U ⊆ X \ A, which means A ⊆ U. Hence, U is a A-cover of X \ G by open sets from X. U gp U gp Lemma 22. Let A be an ideal of closed subsets of X. ∈ O (X, A) if and only if c. ∈ DF(X,A+). Proof. First suppose U is an ω-groupable A-cover of X and set D = c.U . Let ϕ : U → |U | be a partition of U as in the definition of ω-groupable. Note that |D| = |U |. Define ψ : D → |U | by ψ(F ) = ϕ(X \ F ). Notice that X \ U ∈ ψ−1(ξ) if and only if U ∈ ϕ−1(ξ). Let (X \ A)+ be + an arbitrary open set in F(X, A ). Thus there exists a ξ0 < |U | so that for all ξ > ξ0, there is a −1 −1 U gp Uξ ∈ ϕ (ξ) so that A ⊆ Uξ. So X \Uξ ∈ ψ (ξ) and (X \Uξ) ⊆ (X \A). Therefore c. ∈ DF(X,A+). U gp D U D D D Now, suppose c. ∈ DF(X,A+) and set = c. . Let ϕ : → | | be a partition of as in the definition of ω-groupable. Note that |U | = |D|. Define ψ : U → |D| by ψ(U)= ϕ(X \ U). Notice that F ∈ ψ−1(ξ) if and only if X \ F ∈ ϕ−1(ξ). Let A ∈ A and consider (X \ A)+. There is a −1 ξ0 < |D| so that for all ξ > ξ0 there is an Fξ ∈ ϕ (ξ) so that Fξ ⊆ X \ A. Set Uξ = X \ Fξ. Then −1 Uξ ∈ ψ (ξ) and A ⊆ Uξ. Hence, U is an ω-groupable A-cover of X. Lemma 23. Let A be an ideal of closed subsets of X. Then U ∈ Owgp(X, A) if and only if U wgp c. ∈ DF(X,A+). Proof. First suppose U is a weakly ω-groupable A-cover of X and set D = c.U . Let ϕ : U → |U | be a partition of U as in the definition of weakly ω-groupable. Note that |D| = |U |. Define ψ : D → |U | by ψ(F ) = ϕ(X \ F ). Notice that X \ U ∈ ψ−1(ξ) if and only if U ∈ ϕ−1(ξ). Let V = (X \ A)+ be an arbitrary open set in F(X, A+). Thus there exists a ξ < |U | so that A ⊆ ϕ−1(ξ). So ψ−1(ξ)= {X \ U : U ∈ ϕ−1(ξ)} and S ψ−1(ξ)= X \ ϕ−1(ξ) ⊆ X \ A \ [ −1 U wgp Hence, ψ (ξ) ∈ V . Therefore c. ∈ DF(X,A+). T U wgp D U D D D Now, suppose c. ∈ DF(X,A+) and set = c. . Let ϕ : → | | be a partition of as in the definition of weakly ω-groupable. Note that |U | = |D|. Define ψ : U → |D| by ψ(U)= ϕ(X \ U). Notice that F ∈ ψ−1(ξ) if and only if X \ F ∈ ϕ−1(ξ). Let A ∈A. Then V = (X \ A)+ is an open set in F(X, A+). So there is a ξ < |D| so that so that ψ−1(ξ) ∈ V . Therefore T ψ−1(ξ) ⊆ X \ A =⇒ A ⊆ ϕ−1(ξ). \ [ Hence, U is a weakly ω-groupable A-cover of X. Lemma 24. Fix a space X and a collection S = {(X \ A)+ : A ∈ S} of open subsets of F(X, A+). S Then ∈ OF(X,A+) if and only if S ∈ ΠA(X). S Proof. First suppose ∈ OF(X,A+). Let U ⊆ X be open. Then there is an A ∈ S so that + X \ U ∈ (X \ A) . Thus X \ U ⊆ X \ A and so A ⊆ U. Therefore, S ∈ ΠA(X). + Now suppose that S ∈ ΠA(X) and let F ∈ F(X, A ). Then X \ F is open, so there is an A ∈ S + so that A ⊆ X \ F . Thus F ⊆ X \ A and so F ∈ (X \ A) . Hence, S ∈ OF(X,A+). 4.2. The Full Topologies. Lemma 25. For any space X and any ideal A consisting of closed sets, U ∈ OF (X, A) if and only if c.U ∈ DF(X,A). Proof. Suppose U is a AF -cover of X. Let [A; V1,...,Vn] be a non-empty basic open set in F(X, A). Then by Proposition 10, Vj ∩ (X \ A) 6= ∅ for all j. Since U is a AF -cover of X, we can find U ∈ U and E ⊆ X finite so that A ⊆ U, E ∩ Vj 6= ∅ for each j, and E ∩ U = ∅. Set F = X \ U and notice SELECTION GAMES ON HYPERSPACES 17 that F ∈ c.U , F ⊆ X \ A, and since E ∩ (X \ A)= ∅, E ⊆ F . Hence, ∅= 6 E ∩ Vj ⊆ F ∩ Vj for each j. That is, F ∈ [A; V0,...,Vn], so c.U is dense. Now suppose D = c.U is dense in F(X, A). Let A ∈A and V1,V2,...,Vn ⊆ X be open so that Vj ∩ (X \ A) 6= ∅ for each j. Notice that the basic open set [A; V1,...,Vn] is non-empty, so since D is dense, we can find F ∈ D ∩ [A; V1,...,Vn]. Then F ⊆ X \ A and F ∩ Vj 6= ∅ for each j. Immediately, we see that A ⊆ X \ F . Set U = X \ F and notice that U ∈ U . Let xj ∈ F ∩ Vj and E = {x1,x2,...,xn}. Clearly, E ∩ Vj 6= ∅ for each j and, since E ⊆ F , E ∩ U = ∅. That is, U is a AF -cover of X. Lemma 26. For any space X, any closed set G ∈ F(X), and any ideal A consisting of closed sets, U ∈ OF (X, X \ G, A) if and only if c.U ∈ ΩF(X,A),G. Proof. Suppose U ∈ OF (X, X \ G, A) and let [A; V1,...,Vn] be a basic neighborhood of G in F(X, A). Since G ⊆ X \ A, A ⊆ X \ G. Also Vj ∩ G 6= ∅ for each j. Since U is a AF -cover of X \ G, we can find U ∈ U and E ⊆ X finite so that A ⊆ U, E ∩ Vj 6= ∅ for each j, and E ∩ U = ∅. Set F = X \ U and notice that F ∈ c.U . Immediately, F ⊆ X \ A. Moreover, since E ∩ U = ∅, we see that E ⊆ F . Hence, for each j, ∅= 6 E ∩ Vj ⊆ F ∩ Vj. Therefore, F ∈ [A; V1,...,Vn], and so G is in the closure of c.U . Now suppose c.U ∈ ΩF(X,A),G. Consider A ∈ A with A ⊆ (X \ G) and V1,...,Vn ⊆ X open with Vj ∩ (X \ (X \ G)) = Vj ∩ G 6= ∅ for all j. Notice that G ∈ [A; V1,...,Vn]. Thus we can find F ∈ c.U so that both F ⊆ X \ A and F ∩ Vj 6= ∅ for each j. Immediately, we see that A ⊆ X \ F . Set U = X \ F and notice that U ∈ U . For each j, choose xj ∈ F ∩ Vj. Then let E = {x1,...,xn}. Notice that E is a finite set with E ∩ Vj 6= ∅ for each j. Moreover, E ⊆ F which means that E ∩ U = ∅. Therefore U ∈ OF (X, X \ G, A). U gp Lemma 27. For any space X and any ideal A consisting of closed sets, ∈ OF (X, A) if and U gp only if c. ∈ DF(X,A). U gp U U U Proof. Suppose ∈ OF (X, A). Let ϕ : → | | be the partition of into finite sets as specified gp D U D U D D in the definition of OF (X, A). Set = c. , notice that | | = | |, and define ψ : → | | by ψ(F ) = ϕ(X \ F ). Notice that this partitions D into finite sets and F ∈ ψ−1(ξ) if and only −1 if X \ F ∈ ϕ (ξ). Let [A; V1,...,Vm] be a non-empty basic open set in F(X, A). Then by Proposition 10, Vj ∩ (X \ A) 6= ∅ for all j. Thus we can find a ξ0 < |D| so that for all ξ > ξ0, there −1 are Uξ ∈ ϕ (ξ) and Eξ ⊆ X finite so that A ⊆ Uξ, Eξ ∩ Vj 6= ∅ for each j, and Eξ ∩ Uξ = ∅. Set −1 Fξ = X \ Uξ and notice that Fξ ∈ ψ (ξ), Fξ ⊆ X \ A, and since Eξ ∩ (X \ Fξ) = ∅, Eξ ⊆ Fξ. D gp Hence, ∅= 6 Eξ ∩ Vj ⊆ Fξ ∩ Vj for each j. That is, Fξ ∈ [A; V0,...,Vm] and so ∈ DF(X,A). D U gp D D D Now suppose = c. ∈ DF(X,A). Let ϕ : → | | be the partition of into finite sets gp U D U U as specified in the definition of DF(X,F ). Notice that | | = | | and define ψ : → | | by ψ(U) = ϕ(X \ U). Notice that this partitions U into finite sets and U ∈ ψ−1(ξ) if and only if −1 X \ U ∈ ϕ (ξ). Let A ∈ A and V1,V2,...,Vm ⊆ X be open so that Vj ∩ (X \ A) 6= ∅ for each j. Notice that the basic open set [A; V1,...,Vm] is non-empty. So we can find ξ0 < |U | so that −1 for all ξ > ξ0, there are Fξ ∈ ϕ (ξ) ∩ [A; V1,...,Vm]. Then Fξ ⊆ X \ A and Fξ ∩ Vj 6= ∅ for −1 each j. Immediately, we see that A ⊆ X \ Fξ. Set Uξ = X \ Fξ and notice that Uξ ∈ ψ (ξ). Let xj,ξ ∈ Fξ ∩ Vj and Eξ = {x1,ξ,x2,ξ,...,xm,ξ}. Clearly, Eξ ∩ Vj 6= ∅ for each j and, since Eξ ⊆ Fξ, U gp Eξ ∩ Uξ = ∅. That is, ∈ OF (X, A). U wgp U wgp Lemma 28. Let A be an ideal of closed subsets of X. ∈ OF (X, A) if and only if c. ∈ DF(X,A). U wgp U U U Proof. Suppose ∈ OF (X, A). Let ϕ : → | | be the partition of into finite sets as specified wgp D U D U D U in the definition of OF (X, A). Set = c. and, noting that | | = | |, define ψ : → | | by ψ(F ) = ϕ(X \ F ). Notice that this partitions D into finite sets and F ∈ ψ−1(ξ) if and only if −1 X \F ∈ ϕ (ξ). Let [A; V1,...,Vm] be a non-empty basic open set in F(X, A). Then by Proposition 18 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER −1 10, Vj ∩(X \A) 6= ∅ for each j. Thus we can find a ξ < |U | and E ⊆ X finite so that A ⊆ ϕ (ξ), −1 E ∩ Vj 6= ∅ for each j, and E ∩ ϕ (ξ)= ∅. Set S S F = X \ {G : G ∈ φ−1(ξ)} = {X \ G : G ∈ φ−1(ξ)} = {G : G ∈ ψ−1(ξ)}. [ \ \ Notice that F ⊆ X \ A, and since E ∩ (X \ F )= ∅, E ⊆ F . Hence, ∅ 6= E ∩ Vj ⊆ F ∩ Vj for each D wgp j. That is, F ∈ [A; V0,...,Vm] and so ∈ DF(X,A). D U wgp D D D Now suppose = c. ∈ DF(X,A). Let ϕ : → | | be the partition of into finite sets wgp U D U D as specified in the definition of DF(X,A). Note that | | = | | and define ψ : → | | by ψ(U) = ϕ(X \ U). Notice that this partitions U into finite sets and U ∈ ψ−1(ξ) if and only if −1 X \ U ∈ ϕ (ξ). Let A ∈ A and V1,V2,...,Vm ⊆ X be open so that Vj ∩ (X \ A) 6= ∅ for each j. Notice that the basic open set [A; V1,...,Vm] is non-empty. So we can find ξ < |U | so that −1 ϕ (ξ) ∈ [A; V1,...,Vm]. −1 \ Set F = ϕ (ξ). Then F ⊆ X \A and F ∩Vj 6= ∅ for each j. Immediately, we see that A ⊆ X \F . −1 Set U = TX \ F and notice that U = ψ (ξ). Let xj ∈ F ∩ Vj and E = {x1,x2,...,xn}. Clearly, U wgp E ∩ Vj 6= ∅ for each j and, since E ⊆SF , E ∩ U = ∅. That is, ∈ OF (X, A). F Y F Lemma 29. Fix a space X and an ideal A⊆ (X). Then ∈ ΠA(X) if and only if {[A; V1,...,Vn] : hA, V1,...,Vni∈ Y } ∈ OF(X,A). Y F F Y Proof. Suppose ∈ ΠA(X). Let F ∈ (X) be arbitrary. Then we can find hA, V1,...,Vni ∈ and a finite set E ⊆ X so that E ∩ Vj 6= ∅ for each j, A ⊆ X \ F , and E ∩ (X \ F )= ∅. Notice that F ⊆ X \ A and that ∅= 6 E ∩ Vj ⊆ F ∩ Vj for each j. That is, F ∈ [A; V1,V2,...,Vn]. Now, suppose {[A; V1,...,Vn] : hA, V1,...,Vni∈ Y } ∈ OF(X,A). Let U ⊆ X be an arbitrary open set. Then we can produce [A; V1,...,Vn] where hA, V1,...,Vni∈ Y so that X \ U ∈ [A; V1,...,Vn]. Let xj ∈ Vj ∩ (X \ U) for each j and let E = {x1,...,xn}. Observe that A ⊆ U, E ∩ Vj 6= ∅ for each j, and E ∩ U = ∅. This finishes the proof. Corollary 30. For any space X, (i) Y if a πF -network if and only if {[K; V1,...,Vn] : hK,V1,...,Vni∈ Y } ∈ OF(X,F ), Y n Y (ii) If is a πV -network on X, then {[ j=1(X \ Vj); V1,...,Vn] : hV1,...,Vni∈ } ∈ OF(X,V ), and T (iii) If {[A; V1,...,Vn] : hA, V1,...,Vni∈ Y } ∈ OF(X,V ), then {hX \ A, V1,...,Vni : hA, V1,...,Vni∈ Y } is a πV -network on X. Proof. This follows immediately from Proposition 13 and Lemma 29. 5. Applications of Cover Lemmas 5.1. The Upper Topologies. Theorem 31. Fix a topological space X, G ∈ F(X), ideals A and B consisting of closed sets, α an ordinal, and a symbol ∈ {1, fin}. Then α α (i) G(O(X, A), O(X, B)) ≡ G(DF(X,A+), DF(X,B+)), α α (ii) G(O(X, X \ G, A), O(X, X \ G, B)) ≡ G(ΩF(X,A+),G, ΩF(X,B+),G), α gp α gp + (iii) G(O(X, A), O (X, B)) ≡ G(DF(X,A ), DF(X,B+)), α wgp α wgp + (iv) G(O(X, A), O (X, B)) ≡ G(DF(X,A ), DF(X,B+)), and α α (v) if B⊆A, G(ΠA(X), ΠB(X)) ≡ G(OF(X,A+), OF(X,B+)). SELECTION GAMES ON HYPERSPACES 19 F Proof. Notice that O(X, B) = O(X, A) = TX and that DF(X,B+) = DF(X,A+) = (X). Define β1 : TX → FS(X) by β1(U)=S X \ U. By Lemma 20, β1 Ssatisfies the conditionsS of Corollary 19 for O(X, A), DF(X,A+), O(X, B), and DF(X,B+). This proves (i). Equivalences (ii), (iii), and (iv) follow in a similar way. The function β1 is still used and we instead reference Lemmas 21, 22, and 23. To prove part (v), we first note that ΠA(X) = A, ΠB(X) = B, OF(X,A+) = TA+ , and T T T T OF(X,B+) = B+ . The fact that B+ ⊆ SA+ is a consequenceS of Lemma 11S. Define β2 : A→ A+ Sby + β2(A) = (X \ A) . We first show that β2 is a bijection. Suppose A1, A2 ∈A and A1 6= A2. Without loss of generality, + + let x ∈ A1 \ A2. Then {x} ∈ (X \ A2) but {x} ∈/ (X \ A1) . So β2(A1) 6= β2(A2). This shows that β2 is injective. The fact that β2 is surjective follows from the fact that every open set in F(X) has the form (X \ A)+, because A is an ideal of closed sets. The other hypotheses of Corollary 19 follow from Lemma 24. Corollary 32. Fix a topological space X and G ∈ F(X). Then Rothberger-Like Games K K G1(O(X, (X)), O(X, (X))) ≡ G1(DF(X,F +), DF(X,F +)) <ω <ω G1(O(X, [X] ), O(X, [X] ))) ≡ G1(DF(X,Z+), DF(X,Z+)) K <ω G1(O(X, (X)), O(X, [X] ))) ≡ G1(DF(X,F +), DF(X,Z+)) K K G1(O(X, X \ G, (X)), O(X, X \ G, (X))) ≡ G1(ΩF(X,F +),G, ΩF(X,F +),G) <ω <ω G1(O(X, X \ G, [X] ), O(X, X \ G, [X] )) ≡ G1(ΩF(X,Z+),G, ΩF(X,Z+),G) K <ω G1(O(X, X \ G, (X)), O(X, X \ G, [X] )) ≡ G1(ΩF(X,F +),G, ΩF(X,Z+),G) G1(Πk(X), Πk(X)) ≡ G1(OF(X,F +), OF(X,F +)) G1(Πω(X), Πω(X)) ≡ G1(OF(X,Z+), OF(X,Z+)) Menger-Like Games K K Gfin(O(X, (X)), O(X, (X))) ≡ Gfin(DF(X,F +), DF(X,F +)) <ω <ω Gfin(O(X, [X] ), O(X, [X] ))) ≡ Gfin(DF(X,Z+), DF(X,Z+)) K <ω Gfin(O(X, (X)), O(X, [X] ))) ≡ Gfin(DF(X,F +), DF(X,Z+)) K K Gfin(O(X, X \ G, (X)), O(X, X \ G, (X))) ≡ Gfin(ΩF(X,F +),G, ΩF(X,F +),G) <ω <ω Gfin(O(X, X \ G, [X] ), O(X, X \ G, [X] )) ≡ Gfin(ΩF(X,Z+),G, ΩF(X,Z+),G) K <ω Gfin(O(X, X \ G, (X)), O(X, X \ G, [X] )) ≡ Gfin(ΩF(X,F +),G, ΩF(X,Z+),G) Gfin(Πk(X), Πk(X)) ≡ Gfin(OF(X,F +), OF(X,F +)) Gfin(Πω(X), Πω(X)) ≡ Gfin(OF(X,Z+), OF(X,Z+)) Hurewicz-Like Games and Weakly Groupable Games gp gp K K + G1(O(X, (X)), O (X, (X))) ≡ G1(DF(X,F ), DF(X,F +)) <ω gp <ω gp + G1(O(X, [X] ), O (X, [X] )) ≡ G1(DF(X,Z ), DF(X,Z+)) 20 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER gp gp K K + Gfin(O(X, (X)), O (X, (X))) ≡ Gfin(DF(X,F ), DF(X,F +)) <ω gp <ω gp + Gfin(O(X, [X] ), O (X, [X] )) ≡ Gfin(DF(X,Z ), DF(X,Z+)) wgp wgp K K + G1(O(X, (X)), O (X, (X))) ≡ G1(DF(X,F ), DF(X,F +)) <ω wgp <ω wgp + G1(O(X, [X] ), O (X, [X] )) ≡ G1(DF(X,Z ), DF(X,Z+)) wgp wgp K K + Gfin(O(X, (X)), O (X, (X))) ≡ Gfin(DF(X,F ), DF(X,F +)) <ω wgp <ω wgp + Gfin(O(X, [X] ), O (X, [X] )) ≡ Gfin(DF(X,Z ), DF(X,Z+)) Notation. For A ⊆ X, let N (A) be all open sets U so that A ⊆ U and let Nx = N ({x}). Set N [X]= {Nx : x ∈ X}, and in general if A is a collection of subsets of X, then N [A]= {N (A) : A ∈ A}. In the case when X and X′ represent two topologies on the same underlying set, we will use the notation NX (A) to denote the collection of open sets relative to the topology according to X that contain A. The following corollary ties this discussion of upper-A topologies to selection games involv- ing the space of continuous functions as witnessed by Theorems 25 and 26 of [3]. Recall that G1(N [A], ¬O(X, A)) is a generalized version of the point-open game. Corollary 33. Let A be an ideal of closed subsets of a space X. The games G1(N [A], ¬O(X, A)) and G1(TF(X,A+), ¬DF(X,A+)) are equivalent. Proof. The duality of G1(N [A], ¬O(X, A)) and G1(O(X, A), O(X, A)) is the conclusion of [3, Cor. 18] as a direct application of [4, Cor. 26]. Then note that G1(O(X, A), O(X, A)) and G1(DF(X,A+), DF(X,A+)) are equivalent by Theorem 31. The duality between G1(DF(X,A+), DF(X,A+)) and G1(TF(X,A+), ¬DF(X,A+)) is a direct application of [4, Prop. 32]. Corollary 34. For any space X, K K • the games G1(N [ (X)], ¬O(X, (X))) and G1(TF(X,F +), ¬DF(X,F +)) are equivalent, and <ω <ω • the games G1(N [[X] ], ¬O(X, [X] )) and G1(TF(X,Z+), ¬DF(X,Z+)) are equivalent. 5.2. The Full Topologies. Theorem 35. Fix a topological space X, G ∈ F(X), ideals A and B consisting of closed sets, α an ordinal, and a symbol ∈ {1, fin}. Then α α (i) G(OF (X, A), OF (X, B)) ≡ G(DF(X,A), DF(X,B)), α α (ii) G(OF (X, X \ G, A), OF (X, X \ G, B)) ≡ G(ΩF(X,A),G, ΩF(X,B),G), α gp α gp (iii) G(OF (X, A), OF (X, B)) ≡ G(DF(X,A), DF(X,B)), α wgp α wgp (iv) G(OF (X, A), OF (X, B)) ≡ G(DF(X,A), DF(X,B)), α α F F (v) if B⊆A, then G(OF(X,A), OF(X,B)) 6II G(ΠA(X), ΠB (X)), and α F F α (vi) if A⊆B, then G(ΠA(X), ΠB (X)) 6II G(OF(X,A), OF(X,B)). F Proof. Notice that O(X, B)= O(X, A)= TX and that DF(X,B) = DF(X,A) = (X). Define β : TX → F(X) bySβ1(U) = X \SU. By Lemma 25, β1 satisfiesS the conditionsS of Corollary 19 for OF (X, A), DF(X,A), OF (X, B), and DF(X,B). This proves (i). The equivalences (ii), (iii), and (iv) follow in a similar way using the same β but instead refer- encing Lemmas 26, 27, and 28. To prove part (v), we first note that F X F X • ΠA(X)= A, ΠB (X)= B, S S SELECTION GAMES ON HYPERSPACES 21 • OF(X,A) = TA, and OF(X,B) = TB Define ϕS: XA × α → TA by S ϕ(hA, V1,...,Vni,ξ) = [A; V1,...,Vn] Y F We check that ϕ satisfies the hypotheses of Corollary 18. Suppose ∈ ΠA(X) and ξ ∈ α. Then by Lemma 29, {ϕ(hA, V1,...,Vni,ξ) : hA, V1,...,Vni∈ Y } = {[A; V1,...,Vn] : A ∈ Y } F Y F is an open cover of (X, A). Next suppose that ξ ∈ ΠA(X) for each ξ < α, that Gξ is a finite Y F subset of ξ, and that ξ<α ϕ[Gξ × {ξ}] is an open cover of (X, B). We need to show that F ξ<α Gξ ∈ ΠB (X). WriteS S Gξ = {hAξ,k,V1,k,...,Vn(k),ki : k 6 m(ξ)} F Then {[Aξ,k; V1,k,...,Vn(k),k] : k 6 m(ξ) and ξ ∈ α} is an open cover of (X, B). So by Lemma 29, F α α F F ξ<α Gξ ∈ ΠB (X). Thus G(OF(X,A), OF(X,B)) 6II G(ΠA(X), ΠB (X)). ← S F Finally, we prove (vi). Define T I,ξ : OF(X,A) → ΠA(X) by ← T I,ξ(U )= {hA, V1,...,Vni : (∃U ∈ U )[[A; V1,...,Vn] ⊆ U]}. ← U F U V We first show that T I,ξ( ) ∈ ΠA(X). Notice that can be refined to a cover of basic open ← ← ← ← V U V F U sets and that T I,ξ( ) a subset of T I,ξ( ). By Lemma 29, T I,ξ( ) ∈ ΠA(X). So T I,ξ( ) is, as → well. Define T II,ξ : XA × OF(X,A) → TB as follows. If W = [A; V1,...,Vn] is a subset of some U in U , choose UW,U ∈ U so that W ⊆ UW,U . Then → U T II,ξ(hA, V1,...,Vni, )= U[A;V1,...,Vn],U → if there is a U ∈ U so that [A; V1,...,Vn] ⊆ U, and set T II,ξ(hA, V1,...,Vni, U )= F(X) otherwise. → Since A⊆B, Lemma 11 implies that TA ⊆ TB. So T II,ξ has the correct co-domain. ← Now suppose U ∈ OF(X,A) and that Y ∈ T I,ξ(U ). Say Y = hA, V1,...,Vni. We define W = → [A; V1,...,Vn]. Then, by the definition of UW,U , T II,ξ(Y, U )= UW,U ∈ U . ← Finally suppose Uξ ∈ OF(X,A) and that Yξ,1,...,Yξ,n(ξ) ∈ T I,ξ(Uξ) for ξ < α. Say Yξ,k = hAξ,k,Vξ,k,1,...,Vξ,k,m(ξ,k)i. F Suppose {Yξ,k : ξ < α and k By Lemma 29, we know that {Wξ,k : ξ < α and k Rothberger-Like Games K K G1(OF (X, (X)), OF (X, (X))) ≡ G1(DF(X,F ), DF(X,F )) F F G1(OF (X, (X)), OF (X, (X))) ≡ G1(DF(X,V ), DF(X,V )) 22 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER F K G1(OF (X, (X)), OF (X, (X))) ≡ G1(DF(X,V ), DF(X,F )) K K G1(OF (X, X \ G, (X)), OF (X, X \ G, (X))) ≡ G1(ΩF(X,F ),G, ΩF(X,F ),G) F F G1(OF (X, X \ G, (X)), OF (X, X \ G, (X))) ≡ G1(ΩF(X,V ),G, ΩF(X,V ),G) F K G1(OF (X, X \ G, (X)), OF (X, X \ G, (X))) ≡ G1(ΩF(X,V ),G, ΩF(X,F ),G) F F G1(ΠK(X)(X), ΠK(X)(X)) ≡ G1(OF(X,F ), OF(X,F )) F F G1(ΠF(X)(X), ΠF(X)(X)) ≡ G1(OF(X,V ), OF(X,V )) Menger-Like Games K K Gfin(OF (X, (X)), OF (X, (X))) ≡ Gfin(DF(X,F ), DF(X,F )) F F Gfin(OF (X, (X)), OF (X, (X))) ≡ Gfin(DF(X,V ), DF(X,V )) F K Gfin(OF (X, (X)), OF (X, (X))) ≡ Gfin(DF(X,V ), DF(X,F )) K K Gfin(OF (X, X \ G, (X)), OF (X, X \ G, (X))) ≡ Gfin(ΩF(X,F ),G, ΩF(X,F ),G) F K Gfin(OF (X, X \ G, (X)), OF (X, X \ G, (X))) ≡ Gfin(ΩF(X,V ),G, ΩF(X,V ),G) F K Gfin(OF (X, X \ G, (X)), OF (X, X \ G, (X))) ≡ Gfin(ΩF(X,V ),G, ΩF(X,F ),G) F F Gfin(ΠK(X)(X), ΠK(X)(X)) ≡ Gfin(OF(X,F ), OF(X,F )) F F Gfin(ΠF(X)(X), ΠF(X)(X)) ≡ Gfin(OF(X,V ), OF(X,V )) Hurewicz-Like Games and Weakly Groupable Games K gp K gp G1(OF (X, (X)), OF (X, (X))) ≡ G1(DF(X,F ), DF(X,F )) F gp F gp G1(OF (X, (X)), OF (X, (X))) ≡ G1(DF(X,V ), DF(X,V )) K gp K gp Gfin(OF (X, (X)), OF (X, (X))) ≡ Gfin(DF(X,F ), DF(X,F )) F gp F gp Gfin(OF (X, (X)), OF (X, (X))) ≡ Gfin(DF(X,V ), DF(X,V )) K wgp K wgp G1(OF (X, (X)), OF (X, (X))) ≡ G1(DF(X,F ), DF(X,F )) F wgp F wgp G1(OF (X, (X)), OF (X, (X))) ≡ G1(DF(X,V ), DF(X,V )) K wgp K wgp Gfin(OF (X, (X)), OF (X, (X))) ≡ Gfin(DF(X,F ), DF(X,F )) F wgp F wgp Gfin(OF (X, (X)), OF (X, (X))) ≡ Gfin(DF(X,V ), DF(X,V )) 5.3. Tightness and Bar-Ilan Selection Principles. Both [6] and [12] applied their analyses of the hyperspace topology to the tightness, set-tightness and T-tightness of the hyperspace. We recall the definitions of tightness and set-tightness now. Definition 26. Suppose X is a topological space, x ∈ X and κ is a cardinal. Then the tightness of X at x is bounded above by κ, written t(X,x) 6 κ, if whenever x ∈ A \ A, there is a B ⊆ A so that |B| 6 κ and x ∈ B. Definition 27. Suppose X is a topological space, x ∈ X and κ is a cardinal. Then the set-tightness of X at x is bounded above by κ, written ts(X,x) 6 κ, if whenever x ∈ A \ A, there is a B ⊆ A and a function ϕ : B → κ so that x ∈ B, but x∈ / ϕ−1(α) for any α < κ. SELECTION GAMES ON HYPERSPACES 23 This kind of partition property for a blade inspires the next definition. Definition 28. Let S be a collection, S ∈ S, and κ be a regular cardinal. Then S is κ-breakable if there exists ϕ : S → κ so that ϕ−1(ξ) ∈/ S for each ξ < κ. Let Sκbr denote the class of κ-breakable elements of S. Note that t(X,x) 6 ts(X,x) for any x ∈ X. Also, set-tightness is essentially tightness, but mod- ified by the κ-breakable definition. The countable-fan tightness game G(ΩX,x, ΩX,x) can describe κ countable tightness. Tightness for κ>ω could be captured by G (ΩX,x, ΩX,x). In a similar way, |X| κbr set-tightness is captured by G (ΩX,x, ΩX,x). Proposition 37. Suppose X is a topological space, x ∈ X, λ = |X|, and κ is a cardinal. Then λ κbr ts(X,x) 6 κ if and only if I 6↑ G1 (ΩX,x, ΩX,x). cnst Proof. First suppose that ts(X,x) 6 κ. Let A be the unique play of an arbitrary constant strategy for player One in the game. Note that x ∈ A \ A. Then there is a B ⊆ A and function ϕ : B → κ −1 so that x ∈ B, but x∈ / ϕ (α) for any α < κ. Enumerate B as {bξ : ξ < |B|}. Note that |B| 6 λ. We construct a winning play of the game for player Two as follows. In round ξ < |B|, player Two plays bξ, and if necessary, in round ξ > |B|, player Two plays b0. Then at the end of the game, player Two has created B, which we know is a winning play for Two. λ κbr Now suppose I 6↑ G1 (ΩX,x, ΩX,x). Let A ⊆ X be so that x ∈ A \ A. Then repeatedly playing A cnst is a constant strategy in the game, so player Two has a winning counter play. Suppose Two wins against A with hxξ : ξ < λi. Set B = {xξ : ξ < λ}. Then B ⊆ A and B is κ-breakable. Thus ts(X,x) 6 κ. Since we are able to discuss tightness and set-tightness as the outcome of a constant strategy for a selection game, we can recast these notions as Bar-Ilan selection principles. Then the translation theorems apply and provide a quick proof of the connection between tightness properties on the hyperspace and Lindel¨of-like properties on the ground space. To complete this analysis, we fist prove equivalence lemmas for Ωκbr that are similar to those in Section 4. Lemma 38. Let A be an ideal of closed subsets of X and G ∈ F(X). U ∈ Oκbr(X, X \ G, A) if U κbr and only if c. ∈ ΩF(X,A+),G. Proof. First suppose U is a κ-breakable A-cover of X \G by open sets from X. Suppose ϕ : U → κ witnesses that U is κ-breakable. Define ψ : c.U → κ by ψ(X \ U)= ϕ(U). Note that by Lemma −1 −1 U 21, since ϕ (ξ) is not an A-cover of X \ G for all ξ < κ, ψ (ξ) ∈/ ΩF(X,A+),G. However, since, br U + U is an A-cover of X \ G, c. ∈ ΩF(X,A ),G. Therefore c. ∈ ΩF(X,A+),G. The other direction is similar. F U κbr Lemma 39. Let A be an ideal of closed subsets of X and G ∈ (X). ∈ OF (X, X \ G, A) if U κbr and only if c. ∈ ΩF(X,A),G. Proof. Use the partition provided by the definition of κ-breakability and appeal to Lemma 26. Proposition 40. The following equivalences hold: (i) Tightness in the hyperspace topologies can be captured with ΩF + O(X, X \ G, A) F + 6 (X,A ),G t( (X, A ), G) κ ⇐⇒ κ ⇐⇒ κ ΩF(X,A+),G O (X, X \ G, A) and F ΩF(X,A),G OF (X, X \ G, A) t( (X, A), G) 6 κ ⇐⇒ κ ⇐⇒ κ ΩF(X,A),G OF (X, X \ G, A) 24 CHRISTOPHERCARUVANAANDJAREDHOLSHOUSER (ii) Set-tightness in the hyperspace topologies can be captured with + ΩF(X,A+),G O(X, X \ G, A) ts(F(X, A ), G) 6 κ ⇐⇒ ⇐⇒ κbr Oκbr(X, X \ G, A) ΩF(X,A+),G and ΩF O (X, X \ G, A) F 6 (X,A),G F ts( (X, A), G) κ ⇐⇒ κbr ⇐⇒ κbr ΩF(X,A),G OF (X, X \ G, A) Proof. For (i), let Y be a topological space and y ∈ Y . First, suppose that t(Y,y) 6 κ. Consider κ the game G1 (ΩY,y, ΩY,y). We show that One does not have a constant winning strategy for this game. Indeed, suppose A ⊆ X is any set so that y ∈ A \ A, which represents a constant strategy for One. By the tightness of Y at y, we can find B = {bξ : ξ < κ} ⊆ A so that y ∈ B. Let Two th play bξ in the ξ inning and notice that Two wins. κ On the other hand, if One doesn’t have a constant winning strategy in G1 (ΩY,y, ΩY,y), then we see that any A ⊆ Y with y ∈ A \ A admits B ⊆ A with |B| 6 κ so that y ∈ B. That is, t(Y,y) 6 κ. To finish this portion of the proposition, apply Remarks 4 and 7. To prove (ii), apply Proposition 37, Remarks 4 and 7, and Lemmas 38 and 39. 6. Further Work <ω gp <ω In Example 2, we demonstrated a cover which is in O(ω1, [ω1] ), but not in O (ω1, [ω1] ). This cover, however, is not a countable cover. We do not currently know if there is a example separating O(X, A) from Ogp(X, A) which is countable. Based on the results of [11], finding such an example for ω-covers would be equivalent to finding a space which is Hurewicz but one of its finite powers is not. We demonstrated equivalences between games on a space X and games on the Fell/Vietoris hyperspaces of X. Another common hyperspace construction creates the Pixley-Roy hyperspace (see [5] and [14]). Here we used the natural mapping of open sets to the complements to connect open sets in X to points in the hyperspace, and this lifted to various game equivalences. Is there such a connection between X and the Pixley-Roy hyperspace of X? Can Proposition 5 be extended to include a broader variety of cover types like groupable covers and weakly groupable covers? Finally, we did not exhaust the varieties of tightness covered by [6] and [12]. They connect T-tightness on the Fell/Vietoris hyperspace to a covering property of X. We could not find a way to translate T-tightness into a more traditional selection principle, and so could not apply the translation result to recover this connection. Is there a way to characterize T-tightness that makes it fit into our framework? References [1] Liljana Babinkostova, Lj.D.R. Koˇcinac and Marion Scheepers, Combinatorics of Open Covers (VIII), Topology and its Applications 140 (2004), 15 – 32. [2] Christopher Caruvana and Jared Holshouser, Closed discrete selection in the compact open topology, Topology Proceedings 56 (2020), 25 – 55. [3] , Selection Games on Continuous Functions, Topology and its Applications 279 (2020), 107253. [4] Steven Clontz, Dual selection games, Topology and its Applications 272 (2020), 107056. [5] Peg Daniels, Pixley-Roy Spaces Over Subsets of the Reals, Topology and its Applications 29 (1988), 93-106. [6] G. Di Maio, Lj.D.R. Koˇcinac, E. Meccariello, Selection principles and hyperspace topologies, Topology and its Applications 153 (2005), 912–923. [7] J. M. G. Fell, A Hausdorff Topology for the Closed Subsets of a Locally Compact Non-Hausdorff Space, Proceed- ings of the American Mathematical Society, 13 (1962), no. 3, 472–476. [8] J. Gerlits and Zs. Nagy, Some properties of C(X), I, Topology and its Applications 14 (1982), no. 2, 151 – 161. [9] W. Hurewicz, Uber¨ eine Verallgemeinerung des Borelschen Theorems, Math. Z. 24 (1926), 401–421. SELECTION GAMES ON HYPERSPACES 25 [10] Lj.D.R. Koˇcinac, Selected results on selection principles, Proceedings of the Third Seminar on Geometry and Topology (Tabriz, Iran), July 15-17, 2004, pp. 71–104. [11] Lj.D.R. Koˇcinac and Marion Scheepers, Combinatorics of open covers (VII): Groupability, Fundamenta Mathe- maticae 179 (2003), 131-155 [12] Zuquan Li, Selection principles of the Fell topology and the Vietoris topology, Topology and its Applications 212 (2016), 90 – 104. [13] Ernest A. Michael, Topologies on spaces of subsets, Trans. Amer. Math. Soc. (1951), no. 71, 152–182. [14] Masami Sakai, Selective separability of Pixley-Roy hyperspaces, Topology and its Applications 159 (2012), no. 6, 1591–1598. [15] Masami Sakai and Marion Scheepers, The combinatorics of open covers, Recent Progress in General Topology III (K.P. Hart, J. van Mill, and P. Simon, eds.), Atlantis Press, 2014, pp. 751–800. [16] Marion Scheepers, Selection principles and covering properties in Topology, Note di Matematica 22 (2003), no. 2. [17] Marion Scheepers and Franklin D. Tall, Lindel¨of Indestructibility, Topological Games and Selection Principles, Fundamenta Mathematicae 210 (2010), 1 – 46. School of Sciences, Indiana University Kokomo, 2300 S. Washington Street, Kokomo, IN 46902 USA Email address: [email protected] URL: https://chcaru.pages.iu.edu/ Department of Mathematics, Norwich University, 158 Harmon Drive, Northfield, VT 05663 USA Email address: [email protected] URL: https://jaredholshouser.github.io/