English

The Josefson--Nissenzweig theorem and filters on $\omega$

Functional Analysis 2024-01-18 v3 General Topology Logic

Abstract

For a free filter FF on ω\omega, endow the space NF=ω{pF}N_F=\omega\cup\{p_F\}, where pF∉ωp_F\not\in\omega, with the topology in which every element of ω\omega is isolated whereas all open neighborhoods of pFp_F are of the form A{pF}A\cup\{p_F\} for AFA\in F. Spaces of the form NFN_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 FF, the space NFN_F carries a sequence μn ⁣:nω\langle\mu_n\colon n\in\omega\rangle of normalized finitely supported signed measures such that μn(f)0\mu_n(f)\to 0 for every bounded continuous real-valued function ff on NFN_F if and only if FKZF^*\le_K\mathcal{Z}, that is, the dual ideal FF^* is Kat\v{e}tov below the asymptotic density ideal Z\mathcal{Z}. Consequently, we get that if FKZF^*\le_K\mathcal{Z}, then: (1) if XX is a Tychonoff space and NFN_F is homeomorphic to a subspace of XX, then the space Cp(X)C_p^*(X) of bounded continuous real-valued functions on XX contains a complemented copy of the space c0c_0 endowed with the pointwise topology, (2) if KK is a compact Hausdorff space and NFN_F is homeomorphic to a subspace of KK, then the Banach space C(K)C(K) of continuous real-valued functions on KK is not a Grothendieck space. The latter result generalizes the well-known fact stating that if a compact Hausdorff space KK contains a non-trivial convergent sequence, then the space C(K)C(K) is not Grothendieck.

Keywords

Cite

@article{arxiv.2204.01557,
  title  = {The Josefson--Nissenzweig theorem and filters on $\omega$},
  author = {Witold Marciszewski and Damian Sobota},
  journal= {arXiv preprint arXiv:2204.01557},
  year   = {2024}
}

Comments

30 pages