Search

For a compact metric space $L$ and a compact space $K$, and their Banach spaces $\mathcal{C}(L)$ and $\mathcal{C}(K)$ of continuous functions, we provide several characterizations of the presence of isometric, resp. isomorphic, copies of $\mathcal{C}(L)$ in $\mathcal{C}(K)$, in particular, in terms of Cantor--Bendixson derivatives of $L$ and $K$. We also describe the relative cellularities of the perfect kernel of $K$ and of Cantor--Bendixson derived sets of $K$ of countable order in terms of the existence of isometric copies of specific spaces $\mathcal{C}(L)$ inside $\mathcal{C}(K)$., Comment: 21 pages

We prove that, for every compact spaces $K_1,K_2$ and compact group $G$, if both $K_1$ and $K_2$ map continuously onto $G$, then the Banach space $C(K_1 \times K_2)$ contains a complemented subspace isometric to the Banach space $C(G)$. Consequently, $C(K_1\times K_2)$ contains a complemented copy of $C([0,1])$ for every non-scattered $K_1,K_2$. Also, answering a question of Alspach and Galego, we get that $C(\beta\omega\times\beta\omega)$ contains a complemented copy of $C([0,1]^\kappa)$ for every cardinal number $1\le\kappa\le{\mathfrak c}$ and hence a complemented copy of $C(K)$ for every metric compact space $K$. On the other hand, for the pointwise topology, we show that $C_p(\beta\omega\times\beta\omega)$ contains no complemented copy of $C_p(2^\omega)$., Comment: 18 pages; second version

We study the existence of continuous (linear) operators from the Banach spaces $\mbox{Lip}_0(M)$ of Lipschitz functions on infinite metric spaces $M$ vanishing at a distinguished point and from their predual spaces $\mathcal{F}(M)$ onto certain Banach spaces, including $C(K)$-spaces and the spaces $c_0$ and $\ell_1$. For pairs of spaces $\mbox{Lip}_0(M)$ and $C(K)$ we prove that if they are endowed with topologies weaker than the norm topology, then usually no continuous (linear or not) surjection exists between those spaces. It is also showed that if a metric space $M$ contains a bilipschitz copy of the unit sphere $S_{c_0}$ of the space $c_0$, then $\mbox{Lip}_0(M)$ admits a continuous operator onto $\ell_1$ and hence onto $c_0$. Using this, we provide several conditions for a space $M$ implying that $\mbox{Lip}_0(M)$ is not a Grothendieck space. Finally, we obtain a new characterization of the Schur property for Lipschitz-free spaces: a space $\mathcal{F}(M)$ has the Schur property if and only if for every discrete metric space $N$ with cardinality $d(M)$ the spaces $\mathcal{F}(M)$ and $\mathcal{F}(N)$ are weakly sequentially homeomorphic., Comment: 26 pages, comments are welcome!

Improving a result of M. Talagrand, under the assumption of a weak form of Martin's axiom, we construct a totally disconnected compact Hausdorff space $K$ such that the Banach space $C(K)$ of continuous real-valued functions on $K$ is a Grothendieck space but there exists a sequence $(\mu_n)$ of Radon measures on $K$ such that $\mu_n(A)\to0$ for every clopen set $A\subseteq K$ and $\int_Kfd\mu_n\not\to0$ for some $f\in C(K)$. Consequently, we get that Martin's axiom implies the existence of a Boolean algebra with the Grothendieck property but without the Nikodym property., Comment: New references added, minor corrections

Given a Tychonoff space $X$, we call a sequence $\langle\mu_n\colon n\in\omega\rangle$ of signed Borel measures on $X$ a finitely supported Josefson--Nissenzweig sequence (in short a JN-sequence) if: 1) for every $n\in\omega$ the measure $\mu_n$ is a finite combination of one-point measures and $\|\mu_n\|=1$, and 2) $\int_Xf\,\mathrm{d}\mu_n\to0$ for every continuous function $f\in C(X)$. Our main result asserts that if a Tychonoff space $X$ admits a JN-sequence, then there exists a JN-sequence $\langle\mu_n\colon n\in\omega\rangle$ such that: i) $\mbox{supp}(\mu_n)\cap\mbox{supp}(\mu_k)=\emptyset$ for every $n\neq k\in\omega$, and ii) the union $\bigcup_{n\in\omega}\mbox{supp}(\mu_n)$ is a discrete subset of $X$. We also prove that if a Tychonoff space $X$ carries a JN-sequence, then either there is a JN-sequence $\langle\mu_n\colon n\in\omega\rangle$ on $X$ such that $|\mbox{supp}(\mu_n)|=2$ for every $n\in\omega$, or for every JN-sequence $\langle\mu_n\colon n\in\omega\rangle$ on $X$ we have $\lim_{n\to\infty}|\mbox{supp}(\mu_n)|=\infty$., Comment: arXiv admin note: substantial text overlap with arXiv:2009.07552

For a compact space $K$, the Banach space $C(K)$ is said to have the $\ell_1$-Grothendieck property if every weak* convergent sequence $\big\langle\mu_n\colon\ n\in\omega\big\rangle$ of functionals on $C(K)$ such that $\mu_n\in\ell_1(K)$ for every $n\in\omega$, is weakly convergent. Thus, the $\ell_1$-Grothendieck property is a weakening of the standard Grothendieck property for Banach spaces of continuous functions. We observe that $C(K)$ has the $\ell_1$-Grothendieck property if and only if there does not exist any sequence of functionals $\big\langle\mu_n\colon\ n\in\omega\big\rangle$ on $C(K)$, with $\mu_n\in\ell_1(K)$ for every $n\in\omega$, satisfying the conclusion of the classical Josefson--Nissenzweig theorem. We construct an example of a separable compact space $K$ such that $C(K)$ has the $\ell_1$-Grothendieck property but it does not have the Grothendieck property. We also show that for many classical consistent examples of Efimov spaces $K$ their Banach spaces $C(K)$ do not have the $\ell_1$-Grothendieck property., Comment: arXiv admin note: substantial text overlap with arXiv:2009.07552

Using elementary probabilistic methods, in particular a variant of the Weak Law of Large Numbers related to the Bernoulli distribution, we prove that for every infinite compact spaces $K$ and $L$ the product $K\times L$ admits a sequence $\langle\mu_n\colon n\in\mathbb{N}\rangle$ of normalized signed measures with finite supports which converges to $0$ with respect to the weak* topology of the dual Banach space $C(K\times L)^*$. Our approach is completely constructive -- the measures $\mu_n$ are defined by an explicit simple formula. We also show that this result generalizes the classical theorem of Cembranos and Freniche which states that for every infinite compact spaces $K$ and $L$ the Banach space $C(K\times L)$ contains a complemented copy of the space $c_0$., Comment: 7 pages, 1 open problem! arXiv admin note: text overlap with arXiv:2009.07552

We say that a finitely additive probability measure $\mu$ on $\omega$ is \emph{a P-measure} if it vanishes on points and for each decreasing sequence $(E_n)$ of infinite subsets of $\omega$ there is $E\subseteq\omega$ such that $E\subseteq^* E_n$ for each $n\in\omega$ and $\mu(E) = \lim_{n\to\infty}\mu(E_n)$. Thus, P-measures generalize in a natural way P-points and it is known that, similarly as in the case of P-points, their existence is independent of $\mathsf{ZFC}$. In this paper we show that there is a P-measure in the model obtained by adding any number of random reals to a model of $\mathsf{CH}$. As a corollary, we obtain that in the classical random model $\omega^*$ contains a nowhere dense ccc closed P-set.

For a free filter $F$ on $\omega$, endow the space $N_F=\omega\cup\{p_F\}$, where $p_F\not\in\omega$, with the topology in which every element of $\omega$ is isolated whereas all open neighborhoods of $p_F$ are of the form $A\cup\{p_F\}$ for $A\in F$. Spaces of the form $N_F$ constitute the class of the simplest non-discrete Tychonoff spaces. The aim of this paper is to study them in the context of the celebrated Josefson--Nissenzweig theorem from Banach space theory. We prove, e.g., that, for a filter $F$, the space $N_F$ carries a sequence $\langle\mu_n\colon n\in\omega\rangle$ of normalized finitely supported signed measures such that $\mu_n(f)\to 0$ for every bounded continuous real-valued function $f$ on $N_F$ if and only if $F^*\le_K\mathcal{Z}$, that is, the dual ideal $F^*$ is Kat\v{e}tov below the asymptotic density ideal $\mathcal{Z}$. Consequently, we get that if $F^*\le_K\mathcal{Z}$, then: (1) if $X$ is a Tychonoff space and $N_F$ is homeomorphic to a subspace of $X$, then the space $C_p^*(X)$ of bounded continuous real-valued functions on $X$ contains a complemented copy of the space $c_0$ endowed with the pointwise topology, (2) if $K$ is a compact Hausdorff space and $N_F$ is homeomorphic to a subspace of $K$, then the Banach space $C(K)$ of continuous real-valued functions on $K$ is not a Grothendieck space. The latter result generalizes the well-known fact stating that if a compact Hausdorff space $K$ contains a non-trivial convergent sequence, then the space $C(K)$ is not Grothendieck., Comment: 30 pages

We prove that if $\mathcal{A}$ is an infinite Boolean algebra in the ground model $V$ and $\mathbb{P}$ is a notion of forcing adding any of the following reals: a Cohen real, an unsplit real, or a random real, then, in any $\mathbb{P}$-generic extension $V[G]$, $\mathcal{A}$ has neither the Nikodym property nor the Grothendieck property. A similar result is also proved for a dominating real and the Nikodym property., Comment: extended and corrected version, 24 pages

We study the question for which Tychonoff spaces $X$ and locally convex spaces $E$ the space $C_p(X,E)$ of continuous $E$-valued functions on $X$ contains a complemented copy of the space $(c_0)_p=\{x\in\mathbb{R}^\omega\colon x(n)\to0\}$, both endowed with the pointwise topology. We provide a positive answer for a vast class of spaces, extending classical theorems of Cembranos, Freniche, and Doma\'nski and Drewnowski, proved for the case of Banach and Fr\'echet spaces $C_k(X,E)$. Also, for given infinite Tychonoff spaces $X$ and $Y$, we show that $C_p(X,C_p(Y))$ contains a complemented copy of $(c_0)_p$ if and only if any of the spaces $C_p(X)$ and $C_p(Y)$ contains such a subspace., Comment: 13 pages, fixed a number of typos, added some details

A Boolean algebra $\mathcal A$ has the Nikodym property if every pointwise bounded sequence of bounded finitely additive measures on $\mathcal A$ is uniformly bounded. Assuming the Diamond Principle $\Diamond$, we will construct an example of a minimally generated Boolean algebra $\mathcal A$ with the Nikodym property. The Stone space of such an algebra must necessarily be an Efimov space. The converse is, however, not true - again under $\Diamond$ we will provide an example of a minimally generated Boolean algebra whose Stone space is Efimov but which does not have the Nikodym property. The results have interesting measure-theoretic and topological consequences., Comment: 23 pages, comments are welcome

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of sequences in $\mathcal{H}(\mathbb{A},\mathbb{B})$. We are in particular interested in the situation when $\mathbb{B}$ is a measure algebra as in this case we obtain a natural tool for studying topological convergence properties of sequences of ultrafilters on $\mathbb{A}$ in random extensions of the set-theoretical universe. This appears to have strong connections with Dow and Fremlin's result stating that there are Efimov spaces in the random model. We also investigate relations between topologies on $\mathcal{H}(\mathbb{A},\mathbb{B})$ for a Boolean algebra $\mathbb{B}$ carrying a strictly positive measure and convergence properties of sequences of measures on $\mathbb{A}$., Comment: 27 pages

The celebrated Josefson-Nissenzweig theorem implies that for a Banach space $C(K)$ of continuous real-valued functions on an infinite compact space $K$ there exists a sequence of Radon measures $\langle\mu_n\colon\ n\in\omega\rangle$ on $K$ which is weakly* convergent to the zero measure on $K$ and such that $\big\|\mu_n\big\|=1$ for every $n\in\omega$. We call such a sequence of measures \textit{a Josefson-Nissenzweig sequence}. In this paper we study the situation when the space $K$ admits a Josefson-Nissenzweig sequence of measures such that its every element has finite support. We prove among the others that $K$ admits such a Josefson-Nissenzweig sequence if and only if $C(K)$ does not have the Grothendieck property restricted to functionals from the space $\ell_1(K)$. We also investigate miscellaneous analytic and topological properties of finitely supported Josefson-Nissenzweig sequences on general Tychonoff spaces. We prove that various properties of compact spaces guarantee the existence of finitely supported Josefson-Nissenzweig sequences. One such property is, e.g., that a compact space can be represented as the limit of an inverse system of compact spaces based on simple extensions. An immediate consequence of this result is that many classical consistent examples of Efimov spaces, i.e. spaces being counterexamples to the famous Efimov problem, admit such sequences of measures. Similarly, we show that if $K$ and $L$ are infinite compact spaces, then their product $K\times L$ always admits a finitely supported Josefson--Nissenzweig sequence. As a corollary we obtain a constructive proof that the space $C_p(K\times L)$ contains a complemented copy of the space $c_0$ endowed with the pointwise topology--this generalizes results of Cembranos and Freniche. Finally, we provide a direct proof of the Josefson-Nissenzweig theorem for the case of Banach spaces $C(K)$., Comment: 57 pages, comments are welcome

Cembranos and Freniche proved that for every two infinite compact Hausdorff spaces $X$ and $Y$ the Banach space $C(X\times Y)$ of continuous real-valued functions on $X\times Y$ endowed with the supremum norm contains a complemented copy of the Banach space $c_{0}$. We extend this theorem to the class of $C_p$-spaces, that is, we prove that for all infinite Tychonoff spaces $X$ and $Y$ the space $C_{p}(X\times Y)$ of continuous functions on $X\times Y$ endowed with the pointwise topology contains either a complemented copy of $\mathbb{R}^{\omega}$ or a complemented copy of the space $(c_{0})_{p}=\{(x_n)_{n\in\omega}\in \mathbb{R}^\omega\colon x_n\to 0\}$, both endowed with the product topology. We show that the latter case holds always when $X\times Y$ is pseudocompact. On the other hand, assuming the Continuum Hypothesis (or even a weaker set-theoretic assumption), we provide an example of a pseudocompact space $X$ such that $C_{p}(X\times X)$ does not contain a complemented copy of $(c_{0})_{p}$. As a corollary to the first result, we show that for all infinite Tychonoff spaces $X$ and $Y$ the space $C_{p}(X\times Y)$ is linearly homeomorphic to the space $C_{p}(X\times Y)\times\mathbb{R}$, although, as proved earlier by Marciszewski, there exists an infinite compact space $X$ such that $C_{p}(X)$ cannot be mapped onto $C_{p}(X)\times\mathbb{R}$ by a continuous linear surjection. This provides a positive answer to a problem of Arkhangel'ski for spaces of the form $C_p(X\times Y)$. Another corollary asserts that for every infinite Tychonoff spaces $X$ and $Y$ the space $C_{k}(X\times Y)$ of continuous functions on $X\times Y$ endowed with the compact-open topology admits a quotient map onto a space isomorphic to one of the following three spaces: $\mathbb{R}^\omega$, $(c_{0})_{p}$ or $c_{0}$., Comment: 30 pages, comments are welcome

We prove that if $\mathcal{A}$ is a $\sigma$-complete Boolean algebra in a model $V$ of set theory and $\mathbb{P}\in V$ is a proper forcing with the Laver property preserving the ground model reals non-meager, then every pointwise convergent sequence of measures on $\mathcal{A}$ in a $\mathbb{P}$-generic extension $V[G]$ is weakly convergent, i.e. $\mathcal{A}$ has the Vitali--Hahn--Saks property in $V[G]$. This yields a consistent example of a whole class of infinite Boolean algebras with this property and of cardinality strictly smaller than the dominating number $\mathfrak{d}$. We also obtain a new consistent situation in which there exists an Efimov space., Comment: 22 pages

We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known that such a result is a consequence of Martin's axiom MA$(\omega_1)$. Our theorem has several consequences; in particular, it generalizes a theorem due to Bourgain and Todor\v{c}evi\'c on measures on Rosenthal compacta., Comment: 9 pages