English

The Nikodym property and filters on $\omega$

Logic 2024-04-19 v2 Functional Analysis General Topology

Abstract

For a free filter FF on ω\omega, let NF=ω{pF}N_F=\omega\cup\{p_F\}, where pF∉ωp_F\not\in\omega, be equipped with the following topology: 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. The aim of this paper is to study spaces of the form NFN_F in the context of the Nikodym property of Boolean algebras. By AN\mathcal{AN} we denote the class of all those ideals I\mathcal{I} on ω\omega such that for the dual filter I\mathcal{I}^* the space NIN_{\mathcal{I}^*} carries a sequence μn ⁣:nω\langle\mu_n\colon n\in\omega\rangle of finitely supported signed measures such that μn\|\mu_n\|\rightarrow\infty and μn(A)0\mu_n(A)\rightarrow 0 for every clopen subset ANIA\subseteq N_{\mathcal{I}^*}. We prove that IAN\mathcal{I}\in\mathcal{AN} if and only if there exists a density submeasure φ\varphi on ω\omega such that φ(ω)=\varphi(\omega)=\infty and I\mathcal{I} is contained in the exhaustive ideal \mboxExh(φ)\mbox{Exh}(\varphi). Consequently, we get that if I\mboxExh(φ)\mathcal{I}\subseteq\mbox{Exh}(\varphi) for some density submeasure φ\varphi on ω\omega such that φ(ω)=\varphi(\omega)=\infty and NIN_{\mathcal{I}^*} is homeomorphic to a subspace of the Stone space St(A)St(\mathcal{A}) of a given Boolean algebra A\mathcal{A}, then A\mathcal{A} does not have the Nikodym property. We observe that each IAN\mathcal{I}\in\mathcal{AN} is Kat\v{e}tov below the asymptotic density zero ideal Z\mathcal{Z}, and prove that the class AN\mathcal{AN} has a subset of size d\mathfrak{d} which is dominating with respect to the Kat\v{e}tov order K\leq_K, but AN\mathcal{AN} has no K\leq_K-maximal element. We show that for a density ideal I\mathcal{I} it holds I∉AN\mathcal{I}\not\in\mathcal{AN} if and only if I\mathcal{I} is totally bounded if and only if the Boolean algebra P(ω)/I\mathcal{P}(\omega)/\mathcal{I} contains a countable splitting family.

Keywords

Cite

@article{arxiv.2403.07484,
  title  = {The Nikodym property and filters on $\omega$},
  author = {Tomasz Żuchowski},
  journal= {arXiv preprint arXiv:2403.07484},
  year   = {2024}
}

Comments

24 pages