The Josefson--Nissenzweig theorem and filters on $\omega$
Abstract
For a free filter on , endow the space , where , with the topology in which every element of is isolated whereas all open neighborhoods of are of the form for . Spaces of the form 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 , the space carries a sequence of normalized finitely supported signed measures such that for every bounded continuous real-valued function on if and only if , that is, the dual ideal is Kat\v{e}tov below the asymptotic density ideal . Consequently, we get that if , then: (1) if is a Tychonoff space and is homeomorphic to a subspace of , then the space of bounded continuous real-valued functions on contains a complemented copy of the space endowed with the pointwise topology, (2) if is a compact Hausdorff space and is homeomorphic to a subspace of , then the Banach space of continuous real-valued functions on is not a Grothendieck space. The latter result generalizes the well-known fact stating that if a compact Hausdorff space contains a non-trivial convergent sequence, then the space 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