-
A note on Banach spaces $E$ admitting a continuous map from $C_p(X)$ onto $E_{w}$
Authors:
Jerzy Kcakol,
Arkady Leiderman,
Artur Michalak
Abstract:
$C_p(X)$ denotes the space of continuous real-valued functions on a Tychonoff space $X$ endowed with the topology of pointwise convergence. A Banach space $E$ equipped with the weak topology is denoted by $E_{w}$. It is unknown whether $C_p(K)$ and $C(L)_{w}$ can be homeomorphic for infinite compact spaces $K$ and $L…
▽ More
$C_p(X)$ denotes the space of continuous real-valued functions on a Tychonoff space $X$ endowed with the topology of pointwise convergence. A Banach space $E$ equipped with the weak topology is denoted by $E_{w}$. It is unknown whether $C_p(K)$ and $C(L)_{w}$ can be homeomorphic for infinite compact spaces $K$ and $L$ \cite{Krupski-1}, \cite{Krupski-2}. In this paper we deal with a more general question: what are the Banach spaces $E$ which admit certain continuous surjective mappings $T: C_p(X) \to E_{w}$ for an infinite Tychonoff space $X$?
First, we prove that if $T$ is linear and sequentially continuous, then the Banach space $E$ must be finite-dimensional, thereby resolving an open problem posed in \cite{Kakol-Leiderman}. Second, we show that if there exists a homeomorphism $T: C_p(X) \to E_{w}$ for some infinite Tychonoff space $X$ and a Banach space $E$, then (a) $X$ is a countable union of compact sets $X_n, n \in ω$, where at least one component $X_n$ is non-scattered; (b) $E$ necessarily contains an isomorphic copy of the Banach space $\ell_{1}$.
△ Less
Submitted 13 September, 2021;
originally announced September 2021.
-
Dunford--Pettis type properties and the Grothendieck property for function spaces
Authors:
Saak Gabriyelyan,
Jerzy Kcakol
Abstract:
For a Tychonoff space $X$, let $C_k(X)$ and $C_p(X)$ be the spaces of real-valued continuous functions $C(X)$ on $X$ endowed with the compact-open topology and the pointwise topology, respectively. If $X$ is compact, the classic result of A.~Grothendieck states that $C_k(X)$ has the Dunford-Pettis property and the sequential Dunford--Pettis property. We extend Grothendieck's result by showing that…
▽ More
For a Tychonoff space $X$, let $C_k(X)$ and $C_p(X)$ be the spaces of real-valued continuous functions $C(X)$ on $X$ endowed with the compact-open topology and the pointwise topology, respectively. If $X$ is compact, the classic result of A.~Grothendieck states that $C_k(X)$ has the Dunford-Pettis property and the sequential Dunford--Pettis property. We extend Grothendieck's result by showing that $C_k(X)$ has both the Dunford-Pettis property and the sequential Dunford-Pettis property if $X$ satisfies one of the following conditions: (i) $X$ is a hemicompact space, (ii) $X$ is a cosmic space (=a continuous image of a separable metrizable space), (iii) $X$ is the ordinal space $[0,κ)$ for some ordinal $κ$, or (vi) $X$ is a locally compact paracompact space. We show that if $X$ is a cosmic space, then $C_k(X)$ has the Grothendieck property if and only if every functionally bounded subset of $X$ is finite. We prove that $C_p(X)$ has the Dunford--Pettis property and the sequential Dunford-Pettis property for every Tychonoff space $X$, and $C_p(X) $ has the Grothendieck property if and only if every functionally bounded subset of $X$ is finite.
△ Less
Submitted 24 September, 2018;
originally announced September 2018.
-
Fundamental bounded resolutions and quasi-$(DF)$-spaces
Authors:
J. C. Ferrando,
S. Gabriyelyan,
J. Kcakol
Abstract:
We introduce a new class of locally convex spaces $E$, under the name quasi-$(DF)$-spaces, containing strictly the class of $(DF)$-spaces. A locally convex space $E$ is called a quasi-$(DF)$-space if (i) $E$ admits a fundamental bounded resolution, i.e. an $\mathbb{N}^{\mathbb{N}}$-increasing family of bounded sets in $E$ which swallows all bounded set in $E$, and (ii) $E$ belongs to the class…
▽ More
We introduce a new class of locally convex spaces $E$, under the name quasi-$(DF)$-spaces, containing strictly the class of $(DF)$-spaces. A locally convex space $E$ is called a quasi-$(DF)$-space if (i) $E$ admits a fundamental bounded resolution, i.e. an $\mathbb{N}^{\mathbb{N}}$-increasing family of bounded sets in $E$ which swallows all bounded set in $E$, and (ii) $E$ belongs to the class $\mathfrak{G}$ (in sense of Cascales--Orihuela). The class of quasi-$(DF)$-spaces is closed under taking subspaces, countable direct sums and countable products. Every regular $(LM)$-space (particularly, every metrizable locally convex space) and its strong dual are quasi-$(DF)$-spaces. We prove that $C_{p}(X)$ has a fundamental bounded resolution iff $C_{p}(X)$ is a quasi-$(DF)$-space iff the strong dual of $C_{p}(X)$ is a quasi-$(DF)$-space iff $X$ is countable. If $X$ is a metrizable space, then $C_k(X)$ is a quasi-$(DF)$-space iff $X$ is a Polish $σ$-compact space. We provide numerous concrete examples which in particular clarify differences between $(DF)$-spaces and quasi-$(DF)$-spaces.
△ Less
Submitted 12 November, 2017;
originally announced November 2017.
-
On non-archimedean Gurarii spaces
Authors:
Jerzy Kcakol,
Wiesław Kubiś,
Albert Kubzdela
Abstract:
Let $U_{FNA}$ be the class of all non-archimedean finite-dimensional Banach spaces. A non-archimedean Gurarii Banach space $G$ over a non-archimedean valued field $K$ is constructed, i.e. a non-archimedean Banach space $G$ of countable type which is of almost universal disposition for the class $U_{FNA}$. This means: for every isometry $g : X \to Y$ , where $Y \in U_{FNA}$ and $X$ is a subspace of…
▽ More
Let $U_{FNA}$ be the class of all non-archimedean finite-dimensional Banach spaces. A non-archimedean Gurarii Banach space $G$ over a non-archimedean valued field $K$ is constructed, i.e. a non-archimedean Banach space $G$ of countable type which is of almost universal disposition for the class $U_{FNA}$. This means: for every isometry $g : X \to Y$ , where $Y \in U_{FNA}$ and $X$ is a subspace of $G$, and every $\varepsilon \in (0,1)$ there exists an $\varepsilon$-isometry $f : Y \to G$ such that $f(g(x)) = x$ for all $x \in X$. We show that all non-archimedean Banach spaces of almost universal disposition for the class $U_{FNA}$ are $\varepsilon$-isometric. Furthermore, all non-archimedean Banach spaces of almost universal disposition for the class $U_{FNA}$ are isometrically isomorphic if and only if $K$ is spherically complete and $\{|λ| : λ\in K \setminus \{0\} \} = (0,\infty)$.
△ Less
Submitted 7 December, 2016;
originally announced December 2016.
-
Networks for the weak topology of Banach and Fréchet spaces
Authors:
S. Gabriyelyan,
J. Kcakol,
W. Kubiś,
W. Marciszewski
Abstract:
We start the systematic study of Fréchet spaces which are $\aleph$-spaces in the weak topology. A topological space $X$ is an $\aleph_0$-space or an $\aleph$-space if $X$ has a countable $k$-network or a $σ$-locally finite $k$-network, respectively. We are motivated by the following result of Corson (1966): If the space $C_{c}(X)$ of continuous real-valued functions on a Tychonoff space $X$ endowe…
▽ More
We start the systematic study of Fréchet spaces which are $\aleph$-spaces in the weak topology. A topological space $X$ is an $\aleph_0$-space or an $\aleph$-space if $X$ has a countable $k$-network or a $σ$-locally finite $k$-network, respectively. We are motivated by the following result of Corson (1966): If the space $C_{c}(X)$ of continuous real-valued functions on a Tychonoff space $X$ endowed with the compact-open topology is a Banach space, then $C_{c}(X)$ endowed with the weak topology is an $\aleph_0$-space if and only if $X$ is countable. We extend Corson's result as follows: If the space $E:=C_{c}(X)$ is a Fréchet lcs, then $E$ endowed with its weak topology $σ(E,E')$ is an $\aleph$-space if and only if $(E,σ(E,E'))$ is an $\aleph_0$-space if and only if $X$ is countable. We obtain a necessary and some sufficient conditions on a Fréchet lcs to be an $\aleph$-space in the weak topology. We prove that a reflexive Fréchet lcs $E$ in the weak topology $σ(E,E')$ is an $\aleph$-space if and only if $(E,σ(E,E'))$ is an $\aleph_0$-space if and only if $E$ is separable. We show however that the nonseparable Banach space $\ell_{1}(\mathbb{R})$ with the weak topology is an $\aleph$-space.
△ Less
Submitted 4 December, 2014;
originally announced December 2014.
