Arxiv:1905.10287V2 [Math.GN] 1 Jul 2019 .Bnnig,M Ave 1,M Aa 1]–[8,W Ut ..Miller A.W
Total Page:16
File Type:pdf, Size:1020Kb
Selectors for dense subsets of function spaces Lev Bukovsk´y, Alexander V. Osipov Institute of Mathematics, Faculty of Science, P.J. Saf´arikˇ University, Jesenn´a5, 040 01 Koˇsice, Slovakia Krasovskii Institute of Mathematics and Mechanics, Ural Federal University, and Ural State University of Economics, Yekaterinburg, Russia Abstract ⋆ Let USCp(X) be the topological space of real upper semicontinuous bounded functions defined on X with the subspace topology of the product topology on X R. Φ˜ ↑, Ψ˜ ↑ are the sets of all upper sequentially dense, upper dense or pointwise ⋆ dense subsets of USCp(X), respectively. We prove several equivalent assertions ⋆ ˜ ↑ ˜ ↑ to that that USCp(X) satisfies the selection principles S1(Φ , Ψ ), including a condition on the topological space X. ⋆ We prove similar results for the topological space Cp(X) of continuous bounded functions. ↑ ↑ Similar results hold true for the selection principles Sfin(Φ˜ , Ψ˜ ). Keywords: Upper semicontinuous function, dense subset, sequentially dense subset, upper dense set, upper sequentially dense set, pointwise dense subset, covering propery S1, selection principle S1. 2010 MSC: 54C35, 54C20, 54D55. 1. Introduction We shall study the relationship between selection properties of covers of ⋆ a topological space X and selection properties of dense subsets of the set USCp(X) of all bounded upper semicontinuous functions on X and the set of all bounded ∗ continuous functions Cp (X) on X with the topology of pointwise convergence. arXiv:1905.10287v2 [math.GN] 1 Jul 2019 Similar problems were studied by M. Scheepers [21, 22], J. Haleˇs[7], A. Bella, M. Bonanzinga, M. Matveev [1], M. Sakai [16] – [18], W. Just, A.W. Miller, M. Scheepers, P.J. Szeptycki [9], and authors of this paper [3, 4, 12, 13, 14, 15] for the set Cp(X) of all real-valued continuous functions with the topology of pointwise convergence. ✩The work of the first author on this paper was supported by the Grant No. 1/0097/16 of Slovak Grant Agency VEGA. Email addresses: [email protected] (Lev Bukovsk´y), [email protected] (Alexander V. Osipov) Preprint submitted to Elsevier July 2, 2019 We shall find equivalent conditions in the term of some properties of density ⋆ of subsets of USCp(X) and the covering properties S1(Φ, Ψ) for Φ, Ψ= O, Ω, Γ. The main results are presented in Theorems 5.2, 5.4, 6.1, 6.4 and 7.1. Also we present similar Theorems 8.2, 8.3 and 8.4 for bounded continuous functions. 2. Terminology and notations In the paper (X, τ) is an infinite Hausdorff topological space, τ is the topol- ogy, i.e., the set of open sets. We shall follow the standard terminology and notation as that of [5]. We recall some notions. If A ⊆ X then the sequential closure [A]seq of A is the set of all limits of sequences from A. From some technical reasons, a cover is called o-cover. A cover U of X is an ω-cover if X∈ / U and for any finite set F ⊆ X there exists U ∈ U that contains F as a subset. An infinite cover U is a γ-cover if for every x ∈ X the set {U ∈ U : x∈ / U} is finite. By O(X), Ω(X), Γ(X), or simply O, Ω, Γ when the topological space X is understood, we denote the family of all open, open ω and open γ-covers, respectively. Let us recall the a cover V is a refinement of a cover U iff (∀V ∈V)(∃U ∈U V ⊆ U. (1) If ϕ denotes one of the symbols o, ω or γ, then a ϕ-cover U is shrinkable, if there exists an open ϕ-cover W such that (∀W ∈W)(∃UW ∈U) W ⊆ UW . (2) The family {UW : W ∈W}⊆U is a ϕ-cover as well. The family of all open shrinkable o-, ω- or γ-covers of X will be denoted by Osh(X), Ωsh(X) and Γsh(X), or simply Osh, Ωsh and Γsh, respectively. The set X R of all real function defined on X is endowed with the product topology. Thus, a typical neighborhood of a function g ∈ X R is the set X V = {h ∈ R : |h(xj ) − g(xj )| <ε : j =0,...,k} (3) where ε is a positive real and x0,...,xk ∈ X. A sequence of real functions hfn : n ∈ ωi converges to a real function f in this topology if it converges point- wise, i.e., if limn→∞ fn(x)= f(x) for each x ∈ X. Similarly as in [3] we introduce the following properties of a family F of real functions and a function h ∈ X R: (Oh) h(x) ∈ {f(x): f ∈ F } for every x ∈ X. X (Ωh) h∈ / F and h ∈ F in the topology of R. (Γh) F is infinite and for every ε> 0 and for every x ∈ X the set {f ∈ F : |f(x) − h(x)|≥ ε} is finite. 2 Let H ⊆ X R. We set Φh(H)= {F ⊆ H : F possesses (Φh) ∧ (∀f ∈ F ) (f ≥ h ∧ f − h ∈ H)}. For a real a, we denote by a the constant function on X with value a. For simplicity for g ∈ X R, instead of g + a or g − a we shall write g + a or g − a, respectively. Similarly for min{a,g} or max{a,g}. If F ⊆ X R, then F + = {f ∈ F : f ≥ 0}, F ∗ = {f ∈ F : f is bounded}. Cp(X) or USCp(X) denote the set of all real continuous or upper semicon- 1 ∗ tinuous functions defined on the topological space X. Instead of Cp(X) or ∗ ⋆ ⋆ USCp(X) we write Cp(X) or USCp(X), respectively. X A set F ⊆ H ⊆ R is sequentially dense in H if H ⊆ [F ]seq . The set F ⊆ H ⊆ X R is countably dense in H if for every function f ∈ H there exists a countable set G ⊆ F such that f ∈ G. As obviously, the set F is dense in H if H ⊆ F . Finally, the set F is pointwise dense in A ⊆ R if A ⊆ {f(x): f ∈ F } for each x ∈ X (1-dense set in terminology of [14, 15]). We set S(H)= {F ⊆ H : F is sequentially dense in H}, D(H)= {F ⊆ H : F is dense in H}, P(H)= {F ⊆ H : F is pointwiae dense in H}. Then S(H) ⊆ D(H) ⊆P(H). Evidently a sequentially dense set is countably dense as well. By Tong Theorem, see, e.g., [5], if X is perfectly normal topological space then every (bounded) upper semicontinuous function is a limit of a non-increasing sequence of (bounded) continuous functions. Thus for a perfectly normal topological ⋆ space X the set Cp(X) is sequentially dense in USCp(X). Then the set Cp(X) ⋆ is sequentially dense in USCp(X) as well. The authors suppose that the answer to the following problem is negative. ⋆ Problem 2.1. Let X be a normal topological space. If Cp(X) is sequentially ⋆ dense in USCp(X) then X is perfectly normal? A set F ⊆ H ⊆ X R is upper sequentially dense in H if for every f ∈ H there exists a sequence hhn : n ∈ ωi of elements of F such that hn → f, hn ≥ f and hn − f ∈ H for each n ∈ ω. A set F ⊆ H is upper dense in H if for every f ∈ H the set {h ∈ F : h ≥ f ∧ h − f ∈ H} is dense in the set {h ∈ H : h ≥ f}. Evidently, every upper sequentially dense in H is also upper dense in H. ⋆ ⋆ One can easily see that if a set F ⊆ USCp(X) is upper dense in USCp(X), then for every continuous function f the set of upper semicontinuous functions ⋆ + {h − f : h ∈ F ∧ h ≥ f} is upper dense in USCp(X) . If the set F is upper 1A function f : X −→ R is said to be upper semicontinuous if for every real a the set {x ∈ X : f(x) < a} is open. 3 ⋆ ⋆ sequentially dense in USCp(X), then for every f ∈ Cp(X) the set {h − f : h ∈ ⋆ + F ∧ h ≥ f} is upper sequentially dense in USCp(X) . We set S↑(H)= {F ⊆ H : F is upper sequentially dense in H}, D↑(H)= {F ⊆ H : F is upper dense in H}, P↑(H)= P(H) Then S↑(H) ⊆ D↑(H) ⊆P↑(H). We introduce the following notations. If Φ = Γ then Φ=˜ S. If Φ=Ω then Φ=˜ D and if Φ = O then Φ=˜ P. Similarly for Φ˜ ↑. Note that by definitions we have immediately ↑ (∀F ∈ Φ(˜ H) )(∀h ∈ H)(∃G ⊆ F ) G ∈ Φh(H). (4) 3. Covering Properties and Selection Properties We recall some notions introduced in [21] and [9]. Let A, B⊆P(Y ) for some set Y . The covering property S1(A, B) means the following: for any sequence of sets hUn ∈ A : n ∈ ωi for every n there exists an Un ∈Un such that {Un : n ∈ ω}∈B. The covering property Sfin(A, B) means the following: for any sequence of sets hUn ∈ A : n ∈ ωi, for every n there exists a finite set Vn ⊆Un such that n∈ω Vn ∈B. For Φ, Ψ= O, Ω, Γ, if the covering property S1(Φ(X), Ψ(X)) holds true, we S say that X is an S1(Φ, Ψ)-space. Similarly for Sfin. If F, G⊆P(X R) for some X are sets of sets of functions, we prefer to speak about the selection principle S1(F, G) or Sfin(F, G). For Φ, Ψ= O, Ω, Γ and X a family H ⊆ R we say that H satisfies the selection principle S1(Φh, Ψh) if S1(Φh(H), Ψh(H)) holds true.