If \(K\) is Gul'ko compact, then every iterated function space \(C_{p,n}(K)\) has a uniformly dense subspace of countable pseudocharacter
type: Item
instance of: scholarly article
title: If \(K\) is Gul'ko compact, then every iterated function space \(C_{p,n}(K)\) has a uniformly dense subspace of countable pseudocharacter
zbMATH Open document ID: 1404.54014
author: J. Aguilar-Velázquez
author: Vladimir Tkachuk
published in: Journal of Mathematical Analysis and Applications
publication date: 2018-10-19T00:00:00Z
review text: In this work all topological spaces under consideration are assumed to be Tychonoff. For any spaces \(X\) and \(Y\), \(C_p(X,Y)\) denotes the space of continuous maps from \(X\) to \(Y\) endowed with the topology of pointwise convergence. When \(Y=\mathbb{R}\), the function space \(C_p(X,\mathbb{R})\) is denoted by \(C_p(X)\). The function space \(C(X)\) endowed with the uniform convergence topology is denoted by \(C_u(X)\). Iterated function spaces are defined as follows: \(C_{p,0}(X) =X\) and \(C_{p,n+1}(X)=C_p( C_{p,n}(X)) \) for each \(n\in \mathbb{N}\). A set \(A\subset C_p(X)\) is called uniformly dense in \(C_p(X)\) if it is dense in \(C_u(X)\). The authors prove that \(C_p(X)\) has a dense subspace of countable \(i\)-weight if and only if \(d(C_p(X))\leq \mathfrak{c}\). In this work it is also proved that \(C_p(X)\) has a dense \(F_\sigma\)-discrete subspace of cardinality \(\kappa =d(C_p(X))\), whenever \(X\) is a Corson compact space. A compact space is Corson compact if it embeds in \(\{x\in \mathbb{R}^A:x^{-1}(\mathbb{R}\setminus \{ 0\} ) \mathrm{~is ~ countable} \}\subset \mathbb{R}^A\), for some set \(A\). A space \(X\) is called Lindelöf \(\Sigma\) if there exists a space \(Y\) which maps continuously onto \(X\) and perfectly onto a second countable space. A compact space \(X\) is called Gul'ko compact if \(C_p(X)\) is a Lindelöf \(\Sigma\)-space. The main result in this paper is Theorem 3.12 which answers a question of the first author [Topology Appl. 221, 59--68 (2017; Zbl 1382.54006)]. It was proved in Theorem 3.12 that if \(X\) is Gul'ko compact, then \(C_{p,n}(X)\) has a uniformly dense subspace of countable pseudocharacter for all \(n\in \mathbb{N}\). It is worth mentioning that this result is new even for \(C_p(K)\) given that \(K\) is Eberlein compact. A list of open questions is included in the last section of this paper.
Mathematics Subject Classification ID: 54C35
Mathematics Subject Classification ID: 54A25
Mathematics Subject Classification ID: 54A10
zbMATH DE Number: 6958710
zbMATH Keywords: \(\psi\)-separable space
zbMATH Keywords: uniformly dense subspace
zbMATH Keywords: Corson compact
zbMATH Keywords: Gul'ko compact
zbMATH Keywords: iterated function spaces
reviewed by: Daniel Jardón
MaRDI profile type: Publication
full work available at URL: j.jmaa.2018.10.003
OpenAlex ID: W2895638918
cites work: On dense subspaces of countable pseudocharacter in function spaces
cites work: Q4188421
cites work: Everywhere dense subspaces of products of topological spaces with special properties
cites work: Q4924870
cites work: Q4150804
cites work: Q5185667
cites work: Q3938195
cites work: Behavior of the Lindelöf \(\Sigma\)-property in iterated function spaces
cites work: Properties of function spaces reflected by uniformly dense subspaces.
cites work: Lindelöf \(\Sigma\)-spaces: an omnipresent class
cites work: A \(C_p\)-theory problem book. Topological and function spaces
cites work: A \(C_p\)-theory problem book. Compactness in function spaces
cites work: Discrete reflexivity in function spaces
DOI: 10.1016/J.JMAA.2018.10.003
description: scientific article; zbMATH DE number 6958710