-
On cardinal invariants related to Rosenthal families and large-scale topology
Authors:
Arturo Martínez-Celis,
Tomasz Żuchowski
Abstract:
Given a function $f \in ω^ω$, a set $A \in [ω]^ω$ is free for $f$ if $f[A] \cap A$ is finite. For a class of functions $Γ\subseteq ω^ω$, we define $\mathfrak{ros}_Γ$ as the smallest size of a family $\mathcal{A}\subseteq [ω]^ω$ such that for every $f\inΓ$ there is a set $A \in \mathcal{A}$ which is free for $f$, and $Δ_Γ$ as the smallest size of a family $\mathcal{F}\subseteqΓ$ such that for every…
▽ More
Given a function $f \in ω^ω$, a set $A \in [ω]^ω$ is free for $f$ if $f[A] \cap A$ is finite. For a class of functions $Γ\subseteq ω^ω$, we define $\mathfrak{ros}_Γ$ as the smallest size of a family $\mathcal{A}\subseteq [ω]^ω$ such that for every $f\inΓ$ there is a set $A \in \mathcal{A}$ which is free for $f$, and $Δ_Γ$ as the smallest size of a family $\mathcal{F}\subseteqΓ$ such that for every $A\in[ω]^ω$ there is $f\in\mathcal{F}$ such that $A$ is not free for $f$. We compare several versions of these cardinal invariants with some of the classical cardinal characteristics of the continuum. Using these notions, we partially answer some questions from arXiv:1911.01336 [math.LO] and arXiv:2004.01979 [math.GN].
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
The Nikodym property and filters on $ω$
Authors:
Tomasz Żuchowski
Abstract:
For a free filter $F$ on $ω$, let $N_F=ω\cup\{p_F\}$, where $p_F\not\inω$, be equipped with the following topology: every element of $ω$ is isolated whereas all open neighborhoods of $p_F$ are of the form $A\cup\{p_F\}$ for $A\in F$. The aim of this paper is to study spaces of the form $N_F$ in the context of the Nikodym property of Boolean algebras. By $\mathcal{AN}$ we denote the class of all th…
▽ More
For a free filter $F$ on $ω$, let $N_F=ω\cup\{p_F\}$, where $p_F\not\inω$, be equipped with the following topology: every element of $ω$ is isolated whereas all open neighborhoods of $p_F$ are of the form $A\cup\{p_F\}$ for $A\in F$. The aim of this paper is to study spaces of the form $N_F$ in the context of the Nikodym property of Boolean algebras. By $\mathcal{AN}$ we denote the class of all those ideals $\mathcal{I}$ on $ω$ such that for the dual filter $\mathcal{I}^*$ the space $N_{\mathcal{I}^*}$ carries a sequence $\langleμ_n\colon n\inω\rangle$ of finitely supported signed measures such that $\|μ_n\|\rightarrow\infty$ and $μ_n(A)\rightarrow 0$ for every clopen subset $A\subseteq N_{\mathcal{I}^*}$. We prove that $\mathcal{I}\in\mathcal{AN}$ if and only if there exists a density submeasure $\varphi$ on $ω$ such that $\varphi(ω)=\infty$ and $\mathcal{I}$ is contained in the exhaustive ideal $\mbox{Exh}(\varphi)$. Consequently, we get that if $\mathcal{I}\subseteq\mbox{Exh}(\varphi)$ for some density submeasure $\varphi$ on $ω$ such that $\varphi(ω)=\infty$ and $N_{\mathcal{I}^*}$ is homeomorphic to a subspace of the Stone space $St(\mathcal{A})$ of a given Boolean algebra $\mathcal{A}$, then $\mathcal{A}$ does not have the Nikodym property.
We observe that each $\mathcal{I}\in\mathcal{AN}$ is Katětov below the asymptotic density zero ideal $\mathcal{Z}$, and prove that the class $\mathcal{AN}$ has a subset of size $\mathfrak{d}$ which is dominating with respect to the Katětov order $\leq_K$, but $\mathcal{AN}$ has no $\leq_K$-maximal element. We show that for a density ideal $\mathcal{I}$ it holds $\mathcal{I}\not\in\mathcal{AN}$ if and only if $\mathcal{I}$ is totally bounded if and only if the Boolean algebra $\mathcal{P}(ω)/\mathcal{I}$ contains a countable splitting family.
△ Less
Submitted 16 April, 2024; v1 submitted 12 March, 2024;
originally announced March 2024.
-
On non-separable growths of omega supporting measures
Authors:
Piotr Borodulin-Nadzieja,
Tomasz Żuchowski
Abstract:
We present several $\mathsf{ZFC}$ examples of compactifications $γω$ of $ω$ such that their remainders $γω\backslashω$ are nonseparable and carry strictly positive measures.
We present several $\mathsf{ZFC}$ examples of compactifications $γω$ of $ω$ such that their remainders $γω\backslashω$ are nonseparable and carry strictly positive measures.
△ Less
Submitted 12 April, 2016;
originally announced April 2016.
